Trace number 2702549

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
MD5SUM1af848a7208b60f67c27d4022c7b5abe
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-124
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -151
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 constraint50
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)31544
Sum of products size (including duplicates)63088
Number of different products15772
Sum of products size31544

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-2702549-1278569929.opb.
0.00/0.00	c Instance file HOME/instance-2702549-1278569929.opb
0.00/0.00	c File size is 1374244 bytes.
0.19/0.23	c Highest Coefficient sum: 50
0.19/0.23	c ============================[ Problem Statistics ]=============================
0.19/0.23	c |                                                                             |
0.19/0.23	c |  Parsing time:          0.22         s                                      |
0.19/0.23	c |  Number Variables:      16772                                               |
0.19/0.23	c |  Number Clauses:        15772                                               |
0.19/0.23	c |  Number Cardinality:    2000                                                |
0.19/0.23	c |  Number PB Constraints: 15772                                               |
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    33544    77709 |    11181        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.285956 s	Remaining CPU time: 179.714 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1000    33545    78709 |    11181        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    33546    79709 |    11182        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.299954 s	Remaining CPU time: 179.7 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |    1000    33547    80709 |    11182        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    33548    81709 |    11182        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.313952 s	Remaining CPU time: 179.686 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    1000    33549    82709 |    11183        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -5
0.29/0.34	o -5
0.29/0.34	c Elapsed CPU time: 0.321951 s	Remaining CPU time: 179.678 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    1000    33550    83709 |    11183        0    nan |  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.328949 s	Remaining CPU time: 179.671 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         3 |    1000    33551    84709 |    11183        3    995 |  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.336948 s	Remaining CPU time: 179.663 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         3 |    1000    33552    85709 |    11184        3    995 |  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.344947 s	Remaining CPU time: 179.655 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |         3 |    1000    33553    86709 |    11184        3    995 |  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.352946 s	Remaining CPU time: 179.647 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |         4 |    1000    33554    87709 |    11184        4    994 |  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.360945 s	Remaining CPU time: 179.639 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |         5 |    1000    33555    88709 |    11185        5    994 |  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.369943 s	Remaining CPU time: 179.63 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |         5 |    1000    33556    89709 |    11185        5    994 |  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.377942 s	Remaining CPU time: 179.622 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |        10 |    1000    33557    90709 |    11185       10    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.387941 s	Remaining CPU time: 179.612 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |        12 |    1000    33558    91709 |    11186       12    991 |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -14
0.39/0.42	o -14
0.39/0.42	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 179.599 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |        30 |    1000    33559    92709 |    11186       30    989 |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -15
0.39/0.44	o -15
0.39/0.44	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 179.581 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |        62 |    1000    33560    93709 |    11186       62    988 |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -16
0.39/0.45	o -16
0.39/0.45	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 179.57 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |        68 |    1000    33561    94709 |    11187       68    988 |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -17
0.39/0.47	o -17
0.39/0.47	c Elapsed CPU time: 0.440932 s	Remaining CPU time: 179.559 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |        76 |    1000    33562    95709 |    11187       76    988 |  0.000 % |
0.39/0.49	c |       176 |    1000    33562    95709 |    12306      176    985 | 94.038 % |
0.49/0.53	c |       326 |    1000    33562    95709 |    13536      326    984 | 94.038 % |
0.49/0.59	c |       551 |    1000    33562    95709 |    14890      551    984 | 94.038 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -18
0.59/0.68	o -18
0.59/0.68	c Elapsed CPU time: 0.647901 s	Remaining CPU time: 179.352 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |       796 |    1000    33563    96709 |    11187      796    984 | 94.038 % |
0.69/0.72	c |       896 |    1000    33563    96709 |    12306      896    984 | 94.038 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -19
0.69/0.76	o -19
0.69/0.76	c Elapsed CPU time: 0.726889 s	Remaining CPU time: 179.273 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |       977 |    1000    33564    97709 |    11188      977    984 | 94.038 % |
0.79/0.80	c |      1079 |    1000    33564    97709 |    12306     1079    984 | 94.038 % |
0.79/0.85	c |      1230 |    1000    33564    97709 |    13537     1230    984 | 94.038 % |
0.89/0.93	c |      1456 |    1000    33564    97709 |    14891     1456    983 | 94.038 % |
1.00/1.03	c |      1793 |    1000    33564    97709 |    16380     1793    983 | 94.038 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -20
1.00/1.04	o -20
1.00/1.04	c Elapsed CPU time: 0.996848 s	Remaining CPU time: 179.003 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |      1793 |    1000    33565    98709 |    11188     1793    983 | 94.038 % |
1.00/1.08	c |      1893 |    1000    33565    98709 |    12307     1893    983 | 94.038 % |
1.10/1.15	c ===============================================================================
1.10/1.15	c New solution: -21
1.10/1.15	o -21
1.10/1.15	c Elapsed CPU time: 1.10283 s	Remaining CPU time: 178.897 s
1.10/1.15	c ===============================================================================
1.10/1.15	c |      1996 |    1000    33566    99709 |    11188     1996    983 | 94.038 % |
1.10/1.19	c |      2096 |    1000    33566    99709 |    12307     2096    983 | 94.038 % |
1.19/1.25	c |      2247 |    1000    33566    99709 |    13538     2247    982 | 94.038 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c New solution: -22
1.19/1.29	o -22
1.19/1.29	c Elapsed CPU time: 1.24181 s	Remaining CPU time: 178.758 s
1.19/1.29	c ===============================================================================
1.19/1.29	c |      2326 |    1000    33567   100709 |    11189     2326    982 | 94.038 % |
1.29/1.34	c |      2426 |    1000    33567   100709 |    12307     2426    982 | 94.038 % |
1.29/1.39	c |      2577 |    1000    33567   100709 |    13538     2577    982 | 94.038 % |
1.39/1.49	c |      2803 |    1000    33567   100709 |    14892     2803    982 | 94.038 % |
1.59/1.64	c |      3140 |    1000    33567   100709 |    16381     3140    982 | 94.038 % |
1.78/1.84	c |      3646 |    1000    33567   100709 |    18019     3646    982 | 94.038 % |
2.10/2.17	c |      4405 |    1000    33567   100709 |    19821     4405    981 | 94.038 % |
2.59/2.68	c ===============================================================================
2.59/2.68	c New solution: -23
2.59/2.68	o -23
2.59/2.68	c Elapsed CPU time: 2.6086 s	Remaining CPU time: 177.391 s
2.59/2.68	c ===============================================================================
2.59/2.68	c |      5517 |    1000    33568   101709 |    11189     5517    981 | 94.038 % |
2.69/2.73	c |      5617 |    1000    33568   101709 |    12308     5617    980 | 94.038 % |
2.79/2.83	c |      5768 |    1000    33568   101709 |    13539     5768    980 | 94.038 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: -24
2.79/2.89	o -24
2.79/2.89	c Elapsed CPU time: 2.82457 s	Remaining CPU time: 177.175 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |      5835 |    1000    33569   102709 |    11189     5835    980 | 94.038 % |
2.89/2.99	c |      5935 |    1000    33569   102709 |    12308     5935    980 | 94.038 % |
2.99/3.07	c |      6085 |    1000    33569   102709 |    13539     6085    980 | 94.038 % |
3.09/3.17	c |      6310 |    1000    33569   102709 |    14893     6310    980 | 94.038 % |
3.39/3.48	c |      6648 |    1000    33569   102709 |    16382     6648    980 | 94.038 % |
3.89/3.90	c |      7155 |    1000    33569   102709 |    18021     7155    980 | 94.038 % |
4.40/4.45	c |      7915 |    1000    33569   102709 |    19823     7915    979 | 94.038 % |
5.29/5.30	c ===============================================================================
5.29/5.30	c New solution: -25
5.29/5.30	o -25
5.29/5.30	c Elapsed CPU time: 5.19721 s	Remaining CPU time: 174.803 s
5.29/5.30	c ===============================================================================
5.29/5.30	c |      9016 |    1000    33570   103709 |    11190     9016    979 | 94.038 % |
5.39/5.40	c |      9117 |    1000    33570   103709 |    12309     9117    979 | 94.038 % |
5.50/5.52	c |      9268 |    1000    33570   103709 |    13539     9268    979 | 94.038 % |
5.59/5.68	c |      9493 |    1000    33570   103709 |    14893     9493    979 | 94.038 % |
5.78/5.83	c |      9831 |    1000    33570   103709 |    16383     9831    979 | 94.038 % |
6.09/6.18	c |     10337 |    1000    33570   103709 |    18021    10337    979 | 94.038 % |
6.60/6.62	c |     11096 |    1000    33570   103709 |    19823    11096    978 | 94.038 % |
6.79/6.89	c ===============================================================================
6.79/6.89	c New solution: -26
6.79/6.89	o -26
6.79/6.89	c Elapsed CPU time: 6.75597 s	Remaining CPU time: 173.244 s
6.79/6.89	c ===============================================================================
6.79/6.89	c |     11488 |    1000    33571   104709 |    11190    11488    978 | 94.038 % |
6.89/6.97	c |     11589 |    1000    33571   104709 |    12309    11589    978 | 94.038 % |
7.09/7.10	c |     11740 |    1000    33571   104709 |    13540    11740    978 | 94.038 % |
7.48/7.51	c |     11965 |    1000    33571   104709 |    14894    11965    978 | 94.038 % |
7.70/7.75	c |     12303 |    1000    33571   104709 |    16383    12303    978 | 94.038 % |
8.09/8.10	c |     12810 |    1000    33571   104709 |    18022    12810    978 | 94.038 % |
8.70/8.77	c |     13570 |    1000    33571   104709 |    19824    13570    978 | 94.038 % |
9.18/9.21	c ===============================================================================
9.18/9.21	c New solution: -27
9.18/9.21	o -27
9.18/9.21	c Elapsed CPU time: 9.04962 s	Remaining CPU time: 170.95 s
9.18/9.21	c ===============================================================================
9.18/9.21	c |     13972 |    1000    33572   105709 |    11190    13972    978 | 94.038 % |
9.29/9.35	c |     14073 |    1000    33572   105709 |    12309    14073    978 | 94.038 % |
9.59/9.62	c |     14224 |    1000    33572   105709 |    13540    14224    978 | 94.038 % |
9.89/9.92	c |     14450 |    1000    33572   105709 |    14894    14450    978 | 94.038 % |
10.19/10.28	c |     14787 |    1000    33572   105709 |    16384    14787    978 | 94.038 % |
10.29/10.37	c ===============================================================================
10.29/10.37	c New solution: -28
10.29/10.37	o -28
10.29/10.37	c Elapsed CPU time: 10.2004 s	Remaining CPU time: 169.8 s
10.29/10.37	c ===============================================================================
10.29/10.37	c |     14868 |    1000    33573   106709 |    11191    14868    978 | 94.038 % |
10.49/10.51	c |     14969 |    1000    33573   106709 |    12310    14969    978 | 94.038 % |
10.59/10.63	c |     15119 |    1000    33573   106709 |    13541    15119    977 | 94.038 % |
10.79/10.89	c |     15345 |    1000    33573   106709 |    14895    15345    977 | 94.038 % |
11.49/11.54	c |     15682 |    1000    33573   106709 |    16384    15682    977 | 94.038 % |
11.99/12.04	c |     16188 |    1000    33573   106709 |    18023    16188    977 | 94.038 % |
12.68/12.74	c |     16947 |    1000    33573   106709 |    19825    16947    977 | 94.038 % |
13.88/13.91	c |     18086 |    1000    33573   106709 |    21808    18086    977 | 94.038 % |
16.88/16.98	c |     19795 |    1000    33573   106709 |    23988    19795    976 | 94.038 % |
17.19/17.23	c ===============================================================================
17.19/17.23	c New solution: -29
17.19/17.23	o -29
17.19/17.23	c Elapsed CPU time: 17.0014 s	Remaining CPU time: 162.999 s
17.19/17.23	c ===============================================================================
17.19/17.23	c |     19986 |    1000    33574   107709 |    11191    19986    976 | 94.038 % |
17.60/17.64	c |     20086 |    1000    33574   107709 |    12310    20086    976 | 94.038 % |
18.29/18.39	c |     20236 |    1000    33574   107709 |    13541    20236    976 | 94.038 % |
19.48/19.59	c |     20462 |    1000    33574   107709 |    14895    20462    976 | 94.038 % |
20.59/20.63	c |     20800 |    1000    33574   107709 |    16385    20800    976 | 94.038 % |
21.68/21.71	c |     21306 |    1000    33574   107709 |    18023    21306    976 | 94.038 % |
23.59/23.67	c |     22065 |    1000    33574   107709 |    19826    22065    976 | 94.038 % |
25.49/25.56	c ===============================================================================
25.49/25.56	c New solution: -30
25.49/25.56	o -30
25.49/25.56	c Elapsed CPU time: 25.2932 s	Remaining CPU time: 154.707 s
25.49/25.56	c ===============================================================================
25.49/25.56	c |     22655 |    1000    33575   108709 |    11191    22655    976 | 94.038 % |
25.78/25.80	c |     22756 |    1000    33575   108709 |    12310    22756    976 | 94.038 % |
26.08/26.15	c |     22906 |    1000    33575   108709 |    13541    22906    976 | 94.038 % |
26.59/26.60	c |     23131 |    1000    33575   108709 |    14896    23131    976 | 94.038 % |
27.08/27.18	c |     23468 |    1000    33575   108709 |    16385    23468    976 | 94.038 % |
29.08/29.16	c |     23975 |    1000    33575   108709 |    18024    23975    976 | 94.038 % |
30.98/31.00	c |     24734 |    1000    33575   108709 |    19826    24734    975 | 94.038 % |
34.18/34.22	c ===============================================================================
34.18/34.22	c New solution: -31
34.18/34.22	o -31
34.18/34.22	c Elapsed CPU time: 33.9118 s	Remaining CPU time: 146.088 s
34.18/34.22	c ===============================================================================
34.18/34.22	c |     25485 |    1000    33576   109709 |    11192    25485    975 | 94.038 % |
34.68/34.71	c |     25586 |    1000    33576   109709 |    12311    25586    975 | 94.038 % |
35.28/35.35	c |     25737 |    1000    33576   109709 |    13542    25737    975 | 94.038 % |
36.38/36.46	c |     25962 |    1000    33576   109709 |    14896    25962    975 | 94.038 % |
37.08/37.12	c |     26300 |    1000    33576   109709 |    16386    26300    975 | 94.038 % |
38.08/38.12	c |     26806 |    1000    33576   109709 |    18024    26806    975 | 94.038 % |
39.28/39.33	c |     27565 |    1000    33576   109709 |    19827    27565    975 | 94.038 % |
39.98/40.06	c ===============================================================================
39.98/40.06	c New solution: -32
39.98/40.06	o -32
39.98/40.06	c Elapsed CPU time: 39.709 s	Remaining CPU time: 140.291 s
39.98/40.06	c ===============================================================================
39.98/40.06	c |     28075 |    1000    33577   110709 |    11192    28075    975 | 94.038 % |
40.68/40.72	c |     28175 |    1000    33577   110709 |    12311    11010    971 | 94.038 % |
40.78/40.85	c |     28325 |    1000    33577   110709 |    13542    11160    971 | 94.038 % |
41.18/41.27	c |     28550 |    1000    33577   110709 |    14896    11385    971 | 94.038 % |
41.69/41.72	c |     28887 |    1000    33577   110709 |    16386    11722    971 | 94.038 % |
42.28/42.37	c |     29394 |    1000    33577   110709 |    18025    12229    971 | 94.038 % |
42.98/43.06	c |     30154 |    1000    33577   110709 |    19827    12989    971 | 94.038 % |
44.18/44.28	c |     31294 |    1000    33577   110709 |    21810    14129    971 | 94.038 % |
45.48/45.56	c ===============================================================================
45.48/45.56	c New solution: -33
45.48/45.56	o -33
45.48/45.56	c Elapsed CPU time: 45.1411 s	Remaining CPU time: 134.859 s
45.48/45.56	c ===============================================================================
45.48/45.56	c |     32430 |    1000    33578   111709 |    11192    15265    971 | 94.038 % |
45.58/45.67	c |     32531 |    1000    33578   111709 |    12311    15366    971 | 94.038 % |
45.67/45.79	c |     32681 |    1000    33578   111709 |    13543    15516    971 | 94.038 % |
45.88/46.00	c |     32906 |    1000    33578   111709 |    14897    15741    971 | 94.038 % |
46.18/46.29	c ===============================================================================
46.18/46.29	c New solution: -34
46.18/46.29	o -34
46.18/46.29	c Elapsed CPU time: 45.863 s	Remaining CPU time: 134.137 s
46.18/46.29	c ===============================================================================
46.18/46.29	c |     33223 |    1000    33579   112709 |    11193    16058    971 | 94.038 % |
46.38/46.43	c |     33325 |    1000    33579   112709 |    12312    16160    971 | 94.038 % |
46.78/46.88	c |     33475 |    1000    33579   112709 |    13543    16310    970 | 94.038 % |
47.08/47.12	c |     33702 |    1000    33579   112709 |    14897    16537    970 | 94.038 % |
47.19/47.24	c ===============================================================================
47.19/47.24	c New solution: -35
47.19/47.24	o -35
47.19/47.24	c Elapsed CPU time: 46.8109 s	Remaining CPU time: 133.189 s
47.19/47.24	c ===============================================================================
47.19/47.24	c |     33845 |    1000    33580   113709 |    11193    16680    970 | 94.038 % |
47.29/47.31	c |     33946 |    1000    33580   113709 |    12312    16781    970 | 94.038 % |
47.38/47.42	c |     34098 |    1000    33580   113709 |    13543    16933    970 | 94.038 % |
47.68/47.76	c |     34325 |    1000    33580   113709 |    14898    17160    970 | 94.038 % |
48.17/48.21	c |     34663 |    1000    33580   113709 |    16388    17498    970 | 94.038 % |
48.78/48.87	c |     35169 |    1000    33580   113709 |    18026    18004    970 | 94.038 % |
49.58/49.64	c |     35928 |    1000    33580   113709 |    19829    18763    970 | 94.038 % |
51.98/52.03	c |     37069 |    1000    33580   113709 |    21812    19904    970 | 94.038 % |
56.08/56.18	c |     38777 |    1000    33580   113709 |    23993    21612    969 | 94.038 % |
62.68/62.76	c |     41339 |    1000    33580   113709 |    26393    24174    969 | 94.038 % |
70.97/71.02	c |     45183 |    1000    33580   113709 |    29032    28018    969 | 94.038 % |
77.57/77.67	c |     50950 |    1000    33580   113709 |    31935    33785    968 | 94.038 % |
85.07/85.11	c |     59599 |    1000    33580   113709 |    35129    42434    968 | 94.038 % |
95.27/95.36	c |     72573 |    1000    33580   113709 |    38642    15041    965 | 94.038 % |
96.27/96.32	c ===============================================================================
96.27/96.32	c New solution: -36
96.27/96.32	o -36
96.27/96.32	c Elapsed CPU time: 95.5765 s	Remaining CPU time: 84.4235 s
96.27/96.32	c ===============================================================================
96.27/96.32	c |     73488 |    1000    33581   114709 |    11193    15956    965 | 94.038 % |
96.37/96.48	c |     73588 |    1000    33581   114709 |    12313    16056    965 | 94.038 % |
96.67/96.73	c |     73739 |    1000    33581   114709 |    13544    16207    965 | 94.038 % |
96.96/97.02	c |     73964 |    1000    33581   114709 |    14898    16432    965 | 94.038 % |
97.57/97.67	c |     74301 |    1000    33581   114709 |    16388    16769    965 | 94.038 % |
98.27/98.32	c |     74808 |    1000    33581   114709 |    18027    17276    965 | 94.038 % |
99.77/99.85	c |     75567 |    1000    33581   114709 |    19830    18035    965 | 94.038 % |
100.07/100.14	c ===============================================================================
100.07/100.14	c New solution: -37
100.07/100.14	o -37
100.07/100.14	c Elapsed CPU time: 99.3709 s	Remaining CPU time: 80.6291 s
100.07/100.14	c ===============================================================================
100.07/100.14	c |     75663 |    1000    33582   115709 |    11194    18131    965 | 94.038 % |
100.46/100.58	c |     75763 |    1000    33582   115709 |    12313    18231    965 | 94.038 % |
100.76/100.80	c |     75913 |    1000    33582   115709 |    13544    18381    965 | 94.038 % |
100.97/101.08	c |     76138 |    1000    33582   115709 |    14899    18606    965 | 94.038 % |
101.87/101.92	c |     76475 |    1000    33582   115709 |    16389    18943    965 | 94.038 % |
104.27/104.37	c |     76982 |    1000    33582   115709 |    18028    19450    965 | 94.038 % |
106.06/106.14	c |     77742 |    1000    33582   115709 |    19830    20210    965 | 94.038 % |
107.67/107.77	c |     78883 |    1000    33582   115709 |    21813    21351    965 | 94.038 % |
112.76/112.84	c |     80591 |    1000    33582   115709 |    23995    23059    965 | 94.038 % |
117.77/117.83	c |     83153 |    1000    33582   115709 |    26394    25621    965 | 94.038 % |
127.46/127.54	c |     86997 |    1000    33582   115709 |    29034    29465    965 | 94.038 % |
144.16/144.28	c |     92763 |    1000    33582   115709 |    31937    35231    965 | 94.038 % |
162.35/162.40	c |    101413 |    1000    33582   115709 |    35131    43881    965 | 94.038 % |
180.95/181.08	c There are 15772 assigned variables. 0 in cost function.
183.65/183.73	c core #1
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -999
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #2
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -998
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #3
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -997
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #4
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -996
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #5
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -995
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #6
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -994
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #7
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -993
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #8
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -992
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #9
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -991
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #10
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -990
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #11
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -989
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #12
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -988
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #13
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -987
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #14
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -986
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #15
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -985
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #16
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -984
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #17
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -983
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #18
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -982
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #19
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -981
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #20
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -980
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #21
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -979
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #22
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -978
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #23
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -977
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #24
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -976
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #25
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -975
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #26
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -974
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #27
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -973
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #28
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -972
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #29
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -971
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #30
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -970
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #31
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -969
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #32
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -968
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #33
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -967
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #34
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -966
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #35
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -965
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #36
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -964
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #37
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -963
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #38
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -962
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #39
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -961
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #40
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -960
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #41
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -959
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #42
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -958
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #43
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -957
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #44
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -956
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #45
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -955
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #46
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -954
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #47
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -953
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #48
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -952
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #49
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -951
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #50
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -950
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #51
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -949
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #52
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -948
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #53
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -947
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #54
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -946
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #55
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -945
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #56
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -944
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #57
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -943
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #58
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -942
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #59
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: -941
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #60
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -940
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #61
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -939
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #62
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -938
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #63
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -937
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #64
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -936
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #65
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -935
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #66
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -934
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #67
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -933
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #68
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -932
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #69
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -931
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #70
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -930
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #71
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -929
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #72
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -928
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #73
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -927
186.24/186.32	c
186.24/186.32	c
186.24/186.32	c core #74
186.24/186.32	c 
186.24/186.32	c 
186.24/186.32	c Core size: 3	Core Weight: 1	Total Weight: -926
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #75
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -925
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #76
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -924
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #77
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -923
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #78
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -922
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #79
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -921
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #80
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -920
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #81
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -919
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #82
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -918
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #83
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -917
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #84
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -916
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #85
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -915
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #86
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -914
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #87
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -913
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #88
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -912
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #89
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -911
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #90
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -910
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #91
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -909
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #92
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -908
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #93
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -907
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #94
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -906
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #95
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -905
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #96
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -904
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #97
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -903
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #98
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -902
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #99
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -901
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #100
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -900
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #101
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -899
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #102
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -898
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #103
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -897
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #104
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -896
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #105
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -895
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #106
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -894
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #107
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -893
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #108
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -892
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #109
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -891
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #110
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -890
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #111
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -889
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #112
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -888
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #113
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -887
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #114
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -886
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #115
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -885
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #116
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -884
186.24/186.33	c
186.24/186.33	c
186.24/186.33	c core #117
186.24/186.33	c 
186.24/186.33	c 
186.24/186.33	c Core size: 3	Core Weight: 1	Total Weight: -883
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #118
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -882
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #119
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -881
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #120
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -880
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #121
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -879
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #122
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -878
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #123
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -877
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #124
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -876
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #125
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -875
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #126
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -874
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #127
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -873
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #128
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -872
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #129
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -871
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #130
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -870
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #131
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -869
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #132
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -868
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #133
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -867
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #134
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -866
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #135
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -865
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #136
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -864
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #137
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -863
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #138
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -862
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #139
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -861
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #140
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -860
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #141
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -859
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #142
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -858
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #143
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -857
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #144
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -856
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #145
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -855
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #146
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -854
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #147
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -853
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #148
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -852
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #149
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -851
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #150
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -850
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #151
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -849
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #152
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -848
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #153
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -847
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #154
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -846
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #155
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -845
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #156
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -844
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #157
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -843
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #158
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -842
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #159
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -841
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #160
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -840
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #161
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -839
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #162
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -838
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #163
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -837
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #164
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -836
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #165
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -835
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #166
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -834
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #167
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -833
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #168
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -832
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #169
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -831
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #170
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -830
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #171
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -829
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #172
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -828
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #173
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -827
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #174
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -826
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c core #175
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 3	Core Weight: 1	Total Weight: -825
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #176
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -824
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #177
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -823
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #178
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -822
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #179
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -821
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #180
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -820
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #181
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -819
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #182
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -818
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #183
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -817
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #184
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -816
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #185
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -815
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #186
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -814
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #187
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -813
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #188
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -812
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #189
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -811
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #190
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -810
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #191
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -809
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #192
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -808
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #193
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -807
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #194
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -806
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #195
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -805
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #196
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -804
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #197
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -803
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #198
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -802
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #199
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -801
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #200
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -800
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #201
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -799
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #202
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -798
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #203
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -797
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #204
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -796
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #205
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -795
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #206
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -794
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #207
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -793
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #208
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -792
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #209
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -791
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #210
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -790
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #211
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -789
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #212
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -788
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #213
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -787
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #214
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -786
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #215
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -785
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #216
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -784
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #217
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -783
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #218
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -782
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #219
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -781
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #220
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -780
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #221
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -779
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #222
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -778
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #223
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -777
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #224
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -776
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #225
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -775
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #226
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -774
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #227
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -773
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #228
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -772
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #229
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -771
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #230
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -770
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #231
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -769
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #232
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -768
192.04/192.13	c
192.04/192.13	c
192.04/192.13	c core #233
192.04/192.13	c 
192.04/192.13	c 
192.04/192.13	c Core size: 3	Core Weight: 1	Total Weight: -767
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #234
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -766
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #235
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -765
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #236
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -764
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #237
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -763
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #238
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -762
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #239
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -761
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #240
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -760
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #241
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -759
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #242
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -758
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #243
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -757
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #244
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -756
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #245
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -755
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #246
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -754
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #247
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -753
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #248
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -752
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #249
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -751
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #250
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -750
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #251
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -749
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #252
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -748
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #253
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -747
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #254
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -746
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #255
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -745
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #256
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -744
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #257
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -743
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #258
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -742
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #259
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -741
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #260
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -740
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #261
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -739
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #262
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -738
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #263
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -737
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #264
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -736
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #265
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -735
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #266
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -734
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #267
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -733
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #268
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -732
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #269
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -731
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #270
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -730
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #271
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -729
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #272
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -728
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #273
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -727
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #274
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -726
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #275
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -725
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #276
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -724
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #277
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -723
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #278
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -722
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #279
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -721
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #280
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -720
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #281
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -719
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #282
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -718
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #283
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -717
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #284
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -716
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #285
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -715
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #286
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -714
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #287
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -713
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #288
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -712
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #289
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -711
195.14/195.20	c
195.14/195.20	c
195.14/195.20	c core #290
195.14/195.20	c 
195.14/195.20	c 
195.14/195.20	c Core size: 3	Core Weight: 1	Total Weight: -710
195.14/195.20	c
198.34/198.44	c
198.34/198.44	c core #291
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -709
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #292
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -708
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #293
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -707
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #294
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -706
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #295
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -705
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #296
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -704
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #297
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -703
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #298
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -702
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #299
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -701
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #300
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -700
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #301
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -699
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #302
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -698
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #303
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -697
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #304
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -696
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #305
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -695
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #306
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -694
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #307
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -693
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #308
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -692
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #309
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -691
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #310
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -690
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #311
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -689
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #312
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -688
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #313
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -687
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #314
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -686
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #315
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -685
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #316
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -684
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #317
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -683
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #318
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -682
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #319
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -681
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #320
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -680
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #321
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -679
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #322
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -678
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #323
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -677
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #324
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -676
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #325
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -675
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #326
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -674
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #327
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -673
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #328
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -672
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #329
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -671
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #330
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -670
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #331
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -669
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #332
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -668
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #333
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -667
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #334
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -666
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #335
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -665
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #336
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -664
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #337
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -663
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #338
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -662
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #339
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -661
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #340
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -660
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #341
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -659
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #342
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -658
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #343
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -657
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #344
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -656
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #345
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -655
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #346
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -654
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #347
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -653
198.34/198.44	c
198.34/198.44	c
198.34/198.44	c core #348
198.34/198.44	c 
198.34/198.44	c 
198.34/198.44	c Core size: 3	Core Weight: 1	Total Weight: -652
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #349
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -651
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #350
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -650
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #351
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -649
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #352
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -648
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #353
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -647
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #354
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -646
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #355
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -645
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #356
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -644
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #357
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -643
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #358
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -642
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #359
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -641
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #360
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -640
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #361
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -639
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #362
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -638
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #363
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -637
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #364
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -636
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #365
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -635
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #366
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -634
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #367
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -633
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #368
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -632
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #369
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -631
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #370
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -630
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #371
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -629
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #372
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -628
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #373
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -627
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #374
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -626
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #375
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -625
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #376
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -624
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #377
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -623
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #378
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -622
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #379
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -621
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #380
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -620
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #381
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -619
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #382
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -618
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #383
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -617
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #384
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -616
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #385
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -615
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #386
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -614
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #387
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -613
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #388
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -612
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #389
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -611
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #390
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -610
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #391
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -609
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #392
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -608
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #393
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -607
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #394
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -606
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #395
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -605
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #396
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -604
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #397
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -603
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #398
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -602
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #399
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -601
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #400
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -600
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #401
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -599
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #402
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -598
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #403
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -597
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #404
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -596
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #405
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -595
201.74/201.84	c
201.74/201.84	c
201.74/201.84	c core #406
201.74/201.84	c 
201.74/201.84	c 
201.74/201.84	c Core size: 3	Core Weight: 1	Total Weight: -594
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #407
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -593
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #408
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -592
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #409
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -591
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #410
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -590
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #411
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -589
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #412
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -588
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #413
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -587
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #414
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -586
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #415
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -585
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #416
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -584
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #417
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -583
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #418
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -582
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #419
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -581
205.24/205.31	c
205.24/205.31	c
205.24/205.31	c core #420
205.24/205.31	c 
205.24/205.31	c 
205.24/205.31	c Core size: 3	Core Weight: 1	Total Weight: -580
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #421
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -579
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #422
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -578
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #423
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -577
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #424
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -576
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #425
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -575
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #426
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -574
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #427
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -573
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #428
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -572
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #429
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -571
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #430
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -570
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #431
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -569
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #432
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -568
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #433
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -567
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #434
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -566
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #435
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -565
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #436
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -564
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #437
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -563
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #438
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -562
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #439
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -561
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #440
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -560
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #441
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -559
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #442
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -558
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #443
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -557
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #444
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -556
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #445
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -555
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #446
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -554
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #447
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -553
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #448
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -552
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #449
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -551
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #450
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -550
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #451
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -549
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #452
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -548
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #453
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -547
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #454
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -546
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #455
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -545
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #456
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -544
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #457
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -543
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #458
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -542
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #459
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -541
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #460
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -540
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #461
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -539
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #462
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -538
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #463
205.24/205.32	c 
205.24/205.32	c 
205.24/205.32	c Core size: 3	Core Weight: 1	Total Weight: -537
205.24/205.32	c
205.24/205.32	c
205.24/205.32	c core #464
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -536
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #465
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -535
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #466
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -534
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #467
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -533
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #468
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -532
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #469
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -531
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #470
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -530
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #471
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -529
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #472
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -528
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #473
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -527
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #474
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -526
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #475
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -525
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #476
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -524
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #477
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -523
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #478
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -522
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #479
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -521
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #480
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -520
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #481
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -519
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #482
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -518
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #483
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -517
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #484
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -516
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #485
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 3	Core Weight: 1	Total Weight: -515
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #486
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 6	Core Weight: 1	Total Weight: -514
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #487
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -513
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #488
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -512
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #489
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -511
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #490
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 11	Core Weight: 1	Total Weight: -510
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #491
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -509
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #492
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -508
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #493
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 14	Core Weight: 1	Total Weight: -507
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #494
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 15	Core Weight: 1	Total Weight: -506
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #495
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -505
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #496
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -504
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #497
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 27	Core Weight: 1	Total Weight: -503
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #498
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 7	Core Weight: 1	Total Weight: -502
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #499
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 11	Core Weight: 1	Total Weight: -501
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #500
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 22	Core Weight: 1	Total Weight: -500
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #501
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 18	Core Weight: 1	Total Weight: -499
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c core #502
207.75/207.90	c 
207.75/207.90	c 
207.75/207.90	c Core size: 15	Core Weight: 1	Total Weight: -498
207.75/207.90	c
207.75/207.90	c
207.75/207.90	c ============================[ Search Statistics ]==============================
207.75/207.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.75/207.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.75/207.90	c ===============================================================================
207.75/207.90	c |         0 |    2074    33084    72692 |    11028        0    nan |  0.000 % |
207.75/207.90	c ===============================================================================
207.85/207.98	c core #503
207.85/207.98	c 
207.85/207.98	c 
207.85/207.98	c Core size: 16	Core Weight: 1	Total Weight: -497
207.85/207.98	c
207.85/207.98	c
207.85/207.98	c ============================[ Search Statistics ]==============================
207.85/207.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.85/207.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.85/207.98	c ===============================================================================
207.85/207.98	c |         0 |    2084    33085    72712 |    11028        0    nan |  0.000 % |
207.85/207.98	c ===============================================================================
207.94/208.06	c core #504
207.94/208.06	c 
207.94/208.06	c 
207.94/208.06	c Core size: 16	Core Weight: 1	Total Weight: -496
207.94/208.06	c
207.94/208.06	c
207.94/208.06	c ============================[ Search Statistics ]==============================
207.94/208.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.94/208.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.94/208.06	c ===============================================================================
207.94/208.06	c |         0 |    2094    33086    72732 |    11028        0    nan |  0.000 % |
207.94/208.06	c ===============================================================================
208.04/208.13	c core #505
208.04/208.13	c 
208.04/208.13	c 
208.04/208.13	c Core size: 16	Core Weight: 1	Total Weight: -495
208.04/208.13	c
208.04/208.13	c
208.04/208.13	c ============================[ Search Statistics ]==============================
208.04/208.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.04/208.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.04/208.13	c ===============================================================================
208.04/208.13	c |         0 |    2104    33087    72752 |    11029        0    nan |  0.000 % |
208.04/208.15	c ===============================================================================
208.14/208.22	c core #506
208.14/208.22	c 
208.14/208.22	c 
208.14/208.22	c Core size: 16	Core Weight: 1	Total Weight: -494
208.14/208.22	c
208.14/208.22	c
208.14/208.22	c ============================[ Search Statistics ]==============================
208.14/208.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.14/208.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.14/208.22	c ===============================================================================
208.14/208.22	c |         0 |    2114    33088    72772 |    11029        0    nan |  0.000 % |
208.14/208.23	c ===============================================================================
208.24/208.30	c core #507
208.24/208.30	c 
208.24/208.30	c 
208.24/208.30	c Core size: 14	Core Weight: 1	Total Weight: -493
208.24/208.30	c
208.24/208.30	c
208.24/208.30	c ============================[ Search Statistics ]==============================
208.24/208.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.24/208.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.24/208.30	c ===============================================================================
208.24/208.30	c |         0 |    2122    33089    72788 |    11029        0    nan |  0.000 % |
208.24/208.31	c ===============================================================================
208.24/208.38	c core #508
208.24/208.38	c 
208.24/208.38	c 
208.24/208.38	c Core size: 12	Core Weight: 1	Total Weight: -492
208.24/208.38	c
208.24/208.38	c
208.24/208.38	c ============================[ Search Statistics ]==============================
208.24/208.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.24/208.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.24/208.38	c ===============================================================================
208.24/208.38	c |         0 |    2130    33090    72804 |    11030        0    nan |  0.000 % |
208.34/208.40	c ===============================================================================
208.34/208.47	c core #509
208.34/208.47	c 
208.34/208.47	c 
208.34/208.47	c Core size: 14	Core Weight: 1	Total Weight: -491
208.34/208.47	c
208.34/208.47	c
208.34/208.47	c ============================[ Search Statistics ]==============================
208.34/208.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.34/208.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.34/208.47	c ===============================================================================
208.34/208.47	c |         0 |    2138    33091    72820 |    11030        0    nan |  0.000 % |
208.34/208.48	c ===============================================================================
208.44/208.55	c core #510
208.44/208.55	c 
208.44/208.55	c 
208.44/208.55	c Core size: 10	Core Weight: 1	Total Weight: -490
208.44/208.55	c
208.44/208.55	c
208.44/208.55	c ============================[ Search Statistics ]==============================
208.44/208.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.44/208.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.44/208.55	c ===============================================================================
208.44/208.55	c |         0 |    2144    33092    72832 |    11030        0    nan |  0.000 % |
208.44/208.56	c ===============================================================================
208.54/208.63	c core #511
208.54/208.63	c 
208.54/208.63	c 
208.54/208.63	c Core size: 12	Core Weight: 1	Total Weight: -489
208.54/208.63	c
208.54/208.63	c
208.54/208.63	c ============================[ Search Statistics ]==============================
208.54/208.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.54/208.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.54/208.63	c ===============================================================================
208.54/208.63	c |         0 |    2152    33093    72848 |    11031        0    nan |  0.000 % |
208.54/208.65	c ===============================================================================
208.64/208.72	c core #512
208.64/208.72	c 
208.64/208.72	c 
208.64/208.72	c Core size: 16	Core Weight: 1	Total Weight: -488
208.64/208.72	c
208.64/208.72	c
208.64/208.72	c ============================[ Search Statistics ]==============================
208.64/208.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.64/208.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.64/208.72	c ===============================================================================
208.64/208.72	c |         0 |    2162    33094    72868 |    11031        0    nan |  0.000 % |
208.64/208.72	c ===============================================================================
208.74/208.80	c core #513
208.74/208.80	c 
208.74/208.80	c 
208.74/208.80	c Core size: 16	Core Weight: 1	Total Weight: -487
208.74/208.80	c
208.74/208.80	c
208.74/208.80	c ============================[ Search Statistics ]==============================
208.74/208.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.74/208.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.74/208.80	c ===============================================================================
208.74/208.80	c |         0 |    2172    33095    72888 |    11031        0    nan |  0.000 % |
208.74/208.81	c ===============================================================================
208.74/208.88	c core #514
208.74/208.88	c 
208.74/208.88	c 
208.74/208.88	c Core size: 10	Core Weight: 1	Total Weight: -486
208.74/208.88	c
208.74/208.88	c
208.74/208.88	c ============================[ Search Statistics ]==============================
208.74/208.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.74/208.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.74/208.88	c ===============================================================================
208.74/208.88	c |         0 |    2178    33096    72900 |    11032        0    nan |  0.000 % |
208.74/208.89	c ===============================================================================
208.85/208.96	c core #515
208.85/208.96	c 
208.85/208.96	c 
208.85/208.96	c Core size: 10	Core Weight: 1	Total Weight: -485
208.85/208.96	c
208.85/208.96	c
208.85/208.96	c ============================[ Search Statistics ]==============================
208.85/208.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.85/208.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.85/208.96	c ===============================================================================
208.85/208.96	c |         0 |    2184    33097    72912 |    11032        0    nan |  0.000 % |
208.85/208.97	c ===============================================================================
208.95/209.04	c core #516
208.95/209.04	c 
208.95/209.04	c 
208.95/209.04	c Core size: 16	Core Weight: 1	Total Weight: -484
208.95/209.04	c
208.95/209.04	c
208.95/209.04	c ============================[ Search Statistics ]==============================
208.95/209.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.95/209.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.95/209.04	c ===============================================================================
208.95/209.04	c |         0 |    2194    33098    72932 |    11032        0    nan |  0.000 % |
208.95/209.05	c ===============================================================================
209.04/209.12	c core #517
209.04/209.12	c 
209.04/209.12	c 
209.04/209.12	c Core size: 14	Core Weight: 1	Total Weight: -483
209.04/209.12	c
209.04/209.12	c
209.04/209.12	c ============================[ Search Statistics ]==============================
209.04/209.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.04/209.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.04/209.12	c ===============================================================================
209.04/209.12	c |         0 |    2202    33099    72948 |    11033        0    nan |  0.000 % |
209.04/209.13	c ===============================================================================
209.14/209.20	c core #518
209.14/209.20	c 
209.14/209.20	c 
209.14/209.20	c Core size: 14	Core Weight: 1	Total Weight: -482
209.14/209.20	c
209.14/209.20	c
209.14/209.20	c ============================[ Search Statistics ]==============================
209.14/209.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.14/209.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.14/209.20	c ===============================================================================
209.14/209.20	c |         0 |    2210    33100    72964 |    11033        0    nan |  0.000 % |
209.14/209.21	c ===============================================================================
209.14/209.28	c core #519
209.14/209.28	c 
209.14/209.28	c 
209.14/209.28	c Core size: 16	Core Weight: 1	Total Weight: -481
209.14/209.28	c
209.14/209.28	c
209.14/209.28	c ============================[ Search Statistics ]==============================
209.14/209.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.14/209.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.14/209.28	c ===============================================================================
209.14/209.28	c |         0 |    2220    33101    72984 |    11033        0    nan |  0.000 % |
209.14/209.29	c ===============================================================================
209.24/209.36	c core #520
209.24/209.36	c 
209.24/209.36	c 
209.24/209.36	c Core size: 16	Core Weight: 1	Total Weight: -480
209.24/209.36	c
209.24/209.36	c
209.24/209.36	c ============================[ Search Statistics ]==============================
209.24/209.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.24/209.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.24/209.36	c ===============================================================================
209.24/209.36	c |         0 |    2230    33102    73004 |    11034        0    nan |  0.000 % |
209.24/209.37	c ===============================================================================
209.34/209.45	c core #521
209.34/209.45	c 
209.34/209.45	c 
209.34/209.45	c Core size: 16	Core Weight: 1	Total Weight: -479
209.34/209.45	c
209.34/209.45	c
209.34/209.45	c ============================[ Search Statistics ]==============================
209.34/209.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.34/209.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.34/209.45	c ===============================================================================
209.34/209.45	c |         0 |    2240    33103    73024 |    11034        0    nan |  0.000 % |
209.34/209.45	c ===============================================================================
209.44/209.53	c core #522
209.44/209.53	c 
209.44/209.53	c 
209.44/209.53	c Core size: 14	Core Weight: 1	Total Weight: -478
209.44/209.53	c
209.44/209.53	c
209.44/209.53	c ============================[ Search Statistics ]==============================
209.44/209.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.44/209.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.44/209.53	c ===============================================================================
209.44/209.53	c |         0 |    2248    33104    73040 |    11034        0    nan |  0.000 % |
209.44/209.54	c ===============================================================================
209.54/209.61	c core #523
209.54/209.61	c 
209.54/209.61	c 
209.54/209.61	c Core size: 12	Core Weight: 1	Total Weight: -477
209.54/209.61	c
209.54/209.61	c
209.54/209.61	c ============================[ Search Statistics ]==============================
209.54/209.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.54/209.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.54/209.61	c ===============================================================================
209.54/209.61	c |         0 |    2256    33105    73056 |    11035        0    nan |  0.000 % |
209.54/209.62	c ===============================================================================
209.54/209.69	c core #524
209.54/209.69	c 
209.54/209.69	c 
209.54/209.69	c Core size: 10	Core Weight: 1	Total Weight: -476
209.54/209.69	c
209.54/209.69	c
209.54/209.69	c ============================[ Search Statistics ]==============================
209.54/209.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.54/209.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.54/209.69	c ===============================================================================
209.54/209.69	c |         0 |    2262    33106    73068 |    11035        0    nan |  0.000 % |
209.64/209.70	c ===============================================================================
209.64/209.78	c core #525
209.64/209.78	c 
209.64/209.78	c 
209.64/209.78	c Core size: 12	Core Weight: 1	Total Weight: -475
209.64/209.78	c
209.64/209.78	c
209.64/209.78	c ============================[ Search Statistics ]==============================
209.64/209.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.64/209.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.64/209.78	c ===============================================================================
209.64/209.78	c |         0 |    2270    33107    73084 |    11035        0    nan |  0.000 % |
209.64/209.78	c ===============================================================================
209.74/209.86	c core #526
209.74/209.86	c 
209.74/209.86	c 
209.74/209.86	c Core size: 16	Core Weight: 1	Total Weight: -474
209.74/209.86	c
209.74/209.86	c
209.74/209.86	c ============================[ Search Statistics ]==============================
209.74/209.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.74/209.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.74/209.86	c ===============================================================================
209.74/209.86	c |         0 |    2280    33108    73104 |    11036        0    nan |  0.000 % |
209.74/209.87	c ===============================================================================
209.84/209.94	c core #527
209.84/209.94	c 
209.84/209.94	c 
209.84/209.94	c Core size: 16	Core Weight: 1	Total Weight: -473
209.84/209.94	c
209.84/209.94	c
209.84/209.94	c ============================[ Search Statistics ]==============================
209.84/209.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.84/209.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.84/209.94	c ===============================================================================
209.84/209.94	c |         0 |    2290    33109    73124 |    11036        0    nan |  0.000 % |
209.84/209.95	c ===============================================================================
209.95/210.03	c core #528
209.95/210.03	c 
209.95/210.03	c 
209.95/210.03	c Core size: 14	Core Weight: 1	Total Weight: -472
209.95/210.03	c
209.95/210.03	c
209.95/210.03	c ============================[ Search Statistics ]==============================
209.95/210.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.95/210.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.95/210.03	c ===============================================================================
209.95/210.03	c |         0 |    2298    33110    73140 |    11036        0    nan |  0.000 % |
209.95/210.04	c ===============================================================================
210.05/210.11	c core #529
210.05/210.11	c 
210.05/210.11	c 
210.05/210.11	c Core size: 14	Core Weight: 1	Total Weight: -471
210.05/210.11	c
210.05/210.11	c
210.05/210.11	c ============================[ Search Statistics ]==============================
210.05/210.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.05/210.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.05/210.11	c ===============================================================================
210.05/210.11	c |         0 |    2306    33111    73156 |    11037        0    nan |  0.000 % |
210.05/210.12	c ===============================================================================
210.14/210.20	c core #530
210.14/210.20	c 
210.14/210.20	c 
210.14/210.20	c Core size: 16	Core Weight: 1	Total Weight: -470
210.14/210.20	c
210.14/210.20	c
210.14/210.20	c ============================[ Search Statistics ]==============================
210.14/210.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.14/210.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.14/210.20	c ===============================================================================
210.14/210.20	c |         0 |    2316    33112    73176 |    11037        0    nan |  0.000 % |
210.14/210.20	c ===============================================================================
210.14/210.28	c core #531
210.14/210.28	c 
210.14/210.28	c 
210.14/210.28	c Core size: 12	Core Weight: 1	Total Weight: -469
210.14/210.28	c
210.14/210.28	c
210.14/210.28	c ============================[ Search Statistics ]==============================
210.14/210.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.14/210.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.14/210.28	c ===============================================================================
210.14/210.28	c |         0 |    2324    33113    73192 |    11037        0    nan |  0.000 % |
210.14/210.29	c ===============================================================================
210.24/210.36	c core #532
210.24/210.36	c 
210.24/210.36	c 
210.24/210.36	c Core size: 16	Core Weight: 1	Total Weight: -468
210.24/210.36	c
210.24/210.36	c
210.24/210.36	c ============================[ Search Statistics ]==============================
210.24/210.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.24/210.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.24/210.36	c ===============================================================================
210.24/210.36	c |         0 |    2334    33114    73212 |    11038        0    nan |  0.000 % |
210.24/210.37	c ===============================================================================
210.34/210.45	c core #533
210.34/210.45	c 
210.34/210.45	c 
210.34/210.45	c Core size: 12	Core Weight: 1	Total Weight: -467
210.34/210.45	c
210.34/210.45	c
210.34/210.45	c ============================[ Search Statistics ]==============================
210.34/210.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.34/210.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.34/210.45	c ===============================================================================
210.34/210.45	c |         0 |    2340    33115    73224 |    11038        0    nan |  0.000 % |
210.34/210.46	c ===============================================================================
210.44/210.53	c core #534
210.44/210.53	c 
210.44/210.53	c 
210.44/210.53	c Core size: 14	Core Weight: 1	Total Weight: -466
210.44/210.53	c
210.44/210.53	c
210.44/210.53	c ============================[ Search Statistics ]==============================
210.44/210.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.44/210.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.44/210.53	c ===============================================================================
210.44/210.53	c |         0 |    2348    33116    73240 |    11038        0    nan |  0.000 % |
210.44/210.54	c ===============================================================================
210.54/210.62	c core #535
210.54/210.62	c 
210.54/210.62	c 
210.54/210.62	c Core size: 10	Core Weight: 1	Total Weight: -465
210.54/210.62	c
210.54/210.62	c
210.54/210.62	c ============================[ Search Statistics ]==============================
210.54/210.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.54/210.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.54/210.62	c ===============================================================================
210.54/210.62	c |         0 |    2354    33117    73252 |    11039        0    nan |  0.000 % |
210.54/210.62	c ===============================================================================
210.64/210.70	c core #536
210.64/210.70	c 
210.64/210.70	c 
210.64/210.70	c Core size: 14	Core Weight: 1	Total Weight: -464
210.64/210.70	c
210.64/210.70	c
210.64/210.70	c ============================[ Search Statistics ]==============================
210.64/210.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.64/210.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.64/210.70	c ===============================================================================
210.64/210.70	c |         0 |    2362    33118    73268 |    11039        0    nan |  0.000 % |
210.64/210.71	c ===============================================================================
210.64/210.78	c core #537
210.64/210.78	c 
210.64/210.78	c 
210.64/210.78	c Core size: 16	Core Weight: 1	Total Weight: -463
210.64/210.78	c
210.64/210.78	c
210.64/210.78	c ============================[ Search Statistics ]==============================
210.64/210.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.64/210.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.64/210.78	c ===============================================================================
210.64/210.78	c |         0 |    2372    33119    73288 |    11039        0    nan |  0.000 % |
210.74/210.80	c ===============================================================================
210.74/210.87	c core #538
210.74/210.87	c 
210.74/210.87	c 
210.74/210.87	c Core size: 20	Core Weight: 1	Total Weight: -462
210.74/210.87	c
210.74/210.87	c
210.74/210.87	c ============================[ Search Statistics ]==============================
210.74/210.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.74/210.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.74/210.87	c ===============================================================================
210.74/210.87	c |         0 |    2384    33120    73312 |    11040        0    nan |  0.000 % |
210.74/210.88	c ===============================================================================
210.84/210.96	c core #539
210.84/210.96	c 
210.84/210.96	c 
210.84/210.96	c Core size: 16	Core Weight: 1	Total Weight: -461
210.84/210.96	c
210.84/210.96	c
210.84/210.96	c ============================[ Search Statistics ]==============================
210.84/210.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.84/210.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.84/210.96	c ===============================================================================
210.84/210.96	c |         0 |    2394    33121    73332 |    11040        0    nan |  0.000 % |
210.84/210.97	c ===============================================================================
210.94/211.04	c core #540
210.94/211.04	c 
210.94/211.04	c 
210.94/211.04	c Core size: 16	Core Weight: 1	Total Weight: -460
210.94/211.04	c
210.94/211.04	c
210.94/211.04	c ============================[ Search Statistics ]==============================
210.94/211.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.94/211.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.94/211.04	c ===============================================================================
210.94/211.04	c |         0 |    2404    33122    73352 |    11040        0    nan |  0.000 % |
210.94/211.05	c ===============================================================================
211.05/211.13	c core #541
211.05/211.13	c 
211.05/211.13	c 
211.05/211.13	c Core size: 10	Core Weight: 1	Total Weight: -459
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 |    2410    33123    73364 |    11041        0    nan |  0.000 % |
211.05/211.14	c ===============================================================================
211.15/211.21	c core #542
211.15/211.21	c 
211.15/211.21	c 
211.15/211.21	c Core size: 12	Core Weight: 1	Total Weight: -458
211.15/211.21	c
211.15/211.21	c
211.15/211.21	c ============================[ Search Statistics ]==============================
211.15/211.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.15/211.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.15/211.21	c ===============================================================================
211.15/211.21	c |         0 |    2418    33124    73380 |    11041        0    nan |  0.000 % |
211.15/211.23	c ===============================================================================
211.24/211.30	c core #543
211.24/211.30	c 
211.24/211.30	c 
211.24/211.30	c Core size: 16	Core Weight: 1	Total Weight: -457
211.24/211.30	c
211.24/211.30	c
211.24/211.30	c ============================[ Search Statistics ]==============================
211.24/211.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.24/211.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.24/211.30	c ===============================================================================
211.24/211.30	c |         0 |    2428    33125    73400 |    11041        0    nan |  0.000 % |
211.24/211.31	c ===============================================================================
211.24/211.38	c core #544
211.24/211.38	c 
211.24/211.38	c 
211.24/211.38	c Core size: 12	Core Weight: 1	Total Weight: -456
211.24/211.38	c
211.24/211.38	c
211.24/211.38	c ============================[ Search Statistics ]==============================
211.24/211.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.24/211.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.24/211.38	c ===============================================================================
211.24/211.38	c |         0 |    2436    33126    73416 |    11042        0    nan |  0.000 % |
211.24/211.39	c ===============================================================================
211.34/211.47	c core #545
211.34/211.47	c 
211.34/211.47	c 
211.34/211.47	c Core size: 14	Core Weight: 1	Total Weight: -455
211.34/211.47	c
211.34/211.47	c
211.34/211.47	c ============================[ Search Statistics ]==============================
211.34/211.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.34/211.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.34/211.47	c ===============================================================================
211.34/211.47	c |         0 |    2444    33127    73432 |    11042        0    nan |  0.000 % |
211.34/211.48	c ===============================================================================
211.44/211.55	c core #546
211.44/211.55	c 
211.44/211.55	c 
211.44/211.55	c Core size: 16	Core Weight: 1	Total Weight: -454
211.44/211.55	c
211.44/211.55	c
211.44/211.55	c ============================[ Search Statistics ]==============================
211.44/211.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.44/211.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.44/211.55	c ===============================================================================
211.44/211.55	c |         0 |    2454    33128    73452 |    11042        0    nan |  0.000 % |
211.44/211.56	c ===============================================================================
211.54/211.64	c core #547
211.54/211.64	c 
211.54/211.64	c 
211.54/211.64	c Core size: 12	Core Weight: 1	Total Weight: -453
211.54/211.64	c
211.54/211.64	c
211.54/211.64	c ============================[ Search Statistics ]==============================
211.54/211.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.54/211.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.54/211.64	c ===============================================================================
211.54/211.64	c |         0 |    2462    33129    73468 |    11043        0    nan |  0.000 % |
211.54/211.65	c ===============================================================================
211.64/211.73	c core #548
211.64/211.73	c 
211.64/211.73	c 
211.64/211.73	c Core size: 20	Core Weight: 1	Total Weight: -452
211.64/211.73	c
211.64/211.73	c
211.64/211.73	c ============================[ Search Statistics ]==============================
211.64/211.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.64/211.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.64/211.73	c ===============================================================================
211.64/211.73	c |         0 |    2474    33130    73492 |    11043        0    nan |  0.000 % |
211.64/211.74	c ===============================================================================
211.74/211.82	c core #549
211.74/211.82	c 
211.74/211.82	c 
211.74/211.82	c Core size: 20	Core Weight: 1	Total Weight: -451
211.74/211.82	c
211.74/211.82	c
211.74/211.82	c ============================[ Search Statistics ]==============================
211.74/211.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.74/211.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.74/211.82	c ===============================================================================
211.74/211.82	c |         0 |    2486    33131    73516 |    11043        0    nan |  0.000 % |
211.74/211.83	c ===============================================================================
211.84/211.91	c core #550
211.84/211.91	c 
211.84/211.91	c 
211.84/211.91	c Core size: 16	Core Weight: 1	Total Weight: -450
211.84/211.91	c
211.84/211.91	c
211.84/211.91	c ============================[ Search Statistics ]==============================
211.84/211.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.84/211.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.84/211.91	c ===============================================================================
211.84/211.91	c |         0 |    2496    33132    73536 |    11044        0    nan |  0.000 % |
211.84/211.92	c ===============================================================================
211.94/212.00	c core #551
211.94/212.00	c 
211.94/212.00	c 
211.94/212.00	c Core size: 16	Core Weight: 1	Total Weight: -449
211.94/212.00	c
211.94/212.00	c
211.94/212.00	c ============================[ Search Statistics ]==============================
211.94/212.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.94/212.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.94/212.00	c ===============================================================================
211.94/212.00	c |         0 |    2506    33133    73556 |    11044        0    nan |  0.000 % |
211.94/212.01	c ===============================================================================
211.94/212.09	c core #552
211.94/212.09	c 
211.94/212.09	c 
211.94/212.09	c Core size: 10	Core Weight: 1	Total Weight: -448
211.94/212.09	c
211.94/212.09	c
211.94/212.09	c ============================[ Search Statistics ]==============================
211.94/212.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.94/212.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.94/212.09	c ===============================================================================
211.94/212.09	c |         0 |    2512    33134    73568 |    11044        0    nan |  0.000 % |
212.04/212.10	c ===============================================================================
212.04/212.18	c core #553
212.04/212.18	c 
212.04/212.18	c 
212.04/212.18	c Core size: 16	Core Weight: 1	Total Weight: -447
212.04/212.18	c
212.04/212.18	c
212.04/212.18	c ============================[ Search Statistics ]==============================
212.04/212.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.04/212.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.04/212.18	c ===============================================================================
212.04/212.18	c |         0 |    2522    33135    73588 |    11045        0    nan |  0.000 % |
212.04/212.19	c ===============================================================================
212.14/212.27	c core #554
212.14/212.27	c 
212.14/212.27	c 
212.14/212.27	c Core size: 16	Core Weight: 1	Total Weight: -446
212.14/212.27	c
212.14/212.27	c
212.14/212.27	c ============================[ Search Statistics ]==============================
212.14/212.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.14/212.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.14/212.27	c ===============================================================================
212.14/212.27	c |         0 |    2532    33136    73608 |    11045        0    nan |  0.000 % |
212.14/212.28	c ===============================================================================
212.24/212.35	c core #555
212.24/212.35	c 
212.24/212.35	c 
212.24/212.35	c Core size: 14	Core Weight: 1	Total Weight: -445
212.24/212.35	c
212.24/212.35	c
212.24/212.35	c ============================[ Search Statistics ]==============================
212.24/212.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.24/212.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.24/212.35	c ===============================================================================
212.24/212.35	c |         0 |    2540    33137    73624 |    11045        0    nan |  0.000 % |
212.24/212.37	c ===============================================================================
212.34/212.45	c core #556
212.34/212.45	c 
212.34/212.45	c 
212.34/212.45	c Core size: 18	Core Weight: 1	Total Weight: -444
212.34/212.45	c
212.34/212.45	c
212.34/212.45	c ============================[ Search Statistics ]==============================
212.34/212.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.34/212.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.34/212.45	c ===============================================================================
212.34/212.45	c |         0 |    2552    33138    73648 |    11046        0    nan |  0.000 % |
212.34/212.46	c ===============================================================================
212.44/212.54	c core #557
212.44/212.54	c 
212.44/212.54	c 
212.44/212.54	c Core size: 16	Core Weight: 1	Total Weight: -443
212.44/212.54	c
212.44/212.54	c
212.44/212.54	c ============================[ Search Statistics ]==============================
212.44/212.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.44/212.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.44/212.54	c ===============================================================================
212.44/212.54	c |         0 |    2562    33139    73668 |    11046        0    nan |  0.000 % |
212.44/212.55	c ===============================================================================
212.54/212.63	c core #558
212.54/212.63	c 
212.54/212.63	c 
212.54/212.63	c Core size: 18	Core Weight: 1	Total Weight: -442
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 |    2572    33140    73688 |    11046        0    nan |  0.000 % |
212.54/212.64	c ===============================================================================
212.64/212.71	c core #559
212.64/212.71	c 
212.64/212.71	c 
212.64/212.71	c Core size: 16	Core Weight: 1	Total Weight: -441
212.64/212.71	c
212.64/212.71	c
212.64/212.71	c ============================[ Search Statistics ]==============================
212.64/212.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.64/212.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.64/212.71	c ===============================================================================
212.64/212.71	c |         0 |    2582    33141    73708 |    11047        0    nan |  0.000 % |
212.64/212.72	c ===============================================================================
212.73/212.80	c core #560
212.73/212.80	c 
212.73/212.80	c 
212.73/212.80	c Core size: 16	Core Weight: 1	Total Weight: -440
212.73/212.80	c
212.73/212.80	c
212.73/212.80	c ============================[ Search Statistics ]==============================
212.73/212.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.73/212.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.73/212.80	c ===============================================================================
212.73/212.80	c |         0 |    2592    33142    73728 |    11047        0    nan |  0.000 % |
212.73/212.81	c ===============================================================================
212.73/212.89	c core #561
212.73/212.89	c 
212.73/212.89	c 
212.73/212.89	c Core size: 16	Core Weight: 1	Total Weight: -439
212.73/212.89	c
212.73/212.89	c
212.73/212.89	c ============================[ Search Statistics ]==============================
212.73/212.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.73/212.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.73/212.89	c ===============================================================================
212.73/212.89	c |         0 |    2602    33143    73748 |    11047        0    nan |  0.000 % |
212.84/212.90	c ===============================================================================
212.84/212.98	c core #562
212.84/212.98	c 
212.84/212.98	c 
212.84/212.98	c Core size: 16	Core Weight: 1	Total Weight: -438
212.84/212.98	c
212.84/212.98	c
212.84/212.98	c ============================[ Search Statistics ]==============================
212.84/212.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.84/212.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.84/212.98	c ===============================================================================
212.84/212.98	c |         0 |    2612    33144    73768 |    11048        0    nan |  0.000 % |
212.84/212.99	c ===============================================================================
212.94/213.07	c core #563
212.94/213.07	c 
212.94/213.07	c 
212.94/213.07	c Core size: 18	Core Weight: 1	Total Weight: -437
212.94/213.07	c
212.94/213.07	c
212.94/213.07	c ============================[ Search Statistics ]==============================
212.94/213.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.94/213.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.94/213.07	c ===============================================================================
212.94/213.07	c |         0 |    2622    33145    73788 |    11048        0    nan |  0.000 % |
212.94/213.08	c ===============================================================================
213.04/213.16	c core #564
213.04/213.16	c 
213.04/213.16	c 
213.04/213.16	c Core size: 16	Core Weight: 1	Total Weight: -436
213.04/213.16	c
213.04/213.16	c
213.04/213.16	c ============================[ Search Statistics ]==============================
213.04/213.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.04/213.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.04/213.16	c ===============================================================================
213.04/213.16	c |         0 |    2632    33146    73808 |    11048        0    nan |  0.000 % |
213.04/213.17	c ===============================================================================
213.14/213.25	c core #565
213.14/213.25	c 
213.14/213.25	c 
213.14/213.25	c Core size: 20	Core Weight: 1	Total Weight: -435
213.14/213.25	c
213.14/213.25	c
213.14/213.25	c ============================[ Search Statistics ]==============================
213.14/213.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.14/213.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.14/213.25	c ===============================================================================
213.14/213.25	c |         0 |    2644    33147    73832 |    11049        0    nan |  0.000 % |
213.14/213.26	c ===============================================================================
213.25/213.34	c core #566
213.25/213.34	c 
213.25/213.34	c 
213.25/213.34	c Core size: 20	Core Weight: 1	Total Weight: -434
213.25/213.34	c
213.25/213.34	c
213.25/213.34	c ============================[ Search Statistics ]==============================
213.25/213.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.25/213.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.25/213.34	c ===============================================================================
213.25/213.34	c |         0 |    2656    33148    73856 |    11049        0    nan |  0.000 % |
213.25/213.36	c ===============================================================================
213.35/213.44	c core #567
213.35/213.44	c 
213.35/213.44	c 
213.35/213.44	c Core size: 18	Core Weight: 1	Total Weight: -433
213.35/213.44	c
213.35/213.44	c
213.35/213.44	c ============================[ Search Statistics ]==============================
213.35/213.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.35/213.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.35/213.44	c ===============================================================================
213.35/213.44	c |         0 |    2668    33149    73880 |    11049        0    nan |  0.000 % |
213.35/213.44	c ===============================================================================
213.44/213.53	c core #568
213.44/213.53	c 
213.44/213.53	c 
213.44/213.53	c Core size: 16	Core Weight: 1	Total Weight: -432
213.44/213.53	c
213.44/213.53	c
213.44/213.53	c ============================[ Search Statistics ]==============================
213.44/213.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.44/213.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.44/213.53	c ===============================================================================
213.44/213.53	c |         0 |    2678    33150    73900 |    11050        0    nan |  0.000 % |
213.44/213.53	c ===============================================================================
213.54/213.62	c core #569
213.54/213.62	c 
213.54/213.62	c 
213.54/213.62	c Core size: 16	Core Weight: 1	Total Weight: -431
213.54/213.62	c
213.54/213.62	c
213.54/213.62	c ============================[ Search Statistics ]==============================
213.54/213.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.54/213.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.54/213.62	c ===============================================================================
213.54/213.62	c |         0 |    2688    33151    73920 |    11050        0    nan |  0.000 % |
213.54/213.63	c ===============================================================================
213.64/213.71	c core #570
213.64/213.71	c 
213.64/213.71	c 
213.64/213.71	c Core size: 20	Core Weight: 1	Total Weight: -430
213.64/213.71	c
213.64/213.71	c
213.64/213.71	c ============================[ Search Statistics ]==============================
213.64/213.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.64/213.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.64/213.71	c ===============================================================================
213.64/213.71	c |         0 |    2700    33152    73944 |    11050        0    nan |  0.000 % |
213.64/213.73	c ===============================================================================
213.74/213.81	c core #571
213.74/213.81	c 
213.74/213.81	c 
213.74/213.81	c Core size: 24	Core Weight: 1	Total Weight: -429
213.74/213.81	c
213.74/213.81	c
213.74/213.81	c ============================[ Search Statistics ]==============================
213.74/213.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.74/213.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.74/213.81	c ===============================================================================
213.74/213.81	c |         0 |    2714    33153    73972 |    11051        0    nan |  0.000 % |
213.74/213.82	c ===============================================================================
213.84/213.90	c core #572
213.84/213.90	c 
213.84/213.90	c 
213.84/213.90	c Core size: 16	Core Weight: 1	Total Weight: -428
213.84/213.90	c
213.84/213.90	c
213.84/213.90	c ============================[ Search Statistics ]==============================
213.84/213.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.84/213.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.84/213.90	c ===============================================================================
213.84/213.90	c |         0 |    2724    33154    73992 |    11051        0    nan |  0.000 % |
213.84/213.91	c ===============================================================================
213.84/213.99	c core #573
213.84/213.99	c 
213.84/213.99	c 
213.84/213.99	c Core size: 28	Core Weight: 1	Total Weight: -427
213.84/213.99	c
213.84/213.99	c
213.84/213.99	c ============================[ Search Statistics ]==============================
213.84/213.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.84/213.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.84/213.99	c ===============================================================================
213.84/213.99	c |         0 |    2740    33155    74024 |    11051        0    nan |  0.000 % |
213.94/214.00	c ===============================================================================
213.94/214.08	c core #574
213.94/214.08	c 
213.94/214.08	c 
213.94/214.08	c Core size: 16	Core Weight: 1	Total Weight: -426
213.94/214.08	c
213.94/214.08	c
213.94/214.08	c ============================[ Search Statistics ]==============================
213.94/214.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.94/214.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.94/214.08	c ===============================================================================
213.94/214.08	c |         0 |    2750    33156    74044 |    11052        0    nan |  0.000 % |
213.94/214.09	c ===============================================================================
214.04/214.18	c core #575
214.04/214.18	c 
214.04/214.18	c 
214.04/214.18	c Core size: 24	Core Weight: 1	Total Weight: -425
214.04/214.18	c
214.04/214.18	c
214.04/214.18	c ============================[ Search Statistics ]==============================
214.04/214.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.04/214.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.04/214.18	c ===============================================================================
214.04/214.18	c |         0 |    2764    33157    74072 |    11052        0    nan |  0.000 % |
214.14/214.20	c ===============================================================================
214.14/214.28	c core #576
214.14/214.28	c 
214.14/214.28	c 
214.14/214.28	c Core size: 22	Core Weight: 1	Total Weight: -424
214.14/214.28	c
214.14/214.28	c
214.14/214.28	c ============================[ Search Statistics ]==============================
214.14/214.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.14/214.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.14/214.28	c ===============================================================================
214.14/214.28	c |         0 |    2778    33158    74100 |    11052        0    nan |  0.000 % |
214.14/214.29	c ===============================================================================
214.24/214.37	c core #577
214.24/214.37	c 
214.24/214.37	c 
214.24/214.37	c Core size: 16	Core Weight: 1	Total Weight: -423
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 |    2788    33159    74120 |    11053        0    nan |  0.000 % |
214.24/214.38	c ===============================================================================
214.35/214.47	c core #578
214.35/214.47	c 
214.35/214.47	c 
214.35/214.47	c Core size: 18	Core Weight: 1	Total Weight: -422
214.35/214.47	c
214.35/214.47	c
214.35/214.47	c ============================[ Search Statistics ]==============================
214.35/214.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.35/214.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.35/214.47	c ===============================================================================
214.35/214.47	c |         0 |    2798    33160    74140 |    11053        0    nan |  0.000 % |
214.35/214.48	c ===============================================================================
214.45/214.56	c core #579
214.45/214.56	c 
214.45/214.56	c 
214.45/214.56	c Core size: 16	Core Weight: 1	Total Weight: -421
214.45/214.56	c
214.45/214.56	c
214.45/214.56	c ============================[ Search Statistics ]==============================
214.45/214.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.45/214.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.45/214.56	c ===============================================================================
214.45/214.56	c |         0 |    2808    33161    74160 |    11053        0    nan |  0.000 % |
214.45/214.57	c ===============================================================================
214.54/214.66	c core #580
214.54/214.66	c 
214.54/214.66	c 
214.54/214.66	c Core size: 24	Core Weight: 1	Total Weight: -420
214.54/214.66	c
214.54/214.66	c
214.54/214.66	c ============================[ Search Statistics ]==============================
214.54/214.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.54/214.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.54/214.66	c ===============================================================================
214.54/214.66	c |         0 |    2822    33162    74188 |    11054        0    nan |  0.000 % |
214.54/214.67	c ===============================================================================
214.64/214.76	c core #581
214.64/214.76	c 
214.64/214.76	c 
214.64/214.76	c Core size: 24	Core Weight: 1	Total Weight: -419
214.64/214.76	c
214.64/214.76	c
214.64/214.76	c ============================[ Search Statistics ]==============================
214.64/214.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.64/214.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.64/214.76	c ===============================================================================
214.64/214.76	c |         0 |    2838    33163    74220 |    11054        0    nan |  0.000 % |
214.64/214.78	c ===============================================================================
214.74/214.86	c core #582
214.74/214.86	c 
214.74/214.86	c 
214.74/214.86	c Core size: 32	Core Weight: 1	Total Weight: -418
214.74/214.86	c
214.74/214.86	c
214.74/214.86	c ============================[ Search Statistics ]==============================
214.74/214.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.74/214.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.74/214.86	c ===============================================================================
214.74/214.86	c |         0 |    2863    33164    74270 |    11054        0    nan |  0.000 % |
214.74/214.88	c ===============================================================================
214.84/214.96	c core #583
214.84/214.96	c 
214.84/214.96	c 
214.84/214.96	c Core size: 20	Core Weight: 1	Total Weight: -417
214.84/214.96	c
214.84/214.96	c
214.84/214.96	c ============================[ Search Statistics ]==============================
214.84/214.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.84/214.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.84/214.96	c ===============================================================================
214.84/214.96	c |         0 |    2875    33165    74294 |    11055        0    nan |  0.000 % |
214.84/214.98	c ===============================================================================
214.94/215.06	c core #584
214.94/215.06	c 
214.94/215.06	c 
214.94/215.06	c Core size: 28	Core Weight: 1	Total Weight: -416
214.94/215.06	c
214.94/215.06	c
214.94/215.06	c ============================[ Search Statistics ]==============================
214.94/215.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.94/215.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.94/215.06	c ===============================================================================
214.94/215.06	c |         0 |    2891    33166    74326 |    11055        0    nan |  0.000 % |
214.94/215.08	c ===============================================================================
215.04/215.17	c core #585
215.04/215.17	c 
215.04/215.17	c 
215.04/215.17	c Core size: 28	Core Weight: 1	Total Weight: -415
215.04/215.17	c
215.04/215.17	c
215.04/215.17	c ============================[ Search Statistics ]==============================
215.04/215.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.04/215.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.04/215.17	c ===============================================================================
215.04/215.17	c |         0 |    2909    33167    74362 |    11055        0    nan |  0.000 % |
215.04/215.18	c ===============================================================================
215.14/215.27	c core #586
215.14/215.27	c 
215.14/215.27	c 
215.14/215.27	c Core size: 30	Core Weight: 1	Total Weight: -414
215.14/215.27	c
215.14/215.27	c
215.14/215.27	c ============================[ Search Statistics ]==============================
215.14/215.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.14/215.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.14/215.27	c ===============================================================================
215.14/215.27	c |         0 |    2931    33168    74406 |    11056        0    nan |  0.000 % |
215.14/215.29	c ===============================================================================
215.24/215.37	c core #587
215.24/215.37	c 
215.24/215.37	c 
215.24/215.37	c Core size: 46	Core Weight: 1	Total Weight: -413
215.24/215.37	c
215.24/215.37	c
215.24/215.37	c ============================[ Search Statistics ]==============================
215.24/215.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.24/215.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.24/215.37	c ===============================================================================
215.24/215.37	c |         0 |    2955    33169    74454 |    11056        0    nan |  0.000 % |
215.34/215.47	c ===============================================================================
215.44/215.55	c core #588
215.44/215.55	c 
215.44/215.55	c 
215.44/215.55	c Core size: 57	Core Weight: 1	Total Weight: -412
215.44/215.55	c
215.44/215.55	c
215.44/215.55	c ============================[ Search Statistics ]==============================
215.44/215.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.44/215.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.44/215.55	c ===============================================================================
215.44/215.55	c |         0 |    3010    33170    74564 |    11056        0    nan |  0.000 % |
215.54/215.61	c ===============================================================================
215.63/215.70	c core #589
215.63/215.70	c 
215.63/215.70	c 
215.63/215.70	c Core size: 51	Core Weight: 1	Total Weight: -411
215.63/215.70	c
215.63/215.70	c
215.63/215.70	c ============================[ Search Statistics ]==============================
215.63/215.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.63/215.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.63/215.70	c ===============================================================================
215.63/215.70	c |         0 |    3056    33171    74656 |    11057        0    nan |  0.000 % |
215.73/215.84	c ===============================================================================
215.83/215.93	c core #590
215.83/215.93	c 
215.83/215.93	c 
215.83/215.93	c Core size: 72	Core Weight: 1	Total Weight: -410
215.83/215.93	c
215.83/215.93	c
215.83/215.93	c ============================[ Search Statistics ]==============================
215.83/215.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.83/215.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.83/215.93	c ===============================================================================
215.83/215.93	c |         0 |    3120    33172    74784 |    11057        0    nan |  0.000 % |
216.03/216.11	c |       102 |    3120    33172    74784 |    12163      102     21 | 83.485 % |
216.13/216.21	c |       252 |    3120    33172    74784 |    13379      252     20 | 83.485 % |
216.23/216.34	c ===============================================================================
216.33/216.42	c core #591
216.33/216.42	c 
216.33/216.42	c 
216.33/216.42	c Core size: 68	Core Weight: 1	Total Weight: -409
216.33/216.42	c
216.33/216.42	c
216.33/216.42	c ============================[ Search Statistics ]==============================
216.33/216.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.33/216.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.33/216.42	c ===============================================================================
216.33/216.42	c |         0 |    3178    33173    74900 |    11057        0    nan |  0.000 % |
216.43/216.59	c |       100 |    3176    33173    74900 |    12163      100      8 | 83.240 % |
216.55/216.69	c ===============================================================================
216.65/216.77	c core #592
216.65/216.77	c 
216.65/216.77	c 
216.65/216.77	c Core size: 95	Core Weight: 1	Total Weight: -408
216.65/216.77	c
216.65/216.77	c
216.65/216.77	c ============================[ Search Statistics ]==============================
216.65/216.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.65/216.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.65/216.77	c ===============================================================================
216.65/216.77	c |         0 |    3251    33174    75046 |    11058        0    nan |  0.000 % |
216.84/216.94	c |       100 |    3251    33174    75046 |    12163      100     12 | 82.910 % |
217.04/217.13	c |       250 |    3251    33174    75046 |    13380      250     15 | 82.910 % |
217.34/217.46	c |       475 |    3251    33174    75046 |    14718      475     15 | 82.910 % |
217.83/217.90	c |       813 |    3251    33174    75046 |    16190      813     14 | 82.910 % |
218.53/218.62	c ===============================================================================
218.63/218.71	c core #593
218.63/218.71	c 
218.63/218.71	c 
218.63/218.71	c Core size: 146	Core Weight: 1	Total Weight: -407
218.63/218.71	c
218.63/218.71	c
218.63/218.71	c ============================[ Search Statistics ]==============================
218.63/218.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.63/218.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.63/218.71	c ===============================================================================
218.63/218.71	c |         0 |    3382    33175    75308 |    11058        0    nan |  0.000 % |
218.75/218.90	c |       101 |    3382    33175    75308 |    12164      101     19 | 82.343 % |
218.94/219.06	c |       251 |    3382    33175    75308 |    13380      251     17 | 82.343 % |
219.14/219.27	c |       477 |    3382    33175    75308 |    14718      477     15 | 82.343 % |
219.74/219.83	c |       816 |    3382    33175    75308 |    16190      816     18 | 82.343 % |
220.44/220.57	c |      1324 |    3382    33175    75308 |    17809     1324     20 | 82.343 % |
221.54/221.67	c |      2083 |    3250    33175    75308 |    19590      953     16 | 83.032 % |
221.64/221.73	c ===============================================================================
221.74/221.84	c core #594
221.74/221.84	c 
221.74/221.84	c 
221.74/221.84	c Core size: 182	Core Weight: 1	Total Weight: -406
221.74/221.84	c
221.74/221.84	c
221.74/221.84	c ============================[ Search Statistics ]==============================
221.74/221.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
221.74/221.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
221.74/221.84	c ===============================================================================
221.74/221.84	c |         0 |    3545    33176    75634 |    11058        0    nan |  0.000 % |
221.94/222.01	c |       100 |    3545    33176    75634 |    12164      100     11 | 81.648 % |
222.04/222.12	c |       254 |    3545    33176    75634 |    13380      254     15 | 81.648 % |
222.34/222.42	c |       479 |    3545    33176    75634 |    14719      479     17 | 81.648 % |
222.73/222.84	c |       821 |    3545    33176    75634 |    16190      821     19 | 81.648 % |
223.44/223.56	c |      1330 |    3545    33176    75634 |    17810     1330     20 | 81.648 % |
224.44/224.53	c |      2091 |    3545    33176    75634 |    19591     2091     19 | 81.648 % |
225.03/225.11	c ===============================================================================
225.13/225.21	c core #595
225.13/225.21	c 
225.13/225.21	c 
225.13/225.21	c Core size: 163	Core Weight: 1	Total Weight: -405
225.13/225.21	c
225.13/225.21	c
225.13/225.21	c ============================[ Search Statistics ]==============================
225.13/225.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.13/225.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.13/225.21	c ===============================================================================
225.13/225.21	c |         0 |    3682    33177    75908 |    11059        0    nan |  0.000 % |
225.23/225.37	c |       101 |    3682    33177    75908 |    12164      101     21 | 81.073 % |
225.45/225.52	c |       254 |    3681    33177    75908 |    13381      254     13 | 81.078 % |
225.64/225.70	c |       480 |    3681    33177    75908 |    14719      480     12 | 81.078 % |
226.14/226.21	c |       819 |    3659    33177    75908 |    16191      818     15 | 81.402 % |
226.34/226.44	c ===============================================================================
226.44/226.53	c core #596
226.44/226.53	c 
226.44/226.53	c 
226.44/226.53	c Core size: 161	Core Weight: 1	Total Weight: -404
226.44/226.53	c
226.44/226.53	c
226.44/226.53	c ============================[ Search Statistics ]==============================
226.44/226.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
226.44/226.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
226.44/226.53	c ===============================================================================
226.44/226.53	c |         0 |    3812    33178    76168 |    11059        0    nan |  0.000 % |
226.54/226.70	c |       102 |    3812    33178    76168 |    12165      102     23 | 80.535 % |
226.73/226.85	c |       253 |    3812    33178    76168 |    13381      253     19 | 80.535 % |
226.93/227.08	c |       483 |    3812    33178    76168 |    14719      483     19 | 80.535 % |
227.33/227.44	c |       820 |    3812    33178    76168 |    16191      820     19 | 80.535 % |
227.83/227.96	c |      1328 |    3812    33178    76168 |    17811     1328     20 | 80.535 % |
228.74/228.88	c |      2087 |    3812    33178    76168 |    19592     2087     24 | 80.535 % |
230.23/230.34	c |      3227 |    3812    33178    76168 |    21551     3227     26 | 80.535 % |
232.14/232.21	c |      4939 |    3812    33178    76168 |    23706     4939     27 | 80.535 % |
233.33/233.47	c ===============================================================================
233.53/233.63	c core #597
233.53/233.63	c 
233.53/233.63	c 
233.53/233.63	c Core size: 155	Core Weight: 1	Total Weight: -403
233.53/233.63	c
233.53/233.63	c
233.53/233.63	c ============================[ Search Statistics ]==============================
233.53/233.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.53/233.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.53/233.63	c ===============================================================================
233.53/233.63	c |         0 |    3956    33179    76456 |    11059        0    nan |  0.000 % |
233.63/233.76	c |       101 |    3956    33179    76456 |    12165      101     25 | 79.947 % |
233.73/233.80	c |       253 |    3956    33179    76456 |    13382      253     26 | 79.947 % |
233.83/233.99	c |       479 |    3956    33179    76456 |    14720      479     29 | 79.947 % |
234.14/234.23	c |       816 |    3956    33179    76456 |    16192      816     34 | 79.947 % |
234.44/234.58	c |      1324 |    3956    33179    76456 |    17811     1324     37 | 79.947 % |
235.03/235.17	c |      2083 |    3956    33179    76456 |    19592     2083     38 | 79.947 % |
236.03/236.11	c |      3222 |    3956    33179    76456 |    21552     3222     37 | 79.947 % |
237.63/237.79	c |      4934 |    3956    33179    76456 |    23707     4934     36 | 79.947 % |
240.33/240.48	c ===============================================================================
240.53/240.62	c core #598
240.53/240.62	c 
240.53/240.62	c 
240.53/240.62	c Core size: 253	Core Weight: 1	Total Weight: -402
240.53/240.62	c
240.53/240.62	c
240.53/240.62	c ============================[ Search Statistics ]==============================
240.53/240.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
240.53/240.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
240.53/240.62	c ===============================================================================
240.53/240.62	c |         0 |    4161    33180    76866 |    11060        0    nan |  0.000 % |
240.64/240.75	c |       100 |    4161    33180    76866 |    12166      100     11 | 79.125 % |
240.74/240.85	c |       250 |    4161    33180    76866 |    13382      250     10 | 79.125 % |
240.84/240.98	c |       478 |    4161    33180    76866 |    14720      478     10 | 79.125 % |
241.23/241.33	c |       815 |    4161    33180    76866 |    16192      815     12 | 79.125 % |
241.73/241.83	c |      1321 |    4161    33180    76866 |    17812     1321     13 | 79.125 % |
242.43/242.52	c |      2081 |    4161    33180    76866 |    19593     2081     15 | 79.125 % |
243.33/243.41	c ===============================================================================
243.43/243.52	c core #599
243.43/243.52	c 
243.43/243.52	c 
243.43/243.52	c Core size: 163	Core Weight: 1	Total Weight: -401
243.43/243.52	c
243.43/243.52	c
243.43/243.52	c ============================[ Search Statistics ]==============================
243.43/243.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
243.43/243.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
243.43/243.52	c ===============================================================================
243.43/243.52	c |         0 |    4301    33181    77146 |    11060        0    nan |  0.000 % |
243.54/243.69	c |       100 |    4301    33181    77146 |    12166      100     18 | 78.573 % |
243.64/243.72	c |       250 |    4301    33181    77146 |    13383      250     16 | 78.573 % |
243.73/243.83	c |       476 |    4301    33181    77146 |    14721      476     15 | 78.573 % |
244.04/244.11	c |       815 |    4301    33181    77146 |    16193      815     18 | 78.573 % |
244.43/244.58	c |      1321 |    4301    33181    77146 |    17812     1321     22 | 78.573 % |
245.43/245.51	c |      2081 |    4301    33181    77146 |    19594     2081     30 | 78.573 % |
246.83/246.96	c |      3221 |    4301    33181    77146 |    21553     3221     40 | 78.573 % |
249.64/249.79	c |      4929 |    4301    33181    77146 |    23708     4929     48 | 78.573 % |
253.82/253.92	c |      7491 |    4301    33181    77146 |    26079     7491     50 | 78.573 % |
259.33/259.47	c |     11337 |    4301    33181    77146 |    28687    11337     49 | 78.573 % |
272.32/272.43	c |     17104 |    4301    33181    77146 |    31556    17104     47 | 78.573 % |
286.82/286.99	c ===============================================================================
287.42/287.56	c core #600
287.42/287.56	c 
287.42/287.56	c 
287.42/287.56	c Core size: 251	Core Weight: 1	Total Weight: -400
287.42/287.56	c
287.42/287.56	c
287.42/287.56	c ============================[ Search Statistics ]==============================
287.42/287.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
287.42/287.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
287.42/287.56	c ===============================================================================
287.42/287.56	c |         0 |    4511    33182    77566 |    11060        0    nan |  0.000 % |
287.52/287.68	c |       100 |    4511    33182    77566 |    12166      100     26 | 77.760 % |
287.62/287.72	c |       250 |    4511    33182    77566 |    13383      250     30 | 77.760 % |
287.62/287.79	c |       475 |    4511    33182    77566 |    14721      475     26 | 77.760 % |
287.82/287.92	c |       813 |    4511    33182    77566 |    16193      813     31 | 77.760 % |
288.02/288.15	c |      1322 |    4511    33182    77566 |    17813     1322     30 | 77.760 % |
288.52/288.67	c |      2081 |    4511    33182    77566 |    19594     2081     40 | 77.760 % |
289.72/289.83	c |      3223 |    4511    33182    77566 |    21554     3223     53 | 77.760 % |
291.22/291.35	c |      4932 |    4511    33182    77566 |    23709     4932     58 | 77.760 % |
293.52/293.69	c |      7495 |    4511    33182    77566 |    26080     7495     58 | 77.760 % |
296.62/296.75	c |     11339 |    4511    33182    77566 |    28688    11339     56 | 77.760 % |
303.91/304.04	c |     17105 |    4511    33182    77566 |    31557    17105     60 | 77.760 % |
318.01/318.19	c |     25761 |    4511    33182    77566 |    34713    25761     64 | 77.760 % |
341.61/341.71	c |     38735 |    4511    33182    77566 |    38184    38735     65 | 77.760 % |
385.80/385.92	c |     58198 |    4511    33182    77566 |    42002    18733     58 | 77.760 % |
411.30/411.43	c ===============================================================================
412.79/412.99	c core #601
412.79/412.99	c 
412.79/412.99	c 
412.79/412.99	c Core size: 239	Core Weight: 1	Total Weight: -399
412.79/412.99	c
412.79/412.99	c
412.79/412.99	c ============================[ Search Statistics ]==============================
412.79/412.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
412.79/412.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
412.79/412.99	c ===============================================================================
412.79/412.99	c |         0 |    4712    33183    77968 |    11061        0    nan |  0.000 % |
412.99/413.15	c |       101 |    4712    33183    77968 |    12167      101     33 | 76.997 % |
413.09/413.23	c |       252 |    4712    33183    77968 |    13383      252     24 | 76.997 % |
413.20/413.35	c |       477 |    4712    33183    77968 |    14722      477     20 | 76.997 % |
413.40/413.50	c |       817 |    4712    33183    77968 |    16194      817     25 | 76.997 % |
413.69/413.81	c |      1325 |    4712    33183    77968 |    17813     1325     25 | 76.997 % |
414.19/414.33	c |      2087 |    4712    33183    77968 |    19595     2087     24 | 76.997 % |
414.99/415.14	c |      3226 |    4712    33183    77968 |    21554     3226     30 | 76.997 % |
416.70/416.83	c |      4934 |    4712    33183    77968 |    23710     4934     35 | 76.997 % |
419.69/419.87	c |      7496 |    4712    33183    77968 |    26081     7496     40 | 76.997 % |
425.59/425.73	c |     11342 |    4712    33183    77968 |    28689    11342     42 | 76.997 % |
436.09/436.24	c |     17108 |    4712    33183    77968 |    31558    17108     44 | 76.997 % |
452.98/453.18	c |     25760 |    4712    33183    77968 |    34714    25760     44 | 76.997 % |
487.08/487.25	c |     38736 |    4712    33183    77968 |    38185    38736     46 | 76.997 % |
545.37/545.55	c |     58197 |    4712    33183    77968 |    42004    20015     53 | 76.997 % |
608.45/608.67	c |     87390 |    4685    33183    77968 |    46204    29343     53 | 77.129 % |
611.35/611.57	c ===============================================================================
613.74/613.96	c core #602
613.74/613.96	c 
613.74/613.96	c 
613.74/613.96	c Core size: 288	Core Weight: 1	Total Weight: -398
613.74/613.96	c
613.74/613.96	c
613.74/613.96	c ============================[ Search Statistics ]==============================
613.74/613.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
613.74/613.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
613.74/613.96	c ===============================================================================
613.74/613.96	c |         0 |    4955    33184    78454 |    11061        0    nan |  0.000 % |
613.84/614.09	c |       100 |    4955    33184    78454 |    12167      100     24 | 76.094 % |
613.94/614.15	c |       250 |    4955    33184    78454 |    13384      250     19 | 76.094 % |
614.04/614.26	c |       476 |    4955    33184    78454 |    14722      476     19 | 76.094 % |
614.14/614.34	c |       814 |    4955    33184    78454 |    16194      814     28 | 76.094 % |
614.54/614.71	c |      1320 |    4955    33184    78454 |    17814     1320     38 | 76.094 % |
615.04/615.28	c |      2079 |    4955    33184    78454 |    19595     2079     43 | 76.094 % |
615.84/616.08	c |      3218 |    4955    33184    78454 |    21555     3218     54 | 76.094 % |
617.34/617.57	c |      4926 |    4955    33184    78454 |    23710     4926     66 | 76.094 % |
619.84/620.08	c |      7488 |    4955    33184    78454 |    26082     7488     66 | 76.094 % |
624.34/624.55	c |     11332 |    4955    33184    78454 |    28690    11332     69 | 76.094 % |
631.74/631.98	c |     17100 |    4955    33184    78454 |    31559    17100     66 | 76.094 % |
647.43/647.61	c |     25750 |    4955    33184    78454 |    34715    25750     65 | 76.094 % |
672.03/672.20	c |     38726 |    4955    33184    78454 |    38186    38726     67 | 76.094 % |
710.92/711.14	c |     58189 |    4955    33184    78454 |    42005    18891     46 | 76.094 % |
778.61/778.87	c |     87384 |    4955    33184    78454 |    46205    48086     59 | 76.094 % |
889.08/889.37	c |    131173 |    4784    33184    78454 |    50826    10600     31 | 76.919 % |
889.18/889.44	c ===============================================================================
892.08/892.35	c core #603
892.08/892.35	c 
892.08/892.35	c 
892.08/892.35	c Core size: 205	Core Weight: 1	Total Weight: -397
892.08/892.35	c
892.08/892.35	c
892.08/892.35	c ============================[ Search Statistics ]==============================
892.08/892.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
892.08/892.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
892.08/892.35	c ===============================================================================
892.08/892.35	c |         0 |    5149    33185    78842 |    11061        0    nan |  0.000 % |
892.17/892.49	c |       100 |    5149    33185    78842 |    12167      100     28 | 75.388 % |
892.27/892.59	c |       250 |    5149    33185    78842 |    13384      250     21 | 75.388 % |
892.37/892.66	c |       475 |    5149    33185    78842 |    14723      475     27 | 75.388 % |
892.57/892.86	c |       813 |    5149    33185    78842 |    16195      813     29 | 75.388 % |
892.98/893.21	c |      1321 |    5149    33185    78842 |    17814     1321     37 | 75.388 % |
893.58/893.81	c |      2080 |    5149    33185    78842 |    19596     2080     51 | 75.388 % |
894.47/894.74	c |      3219 |    5149    33185    78842 |    21556     3219     65 | 75.388 % |
895.67/895.95	c |      4927 |    5149    33185    78842 |    23711     4927     60 | 75.388 % |
897.38/897.67	c |      7493 |    5149    33185    78842 |    26082     7493     64 | 75.388 % |
901.78/902.02	c |     11337 |    5149    33185    78842 |    28691    11337     66 | 75.388 % |
909.27/909.59	c |     17104 |    5149    33185    78842 |    31560    17104     76 | 75.388 % |
922.87/923.16	c |     25755 |    5149    33185    78842 |    34716    25755     83 | 75.388 % |
948.46/948.79	c |     38730 |    5149    33185    78842 |    38187    38730     88 | 75.388 % |
997.55/997.82	c |     58195 |    5149    33185    78842 |    42006    17692    103 | 75.388 % |
1067.74/1068.06	c |     87387 |    5149    33185    78842 |    46207    46884    104 | 75.388 % |
1163.31/1163.67	c |    131177 |    5149    33185    78842 |    50828    42856     84 | 75.388 % |
1304.38/1304.74	c |    196861 |    5149    33185    78842 |    55910    56792     85 | 75.388 % |
1548.32/1548.73	c |    295388 |    5149    33185    78842 |    61501    43236     80 | 75.388 % |

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 26988
/proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=4444 CPUtime=0
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 1 0 25200312 4550656 331 1992294400 134512640 135752675 4290001024 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 1111 332 137 303 0 470 0

