Trace number 2702517

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.14 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
MD5SUM0945390fcac05113ffd57d1199a19e21
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-126
Best CPU time to get the best result obtained on this benchmark1798.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -126
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31640
Sum of products size (including duplicates)63280
Number of different products15820
Sum of products size31640

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-2702517-1278568994.opb.
0.00/0.00	c Instance file HOME/instance-2702517-1278568994.opb
0.00/0.00	c File size is 1378478 bytes.
0.19/0.23	c Highest Coefficient sum: 51
0.19/0.23	c ============================[ Problem Statistics ]=============================
0.19/0.23	c |                                                                             |
0.19/0.23	c |  Parsing time:          0.23         s                                      |
0.19/0.23	c |  Number Variables:      16820                                               |
0.19/0.23	c |  Number Clauses:        15820                                               |
0.19/0.23	c |  Number Cardinality:    2000                                                |
0.19/0.23	c |  Number PB Constraints: 15820                                               |
0.19/0.29	c ============================[ Search Statistics ]==============================
0.19/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |    1000    33640    77822 |    11213        0    nan |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 0
0.29/0.30	o 0
0.29/0.30	c Elapsed CPU time: 0.286956 s	Remaining CPU time: 179.713 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1000    33641    78822 |    11213        0    nan |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -1
0.29/0.30	o -1
0.29/0.30	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 179.707 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1000    33642    79822 |    11214        0    nan |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -2
0.29/0.31	o -2
0.29/0.31	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 179.699 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |    1000    33643    80822 |    11214        0    nan |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -3
0.29/0.32	o -3
0.29/0.32	c Elapsed CPU time: 0.306953 s	Remaining CPU time: 179.693 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1000    33644    81822 |    11214        0    nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -4
0.29/0.33	o -4
0.29/0.33	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 179.685 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    1000    33645    82822 |    11215        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -5
0.29/0.34	o -5
0.29/0.34	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 179.677 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    1000    33646    83822 |    11215        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -6
0.29/0.35	o -6
0.29/0.35	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 179.669 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    1000    33647    84822 |    11215        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -7
0.29/0.35	o -7
0.29/0.35	c Elapsed CPU time: 0.337948 s	Remaining CPU time: 179.662 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    1000    33648    85822 |    11216        0    nan |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -8
0.29/0.36	o -8
0.29/0.36	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 179.653 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |         5 |    1000    33649    86822 |    11216        5    993 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: -9
0.29/0.37	o -9
0.29/0.37	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 179.644 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |         9 |    1000    33650    87822 |    11216        9    993 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -10
0.29/0.38	o -10
0.29/0.38	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 179.635 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |         9 |    1000    33651    88822 |    11217        9    993 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -11
0.29/0.39	o -11
0.29/0.39	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 179.627 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |        14 |    1000    33652    89822 |    11217       14    992 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: -12
0.39/0.40	o -12
0.39/0.40	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 179.617 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |        23 |    1000    33653    90822 |    11217       23    991 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -13
0.39/0.41	o -13
0.39/0.41	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 179.606 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |        31 |    1000    33654    91822 |    11218       31    990 |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -14
0.39/0.43	o -14
0.39/0.43	c Elapsed CPU time: 0.404938 s	Remaining CPU time: 179.595 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |        40 |    1000    33655    92822 |    11218       40    989 |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -15
0.39/0.46	o -15
0.39/0.46	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 179.565 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       138 |    1000    33656    93822 |    11218      138    987 |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -16
0.39/0.47	o -16
0.39/0.47	c Elapsed CPU time: 0.448931 s	Remaining CPU time: 179.551 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       159 |    1000    33657    94822 |    11219      159    987 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -17
0.39/0.49	o -17
0.39/0.49	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 179.535 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       182 |    1000    33658    95822 |    11219      182    987 |  0.000 % |
0.49/0.52	c |       282 |    1000    33658    95822 |    12341      282    985 | 94.055 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -18
0.49/0.55	o -18
0.49/0.55	c Elapsed CPU time: 0.52092 s	Remaining CPU time: 179.479 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |       350 |    1000    33659    96822 |    11219      350    985 | 94.055 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -19
0.49/0.57	o -19
0.49/0.57	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 179.454 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |       418 |    1000    33660    97822 |    11220      418    985 | 94.055 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -20
0.49/0.59	o -20
0.49/0.59	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 179.435 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |       454 |    1000    33661    98822 |    11220      454    984 | 94.055 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -21
0.59/0.61	o -21
0.59/0.61	c Elapsed CPU time: 0.579911 s	Remaining CPU time: 179.42 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |       461 |    1000    33662    99822 |    11220      461    984 | 94.055 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -22
0.59/0.64	o -22
0.59/0.64	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 179.387 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |       550 |    1000    33663   100822 |    11221      550    984 | 94.055 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -23
0.59/0.67	o -23
0.59/0.67	c Elapsed CPU time: 0.640902 s	Remaining CPU time: 179.359 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |       605 |    1000    33664   101822 |    11221      605    983 | 94.055 % |
0.69/0.70	c |       705 |    1000    33664   101822 |    12343      705    982 | 94.055 % |
0.69/0.75	c |       855 |    1000    33664   101822 |    13577      855    981 | 94.055 % |
0.79/0.83	c |      1081 |    1000    33664   101822 |    14935     1081    981 | 94.055 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -24
0.79/0.88	o -24
0.79/0.88	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 179.156 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |      1200 |    1000    33665   102822 |    11221     1200    981 | 94.055 % |
0.89/0.92	c |      1301 |    1000    33665   102822 |    12343     1301    980 | 94.055 % |
0.89/0.98	c |      1451 |    1000    33665   102822 |    13578     1451    980 | 94.055 % |
1.00/1.00	c ===============================================================================
1.00/1.00	c New solution: -25
1.00/1.00	o -25
1.00/1.00	c Elapsed CPU time: 0.967852 s	Remaining CPU time: 179.032 s
1.00/1.00	c ===============================================================================
1.00/1.00	c |      1492 |    1000    33666   103822 |    11222     1492    980 | 94.055 % |
1.00/1.05	c |      1592 |    1000    33666   103822 |    12344     1592    980 | 94.055 % |
1.10/1.11	c |      1744 |    1000    33666   103822 |    13578     1744    979 | 94.055 % |
1.19/1.21	c |      1969 |    1000    33666   103822 |    14936     1969    979 | 94.055 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c New solution: -26
1.19/1.28	o -26
1.19/1.28	c Elapsed CPU time: 1.23481 s	Remaining CPU time: 178.765 s
1.19/1.28	c ===============================================================================
1.19/1.28	c |      2145 |    1000    33667   104822 |    11222     2145    979 | 94.055 % |
1.29/1.32	c |      2246 |    1000    33667   104822 |    12344     2246    978 | 94.055 % |
1.29/1.38	c |      2397 |    1000    33667   104822 |    13579     2397    978 | 94.055 % |
1.39/1.47	c |      2622 |    1000    33667   104822 |    14936     2622    978 | 94.055 % |
1.49/1.57	c ===============================================================================
1.49/1.57	c New solution: -27
1.49/1.57	o -27
1.49/1.57	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 178.491 s
1.49/1.57	c ===============================================================================
1.49/1.57	c |      2916 |    1000    33668   105822 |    11222     2916    977 | 94.055 % |
1.59/1.63	c |      3016 |    1000    33668   105822 |    12344     3016    977 | 94.055 % |
1.69/1.71	c |      3167 |    1000    33668   105822 |    13579     3167    977 | 94.055 % |
1.79/1.81	c |      3392 |    1000    33668   105822 |    14937     3392    977 | 94.055 % |
1.79/1.88	c ===============================================================================
1.79/1.88	c New solution: -28
1.79/1.88	o -28
1.79/1.88	c Elapsed CPU time: 1.81572 s	Remaining CPU time: 178.184 s
1.79/1.88	c ===============================================================================
1.79/1.88	c |      3506 |    1000    33669   106822 |    11223     3506    977 | 94.055 % |
1.89/1.93	c |      3607 |    1000    33669   106822 |    12345     3607    977 | 94.055 % |
1.99/2.00	c |      3757 |    1000    33669   106822 |    13579     3757    977 | 94.055 % |
2.09/2.12	c |      3982 |    1000    33669   106822 |    14937     3982    977 | 94.055 % |
2.19/2.22	c ===============================================================================
2.19/2.22	c New solution: -29
2.19/2.22	o -29
2.19/2.22	c Elapsed CPU time: 2.14167 s	Remaining CPU time: 177.858 s
2.19/2.22	c ===============================================================================
2.19/2.22	c |      4227 |    1000    33670   107822 |    11223     4227    976 | 94.055 % |
2.19/2.26	c |      4327 |    1000    33670   107822 |    12345     4327    976 | 94.055 % |
2.29/2.38	c |      4479 |    1000    33670   107822 |    13580     4479    976 | 94.055 % |
2.49/2.52	c |      4704 |    1000    33670   107822 |    14938     4704    976 | 94.055 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: -30
2.59/2.69	o -30
2.59/2.69	c Elapsed CPU time: 2.6036 s	Remaining CPU time: 177.396 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |      4934 |    1000    33671   108822 |    11223     4934    976 | 94.055 % |
2.69/2.75	c |      5037 |    1000    33671   108822 |    12346     5037    976 | 94.055 % |
2.79/2.85	c |      5189 |    1000    33671   108822 |    13580     5189    976 | 94.055 % |
2.89/2.97	c |      5414 |    1000    33671   108822 |    14938     5414    975 | 94.055 % |
3.09/3.13	c |      5751 |    1000    33671   108822 |    16432     5751    975 | 94.055 % |
3.39/3.46	c |      6258 |    1000    33671   108822 |    18075     6258    975 | 94.055 % |
3.59/3.66	c ===============================================================================
3.59/3.66	c New solution: -31
3.59/3.66	o -31
3.59/3.66	c Elapsed CPU time: 3.55746 s	Remaining CPU time: 176.443 s
3.59/3.66	c ===============================================================================
3.59/3.66	c |      6625 |    1000    33672   109822 |    11224     6625    975 | 94.055 % |
3.69/3.73	c |      6726 |    1000    33672   109822 |    12346     6726    975 | 94.055 % |
3.79/3.83	c |      6877 |    1000    33672   109822 |    13581     6877    975 | 94.055 % |
3.89/3.96	c |      7102 |    1000    33672   109822 |    14939     7102    974 | 94.055 % |
3.89/3.98	c ===============================================================================
3.89/3.98	c New solution: -32
3.89/3.98	o -32
3.89/3.98	c Elapsed CPU time: 3.87541 s	Remaining CPU time: 176.125 s
3.89/3.98	c ===============================================================================
3.89/3.98	c |      7126 |    1000    33673   110822 |    11224     7126    974 | 94.055 % |
3.99/4.06	c |      7226 |    1000    33673   110822 |    12346     7226    974 | 94.055 % |
4.09/4.17	c |      7377 |    1000    33673   110822 |    13581     7377    974 | 94.055 % |
4.29/4.32	c |      7602 |    1000    33673   110822 |    14939     7602    974 | 94.055 % |
4.49/4.52	c |      7939 |    1000    33673   110822 |    16433     7939    974 | 94.055 % |
4.89/4.90	c |      8446 |    1000    33673   110822 |    18076     8446    974 | 94.055 % |
5.39/5.46	c |      9206 |    1000    33673   110822 |    19884     9206    973 | 94.055 % |
6.29/6.31	c |     10346 |    1000    33673   110822 |    21873    10346    973 | 94.055 % |
7.39/7.47	c |     12055 |    1000    33673   110822 |    24060    12055    972 | 94.055 % |
9.99/10.01	c |     14617 |    1000    33673   110822 |    26466    14617    972 | 94.055 % |
16.69/16.77	c |     18463 |    1000    33673   110822 |    29113    18463    971 | 94.055 % |
25.78/25.82	c |     24229 |    1000    33673   110822 |    32024    24229    970 | 94.055 % |
37.48/37.50	c |     32879 |    1000    33673   110822 |    35226    32879    970 | 94.055 % |
42.98/43.06	c ===============================================================================
42.98/43.06	c New solution: -33
42.98/43.06	o -33
42.98/43.06	c Elapsed CPU time: 42.7095 s	Remaining CPU time: 137.29 s
42.98/43.06	c ===============================================================================
42.98/43.06	c |     36039 |    1000    33674   111822 |    11224    36039    970 | 94.055 % |
43.58/43.62	c |     36140 |    1000    33674   111822 |    12347    11244    968 | 94.055 % |
43.68/43.75	c |     36290 |    1000    33674   111822 |    13581    11394    968 | 94.055 % |
43.88/43.91	c |     36515 |    1000    33674   111822 |    14940    11619    968 | 94.055 % |
44.28/44.33	c |     36854 |    1000    33674   111822 |    16434    11958    968 | 94.055 % |
44.88/44.93	c |     37361 |    1000    33674   111822 |    18077    12465    968 | 94.055 % |
45.58/45.66	c |     38120 |    1000    33674   111822 |    19885    13224    968 | 94.055 % |
46.38/46.47	c |     39260 |    1000    33674   111822 |    21873    14364    968 | 94.055 % |
48.08/48.10	c |     40968 |    1000    33674   111822 |    24061    16072    968 | 94.055 % |
51.38/51.43	c |     43530 |    1000    33674   111822 |    26467    18634    968 | 94.055 % |
52.07/52.18	c ===============================================================================
52.07/52.18	c New solution: -34
52.07/52.18	o -34
52.07/52.18	c Elapsed CPU time: 51.7431 s	Remaining CPU time: 128.257 s
52.07/52.18	c ===============================================================================
52.07/52.18	c |     44844 |    1000    33675   112822 |    11225    19948    968 | 94.055 % |
52.28/52.35	c |     44944 |    1000    33675   112822 |    12347    20048    968 | 94.055 % |
52.48/52.56	c |     45094 |    1000    33675   112822 |    13582    20198    968 | 94.055 % |
52.68/52.77	c |     45320 |    1000    33675   112822 |    14940    20424    968 | 94.055 % |
53.08/53.18	c |     45658 |    1000    33675   112822 |    16434    20762    968 | 94.055 % |
53.48/53.55	c ===============================================================================
53.48/53.55	c New solution: -35
53.48/53.55	o -35
53.48/53.55	c Elapsed CPU time: 53.0949 s	Remaining CPU time: 126.905 s
53.48/53.55	c ===============================================================================
53.48/53.55	c |     45954 |    1000    33676   113822 |    11225    21058    968 | 94.055 % |
53.67/53.72	c |     46056 |    1000    33676   113822 |    12347    21160    968 | 94.055 % |
53.88/53.93	c |     46206 |    1000    33676   113822 |    13582    21310    968 | 94.055 % |
54.18/54.20	c |     46431 |    1000    33676   113822 |    14940    21535    968 | 94.055 % |
54.57/54.62	c |     46768 |    1000    33676   113822 |    16435    21872    968 | 94.055 % |
55.18/55.20	c |     47274 |    1000    33676   113822 |    18078    22378    968 | 94.055 % |
55.97/56.01	c |     48035 |    1000    33676   113822 |    19886    23139    968 | 94.055 % |
58.48/58.52	c |     49175 |    1000    33676   113822 |    21874    24279    968 | 94.055 % |
61.88/61.98	c |     50883 |    1000    33676   113822 |    24062    25987    968 | 94.055 % |
73.27/73.35	c |     53446 |    1000    33676   113822 |    26468    28550    967 | 94.055 % |
80.07/80.15	c |     57290 |    1000    33676   113822 |    29115    32394    967 | 94.055 % |
92.57/92.66	c |     63058 |    1000    33676   113822 |    32027    38162    967 | 94.055 % |
114.86/114.98	c ===============================================================================
114.86/114.98	c New solution: -36
114.86/114.98	o -36
114.86/114.98	c Elapsed CPU time: 114.288 s	Remaining CPU time: 65.7124 s
114.86/114.98	c ===============================================================================
114.86/114.98	c |     70754 |    1000    33677   114822 |    11225    45858    967 | 94.055 % |
116.57/116.69	c |     70855 |    1000    33677   114822 |    12348    11484    966 | 94.055 % |
116.76/116.86	c |     71005 |    1000    33677   114822 |    13583    11634    966 | 94.055 % |
116.86/116.96	c ===============================================================================
116.86/116.96	c New solution: -37
116.86/116.96	o -37
116.86/116.96	c Elapsed CPU time: 116.268 s	Remaining CPU time: 63.7317 s
116.86/116.96	c ===============================================================================
116.86/116.96	c |     71068 |    1000    33678   115822 |    11226    11697    966 | 94.055 % |
117.07/117.13	c |     71168 |    1000    33678   115822 |    12348    11797    966 | 94.055 % |
117.26/117.31	c |     71319 |    1000    33678   115822 |    13583    11948    966 | 94.055 % |
117.46/117.53	c |     71545 |    1000    33678   115822 |    14941    12174    966 | 94.055 % |
117.56/117.70	c ===============================================================================
117.56/117.70	c New solution: -38
117.56/117.70	o -38
117.56/117.70	c Elapsed CPU time: 116.994 s	Remaining CPU time: 63.0058 s
117.56/117.70	c ===============================================================================
117.56/117.70	c |     71604 |    1000    33679   116822 |    11226    12233    966 | 94.055 % |
117.76/117.86	c |     71705 |    1000    33679   116822 |    12348    12334    966 | 94.055 % |
117.86/117.98	c ===============================================================================
117.86/117.98	c New solution: -39
117.86/117.98	o -39
117.86/117.98	c Elapsed CPU time: 117.279 s	Remaining CPU time: 62.7208 s
117.86/117.98	c ===============================================================================
117.86/117.98	c |     71780 |    1000    33680   117822 |    11226    12409    966 | 94.055 % |
118.06/118.13	c |     71881 |    1000    33680   117822 |    12349    12510    966 | 94.055 % |
118.16/118.25	c |     72031 |    1000    33680   117822 |    13584    12660    966 | 94.055 % |
118.36/118.42	c |     72258 |    1000    33680   117822 |    14942    12887    965 | 94.055 % |
118.56/118.67	c |     72595 |    1000    33680   117822 |    16436    13224    965 | 94.055 % |
119.06/119.13	c |     73102 |    1000    33680   117822 |    18080    13731    965 | 94.055 % |
120.06/120.19	c |     73862 |    1000    33680   117822 |    19888    14491    965 | 94.055 % |
122.16/122.27	c |     75002 |    1000    33680   117822 |    21877    15631    965 | 94.055 % |
125.76/125.86	c |     76710 |    1000    33680   117822 |    24065    17339    965 | 94.055 % |
131.36/131.49	c |     79272 |    1000    33680   117822 |    26471    19901    965 | 94.055 % |
133.06/133.17	c ===============================================================================
133.06/133.17	c New solution: -40
133.06/133.17	o -40
133.06/133.17	c Elapsed CPU time: 132.372 s	Remaining CPU time: 47.6281 s
133.06/133.17	c ===============================================================================
133.06/133.17	c |     80588 |    1000    33681   118822 |    11227    21217    964 | 94.055 % |
133.16/133.24	c |     80688 |    1000    33681   118822 |    12349    21317    964 | 94.055 % |
133.26/133.35	c |     80838 |    1000    33681   118822 |    13584    21467    964 | 94.055 % |
133.65/133.70	c |     81064 |    1000    33681   118822 |    14943    21693    964 | 94.055 % |
134.17/134.28	c |     81402 |    1000    33681   118822 |    16437    22031    964 | 94.055 % |
134.95/135.04	c |     81911 |    1000    33681   118822 |    18081    22540    964 | 94.055 % |
135.95/136.03	c |     82672 |    1000    33681   118822 |    19889    23301    964 | 94.055 % |
137.06/137.11	c ===============================================================================
137.06/137.11	c New solution: -41
137.06/137.11	o -41
137.06/137.11	c Elapsed CPU time: 136.279 s	Remaining CPU time: 43.7207 s
137.06/137.11	c ===============================================================================
137.06/137.11	c |     83351 |    1000    33682   119822 |    11227    23980    964 | 94.055 % |
137.26/137.32	c |     83452 |    1000    33682   119822 |    12350    24081    964 | 94.055 % |
137.36/137.48	c |     83602 |    1000    33682   119822 |    13585    24231    964 | 94.055 % |
137.76/137.80	c |     83827 |    1000    33682   119822 |    14943    24456    964 | 94.055 % |
138.06/138.13	c |     84164 |    1000    33682   119822 |    16437    24793    964 | 94.055 % |
138.96/139.02	c |     84671 |    1000    33682   119822 |    18081    25300    964 | 94.055 % |
140.05/140.15	c |     85430 |    1000    33682   119822 |    19889    26059    964 | 94.055 % |
142.97/143.04	c |     86569 |    1000    33682   119822 |    21878    27198    964 | 94.055 % |
145.55/145.66	c |     88277 |    1000    33682   119822 |    24066    28906    963 | 94.055 % |
148.75/148.88	c |     90840 |    1000    33682   119822 |    26473    31469    963 | 94.055 % |
151.66/151.70	c |     94686 |    1000    33682   119822 |    29120    35315    963 | 94.055 % |
152.76/152.89	c ===============================================================================
152.76/152.89	c New solution: -42
152.76/152.89	o -42
152.76/152.89	c Elapsed CPU time: 151.949 s	Remaining CPU time: 28.0511 s
152.76/152.89	c ===============================================================================
152.76/152.89	c |     96018 |    1000    33683   120822 |    11227    36647    963 | 94.055 % |
154.06/154.16	c |     96121 |    1000    33683   120822 |    12350    11260    960 | 94.055 % |
154.35/154.46	c |     96271 |    1000    33683   120822 |    13585    11410    960 | 94.055 % |
154.55/154.65	c |     96497 |    1000    33683   120822 |    14944    11636    960 | 94.055 % |
154.86/154.95	c |     96834 |    1000    33683   120822 |    16438    11973    960 | 94.055 % |
155.56/155.60	c |     97343 |    1000    33683   120822 |    18082    12482    960 | 94.055 % |
156.55/156.64	c |     98102 |    1000    33683   120822 |    19890    13241    960 | 94.055 % |
157.75/157.80	c |     99241 |    1000    33683   120822 |    21879    14380    960 | 94.055 % |
160.25/160.37	c |    100949 |    1000    33683   120822 |    24067    16088    960 | 94.055 % |
162.46/162.59	c |    103511 |    1000    33683   120822 |    26474    18650    960 | 94.055 % |
166.65/166.73	c |    107356 |    1000    33683   120822 |    29121    22495    960 | 94.055 % |
176.25/176.39	c |    113122 |    1000    33683   120822 |    32033    28261    959 | 94.055 % |
181.04/181.11	c There are 15820 assigned variables. 0 in cost function.
183.66/183.75	c core #1
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -999
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #2
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -998
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #3
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -997
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #4
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -996
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #5
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -995
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #6
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -994
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #7
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -993
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #8
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -992
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #9
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -991
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #10
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -990
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #11
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -989
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #12
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -988
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #13
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -987
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #14
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -986
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #15
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -985
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #16
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -984
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #17
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -983
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #18
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -982
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #19
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -981
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #20
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -980
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #21
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -979
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #22
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -978
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #23
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -977
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #24
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -976
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #25
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -975
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #26
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -974
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #27
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -973
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #28
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -972
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #29
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -971
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #30
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -970
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #31
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -969
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #32
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -968
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #33
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -967
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #34
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -966
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #35
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -965
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #36
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -964
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #37
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -963
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #38
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -962
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #39
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -961
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #40
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -960
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #41
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -959
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #42
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -958
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #43
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -957
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #44
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -956
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #45
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -955
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #46
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -954
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #47
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -953
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #48
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -952
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #49
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -951
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #50
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -950
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #51
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -949
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #52
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -948
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #53
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -947
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #54
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -946
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #55
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -945
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #56
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -944
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #57
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -943
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #58
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -942
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c core #59
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 3	Core Weight: 1	Total Weight: -941
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #60
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -940
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #61
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -939
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #62
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -938
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #63
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -937
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #64
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -936
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #65
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -935
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #66
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -934
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #67
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -933
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #68
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -932
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #69
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -931
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #70
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -930
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #71
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -929
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #72
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -928
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #73
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -927
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #74
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -926
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #75
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -925
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #76
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -924
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #77
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -923
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #78
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -922
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #79
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -921
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #80
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -920
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #81
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -919
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #82
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -918
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #83
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -917
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #84
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -916
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #85
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -915
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #86
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -914
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #87
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -913
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #88
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -912
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #89
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -911
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #90
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -910
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #91
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -909
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #92
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -908
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #93
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -907
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #94
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -906
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #95
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -905
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #96
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -904
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #97
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -903
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #98
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -902
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #99
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -901
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #100
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -900
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #101
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -899
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #102
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -898
186.25/186.33	c
186.25/186.33	c
186.25/186.33	c core #103
186.25/186.33	c 
186.25/186.33	c 
186.25/186.33	c Core size: 3	Core Weight: 1	Total Weight: -897
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #104
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -896
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #105
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -895
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #106
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -894
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #107
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -893
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #108
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -892
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #109
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -891
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #110
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -890
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #111
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -889
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #112
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -888
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #113
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -887
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #114
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -886
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #115
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -885
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #116
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -884
186.25/186.34	c
186.25/186.34	c
186.25/186.34	c core #117
186.25/186.34	c 
186.25/186.34	c 
186.25/186.34	c Core size: 3	Core Weight: 1	Total Weight: -883
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #118
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -882
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #119
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -881
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #120
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -880
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #121
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -879
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #122
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -878
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #123
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -877
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #124
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -876
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #125
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -875
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #126
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -874
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #127
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -873
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #128
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -872
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #129
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -871
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #130
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -870
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #131
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -869
188.95/189.08	c
188.95/189.08	c
188.95/189.08	c core #132
188.95/189.08	c 
188.95/189.08	c 
188.95/189.08	c Core size: 3	Core Weight: 1	Total Weight: -868
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #133
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -867
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #134
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -866
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #135
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -865
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #136
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -864
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #137
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -863
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #138
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -862
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #139
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -861
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #140
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -860
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #141
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -859
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #142
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -858
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #143
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -857
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #144
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -856
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #145
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -855
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #146
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -854
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #147
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -853
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #148
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -852
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #149
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -851
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #150
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -850
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #151
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -849
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #152
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -848
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #153
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -847
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #154
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -846
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #155
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -845
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #156
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -844
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #157
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -843
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #158
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -842
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #159
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -841
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #160
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -840
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #161
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -839
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #162
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -838
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #163
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -837
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #164
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -836
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #165
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -835
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #166
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -834
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #167
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -833
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #168
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -832
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #169
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -831
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #170
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -830
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #171
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -829
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #172
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -828
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #173
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -827
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #174
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -826
188.95/189.09	c
188.95/189.09	c
188.95/189.09	c core #175
188.95/189.09	c 
188.95/189.09	c 
188.95/189.09	c Core size: 3	Core Weight: 1	Total Weight: -825
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #176
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -824
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #177
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -823
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #178
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -822
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #179
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -821
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #180
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -820
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #181
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -819
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #182
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -818
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #183
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -817
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #184
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -816
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #185
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -815
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #186
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -814
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #187
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -813
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #188
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -812
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #189
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -811
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #190
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -810
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #191
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -809
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #192
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -808
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #193
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -807
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #194
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -806
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #195
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -805
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #196
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -804
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #197
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -803
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #198
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -802
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #199
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -801
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #200
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -800
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #201
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -799
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #202
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -798
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #203
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -797
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #204
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -796
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #205
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -795
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #206
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -794
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #207
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -793
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #208
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -792
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #209
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -791
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #210
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -790
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #211
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -789
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #212
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -788
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #213
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -787
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #214
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -786
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #215
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -785
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #216
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -784
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #217
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -783
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #218
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -782
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #219
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -781
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #220
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -780
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #221
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -779
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #222
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -778
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #223
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -777
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #224
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -776
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #225
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -775
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #226
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -774
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #227
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -773
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #228
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -772
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #229
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -771
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #230
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -770
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #231
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -769
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #232
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -768
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c core #233
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 3	Core Weight: 1	Total Weight: -767
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #234
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -766
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #235
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -765
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #236
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -764
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #237
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -763
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #238
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -762
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #239
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -761
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #240
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -760
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #241
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -759
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #242
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -758
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #243
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -757
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #244
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -756
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #245
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -755
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #246
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -754
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #247
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -753
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #248
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -752
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #249
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -751
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #250
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -750
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #251
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -749
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #252
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -748
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #253
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -747
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #254
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -746
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #255
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -745
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #256
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -744
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #257
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -743
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #258
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -742
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #259
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -741
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #260
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -740
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #261
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -739
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #262
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -738
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #263
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -737
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #264
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -736
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #265
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -735
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #266
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -734
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #267
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -733
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #268
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -732
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #269
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -731
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #270
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -730
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #271
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -729
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #272
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -728
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #273
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -727
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #274
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -726
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #275
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -725
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #276
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -724
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #277
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -723
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #278
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -722
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #279
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -721
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #280
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -720
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #281
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -719
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #282
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -718
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #283
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -717
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #284
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -716
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #285
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -715
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #286
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -714
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #287
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -713
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #288
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -712
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #289
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -711
195.15/195.22	c
195.15/195.22	c
195.15/195.22	c core #290
195.15/195.22	c 
195.15/195.22	c 
195.15/195.22	c Core size: 3	Core Weight: 1	Total Weight: -710
195.15/195.22	c
198.54/198.63	c
198.54/198.63	c core #291
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -709
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #292
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -708
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #293
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -707
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #294
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -706
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #295
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -705
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #296
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -704
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #297
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -703
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #298
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -702
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #299
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -701
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #300
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -700
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #301
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -699
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #302
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -698
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #303
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -697
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #304
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -696
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #305
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -695
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #306
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -694
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #307
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -693
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #308
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -692
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #309
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -691
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #310
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -690
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #311
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -689
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #312
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -688
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #313
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -687
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #314
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -686
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #315
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -685
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #316
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -684
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #317
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -683
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #318
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -682
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #319
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -681
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #320
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -680
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #321
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -679
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #322
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -678
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #323
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -677
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #324
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -676
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #325
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -675
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #326
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -674
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #327
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -673
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #328
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -672
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #329
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -671
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #330
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -670
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #331
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -669
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #332
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -668
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #333
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -667
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #334
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -666
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #335
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -665
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #336
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -664
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #337
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -663
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #338
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -662
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #339
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -661
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #340
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -660
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #341
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -659
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #342
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -658
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #343
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -657
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #344
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -656
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #345
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -655
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #346
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -654
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #347
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -653
198.54/198.63	c
198.54/198.63	c
198.54/198.63	c core #348
198.54/198.63	c 
198.54/198.63	c 
198.54/198.63	c Core size: 3	Core Weight: 1	Total Weight: -652
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #349
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -651
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #350
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -650
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #351
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -649
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #352
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -648
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #353
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -647
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #354
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -646
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #355
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -645
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #356
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -644
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #357
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -643
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #358
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -642
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #359
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -641
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #360
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -640
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #361
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -639
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #362
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -638
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #363
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -637
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #364
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -636
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #365
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -635
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #366
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -634
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #367
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -633
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #368
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -632
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #369
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -631
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #370
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -630
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #371
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -629
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #372
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -628
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #373
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -627
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #374
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -626
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #375
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -625
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #376
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -624
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #377
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -623
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #378
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -622
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #379
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -621
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #380
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -620
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #381
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -619
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #382
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -618
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #383
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -617
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #384
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -616
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #385
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -615
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #386
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -614
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #387
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -613
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #388
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -612
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #389
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -611
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #390
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -610
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #391
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -609
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #392
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -608
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #393
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -607
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #394
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -606
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #395
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -605
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #396
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -604
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #397
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -603
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #398
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -602
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #399
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -601
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #400
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -600
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #401
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -599
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #402
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -598
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #403
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -597
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #404
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -596
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #405
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -595
202.14/202.22	c
202.14/202.22	c
202.14/202.22	c core #406
202.14/202.22	c 
202.14/202.22	c 
202.14/202.22	c Core size: 3	Core Weight: 1	Total Weight: -594
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #407
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -593
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #408
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -592
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #409
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -591
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #410
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -590
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #411
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -589
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #412
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -588
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #413
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -587
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #414
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -586
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #415
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -585
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #416
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -584
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #417
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -583
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #418
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -582
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #419
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -581
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #420
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -580
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #421
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -579
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #422
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -578
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #423
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -577
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #424
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -576
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #425
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -575
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #426
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -574
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #427
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -573
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #428
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -572
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #429
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -571
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #430
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -570
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #431
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -569
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #432
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -568
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #433
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -567
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #434
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -566
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #435
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -565
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #436
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -564
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #437
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -563
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #438
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -562
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #439
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -561
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #440
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -560
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #441
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -559
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #442
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -558
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #443
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -557
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #444
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -556
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #445
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -555
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #446
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -554
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #447
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -553
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #448
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -552
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #449
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -551
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #450
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -550
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #451
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -549
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #452
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -548
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #453
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -547
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #454
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -546
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #455
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -545
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #456
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -544
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #457
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -543
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #458
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -542
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #459
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -541
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #460
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -540
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #461
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -539
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #462
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -538
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #463
205.84/205.99	c 
205.84/205.99	c 
205.84/205.99	c Core size: 3	Core Weight: 1	Total Weight: -537
205.84/205.99	c
205.84/205.99	c
205.84/205.99	c core #464
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -536
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #465
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -535
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #466
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -534
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #467
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -533
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #468
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -532
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #469
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -531
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #470
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -530
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #471
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -529
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #472
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -528
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #473
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -527
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #474
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -526
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #475
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -525
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #476
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -524
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #477
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -523
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #478
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -522
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #479
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -521
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #480
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -520
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #481
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -519
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #482
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -518
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #483
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -517
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #484
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 3	Core Weight: 1	Total Weight: -516
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #485
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -515
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #486
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -514
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #487
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -513
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #488
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -512
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #489
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -511
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #490
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -510
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #491
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -509
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #492
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -508
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #493
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 19	Core Weight: 1	Total Weight: -507
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #494
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 15	Core Weight: 1	Total Weight: -506
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #495
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 19	Core Weight: 1	Total Weight: -505
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #496
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 15	Core Weight: 1	Total Weight: -504
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #497
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 7	Core Weight: 1	Total Weight: -503
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #498
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 19	Core Weight: 1	Total Weight: -502
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #499
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 11	Core Weight: 1	Total Weight: -501
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #500
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 18	Core Weight: 1	Total Weight: -500
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c core #501
208.74/208.83	c 
208.74/208.83	c 
208.74/208.83	c Core size: 22	Core Weight: 1	Total Weight: -499
208.74/208.83	c
208.74/208.83	c
208.74/208.83	c ============================[ Search Statistics ]==============================
208.74/208.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.74/208.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.74/208.83	c ===============================================================================
208.74/208.83	c |         0 |    2076    33184    77792 |    11061        0    nan |  0.000 % |
208.74/208.84	c ===============================================================================
208.84/208.93	c core #502
208.84/208.93	c 
208.84/208.93	c 
208.84/208.93	c Core size: 16	Core Weight: 1	Total Weight: -498
208.84/208.93	c
208.84/208.93	c
208.84/208.93	c ============================[ Search Statistics ]==============================
208.84/208.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.84/208.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.84/208.93	c ===============================================================================
208.84/208.93	c |         0 |    2087    33185    77814 |    11061        0    nan |  0.000 % |
208.84/208.93	c ===============================================================================
208.95/209.02	c core #503
208.95/209.02	c 
208.95/209.02	c 
208.95/209.02	c Core size: 14	Core Weight: 1	Total Weight: -497
208.95/209.02	c
208.95/209.02	c
208.95/209.02	c ============================[ Search Statistics ]==============================
208.95/209.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.95/209.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.95/209.02	c ===============================================================================
208.95/209.02	c |         0 |    2095    33186    77830 |    11062        0    nan |  0.000 % |
208.95/209.03	c ===============================================================================
209.04/209.12	c core #504
209.04/209.12	c 
209.04/209.12	c 
209.04/209.12	c Core size: 16	Core Weight: 1	Total Weight: -496
209.04/209.12	c
209.04/209.12	c
209.04/209.12	c ============================[ Search Statistics ]==============================
209.04/209.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.04/209.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.04/209.12	c ===============================================================================
209.04/209.12	c |         0 |    2105    33187    77850 |    11062        0    nan |  0.000 % |
209.04/209.12	c ===============================================================================
209.14/209.21	c core #505
209.14/209.21	c 
209.14/209.21	c 
209.14/209.21	c Core size: 16	Core Weight: 1	Total Weight: -495
209.14/209.21	c
209.14/209.21	c
209.14/209.21	c ============================[ Search Statistics ]==============================
209.14/209.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.14/209.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.14/209.21	c ===============================================================================
209.14/209.21	c |         0 |    2115    33188    77870 |    11062        0    nan |  0.000 % |
209.14/209.22	c ===============================================================================
209.24/209.31	c core #506
209.24/209.31	c 
209.24/209.31	c 
209.24/209.31	c Core size: 16	Core Weight: 1	Total Weight: -494
209.24/209.31	c
209.24/209.31	c
209.24/209.31	c ============================[ Search Statistics ]==============================
209.24/209.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.24/209.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.24/209.31	c ===============================================================================
209.24/209.31	c |         0 |    2125    33189    77890 |    11063        0    nan |  0.000 % |
209.24/209.32	c ===============================================================================
209.34/209.41	c core #507
209.34/209.41	c 
209.34/209.41	c 
209.34/209.41	c Core size: 10	Core Weight: 1	Total Weight: -493
209.34/209.41	c
209.34/209.41	c
209.34/209.41	c ============================[ Search Statistics ]==============================
209.34/209.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.34/209.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.34/209.41	c ===============================================================================
209.34/209.41	c |         0 |    2131    33190    77902 |    11063        0    nan |  0.000 % |
209.34/209.42	c ===============================================================================
209.44/209.51	c core #508
209.44/209.51	c 
209.44/209.51	c 
209.44/209.51	c Core size: 16	Core Weight: 1	Total Weight: -492
209.44/209.51	c
209.44/209.51	c
209.44/209.51	c ============================[ Search Statistics ]==============================
209.44/209.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.44/209.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.44/209.51	c ===============================================================================
209.44/209.51	c |         0 |    2141    33191    77922 |    11063        0    nan |  0.000 % |
209.44/209.52	c ===============================================================================
209.54/209.61	c core #509
209.54/209.61	c 
209.54/209.61	c 
209.54/209.61	c Core size: 12	Core Weight: 1	Total Weight: -491
209.54/209.61	c
209.54/209.61	c
209.54/209.61	c ============================[ Search Statistics ]==============================
209.54/209.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.54/209.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.54/209.61	c ===============================================================================
209.54/209.61	c |         0 |    2149    33192    77938 |    11064        0    nan |  0.000 % |
209.54/209.62	c ===============================================================================
209.64/209.71	c core #510
209.64/209.71	c 
209.64/209.71	c 
209.64/209.71	c Core size: 10	Core Weight: 1	Total Weight: -490
209.64/209.71	c
209.64/209.71	c
209.64/209.71	c ============================[ Search Statistics ]==============================
209.64/209.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.64/209.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.64/209.71	c ===============================================================================
209.64/209.71	c |         0 |    2155    33193    77950 |    11064        0    nan |  0.000 % |
209.64/209.72	c ===============================================================================
209.74/209.80	c core #511
209.74/209.80	c 
209.74/209.80	c 
209.74/209.80	c Core size: 16	Core Weight: 1	Total Weight: -489
209.74/209.80	c
209.74/209.80	c
209.74/209.80	c ============================[ Search Statistics ]==============================
209.74/209.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.74/209.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.74/209.80	c ===============================================================================
209.74/209.80	c |         0 |    2165    33194    77970 |    11064        0    nan |  0.000 % |
209.74/209.81	c ===============================================================================
209.84/209.90	c core #512
209.84/209.90	c 
209.84/209.90	c 
209.84/209.90	c Core size: 14	Core Weight: 1	Total Weight: -488
209.84/209.90	c
209.84/209.90	c
209.84/209.90	c ============================[ Search Statistics ]==============================
209.84/209.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.84/209.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.84/209.90	c ===============================================================================
209.84/209.90	c |         0 |    2173    33195    77986 |    11065        0    nan |  0.000 % |
209.84/209.91	c ===============================================================================
209.84/209.99	c core #513
209.84/209.99	c 
209.84/209.99	c 
209.84/209.99	c Core size: 16	Core Weight: 1	Total Weight: -487
209.84/209.99	c
209.84/209.99	c
209.84/209.99	c ============================[ Search Statistics ]==============================
209.84/209.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.84/209.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.84/209.99	c ===============================================================================
209.84/209.99	c |         0 |    2183    33196    78006 |    11065        0    nan |  0.000 % |
209.95/210.00	c ===============================================================================
209.95/210.09	c core #514
209.95/210.09	c 
209.95/210.09	c 
209.95/210.09	c Core size: 16	Core Weight: 1	Total Weight: -486
209.95/210.09	c
209.95/210.09	c
209.95/210.09	c ============================[ Search Statistics ]==============================
209.95/210.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.95/210.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.95/210.09	c ===============================================================================
209.95/210.09	c |         0 |    2193    33197    78026 |    11065        0    nan |  0.000 % |
209.95/210.10	c ===============================================================================
210.05/210.19	c core #515
210.05/210.19	c 
210.05/210.19	c 
210.05/210.19	c Core size: 14	Core Weight: 1	Total Weight: -485
210.05/210.19	c
210.05/210.19	c
210.05/210.19	c ============================[ Search Statistics ]==============================
210.05/210.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.05/210.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.05/210.19	c ===============================================================================
210.05/210.19	c |         0 |    2201    33198    78042 |    11066        0    nan |  0.000 % |
210.14/210.20	c ===============================================================================
210.14/210.28	c core #516
210.14/210.28	c 
210.14/210.28	c 
210.14/210.28	c Core size: 14	Core Weight: 1	Total Weight: -484
210.14/210.28	c
210.14/210.28	c
210.14/210.28	c ============================[ Search Statistics ]==============================
210.14/210.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.14/210.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.14/210.28	c ===============================================================================
210.14/210.28	c |         0 |    2209    33199    78058 |    11066        0    nan |  0.000 % |
210.14/210.29	c ===============================================================================
210.24/210.38	c core #517
210.24/210.38	c 
210.24/210.38	c 
210.24/210.38	c Core size: 10	Core Weight: 1	Total Weight: -483
210.24/210.38	c
210.24/210.38	c
210.24/210.38	c ============================[ Search Statistics ]==============================
210.24/210.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.24/210.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.24/210.38	c ===============================================================================
210.24/210.38	c |         0 |    2215    33200    78070 |    11066        0    nan |  0.000 % |
210.24/210.39	c ===============================================================================
210.34/210.48	c core #518
210.34/210.48	c 
210.34/210.48	c 
210.34/210.48	c Core size: 12	Core Weight: 1	Total Weight: -482
210.34/210.48	c
210.34/210.48	c
210.34/210.48	c ============================[ Search Statistics ]==============================
210.34/210.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.34/210.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.34/210.48	c ===============================================================================
210.34/210.48	c |         0 |    2223    33201    78086 |    11067        0    nan |  0.000 % |
210.34/210.49	c ===============================================================================
210.44/210.58	c core #519
210.44/210.58	c 
210.44/210.58	c 
210.44/210.58	c Core size: 16	Core Weight: 1	Total Weight: -481
210.44/210.58	c
210.44/210.58	c
210.44/210.58	c ============================[ Search Statistics ]==============================
210.44/210.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.44/210.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.44/210.58	c ===============================================================================
210.44/210.58	c |         0 |    2233    33202    78106 |    11067        0    nan |  0.000 % |
210.44/210.58	c ===============================================================================
210.54/210.67	c core #520
210.54/210.67	c 
210.54/210.67	c 
210.54/210.67	c Core size: 14	Core Weight: 1	Total Weight: -480
210.54/210.67	c
210.54/210.67	c
210.54/210.67	c ============================[ Search Statistics ]==============================
210.54/210.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.54/210.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.54/210.67	c ===============================================================================
210.54/210.67	c |         0 |    2241    33203    78122 |    11067        0    nan |  0.000 % |
210.54/210.69	c ===============================================================================
210.64/210.77	c core #521
210.64/210.77	c 
210.64/210.77	c 
210.64/210.77	c Core size: 16	Core Weight: 1	Total Weight: -479
210.64/210.77	c
210.64/210.77	c
210.64/210.77	c ============================[ Search Statistics ]==============================
210.64/210.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.64/210.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.64/210.77	c ===============================================================================
210.64/210.77	c |         0 |    2251    33204    78142 |    11068        0    nan |  0.000 % |
210.64/210.78	c ===============================================================================
210.74/210.87	c core #522
210.74/210.87	c 
210.74/210.87	c 
210.74/210.87	c Core size: 16	Core Weight: 1	Total Weight: -478
210.74/210.87	c
210.74/210.87	c
210.74/210.87	c ============================[ Search Statistics ]==============================
210.74/210.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.74/210.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.74/210.87	c ===============================================================================
210.74/210.87	c |         0 |    2261    33205    78162 |    11068        0    nan |  0.000 % |
210.74/210.88	c ===============================================================================
210.84/210.96	c core #523
210.84/210.96	c 
210.84/210.96	c 
210.84/210.96	c Core size: 10	Core Weight: 1	Total Weight: -477
210.84/210.96	c
210.84/210.96	c
210.84/210.96	c ============================[ Search Statistics ]==============================
210.84/210.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.84/210.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.84/210.96	c ===============================================================================
210.84/210.96	c |         0 |    2267    33206    78174 |    11068        0    nan |  0.000 % |
210.84/210.97	c ===============================================================================
210.94/211.06	c core #524
210.94/211.06	c 
210.94/211.06	c 
210.94/211.06	c Core size: 10	Core Weight: 1	Total Weight: -476
210.94/211.06	c
210.94/211.06	c
210.94/211.06	c ============================[ Search Statistics ]==============================
210.94/211.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.94/211.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.94/211.06	c ===============================================================================
210.94/211.06	c |         0 |    2273    33207    78186 |    11069        0    nan |  0.000 % |
210.94/211.07	c ===============================================================================
211.05/211.16	c core #525
211.05/211.16	c 
211.05/211.16	c 
211.05/211.16	c Core size: 14	Core Weight: 1	Total Weight: -475
211.05/211.16	c
211.05/211.16	c
211.05/211.16	c ============================[ Search Statistics ]==============================
211.05/211.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.05/211.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.05/211.16	c ===============================================================================
211.05/211.16	c |         0 |    2281    33208    78202 |    11069        0    nan |  0.000 % |
211.05/211.17	c ===============================================================================
211.15/211.26	c core #526
211.15/211.26	c 
211.15/211.26	c 
211.15/211.26	c Core size: 16	Core Weight: 1	Total Weight: -474
211.15/211.26	c
211.15/211.26	c
211.15/211.26	c ============================[ Search Statistics ]==============================
211.15/211.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.15/211.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.15/211.26	c ===============================================================================
211.15/211.26	c |         0 |    2291    33209    78222 |    11069        0    nan |  0.000 % |
211.15/211.27	c ===============================================================================
211.24/211.35	c core #527
211.24/211.35	c 
211.24/211.35	c 
211.24/211.35	c Core size: 14	Core Weight: 1	Total Weight: -473
211.24/211.35	c
211.24/211.35	c
211.24/211.35	c ============================[ Search Statistics ]==============================
211.24/211.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.24/211.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.24/211.35	c ===============================================================================
211.24/211.35	c |         0 |    2299    33210    78238 |    11070        0    nan |  0.000 % |
211.24/211.36	c ===============================================================================
211.34/211.45	c core #528
211.34/211.45	c 
211.34/211.45	c 
211.34/211.45	c Core size: 16	Core Weight: 1	Total Weight: -472
211.34/211.45	c
211.34/211.45	c
211.34/211.45	c ============================[ Search Statistics ]==============================
211.34/211.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.34/211.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.34/211.45	c ===============================================================================
211.34/211.45	c |         0 |    2309    33211    78258 |    11070        0    nan |  0.000 % |
211.34/211.46	c ===============================================================================
211.44/211.54	c core #529
211.44/211.54	c 
211.44/211.54	c 
211.44/211.54	c Core size: 14	Core Weight: 1	Total Weight: -471
211.44/211.54	c
211.44/211.54	c
211.44/211.54	c ============================[ Search Statistics ]==============================
211.44/211.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.44/211.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.44/211.55	c ===============================================================================
211.44/211.55	c |         0 |    2317    33212    78274 |    11070        0    nan |  0.000 % |
211.44/211.55	c ===============================================================================
211.54/211.64	c core #530
211.54/211.64	c 
211.54/211.64	c 
211.54/211.64	c Core size: 14	Core Weight: 1	Total Weight: -470
211.54/211.64	c
211.54/211.64	c
211.54/211.64	c ============================[ Search Statistics ]==============================
211.54/211.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.54/211.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.54/211.64	c ===============================================================================
211.54/211.64	c |         0 |    2325    33213    78290 |    11071        0    nan |  0.000 % |
211.54/211.66	c ===============================================================================
211.64/211.74	c core #531
211.64/211.74	c 
211.64/211.74	c 
211.64/211.74	c Core size: 16	Core Weight: 1	Total Weight: -469
211.64/211.74	c
211.64/211.74	c
211.64/211.74	c ============================[ Search Statistics ]==============================
211.64/211.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.64/211.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.64/211.74	c ===============================================================================
211.64/211.74	c |         0 |    2335    33214    78310 |    11071        0    nan |  0.000 % |
211.64/211.76	c ===============================================================================
211.74/211.84	c core #532
211.74/211.84	c 
211.74/211.84	c 
211.74/211.84	c Core size: 16	Core Weight: 1	Total Weight: -468
211.74/211.84	c
211.74/211.84	c
211.74/211.84	c ============================[ Search Statistics ]==============================
211.74/211.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.74/211.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.74/211.84	c ===============================================================================
211.74/211.84	c |         0 |    2345    33215    78330 |    11071        0    nan |  0.000 % |
211.74/211.85	c ===============================================================================
211.84/211.94	c core #533
211.84/211.94	c 
211.84/211.94	c 
211.84/211.94	c Core size: 14	Core Weight: 1	Total Weight: -467
211.84/211.94	c
211.84/211.94	c
211.84/211.94	c ============================[ Search Statistics ]==============================
211.84/211.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.84/211.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.84/211.94	c ===============================================================================
211.84/211.94	c |         0 |    2353    33216    78346 |    11072        0    nan |  0.000 % |
211.84/211.95	c ===============================================================================
211.94/212.04	c core #534
211.94/212.04	c 
211.94/212.04	c 
211.94/212.04	c Core size: 16	Core Weight: 1	Total Weight: -466
211.94/212.04	c
211.94/212.04	c
211.94/212.04	c ============================[ Search Statistics ]==============================
211.94/212.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.94/212.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.94/212.04	c ===============================================================================
211.94/212.04	c |         0 |    2363    33217    78366 |    11072        0    nan |  0.000 % |
211.94/212.05	c ===============================================================================
212.04/212.14	c core #535
212.04/212.14	c 
212.04/212.14	c 
212.04/212.14	c Core size: 16	Core Weight: 1	Total Weight: -465
212.04/212.14	c
212.04/212.14	c
212.04/212.14	c ============================[ Search Statistics ]==============================
212.04/212.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.04/212.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.04/212.14	c ===============================================================================
212.04/212.14	c |         0 |    2373    33218    78386 |    11072        0    nan |  0.000 % |
212.04/212.15	c ===============================================================================
212.14/212.24	c core #536
212.14/212.24	c 
212.14/212.24	c 
212.14/212.24	c Core size: 16	Core Weight: 1	Total Weight: -464
212.14/212.24	c
212.14/212.24	c
212.14/212.24	c ============================[ Search Statistics ]==============================
212.14/212.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.14/212.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.14/212.24	c ===============================================================================
212.14/212.24	c |         0 |    2383    33219    78406 |    11073        0    nan |  0.000 % |
212.14/212.25	c ===============================================================================
212.25/212.34	c core #537
212.25/212.34	c 
212.25/212.34	c 
212.25/212.34	c Core size: 16	Core Weight: 1	Total Weight: -463
212.25/212.34	c
212.25/212.34	c
212.25/212.34	c ============================[ Search Statistics ]==============================
212.25/212.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.25/212.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.25/212.34	c ===============================================================================
212.25/212.34	c |         0 |    2393    33220    78426 |    11073        0    nan |  0.000 % |
212.25/212.35	c ===============================================================================
212.34/212.44	c core #538
212.34/212.44	c 
212.34/212.44	c 
212.34/212.44	c Core size: 14	Core Weight: 1	Total Weight: -462
212.34/212.44	c
212.34/212.44	c
212.34/212.44	c ============================[ Search Statistics ]==============================
212.34/212.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.34/212.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.34/212.44	c ===============================================================================
212.34/212.44	c |         0 |    2401    33221    78442 |    11073        0    nan |  0.000 % |
212.34/212.45	c ===============================================================================
212.44/212.53	c core #539
212.44/212.53	c 
212.44/212.53	c 
212.44/212.53	c Core size: 10	Core Weight: 1	Total Weight: -461
212.44/212.53	c
212.44/212.53	c
212.44/212.53	c ============================[ Search Statistics ]==============================
212.44/212.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.44/212.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.44/212.53	c ===============================================================================
212.44/212.53	c |         0 |    2407    33222    78454 |    11074        0    nan |  0.000 % |
212.44/212.54	c ===============================================================================
212.54/212.63	c core #540
212.54/212.63	c 
212.54/212.63	c 
212.54/212.63	c Core size: 14	Core Weight: 1	Total Weight: -460
212.54/212.63	c
212.54/212.63	c
212.54/212.63	c ============================[ Search Statistics ]==============================
212.54/212.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.54/212.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.54/212.63	c ===============================================================================
212.54/212.63	c |         0 |    2415    33223    78470 |    11074        0    nan |  0.000 % |
212.54/212.64	c ===============================================================================
212.64/212.73	c core #541
212.64/212.73	c 
212.64/212.73	c 
212.64/212.73	c Core size: 14	Core Weight: 1	Total Weight: -459
212.64/212.73	c
212.64/212.73	c
212.64/212.73	c ============================[ Search Statistics ]==============================
212.64/212.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.64/212.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.64/212.73	c ===============================================================================
212.64/212.73	c |         0 |    2423    33224    78486 |    11074        0    nan |  0.000 % |
212.64/212.74	c ===============================================================================
212.74/212.83	c core #542
212.74/212.83	c 
212.74/212.83	c 
212.74/212.83	c Core size: 16	Core Weight: 1	Total Weight: -458
212.74/212.83	c
212.74/212.83	c
212.74/212.83	c ============================[ Search Statistics ]==============================
212.74/212.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.74/212.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.74/212.83	c ===============================================================================
212.74/212.83	c |         0 |    2433    33225    78506 |    11075        0    nan |  0.000 % |
212.74/212.83	c ===============================================================================
212.84/212.93	c core #543
212.84/212.93	c 
212.84/212.93	c 
212.84/212.93	c Core size: 16	Core Weight: 1	Total Weight: -457
212.84/212.93	c
212.84/212.93	c
212.84/212.93	c ============================[ Search Statistics ]==============================
212.84/212.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.84/212.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.84/212.93	c ===============================================================================
212.84/212.93	c |         0 |    2443    33226    78526 |    11075        0    nan |  0.000 % |
212.84/212.94	c ===============================================================================
212.94/213.03	c core #544
212.94/213.03	c 
212.94/213.03	c 
212.94/213.03	c Core size: 16	Core Weight: 1	Total Weight: -456
212.94/213.03	c
212.94/213.03	c
212.94/213.03	c ============================[ Search Statistics ]==============================
212.94/213.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.94/213.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.94/213.03	c ===============================================================================
212.94/213.03	c |         0 |    2453    33227    78546 |    11075        0    nan |  0.000 % |
212.94/213.04	c ===============================================================================
213.04/213.13	c core #545
213.04/213.13	c 
213.04/213.13	c 
213.04/213.13	c Core size: 16	Core Weight: 1	Total Weight: -455
213.04/213.13	c
213.04/213.13	c
213.04/213.13	c ============================[ Search Statistics ]==============================
213.04/213.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.04/213.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.04/213.13	c ===============================================================================
213.04/213.13	c |         0 |    2463    33228    78566 |    11076        0    nan |  0.000 % |
213.04/213.14	c ===============================================================================
213.14/213.23	c core #546
213.14/213.23	c 
213.14/213.23	c 
213.14/213.23	c Core size: 16	Core Weight: 1	Total Weight: -454
213.14/213.23	c
213.14/213.23	c
213.14/213.23	c ============================[ Search Statistics ]==============================
213.14/213.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.14/213.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.14/213.23	c ===============================================================================
213.14/213.23	c |         0 |    2473    33229    78586 |    11076        0    nan |  0.000 % |
213.14/213.24	c ===============================================================================
213.24/213.33	c core #547
213.24/213.33	c 
213.24/213.33	c 
213.24/213.33	c Core size: 16	Core Weight: 1	Total Weight: -453
213.24/213.33	c
213.24/213.33	c
213.24/213.33	c ============================[ Search Statistics ]==============================
213.24/213.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.24/213.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.24/213.33	c ===============================================================================
213.24/213.33	c |         0 |    2483    33230    78606 |    11076        0    nan |  0.000 % |
213.24/213.35	c ===============================================================================
213.35/213.43	c core #548
213.35/213.43	c 
213.35/213.43	c 
213.35/213.43	c Core size: 16	Core Weight: 1	Total Weight: -452
213.35/213.43	c
213.35/213.43	c
213.35/213.43	c ============================[ Search Statistics ]==============================
213.35/213.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.35/213.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.35/213.43	c ===============================================================================
213.35/213.43	c |         0 |    2493    33231    78626 |    11077        0    nan |  0.000 % |
213.35/213.44	c ===============================================================================
213.44/213.53	c core #549
213.44/213.53	c 
213.44/213.53	c 
213.44/213.53	c Core size: 14	Core Weight: 1	Total Weight: -451
213.44/213.53	c
213.44/213.53	c
213.44/213.53	c ============================[ Search Statistics ]==============================
213.44/213.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.44/213.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.44/213.53	c ===============================================================================
213.44/213.53	c |         0 |    2501    33232    78642 |    11077        0    nan |  0.000 % |
213.44/213.54	c ===============================================================================
213.54/213.63	c core #550
213.54/213.63	c 
213.54/213.63	c 
213.54/213.63	c Core size: 16	Core Weight: 1	Total Weight: -450
213.54/213.63	c
213.54/213.63	c
213.54/213.63	c ============================[ Search Statistics ]==============================
213.54/213.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.54/213.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.54/213.63	c ===============================================================================
213.54/213.63	c |         0 |    2511    33233    78662 |    11077        0    nan |  0.000 % |
213.54/213.65	c ===============================================================================
213.64/213.74	c core #551
213.64/213.74	c 
213.64/213.74	c 
213.64/213.74	c Core size: 12	Core Weight: 1	Total Weight: -449
213.64/213.74	c
213.64/213.74	c
213.64/213.74	c ============================[ Search Statistics ]==============================
213.64/213.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.64/213.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.64/213.74	c ===============================================================================
213.64/213.74	c |         0 |    2519    33234    78678 |    11078        0    nan |  0.000 % |
213.64/213.75	c ===============================================================================
213.74/213.84	c core #552
213.74/213.84	c 
213.74/213.84	c 
213.74/213.84	c Core size: 16	Core Weight: 1	Total Weight: -448
213.74/213.84	c
213.74/213.84	c
213.74/213.84	c ============================[ Search Statistics ]==============================
213.74/213.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.74/213.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.74/213.84	c ===============================================================================
213.74/213.84	c |         0 |    2529    33235    78698 |    11078        0    nan |  0.000 % |
213.74/213.86	c ===============================================================================
213.84/213.94	c core #553
213.84/213.94	c 
213.84/213.94	c 
213.84/213.94	c Core size: 16	Core Weight: 1	Total Weight: -447
213.84/213.94	c
213.84/213.94	c
213.84/213.94	c ============================[ Search Statistics ]==============================
213.84/213.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.84/213.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.84/213.95	c ===============================================================================
213.84/213.95	c |         0 |    2539    33236    78718 |    11078        0    nan |  0.000 % |
213.84/213.95	c ===============================================================================
213.94/214.05	c core #554
213.94/214.05	c 
213.94/214.05	c 
213.94/214.05	c Core size: 16	Core Weight: 1	Total Weight: -446
213.94/214.05	c
213.94/214.05	c
213.94/214.05	c ============================[ Search Statistics ]==============================
213.94/214.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.94/214.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.94/214.05	c ===============================================================================
213.94/214.05	c |         0 |    2549    33237    78738 |    11079        0    nan |  0.000 % |
213.94/214.06	c ===============================================================================
214.04/214.15	c core #555
214.04/214.15	c 
214.04/214.15	c 
214.04/214.15	c Core size: 16	Core Weight: 1	Total Weight: -445
214.04/214.15	c
214.04/214.15	c
214.04/214.15	c ============================[ Search Statistics ]==============================
214.04/214.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.04/214.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.04/214.15	c ===============================================================================
214.04/214.15	c |         0 |    2559    33238    78758 |    11079        0    nan |  0.000 % |
214.04/214.16	c ===============================================================================
214.14/214.26	c core #556
214.14/214.26	c 
214.14/214.26	c 
214.14/214.26	c Core size: 12	Core Weight: 1	Total Weight: -444
214.14/214.26	c
214.14/214.26	c
214.14/214.26	c ============================[ Search Statistics ]==============================
214.14/214.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.14/214.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.14/214.26	c ===============================================================================
214.14/214.26	c |         0 |    2567    33239    78774 |    11079        0    nan |  0.000 % |
214.14/214.27	c ===============================================================================
214.24/214.36	c core #557
214.24/214.36	c 
214.24/214.36	c 
214.24/214.36	c Core size: 16	Core Weight: 1	Total Weight: -443
214.24/214.36	c
214.24/214.36	c
214.24/214.36	c ============================[ Search Statistics ]==============================
214.24/214.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.24/214.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.24/214.36	c ===============================================================================
214.24/214.36	c |         0 |    2577    33240    78794 |    11080        0    nan |  0.000 % |
214.24/214.36	c ===============================================================================
214.34/214.46	c core #558
214.34/214.46	c 
214.34/214.46	c 
214.34/214.46	c Core size: 16	Core Weight: 1	Total Weight: -442
214.34/214.46	c
214.34/214.46	c
214.34/214.46	c ============================[ Search Statistics ]==============================
214.34/214.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.34/214.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.34/214.46	c ===============================================================================
214.34/214.46	c |         0 |    2587    33241    78814 |    11080        0    nan |  0.000 % |
214.34/214.47	c ===============================================================================
214.45/214.57	c core #559
214.45/214.57	c 
214.45/214.57	c 
214.45/214.57	c Core size: 16	Core Weight: 1	Total Weight: -441
214.45/214.57	c
214.45/214.57	c
214.45/214.57	c ============================[ Search Statistics ]==============================
214.45/214.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.45/214.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.45/214.57	c ===============================================================================
214.45/214.57	c |         0 |    2597    33242    78834 |    11080        0    nan |  0.000 % |
214.45/214.58	c ===============================================================================
214.54/214.67	c core #560
214.54/214.67	c 
214.54/214.67	c 
214.54/214.67	c Core size: 16	Core Weight: 1	Total Weight: -440
214.54/214.67	c
214.54/214.67	c
214.54/214.67	c ============================[ Search Statistics ]==============================
214.54/214.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.54/214.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.54/214.67	c ===============================================================================
214.54/214.67	c |         0 |    2607    33243    78854 |    11081        0    nan |  0.000 % |
214.54/214.68	c ===============================================================================
214.64/214.77	c core #561
214.64/214.77	c 
214.64/214.77	c 
214.64/214.77	c Core size: 16	Core Weight: 1	Total Weight: -439
214.64/214.77	c
214.64/214.77	c
214.64/214.77	c ============================[ Search Statistics ]==============================
214.64/214.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.64/214.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.64/214.77	c ===============================================================================
214.64/214.77	c |         0 |    2617    33244    78874 |    11081        0    nan |  0.000 % |
214.64/214.79	c ===============================================================================
214.74/214.88	c core #562
214.74/214.88	c 
214.74/214.88	c 
214.74/214.88	c Core size: 18	Core Weight: 1	Total Weight: -438
214.74/214.88	c
214.74/214.88	c
214.74/214.88	c ============================[ Search Statistics ]==============================
214.74/214.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.74/214.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.74/214.88	c ===============================================================================
214.74/214.88	c |         0 |    2627    33245    78894 |    11081        0    nan |  0.000 % |
214.74/214.89	c ===============================================================================
214.84/214.99	c core #563
214.84/214.99	c 
214.84/214.99	c 
214.84/214.99	c Core size: 20	Core Weight: 1	Total Weight: -437
214.84/214.99	c
214.84/214.99	c
214.84/214.99	c ============================[ Search Statistics ]==============================
214.84/214.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.84/214.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.84/214.99	c ===============================================================================
214.84/214.99	c |         0 |    2639    33246    78918 |    11082        0    nan |  0.000 % |
214.94/215.00	c ===============================================================================
214.94/215.09	c core #564
214.94/215.09	c 
214.94/215.09	c 
214.94/215.09	c Core size: 16	Core Weight: 1	Total Weight: -436
214.94/215.09	c
214.94/215.09	c
214.94/215.09	c ============================[ Search Statistics ]==============================
214.94/215.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.94/215.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.94/215.09	c ===============================================================================
214.94/215.09	c |         0 |    2649    33247    78938 |    11082        0    nan |  0.000 % |
215.04/215.10	c ===============================================================================
215.04/215.20	c core #565
215.04/215.20	c 
215.04/215.20	c 
215.04/215.20	c Core size: 14	Core Weight: 1	Total Weight: -435
215.04/215.20	c
215.04/215.20	c
215.04/215.20	c ============================[ Search Statistics ]==============================
215.04/215.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.04/215.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.04/215.20	c ===============================================================================
215.04/215.20	c |         0 |    2657    33248    78954 |    11082        0    nan |  0.000 % |
215.14/215.22	c ===============================================================================
215.24/215.31	c core #566
215.24/215.31	c 
215.24/215.31	c 
215.24/215.31	c Core size: 14	Core Weight: 1	Total Weight: -434
215.24/215.31	c
215.24/215.31	c
215.24/215.31	c ============================[ Search Statistics ]==============================
215.24/215.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.24/215.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.24/215.31	c ===============================================================================
215.24/215.31	c |         0 |    2665    33249    78970 |    11083        0    nan |  0.000 % |
215.24/215.33	c ===============================================================================
215.34/215.42	c core #567
215.34/215.42	c 
215.34/215.42	c 
215.34/215.42	c Core size: 10	Core Weight: 1	Total Weight: -433
215.34/215.42	c
215.34/215.42	c
215.34/215.42	c ============================[ Search Statistics ]==============================
215.34/215.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.34/215.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.34/215.42	c ===============================================================================
215.34/215.42	c |         0 |    2671    33250    78982 |    11083        0    nan |  0.000 % |
215.34/215.43	c ===============================================================================
215.44/215.53	c core #568
215.44/215.53	c 
215.44/215.53	c 
215.44/215.53	c Core size: 22	Core Weight: 1	Total Weight: -432
215.44/215.53	c
215.44/215.53	c
215.44/215.53	c ============================[ Search Statistics ]==============================
215.44/215.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.44/215.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.44/215.53	c ===============================================================================
215.44/215.53	c |         0 |    2685    33251    79010 |    11083        0    nan |  0.000 % |
215.44/215.54	c ===============================================================================
215.55/215.64	c core #569
215.55/215.64	c 
215.55/215.64	c 
215.55/215.64	c Core size: 20	Core Weight: 1	Total Weight: -431
215.55/215.64	c
215.55/215.64	c
215.55/215.64	c ============================[ Search Statistics ]==============================
215.55/215.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.55/215.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.55/215.64	c ===============================================================================
215.55/215.64	c |         0 |    2697    33252    79034 |    11084        0    nan |  0.000 % |
215.55/215.66	c ===============================================================================
215.64/215.75	c core #570
215.64/215.75	c 
215.64/215.75	c 
215.64/215.75	c Core size: 22	Core Weight: 1	Total Weight: -430
215.64/215.75	c
215.64/215.75	c
215.64/215.75	c ============================[ Search Statistics ]==============================
215.64/215.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.64/215.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.64/215.75	c ===============================================================================
215.64/215.75	c |         0 |    2711    33253    79062 |    11084        0    nan |  0.000 % |
215.64/215.76	c ===============================================================================
215.74/215.86	c core #571
215.74/215.86	c 
215.74/215.86	c 
215.74/215.86	c Core size: 20	Core Weight: 1	Total Weight: -429
215.74/215.86	c
215.74/215.86	c
215.74/215.86	c ============================[ Search Statistics ]==============================
215.74/215.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.74/215.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.74/215.86	c ===============================================================================
215.74/215.86	c |         0 |    2723    33254    79086 |    11084        0    nan |  0.000 % |
215.74/215.87	c ===============================================================================
215.84/215.96	c core #572
215.84/215.96	c 
215.84/215.96	c 
215.84/215.96	c Core size: 14	Core Weight: 1	Total Weight: -428
215.84/215.96	c
215.84/215.96	c
215.84/215.96	c ============================[ Search Statistics ]==============================
215.84/215.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.84/215.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.84/215.96	c ===============================================================================
215.84/215.96	c |         0 |    2731    33255    79102 |    11085        0    nan |  0.000 % |
215.84/215.98	c ===============================================================================
215.94/216.07	c core #573
215.94/216.07	c 
215.94/216.07	c 
215.94/216.07	c Core size: 16	Core Weight: 1	Total Weight: -427
215.94/216.07	c
215.94/216.07	c
215.94/216.07	c ============================[ Search Statistics ]==============================
215.94/216.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.94/216.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.94/216.07	c ===============================================================================
215.94/216.07	c |         0 |    2741    33256    79122 |    11085        0    nan |  0.000 % |
215.94/216.08	c ===============================================================================
216.04/216.18	c core #574
216.04/216.18	c 
216.04/216.18	c 
216.04/216.18	c Core size: 24	Core Weight: 1	Total Weight: -426
216.04/216.18	c
216.04/216.18	c
216.04/216.18	c ============================[ Search Statistics ]==============================
216.04/216.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.04/216.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.04/216.18	c ===============================================================================
216.04/216.18	c |         0 |    2755    33257    79150 |    11085        0    nan |  0.000 % |
216.04/216.20	c ===============================================================================
216.14/216.29	c core #575
216.14/216.29	c 
216.14/216.29	c 
216.14/216.29	c Core size: 22	Core Weight: 1	Total Weight: -425
216.14/216.29	c
216.14/216.29	c
216.14/216.29	c ============================[ Search Statistics ]==============================
216.14/216.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.14/216.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.14/216.29	c ===============================================================================
216.14/216.29	c |         0 |    2769    33258    79178 |    11086        0    nan |  0.000 % |
216.24/216.30	c ===============================================================================
216.24/216.39	c core #576
216.24/216.39	c 
216.24/216.39	c 
216.24/216.39	c Core size: 20	Core Weight: 1	Total Weight: -424
216.24/216.39	c
216.24/216.39	c
216.24/216.39	c ============================[ Search Statistics ]==============================
216.24/216.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.24/216.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.24/216.39	c ===============================================================================
216.24/216.39	c |         0 |    2781    33259    79202 |    11086        0    nan |  0.000 % |
216.34/216.41	c ===============================================================================
216.44/216.50	c core #577
216.44/216.50	c 
216.44/216.50	c 
216.44/216.50	c Core size: 18	Core Weight: 1	Total Weight: -423
216.44/216.50	c
216.44/216.50	c
216.44/216.50	c ============================[ Search Statistics ]==============================
216.44/216.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.44/216.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.44/216.50	c ===============================================================================
216.44/216.50	c |         0 |    2793    33260    79226 |    11086        0    nan |  0.000 % |
216.44/216.53	c ===============================================================================
216.54/216.62	c core #578
216.54/216.62	c 
216.54/216.62	c 
216.54/216.62	c Core size: 18	Core Weight: 1	Total Weight: -422
216.54/216.62	c
216.54/216.62	c
216.54/216.62	c ============================[ Search Statistics ]==============================
216.54/216.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.54/216.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.54/216.62	c ===============================================================================
216.54/216.62	c |         0 |    2803    33261    79246 |    11087        0    nan |  0.000 % |
216.54/216.63	c ===============================================================================
216.64/216.73	c core #579
216.64/216.73	c 
216.64/216.73	c 
216.64/216.73	c Core size: 10	Core Weight: 1	Total Weight: -421
216.64/216.73	c
216.64/216.73	c
216.64/216.73	c ============================[ Search Statistics ]==============================
216.64/216.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.64/216.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.64/216.73	c ===============================================================================
216.64/216.73	c |         0 |    2809    33262    79258 |    11087        0    nan |  0.000 % |
216.64/216.74	c ===============================================================================
216.73/216.84	c core #580
216.73/216.84	c 
216.73/216.84	c 
216.73/216.84	c Core size: 14	Core Weight: 1	Total Weight: -420
216.73/216.84	c
216.73/216.84	c
216.73/216.84	c ============================[ Search Statistics ]==============================
216.73/216.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.73/216.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.73/216.84	c ===============================================================================
216.73/216.84	c |         0 |    2817    33263    79274 |    11087        0    nan |  0.000 % |
216.73/216.85	c ===============================================================================
216.83/216.95	c core #581
216.83/216.95	c 
216.83/216.95	c 
216.83/216.95	c Core size: 23	Core Weight: 1	Total Weight: -419
216.83/216.95	c
216.83/216.95	c
216.83/216.95	c ============================[ Search Statistics ]==============================
216.83/216.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.83/216.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.83/216.95	c ===============================================================================
216.83/216.95	c |         0 |    2830    33264    79300 |    11088        0    nan |  0.000 % |
216.83/216.97	c ===============================================================================
216.93/217.06	c core #582
216.93/217.06	c 
216.93/217.06	c 
216.93/217.06	c Core size: 14	Core Weight: 1	Total Weight: -418
216.93/217.06	c
216.93/217.06	c
216.93/217.06	c ============================[ Search Statistics ]==============================
216.93/217.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.93/217.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.93/217.06	c ===============================================================================
216.93/217.06	c |         0 |    2838    33265    79316 |    11088        0    nan |  0.000 % |
216.93/217.09	c ===============================================================================
217.03/217.18	c core #583
217.03/217.18	c 
217.03/217.18	c 
217.03/217.18	c Core size: 26	Core Weight: 1	Total Weight: -417
217.03/217.18	c
217.03/217.18	c
217.03/217.18	c ============================[ Search Statistics ]==============================
217.03/217.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.03/217.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.03/217.18	c ===============================================================================
217.03/217.18	c |         0 |    2854    33266    79348 |    11088        0    nan |  0.000 % |
217.13/217.20	c ===============================================================================
217.23/217.30	c core #584
217.23/217.30	c 
217.23/217.30	c 
217.23/217.30	c Core size: 32	Core Weight: 1	Total Weight: -416
217.23/217.30	c
217.23/217.30	c
217.23/217.30	c ============================[ Search Statistics ]==============================
217.23/217.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.23/217.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.23/217.30	c ===============================================================================
217.23/217.30	c |         0 |    2874    33267    79388 |    11089        0    nan |  0.000 % |
217.23/217.32	c ===============================================================================
217.33/217.41	c core #585
217.33/217.41	c 
217.33/217.41	c 
217.33/217.41	c Core size: 14	Core Weight: 1	Total Weight: -415
217.33/217.41	c
217.33/217.41	c
217.33/217.41	c ============================[ Search Statistics ]==============================
217.33/217.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.33/217.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.33/217.41	c ===============================================================================
217.33/217.41	c |         0 |    2882    33268    79404 |    11089        0    nan |  0.000 % |
217.33/217.43	c ===============================================================================
217.43/217.53	c core #586
217.43/217.53	c 
217.43/217.53	c 
217.43/217.53	c Core size: 24	Core Weight: 1	Total Weight: -414
217.43/217.53	c
217.43/217.53	c
217.43/217.53	c ============================[ Search Statistics ]==============================
217.43/217.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.43/217.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.43/217.53	c ===============================================================================
217.43/217.53	c |         0 |    2896    33269    79432 |    11089        0    nan |  0.000 % |
217.43/217.55	c ===============================================================================
217.53/217.65	c core #587
217.53/217.65	c 
217.53/217.65	c 
217.53/217.65	c Core size: 18	Core Weight: 1	Total Weight: -413
217.53/217.65	c
217.53/217.65	c
217.53/217.65	c ============================[ Search Statistics ]==============================
217.53/217.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.53/217.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.53/217.65	c ===============================================================================
217.53/217.65	c |         0 |    2906    33270    79452 |    11090        0    nan |  0.000 % |
217.53/217.67	c ===============================================================================
217.63/217.76	c core #588
217.63/217.76	c 
217.63/217.76	c 
217.63/217.76	c Core size: 25	Core Weight: 1	Total Weight: -412
217.63/217.76	c
217.63/217.76	c
217.63/217.76	c ============================[ Search Statistics ]==============================
217.63/217.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.63/217.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.63/217.76	c ===============================================================================
217.63/217.76	c |         0 |    2919    33271    79478 |    11090        0    nan |  0.000 % |
217.63/217.79	c ===============================================================================
217.75/217.88	c core #589
217.75/217.88	c 
217.75/217.88	c 
217.75/217.88	c Core size: 20	Core Weight: 1	Total Weight: -411
217.75/217.88	c
217.75/217.88	c
217.75/217.88	c ============================[ Search Statistics ]==============================
217.75/217.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.75/217.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.75/217.88	c ===============================================================================
217.75/217.88	c |         0 |    2931    33272    79502 |    11090        0    nan |  0.000 % |
217.84/217.91	c ===============================================================================
217.94/218.00	c core #590
217.94/218.00	c 
217.94/218.00	c 
217.94/218.00	c Core size: 34	Core Weight: 1	Total Weight: -410
217.94/218.00	c
217.94/218.00	c
217.94/218.00	c ============================[ Search Statistics ]==============================
217.94/218.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.94/218.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.94/218.00	c ===============================================================================
217.94/218.00	c |         0 |    2956    33273    79552 |    11091        0    nan |  0.000 % |
217.94/218.06	c ===============================================================================
218.04/218.15	c core #591
218.04/218.15	c 
218.04/218.15	c 
218.04/218.15	c Core size: 92	Core Weight: 1	Total Weight: -409
218.04/218.15	c
218.04/218.15	c
218.04/218.15	c ============================[ Search Statistics ]==============================
218.04/218.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.04/218.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.04/218.15	c ===============================================================================
218.04/218.15	c |         0 |    3020    33274    79680 |    11091        0    nan |  0.000 % |
218.24/218.38	c ===============================================================================
218.34/218.47	c core #592
218.34/218.47	c 
218.34/218.47	c 
218.34/218.47	c Core size: 62	Core Weight: 1	Total Weight: -408
218.34/218.47	c
218.34/218.47	c
218.34/218.47	c ============================[ Search Statistics ]==============================
218.34/218.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.34/218.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.34/218.47	c ===============================================================================
218.34/218.47	c |         0 |    3076    33275    79792 |    11091        0    nan |  0.000 % |
218.54/218.67	c |       100 |    3076    33275    79792 |    12200      100      8 | 83.721 % |
218.63/218.76	c ===============================================================================
218.74/218.85	c core #593
218.74/218.85	c 
218.74/218.85	c 
218.74/218.85	c Core size: 96	Core Weight: 1	Total Weight: -407
218.74/218.85	c
218.74/218.85	c
218.74/218.85	c ============================[ Search Statistics ]==============================
218.74/218.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.74/218.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.74/218.85	c ===============================================================================
218.74/218.85	c |         0 |    3154    33276    79948 |    11092        0    nan |  0.000 % |
218.93/219.06	c |       100 |    3154    33276    79948 |    12201      100     14 | 83.377 % |
219.13/219.29	c |       251 |    3154    33276    79948 |    13421      251     17 | 83.377 % |
219.53/219.62	c |       478 |    3154    33276    79948 |    14763      478     17 | 83.377 % |
219.83/219.96	c ===============================================================================
219.94/220.06	c core #594
219.94/220.06	c 
219.94/220.06	c 
219.94/220.06	c Core size: 143	Core Weight: 1	Total Weight: -406
219.94/220.06	c
219.94/220.06	c
219.94/220.06	c ============================[ Search Statistics ]==============================
219.94/220.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.94/220.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.94/220.06	c ===============================================================================
219.94/220.06	c |         0 |    3270    33277    80180 |    11092        0    nan |  0.000 % |
220.13/220.28	c |       102 |    3269    33277    80180 |    12201      102     12 | 82.876 % |
220.33/220.49	c |       252 |    3267    33277    80180 |    13421      252     14 | 82.886 % |
220.73/220.87	c |       477 |    3267    33277    80180 |    14763      477     17 | 82.886 % |
221.43/221.55	c |       814 |    3267    33277    80180 |    16240      807     19 | 82.886 % |
222.14/222.25	c ===============================================================================
222.24/222.35	c core #595
222.24/222.35	c 
222.24/222.35	c 
222.24/222.35	c Core size: 121	Core Weight: 1	Total Weight: -405
222.24/222.35	c
222.24/222.35	c
222.24/222.35	c ============================[ Search Statistics ]==============================
222.24/222.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
222.24/222.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
222.24/222.35	c ===============================================================================
222.24/222.35	c |         0 |    3381    33278    80402 |    11092        0    nan |  0.000 % |
222.53/222.62	c |       100 |    3381    33278    80402 |    12201      100     27 | 82.392 % |
222.64/222.76	c |       250 |    3381    33278    80402 |    13422      250     17 | 82.392 % |
222.94/223.08	c |       480 |    3381    33278    80402 |    14764      480     15 | 82.392 % |
223.43/223.53	c |       819 |    3356    33278    80402 |    16240      588     15 | 82.522 % |
223.43/223.59	c ===============================================================================
223.53/223.69	c core #596
223.53/223.69	c 
223.53/223.69	c 
223.53/223.69	c Core size: 103	Core Weight: 1	Total Weight: -404
223.53/223.69	c
223.53/223.69	c
223.53/223.69	c ============================[ Search Statistics ]==============================
223.53/223.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
223.53/223.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
223.53/223.69	c ===============================================================================
223.53/223.69	c |         0 |    3469    33279    80578 |    11093        0    nan |  0.000 % |
223.73/223.88	c |       100 |    3469    33279    80578 |    12202      100     22 | 82.016 % |
223.93/224.03	c |       250 |    3469    33279    80578 |    13422      250     24 | 82.016 % |
224.13/224.25	c |       475 |    3468    33279    80578 |    14764      475     21 | 82.021 % |
224.53/224.67	c |       813 |    3446    33279    80578 |    16241      810     21 | 82.928 % |
224.93/225.05	c |      1321 |    3278    33279    80578 |    17865     1157     26 | 83.571 % |
225.03/225.15	c ===============================================================================
225.13/225.25	c core #597
225.13/225.25	c 
225.13/225.25	c 
225.13/225.25	c Core size: 137	Core Weight: 1	Total Weight: -403
225.13/225.25	c
225.13/225.25	c
225.13/225.25	c ============================[ Search Statistics ]==============================
225.13/225.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.13/225.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.13/225.25	c ===============================================================================
225.13/225.25	c |         0 |    3576    33280    80792 |    11093        0    nan |  0.000 % |
225.33/225.43	c |       102 |    3576    33280    80792 |    12202      102     36 | 81.563 % |
225.63/225.70	c |       253 |    3576    33280    80792 |    13422      253     35 | 81.563 % |
225.93/226.06	c |       479 |    3576    33280    80792 |    14765      479     35 | 81.563 % |
226.43/226.51	c |       816 |    3576    33280    80792 |    16241      816     26 | 81.563 % |
227.23/227.30	c |      1327 |    3576    33280    80792 |    17865     1327     21 | 81.563 % |
227.43/227.50	c ===============================================================================
227.53/227.60	c core #598
227.53/227.60	c 
227.53/227.60	c 
227.53/227.60	c Core size: 142	Core Weight: 1	Total Weight: -402
227.53/227.60	c
227.53/227.60	c
227.53/227.60	c ============================[ Search Statistics ]==============================
227.53/227.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
227.53/227.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
227.53/227.60	c ===============================================================================
227.53/227.60	c |         0 |    3706    33281    81052 |    11093        0    nan |  0.000 % |
227.73/227.81	c |       102 |    3706    33281    81052 |    12203      102     37 | 81.020 % |
227.83/227.98	c |       252 |    3706    33281    81052 |    13423      252     26 | 81.020 % |
228.24/228.32	c |       477 |    3706    33281    81052 |    14765      477     30 | 81.020 % |
228.84/228.96	c |       814 |    3706    33281    81052 |    16242      814     36 | 81.020 % |
229.94/230.09	c |      1322 |    3706    33281    81052 |    17866     1322     28 | 81.020 % |
231.13/231.23	c ===============================================================================
231.23/231.33	c core #599
231.23/231.33	c 
231.23/231.33	c 
231.23/231.33	c Core size: 141	Core Weight: 1	Total Weight: -401
231.23/231.33	c
231.23/231.33	c
231.23/231.33	c ============================[ Search Statistics ]==============================
231.23/231.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
231.23/231.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
231.23/231.33	c ===============================================================================
231.23/231.33	c |         0 |    3832    33282    81304 |    11094        0    nan |  0.000 % |
231.43/231.55	c |       101 |    3832    33282    81304 |    12203      101    131 | 80.501 % |
231.63/231.73	c |       251 |    3832    33282    81304 |    13423      251     89 | 80.501 % |
231.73/231.88	c |       477 |    3832    33282    81304 |    14766      477     59 | 80.501 % |
232.04/232.20	c |       816 |    3832    33282    81304 |    16242      816     42 | 80.501 % |
232.93/233.00	c |      1323 |    3832    33282    81304 |    17866     1323     34 | 80.501 % |
233.83/233.95	c |      2083 |    3832    33282    81304 |    19653     2083     34 | 80.501 % |
235.33/235.49	c |      3222 |    3804    33282    81304 |    21619     2997     37 | 80.643 % |
235.73/235.81	c ===============================================================================
235.83/235.94	c core #600
235.83/235.94	c 
235.83/235.94	c 
235.83/235.94	c Core size: 165	Core Weight: 1	Total Weight: -400
235.83/235.94	c
235.83/235.94	c
235.83/235.94	c ============================[ Search Statistics ]==============================
235.83/235.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.83/235.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.83/235.94	c ===============================================================================
235.83/235.94	c |         0 |    3986    33283    81612 |    11094        0    nan |  0.000 % |
236.03/236.15	c |       100 |    3986    33283    81612 |    12203      100     21 | 79.875 % |
236.13/236.29	c |       250 |    3986    33283    81612 |    13424      250     14 | 79.875 % |
236.44/236.53	c |       475 |    3986    33283    81612 |    14766      475     15 | 79.875 % |
236.93/237.00	c |       813 |    3986    33283    81612 |    16243      813     16 | 79.875 % |
237.53/237.68	c |      1320 |    3986    33283    81612 |    17867     1320     16 | 79.875 % |
238.93/239.02	c |      2080 |    3985    33283    81612 |    19654     2075     19 | 79.880 % |
241.53/241.67	c |      3221 |    3985    33283    81612 |    21619     3216     24 | 79.880 % |
242.73/242.89	c ===============================================================================
242.93/243.03	c core #601
242.93/243.03	c 
242.93/243.03	c 
242.93/243.03	c Core size: 159	Core Weight: 1	Total Weight: -399
242.93/243.03	c
242.93/243.03	c
242.93/243.03	c ============================[ Search Statistics ]==============================
242.93/243.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
242.93/243.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
242.93/243.03	c ===============================================================================
242.93/243.03	c |         0 |    4114    33284    81868 |    11094        0    nan |  0.000 % |
243.13/243.26	c |       100 |    4114    33284    81868 |    12204      100     24 | 79.362 % |
243.23/243.36	c |       250 |    4114    33284    81868 |    13424      250     15 | 79.362 % |
243.43/243.56	c |       475 |    4114    33284    81868 |    14767      475     20 | 79.362 % |
243.83/243.96	c |       812 |    4114    33284    81868 |    16243      812     17 | 79.362 % |
244.62/244.70	c |      1318 |    4114    33284    81868 |    17868     1318     17 | 79.362 % |
244.92/245.05	c ===============================================================================
245.03/245.15	c core #602
245.03/245.15	c 
245.03/245.15	c 
245.03/245.15	c Core size: 147	Core Weight: 1	Total Weight: -398
245.03/245.15	c
245.03/245.15	c
245.03/245.15	c ============================[ Search Statistics ]==============================
245.03/245.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
245.03/245.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
245.03/245.15	c ===============================================================================
245.03/245.15	c |         0 |    4249    33285    82138 |    11095        0    nan |  0.000 % |
245.24/245.38	c |       101 |    4249    33285    82138 |    12204      101     34 | 78.828 % |
245.43/245.50	c |       252 |    4249    33285    82138 |    13424      252     26 | 78.828 % |
245.53/245.62	c |       477 |    4249    33285    82138 |    14767      477     25 | 78.828 % |
245.73/245.84	c |       814 |    4249    33285    82138 |    16244      814     29 | 78.828 % |
246.23/246.39	c |      1323 |    4249    33285    82138 |    17868     1323     33 | 78.828 % |
247.83/247.91	c |      2082 |    4249    33285    82138 |    19655     2082     48 | 78.828 % |
249.53/249.66	c |      3222 |    4249    33285    82138 |    21621     3222     47 | 78.828 % |
252.43/252.54	c |      4931 |    4249    33285    82138 |    23783     4931     46 | 78.828 % |
256.83/256.96	c |      7493 |    4249    33285    82138 |    26161     7493     47 | 78.828 % |
261.53/261.65	c ===============================================================================
261.73/261.88	c core #603
261.73/261.88	c 
261.73/261.88	c 
261.73/261.88	c Core size: 134	Core Weight: 1	Total Weight: -397
261.73/261.88	c
261.73/261.88	c
261.73/261.88	c ============================[ Search Statistics ]==============================
261.73/261.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
261.73/261.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
261.73/261.88	c ===============================================================================
261.73/261.88	c |         0 |    4378    33286    82396 |    11095        0    nan |  0.000 % |
261.93/262.03	c |       101 |    4378    33286    82396 |    12204      101     47 | 78.325 % |
262.03/262.12	c |       251 |    4378    33286    82396 |    13425      251     37 | 78.325 % |
262.12/262.27	c |       476 |    4378    33286    82396 |    14767      476     32 | 78.325 % |
262.22/262.40	c |       813 |    4378    33286    82396 |    16244      813     29 | 78.325 % |
262.63/262.72	c |      1319 |    4378    33286    82396 |    17869     1319     25 | 78.325 % |
263.33/263.41	c |      2078 |    4378    33286    82396 |    19656     2078     25 | 78.325 % |
264.23/264.30	c ===============================================================================
264.23/264.39	c core #604
264.23/264.39	c 
264.23/264.39	c 
264.23/264.39	c Core size: 89	Core Weight: 1	Total Weight: -396
264.23/264.39	c
264.23/264.39	c
264.23/264.39	c ============================[ Search Statistics ]==============================
264.23/264.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
264.23/264.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
264.23/264.39	c ===============================================================================
264.23/264.39	c |         0 |    4466    33287    82572 |    11095        0    nan |  0.000 % |
264.42/264.55	c |       101 |    4466    33287    82572 |    12205      101     18 | 77.985 % |
264.52/264.64	c |       252 |    4466    33287    82572 |    13425      252     14 | 77.985 % |
264.62/264.76	c |       478 |    4466    33287    82572 |    14768      478     14 | 77.985 % |
265.03/265.14	c |       815 |    4466    33287    82572 |    16245      815     14 | 77.985 % |
265.42/265.55	c |      1322 |    4466    33287    82572 |    17869     1322     18 | 77.985 % |
266.63/266.77	c |      2081 |    4466    33287    82572 |    19656     2081     21 | 77.985 % |
268.92/269.04	c |      3222 |    4466    33287    82572 |    21622     3222     25 | 77.985 % |
272.62/272.72	c |      4930 |    4466    33287    82572 |    23784     4930     27 | 77.985 % |
279.42/279.51	c |      7493 |    4466    33287    82572 |    26163     7493     28 | 77.985 % |
287.32/287.44	c ===============================================================================
287.62/287.70	c core #605
287.62/287.70	c 
287.62/287.70	c 
287.62/287.70	c Core size: 216	Core Weight: 1	Total Weight: -395
287.62/287.70	c
287.62/287.70	c
287.62/287.70	c ============================[ Search Statistics ]==============================
287.62/287.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
287.62/287.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
287.62/287.70	c ===============================================================================
287.62/287.70	c |         0 |    4639    33288    82918 |    11096        0    nan |  0.000 % |
287.72/287.81	c |       100 |    4639    33288    82918 |    12205      100     22 | 77.325 % |
287.72/287.84	c |       250 |    4639    33288    82918 |    13426      250     23 | 77.325 % |
287.92/288.01	c |       475 |    4639    33288    82918 |    14768      475     33 | 77.325 % |
288.13/288.23	c |       812 |    4639    33288    82918 |    16245      812     35 | 77.325 % |
288.62/288.72	c |      1319 |    4639    33288    82918 |    17870     1319     41 | 77.325 % |
289.32/289.46	c |      2083 |    4639    33288    82918 |    19657     2083     48 | 77.325 % |
290.42/290.53	c |      3222 |    4639    33288    82918 |    21622     3222     54 | 77.325 % |
292.11/292.27	c |      4931 |    4639    33288    82918 |    23785     4931     65 | 77.325 % |
294.91/295.06	c |      7496 |    4639    33288    82918 |    26163     7496     71 | 77.325 % |
300.11/300.22	c |     11341 |    4639    33288    82918 |    28780    11341     86 | 77.325 % |
307.82/307.95	c |     17107 |    4639    33288    82918 |    31658    17107     88 | 77.325 % |
324.21/324.37	c |     25757 |    4639    33288    82918 |    34824    25757     88 | 77.325 % |
354.70/354.81	c |     38731 |    4639    33288    82918 |    38306    38731     92 | 77.325 % |
420.19/420.38	c |     58192 |    4639    33288    82918 |    42137    19849     95 | 77.325 % |
477.28/477.47	c |     87385 |    4639    33288    82918 |    46350    49042     94 | 77.325 % |
565.35/565.57	c |    131180 |    4639    33288    82918 |    50985    44525     82 | 77.325 % |
655.33/655.56	c ===============================================================================
656.72/656.99	c core #606
656.72/656.99	c 
656.72/656.99	c 
656.72/656.99	c Core size: 174	Core Weight: 1	Total Weight: -394
656.72/656.99	c
656.72/656.99	c
656.72/656.99	c ============================[ Search Statistics ]==============================
656.72/656.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
656.72/656.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
656.72/656.99	c ===============================================================================
656.72/656.99	c |         0 |    4792    33289    83224 |    11096        0    nan |  0.000 % |
656.93/657.11	c |       100 |    4792    33289    83224 |    12205      100     16 | 76.751 % |
656.93/657.15	c |       250 |    4792    33289    83224 |    13426      250     20 | 76.751 % |
657.03/657.25	c |       475 |    4792    33289    83224 |    14769      475     18 | 76.751 % |
657.13/657.38	c |       813 |    4792    33289    83224 |    16246      813     22 | 76.751 % |
657.43/657.67	c |      1320 |    4792    33289    83224 |    17870     1320     26 | 76.751 % |
657.83/658.03	c |      2080 |    4792    33289    83224 |    19657     2080     30 | 76.751 % |
658.43/658.69	c |      3222 |    4792    33289    83224 |    21623     3222     34 | 76.751 % |
659.53/659.70	c |      4930 |    4792    33289    83224 |    23785     4930     30 | 76.751 % |
662.42/662.68	c |      7492 |    4792    33289    83224 |    26164     7492     36 | 76.751 % |
667.63/667.83	c |     11337 |    4792    33289    83224 |    28781    11337     36 | 76.751 % |
676.52/676.75	c |     17103 |    4792    33289    83224 |    31659    17103     34 | 76.751 % |
692.42/692.69	c ===============================================================================
693.02/693.21	c core #607
693.02/693.21	c 
693.02/693.21	c 
693.02/693.21	c Core size: 186	Core Weight: 1	Total Weight: -393
693.02/693.21	c
693.02/693.21	c
693.02/693.21	c ============================[ Search Statistics ]==============================
693.02/693.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
693.02/693.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
693.02/693.21	c ===============================================================================
693.02/693.21	c |         0 |    4951    33290    83542 |    11096        0    nan |  0.000 % |
693.21/693.40	c |       103 |    4951    33290    83542 |    12206      103     21 | 76.164 % |
693.21/693.47	c |       255 |    4951    33290    83542 |    13426      255     20 | 76.164 % |
693.42/693.62	c |       480 |    4951    33290    83542 |    14769      480     22 | 76.164 % |
693.52/693.72	c |       817 |    4951    33290    83542 |    16246      817     25 | 76.164 % |
694.12/694.33	c |      1323 |    4951    33290    83542 |    17871     1323     46 | 76.164 % |
694.72/694.95	c |      2083 |    4951    33290    83542 |    19658     2083     44 | 76.164 % |
696.02/696.20	c |      3222 |    4951    33290    83542 |    21624     3222     47 | 76.164 % |
698.33/698.55	c |      4933 |    4951    33290    83542 |    23786     4933     50 | 76.164 % |
702.52/702.76	c |      7497 |    4951    33290    83542 |    26165     7497     57 | 76.164 % |
709.22/709.46	c |     11342 |    4951    33290    83542 |    28781    11342     65 | 76.164 % |
723.52/723.74	c |     17109 |    4951    33290    83542 |    31660    17109     81 | 76.164 % |
747.81/748.01	c |     25758 |    4951    33290    83542 |    34826    25758     92 | 76.164 % |
776.20/776.45	c |     38733 |    4951    33290    83542 |    38308    38733     97 | 76.164 % |
841.29/841.56	c |     58196 |    4951    33290    83542 |    42139    18851    102 | 76.164 % |
936.76/937.03	c |     87391 |    4951    33290    83542 |    46353    48046    108 | 76.164 % |
1108.82/1109.14	c |    131180 |    4951    33290    83542 |    50988    45128    118 | 76.164 % |
1408.04/1408.47	c |    196866 |    4951    33290    83542 |    56087    60198    138 | 76.164 % |

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 510
/proc/meminfo: memFree=1801044/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=4056 CPUtime=0
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 312 0 0 0 0 0 0 0 21 0 1 0 25107050 4153344 230 1992294400 134512640 135752675 4286715200 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 1014 230 132 303 0 372 0

