Trace number 2702529

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.16 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMd487c80c335f688d99ca29b5d7c254e0
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-125
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 -125
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 constraint47
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)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

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-2702529-1278569372.opb.
0.00/0.00	c Instance file HOME/instance-2702529-1278569372.opb
0.00/0.00	c File size is 1377691 bytes.
0.19/0.23	c Highest Coefficient sum: 47
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:      16811                                               |
0.19/0.23	c |  Number Clauses:        15811                                               |
0.19/0.23	c |  Number Cardinality:    2000                                                |
0.19/0.23	c |  Number PB Constraints: 15811                                               |
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    33622    77702 |    11207        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    33623    78702 |    11207        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    33624    79702 |    11208        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    33625    80702 |    11208        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.307953 s	Remaining CPU time: 179.692 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1000    33626    81702 |    11208        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 |         1 |    1000    33627    82702 |    11209        1    997 |  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.320951 s	Remaining CPU time: 179.679 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         1 |    1000    33628    83702 |    11209        1    997 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -6
0.29/0.34	o -6
0.29/0.34	c Elapsed CPU time: 0.329949 s	Remaining CPU time: 179.67 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         1 |    1000    33629    84702 |    11209        1    997 |  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 |         1 |    1000    33630    85702 |    11210        1    997 |  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.347947 s	Remaining CPU time: 179.652 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        10 |    1000    33631    86702 |    11210       10    994 |  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.357945 s	Remaining CPU time: 179.642 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |        14 |    1000    33632    87702 |    11210       14    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.367944 s	Remaining CPU time: 179.632 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |        19 |    1000    33633    88702 |    11211       19    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.377942 s	Remaining CPU time: 179.622 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |        23 |    1000    33634    89702 |    11211       23    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.38894 s	Remaining CPU time: 179.611 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |        29 |    1000    33635    90702 |    11211       29    992 |  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.398939 s	Remaining CPU time: 179.601 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |        33 |    1000    33636    91702 |    11212       33    991 |  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.410937 s	Remaining CPU time: 179.589 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |        42 |    1000    33637    92702 |    11212       42    991 |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -15
0.39/0.45	o -15
0.39/0.45	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 179.567 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       100 |    1000    33638    93702 |    11212      100    988 |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -16
0.39/0.46	o -16
0.39/0.46	c Elapsed CPU time: 0.447931 s	Remaining CPU time: 179.552 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       122 |    1000    33639    94702 |    11213      122    988 |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -17
0.39/0.48	o -17
0.39/0.48	c Elapsed CPU time: 0.463929 s	Remaining CPU time: 179.536 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       144 |    1000    33640    95702 |    11213      144    987 |  0.000 % |
0.49/0.51	c |       244 |    1000    33640    95702 |    12334      244    986 | 94.052 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -18
0.49/0.52	o -18
0.49/0.52	c Elapsed CPU time: 0.506922 s	Remaining CPU time: 179.493 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |       259 |    1000    33641    96702 |    11213      259    986 | 94.052 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -19
0.49/0.55	o -19
0.49/0.55	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 179.472 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |       304 |    1000    33642    97702 |    11214      304    985 | 94.052 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -20
0.49/0.56	o -20
0.49/0.56	c Elapsed CPU time: 0.542917 s	Remaining CPU time: 179.457 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |       312 |    1000    33643    98702 |    11214      312    985 | 94.052 % |
0.49/0.59	c |       412 |    1000    33643    98702 |    12335      412    984 | 94.052 % |
0.59/0.63	c |       562 |    1000    33643    98702 |    13569      562    983 | 94.052 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -21
0.59/0.67	o -21
0.59/0.67	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 179.35 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |       676 |    1000    33644    99702 |    11214      676    983 | 94.052 % |
0.69/0.70	c |       776 |    1000    33644    99702 |    12336      776    982 | 94.052 % |
0.69/0.75	c |       926 |    1000    33644    99702 |    13569      926    982 | 94.052 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -22
0.79/0.81	o -22
0.79/0.81	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 179.217 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |      1079 |    1000    33645   100702 |    11215     1079    981 | 94.052 % |
0.79/0.85	c |      1180 |    1000    33645   100702 |    12336     1180    981 | 94.052 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -23
0.79/0.88	o -23
0.79/0.88	c Elapsed CPU time: 0.85087 s	Remaining CPU time: 179.149 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |      1205 |    1000    33646   101702 |    11215     1205    981 | 94.052 % |
0.89/0.92	c |      1306 |    1000    33646   101702 |    12336     1306    981 | 94.052 % |
0.89/0.99	c |      1456 |    1000    33646   101702 |    13570     1456    980 | 94.052 % |
0.99/1.02	c ===============================================================================
0.99/1.02	c New solution: -24
0.99/1.02	o -24
0.99/1.02	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 179.012 s
0.99/1.02	c ===============================================================================
0.99/1.02	c |      1512 |    1000    33647   102702 |    11215     1512    980 | 94.052 % |
0.99/1.08	c ===============================================================================
0.99/1.08	c New solution: -25
0.99/1.08	o -25
0.99/1.08	c Elapsed CPU time: 1.03984 s	Remaining CPU time: 178.96 s
0.99/1.08	c ===============================================================================
0.99/1.08	c |      1598 |    1000    33648   103702 |    11216     1598    980 | 94.052 % |
1.10/1.12	c |      1698 |    1000    33648   103702 |    12337     1698    980 | 94.052 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: -26
1.10/1.17	o -26
1.10/1.17	c Elapsed CPU time: 1.13183 s	Remaining CPU time: 178.868 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |      1806 |    1000    33649   104702 |    11216     1806    980 | 94.052 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: -27
1.19/1.22	o -27
1.19/1.22	c Elapsed CPU time: 1.17882 s	Remaining CPU time: 178.821 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |      1885 |    1000    33650   105702 |    11216     1885    980 | 94.052 % |
1.19/1.27	c |      1985 |    1000    33650   105702 |    12338     1985    979 | 94.052 % |
1.29/1.34	c |      2136 |    1000    33650   105702 |    13572     2136    979 | 94.052 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: -28
1.29/1.38	o -28
1.29/1.38	c Elapsed CPU time: 1.3328 s	Remaining CPU time: 178.667 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |      2189 |    1000    33651   106702 |    11217     2189    979 | 94.052 % |
1.39/1.41	c ===============================================================================
1.39/1.41	c New solution: -29
1.39/1.41	o -29
1.39/1.41	c Elapsed CPU time: 1.35679 s	Remaining CPU time: 178.643 s
1.39/1.41	c ===============================================================================
1.39/1.41	c |      2212 |    1000    33652   107702 |    11217     2212    979 | 94.052 % |
1.39/1.46	c |      2313 |    1000    33652   107702 |    12339     2313    978 | 94.052 % |
1.49/1.52	c |      2463 |    1000    33652   107702 |    13572     2463    978 | 94.052 % |
1.59/1.62	c |      2689 |    1000    33652   107702 |    14930     2689    977 | 94.052 % |
1.69/1.75	c |      3026 |    1000    33652   107702 |    16423     3026    977 | 94.052 % |
1.89/1.93	c ===============================================================================
1.89/1.93	c New solution: -30
1.89/1.93	o -30
1.89/1.93	c Elapsed CPU time: 1.86672 s	Remaining CPU time: 178.133 s
1.89/1.93	c ===============================================================================
1.89/1.93	c |      3392 |    1000    33653   108702 |    11217     3392    976 | 94.052 % |
1.89/1.99	c |      3492 |    1000    33653   108702 |    12339     3492    976 | 94.052 % |
1.99/2.04	c ===============================================================================
1.99/2.04	c New solution: -31
1.99/2.04	o -31
1.99/2.04	c Elapsed CPU time: 1.9717 s	Remaining CPU time: 178.028 s
1.99/2.04	c ===============================================================================
1.99/2.04	c |      3551 |    1000    33654   109702 |    11218     3551    976 | 94.052 % |
1.99/2.09	c |      3652 |    1000    33654   109702 |    12339     3652    976 | 94.052 % |
2.10/2.13	c ===============================================================================
2.10/2.13	c New solution: -32
2.10/2.13	o -32
2.10/2.13	c Elapsed CPU time: 2.05569 s	Remaining CPU time: 177.944 s
2.10/2.13	c ===============================================================================
2.10/2.13	c |      3685 |    1000    33655   110702 |    11218     3685    976 | 94.052 % |
2.10/2.18	c |      3786 |    1000    33655   110702 |    12340     3786    976 | 94.052 % |
2.19/2.27	c |      3938 |    1000    33655   110702 |    13574     3938    975 | 94.052 % |
2.29/2.38	c |      4163 |    1000    33655   110702 |    14931     4163    975 | 94.052 % |
2.49/2.51	c |      4501 |    1000    33655   110702 |    16424     4501    974 | 94.052 % |
2.69/2.73	c |      5007 |    1000    33655   110702 |    18067     5007    974 | 94.052 % |
2.99/3.02	c |      5767 |    1000    33655   110702 |    19873     5767    973 | 94.052 % |
3.49/3.58	c |      6906 |    1000    33655   110702 |    21861     6906    972 | 94.052 % |
4.49/4.54	c |      8615 |    1000    33655   110702 |    24047     8615    972 | 94.052 % |
4.79/4.81	c ===============================================================================
4.79/4.81	c New solution: -33
4.79/4.81	o -33
4.79/4.81	c Elapsed CPU time: 4.69029 s	Remaining CPU time: 175.31 s
4.79/4.81	c ===============================================================================
4.79/4.81	c |      9217 |    1000    33656   111702 |    11218     9217    971 | 94.052 % |
4.79/4.88	c |      9318 |    1000    33656   111702 |    12340     9318    971 | 94.052 % |
4.89/4.98	c |      9468 |    1000    33656   111702 |    13574     9468    971 | 94.052 % |
5.19/5.21	c |      9693 |    1000    33656   111702 |    14932     9693    971 | 94.052 % |
5.29/5.37	c |     10031 |    1000    33656   111702 |    16425    10031    971 | 94.052 % |
5.49/5.51	c ===============================================================================
5.49/5.51	c New solution: -34
5.49/5.51	o -34
5.49/5.51	c Elapsed CPU time: 5.37718 s	Remaining CPU time: 174.623 s
5.49/5.51	c ===============================================================================
5.49/5.51	c |     10277 |    1000    33657   112702 |    11219    10277    971 | 94.052 % |
5.49/5.55	c ===============================================================================
5.49/5.55	c New solution: -35
5.49/5.55	o -35
5.49/5.55	c Elapsed CPU time: 5.41518 s	Remaining CPU time: 174.585 s
5.49/5.55	c ===============================================================================
5.49/5.55	c |     10325 |    1000    33658   113702 |    11219    10325    971 | 94.052 % |
5.59/5.63	c |     10426 |    1000    33658   113702 |    12341    10426    971 | 94.052 % |
5.69/5.72	c |     10576 |    1000    33658   113702 |    13575    10576    971 | 94.052 % |
5.79/5.83	c |     10802 |    1000    33658   113702 |    14932    10802    971 | 94.052 % |
5.79/5.87	c ===============================================================================
5.79/5.87	c New solution: -36
5.79/5.87	o -36
5.79/5.87	c Elapsed CPU time: 5.72113 s	Remaining CPU time: 174.279 s
5.79/5.87	c ===============================================================================
5.79/5.87	c |     10861 |    1000    33659   114702 |    11219    10861    971 | 94.052 % |
5.89/5.95	c |     10961 |    1000    33659   114702 |    12341    10961    971 | 94.052 % |
5.99/6.06	c |     11111 |    1000    33659   114702 |    13575    11111    971 | 94.052 % |
6.09/6.17	c |     11337 |    1000    33659   114702 |    14933    11337    970 | 94.052 % |
6.29/6.34	c |     11674 |    1000    33659   114702 |    16426    11674    970 | 94.052 % |
6.59/6.62	c |     12181 |    1000    33659   114702 |    18069    12181    970 | 94.052 % |
6.99/7.03	c |     12940 |    1000    33659   114702 |    19876    12940    970 | 94.052 % |
7.49/7.55	c |     14081 |    1000    33659   114702 |    21863    14081    969 | 94.052 % |
9.39/9.40	c |     15791 |    1000    33659   114702 |    24050    15791    969 | 94.052 % |
12.79/12.89	c |     18353 |    1000    33659   114702 |    26455    18353    968 | 94.052 % |
13.79/13.87	c ===============================================================================
13.79/13.87	c New solution: -37
13.79/13.87	o -37
13.79/13.87	c Elapsed CPU time: 13.6439 s	Remaining CPU time: 166.356 s
13.79/13.87	c ===============================================================================
13.79/13.87	c |     19351 |    1000    33660   115702 |    11220    19351    968 | 94.052 % |
13.99/14.01	c |     19451 |    1000    33660   115702 |    12342    19451    968 | 94.052 % |
14.08/14.19	c |     19601 |    1000    33660   115702 |    13576    19601    968 | 94.052 % |
14.59/14.62	c |     19827 |    1000    33660   115702 |    14933    19827    968 | 94.052 % |
14.99/15.07	c |     20165 |    1000    33660   115702 |    16427    20165    968 | 94.052 % |
15.59/15.65	c |     20671 |    1000    33660   115702 |    18069    20671    968 | 94.052 % |
16.40/16.44	c |     21430 |    1000    33660   115702 |    19876    21430    968 | 94.052 % |
17.78/17.87	c |     22569 |    1000    33660   115702 |    21864    22569    968 | 94.052 % |
21.38/21.42	c |     24277 |    1000    33660   115702 |    24051    24277    967 | 94.052 % |
24.98/25.07	c |     26839 |    1000    33660   115702 |    26456    26839    967 | 94.052 % |
25.89/25.94	c ===============================================================================
25.89/25.94	c New solution: -38
25.89/25.94	o -38
25.89/25.94	c Elapsed CPU time: 25.6341 s	Remaining CPU time: 154.366 s
25.89/25.94	c ===============================================================================
25.89/25.94	c |     27511 |    1000    33661   116702 |    11220    27511    967 | 94.052 % |
26.39/26.44	c |     27613 |    1000    33661   116702 |    12342    10971    965 | 94.052 % |
26.49/26.60	c |     27765 |    1000    33661   116702 |    13576    11123    965 | 94.052 % |
26.68/26.79	c |     27990 |    1000    33661   116702 |    14934    11348    965 | 94.052 % |
27.09/27.13	c |     28328 |    1000    33661   116702 |    16427    11686    965 | 94.052 % |
27.58/27.62	c |     28835 |    1000    33661   116702 |    18070    12193    965 | 94.052 % |
28.29/28.31	c ===============================================================================
28.29/28.31	c New solution: -39
28.29/28.31	o -39
28.29/28.31	c Elapsed CPU time: 27.9827 s	Remaining CPU time: 152.017 s
28.29/28.31	c ===============================================================================
28.29/28.31	c |     29412 |    1000    33662   117702 |    11220    12770    965 | 94.052 % |
28.38/28.43	c |     29512 |    1000    33662   117702 |    12342    12870    965 | 94.052 % |
28.49/28.58	c |     29662 |    1000    33662   117702 |    13577    13020    965 | 94.052 % |
28.89/28.90	c |     29889 |    1000    33662   117702 |    14934    13247    965 | 94.052 % |
29.18/29.27	c |     30226 |    1000    33662   117702 |    16428    13584    965 | 94.052 % |
29.59/29.66	c |     30733 |    1000    33662   117702 |    18070    14091    965 | 94.052 % |
30.28/30.38	c |     31493 |    1000    33662   117702 |    19878    14851    965 | 94.052 % |
31.28/31.30	c |     32633 |    1000    33662   117702 |    21865    15991    965 | 94.052 % |
32.69/32.77	c |     34341 |    1000    33662   117702 |    24052    17699    965 | 94.052 % |
34.98/35.07	c |     36903 |    1000    33662   117702 |    26457    20261    964 | 94.052 % |
39.59/39.67	c |     40747 |    1000    33662   117702 |    29103    24105    964 | 94.052 % |
44.68/44.70	c |     46514 |    1000    33662   117702 |    32013    29872    964 | 94.052 % |
54.77/54.80	c |     55164 |    1000    33662   117702 |    35215    38522    963 | 94.052 % |
59.28/59.35	c ===============================================================================
59.28/59.35	c New solution: -40
59.28/59.35	o -40
59.28/59.35	c Elapsed CPU time: 58.7951 s	Remaining CPU time: 121.205 s
59.28/59.35	c ===============================================================================
59.28/59.35	c |     58429 |    1000    33663   118702 |    11221    41787    963 | 94.052 % |
60.37/60.44	c |     58529 |    1000    33663   118702 |    12343    11378    962 | 94.052 % |
60.48/60.54	c |     58680 |    1000    33663   118702 |    13577    11529    962 | 94.052 % |
60.67/60.72	c |     58905 |    1000    33663   118702 |    14935    11754    962 | 94.052 % |
60.98/61.09	c |     59242 |    1000    33663   118702 |    16428    12091    962 | 94.052 % |
61.48/61.52	c ===============================================================================
61.48/61.52	c New solution: -41
61.48/61.52	o -41
61.48/61.52	c Elapsed CPU time: 60.9547 s	Remaining CPU time: 119.045 s
61.48/61.52	c ===============================================================================
61.48/61.52	c |     59611 |    1000    33664   119702 |    11221    12460    962 | 94.052 % |
61.58/61.66	c |     59711 |    1000    33664   119702 |    12343    12560    962 | 94.052 % |
61.77/61.87	c |     59861 |    1000    33664   119702 |    13577    12710    962 | 94.052 % |
62.27/62.30	c |     60087 |    1000    33664   119702 |    14935    12936    962 | 94.052 % |
62.77/62.84	c |     60425 |    1000    33664   119702 |    16429    13274    962 | 94.052 % |
63.47/63.53	c |     60932 |    1000    33664   119702 |    18072    13781    962 | 94.052 % |
63.68/63.78	c ===============================================================================
63.68/63.78	c New solution: -42
63.68/63.78	o -42
63.68/63.78	c Elapsed CPU time: 63.1904 s	Remaining CPU time: 116.81 s
63.68/63.78	c ===============================================================================
63.68/63.78	c |     61156 |    1000    33665   120702 |    11221    14005    962 | 94.052 % |
63.87/63.99	c |     61256 |    1000    33665   120702 |    12343    14105    962 | 94.052 % |
64.17/64.23	c |     61407 |    1000    33665   120702 |    13578    14256    962 | 94.052 % |
64.47/64.56	c |     61632 |    1000    33665   120702 |    14936    14481    962 | 94.052 % |
64.88/64.98	c |     61969 |    1000    33665   120702 |    16429    14818    962 | 94.052 % |
65.57/65.66	c |     62476 |    1000    33665   120702 |    18072    15325    962 | 94.052 % |
66.57/66.65	c |     63235 |    1000    33665   120702 |    19879    16084    961 | 94.052 % |
68.57/68.64	c |     64374 |    1000    33665   120702 |    21867    17223    961 | 94.052 % |
70.77/70.82	c ===============================================================================
70.77/70.82	c New solution: -43
70.77/70.82	o -43
70.77/70.82	c Elapsed CPU time: 70.1843 s	Remaining CPU time: 109.816 s
70.77/70.82	c ===============================================================================
70.77/70.82	c |     65876 |    1000    33666   121702 |    11222    18725    961 | 94.052 % |
70.97/71.06	c |     65976 |    1000    33666   121702 |    12344    18825    961 | 94.052 % |
71.27/71.37	c |     66126 |    1000    33666   121702 |    13578    18975    961 | 94.052 % |
71.77/71.82	c |     66351 |    1000    33666   121702 |    14936    19200    961 | 94.052 % |
72.37/72.41	c |     66688 |    1000    33666   121702 |    16430    19537    961 | 94.052 % |
73.17/73.25	c |     67194 |    1000    33666   121702 |    18073    20043    961 | 94.052 % |
74.26/74.40	c |     67953 |    1000    33666   121702 |    19880    20802    961 | 94.052 % |
75.17/75.24	c |     69093 |    1000    33666   121702 |    21868    21942    961 | 94.052 % |
76.87/76.99	c |     70801 |    1000    33666   121702 |    24055    23650    961 | 94.052 % |
80.67/80.75	c |     73364 |    1000    33666   121702 |    26460    26213    960 | 94.052 % |
88.66/88.76	c |     77212 |    1000    33666   121702 |    29106    30061    960 | 94.052 % |
109.06/109.13	c |     82978 |    1000    33666   121702 |    32017    35827    960 | 94.052 % |
141.06/141.18	c |     91627 |    1000    33666   121702 |    35219    44476    960 | 94.052 % |
180.94/181.02	c There are 15811 assigned variables. 0 in cost function.
183.55/183.65	c core #1
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -999
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #2
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -998
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #3
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -997
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #4
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -996
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #5
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -995
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #6
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -994
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #7
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -993
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #8
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -992
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #9
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -991
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #10
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -990
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #11
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -989
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #12
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -988
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #13
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -987
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #14
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -986
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c core #15
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 3	Core Weight: 1	Total Weight: -985
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #16
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -984
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #17
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -983
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #18
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -982
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #19
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -981
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #20
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -980
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #21
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -979
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #22
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -978
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #23
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -977
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #24
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -976
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #25
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -975
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #26
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -974
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #27
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -973
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #28
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -972
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #29
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -971
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #30
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -970
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #31
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -969
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #32
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -968
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #33
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -967
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #34
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -966
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #35
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -965
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #36
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -964
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #37
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -963
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #38
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -962
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #39
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -961
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #40
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -960
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #41
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -959
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #42
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -958
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #43
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -957
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #44
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -956
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #45
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -955
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #46
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -954
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #47
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -953
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #48
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -952
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #49
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -951
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #50
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -950
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #51
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -949
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #52
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -948
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #53
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -947
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #54
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -946
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #55
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -945
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #56
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -944
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #57
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -943
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #58
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -942
183.55/183.66	c
183.55/183.66	c
183.55/183.66	c core #59
183.55/183.66	c 
183.55/183.66	c 
183.55/183.66	c Core size: 3	Core Weight: 1	Total Weight: -941
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #60
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -940
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #61
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -939
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #62
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -938
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #63
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -937
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #64
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -936
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #65
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -935
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #66
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -934
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #67
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -933
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #68
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -932
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #69
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -931
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #70
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -930
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #71
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -929
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #72
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -928
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #73
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -927
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #74
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -926
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #75
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -925
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #76
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -924
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #77
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -923
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #78
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -922
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #79
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -921
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #80
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -920
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #81
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -919
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #82
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -918
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #83
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -917
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #84
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -916
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #85
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -915
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #86
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -914
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #87
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -913
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #88
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -912
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #89
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -911
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #90
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -910
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #91
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -909
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #92
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -908
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #93
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -907
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #94
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -906
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #95
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -905
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #96
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -904
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #97
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -903
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #98
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -902
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #99
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -901
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #100
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -900
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #101
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -899
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #102
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -898
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #103
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -897
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #104
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -896
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #105
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -895
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #106
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -894
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #107
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -893
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #108
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -892
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #109
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -891
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #110
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -890
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #111
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -889
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #112
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -888
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #113
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -887
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #114
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -886
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #115
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -885
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #116
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -884
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #117
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 3	Core Weight: 1	Total Weight: -883
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #118
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -882
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #119
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -881
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #120
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -880
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #121
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -879
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #122
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -878
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #123
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -877
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #124
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -876
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #125
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -875
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #126
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -874
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #127
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -873
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #128
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -872
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #129
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -871
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #130
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -870
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #131
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -869
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #132
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -868
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #133
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -867
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #134
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -866
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #135
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -865
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #136
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -864
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #137
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -863
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #138
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -862
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #139
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -861
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #140
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -860
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #141
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -859
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #142
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -858
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #143
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -857
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #144
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -856
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #145
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -855
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c core #146
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 3	Core Weight: 1	Total Weight: -854
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #147
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -853
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #148
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -852
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #149
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -851
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #150
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -850
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #151
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -849
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #152
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -848
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #153
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -847
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #154
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -846
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #155
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -845
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #156
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -844
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #157
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -843
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #158
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -842
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #159
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -841
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #160
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -840
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #161
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -839
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #162
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -838
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #163
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -837
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #164
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -836
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #165
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -835
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #166
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -834
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #167
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -833
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #168
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -832
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #169
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -831
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #170
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -830
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #171
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -829
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #172
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -828
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #173
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -827
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #174
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -826
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c core #175
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 3	Core Weight: 1	Total Weight: -825
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #176
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -824
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #177
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -823
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #178
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -822
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #179
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -821
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #180
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -820
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #181
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -819
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #182
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -818
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #183
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -817
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #184
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -816
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #185
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -815
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #186
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -814
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #187
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -813
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #188
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -812
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #189
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -811
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #190
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -810
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #191
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -809
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #192
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -808
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #193
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -807
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #194
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -806
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #195
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -805
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #196
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -804
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #197
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -803
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #198
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -802
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #199
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -801
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #200
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -800
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #201
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -799
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #202
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -798
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #203
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -797
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #204
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -796
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #205
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -795
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #206
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -794
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #207
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -793
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #208
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -792
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #209
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -791
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #210
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -790
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #211
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -789
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #212
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -788
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #213
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -787
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #214
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -786
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #215
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -785
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #216
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -784
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #217
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -783
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #218
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -782
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #219
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -781
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #220
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -780
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #221
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -779
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #222
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -778
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #223
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -777
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #224
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -776
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #225
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -775
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #226
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -774
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #227
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -773
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #228
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -772
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #229
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -771
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #230
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -770
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #231
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -769
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #232
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -768
191.94/192.10	c
191.94/192.10	c
191.94/192.10	c core #233
191.94/192.10	c 
191.94/192.10	c 
191.94/192.10	c Core size: 3	Core Weight: 1	Total Weight: -767
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #234
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -766
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #235
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -765
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #236
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -764
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #237
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -763
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #238
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -762
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #239
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -761
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #240
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -760
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #241
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -759
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #242
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -758
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #243
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -757
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #244
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -756
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #245
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -755
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #246
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -754
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #247
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -753
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #248
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -752
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #249
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -751
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #250
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -750
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #251
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -749
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #252
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -748
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #253
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -747
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #254
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -746
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #255
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -745
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #256
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -744
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #257
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -743
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #258
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -742
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #259
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -741
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #260
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -740
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #261
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -739
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #262
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -738
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #263
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -737
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #264
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -736
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #265
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -735
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #266
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -734
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #267
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -733
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #268
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -732
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #269
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -731
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #270
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -730
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #271
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -729
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #272
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -728
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #273
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -727
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #274
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -726
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #275
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -725
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #276
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -724
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #277
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -723
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #278
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -722
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #279
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -721
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #280
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -720
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #281
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -719
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #282
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -718
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #283
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -717
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #284
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -716
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #285
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -715
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #286
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -714
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #287
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -713
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #288
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -712
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #289
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -711
195.14/195.26	c
195.14/195.26	c
195.14/195.26	c core #290
195.14/195.26	c 
195.14/195.26	c 
195.14/195.26	c Core size: 3	Core Weight: 1	Total Weight: -710
195.14/195.26	c
198.54/198.66	c
198.54/198.66	c core #291
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -709
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #292
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -708
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #293
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -707
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #294
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -706
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #295
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -705
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #296
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -704
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #297
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -703
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #298
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -702
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #299
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -701
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #300
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -700
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #301
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -699
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #302
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -698
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #303
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -697
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #304
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -696
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #305
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -695
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #306
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -694
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #307
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -693
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #308
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -692
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #309
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -691
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #310
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -690
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #311
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -689
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #312
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -688
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #313
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -687
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #314
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -686
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #315
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -685
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #316
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -684
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #317
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -683
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #318
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -682
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #319
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -681
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #320
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -680
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #321
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -679
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #322
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -678
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #323
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -677
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #324
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -676
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #325
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -675
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #326
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -674
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #327
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -673
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #328
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -672
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #329
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -671
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #330
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -670
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #331
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -669
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #332
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -668
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #333
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -667
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #334
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -666
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #335
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -665
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #336
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -664
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #337
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -663
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #338
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -662
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #339
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -661
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #340
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -660
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #341
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -659
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #342
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -658
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #343
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -657
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #344
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -656
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #345
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -655
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #346
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -654
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #347
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -653
198.54/198.66	c
198.54/198.66	c
198.54/198.66	c core #348
198.54/198.66	c 
198.54/198.66	c 
198.54/198.66	c Core size: 3	Core Weight: 1	Total Weight: -652
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #349
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -651
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #350
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -650
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #351
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -649
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #352
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -648
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #353
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -647
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #354
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -646
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #355
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -645
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #356
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -644
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #357
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -643
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #358
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -642
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #359
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -641
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #360
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -640
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #361
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -639
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #362
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -638
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #363
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -637
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #364
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -636
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #365
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -635
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #366
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -634
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #367
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -633
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #368
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -632
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #369
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -631
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #370
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -630
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #371
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -629
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #372
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -628
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #373
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -627
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #374
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -626
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #375
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -625
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #376
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -624
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #377
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -623
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #378
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -622
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #379
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -621
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #380
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -620
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #381
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -619
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #382
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -618
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #383
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -617
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #384
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -616
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #385
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -615
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #386
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -614
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #387
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -613
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #388
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -612
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #389
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -611
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #390
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -610
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #391
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -609
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #392
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -608
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #393
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -607
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #394
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -606
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #395
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -605
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #396
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -604
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #397
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -603
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #398
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -602
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #399
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -601
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #400
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -600
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #401
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -599
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #402
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -598
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #403
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -597
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #404
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -596
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #405
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -595
202.14/202.30	c
202.14/202.30	c
202.14/202.30	c core #406
202.14/202.30	c 
202.14/202.30	c 
202.14/202.30	c Core size: 3	Core Weight: 1	Total Weight: -594
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #407
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -593
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #408
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -592
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #409
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -591
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #410
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -590
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #411
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -589
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #412
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -588
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #413
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -587
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #414
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -586
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #415
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -585
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #416
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -584
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #417
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -583
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #418
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -582
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #419
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -581
206.04/206.11	c
206.04/206.11	c
206.04/206.11	c core #420
206.04/206.11	c 
206.04/206.11	c 
206.04/206.11	c Core size: 3	Core Weight: 1	Total Weight: -580
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #421
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -579
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #422
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -578
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #423
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -577
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #424
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -576
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #425
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -575
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #426
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -574
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #427
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -573
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #428
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -572
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #429
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -571
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #430
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -570
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #431
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -569
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #432
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -568
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #433
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -567
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #434
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -566
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #435
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -565
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #436
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -564
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #437
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -563
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #438
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -562
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #439
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -561
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #440
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -560
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #441
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -559
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #442
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -558
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #443
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -557
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #444
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -556
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #445
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -555
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #446
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -554
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #447
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -553
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #448
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -552
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #449
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -551
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #450
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -550
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #451
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -549
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #452
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -548
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #453
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -547
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #454
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -546
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #455
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -545
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #456
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -544
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #457
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -543
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #458
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -542
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #459
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -541
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #460
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -540
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #461
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -539
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #462
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -538
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #463
206.04/206.12	c 
206.04/206.12	c 
206.04/206.12	c Core size: 3	Core Weight: 1	Total Weight: -537
206.04/206.12	c
206.04/206.12	c
206.04/206.12	c core #464
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -536
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #465
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -535
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #466
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -534
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #467
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -533
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #468
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -532
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #469
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -531
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #470
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -530
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #471
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -529
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #472
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -528
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #473
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -527
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #474
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -526
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #475
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -525
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #476
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -524
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #477
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -523
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #478
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -522
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #479
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -521
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #480
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -520
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #481
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -519
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #482
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -518
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #483
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -517
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #484
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 3	Core Weight: 1	Total Weight: -516
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #485
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -515
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #486
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -514
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #487
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -513
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #488
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -512
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #489
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 11	Core Weight: 1	Total Weight: -511
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #490
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 6	Core Weight: 1	Total Weight: -510
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #491
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -509
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #492
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -508
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #493
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 6	Core Weight: 1	Total Weight: -507
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #494
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -506
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #495
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 6	Core Weight: 1	Total Weight: -505
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #496
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 11	Core Weight: 1	Total Weight: -504
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #497
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 10	Core Weight: 1	Total Weight: -503
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #498
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -502
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #499
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 11	Core Weight: 1	Total Weight: -501
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #500
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 6	Core Weight: 1	Total Weight: -500
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #501
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 7	Core Weight: 1	Total Weight: -499
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #502
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 22	Core Weight: 1	Total Weight: -498
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #503
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 18	Core Weight: 1	Total Weight: -497
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c core #504
209.14/209.25	c 
209.14/209.25	c 
209.14/209.25	c Core size: 14	Core Weight: 1	Total Weight: -496
209.14/209.25	c
209.14/209.25	c
209.14/209.25	c ============================[ Search Statistics ]==============================
209.14/209.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.14/209.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.14/209.25	c ===============================================================================
209.14/209.25	c |         0 |    2066    33170    78754 |    11056        0    nan |  0.000 % |
209.14/209.25	c ===============================================================================
209.24/209.34	c core #505
209.24/209.34	c 
209.24/209.34	c 
209.24/209.34	c Core size: 16	Core Weight: 1	Total Weight: -495
209.24/209.34	c
209.24/209.34	c
209.24/209.34	c ============================[ Search Statistics ]==============================
209.24/209.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.24/209.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.24/209.34	c ===============================================================================
209.24/209.34	c |         0 |    2076    33171    78774 |    11057        0    nan |  0.000 % |
209.24/209.35	c ===============================================================================
209.34/209.44	c core #506
209.34/209.44	c 
209.34/209.44	c 
209.34/209.44	c Core size: 16	Core Weight: 1	Total Weight: -494
209.34/209.44	c
209.34/209.44	c
209.34/209.44	c ============================[ Search Statistics ]==============================
209.34/209.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.34/209.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.34/209.44	c ===============================================================================
209.34/209.44	c |         0 |    2086    33172    78794 |    11057        0    nan |  0.000 % |
209.34/209.45	c ===============================================================================
209.44/209.54	c core #507
209.44/209.54	c 
209.44/209.54	c 
209.44/209.54	c Core size: 16	Core Weight: 1	Total Weight: -493
209.44/209.54	c
209.44/209.54	c
209.44/209.54	c ============================[ Search Statistics ]==============================
209.44/209.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.44/209.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.44/209.54	c ===============================================================================
209.44/209.54	c |         0 |    2096    33173    78814 |    11057        0    nan |  0.000 % |
209.44/209.55	c ===============================================================================
209.54/209.64	c core #508
209.54/209.64	c 
209.54/209.64	c 
209.54/209.64	c Core size: 14	Core Weight: 1	Total Weight: -492
209.54/209.64	c
209.54/209.64	c
209.54/209.64	c ============================[ Search Statistics ]==============================
209.54/209.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.54/209.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.54/209.64	c ===============================================================================
209.54/209.64	c |         0 |    2104    33174    78830 |    11058        0    nan |  0.000 % |
209.54/209.65	c ===============================================================================
209.64/209.74	c core #509
209.64/209.74	c 
209.64/209.74	c 
209.64/209.74	c Core size: 10	Core Weight: 1	Total Weight: -491
209.64/209.74	c
209.64/209.74	c
209.64/209.74	c ============================[ Search Statistics ]==============================
209.64/209.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.64/209.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.64/209.74	c ===============================================================================
209.64/209.74	c |         0 |    2110    33175    78842 |    11058        0    nan |  0.000 % |
209.64/209.75	c ===============================================================================
209.74/209.84	c core #510
209.74/209.84	c 
209.74/209.84	c 
209.74/209.84	c Core size: 16	Core Weight: 1	Total Weight: -490
209.74/209.84	c
209.74/209.84	c
209.74/209.84	c ============================[ Search Statistics ]==============================
209.74/209.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.74/209.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.74/209.84	c ===============================================================================
209.74/209.84	c |         0 |    2120    33176    78862 |    11058        0    nan |  0.000 % |
209.74/209.85	c ===============================================================================
209.83/209.94	c core #511
209.83/209.94	c 
209.83/209.94	c 
209.83/209.94	c Core size: 12	Core Weight: 1	Total Weight: -489
209.83/209.94	c
209.83/209.94	c
209.83/209.94	c ============================[ Search Statistics ]==============================
209.83/209.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.83/209.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.83/209.94	c ===============================================================================
209.83/209.94	c |         0 |    2128    33177    78878 |    11059        0    nan |  0.000 % |
209.83/209.95	c ===============================================================================
209.94/210.04	c core #512
209.94/210.04	c 
209.94/210.04	c 
209.94/210.04	c Core size: 12	Core Weight: 1	Total Weight: -488
209.94/210.04	c
209.94/210.04	c
209.94/210.04	c ============================[ Search Statistics ]==============================
209.94/210.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.94/210.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.94/210.04	c ===============================================================================
209.94/210.04	c |         0 |    2136    33178    78894 |    11059        0    nan |  0.000 % |
209.94/210.05	c ===============================================================================
210.04/210.14	c core #513
210.04/210.14	c 
210.04/210.14	c 
210.04/210.14	c Core size: 14	Core Weight: 1	Total Weight: -487
210.04/210.14	c
210.04/210.14	c
210.04/210.14	c ============================[ Search Statistics ]==============================
210.04/210.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.04/210.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.04/210.14	c ===============================================================================
210.04/210.14	c |         0 |    2144    33179    78910 |    11059        0    nan |  0.000 % |
210.04/210.15	c ===============================================================================
210.14/210.24	c core #514
210.14/210.24	c 
210.14/210.24	c 
210.14/210.24	c Core size: 10	Core Weight: 1	Total Weight: -486
210.14/210.24	c
210.14/210.24	c
210.14/210.24	c ============================[ Search Statistics ]==============================
210.14/210.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.14/210.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.14/210.24	c ===============================================================================
210.14/210.24	c |         0 |    2150    33180    78922 |    11060        0    nan |  0.000 % |
210.14/210.25	c ===============================================================================
210.24/210.34	c core #515
210.24/210.34	c 
210.24/210.34	c 
210.24/210.34	c Core size: 16	Core Weight: 1	Total Weight: -485
210.24/210.34	c
210.24/210.34	c
210.24/210.34	c ============================[ Search Statistics ]==============================
210.24/210.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.24/210.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.24/210.34	c ===============================================================================
210.24/210.34	c |         0 |    2160    33181    78942 |    11060        0    nan |  0.000 % |
210.24/210.35	c ===============================================================================
210.34/210.44	c core #516
210.34/210.44	c 
210.34/210.44	c 
210.34/210.44	c Core size: 16	Core Weight: 1	Total Weight: -484
210.34/210.44	c
210.34/210.44	c
210.34/210.44	c ============================[ Search Statistics ]==============================
210.34/210.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.34/210.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.34/210.44	c ===============================================================================
210.34/210.44	c |         0 |    2170    33182    78962 |    11060        0    nan |  0.000 % |
210.34/210.45	c ===============================================================================
210.44/210.54	c core #517
210.44/210.54	c 
210.44/210.54	c 
210.44/210.54	c Core size: 14	Core Weight: 1	Total Weight: -483
210.44/210.54	c
210.44/210.54	c
210.44/210.54	c ============================[ Search Statistics ]==============================
210.44/210.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.44/210.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.44/210.54	c ===============================================================================
210.44/210.54	c |         0 |    2178    33183    78978 |    11061        0    nan |  0.000 % |
210.44/210.55	c ===============================================================================
210.54/210.64	c core #518
210.54/210.64	c 
210.54/210.64	c 
210.54/210.64	c Core size: 12	Core Weight: 1	Total Weight: -482
210.54/210.64	c
210.54/210.64	c
210.54/210.64	c ============================[ Search Statistics ]==============================
210.54/210.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.54/210.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.54/210.64	c ===============================================================================
210.54/210.64	c |         0 |    2186    33184    78994 |    11061        0    nan |  0.000 % |
210.54/210.65	c ===============================================================================
210.64/210.73	c core #519
210.64/210.73	c 
210.64/210.73	c 
210.64/210.73	c Core size: 16	Core Weight: 1	Total Weight: -481
210.64/210.73	c
210.64/210.73	c
210.64/210.73	c ============================[ Search Statistics ]==============================
210.64/210.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.64/210.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.64/210.73	c ===============================================================================
210.64/210.73	c |         0 |    2196    33185    79014 |    11061        0    nan |  0.000 % |
210.64/210.74	c ===============================================================================
210.74/210.83	c core #520
210.74/210.83	c 
210.74/210.83	c 
210.74/210.83	c Core size: 14	Core Weight: 1	Total Weight: -480
210.74/210.83	c
210.74/210.83	c
210.74/210.83	c ============================[ Search Statistics ]==============================
210.74/210.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.74/210.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.74/210.83	c ===============================================================================
210.74/210.83	c |         0 |    2204    33186    79030 |    11062        0    nan |  0.000 % |
210.74/210.84	c ===============================================================================
210.84/210.93	c core #521
210.84/210.93	c 
210.84/210.93	c 
210.84/210.93	c Core size: 14	Core Weight: 1	Total Weight: -479
210.84/210.93	c
210.84/210.93	c
210.84/210.93	c ============================[ Search Statistics ]==============================
210.84/210.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.84/210.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.84/210.93	c ===============================================================================
210.84/210.93	c |         0 |    2212    33187    79046 |    11062        0    nan |  0.000 % |
210.84/210.94	c ===============================================================================
210.94/211.03	c core #522
210.94/211.03	c 
210.94/211.03	c 
210.94/211.03	c Core size: 16	Core Weight: 1	Total Weight: -478
210.94/211.03	c
210.94/211.03	c
210.94/211.03	c ============================[ Search Statistics ]==============================
210.94/211.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.94/211.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.94/211.03	c ===============================================================================
210.94/211.03	c |         0 |    2222    33188    79066 |    11062        0    nan |  0.000 % |
210.94/211.05	c ===============================================================================
211.05/211.13	c core #523
211.05/211.13	c 
211.05/211.13	c 
211.05/211.13	c Core size: 16	Core Weight: 1	Total Weight: -477
211.05/211.13	c
211.05/211.13	c
211.05/211.13	c ============================[ Search Statistics ]==============================
211.05/211.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.05/211.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.05/211.13	c ===============================================================================
211.05/211.13	c |         0 |    2232    33189    79086 |    11063        0    nan |  0.000 % |
211.05/211.14	c ===============================================================================
211.15/211.23	c core #524
211.15/211.23	c 
211.15/211.23	c 
211.15/211.23	c Core size: 16	Core Weight: 1	Total Weight: -476
211.15/211.23	c
211.15/211.23	c
211.15/211.23	c ============================[ Search Statistics ]==============================
211.15/211.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.15/211.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.15/211.23	c ===============================================================================
211.15/211.23	c |         0 |    2242    33190    79106 |    11063        0    nan |  0.000 % |
211.15/211.24	c ===============================================================================
211.24/211.33	c core #525
211.24/211.33	c 
211.24/211.33	c 
211.24/211.33	c Core size: 14	Core Weight: 1	Total Weight: -475
211.24/211.33	c
211.24/211.33	c
211.24/211.33	c ============================[ Search Statistics ]==============================
211.24/211.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.24/211.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.24/211.33	c ===============================================================================
211.24/211.33	c |         0 |    2250    33191    79122 |    11063        0    nan |  0.000 % |
211.24/211.34	c ===============================================================================
211.34/211.43	c core #526
211.34/211.43	c 
211.34/211.43	c 
211.34/211.43	c Core size: 16	Core Weight: 1	Total Weight: -474
211.34/211.43	c
211.34/211.43	c
211.34/211.43	c ============================[ Search Statistics ]==============================
211.34/211.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.34/211.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.34/211.43	c ===============================================================================
211.34/211.43	c |         0 |    2260    33192    79142 |    11064        0    nan |  0.000 % |
211.34/211.44	c ===============================================================================
211.44/211.53	c core #527
211.44/211.53	c 
211.44/211.53	c 
211.44/211.53	c Core size: 16	Core Weight: 1	Total Weight: -473
211.44/211.53	c
211.44/211.53	c
211.44/211.53	c ============================[ Search Statistics ]==============================
211.44/211.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.44/211.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.44/211.53	c ===============================================================================
211.44/211.53	c |         0 |    2270    33193    79162 |    11064        0    nan |  0.000 % |
211.44/211.54	c ===============================================================================
211.53/211.63	c core #528
211.53/211.63	c 
211.53/211.63	c 
211.53/211.63	c Core size: 14	Core Weight: 1	Total Weight: -472
211.53/211.63	c
211.53/211.63	c
211.53/211.63	c ============================[ Search Statistics ]==============================
211.53/211.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.53/211.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.53/211.63	c ===============================================================================
211.53/211.63	c |         0 |    2278    33194    79178 |    11064        0    nan |  0.000 % |
211.53/211.64	c ===============================================================================
211.63/211.73	c core #529
211.63/211.73	c 
211.63/211.73	c 
211.63/211.73	c Core size: 14	Core Weight: 1	Total Weight: -471
211.63/211.73	c
211.63/211.73	c
211.63/211.73	c ============================[ Search Statistics ]==============================
211.63/211.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.63/211.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.63/211.73	c ===============================================================================
211.63/211.73	c |         0 |    2286    33195    79194 |    11065        0    nan |  0.000 % |
211.63/211.74	c ===============================================================================
211.73/211.83	c core #530
211.73/211.83	c 
211.73/211.83	c 
211.73/211.83	c Core size: 10	Core Weight: 1	Total Weight: -470
211.73/211.83	c
211.73/211.83	c
211.73/211.83	c ============================[ Search Statistics ]==============================
211.73/211.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.73/211.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.73/211.83	c ===============================================================================
211.73/211.83	c |         0 |    2292    33196    79206 |    11065        0    nan |  0.000 % |
211.73/211.84	c ===============================================================================
211.83/211.93	c core #531
211.83/211.93	c 
211.83/211.93	c 
211.83/211.93	c Core size: 14	Core Weight: 1	Total Weight: -469
211.83/211.93	c
211.83/211.93	c
211.83/211.93	c ============================[ Search Statistics ]==============================
211.83/211.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.83/211.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.83/211.93	c ===============================================================================
211.83/211.93	c |         0 |    2300    33197    79222 |    11065        0    nan |  0.000 % |
211.83/211.93	c ===============================================================================
211.93/212.03	c core #532
211.93/212.03	c 
211.93/212.03	c 
211.93/212.03	c Core size: 16	Core Weight: 1	Total Weight: -468
211.93/212.03	c
211.93/212.03	c
211.93/212.03	c ============================[ Search Statistics ]==============================
211.93/212.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.93/212.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.93/212.03	c ===============================================================================
211.93/212.03	c |         0 |    2310    33198    79242 |    11066        0    nan |  0.000 % |
211.93/212.04	c ===============================================================================
212.03/212.12	c core #533
212.03/212.12	c 
212.03/212.12	c 
212.03/212.12	c Core size: 16	Core Weight: 1	Total Weight: -467
212.03/212.12	c
212.03/212.12	c
212.03/212.12	c ============================[ Search Statistics ]==============================
212.03/212.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.03/212.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.03/212.12	c ===============================================================================
212.03/212.12	c |         0 |    2320    33199    79262 |    11066        0    nan |  0.000 % |
212.03/212.13	c ===============================================================================
212.15/212.23	c core #534
212.15/212.23	c 
212.15/212.23	c 
212.15/212.23	c Core size: 12	Core Weight: 1	Total Weight: -466
212.15/212.23	c
212.15/212.23	c
212.15/212.23	c ============================[ Search Statistics ]==============================
212.15/212.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.15/212.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.15/212.23	c ===============================================================================
212.15/212.23	c |         0 |    2326    33200    79274 |    11066        0    nan |  0.000 % |
212.15/212.24	c ===============================================================================
212.25/212.33	c core #535
212.25/212.33	c 
212.25/212.33	c 
212.25/212.33	c Core size: 16	Core Weight: 1	Total Weight: -465
212.25/212.33	c
212.25/212.33	c
212.25/212.33	c ============================[ Search Statistics ]==============================
212.25/212.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.25/212.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.25/212.33	c ===============================================================================
212.25/212.33	c |         0 |    2336    33201    79294 |    11067        0    nan |  0.000 % |
212.25/212.34	c ===============================================================================
212.34/212.43	c core #536
212.34/212.43	c 
212.34/212.43	c 
212.34/212.43	c Core size: 12	Core Weight: 1	Total Weight: -464
212.34/212.43	c
212.34/212.43	c
212.34/212.43	c ============================[ Search Statistics ]==============================
212.34/212.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.34/212.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.34/212.43	c ===============================================================================
212.34/212.43	c |         0 |    2344    33202    79310 |    11067        0    nan |  0.000 % |
212.34/212.44	c ===============================================================================
212.44/212.53	c core #537
212.44/212.53	c 
212.44/212.53	c 
212.44/212.53	c Core size: 10	Core Weight: 1	Total Weight: -463
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 |    2350    33203    79322 |    11067        0    nan |  0.000 % |
212.44/212.54	c ===============================================================================
212.54/212.63	c core #538
212.54/212.63	c 
212.54/212.63	c 
212.54/212.63	c Core size: 10	Core Weight: 1	Total Weight: -462
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 |    2356    33204    79334 |    11068        0    nan |  0.000 % |
212.54/212.64	c ===============================================================================
212.64/212.73	c core #539
212.64/212.73	c 
212.64/212.73	c 
212.64/212.73	c Core size: 16	Core Weight: 1	Total Weight: -461
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 |    2366    33205    79354 |    11068        0    nan |  0.000 % |
212.64/212.74	c ===============================================================================
212.74/212.83	c core #540
212.74/212.83	c 
212.74/212.83	c 
212.74/212.83	c Core size: 16	Core Weight: 1	Total Weight: -460
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 |    2376    33206    79374 |    11068        0    nan |  0.000 % |
212.74/212.84	c ===============================================================================
212.84/212.93	c core #541
212.84/212.93	c 
212.84/212.93	c 
212.84/212.93	c Core size: 12	Core Weight: 1	Total Weight: -459
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 |    2384    33207    79390 |    11069        0    nan |  0.000 % |
212.84/212.94	c ===============================================================================
212.94/213.04	c core #542
212.94/213.04	c 
212.94/213.04	c 
212.94/213.04	c Core size: 16	Core Weight: 1	Total Weight: -458
212.94/213.04	c
212.94/213.04	c
212.94/213.04	c ============================[ Search Statistics ]==============================
212.94/213.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.94/213.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.94/213.04	c ===============================================================================
212.94/213.04	c |         0 |    2394    33208    79410 |    11069        0    nan |  0.000 % |
212.94/213.05	c ===============================================================================
213.04/213.14	c core #543
213.04/213.14	c 
213.04/213.14	c 
213.04/213.14	c Core size: 14	Core Weight: 1	Total Weight: -457
213.04/213.14	c
213.04/213.14	c
213.04/213.14	c ============================[ Search Statistics ]==============================
213.04/213.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.04/213.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.04/213.14	c ===============================================================================
213.04/213.14	c |         0 |    2402    33209    79426 |    11069        0    nan |  0.000 % |
213.04/213.15	c ===============================================================================
213.13/213.23	c core #544
213.13/213.23	c 
213.13/213.23	c 
213.13/213.23	c Core size: 16	Core Weight: 1	Total Weight: -456
213.13/213.23	c
213.13/213.23	c
213.13/213.23	c ============================[ Search Statistics ]==============================
213.13/213.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.13/213.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.13/213.23	c ===============================================================================
213.13/213.23	c |         0 |    2412    33210    79446 |    11070        0    nan |  0.000 % |
213.13/213.24	c ===============================================================================
213.24/213.33	c core #545
213.24/213.33	c 
213.24/213.33	c 
213.24/213.33	c Core size: 14	Core Weight: 1	Total Weight: -455
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 |    2420    33211    79462 |    11070        0    nan |  0.000 % |
213.24/213.35	c ===============================================================================
213.34/213.44	c core #546
213.34/213.44	c 
213.34/213.44	c 
213.34/213.44	c Core size: 18	Core Weight: 1	Total Weight: -454
213.34/213.44	c
213.34/213.44	c
213.34/213.44	c ============================[ Search Statistics ]==============================
213.34/213.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.34/213.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.34/213.44	c ===============================================================================
213.34/213.44	c |         0 |    2432    33212    79486 |    11070        0    nan |  0.000 % |
213.34/213.46	c ===============================================================================
213.43/213.55	c core #547
213.43/213.55	c 
213.43/213.55	c 
213.43/213.55	c Core size: 14	Core Weight: 1	Total Weight: -453
213.43/213.55	c
213.43/213.55	c
213.43/213.55	c ============================[ Search Statistics ]==============================
213.43/213.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.43/213.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.43/213.55	c ===============================================================================
213.43/213.55	c |         0 |    2440    33213    79502 |    11071        0    nan |  0.000 % |
213.43/213.55	c ===============================================================================
213.53/213.65	c core #548
213.53/213.65	c 
213.53/213.65	c 
213.53/213.65	c Core size: 12	Core Weight: 1	Total Weight: -452
213.53/213.65	c
213.53/213.65	c
213.53/213.65	c ============================[ Search Statistics ]==============================
213.53/213.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.53/213.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.53/213.65	c ===============================================================================
213.53/213.65	c |         0 |    2448    33214    79518 |    11071        0    nan |  0.000 % |
213.53/213.66	c ===============================================================================
213.63/213.75	c core #549
213.63/213.75	c 
213.63/213.75	c 
213.63/213.75	c Core size: 14	Core Weight: 1	Total Weight: -451
213.63/213.75	c
213.63/213.75	c
213.63/213.75	c ============================[ Search Statistics ]==============================
213.63/213.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.63/213.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.63/213.75	c ===============================================================================
213.63/213.75	c |         0 |    2456    33215    79534 |    11071        0    nan |  0.000 % |
213.63/213.76	c ===============================================================================
213.73/213.85	c core #550
213.73/213.85	c 
213.73/213.85	c 
213.73/213.85	c Core size: 20	Core Weight: 1	Total Weight: -450
213.73/213.85	c
213.73/213.85	c
213.73/213.85	c ============================[ Search Statistics ]==============================
213.73/213.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.73/213.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.73/213.85	c ===============================================================================
213.73/213.85	c |         0 |    2468    33216    79558 |    11072        0    nan |  0.000 % |
213.73/213.87	c ===============================================================================
213.83/213.96	c core #551
213.83/213.96	c 
213.83/213.96	c 
213.83/213.96	c Core size: 14	Core Weight: 1	Total Weight: -449
213.83/213.96	c
213.83/213.96	c
213.83/213.96	c ============================[ Search Statistics ]==============================
213.83/213.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.83/213.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.83/213.96	c ===============================================================================
213.83/213.96	c |         0 |    2476    33217    79574 |    11072        0    nan |  0.000 % |
213.83/213.96	c ===============================================================================
213.93/214.06	c core #552
213.93/214.06	c 
213.93/214.06	c 
213.93/214.06	c Core size: 10	Core Weight: 1	Total Weight: -448
213.93/214.06	c
213.93/214.06	c
213.93/214.06	c ============================[ Search Statistics ]==============================
213.93/214.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.93/214.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.93/214.06	c ===============================================================================
213.93/214.06	c |         0 |    2482    33218    79586 |    11072        0    nan |  0.000 % |
213.93/214.07	c ===============================================================================
214.03/214.16	c core #553
214.03/214.16	c 
214.03/214.16	c 
214.03/214.16	c Core size: 16	Core Weight: 1	Total Weight: -447
214.03/214.16	c
214.03/214.16	c
214.03/214.16	c ============================[ Search Statistics ]==============================
214.03/214.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.03/214.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.03/214.16	c ===============================================================================
214.03/214.16	c |         0 |    2492    33219    79606 |    11073        0    nan |  0.000 % |
214.03/214.18	c ===============================================================================
214.13/214.27	c core #554
214.13/214.27	c 
214.13/214.27	c 
214.13/214.27	c Core size: 20	Core Weight: 1	Total Weight: -446
214.13/214.27	c
214.13/214.27	c
214.13/214.27	c ============================[ Search Statistics ]==============================
214.13/214.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.13/214.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.13/214.27	c ===============================================================================
214.13/214.27	c |         0 |    2504    33220    79630 |    11073        0    nan |  0.000 % |
214.13/214.28	c ===============================================================================
214.24/214.37	c core #555
214.24/214.37	c 
214.24/214.37	c 
214.24/214.37	c Core size: 16	Core Weight: 1	Total Weight: -445
214.24/214.37	c
214.24/214.37	c
214.24/214.37	c ============================[ Search Statistics ]==============================
214.24/214.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.24/214.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.24/214.37	c ===============================================================================
214.24/214.37	c |         0 |    2514    33221    79650 |    11073        0    nan |  0.000 % |
214.24/214.38	c ===============================================================================
214.35/214.48	c core #556
214.35/214.48	c 
214.35/214.48	c 
214.35/214.48	c Core size: 16	Core Weight: 1	Total Weight: -444
214.35/214.48	c
214.35/214.48	c
214.35/214.48	c ============================[ Search Statistics ]==============================
214.35/214.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.35/214.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.35/214.48	c ===============================================================================
214.35/214.48	c |         0 |    2524    33222    79670 |    11074        0    nan |  0.000 % |
214.35/214.50	c ===============================================================================
214.45/214.59	c core #557
214.45/214.59	c 
214.45/214.59	c 
214.45/214.59	c Core size: 18	Core Weight: 1	Total Weight: -443
214.45/214.59	c
214.45/214.59	c
214.45/214.59	c ============================[ Search Statistics ]==============================
214.45/214.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.45/214.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.45/214.59	c ===============================================================================
214.45/214.59	c |         0 |    2534    33223    79690 |    11074        0    nan |  0.000 % |
214.54/214.60	c ===============================================================================
214.54/214.70	c core #558
214.54/214.70	c 
214.54/214.70	c 
214.54/214.70	c Core size: 16	Core Weight: 1	Total Weight: -442
214.54/214.70	c
214.54/214.70	c
214.54/214.70	c ============================[ Search Statistics ]==============================
214.54/214.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.54/214.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.54/214.70	c ===============================================================================
214.54/214.70	c |         0 |    2544    33224    79710 |    11074        0    nan |  0.000 % |
214.64/214.71	c ===============================================================================
214.74/214.80	c core #559
214.74/214.80	c 
214.74/214.80	c 
214.74/214.80	c Core size: 14	Core Weight: 1	Total Weight: -441
214.74/214.80	c
214.74/214.80	c
214.74/214.80	c ============================[ Search Statistics ]==============================
214.74/214.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.74/214.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.74/214.80	c ===============================================================================
214.74/214.80	c |         0 |    2552    33225    79726 |    11075        0    nan |  0.000 % |
214.74/214.81	c ===============================================================================
214.84/214.91	c core #560
214.84/214.91	c 
214.84/214.91	c 
214.84/214.91	c Core size: 14	Core Weight: 1	Total Weight: -440
214.84/214.91	c
214.84/214.91	c
214.84/214.91	c ============================[ Search Statistics ]==============================
214.84/214.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.84/214.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.84/214.91	c ===============================================================================
214.84/214.91	c |         0 |    2560    33226    79742 |    11075        0    nan |  0.000 % |
214.84/214.92	c ===============================================================================
214.94/215.01	c core #561
214.94/215.01	c 
214.94/215.01	c 
214.94/215.01	c Core size: 18	Core Weight: 1	Total Weight: -439
214.94/215.01	c
214.94/215.01	c
214.94/215.01	c ============================[ Search Statistics ]==============================
214.94/215.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.94/215.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.94/215.01	c ===============================================================================
214.94/215.01	c |         0 |    2572    33227    79766 |    11075        0    nan |  0.000 % |
214.94/215.03	c ===============================================================================
215.04/215.12	c core #562
215.04/215.12	c 
215.04/215.12	c 
215.04/215.12	c Core size: 14	Core Weight: 1	Total Weight: -438
215.04/215.12	c
215.04/215.12	c
215.04/215.12	c ============================[ Search Statistics ]==============================
215.04/215.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.04/215.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.04/215.12	c ===============================================================================
215.04/215.12	c |         0 |    2580    33228    79782 |    11076        0    nan |  0.000 % |
215.04/215.13	c ===============================================================================
215.14/215.22	c core #563
215.14/215.22	c 
215.14/215.22	c 
215.14/215.22	c Core size: 18	Core Weight: 1	Total Weight: -437
215.14/215.22	c
215.14/215.22	c
215.14/215.22	c ============================[ Search Statistics ]==============================
215.14/215.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.14/215.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.14/215.22	c ===============================================================================
215.14/215.22	c |         0 |    2592    33229    79806 |    11076        0    nan |  0.000 % |
215.14/215.23	c ===============================================================================
215.24/215.33	c core #564
215.24/215.33	c 
215.24/215.33	c 
215.24/215.33	c Core size: 16	Core Weight: 1	Total Weight: -436
215.24/215.33	c
215.24/215.33	c
215.24/215.33	c ============================[ Search Statistics ]==============================
215.24/215.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.24/215.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.24/215.33	c ===============================================================================
215.24/215.33	c |         0 |    2602    33230    79826 |    11076        0    nan |  0.000 % |
215.24/215.34	c ===============================================================================
215.34/215.44	c core #565
215.34/215.44	c 
215.34/215.44	c 
215.34/215.44	c Core size: 18	Core Weight: 1	Total Weight: -435
215.34/215.44	c
215.34/215.44	c
215.34/215.44	c ============================[ Search Statistics ]==============================
215.34/215.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.34/215.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.34/215.44	c ===============================================================================
215.34/215.44	c |         0 |    2614    33231    79850 |    11077        0    nan |  0.000 % |
215.34/215.45	c ===============================================================================
215.45/215.54	c core #566
215.45/215.54	c 
215.45/215.54	c 
215.45/215.54	c Core size: 12	Core Weight: 1	Total Weight: -434
215.45/215.54	c
215.45/215.54	c
215.45/215.54	c ============================[ Search Statistics ]==============================
215.45/215.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.45/215.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.45/215.54	c ===============================================================================
215.45/215.54	c |         0 |    2622    33232    79866 |    11077        0    nan |  0.000 % |
215.45/215.55	c ===============================================================================
215.55/215.65	c core #567
215.55/215.65	c 
215.55/215.65	c 
215.55/215.65	c Core size: 16	Core Weight: 1	Total Weight: -433
215.55/215.65	c
215.55/215.65	c
215.55/215.65	c ============================[ Search Statistics ]==============================
215.55/215.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.55/215.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.55/215.65	c ===============================================================================
215.55/215.65	c |         0 |    2632    33233    79886 |    11077        0    nan |  0.000 % |
215.55/215.66	c ===============================================================================
215.64/215.76	c core #568
215.64/215.76	c 
215.64/215.76	c 
215.64/215.76	c Core size: 16	Core Weight: 1	Total Weight: -432
215.64/215.76	c
215.64/215.76	c
215.64/215.76	c ============================[ Search Statistics ]==============================
215.64/215.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.64/215.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.64/215.76	c ===============================================================================
215.64/215.76	c |         0 |    2642    33234    79906 |    11078        0    nan |  0.000 % |
215.64/215.77	c ===============================================================================
215.74/215.87	c core #569
215.74/215.87	c 
215.74/215.87	c 
215.74/215.87	c Core size: 14	Core Weight: 1	Total Weight: -431
215.74/215.87	c
215.74/215.87	c
215.74/215.87	c ============================[ Search Statistics ]==============================
215.74/215.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.74/215.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.74/215.87	c ===============================================================================
215.74/215.87	c |         0 |    2650    33235    79922 |    11078        0    nan |  0.000 % |
215.74/215.88	c ===============================================================================
215.83/215.98	c core #570
215.83/215.98	c 
215.83/215.98	c 
215.83/215.98	c Core size: 18	Core Weight: 1	Total Weight: -430
215.83/215.98	c
215.83/215.98	c
215.83/215.98	c ============================[ Search Statistics ]==============================
215.83/215.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.83/215.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.83/215.98	c ===============================================================================
215.83/215.98	c |         0 |    2662    33236    79946 |    11078        0    nan |  0.000 % |
215.93/216.00	c ===============================================================================
215.93/216.09	c core #571
215.93/216.09	c 
215.93/216.09	c 
215.93/216.09	c Core size: 18	Core Weight: 1	Total Weight: -429
215.93/216.09	c
215.93/216.09	c
215.93/216.09	c ============================[ Search Statistics ]==============================
215.93/216.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.93/216.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.93/216.09	c ===============================================================================
215.93/216.09	c |         0 |    2672    33237    79966 |    11079        0    nan |  0.000 % |
216.03/216.10	c ===============================================================================
216.13/216.20	c core #572
216.13/216.20	c 
216.13/216.20	c 
216.13/216.20	c Core size: 16	Core Weight: 1	Total Weight: -428
216.13/216.20	c
216.13/216.20	c
216.13/216.20	c ============================[ Search Statistics ]==============================
216.13/216.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.13/216.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.13/216.20	c ===============================================================================
216.13/216.20	c |         0 |    2682    33238    79986 |    11079        0    nan |  0.000 % |
216.13/216.21	c ===============================================================================
216.23/216.31	c core #573
216.23/216.31	c 
216.23/216.31	c 
216.23/216.31	c Core size: 14	Core Weight: 1	Total Weight: -427
216.23/216.31	c
216.23/216.31	c
216.23/216.31	c ============================[ Search Statistics ]==============================
216.23/216.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.23/216.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.23/216.31	c ===============================================================================
216.23/216.31	c |         0 |    2692    33239    80006 |    11079        0    nan |  0.000 % |
216.23/216.32	c ===============================================================================
216.34/216.42	c core #574
216.34/216.42	c 
216.34/216.42	c 
216.34/216.42	c Core size: 14	Core Weight: 1	Total Weight: -426
216.34/216.42	c
216.34/216.42	c
216.34/216.42	c ============================[ Search Statistics ]==============================
216.34/216.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.34/216.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.34/216.42	c ===============================================================================
216.34/216.42	c |         0 |    2700    33240    80022 |    11080        0    nan |  0.000 % |
216.34/216.43	c ===============================================================================
216.44/216.53	c core #575
216.44/216.53	c 
216.44/216.53	c 
216.44/216.53	c Core size: 14	Core Weight: 1	Total Weight: -425
216.44/216.53	c
216.44/216.53	c
216.44/216.53	c ============================[ Search Statistics ]==============================
216.44/216.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.44/216.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.44/216.53	c ===============================================================================
216.44/216.53	c |         0 |    2708    33241    80038 |    11080        0    nan |  0.000 % |
216.44/216.55	c ===============================================================================
216.55/216.64	c core #576
216.55/216.64	c 
216.55/216.64	c 
216.55/216.64	c Core size: 18	Core Weight: 1	Total Weight: -424
216.55/216.64	c
216.55/216.64	c
216.55/216.64	c ============================[ Search Statistics ]==============================
216.55/216.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.55/216.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.55/216.64	c ===============================================================================
216.55/216.64	c |         0 |    2720    33242    80062 |    11080        0    nan |  0.000 % |
216.55/216.66	c ===============================================================================
216.65/216.76	c core #577
216.65/216.76	c 
216.65/216.76	c 
216.65/216.76	c Core size: 20	Core Weight: 1	Total Weight: -423
216.65/216.76	c
216.65/216.76	c
216.65/216.76	c ============================[ Search Statistics ]==============================
216.65/216.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.65/216.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.65/216.76	c ===============================================================================
216.65/216.76	c |         0 |    2732    33243    80086 |    11081        0    nan |  0.000 % |
216.65/216.77	c ===============================================================================
216.74/216.87	c core #578
216.74/216.87	c 
216.74/216.87	c 
216.74/216.87	c Core size: 18	Core Weight: 1	Total Weight: -422
216.74/216.87	c
216.74/216.87	c
216.74/216.87	c ============================[ Search Statistics ]==============================
216.74/216.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.74/216.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.74/216.87	c ===============================================================================
216.74/216.87	c |         0 |    2744    33244    80110 |    11081        0    nan |  0.000 % |
216.74/216.88	c ===============================================================================
216.84/216.98	c core #579
216.84/216.98	c 
216.84/216.98	c 
216.84/216.98	c Core size: 14	Core Weight: 1	Total Weight: -421
216.84/216.98	c
216.84/216.98	c
216.84/216.98	c ============================[ Search Statistics ]==============================
216.84/216.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.84/216.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.84/216.98	c ===============================================================================
216.84/216.98	c |         0 |    2752    33245    80126 |    11081        0    nan |  0.000 % |
216.84/216.99	c ===============================================================================
216.94/217.09	c core #580
216.94/217.09	c 
216.94/217.09	c 
216.94/217.09	c Core size: 14	Core Weight: 1	Total Weight: -420
216.94/217.09	c
216.94/217.09	c
216.94/217.09	c ============================[ Search Statistics ]==============================
216.94/217.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.94/217.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.94/217.09	c ===============================================================================
216.94/217.09	c |         0 |    2760    33246    80142 |    11082        0    nan |  0.000 % |
217.04/217.11	c ===============================================================================
217.14/217.20	c core #581
217.14/217.20	c 
217.14/217.20	c 
217.14/217.20	c Core size: 20	Core Weight: 1	Total Weight: -419
217.14/217.20	c
217.14/217.20	c
217.14/217.20	c ============================[ Search Statistics ]==============================
217.14/217.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.14/217.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.14/217.20	c ===============================================================================
217.14/217.20	c |         0 |    2772    33247    80166 |    11082        0    nan |  0.000 % |
217.14/217.22	c ===============================================================================
217.24/217.32	c core #582
217.24/217.32	c 
217.24/217.32	c 
217.24/217.32	c Core size: 24	Core Weight: 1	Total Weight: -418
217.24/217.32	c
217.24/217.32	c
217.24/217.32	c ============================[ Search Statistics ]==============================
217.24/217.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.24/217.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.24/217.32	c ===============================================================================
217.24/217.32	c |         0 |    2786    33248    80194 |    11082        0    nan |  0.000 % |
217.24/217.34	c ===============================================================================
217.34/217.43	c core #583
217.34/217.43	c 
217.34/217.43	c 
217.34/217.43	c Core size: 23	Core Weight: 1	Total Weight: -417
217.34/217.43	c
217.34/217.43	c
217.34/217.43	c ============================[ Search Statistics ]==============================
217.34/217.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.34/217.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.34/217.43	c ===============================================================================
217.34/217.43	c |         0 |    2799    33249    80220 |    11083        0    nan |  0.000 % |
217.34/217.45	c ===============================================================================
217.44/217.55	c core #584
217.44/217.55	c 
217.44/217.55	c 
217.44/217.55	c Core size: 10	Core Weight: 1	Total Weight: -416
217.44/217.55	c
217.44/217.55	c
217.44/217.55	c ============================[ Search Statistics ]==============================
217.44/217.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.44/217.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.44/217.55	c ===============================================================================
217.44/217.55	c |         0 |    2805    33250    80232 |    11083        0    nan |  0.000 % |
217.44/217.57	c ===============================================================================
217.54/217.66	c core #585
217.54/217.66	c 
217.54/217.66	c 
217.54/217.66	c Core size: 22	Core Weight: 1	Total Weight: -415
217.54/217.66	c
217.54/217.66	c
217.54/217.66	c ============================[ Search Statistics ]==============================
217.54/217.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.54/217.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.54/217.66	c ===============================================================================
217.54/217.66	c |         0 |    2819    33251    80260 |    11083        0    nan |  0.000 % |
217.54/217.68	c ===============================================================================
217.64/217.77	c core #586
217.64/217.77	c 
217.64/217.77	c 
217.64/217.77	c Core size: 18	Core Weight: 1	Total Weight: -414
217.64/217.77	c
217.64/217.77	c
217.64/217.77	c ============================[ Search Statistics ]==============================
217.64/217.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.64/217.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.64/217.77	c ===============================================================================
217.64/217.77	c |         0 |    2831    33252    80284 |    11084        0    nan |  0.000 % |
217.64/217.80	c ===============================================================================
217.84/217.90	c core #587
217.84/217.90	c 
217.84/217.90	c 
217.84/217.90	c Core size: 22	Core Weight: 1	Total Weight: -413
217.84/217.90	c
217.84/217.90	c
217.84/217.90	c ============================[ Search Statistics ]==============================
217.84/217.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.84/217.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.84/217.90	c ===============================================================================
217.84/217.90	c |         0 |    2843    33253    80308 |    11084        0    nan |  0.000 % |
217.84/217.91	c ===============================================================================
217.94/218.01	c core #588
217.94/218.01	c 
217.94/218.01	c 
217.94/218.01	c Core size: 20	Core Weight: 1	Total Weight: -412
217.94/218.01	c
217.94/218.01	c
217.94/218.01	c ============================[ Search Statistics ]==============================
217.94/218.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.94/218.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.94/218.01	c ===============================================================================
217.94/218.01	c |         0 |    2855    33254    80332 |    11084        0    nan |  0.000 % |
217.94/218.03	c ===============================================================================
218.04/218.13	c core #589
218.04/218.13	c 
218.04/218.13	c 
218.04/218.13	c Core size: 28	Core Weight: 1	Total Weight: -411
218.04/218.13	c
218.04/218.13	c
218.04/218.13	c ============================[ Search Statistics ]==============================
218.04/218.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.04/218.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.04/218.13	c ===============================================================================
218.04/218.13	c |         0 |    2871    33255    80364 |    11085        0    nan |  0.000 % |
218.04/218.15	c ===============================================================================
218.14/218.25	c core #590
218.14/218.25	c 
218.14/218.25	c 
218.14/218.25	c Core size: 31	Core Weight: 1	Total Weight: -410
218.14/218.25	c
218.14/218.25	c
218.14/218.25	c ============================[ Search Statistics ]==============================
218.14/218.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.14/218.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.14/218.25	c ===============================================================================
218.14/218.25	c |         0 |    2888    33256    80398 |    11085        0    nan |  0.000 % |
218.14/218.27	c ===============================================================================
218.23/218.37	c core #591
218.23/218.37	c 
218.23/218.37	c 
218.23/218.37	c Core size: 20	Core Weight: 1	Total Weight: -409
218.23/218.37	c
218.23/218.37	c
218.23/218.37	c ============================[ Search Statistics ]==============================
218.23/218.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.23/218.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.23/218.37	c ===============================================================================
218.23/218.37	c |         0 |    2900    33257    80422 |    11085        0    nan |  0.000 % |
218.33/218.40	c ===============================================================================
218.33/218.49	c core #592
218.33/218.49	c 
218.33/218.49	c 
218.33/218.49	c Core size: 23	Core Weight: 1	Total Weight: -408
218.33/218.49	c
218.33/218.49	c
218.33/218.49	c ============================[ Search Statistics ]==============================
218.33/218.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.33/218.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.33/218.49	c ===============================================================================
218.33/218.49	c |         0 |    2915    33258    80452 |    11086        0    nan |  0.000 % |
218.43/218.54	c ===============================================================================
218.53/218.63	c core #593
218.53/218.63	c 
218.53/218.63	c 
218.53/218.63	c Core size: 50	Core Weight: 1	Total Weight: -407
218.53/218.63	c
218.53/218.63	c
218.53/218.63	c ============================[ Search Statistics ]==============================
218.53/218.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.53/218.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.53/218.63	c ===============================================================================
218.53/218.63	c |         0 |    2951    33259    80524 |    11086        0    nan |  0.000 % |
218.63/218.77	c ===============================================================================
218.74/218.86	c core #594
218.74/218.86	c 
218.74/218.86	c 
218.74/218.86	c Core size: 80	Core Weight: 1	Total Weight: -406
218.74/218.86	c
218.74/218.86	c
218.74/218.86	c ============================[ Search Statistics ]==============================
218.74/218.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.74/218.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.74/218.86	c ===============================================================================
218.74/218.86	c |         0 |    3024    33260    80670 |    11086        0    nan |  0.000 % |
219.03/219.17	c |       100 |    3023    33260    80670 |    12195      100     12 | 83.950 % |
219.33/219.40	c |       250 |    3023    33260    80670 |    13414      250     14 | 83.950 % |
219.73/219.85	c |       477 |    3023    33260    80670 |    14756      477     13 | 83.950 % |
219.73/219.88	c ===============================================================================
219.84/219.98	c core #595
219.84/219.98	c 
219.84/219.98	c 
219.84/219.98	c Core size: 152	Core Weight: 1	Total Weight: -405
219.84/219.98	c
219.84/219.98	c
219.84/219.98	c ============================[ Search Statistics ]==============================
219.84/219.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.84/219.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.84/219.98	c ===============================================================================
219.84/219.98	c |         0 |    3152    33261    80926 |    11087        0    nan |  0.000 % |
220.14/220.22	c |       100 |    3152    33261    80926 |    12195      100     17 | 83.378 % |
220.34/220.45	c |       253 |    3151    33261    80926 |    13415      253     18 | 83.383 % |
220.64/220.74	c |       479 |    3151    33261    80926 |    14756      479     16 | 83.383 % |
221.14/221.25	c |       816 |    3151    33261    80926 |    16232      815     19 | 83.383 % |
221.73/221.88	c |      1323 |    3151    33261    80926 |    17855     1322     19 | 83.383 % |
223.15/223.27	c ===============================================================================
223.25/223.39	c core #596
223.25/223.39	c 
223.25/223.39	c 
223.25/223.39	c Core size: 208	Core Weight: 1	Total Weight: -404
223.25/223.39	c
223.25/223.39	c
223.25/223.39	c ============================[ Search Statistics ]==============================
223.25/223.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
223.25/223.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
223.25/223.39	c ===============================================================================
223.25/223.39	c |         0 |    3340    33262    81302 |    11087        0    nan |  0.000 % |
223.54/223.60	c |       103 |    3339    33262    81302 |    12196      103     21 | 82.565 % |
223.64/223.77	c |       259 |    3339    33262    81302 |    13415      259     24 | 82.565 % |
223.94/224.07	c |       484 |    3339    33262    81302 |    14757      484     26 | 82.565 % |
224.44/224.52	c |       822 |    3339    33262    81302 |    16232      821     33 | 82.565 % |
225.04/225.13	c |      1329 |    3339    33262    81302 |    17856     1328     30 | 82.565 % |
225.23/225.34	c ===============================================================================
225.34/225.43	c core #597
225.34/225.43	c 
225.34/225.43	c 
225.34/225.43	c Core size: 147	Core Weight: 1	Total Weight: -403
225.34/225.43	c
225.34/225.43	c
225.34/225.43	c ============================[ Search Statistics ]==============================
225.34/225.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.34/225.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.34/225.43	c ===============================================================================
225.34/225.43	c |         0 |    3456    33263    81534 |    11087        0    nan |  0.000 % |
225.63/225.75	c |       101 |    3456    33263    81534 |    12196      101     76 | 82.063 % |
225.83/225.97	c |       252 |    3453    33263    81534 |    13416      252     43 | 82.229 % |
226.03/226.18	c |       477 |    3451    33263    81534 |    14757      477     34 | 82.229 % |
226.54/226.68	c |       815 |    3416    33263    81534 |    16233      764     31 | 82.384 % |
227.34/227.41	c |      1323 |    3414    33263    81534 |    17856     1272     32 | 82.384 % |
228.43/228.55	c |      2082 |    3394    33263    81534 |    19642     2012     32 | 82.384 % |
229.53/229.68	c ===============================================================================
229.63/229.80	c core #598
229.63/229.80	c 
229.63/229.80	c 
229.63/229.80	c Core size: 248	Core Weight: 1	Total Weight: -402
229.63/229.80	c
229.63/229.80	c
229.63/229.80	c ============================[ Search Statistics ]==============================
229.63/229.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
229.63/229.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
229.63/229.80	c ===============================================================================
229.63/229.80	c |         0 |    3675    33264    81972 |    11088        0    nan |  0.000 % |
229.93/230.05	c |       103 |    3675    33264    81972 |    12196      103     58 | 81.140 % |
230.03/230.18	c |       253 |    3675    33264    81972 |    13416      253     52 | 81.140 % |
230.34/230.41	c |       478 |    3675    33264    81972 |    14758      478     48 | 81.140 % |
230.74/230.85	c |       816 |    3675    33264    81972 |    16233      816     50 | 81.140 % |
231.64/231.73	c |      1324 |    3675    33264    81972 |    17857     1324     52 | 81.140 % |
232.43/232.52	c |      2083 |    3675    33264    81972 |    19643     2083     48 | 81.140 % |
234.73/234.81	c |      3222 |    3675    33264    81972 |    21607     3222     49 | 81.140 % |
237.63/237.78	c |      4931 |    3675    33264    81972 |    23768     4931     49 | 81.140 % |
241.53/241.63	c ===============================================================================
241.63/241.73	c core #599
241.63/241.73	c 
241.63/241.73	c 
241.63/241.73	c Core size: 165	Core Weight: 1	Total Weight: -401
241.63/241.73	c
241.63/241.73	c
241.63/241.73	c ============================[ Search Statistics ]==============================
241.63/241.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
241.63/241.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
241.63/241.73	c ===============================================================================
241.63/241.73	c |         0 |    3830    33265    82282 |    11088        0    nan |  0.000 % |
241.84/241.97	c |       100 |    3830    33265    82282 |    12197      100     50 | 80.500 % |
241.94/242.08	c |       255 |    3830    33265    82282 |    13416      255     39 | 80.500 % |
242.23/242.35	c |       480 |    3830    33265    82282 |    14758      480     38 | 80.500 % |
242.53/242.69	c |       818 |    3830    33265    82282 |    16234      818     41 | 80.500 % |
243.33/243.45	c |      1324 |    3830    33265    82282 |    17857     1324     46 | 80.500 % |
244.63/244.70	c |      2084 |    3830    33265    82282 |    19643     2084     44 | 80.500 % |
246.72/246.88	c |      3223 |    3830    33265    82282 |    21608     3223     46 | 80.500 % |
250.33/250.42	c |      4931 |    3830    33265    82282 |    23768     4931     47 | 80.500 % |
256.73/256.87	c |      7495 |    3830    33265    82282 |    26145     7495     45 | 80.500 % |
267.14/267.24	c ===============================================================================
267.33/267.48	c core #600
267.33/267.48	c 
267.33/267.48	c 
267.33/267.48	c Core size: 242	Core Weight: 1	Total Weight: -400
267.33/267.48	c
267.33/267.48	c
267.33/267.48	c ============================[ Search Statistics ]==============================
267.33/267.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
267.33/267.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
267.33/267.48	c ===============================================================================
267.33/267.48	c |         0 |    4066    33266    82754 |    11088        0    nan |  0.000 % |
267.53/267.63	c |       100 |    4066    33266    82754 |    12197      100     18 | 79.544 % |
267.72/267.82	c |       250 |    4066    33266    82754 |    13417      250     24 | 79.544 % |
267.92/268.02	c |       476 |    4066    33266    82754 |    14759      476     35 | 79.544 % |
268.42/268.55	c |       814 |    4066    33266    82754 |    16234      814     37 | 79.544 % |
269.22/269.31	c |      1320 |    4066    33266    82754 |    17858     1320     41 | 79.544 % |
270.33/270.45	c |      2079 |    4066    33266    82754 |    19644     2079     48 | 79.544 % |
272.13/272.28	c |      3219 |    4066    33266    82754 |    21608     3219     46 | 79.544 % |
274.83/274.98	c |      4928 |    4066    33266    82754 |    23769     4928     45 | 79.544 % |
280.13/280.27	c |      7490 |    4065    33266    82754 |    26146     7443     46 | 79.549 % |
287.52/287.67	c ===============================================================================
287.72/287.89	c core #601
287.72/287.89	c 
287.72/287.89	c 
287.72/287.89	c Core size: 229	Core Weight: 1	Total Weight: -399
287.72/287.89	c
287.72/287.89	c
287.72/287.89	c ============================[ Search Statistics ]==============================
287.72/287.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
287.72/287.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
287.72/287.89	c ===============================================================================
287.72/287.89	c |         0 |    4257    33267    83136 |    11089        0    nan |  0.000 % |
287.92/288.01	c |       106 |    4257    33267    83136 |    12197      106     31 | 78.787 % |
288.02/288.13	c |       257 |    4257    33267    83136 |    13417      257     29 | 78.787 % |
288.22/288.36	c |       485 |    4257    33267    83136 |    14759      485     29 | 78.787 % |
288.72/288.80	c |       823 |    4257    33267    83136 |    16235      823     29 | 78.787 % |
289.32/289.46	c |      1331 |    4257    33267    83136 |    17858     1331     39 | 78.787 % |
290.62/290.79	c |      2091 |    4257    33267    83136 |    19644     2091     53 | 78.787 % |
292.53/292.63	c |      3231 |    4257    33267    83136 |    21609     3231     59 | 78.787 % |
296.21/296.36	c |      4939 |    4257    33267    83136 |    23770     4939     57 | 78.787 % |
301.23/301.35	c |      7503 |    4257    33267    83136 |    26147     7503     61 | 78.787 % |
310.12/310.25	c |     11347 |    4257    33267    83136 |    28762    11347     61 | 78.787 % |
325.01/325.19	c |     17114 |    4257    33267    83136 |    31638    17114     63 | 78.787 % |
344.91/345.02	c |     25763 |    4257    33267    83136 |    34802    25763     67 | 78.787 % |
384.81/384.96	c |     38737 |    4257    33267    83136 |    38282    38737     63 | 78.787 % |
401.20/401.32	c ===============================================================================
401.59/401.78	c core #602
401.59/401.78	c 
401.59/401.78	c 
401.59/401.78	c Core size: 257	Core Weight: 1	Total Weight: -398
401.59/401.78	c
401.59/401.78	c
401.59/401.78	c ============================[ Search Statistics ]==============================
401.59/401.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
401.59/401.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
401.59/401.78	c ===============================================================================
401.59/401.78	c |         0 |    4505    33268    83632 |    11089        0    nan |  0.000 % |
401.79/401.93	c |       101 |    4505    33268    83632 |    12198      101     32 | 77.825 % |
401.89/402.06	c |       251 |    4505    33268    83632 |    13418      251     26 | 77.825 % |
402.10/402.21	c |       478 |    4505    33268    83632 |    14759      478     19 | 77.825 % |
402.30/402.49	c |       816 |    4505    33268    83632 |    16235      816     26 | 77.825 % |
402.89/403.03	c |      1322 |    4505    33268    83632 |    17859     1322     28 | 77.825 % |
403.69/403.85	c |      2081 |    4505    33268    83632 |    19645     2081     26 | 77.825 % |
405.30/405.46	c |      3222 |    4505    33268    83632 |    21609     3222     28 | 77.825 % |
407.79/407.90	c |      4931 |    4504    33268    83632 |    23770     4927     32 | 77.830 % |
411.30/411.47	c |      7493 |    4504    33268    83632 |    26148     7489     31 | 77.830 % |
417.29/417.46	c |     11340 |    4504    33268    83632 |    28762    11336     31 | 77.830 % |
418.79/418.92	c ===============================================================================
419.09/419.22	c core #603
419.09/419.22	c 
419.09/419.22	c 
419.09/419.22	c Core size: 192	Core Weight: 1	Total Weight: -397
419.09/419.22	c
419.09/419.22	c
419.09/419.22	c ============================[ Search Statistics ]==============================
419.09/419.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
419.09/419.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
419.09/419.22	c ===============================================================================
419.09/419.22	c |         0 |    4677    33269    83976 |    11089        0    nan |  0.000 % |
419.19/419.39	c |       100 |    4677    33269    83976 |    12198      100     19 | 77.172 % |
419.39/419.54	c |       250 |    4677    33269    83976 |    13418      250     17 | 77.172 % |
419.59/419.72	c |       477 |    4677    33269    83976 |    14760      477     18 | 77.172 % |
419.90/420.01	c |       814 |    4677    33269    83976 |    16236      814     20 | 77.172 % |
420.29/420.40	c |      1320 |    4677    33269    83976 |    17860     1320     22 | 77.172 % |
420.89/421.09	c |      2081 |    4677    33269    83976 |    19646     2081     27 | 77.172 % |
422.49/422.65	c |      3223 |    4677    33269    83976 |    21610     3223     28 | 77.172 % |
424.69/424.89	c |      4931 |    4677    33269    83976 |    23771     4931     27 | 77.172 % |
429.29/429.47	c |      7495 |    4677    33269    83976 |    26148     7495     29 | 77.172 % |
438.09/438.22	c |     11339 |    4677    33269    83976 |    28763    11339     34 | 77.172 % |
455.58/455.71	c |     17105 |    4677    33269    83976 |    31640    17105     39 | 77.172 % |
482.58/482.79	c ===============================================================================
483.28/483.45	c core #604
483.28/483.45	c 
483.28/483.45	c 
483.28/483.45	c Core size: 251	Core Weight: 1	Total Weight: -396
483.28/483.45	c
483.28/483.45	c
483.28/483.45	c ============================[ Search Statistics ]==============================
483.28/483.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
483.28/483.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
483.28/483.45	c ===============================================================================
483.28/483.45	c |         0 |    4901    33270    84424 |    11090        0    nan |  0.000 % |
483.48/483.62	c |       101 |    4901    33270    84424 |    12199      101     96 | 76.337 % |
483.48/483.66	c |       252 |    4901    33270    84424 |    13418      252     63 | 76.337 % |
483.57/483.79	c |       481 |    4901    33270    84424 |    14760      481     56 | 76.337 % |
483.89/484.03	c |       818 |    4901    33270    84424 |    16236      818     67 | 76.337 % |
484.28/484.45	c |      1324 |    4901    33270    84424 |    17860     1324     80 | 76.337 % |
485.08/485.24	c |      2083 |    4901    33270    84424 |    19646     2083     87 | 76.337 % |
486.38/486.56	c |      3223 |    4901    33270    84424 |    21611     3223     92 | 76.337 % |
488.48/488.64	c |      4932 |    4901    33270    84424 |    23772     4932    101 | 76.337 % |
492.37/492.59	c |      7496 |    4901    33270    84424 |    26149     7496    113 | 76.337 % |
498.98/499.12	c |     11340 |    4901    33270    84424 |    28764    11340    121 | 76.337 % |
512.97/513.12	c |     17106 |    4901    33270    84424 |    31641    17106    132 | 76.337 % |
535.96/536.12	c |     25758 |    4901    33270    84424 |    34805    25758    135 | 76.337 % |
559.77/559.93	c |     38733 |    4901    33270    84424 |    38285    38733    129 | 76.337 % |
600.46/600.62	c |     58199 |    4901    33270    84424 |    42114    17435     75 | 76.337 % |
650.13/650.36	c |     87394 |    4901    33270    84424 |    46325    46630     77 | 76.337 % |
747.51/747.71	c |    131183 |    4901    33270    84424 |    50958    43920     83 | 76.337 % |
913.88/914.16	c |    196867 |    4859    33270    84424 |    56054    21335     47 | 76.540 % |
918.77/919.05	c ===============================================================================
923.38/923.67	c core #605
923.38/923.67	c 
923.38/923.67	c 
923.38/923.67	c Core size: 244	Core Weight: 1	Total Weight: -395
923.38/923.67	c
923.38/923.67	c
923.38/923.67	c ============================[ Search Statistics ]==============================
923.38/923.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
923.38/923.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
923.38/923.67	c ===============================================================================
923.38/923.67	c |         0 |    5135    33271    84892 |    11090        0    nan |  0.000 % |
923.48/923.79	c |       100 |    5135    33271    84892 |    12199      100     21 | 75.485 % |
923.69/923.94	c |       251 |    5135    33271    84892 |    13419      251     17 | 75.485 % |
923.79/924.05	c |       476 |    5135    33271    84892 |    14761      476     17 | 75.485 % |
924.08/924.38	c |       813 |    5135    33271    84892 |    16237      813     36 | 75.485 % |
924.58/924.80	c |      1321 |    5135    33271    84892 |    17861     1321     34 | 75.485 % |
925.38/925.61	c |      2080 |    5135    33271    84892 |    19647     2080     38 | 75.485 % |
926.57/926.88	c |      3219 |    5135    33271    84892 |    21611     3219     43 | 75.485 % |
928.98/929.28	c |      4932 |    5135    33271    84892 |    23773     4932     50 | 75.485 % |
933.58/933.84	c |      7496 |    5135    33271    84892 |    26150     7496     54 | 75.485 % |
939.47/939.78	c |     11341 |    5135    33271    84892 |    28765    11341     56 | 75.485 % |
950.97/951.26	c |     17107 |    5135    33271    84892 |    31642    17107     61 | 75.485 % |
972.46/972.77	c |     25760 |    5135    33271    84892 |    34806    25760     66 | 75.485 % |
1005.46/1005.72	c |     38735 |    5135    33271    84892 |    38286    38735     69 | 75.485 % |
1066.85/1067.13	c |     58196 |    5135    33271    84892 |    42115    20835     66 | 75.485 % |
1140.03/1140.35	c |     87389 |    5135    33271    84892 |    46327    50028     66 | 75.485 % |
1291.80/1292.19	c |    131179 |    5135    33271    84892 |    50959    46652     71 | 75.485 % |
1522.15/1522.53	c |    196864 |    5135    33271    84892 |    56055    61662     74 | 75.485 % |
1622.22/1622.68	c ===============================================================================
1627.32/1627.72	c core #606
1627.32/1627.72	c 
1627.32/1627.72	c 
1627.32/1627.72	c Core size: 232	Core Weight: 1	Total Weight: -394
1627.32/1627.72	c
1627.32/1627.72	c
1627.32/1627.72	c ============================[ Search Statistics ]==============================
1627.32/1627.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1627.32/1627.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1627.32/1627.72	c ===============================================================================
1627.32/1627.72	c |         0 |    5363    33272    85348 |    11090        0    nan |  0.000 % |
1627.53/1627.94	c |       101 |    5363    33272    85348 |    12199      101     43 | 74.672 % |
1627.63/1628.06	c |       251 |    5363    33272    85348 |    13419      251     31 | 74.672 % |
1627.83/1628.23	c |       477 |    5363    33272    85348 |    14761      477     29 | 74.672 % |
1628.12/1628.54	c |       814 |    5363    33272    85348 |    16237      814     36 | 74.672 % |
1628.52/1628.93	c |      1320 |    5363    33272    85348 |    17861     1320     41 | 74.672 % |
1629.32/1629.70	c |      2079 |    5363    33272    85348 |    19647     2079     52 | 74.672 % |
1630.22/1630.65	c |      3219 |    5363    33272    85348 |    21612     3219     54 | 74.672 % |
1631.93/1632.32	c |      4927 |    5363    33272    85348 |    23773     4927     57 | 74.672 % |
1636.32/1636.75	c |      7492 |    5363    33272    85348 |    26151     7492     71 | 74.672 % |
1644.42/1644.89	c |     11336 |    5363    33272    85348 |    28766    11336     84 | 74.672 % |
1654.62/1655.02	c |     17102 |    5363    33272    85348 |    31642    17102     80 | 74.672 % |
1672.51/1672.91	c |     25752 |    5363    33272    85348 |    34807    25752     82 | 74.672 % |
1706.20/1706.60	c |     38726 |    5363    33272    85348 |    38287    38726     87 | 74.672 % |
1762.99/1763.41	c |     58188 |    5363    33272    85348 |    42116    18181     88 | 74.672 % |

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-2702529-1278569372/watcher-2702529-1278569372 -o /tmp/evaluation-result-2702529-1278569372/solver-2702529-1278569372 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702529-1278569372.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.92 0.98 0.98 3/106 32347
/proc/meminfo: memFree=1787208/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=4456 CPUtime=0
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 25148565 4562944 333 1992294400 134512640 135752675 4294367200 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 1114 333 137 303 0 472 0