[startup+0.0880081 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 26988
/proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=7956 CPUtime=0.08
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 1301 0 0 0 8 0 0 0 24 0 1 0 25200312 8146944 1220 1992294400 134512640 135752675 4290001024 18446744073709551615 134633421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 1989 1220 228 303 0 1348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7956

[startup+0.101008 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 26988
/proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=8088 CPUtime=0.09
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 1362 0 0 0 9 0 0 0 24 0 1 0 25200312 8282112 1281 1992294400 134512640 135752675 4290001024 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 2022 1281 248 303 0 1381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8088

[startup+0.301026 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 26988
/proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=12424 CPUtime=0.29
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 2961 0 0 0 28 1 0 0 25 0 1 0 25200312 12722176 2511 1992294400 134512640 135752675 4290001024 18446744073709551615 134599276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 3106 2511 143 303 0 2801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12424

[startup+0.701063 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 26988
/proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=12952 CPUtime=0.69
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 3148 0 0 0 66 3 0 0 25 0 1 0 25200312 13262848 2698 1992294400 134512640 135752675 4290001024 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 3238 2698 145 303 0 2933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12952

[startup+1.50113 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 26989
/proc/meminfo: memFree=1670264/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=20872 CPUtime=1.49
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 5105 0 0 0 144 5 0 0 25 0 1 0 25200312 21372928 4655 1992294400 134512640 135752675 4290001024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 5218 4655 145 303 0 4913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20872

[startup+3.10028 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 26989
/proc/meminfo: memFree=1659848/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=33964 CPUtime=3.09
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 8409 0 0 0 302 7 0 0 25 0 1 0 25200312 34779136 7959 1992294400 134512640 135752675 4290001024 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 8491 7959 145 303 0 8186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33964

[startup+6.30056 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 26989
/proc/meminfo: memFree=1640380/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=51052 CPUtime=6.29
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 12654 0 0 0 617 12 0 0 25 0 1 0 25200312 52277248 12204 1992294400 134512640 135752675 4290001024 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 12763 12204 145 303 0 12458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51052

[startup+12.7011 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26989
/proc/meminfo: memFree=1612356/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=76572 CPUtime=12.68
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 19058 0 0 0 1249 19 0 0 25 0 1 0 25200312 78409728 18608 1992294400 134512640 135752675 4290001024 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 19143 18608 145 303 0 18838 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76572

[startup+25.5013 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 26990
/proc/meminfo: memFree=1587060/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=99600 CPUtime=25.49
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 24772 0 0 0 2523 26 0 0 25 0 1 0 25200312 101990400 24322 1992294400 134512640 135752675 4290001024 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 24900 24322 145 303 0 24595 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99600

[startup+51.1015 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 26992
/proc/meminfo: memFree=1532004/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=155140 CPUtime=51.08
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 38632 0 0 0 5064 44 0 0 25 0 1 0 25200312 158863360 38182 1992294400 134512640 135752675 4290001024 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 38785 38182 145 303 0 38480 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 155140

[startup+102.309 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 26995
/proc/meminfo: memFree=1374400/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=311084 CPUtime=102.27
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 77585 0 0 0 10152 75 0 0 25 0 1 0 25200312 318550016 77135 1992294400 134512640 135752675 4290001024 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 77771 77135 145 303 0 77466 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 311084

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 26996
/proc/meminfo: memFree=1279788/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=407980 CPUtime=162.25
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 101765 0 0 0 16126 99 0 0 25 0 1 0 25200312 417771520 101315 1992294400 134512640 135752675 4290001024 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 101995 101315 145 303 0 101690 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 407980

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26998
/proc/meminfo: memFree=1261808/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=222.24
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106304 0 0 0 22116 108 0 0 25 0 1 0 25200312 432840704 105139 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105139 146 303 0 105369 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 422696

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27000
/proc/meminfo: memFree=1261808/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=282.22
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106305 0 0 0 28095 127 0 0 25 0 1 0 25200312 432840704 105140 1992294400 134512640 135752675 4290001024 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105140 146 303 0 105369 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 422696

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27002
/proc/meminfo: memFree=1261684/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=342.21
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106306 0 0 0 34076 145 0 0 25 0 1 0 25200312 432840704 105141 1992294400 134512640 135752675 4290001024 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105141 146 303 0 105369 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 422696

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27003
/proc/meminfo: memFree=1261684/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=402.19
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106306 0 0 0 40062 157 0 0 25 0 1 0 25200312 432840704 105141 1992294400 134512640 135752675 4290001024 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105141 146 303 0 105369 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 422696

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27004
/proc/meminfo: memFree=1261684/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=462.18
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106318 0 0 0 46045 173 0 0 25 0 1 0 25200312 432840704 105153 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105153 146 303 0 105369 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 422696

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27006
/proc/meminfo: memFree=1261560/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=522.17
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106318 0 0 0 52032 185 0 0 25 0 1 0 25200312 432840704 105153 1992294400 134512640 135752675 4290001024 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105153 146 303 0 105369 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 422696

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27008
/proc/meminfo: memFree=1261560/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=582.15
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106318 0 0 0 58017 198 0 0 25 0 1 0 25200312 432840704 105153 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105153 146 303 0 105369 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 422696

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27010
/proc/meminfo: memFree=1261560/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=642.14
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106323 0 0 0 64001 213 0 0 25 0 1 0 25200312 432840704 105158 1992294400 134512640 135752675 4290001024 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105158 146 303 0 105369 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 422696

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27016
/proc/meminfo: memFree=1261312/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=882.07
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106334 0 0 0 87947 260 0 0 25 0 1 0 25200312 432840704 105169 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105169 146 303 0 105369 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 422696

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27018
/proc/meminfo: memFree=1261312/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=422696 CPUtime=942.07
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106342 0 0 0 93928 279 0 0 25 0 1 0 25200312 432840704 105177 1992294400 134512640 135752675 4290001024 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 105674 105177 146 303 0 105369 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 422696

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27019
/proc/meminfo: memFree=1253376/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=430928 CPUtime=1002.05
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 108391 0 0 0 99912 293 0 0 25 0 1 0 25200312 441270272 107226 1992294400 134512640 135752675 4290001024 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 107732 107226 146 303 0 107427 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 430928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27020
/proc/meminfo: memFree=1242216/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=441992 CPUtime=1062.03
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 111165 0 0 0 105894 309 0 0 25 0 1 0 25200312 452599808 110000 1992294400 134512640 135752675 4290001024 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 110498 110000 146 303 0 110193 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 441992

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27022
/proc/meminfo: memFree=1228948/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=455292 CPUtime=1122.02
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 114458 0 0 0 111877 325 0 0 25 0 1 0 25200312 466219008 113293 1992294400 134512640 135752675 4290001024 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 113823 113293 146 303 0 113518 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 455292

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27024
/proc/meminfo: memFree=1215060/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=469456 CPUtime=1182.01
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 117947 0 0 0 117859 342 0 0 25 0 1 0 25200312 480722944 116782 1992294400 134512640 135752675 4290001024 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 117364 116782 146 303 0 117059 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 469456

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27026
/proc/meminfo: memFree=1200800/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=483492 CPUtime=1241.99
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 121449 0 0 0 123839 360 0 0 25 0 1 0 25200312 495095808 120284 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 120873 120284 146 303 0 120568 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 483492

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27027
/proc/meminfo: memFree=1187160/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=496872 CPUtime=1301.98
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 124793 0 0 0 129821 377 0 0 25 0 1 0 25200312 508796928 123628 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 124218 123628 146 303 0 123913 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 496872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27028
/proc/meminfo: memFree=1175380/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=508908 CPUtime=1361.96
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 127778 0 0 0 135806 390 0 0 25 0 1 0 25200312 521121792 126613 1992294400 134512640 135752675 4290001024 18446744073709551615 134518854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 127227 126613 146 303 0 126922 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 508908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27030
/proc/meminfo: memFree=1159756/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=524432 CPUtime=1421.96
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 131649 0 0 0 141790 406 0 0 25 0 1 0 25200312 537018368 130484 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 131108 130484 146 303 0 130803 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 524432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27032
/proc/meminfo: memFree=1149092/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=535368 CPUtime=1481.93
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 134330 0 0 0 147775 418 0 0 25 0 1 0 25200312 548216832 133165 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 133842 133165 146 303 0 133537 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 535368

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27034
/proc/meminfo: memFree=1134956/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=549268 CPUtime=1541.91
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 137836 0 0 0 153754 437 0 0 25 0 1 0 25200312 562450432 136671 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 137317 136671 146 303 0 137012 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 549268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27035
/proc/meminfo: memFree=1124292/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=560144 CPUtime=1601.91
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 140524 0 0 0 159738 453 0 0 25 0 1 0 25200312 573587456 139359 1992294400 134512640 135752675 4290001024 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 140036 139359 146 303 0 139731 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 560144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27036
/proc/meminfo: memFree=1113256/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=571020 CPUtime=1661.89
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 143249 0 0 0 165723 466 0 0 25 0 1 0 25200312 584724480 142084 1992294400 134512640 135752675 4290001024 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 142755 142084 146 303 0 142450 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 571020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27038
/proc/meminfo: memFree=1098500/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=585812 CPUtime=1721.87
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 146950 0 0 0 171705 482 0 0 25 0 1 0 25200312 599871488 145785 1992294400 134512640 135752675 4290001024 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 146453 145785 146 303 0 146148 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 585812

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27040
/proc/meminfo: memFree=1088580/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=595408 CPUtime=1781.86
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 149329 0 0 0 177688 498 0 0 25 0 1 0 25200312 609697792 148164 1992294400 134512640 135752675 4290001024 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 148852 148164 146 303 0 148547 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 595408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27040
/proc/meminfo: memFree=1086224/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=597648 CPUtime=1800.07
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 149913 0 0 0 179506 501 0 0 25 0 1 0 25200312 611991552 148748 1992294400 134512640 135752675 4290001024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 149412 148748 146 303 0 149107 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 597648

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 27040
/proc/meminfo: memFree=1086224/2059040 swapFree=4139712/4192956
[pid=26988] ppid=26986 vsize=597648 CPUtime=1800.07
/proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 149913 0 0 0 179506 501 0 0 25 0 1 0 25200312 611991552 148748 1992294400 134512640 135752675 4290001024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26988/statm: 149412 148748 146 303 0 149107 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 597648

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.13
CPU user time (s): 1795.06
CPU system time (s): 5.06923
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 597648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 5.06923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149913
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= 80
involuntary context switches= 2108

runsolver used 3.09553 second user time and 8.44971 second system time

The end

Launcher Data 

Begin job on node043 at 2010-07-08 08:18:49
IDJOB=2702549
IDBENCH=48209
IDSOLVER=1190
FILE ID=node043/2702549-1278569929
PBS_JOBID= 11239539
Free space on /tmp= 62528 MiB

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

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

MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe
RANDOM SEED=1544787760

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1685556 kB
Buffers:         77656 kB
Cached:         206368 kB
SwapCached:       8072 kB
Active:         147092 kB
Inactive:       151892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1685556 kB
SwapTotal:     4192956 kB
SwapFree:      4139712 kB
Dirty:            2968 kB
Writeback:           0 kB
AnonPages:       11772 kB
Mapped:          12088 kB
Slab:            52740 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181180 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-2702549-1278569929.opb

Free space on /tmp at the end= 62524 MiB
End job on node043 at 2010-07-08 08:48:52