[startup+0.0309161 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 510
/proc/meminfo: memFree=1801044/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=6060 CPUtime=0.02
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 807 0 0 0 2 0 0 0 23 0 1 0 25107050 6205440 725 1992294400 134512640 135752675 4286715200 18446744073709551615 134564838 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 1515 726 159 303 0 873 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6060

[startup+0.100922 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 510
/proc/meminfo: memFree=1801044/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=8092 CPUtime=0.09
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 1365 0 0 0 9 0 0 0 23 0 1 0 25107050 8286208 1283 1992294400 134512640 135752675 4286715200 18446744073709551615 135397673 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 2023 1283 248 303 0 1381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8092

[startup+0.300939 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 510
/proc/meminfo: memFree=1801044/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=12440 CPUtime=0.29
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 2969 0 0 0 28 1 0 0 24 0 1 0 25107050 12738560 2517 1992294400 134512640 135752675 4286715200 18446744073709551615 134599067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 3110 2517 143 303 0 2805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12440

[startup+0.700974 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 510
/proc/meminfo: memFree=1801044/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=12440 CPUtime=0.69
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 3004 0 0 0 66 3 0 0 25 0 1 0 25107050 12738560 2552 1992294400 134512640 135752675 4286715200 18446744073709551615 134639424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 3110 2552 145 303 0 2805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12440

[startup+1.50104 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 511
/proc/meminfo: memFree=1788388/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=20372 CPUtime=1.49
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 5016 0 0 0 144 5 0 0 25 0 1 0 25107050 20860928 4564 1992294400 134512640 135752675 4286715200 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 5093 4564 145 303 0 4788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20372

[startup+3.10119 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 511
/proc/meminfo: memFree=1778344/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=32264 CPUtime=3.09
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 7987 0 0 0 299 10 0 0 25 0 1 0 25107050 33038336 7535 1992294400 134512640 135752675 4286715200 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 8066 7535 145 303 0 7761 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32264

[startup+6.30147 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 511
/proc/meminfo: memFree=1757636/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=50640 CPUtime=6.29
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 12554 0 0 0 616 13 0 0 25 0 1 0 25107050 51855360 12102 1992294400 134512640 135752675 4286715200 18446744073709551615 134638295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 12660 12102 145 303 0 12355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50640

[startup+12.701 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 511
/proc/meminfo: memFree=1731348/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=73284 CPUtime=12.69
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 18237 0 0 0 1252 17 0 0 25 0 1 0 25107050 75042816 17785 1992294400 134512640 135752675 4286715200 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 18321 17785 145 303 0 18016 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73284

[startup+25.5011 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 513
/proc/meminfo: memFree=1699976/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=104256 CPUtime=25.48
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 25969 0 0 0 2525 23 0 0 25 0 1 0 25107050 106758144 25517 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 26064 25517 145 303 0 25759 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104256

[startup+51.1014 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 513
/proc/meminfo: memFree=1626320/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=179076 CPUtime=51.08
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 44662 0 0 0 5067 41 0 0 25 0 1 0 25107050 183373824 44210 1992294400 134512640 135752675 4286715200 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 44769 44210 145 303 0 44464 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 179076

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 515
/proc/meminfo: memFree=1538032/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=265244 CPUtime=102.28
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 66175 0 0 0 10166 62 0 0 25 0 1 0 25107050 271609856 65723 1992294400 134512640 135752675 4286715200 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 66311 65723 145 303 0 66006 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 265244

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 515
/proc/meminfo: memFree=1393324/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=412596 CPUtime=162.25
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 102940 0 0 0 16128 97 0 0 25 0 1 0 25107050 422498304 102488 1992294400 134512640 135752675 4286715200 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 103149 102488 145 303 0 102844 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 412596

[startup+222.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 517
/proc/meminfo: memFree=1344840/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=456948 CPUtime=222.24
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 114861 0 0 0 22114 110 0 0 25 0 1 0 25107050 467914752 113739 1992294400 134512640 135752675 4286715200 18446744073709551615 134606477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 114237 113739 146 303 0 113932 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 456948

[startup+282.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 519
/proc/meminfo: memFree=1344840/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=456948 CPUtime=282.22
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 114861 0 0 0 28094 128 0 0 25 0 1 0 25107050 467914752 113739 1992294400 134512640 135752675 4286715200 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 114237 113739 146 303 0 113932 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 456948

[startup+342.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 521
/proc/meminfo: memFree=1342980/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=459060 CPUtime=342.2
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 115390 0 0 0 34075 145 0 0 25 0 1 0 25107050 470077440 114268 1992294400 134512640 135752675 4286715200 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 114765 114268 146 303 0 114460 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 459060

[startup+402.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 523
/proc/meminfo: memFree=1332192/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=469988 CPUtime=402.19
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 118091 0 0 0 40063 156 0 0 25 0 1 0 25107050 481267712 116969 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 117497 116969 146 303 0 117192 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 469988

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 523
/proc/meminfo: memFree=1316816/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=485176 CPUtime=462.17
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 121903 0 0 0 46043 174 0 0 25 0 1 0 25107050 496820224 120781 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 121294 120781 146 303 0 120989 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 485176

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 525
/proc/meminfo: memFree=1300696/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=501588 CPUtime=522.16
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 125951 0 0 0 52025 191 0 0 25 0 1 0 25107050 513626112 124829 1992294400 134512640 135752675 4286715200 18446744073709551615 134616153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 125397 124829 146 303 0 125092 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 501588

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 527
/proc/meminfo: memFree=1287676/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=514444 CPUtime=582.15
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 129141 0 0 0 58009 206 0 0 25 0 1 0 25107050 526790656 128019 1992294400 134512640 135752675 4286715200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 128611 128019 146 303 0 128306 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 514444

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 529
/proc/meminfo: memFree=1277632/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=524496 CPUtime=642.13
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 131629 0 0 0 63995 218 0 0 25 0 1 0 25107050 537083904 130507 1992294400 134512640 135752675 4286715200 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 131124 130507 146 303 0 130819 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 524496

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 535
/proc/meminfo: memFree=1251344/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=549888 CPUtime=882.07
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 138224 0 0 0 87932 275 0 0 25 0 1 0 25107050 563085312 136981 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 137472 136981 146 303 0 137167 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 549888

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 537
/proc/meminfo: memFree=1243036/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=558324 CPUtime=942.06
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 140297 0 0 0 93918 288 0 0 25 0 1 0 25107050 571723776 139054 1992294400 134512640 135752675 4286715200 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 139581 139054 146 303 0 139276 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 558324

[startup+1002.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 542
/proc/meminfo: memFree=1235224/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=565588 CPUtime=1002.04
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 142100 0 0 0 99906 298 0 0 25 0 1 0 25107050 579162112 140857 1992294400 134512640 135752675 4286715200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 141397 140857 146 303 0 141092 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 565588

[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 542
/proc/meminfo: memFree=1224312/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=576676 CPUtime=1062.03
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 144870 0 0 0 105891 312 0 0 25 0 1 0 25107050 590516224 143627 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 144169 143627 146 303 0 143864 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 576676

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 544
/proc/meminfo: memFree=1214144/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=586628 CPUtime=1122.01
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 147350 0 0 0 111879 322 0 0 25 0 1 0 25107050 600707072 146107 1992294400 134512640 135752675 4286715200 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 146657 146107 146 303 0 146352 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 586628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 546
/proc/meminfo: memFree=1206828/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=594144 CPUtime=1182.01
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 149226 0 0 0 117869 332 0 0 25 0 1 0 25107050 608403456 147983 1992294400 134512640 135752675 4286715200 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 148536 147983 146 303 0 148231 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 594144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 548
/proc/meminfo: memFree=1198644/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=602240 CPUtime=1241.98
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 151244 0 0 0 123857 341 0 0 25 0 1 0 25107050 616693760 150001 1992294400 134512640 135752675 4286715200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 150560 150001 146 303 0 150255 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 602240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 550
/proc/meminfo: memFree=1186988/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=613888 CPUtime=1301.98
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 154133 0 0 0 129843 355 0 0 25 0 1 0 25107050 628621312 152890 1992294400 134512640 135752675 4286715200 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 153472 152890 146 303 0 153167 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 613888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 550
/proc/meminfo: memFree=1174836/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=626168 CPUtime=1361.96
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 157183 0 0 0 135828 368 0 0 25 0 1 0 25107050 641196032 155940 1992294400 134512640 135752675 4286715200 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 156542 155940 146 303 0 156237 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 626168

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 552
/proc/meminfo: memFree=1165412/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=635488 CPUtime=1421.95
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 159502 0 0 0 141818 377 0 0 25 0 1 0 25107050 650739712 158259 1992294400 134512640 135752675 4286715200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 158872 158259 146 303 0 158567 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 635488

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 554
/proc/meminfo: memFree=1157104/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=643828 CPUtime=1481.93
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 161577 0 0 0 147808 385 0 0 25 0 1 0 25107050 659279872 160334 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 160957 160334 146 303 0 160652 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 643828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 556
/proc/meminfo: memFree=1145324/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=655592 CPUtime=1541.91
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 164504 0 0 0 153796 395 0 0 25 0 1 0 25107050 671326208 163261 1992294400 134512640 135752675 4286715200 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 163898 163261 146 303 0 163593 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 655592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 558
/proc/meminfo: memFree=1134288/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=666656 CPUtime=1601.9
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 167266 0 0 0 159781 409 0 0 25 0 1 0 25107050 682655744 166023 1992294400 134512640 135752675 4286715200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 166664 166023 146 303 0 166359 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 666656

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 558
/proc/meminfo: memFree=1124740/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=675992 CPUtime=1661.88
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 169612 0 0 0 165769 419 0 0 25 0 1 0 25107050 692215808 168369 1992294400 134512640 135752675 4286715200 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 168998 168369 146 303 0 168693 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 675992

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 560
/proc/meminfo: memFree=1115688/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=685228 CPUtime=1721.87
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 171880 0 0 0 171758 429 0 0 25 0 1 0 25107050 701673472 170637 1992294400 134512640 135752675 4286715200 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 171307 170637 146 303 0 171002 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 685228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 562
/proc/meminfo: memFree=1103040/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=697780 CPUtime=1781.86
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 175027 0 0 0 177743 443 0 0 25 0 1 0 25107050 714526720 173784 1992294400 134512640 135752675 4286715200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 174445 173784 146 303 0 174140 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 697780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 562
/proc/meminfo: memFree=1099940/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=700816 CPUtime=1800.06
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 175778 0 0 0 179560 446 0 0 25 0 1 0 25107050 717635584 174535 1992294400 134512640 135752675 4286715200 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 175204 174535 146 303 0 174899 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 700816

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 562
/proc/meminfo: memFree=1099940/2059040 swapFree=4139712/4192956
[pid=510] ppid=508 vsize=700816 CPUtime=1800.06
/proc/510/stat : 510 (wbo1.4b) R 508 510 32402 0 -1 4202496 175778 0 0 0 179560 446 0 0 25 0 1 0 25107050 717635584 174535 1992294400 134512640 135752675 4286715200 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/510/statm: 175204 174535 146 303 0 174899 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 700816

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.58
CPU time (s): 1800.14
CPU user time (s): 1795.61
CPU system time (s): 4.52931
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 700816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.61
system time used= 4.52931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175778
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= 58
involuntary context switches= 19347

runsolver used 2.81357 second user time and 8.71368 second system time

The end

Launcher Data 

Begin job on node041 at 2010-07-08 08:03:14
IDJOB=2702517
IDBENCH=48193
IDSOLVER=1190
FILE ID=node041/2702517-1278568994
PBS_JOBID= 11239530
Free space on /tmp= 62192 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702517-1278568994/watcher-2702517-1278568994 -o /tmp/evaluation-result-2702517-1278568994/solver-2702517-1278568994 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702517-1278568994.opb

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

MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21
RANDOM SEED=1041650544

node041.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802812 kB
Buffers:         29828 kB
Cached:         128520 kB
SwapCached:       7448 kB
Active:          86032 kB
Inactive:        86756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802812 kB
SwapTotal:     4192956 kB
SwapFree:      4139712 kB
Dirty:            3080 kB
Writeback:           0 kB
AnonPages:       11908 kB
Mapped:          12020 kB
Slab:            61408 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181352 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702517-1278568994.opb

Free space on /tmp at the end= 62188 MiB
End job on node041 at 2010-07-08 08:33:18