[startup+0.0250999 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 32347
/proc/meminfo: memFree=1787208/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=6016 CPUtime=0.02
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 731 0 0 0 2 0 0 0 20 0 1 0 25148565 6160384 649 1992294400 134512640 135752675 4294367200 18446744073709551615 134565465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 1504 649 153 303 0 862 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6016

[startup+0.101104 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 32347
/proc/meminfo: memFree=1787208/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=8156 CPUtime=0.09
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 1367 0 0 0 9 0 0 0 20 0 1 0 25148565 8351744 1285 1992294400 134512640 135752675 4294367200 18446744073709551615 134560565 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 2039 1285 249 303 0 1397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8156

[startup+0.301117 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 32347
/proc/meminfo: memFree=1787208/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=12440 CPUtime=0.29
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 2967 0 0 0 28 1 0 0 20 0 1 0 25148565 12738560 2515 1992294400 134512640 135752675 4294367200 18446744073709551615 135204598 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 3110 2515 143 303 0 2805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12440

[startup+0.701147 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 32347
/proc/meminfo: memFree=1787208/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=12704 CPUtime=0.69
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 3066 0 0 0 67 2 0 0 21 0 1 0 25148565 13008896 2614 1992294400 134512640 135752675 4294367200 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 3176 2614 145 303 0 2871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12704

[startup+1.5012 s]
/proc/loadavg: 0.92 0.98 0.98 2/107 32348
/proc/meminfo: memFree=1774800/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=19308 CPUtime=1.49
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 4736 0 0 0 144 5 0 0 23 0 1 0 25148565 19771392 4284 1992294400 134512640 135752675 4294367200 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 4827 4284 145 303 0 4522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19308

[startup+3.10031 s]
/proc/loadavg: 0.92 0.98 0.98 2/107 32348
/proc/meminfo: memFree=1765748/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=33188 CPUtime=3.09
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 8214 0 0 0 300 9 0 0 25 0 1 0 25148565 33984512 7762 1992294400 134512640 135752675 4294367200 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 8297 7762 145 303 0 7992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33188

[startup+6.30154 s]
/proc/loadavg: 0.93 0.98 0.98 2/107 32348
/proc/meminfo: memFree=1740576/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=55428 CPUtime=6.29
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 13773 0 0 0 614 15 0 0 25 0 1 0 25148565 56758272 13321 1992294400 134512640 135752675 4294367200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 13857 13321 145 303 0 13552 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55428

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.98 2/107 32348
/proc/meminfo: memFree=1710816/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=81344 CPUtime=12.69
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 20240 0 0 0 1248 21 0 0 25 0 1 0 25148565 83296256 19788 1992294400 134512640 135752675 4294367200 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 20336 19788 145 303 0 20031 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81344

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.98 2/107 32348
/proc/meminfo: memFree=1674484/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=116444 CPUtime=25.49
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 28990 0 0 0 2519 30 0 0 25 0 1 0 25148565 119238656 28538 1992294400 134512640 135752675 4294367200 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 29111 28538 145 303 0 28806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116444

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.98 2/107 32348
/proc/meminfo: memFree=1579500/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=212400 CPUtime=51.07
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 52957 0 0 0 5060 47 0 0 25 0 1 0 25148565 217497600 52505 1992294400 134512640 135752675 4294367200 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 53100 52505 145 303 0 52795 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 212400

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.98 2/107 32350
/proc/meminfo: memFree=1462320/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=327644 CPUtime=102.27
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 81722 0 0 0 10152 75 0 0 25 0 1 0 25148565 335507456 81270 1992294400 134512640 135752675 4294367200 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 81911 81270 145 303 0 81606 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 327644

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32352
/proc/meminfo: memFree=1404660/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=385448 CPUtime=162.25
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 96144 0 0 0 16134 91 0 0 25 0 1 0 25148565 394698752 95692 1992294400 134512640 135752675 4294367200 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 96362 95692 145 303 0 96057 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 385448

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32354
/proc/meminfo: memFree=1332492/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=456464 CPUtime=222.24
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 123010 0 0 0 22115 109 0 0 25 0 1 0 25148565 467419136 113598 1992294400 134512640 135752675 4294367200 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 114116 113598 146 303 0 113811 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 456464

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32354
/proc/meminfo: memFree=1331624/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=457100 CPUtime=282.22
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 123380 0 0 0 28096 126 0 0 25 0 1 0 25148565 468070400 113767 1992294400 134512640 135752675 4294367200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 114275 113767 146 303 0 113970 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 457100

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32356
/proc/meminfo: memFree=1327780/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=460852 CPUtime=342.2
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 124335 0 0 0 34080 140 0 0 25 0 1 0 25148565 471912448 114722 1992294400 134512640 135752675 4294367200 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 115213 114722 146 303 0 114908 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 460852

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32358
/proc/meminfo: memFree=1320340/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=473116 CPUtime=402.2
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 127392 0 0 0 40067 153 0 0 25 0 1 0 25148565 484470784 117779 1992294400 134512640 135752675 4294367200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 118279 117779 146 303 0 117974 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 473116

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32360
/proc/meminfo: memFree=1314388/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=474564 CPUtime=462.18
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 127635 0 0 0 46052 166 0 0 25 0 1 0 25148565 485953536 118022 1992294400 134512640 135752675 4294367200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 118641 118022 146 303 0 118336 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 474564

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/107 32360
/proc/meminfo: memFree=1314636/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=473116 CPUtime=522.17
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 127660 0 0 0 52039 178 0 0 25 0 1 0 25148565 484470784 117805 1992294400 134512640 135752675 4294367200 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 118279 117805 146 303 0 117974 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 473116

[startup+582.302 s]
/proc/loadavg: 1.07 0.99 0.99 2/107 32365
/proc/meminfo: memFree=1301244/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=486508 CPUtime=582.15
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 130972 0 0 0 58019 196 0 0 25 0 1 0 25148565 498184192 121117 1992294400 134512640 135752675 4294367200 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 121627 121117 146 303 0 121322 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 486508

[startup+642.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 32367
/proc/meminfo: memFree=1286612/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=500968 CPUtime=642.15
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 134611 0 0 0 63996 219 0 0 25 0 1 0 25148565 512991232 124756 1992294400 134512640 135752675 4294367200 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 125242 124756 146 303 0 124937 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 500968

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 32373
/proc/meminfo: memFree=1235028/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=552820 CPUtime=882.08
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 147473 0 0 0 87926 282 0 0 25 0 1 0 25148565 566087680 137618 1992294400 134512640 135752675 4294367200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 138205 137618 146 303 0 137900 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 552820

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 32375
/proc/meminfo: memFree=1217544/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=570724 CPUtime=942.07
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 151824 0 0 0 93906 301 0 0 25 0 1 0 25148565 584421376 141969 1992294400 134512640 135752675 4294367200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 142681 141969 146 303 0 142376 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 570724

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 32377
/proc/meminfo: memFree=1217544/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=570724 CPUtime=1002.06
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 151826 0 0 0 99893 313 0 0 25 0 1 0 25148565 584421376 141971 1992294400 134512640 135752675 4294367200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 142681 141971 146 303 0 142376 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 570724

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 32379
/proc/meminfo: memFree=1217544/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=570724 CPUtime=1062.05
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 151838 0 0 0 105882 323 0 0 25 0 1 0 25148565 584421376 141983 1992294400 134512640 135752675 4294367200 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 142681 141983 146 303 0 142376 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 570724

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 32379
/proc/meminfo: memFree=1217172/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=570724 CPUtime=1122.03
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 151911 0 0 0 111869 334 0 0 25 0 1 0 25148565 584421376 142056 1992294400 134512640 135752675 4294367200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 142681 142056 146 303 0 142376 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 570724

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 0.99 2/107 32381
/proc/meminfo: memFree=1217048/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=570724 CPUtime=1182.02
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 151936 0 0 0 117859 343 0 0 25 0 1 0 25148565 584421376 142081 1992294400 134512640 135752675 4294367200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 142681 142081 146 303 0 142376 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 570724

[startup+1242.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 32383
/proc/meminfo: memFree=1209856/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=578248 CPUtime=1242.01
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 153755 0 0 0 123844 357 0 0 25 0 1 0 25148565 592125952 143900 1992294400 134512640 135752675 4294367200 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 144562 143900 146 303 0 144257 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 578248

[startup+1302.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 32385
/proc/meminfo: memFree=1201672/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=586332 CPUtime=1302
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 155786 0 0 0 129831 369 0 0 25 0 1 0 25148565 600403968 145931 1992294400 134512640 135752675 4294367200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 146583 145931 146 303 0 146278 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 586332

[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 32387
/proc/meminfo: memFree=1195472/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=592744 CPUtime=1361.98
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 157356 0 0 0 135818 380 0 0 25 0 1 0 25148565 606969856 147501 1992294400 134512640 135752675 4294367200 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 148186 147501 146 303 0 147881 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 592744

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32389
/proc/meminfo: memFree=1185304/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=602828 CPUtime=1421.97
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 159885 0 0 0 141804 393 0 0 25 0 1 0 25148565 617295872 150030 1992294400 134512640 135752675 4294367200 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 150707 150030 146 303 0 150402 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 602828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32389
/proc/meminfo: memFree=1176748/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=611564 CPUtime=1481.95
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 162038 0 0 0 147790 405 0 0 25 0 1 0 25148565 626241536 152183 1992294400 134512640 135752675 4294367200 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 152891 152183 146 303 0 152586 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 611564

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32391
/proc/meminfo: memFree=1169432/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=618828 CPUtime=1541.94
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 163835 0 0 0 153777 417 0 0 25 0 1 0 25148565 633679872 153980 1992294400 134512640 135752675 4294367200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 154707 153980 146 303 0 154402 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 618828

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32393
/proc/meminfo: memFree=1158520/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=629740 CPUtime=1601.93
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 166567 0 0 0 159760 433 0 0 25 0 1 0 25148565 644853760 156712 1992294400 134512640 135752675 4294367200 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 157435 156712 146 303 0 157130 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 629740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32395
/proc/meminfo: memFree=1145996/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=641308 CPUtime=1661.91
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 169776 0 0 0 165742 449 0 0 25 0 1 0 25148565 656699392 159675 1992294400 134512640 135752675 4294367200 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 160327 159675 146 303 0 160022 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 641308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32395
/proc/meminfo: memFree=1145872/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=641308 CPUtime=1721.9
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 169883 0 0 0 171727 463 0 0 25 0 1 0 25148565 656699392 159782 1992294400 134512640 135752675 4294367200 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 160327 159782 146 303 0 160022 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 641308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32397
/proc/meminfo: memFree=1141036/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=646096 CPUtime=1781.89
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 171088 0 0 0 177714 475 0 0 25 0 1 0 25148565 661602304 160987 1992294400 134512640 135752675 4294367200 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 161524 160987 146 303 0 161219 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 646096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32399
/proc/meminfo: memFree=1137440/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=649580 CPUtime=1800.09
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 171941 0 0 0 179530 479 0 0 25 0 1 0 25148565 665169920 161840 1992294400 134512640 135752675 4294367200 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 162395 161840 146 303 0 162090 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 649580

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 32399
/proc/meminfo: memFree=1137440/2059040 swapFree=4109596/4192956
[pid=32347] ppid=32345 vsize=649580 CPUtime=1800.09
/proc/32347/stat : 32347 (wbo1.4b) R 32345 32347 31526 0 -1 4202496 171941 0 0 0 179530 479 0 0 25 0 1 0 25148565 665169920 161840 1992294400 134512640 135752675 4294367200 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32347/statm: 162395 161840 146 303 0 162090 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 649580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.16
CPU user time (s): 1795.31
CPU system time (s): 4.85426
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 649580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.31
system time used= 4.85426
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171941
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= 70
involuntary context switches= 5808

runsolver used 2.82057 second user time and 8.72767 second system time

The end

Launcher Data 

Begin job on node034 at 2010-07-08 08:09:32
IDJOB=2702529
IDBENCH=48199
IDSOLVER=1190
FILE ID=node034/2702529-1278569372
PBS_JOBID= 11239567
Free space on /tmp= 62404 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.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-2702529-1278569372/watcher-2702529-1278569372 -o /tmp/evaluation-result-2702529-1278569372/solver-2702529-1278569372 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702529-1278569372.opb

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

MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0
RANDOM SEED=281110905

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1789100 kB
Buffers:         43308 kB
Cached:         116668 kB
SwapCached:      41372 kB
Active:         107204 kB
Inactive:        96788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1789100 kB
SwapTotal:     4192956 kB
SwapFree:      4109596 kB
Dirty:            3320 kB
Writeback:           0 kB
AnonPages:       11428 kB
Mapped:           8504 kB
Slab:            44056 kB
PageTables:       4260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183684 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-2702529-1278569372.opb

Free space on /tmp at the end= 62400 MiB
End job on node034 at 2010-07-08 08:39:36