Trace number 2680540

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.12 1800.59

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM3895ca8e12182fcd80d7923f66584703
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27931
Number of constraints which are clauses27931
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
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 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680540-1277456092.opb.
0.00/0.00	c Instance file HOME/instance-2680540-1277456092.opb
0.00/0.00	c File size is 664643 bytes.
0.07/0.08	c Highest Coefficient sum: 3
0.07/0.08	c ============================[ Problem Statistics ]=============================
0.07/0.08	c |                                                                             |
0.07/0.08	c |  Parsing time:          0.08         s                                      |
0.07/0.08	c |  Number Variables:      595                                                 |
0.07/0.08	c |  Number Clauses:        27931                                               |
0.07/0.08	c |  Number Cardinality:    0                                                   |
0.07/0.08	c |  Number PB Constraints: 0                                                   |
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |     595    27931    55862 |     9310        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 0
0.09/0.15	o 0
0.09/0.15	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 179.857 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     595    27932    56457 |     9310        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: -1
0.09/0.15	o -1
0.09/0.15	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 179.855 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     595    27933    57052 |     9311        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: -2
0.09/0.15	o -2
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 179.85 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         9 |     595    27934    57647 |     9311        9    589 |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: -3
0.09/0.18	o -3
0.09/0.18	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 179.825 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |       107 |     595    27935    58242 |     9311      107    588 |  0.000 % |
0.09/0.20	c |       207 |     595    27935    58242 |    10242      207    588 |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -4
0.19/0.21	o -4
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 179.79 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |       273 |     595    27936    58837 |     9312      273    588 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -5
0.19/0.23	o -5
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 179.77 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |       366 |     595    27937    59432 |     9312      366    587 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -6
0.19/0.26	o -6
0.19/0.26	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 179.744 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |       464 |     595    27938    60027 |     9312      464    587 |  0.000 % |
0.19/0.28	c |       569 |     595    27938    60027 |    10243      569    587 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -7
0.29/0.31	o -7
0.29/0.31	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 179.695 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |       677 |     595    27939    60622 |     9313      677    586 |  0.000 % |
0.29/0.33	c |       780 |     595    27939    60622 |    10244      780    586 |  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.351946 s	Remaining CPU time: 179.648 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       860 |     595    27940    61217 |     9313      860    586 |  0.000 % |
0.29/0.38	c |       960 |     595    27940    61217 |    10244      960    586 |  0.000 % |
0.39/0.43	c |      1111 |     595    27940    61217 |    11269     1111    585 |  0.000 % |
0.39/0.50	c |      1337 |     595    27940    61217 |    12396     1337    585 |  0.000 % |
0.49/0.59	c |      1679 |     595    27940    61217 |    13635     1679    584 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -9
0.59/0.66	o -9
0.59/0.66	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 179.355 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |      1839 |     595    27941    61812 |     9313     1839    584 |  0.000 % |
0.69/0.70	c |      1941 |     595    27941    61812 |    10245     1941    584 |  0.000 % |
0.69/0.75	c |      2092 |     595    27941    61812 |    11269     2092    584 |  0.000 % |
0.79/0.82	c |      2320 |     595    27941    61812 |    12396     2320    584 |  0.000 % |
0.89/1.00	c |      2657 |     595    27941    61812 |    13636     2657    584 |  0.000 % |
0.99/1.06	c ===============================================================================
0.99/1.06	c New solution: -10
0.99/1.06	o -10
0.99/1.06	c Elapsed CPU time: 1.03684 s	Remaining CPU time: 178.963 s
0.99/1.06	c ===============================================================================
0.99/1.06	c |      2780 |     595    27942    62407 |     9314     2780    584 |  0.000 % |
1.09/1.12	c |      2880 |     595    27942    62407 |    10245     2880    584 |  0.000 % |
1.19/1.21	c |      3031 |     595    27942    62407 |    11269     3031    584 |  0.000 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: -11
1.19/1.22	o -11
1.19/1.22	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 178.808 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |      3042 |     595    27943    63002 |     9314     3042    584 |  0.000 % |
1.19/1.28	c |      3142 |     595    27943    63002 |    10245     3142    583 |  0.000 % |
1.29/1.35	c |      3293 |     595    27943    63002 |    11270     3293    583 |  0.000 % |
1.29/1.39	c ===============================================================================
1.29/1.39	c New solution: -12
1.29/1.39	o -12
1.29/1.39	c Elapsed CPU time: 1.35479 s	Remaining CPU time: 178.645 s
1.29/1.39	c ===============================================================================
1.29/1.39	c |      3361 |     595    27944    63597 |     9314     3361    583 |  0.000 % |
1.39/1.45	c |      3461 |     595    27944    63597 |    10246     3461    583 |  0.000 % |
1.49/1.54	c |      3612 |     595    27944    63597 |    11270     3612    583 |  0.000 % |
1.69/1.71	c |      3839 |     595    27944    63597 |    12397     3839    583 |  0.000 % |
1.89/1.94	c |      4180 |     595    27944    63597 |    13637     4180    582 |  0.000 % |
2.10/2.16	c |      4690 |     595    27944    63597 |    15001     4690    582 |  0.000 % |
2.59/2.67	c |      5452 |     595    27944    63597 |    16501     5452    581 |  0.000 % |
3.49/3.57	c |      6591 |     595    27944    63597 |    18151     6591    581 |  0.000 % |
4.69/4.71	c |      8301 |     595    27944    63597 |    19966     8301    580 |  0.000 % |
6.79/6.86	c |     10863 |     595    27944    63597 |    21963    10863    580 |  0.000 % |
6.99/7.09	c ===============================================================================
6.99/7.09	c New solution: -13
6.99/7.09	o -13
6.99/7.09	c Elapsed CPU time: 6.99794 s	Remaining CPU time: 173.002 s
6.99/7.09	c ===============================================================================
6.99/7.09	c |     11065 |     595    27945    64192 |     9315    11065    580 |  0.000 % |
7.19/7.21	c |     11169 |     595    27945    64192 |    10246     5637    579 |  0.000 % |
7.19/7.30	c |     11320 |     595    27945    64192 |    11271     5788    579 |  0.000 % |
7.49/7.50	c |     11545 |     595    27945    64192 |    12398     6013    579 |  0.000 % |
7.69/7.72	c |     11882 |     595    27945    64192 |    13638     6350    579 |  0.000 % |
7.99/8.03	c ===============================================================================
7.99/8.03	c New solution: -14
7.99/8.03	o -14
7.99/8.03	c Elapsed CPU time: 7.92979 s	Remaining CPU time: 172.07 s
7.99/8.03	c ===============================================================================
7.99/8.03	c |     12268 |     595    27946    64787 |     9315     6736    579 |  0.000 % |
8.09/8.13	c |     12369 |     595    27946    64787 |    10246     6837    579 |  0.000 % |
8.29/8.32	c |     12520 |     595    27946    64787 |    11271     6988    579 |  0.000 % |
8.49/8.52	c |     12748 |     595    27946    64787 |    12398     7216    579 |  0.000 % |
8.79/8.85	c |     13086 |     595    27946    64787 |    13638     7554    579 |  0.000 % |
9.08/9.18	c |     13593 |     595    27946    64787 |    15002     8061    579 |  0.000 % |
9.39/9.47	c ===============================================================================
9.39/9.47	c New solution: -15
9.39/9.47	o -15
9.39/9.47	c Elapsed CPU time: 9.35358 s	Remaining CPU time: 170.646 s
9.39/9.47	c ===============================================================================
9.39/9.47	c |     14055 |     595    27947    65382 |     9315     8523    578 |  0.000 % |
9.48/9.51	c |     14156 |     595    27947    65382 |    10247     8624    578 |  0.000 % |
9.58/9.61	c |     14306 |     595    27947    65382 |    11271     8774    578 |  0.000 % |
9.80/9.80	c |     14532 |     595    27947    65382 |    12399     9000    578 |  0.000 % |
10.09/10.14	c |     14871 |     595    27947    65382 |    13639     9339    578 |  0.000 % |
10.59/10.65	c |     15378 |     595    27947    65382 |    15002     9846    578 |  0.000 % |
11.39/11.40	c |     16138 |     595    27947    65382 |    16503    10606    578 |  0.000 % |
12.39/12.42	c |     17277 |     595    27947    65382 |    18153    11745    578 |  0.000 % |
14.38/14.41	c |     18986 |     595    27947    65382 |    19968    13454    578 |  0.000 % |
18.60/18.63	c |     21548 |     595    27947    65382 |    21965    16016    578 |  0.000 % |
21.59/21.61	c ===============================================================================
21.59/21.61	c New solution: -16
21.59/21.61	o -16
21.59/21.61	c Elapsed CPU time: 21.4177 s	Remaining CPU time: 158.582 s
21.59/21.61	c ===============================================================================
21.59/21.61	c |     24580 |     595    27948    65977 |     9316    19048    578 |  0.000 % |
21.90/21.96	c |     24682 |     595    27948    65977 |    10247     4864    577 |  0.000 % |
22.00/22.08	c |     24832 |     595    27948    65977 |    11272     5014    577 |  0.000 % |
22.19/22.22	c |     25059 |     595    27948    65977 |    12399     5241    577 |  0.000 % |
22.28/22.38	c |     25398 |     595    27948    65977 |    13639     5580    577 |  0.000 % |
22.59/22.62	c |     25904 |     595    27948    65977 |    15003     6086    577 |  0.000 % |
23.09/23.12	c |     26664 |     595    27948    65977 |    16503     6846    577 |  0.000 % |
23.89/23.91	c |     27804 |     595    27948    65977 |    18154     7986    577 |  0.000 % |
25.19/25.22	c |     29513 |     595    27948    65977 |    19969     9695    577 |  0.000 % |
25.48/25.58	c ===============================================================================
25.48/25.58	c New solution: -17
25.48/25.58	o -17
25.48/25.58	c Elapsed CPU time: 25.3561 s	Remaining CPU time: 154.644 s
25.48/25.58	c ===============================================================================
25.48/25.58	c |     29910 |     595    27949    66572 |     9316    10092    577 |  0.000 % |
25.58/25.69	c |     30011 |     595    27949    66572 |    10247     5147    576 |  0.000 % |
25.68/25.79	c |     30161 |     595    27949    66572 |    11272     5297    576 |  0.000 % |
25.88/25.93	c |     30386 |     595    27949    66572 |    12400     5522    576 |  0.000 % |
26.08/26.18	c |     30723 |     595    27949    66572 |    13640     5859    576 |  0.000 % |
26.30/26.31	c ===============================================================================
26.30/26.31	c New solution: -18
26.30/26.31	o -18
26.30/26.31	c Elapsed CPU time: 26.08 s	Remaining CPU time: 153.92 s
26.30/26.31	c ===============================================================================
26.30/26.31	c |     30869 |     595    27950    67167 |     9316     6005    576 |  0.000 % |
26.30/26.40	c |     30969 |     595    27950    67167 |    10248     6105    576 |  0.000 % |
26.49/26.51	c |     31121 |     595    27950    67167 |    11273     6257    576 |  0.000 % |
26.68/26.79	c |     31348 |     595    27950    67167 |    12400     6484    576 |  0.000 % |
27.09/27.12	c |     31685 |     595    27950    67167 |    13640     6821    576 |  0.000 % |
27.58/27.64	c |     32193 |     595    27950    67167 |    15004     7329    576 |  0.000 % |
28.38/28.46	c |     32952 |     595    27950    67167 |    16505     8088    575 |  0.000 % |
30.09/30.11	c |     34091 |     595    27950    67167 |    18155     9227    575 |  0.000 % |
32.89/32.91	c |     35799 |     595    27950    67167 |    19971    10935    575 |  0.000 % |
37.78/37.81	c |     38364 |     595    27950    67167 |    21968    13500    575 |  0.000 % |
44.99/45.10	c |     42208 |     595    27950    67167 |    24165    17344    574 |  0.000 % |
59.77/59.81	c |     47978 |     595    27950    67167 |    26581    23114    574 |  0.000 % |
77.57/77.61	c |     56627 |     595    27950    67167 |    29239    15467    574 |  0.000 % |
122.46/122.59	c |     69601 |     595    27950    67167 |    32163    28441    574 |  0.000 % |
170.95/171.08	c |     89063 |     595    27950    67167 |    35380    26231    574 |  0.000 % |
180.64/180.73	c There are 0 assigned variables. 0 in cost function.
182.34/182.46	c core #1
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -594
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #2
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -593
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #3
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -592
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #4
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -591
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #5
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -590
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #6
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -589
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #7
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -588
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #8
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -587
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #9
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -586
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #10
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -585
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #11
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -584
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #12
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -583
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #13
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -582
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #14
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -581
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #15
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -580
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #16
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -579
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #17
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -578
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #18
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -577
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #19
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -576
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #20
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -575
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #21
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -574
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #22
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -573
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #23
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -572
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #24
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -571
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #25
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -570
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #26
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -569
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #27
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -568
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #28
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -567
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #29
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -566
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #30
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -565
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #31
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -564
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #32
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -563
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #33
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -562
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #34
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -561
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #35
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -560
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #36
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -559
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #37
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -558
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #38
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -557
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #39
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -556
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #40
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -555
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #41
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -554
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #42
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -553
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #43
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -552
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #44
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -551
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #45
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -550
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #46
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -549
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #47
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -548
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #48
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -547
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #49
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -546
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #50
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -545
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #51
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -544
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #52
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -543
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #53
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -542
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #54
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -541
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #55
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -540
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #56
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -539
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #57
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -538
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #58
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -537
182.34/182.46	c
182.34/182.46	c
182.34/182.46	c core #59
182.34/182.46	c 
182.34/182.46	c 
182.34/182.46	c Core size: 3	Core Weight: 1	Total Weight: -536
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #60
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -535
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #61
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -534
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #62
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -533
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #63
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -532
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #64
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -531
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #65
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -530
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #66
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -529
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #67
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -528
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #68
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -527
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #69
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -526
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #70
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -525
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #71
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -524
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #72
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -523
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #73
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -522
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #74
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -521
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #75
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -520
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #76
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -519
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #77
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -518
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #78
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -517
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #79
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -516
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #80
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -515
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #81
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -514
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #82
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -513
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #83
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -512
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #84
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -511
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #85
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -510
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #86
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -509
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #87
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -508
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #88
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -507
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #89
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -506
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #90
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -505
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #91
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -504
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #92
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -503
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #93
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -502
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #94
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -501
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #95
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -500
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #96
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -499
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #97
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -498
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #98
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -497
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #99
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -496
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #100
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -495
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #101
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -494
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #102
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -493
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #103
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -492
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #104
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -491
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #105
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -490
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #106
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -489
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #107
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -488
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #108
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -487
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #109
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -486
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #110
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -485
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #111
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -484
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #112
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -483
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #113
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -482
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #114
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -481
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #115
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -480
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #116
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -479
184.04/184.18	c
184.04/184.18	c
184.04/184.18	c core #117
184.04/184.18	c 
184.04/184.18	c 
184.04/184.18	c Core size: 3	Core Weight: 1	Total Weight: -478
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #118
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -477
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #119
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -476
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #120
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -475
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #121
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -474
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #122
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -473
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #123
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -472
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #124
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -471
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #125
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -470
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #126
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -469
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #127
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -468
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #128
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -467
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #129
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -466
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #130
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -465
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #131
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -464
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #132
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -463
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #133
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -462
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #134
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -461
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #135
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -460
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #136
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -459
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #137
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -458
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #138
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -457
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #139
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -456
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #140
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -455
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #141
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -454
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #142
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -453
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #143
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -452
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #144
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -451
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #145
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -450
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #146
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -449
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #147
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -448
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #148
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -447
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #149
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -446
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #150
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -445
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #151
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -444
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #152
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -443
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #153
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -442
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #154
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -441
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #155
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -440
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #156
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -439
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #157
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -438
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #158
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -437
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #159
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -436
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #160
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -435
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #161
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -434
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #162
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -433
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #163
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -432
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #164
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -431
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #165
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -430
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #166
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -429
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #167
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -428
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #168
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -427
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #169
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -426
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #170
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -425
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #171
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -424
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #172
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -423
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #173
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -422
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #174
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -421
185.94/186.03	c
185.94/186.03	c
185.94/186.03	c core #175
185.94/186.03	c 
185.94/186.03	c 
185.94/186.03	c Core size: 3	Core Weight: 1	Total Weight: -420
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #176
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -419
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #177
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -418
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #178
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -417
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #179
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -416
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #180
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -415
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #181
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -414
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #182
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -413
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #183
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -412
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #184
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -411
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #185
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -410
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #186
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -409
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #187
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -408
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #188
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -407
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #189
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -406
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #190
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -405
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #191
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -404
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #192
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -403
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #193
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -402
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #194
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -401
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #195
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -400
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #196
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -399
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #197
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -398
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #198
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -397
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #199
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -396
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #200
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -395
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #201
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -394
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #202
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -393
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #203
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -392
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #204
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -391
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #205
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -390
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #206
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -389
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #207
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -388
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #208
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -387
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #209
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -386
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #210
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -385
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #211
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -384
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #212
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -383
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #213
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -382
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #214
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -381
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #215
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -380
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #216
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -379
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #217
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -378
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #218
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -377
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #219
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -376
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #220
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -375
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #221
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -374
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #222
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -373
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #223
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -372
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #224
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -371
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #225
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -370
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #226
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -369
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #227
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -368
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #228
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -367
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #229
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -366
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #230
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -365
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #231
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -364
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #232
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -363
187.95/188.04	c
187.95/188.04	c
187.95/188.04	c core #233
187.95/188.04	c 
187.95/188.04	c 
187.95/188.04	c Core size: 3	Core Weight: 1	Total Weight: -362
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #234
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -361
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #235
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -360
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #236
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -359
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #237
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -358
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #238
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -357
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #239
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -356
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #240
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -355
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #241
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -354
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #242
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -353
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #243
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -352
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #244
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -351
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #245
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -350
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #246
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -349
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #247
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -348
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #248
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -347
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #249
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -346
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #250
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -345
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #251
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -344
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #252
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -343
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #253
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -342
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #254
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -341
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #255
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -340
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #256
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -339
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #257
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -338
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #258
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -337
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #259
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -336
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #260
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -335
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #261
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -334
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #262
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -333
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #263
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -332
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #264
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -331
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #265
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -330
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #266
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -329
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #267
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -328
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #268
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -327
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #269
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -326
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #270
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -325
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #271
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -324
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #272
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -323
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #273
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -322
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #274
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -321
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #275
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -320
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #276
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -319
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #277
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -318
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #278
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -317
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #279
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -316
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #280
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -315
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #281
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -314
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #282
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -313
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #283
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -312
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #284
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -311
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #285
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -310
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #286
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -309
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #287
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -308
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #288
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -307
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #289
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -306
190.04/190.20	c
190.04/190.20	c
190.04/190.20	c core #290
190.04/190.20	c 
190.04/190.20	c 
190.04/190.20	c Core size: 3	Core Weight: 1	Total Weight: -305
190.04/190.20	c
190.44/190.57	c
190.44/190.57	c core #291
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 3	Core Weight: 1	Total Weight: -304
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #292
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 3	Core Weight: 1	Total Weight: -303
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #293
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 3	Core Weight: 1	Total Weight: -302
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #294
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 3	Core Weight: 1	Total Weight: -301
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #295
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 3	Core Weight: 1	Total Weight: -300
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #296
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 3	Core Weight: 1	Total Weight: -299
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #297
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 7	Core Weight: 1	Total Weight: -298
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c core #298
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 10	Core Weight: 1	Total Weight: -297
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c ============================[ Search Statistics ]==============================
190.44/190.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.44/190.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.44/190.57	c ===============================================================================
190.44/190.57	c |         0 |    1196    28843    68964 |     9614        0    nan |  0.000 % |
190.44/190.58	c ===============================================================================
190.54/190.62	c core #299
190.54/190.62	c 
190.54/190.62	c 
190.54/190.62	c Core size: 10	Core Weight: 1	Total Weight: -296
190.54/190.62	c
190.54/190.62	c
190.54/190.62	c ============================[ Search Statistics ]==============================
190.54/190.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.54/190.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.54/190.62	c ===============================================================================
190.54/190.62	c |         0 |    1202    28844    68976 |     9614        0    nan |  0.000 % |
190.54/190.63	c ===============================================================================
190.54/190.67	c core #300
190.54/190.67	c 
190.54/190.67	c 
190.54/190.67	c Core size: 8	Core Weight: 1	Total Weight: -295
190.54/190.67	c
190.54/190.67	c
190.54/190.67	c ============================[ Search Statistics ]==============================
190.54/190.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.54/190.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.54/190.67	c ===============================================================================
190.54/190.67	c |         0 |    1206    28845    68984 |     9615        0    nan |  0.000 % |
190.54/190.68	c ===============================================================================
190.64/190.72	c core #301
190.64/190.72	c 
190.64/190.72	c 
190.64/190.72	c Core size: 8	Core Weight: 1	Total Weight: -294
190.64/190.72	c
190.64/190.72	c
190.64/190.72	c ============================[ Search Statistics ]==============================
190.64/190.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.64/190.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.64/190.72	c ===============================================================================
190.64/190.72	c |         0 |    1210    28846    68992 |     9615        0    nan |  0.000 % |
190.64/190.73	c ===============================================================================
190.64/190.78	c core #302
190.64/190.78	c 
190.64/190.78	c 
190.64/190.78	c Core size: 8	Core Weight: 1	Total Weight: -293
190.64/190.78	c
190.64/190.78	c
190.64/190.78	c ============================[ Search Statistics ]==============================
190.64/190.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.64/190.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.64/190.78	c ===============================================================================
190.64/190.78	c |         0 |    1214    28847    69000 |     9615        0    nan |  0.000 % |
190.64/190.79	c ===============================================================================
190.75/190.83	c core #303
190.75/190.83	c 
190.75/190.83	c 
190.75/190.83	c Core size: 10	Core Weight: 1	Total Weight: -292
190.75/190.83	c
190.75/190.83	c
190.75/190.83	c ============================[ Search Statistics ]==============================
190.75/190.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.75/190.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.75/190.83	c ===============================================================================
190.75/190.83	c |         0 |    1220    28848    69012 |     9616        0    nan |  0.000 % |
190.75/190.84	c ===============================================================================
190.75/190.88	c core #304
190.75/190.88	c 
190.75/190.88	c 
190.75/190.88	c Core size: 10	Core Weight: 1	Total Weight: -291
190.75/190.88	c
190.75/190.88	c
190.75/190.88	c ============================[ Search Statistics ]==============================
190.75/190.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.75/190.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.75/190.88	c ===============================================================================
190.75/190.88	c |         0 |    1226    28849    69024 |     9616        0    nan |  0.000 % |
190.75/190.89	c ===============================================================================
190.84/190.94	c core #305
190.84/190.94	c 
190.84/190.94	c 
190.84/190.94	c Core size: 8	Core Weight: 1	Total Weight: -290
190.84/190.94	c
190.84/190.94	c
190.84/190.94	c ============================[ Search Statistics ]==============================
190.84/190.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.84/190.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.84/190.94	c ===============================================================================
190.84/190.94	c |         0 |    1230    28850    69032 |     9616        0    nan |  0.000 % |
190.84/190.95	c ===============================================================================
190.84/190.99	c core #306
190.84/190.99	c 
190.84/190.99	c 
190.84/190.99	c Core size: 8	Core Weight: 1	Total Weight: -289
190.84/190.99	c
190.84/190.99	c
190.84/190.99	c ============================[ Search Statistics ]==============================
190.84/190.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.84/190.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.84/190.99	c ===============================================================================
190.84/190.99	c |         0 |    1234    28851    69040 |     9617        0    nan |  0.000 % |
190.94/191.00	c ===============================================================================
190.94/191.04	c core #307
190.94/191.04	c 
190.94/191.04	c 
190.94/191.04	c Core size: 10	Core Weight: 1	Total Weight: -288
190.94/191.04	c
190.94/191.04	c
190.94/191.04	c ============================[ Search Statistics ]==============================
190.94/191.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.94/191.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.94/191.04	c ===============================================================================
190.94/191.04	c |         0 |    1240    28852    69052 |     9617        0    nan |  0.000 % |
190.94/191.06	c ===============================================================================
191.04/191.10	c core #308
191.04/191.10	c 
191.04/191.10	c 
191.04/191.10	c Core size: 8	Core Weight: 1	Total Weight: -287
191.04/191.10	c
191.04/191.10	c
191.04/191.10	c ============================[ Search Statistics ]==============================
191.04/191.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.04/191.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.04/191.10	c ===============================================================================
191.04/191.10	c |         0 |    1244    28853    69060 |     9617        0    nan |  0.000 % |
191.04/191.11	c ===============================================================================
191.04/191.16	c core #309
191.04/191.16	c 
191.04/191.16	c 
191.04/191.16	c Core size: 8	Core Weight: 1	Total Weight: -286
191.04/191.16	c
191.04/191.16	c
191.04/191.16	c ============================[ Search Statistics ]==============================
191.04/191.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.04/191.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.04/191.16	c ===============================================================================
191.04/191.16	c |         0 |    1248    28854    69068 |     9618        0    nan |  0.000 % |
191.04/191.17	c ===============================================================================
191.14/191.21	c core #310
191.14/191.21	c 
191.14/191.21	c 
191.14/191.21	c Core size: 8	Core Weight: 1	Total Weight: -285
191.14/191.21	c
191.14/191.21	c
191.14/191.21	c ============================[ Search Statistics ]==============================
191.14/191.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.21	c ===============================================================================
191.14/191.21	c |         0 |    1252    28855    69076 |     9618        0    nan |  0.000 % |
191.14/191.23	c ===============================================================================
191.14/191.27	c core #311
191.14/191.27	c 
191.14/191.27	c 
191.14/191.27	c Core size: 10	Core Weight: 1	Total Weight: -284
191.14/191.27	c
191.14/191.27	c
191.14/191.27	c ============================[ Search Statistics ]==============================
191.14/191.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.27	c ===============================================================================
191.14/191.27	c |         0 |    1258    28856    69088 |     9618        0    nan |  0.000 % |
191.14/191.28	c ===============================================================================
191.25/191.33	c core #312
191.25/191.33	c 
191.25/191.33	c 
191.25/191.33	c Core size: 10	Core Weight: 1	Total Weight: -283
191.25/191.33	c
191.25/191.33	c
191.25/191.33	c ============================[ Search Statistics ]==============================
191.25/191.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.33	c ===============================================================================
191.25/191.33	c |         0 |    1264    28857    69100 |     9619        0    nan |  0.000 % |
191.25/191.34	c ===============================================================================
191.25/191.39	c core #313
191.25/191.39	c 
191.25/191.39	c 
191.25/191.39	c Core size: 10	Core Weight: 1	Total Weight: -282
191.25/191.39	c
191.25/191.39	c
191.25/191.39	c ============================[ Search Statistics ]==============================
191.25/191.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.39	c ===============================================================================
191.25/191.39	c |         0 |    1270    28858    69112 |     9619        0    nan |  0.000 % |
191.25/191.40	c ===============================================================================
191.35/191.45	c core #314
191.35/191.45	c 
191.35/191.45	c 
191.35/191.45	c Core size: 13	Core Weight: 1	Total Weight: -281
191.35/191.45	c
191.35/191.45	c
191.35/191.45	c ============================[ Search Statistics ]==============================
191.35/191.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.45	c ===============================================================================
191.35/191.45	c |         0 |    1280    28859    69132 |     9619        0    nan |  0.000 % |
191.35/191.46	c ===============================================================================
191.44/191.50	c core #315
191.44/191.50	c 
191.44/191.50	c 
191.44/191.50	c Core size: 10	Core Weight: 1	Total Weight: -280
191.44/191.50	c
191.44/191.50	c
191.44/191.50	c ============================[ Search Statistics ]==============================
191.44/191.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.50	c ===============================================================================
191.44/191.50	c |         0 |    1286    28860    69144 |     9620        0    nan |  0.000 % |
191.44/191.51	c ===============================================================================
191.44/191.56	c core #316
191.44/191.56	c 
191.44/191.56	c 
191.44/191.56	c Core size: 8	Core Weight: 1	Total Weight: -279
191.44/191.56	c
191.44/191.56	c
191.44/191.56	c ============================[ Search Statistics ]==============================
191.44/191.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.56	c ===============================================================================
191.44/191.56	c |         0 |    1290    28861    69152 |     9620        0    nan |  0.000 % |
191.44/191.57	c ===============================================================================
191.54/191.62	c core #317
191.54/191.62	c 
191.54/191.62	c 
191.54/191.62	c Core size: 8	Core Weight: 1	Total Weight: -278
191.54/191.62	c
191.54/191.62	c
191.54/191.62	c ============================[ Search Statistics ]==============================
191.54/191.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.62	c ===============================================================================
191.54/191.62	c |         0 |    1294    28862    69160 |     9620        0    nan |  0.000 % |
191.54/191.63	c ===============================================================================
191.54/191.68	c core #318
191.54/191.68	c 
191.54/191.68	c 
191.54/191.68	c Core size: 13	Core Weight: 1	Total Weight: -277
191.54/191.68	c
191.54/191.68	c
191.54/191.68	c ============================[ Search Statistics ]==============================
191.54/191.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.68	c ===============================================================================
191.54/191.68	c |         0 |    1304    28863    69180 |     9621        0    nan |  0.000 % |
191.54/191.69	c ===============================================================================
191.64/191.73	c core #319
191.64/191.73	c 
191.64/191.73	c 
191.64/191.73	c Core size: 10	Core Weight: 1	Total Weight: -276
191.64/191.73	c
191.64/191.73	c
191.64/191.73	c ============================[ Search Statistics ]==============================
191.64/191.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.73	c ===============================================================================
191.64/191.73	c |         0 |    1310    28864    69192 |     9621        0    nan |  0.000 % |
191.64/191.75	c ===============================================================================
191.64/191.79	c core #320
191.64/191.79	c 
191.64/191.79	c 
191.64/191.79	c Core size: 10	Core Weight: 1	Total Weight: -275
191.64/191.79	c
191.64/191.79	c
191.64/191.79	c ============================[ Search Statistics ]==============================
191.64/191.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.79	c ===============================================================================
191.64/191.79	c |         0 |    1316    28865    69204 |     9621        0    nan |  0.000 % |
191.74/191.80	c ===============================================================================
191.74/191.85	c core #321
191.74/191.85	c 
191.74/191.85	c 
191.74/191.85	c Core size: 8	Core Weight: 1	Total Weight: -274
191.74/191.85	c
191.74/191.85	c
191.74/191.85	c ============================[ Search Statistics ]==============================
191.74/191.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.85	c ===============================================================================
191.74/191.85	c |         0 |    1320    28866    69212 |     9622        0    nan |  0.000 % |
191.74/191.86	c ===============================================================================
191.84/191.91	c core #322
191.84/191.91	c 
191.84/191.91	c 
191.84/191.91	c Core size: 10	Core Weight: 1	Total Weight: -273
191.84/191.91	c
191.84/191.91	c
191.84/191.91	c ============================[ Search Statistics ]==============================
191.84/191.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.91	c ===============================================================================
191.84/191.91	c |         0 |    1326    28867    69224 |     9622        0    nan |  0.000 % |
191.84/191.92	c ===============================================================================
191.84/191.97	c core #323
191.84/191.97	c 
191.84/191.97	c 
191.84/191.97	c Core size: 10	Core Weight: 1	Total Weight: -272
191.84/191.97	c
191.84/191.97	c
191.84/191.97	c ============================[ Search Statistics ]==============================
191.84/191.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.97	c ===============================================================================
191.84/191.97	c |         0 |    1332    28868    69236 |     9622        0    nan |  0.000 % |
191.84/191.98	c ===============================================================================
191.94/192.02	c core #324
191.94/192.02	c 
191.94/192.02	c 
191.94/192.02	c Core size: 8	Core Weight: 1	Total Weight: -271
191.94/192.02	c
191.94/192.02	c
191.94/192.02	c ============================[ Search Statistics ]==============================
191.94/192.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.94/192.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.94/192.02	c ===============================================================================
191.94/192.02	c |         0 |    1336    28869    69244 |     9623        0    nan |  0.000 % |
191.94/192.03	c ===============================================================================
191.94/192.08	c core #325
191.94/192.08	c 
191.94/192.08	c 
191.94/192.08	c Core size: 10	Core Weight: 1	Total Weight: -270
191.94/192.08	c
191.94/192.08	c
191.94/192.08	c ============================[ Search Statistics ]==============================
191.94/192.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.94/192.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.94/192.08	c ===============================================================================
191.94/192.08	c |         0 |    1342    28870    69256 |     9623        0    nan |  0.000 % |
191.94/192.09	c ===============================================================================
192.04/192.14	c core #326
192.04/192.14	c 
192.04/192.14	c 
192.04/192.14	c Core size: 10	Core Weight: 1	Total Weight: -269
192.04/192.14	c
192.04/192.14	c
192.04/192.14	c ============================[ Search Statistics ]==============================
192.04/192.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.14	c ===============================================================================
192.04/192.14	c |         0 |    1348    28871    69268 |     9623        0    nan |  0.000 % |
192.04/192.15	c ===============================================================================
192.04/192.19	c core #327
192.04/192.19	c 
192.04/192.19	c 
192.04/192.19	c Core size: 8	Core Weight: 1	Total Weight: -268
192.04/192.19	c
192.04/192.19	c
192.04/192.19	c ============================[ Search Statistics ]==============================
192.04/192.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.19	c ===============================================================================
192.04/192.19	c |         0 |    1352    28872    69276 |     9624        0    nan |  0.000 % |
192.14/192.20	c ===============================================================================
192.14/192.25	c core #328
192.14/192.25	c 
192.14/192.25	c 
192.14/192.25	c Core size: 8	Core Weight: 1	Total Weight: -267
192.14/192.25	c
192.14/192.25	c
192.14/192.25	c ============================[ Search Statistics ]==============================
192.14/192.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.25	c ===============================================================================
192.14/192.25	c |         0 |    1356    28873    69284 |     9624        0    nan |  0.000 % |
192.14/192.26	c ===============================================================================
192.24/192.30	c core #329
192.24/192.30	c 
192.24/192.30	c 
192.24/192.30	c Core size: 8	Core Weight: 1	Total Weight: -266
192.24/192.30	c
192.24/192.30	c
192.24/192.30	c ============================[ Search Statistics ]==============================
192.24/192.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.30	c ===============================================================================
192.24/192.30	c |         0 |    1360    28874    69292 |     9624        0    nan |  0.000 % |
192.24/192.31	c ===============================================================================
192.24/192.36	c core #330
192.24/192.36	c 
192.24/192.36	c 
192.24/192.36	c Core size: 10	Core Weight: 1	Total Weight: -265
192.24/192.36	c
192.24/192.36	c
192.24/192.36	c ============================[ Search Statistics ]==============================
192.24/192.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.36	c ===============================================================================
192.24/192.36	c |         0 |    1366    28875    69304 |     9625        0    nan |  0.000 % |
192.24/192.37	c ===============================================================================
192.35/192.41	c core #331
192.35/192.41	c 
192.35/192.41	c 
192.35/192.41	c Core size: 14	Core Weight: 1	Total Weight: -264
192.35/192.41	c
192.35/192.41	c
192.35/192.41	c ============================[ Search Statistics ]==============================
192.35/192.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.35/192.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.35/192.41	c ===============================================================================
192.35/192.41	c |         0 |    1378    28876    69328 |     9625        0    nan |  0.000 % |
192.35/192.42	c ===============================================================================
192.35/192.47	c core #332
192.35/192.47	c 
192.35/192.47	c 
192.35/192.47	c Core size: 8	Core Weight: 1	Total Weight: -263
192.35/192.47	c
192.35/192.47	c
192.35/192.47	c ============================[ Search Statistics ]==============================
192.35/192.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.35/192.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.35/192.47	c ===============================================================================
192.35/192.47	c |         0 |    1382    28877    69336 |     9625        0    nan |  0.000 % |
192.35/192.48	c ===============================================================================
192.45/192.52	c core #333
192.45/192.52	c 
192.45/192.52	c 
192.45/192.52	c Core size: 8	Core Weight: 1	Total Weight: -262
192.45/192.52	c
192.45/192.52	c
192.45/192.52	c ============================[ Search Statistics ]==============================
192.45/192.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.45/192.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.45/192.52	c ===============================================================================
192.45/192.52	c |         0 |    1386    28878    69344 |     9626        0    nan |  0.000 % |
192.45/192.53	c ===============================================================================
192.45/192.58	c core #334
192.45/192.58	c 
192.45/192.58	c 
192.45/192.58	c Core size: 12	Core Weight: 1	Total Weight: -261
192.45/192.58	c
192.45/192.58	c
192.45/192.58	c ============================[ Search Statistics ]==============================
192.45/192.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.45/192.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.45/192.58	c ===============================================================================
192.45/192.58	c |         0 |    1396    28879    69364 |     9626        0    nan |  0.000 % |
192.45/192.59	c ===============================================================================
192.54/192.63	c core #335
192.54/192.63	c 
192.54/192.63	c 
192.54/192.63	c Core size: 8	Core Weight: 1	Total Weight: -260
192.54/192.63	c
192.54/192.63	c
192.54/192.63	c ============================[ Search Statistics ]==============================
192.54/192.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.63	c ===============================================================================
192.54/192.63	c |         0 |    1400    28880    69372 |     9626        0    nan |  0.000 % |
192.54/192.64	c ===============================================================================
192.54/192.69	c core #336
192.54/192.69	c 
192.54/192.69	c 
192.54/192.69	c Core size: 10	Core Weight: 1	Total Weight: -259
192.54/192.69	c
192.54/192.69	c
192.54/192.69	c ============================[ Search Statistics ]==============================
192.54/192.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.69	c ===============================================================================
192.54/192.69	c |         0 |    1406    28881    69384 |     9627        0    nan |  0.000 % |
192.64/192.70	c ===============================================================================
192.64/192.75	c core #337
192.64/192.75	c 
192.64/192.75	c 
192.64/192.75	c Core size: 10	Core Weight: 1	Total Weight: -258
192.64/192.75	c
192.64/192.75	c
192.64/192.75	c ============================[ Search Statistics ]==============================
192.64/192.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.64/192.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.64/192.75	c ===============================================================================
192.64/192.75	c |         0 |    1412    28882    69396 |     9627        0    nan |  0.000 % |
192.64/192.76	c ===============================================================================
192.74/192.81	c core #338
192.74/192.81	c 
192.74/192.81	c 
192.74/192.81	c Core size: 8	Core Weight: 1	Total Weight: -257
192.74/192.81	c
192.74/192.81	c
192.74/192.81	c ============================[ Search Statistics ]==============================
192.74/192.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.81	c ===============================================================================
192.74/192.81	c |         0 |    1416    28883    69404 |     9627        0    nan |  0.000 % |
192.74/192.81	c ===============================================================================
192.74/192.86	c core #339
192.74/192.86	c 
192.74/192.86	c 
192.74/192.86	c Core size: 8	Core Weight: 1	Total Weight: -256
192.74/192.86	c
192.74/192.86	c
192.74/192.86	c ============================[ Search Statistics ]==============================
192.74/192.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.86	c ===============================================================================
192.74/192.86	c |         0 |    1420    28884    69412 |     9628        0    nan |  0.000 % |
192.74/192.87	c ===============================================================================
192.84/192.92	c core #340
192.84/192.92	c 
192.84/192.92	c 
192.84/192.92	c Core size: 8	Core Weight: 1	Total Weight: -255
192.84/192.92	c
192.84/192.92	c
192.84/192.92	c ============================[ Search Statistics ]==============================
192.84/192.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.92	c ===============================================================================
192.84/192.92	c |         0 |    1424    28885    69420 |     9628        0    nan |  0.000 % |
192.84/192.93	c ===============================================================================
192.84/192.98	c core #341
192.84/192.98	c 
192.84/192.98	c 
192.84/192.98	c Core size: 15	Core Weight: 1	Total Weight: -254
192.84/192.98	c
192.84/192.98	c
192.84/192.98	c ============================[ Search Statistics ]==============================
192.84/192.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.98	c ===============================================================================
192.84/192.98	c |         0 |    1436    28886    69444 |     9628        0    nan |  0.000 % |
192.84/192.99	c ===============================================================================
192.94/193.04	c core #342
192.94/193.04	c 
192.94/193.04	c 
192.94/193.04	c Core size: 15	Core Weight: 1	Total Weight: -253
192.94/193.04	c
192.94/193.04	c
192.94/193.04	c ============================[ Search Statistics ]==============================
192.94/193.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.94/193.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.94/193.04	c ===============================================================================
192.94/193.04	c |         0 |    1448    28887    69468 |     9629        0    nan |  0.000 % |
192.94/193.05	c ===============================================================================
192.94/193.09	c core #343
192.94/193.09	c 
192.94/193.09	c 
192.94/193.09	c Core size: 8	Core Weight: 1	Total Weight: -252
192.94/193.09	c
192.94/193.09	c
192.94/193.09	c ============================[ Search Statistics ]==============================
192.94/193.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.94/193.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.94/193.09	c ===============================================================================
192.94/193.09	c |         0 |    1452    28888    69476 |     9629        0    nan |  0.000 % |
193.04/193.10	c ===============================================================================
193.04/193.15	c core #344
193.04/193.15	c 
193.04/193.15	c 
193.04/193.15	c Core size: 10	Core Weight: 1	Total Weight: -251
193.04/193.15	c
193.04/193.15	c
193.04/193.15	c ============================[ Search Statistics ]==============================
193.04/193.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.15	c ===============================================================================
193.04/193.15	c |         0 |    1458    28889    69488 |     9629        0    nan |  0.000 % |
193.04/193.16	c ===============================================================================
193.14/193.21	c core #345
193.14/193.21	c 
193.14/193.21	c 
193.14/193.21	c Core size: 8	Core Weight: 1	Total Weight: -250
193.14/193.21	c
193.14/193.21	c
193.14/193.21	c ============================[ Search Statistics ]==============================
193.14/193.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.14/193.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.14/193.21	c ===============================================================================
193.14/193.21	c |         0 |    1462    28890    69496 |     9630        0    nan |  0.000 % |
193.14/193.22	c ===============================================================================
193.14/193.27	c core #346
193.14/193.27	c 
193.14/193.27	c 
193.14/193.27	c Core size: 10	Core Weight: 1	Total Weight: -249
193.14/193.27	c
193.14/193.27	c
193.14/193.27	c ============================[ Search Statistics ]==============================
193.14/193.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.14/193.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.14/193.27	c ===============================================================================
193.14/193.27	c |         0 |    1468    28891    69508 |     9630        0    nan |  0.000 % |
193.14/193.27	c ===============================================================================
193.24/193.32	c core #347
193.24/193.32	c 
193.24/193.32	c 
193.24/193.32	c Core size: 10	Core Weight: 1	Total Weight: -248
193.24/193.32	c
193.24/193.32	c
193.24/193.32	c ============================[ Search Statistics ]==============================
193.24/193.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.24/193.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.24/193.32	c ===============================================================================
193.24/193.32	c |         0 |    1474    28892    69520 |     9630        0    nan |  0.000 % |
193.24/193.33	c ===============================================================================
193.24/193.38	c core #348
193.24/193.38	c 
193.24/193.38	c 
193.24/193.38	c Core size: 8	Core Weight: 1	Total Weight: -247
193.24/193.38	c
193.24/193.38	c
193.24/193.38	c ============================[ Search Statistics ]==============================
193.24/193.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.24/193.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.24/193.38	c ===============================================================================
193.24/193.38	c |         0 |    1478    28893    69528 |     9631        0    nan |  0.000 % |
193.24/193.39	c ===============================================================================
193.34/193.43	c core #349
193.34/193.43	c 
193.34/193.43	c 
193.34/193.43	c Core size: 8	Core Weight: 1	Total Weight: -246
193.34/193.43	c
193.34/193.43	c
193.34/193.43	c ============================[ Search Statistics ]==============================
193.34/193.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.34/193.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.34/193.43	c ===============================================================================
193.34/193.43	c |         0 |    1482    28894    69536 |     9631        0    nan |  0.000 % |
193.34/193.44	c ===============================================================================
193.34/193.49	c core #350
193.34/193.49	c 
193.34/193.49	c 
193.34/193.49	c Core size: 10	Core Weight: 1	Total Weight: -245
193.34/193.49	c
193.34/193.49	c
193.34/193.49	c ============================[ Search Statistics ]==============================
193.34/193.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.34/193.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.34/193.49	c ===============================================================================
193.34/193.49	c |         0 |    1488    28895    69548 |     9631        0    nan |  0.000 % |
193.34/193.50	c ===============================================================================
193.45/193.54	c core #351
193.45/193.54	c 
193.45/193.54	c 
193.45/193.54	c Core size: 10	Core Weight: 1	Total Weight: -244
193.45/193.54	c
193.45/193.54	c
193.45/193.54	c ============================[ Search Statistics ]==============================
193.45/193.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.54	c ===============================================================================
193.45/193.54	c |         0 |    1494    28896    69560 |     9632        0    nan |  0.000 % |
193.45/193.55	c ===============================================================================
193.45/193.60	c core #352
193.45/193.60	c 
193.45/193.60	c 
193.45/193.60	c Core size: 10	Core Weight: 1	Total Weight: -243
193.45/193.60	c
193.45/193.60	c
193.45/193.60	c ============================[ Search Statistics ]==============================
193.45/193.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.60	c ===============================================================================
193.45/193.60	c |         0 |    1500    28897    69572 |     9632        0    nan |  0.000 % |
193.55/193.61	c ===============================================================================
193.55/193.66	c core #353
193.55/193.66	c 
193.55/193.66	c 
193.55/193.66	c Core size: 15	Core Weight: 1	Total Weight: -242
193.55/193.66	c
193.55/193.66	c
193.55/193.66	c ============================[ Search Statistics ]==============================
193.55/193.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.55/193.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.55/193.66	c ===============================================================================
193.55/193.66	c |         0 |    1512    28898    69596 |     9632        0    nan |  0.000 % |
193.55/193.68	c ===============================================================================
193.64/193.72	c core #354
193.64/193.72	c 
193.64/193.72	c 
193.64/193.72	c Core size: 10	Core Weight: 1	Total Weight: -241
193.64/193.72	c
193.64/193.72	c
193.64/193.72	c ============================[ Search Statistics ]==============================
193.64/193.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.64/193.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.64/193.72	c ===============================================================================
193.64/193.72	c |         0 |    1518    28899    69608 |     9633        0    nan |  0.000 % |
193.64/193.74	c ===============================================================================
193.64/193.78	c core #355
193.64/193.78	c 
193.64/193.78	c 
193.64/193.78	c Core size: 10	Core Weight: 1	Total Weight: -240
193.64/193.78	c
193.64/193.78	c
193.64/193.78	c ============================[ Search Statistics ]==============================
193.64/193.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.64/193.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.64/193.78	c ===============================================================================
193.64/193.78	c |         0 |    1524    28900    69620 |     9633        0    nan |  0.000 % |
193.64/193.79	c ===============================================================================
193.74/193.84	c core #356
193.74/193.84	c 
193.74/193.84	c 
193.74/193.84	c Core size: 10	Core Weight: 1	Total Weight: -239
193.74/193.84	c
193.74/193.84	c
193.74/193.84	c ============================[ Search Statistics ]==============================
193.74/193.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.74/193.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.74/193.84	c ===============================================================================
193.74/193.84	c |         0 |    1530    28901    69632 |     9633        0    nan |  0.000 % |
193.74/193.85	c ===============================================================================
193.84/193.90	c core #357
193.84/193.90	c 
193.84/193.90	c 
193.84/193.90	c Core size: 8	Core Weight: 1	Total Weight: -238
193.84/193.90	c
193.84/193.90	c
193.84/193.90	c ============================[ Search Statistics ]==============================
193.84/193.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.84/193.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.84/193.90	c ===============================================================================
193.84/193.90	c |         0 |    1534    28902    69640 |     9634        0    nan |  0.000 % |
193.84/193.91	c ===============================================================================
193.84/193.95	c core #358
193.84/193.95	c 
193.84/193.95	c 
193.84/193.95	c Core size: 10	Core Weight: 1	Total Weight: -237
193.84/193.95	c
193.84/193.95	c
193.84/193.95	c ============================[ Search Statistics ]==============================
193.84/193.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.84/193.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.84/193.95	c ===============================================================================
193.84/193.95	c |         0 |    1540    28903    69652 |     9634        0    nan |  0.000 % |
193.84/193.96	c ===============================================================================
193.94/194.01	c core #359
193.94/194.01	c 
193.94/194.01	c 
193.94/194.01	c Core size: 10	Core Weight: 1	Total Weight: -236
193.94/194.01	c
193.94/194.01	c
193.94/194.01	c ============================[ Search Statistics ]==============================
193.94/194.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.94/194.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.94/194.01	c ===============================================================================
193.94/194.01	c |         0 |    1546    28904    69664 |     9634        0    nan |  0.000 % |
193.94/194.02	c ===============================================================================
193.94/194.07	c core #360
193.94/194.07	c 
193.94/194.07	c 
193.94/194.07	c Core size: 15	Core Weight: 1	Total Weight: -235
193.94/194.07	c
193.94/194.07	c
193.94/194.07	c ============================[ Search Statistics ]==============================
193.94/194.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.94/194.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.94/194.07	c ===============================================================================
193.94/194.07	c |         0 |    1558    28905    69688 |     9635        0    nan |  0.000 % |
193.94/194.08	c ===============================================================================
194.04/194.13	c core #361
194.04/194.13	c 
194.04/194.13	c 
194.04/194.13	c Core size: 10	Core Weight: 1	Total Weight: -234
194.04/194.13	c
194.04/194.13	c
194.04/194.13	c ============================[ Search Statistics ]==============================
194.04/194.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.04/194.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.04/194.13	c ===============================================================================
194.04/194.13	c |         0 |    1564    28906    69700 |     9635        0    nan |  0.000 % |
194.04/194.14	c ===============================================================================
194.04/194.19	c core #362
194.04/194.19	c 
194.04/194.19	c 
194.04/194.19	c Core size: 8	Core Weight: 1	Total Weight: -233
194.04/194.19	c
194.04/194.19	c
194.04/194.19	c ============================[ Search Statistics ]==============================
194.04/194.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.04/194.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.04/194.19	c ===============================================================================
194.04/194.19	c |         0 |    1568    28907    69708 |     9635        0    nan |  0.000 % |
194.14/194.20	c ===============================================================================
194.14/194.24	c core #363
194.14/194.24	c 
194.14/194.24	c 
194.14/194.24	c Core size: 10	Core Weight: 1	Total Weight: -232
194.14/194.24	c
194.14/194.24	c
194.14/194.24	c ============================[ Search Statistics ]==============================
194.14/194.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.14/194.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.14/194.24	c ===============================================================================
194.14/194.24	c |         0 |    1574    28908    69720 |     9636        0    nan |  0.000 % |
194.14/194.25	c ===============================================================================
194.24/194.30	c core #364
194.24/194.30	c 
194.24/194.30	c 
194.24/194.30	c Core size: 10	Core Weight: 1	Total Weight: -231
194.24/194.30	c
194.24/194.30	c
194.24/194.30	c ============================[ Search Statistics ]==============================
194.24/194.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.30	c ===============================================================================
194.24/194.30	c |         0 |    1580    28909    69732 |     9636        0    nan |  0.000 % |
194.24/194.31	c ===============================================================================
194.24/194.36	c core #365
194.24/194.36	c 
194.24/194.36	c 
194.24/194.36	c Core size: 15	Core Weight: 1	Total Weight: -230
194.24/194.36	c
194.24/194.36	c
194.24/194.36	c ============================[ Search Statistics ]==============================
194.24/194.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.36	c ===============================================================================
194.24/194.36	c |         0 |    1592    28910    69756 |     9636        0    nan |  0.000 % |
194.24/194.37	c ===============================================================================
194.34/194.42	c core #366
194.34/194.42	c 
194.34/194.42	c 
194.34/194.42	c Core size: 15	Core Weight: 1	Total Weight: -229
194.34/194.42	c
194.34/194.42	c
194.34/194.42	c ============================[ Search Statistics ]==============================
194.34/194.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.34/194.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.34/194.42	c ===============================================================================
194.34/194.42	c |         0 |    1604    28911    69780 |     9637        0    nan |  0.000 % |
194.34/194.44	c ===============================================================================
194.34/194.48	c core #367
194.34/194.48	c 
194.34/194.48	c 
194.34/194.48	c Core size: 10	Core Weight: 1	Total Weight: -228
194.34/194.48	c
194.34/194.48	c
194.34/194.48	c ============================[ Search Statistics ]==============================
194.34/194.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.34/194.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.34/194.48	c ===============================================================================
194.34/194.48	c |         0 |    1610    28912    69792 |     9637        0    nan |  0.000 % |
194.34/194.49	c ===============================================================================
194.44/194.54	c core #368
194.44/194.54	c 
194.44/194.54	c 
194.44/194.54	c Core size: 8	Core Weight: 1	Total Weight: -227
194.44/194.54	c
194.44/194.54	c
194.44/194.54	c ============================[ Search Statistics ]==============================
194.44/194.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.44/194.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.44/194.54	c ===============================================================================
194.44/194.54	c |         0 |    1614    28913    69800 |     9637        0    nan |  0.000 % |
194.44/194.55	c ===============================================================================
194.55/194.60	c core #369
194.55/194.60	c 
194.55/194.60	c 
194.55/194.60	c Core size: 10	Core Weight: 1	Total Weight: -226
194.55/194.60	c
194.55/194.60	c
194.55/194.60	c ============================[ Search Statistics ]==============================
194.55/194.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.55/194.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.55/194.60	c ===============================================================================
194.55/194.60	c |         0 |    1620    28914    69812 |     9638        0    nan |  0.000 % |
194.55/194.61	c ===============================================================================
194.55/194.66	c core #370
194.55/194.66	c 
194.55/194.66	c 
194.55/194.66	c Core size: 8	Core Weight: 1	Total Weight: -225
194.55/194.66	c
194.55/194.66	c
194.55/194.66	c ============================[ Search Statistics ]==============================
194.55/194.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.55/194.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.55/194.66	c ===============================================================================
194.55/194.66	c |         0 |    1624    28915    69820 |     9638        0    nan |  0.000 % |
194.55/194.67	c ===============================================================================
194.65/194.72	c core #371
194.65/194.72	c 
194.65/194.72	c 
194.65/194.72	c Core size: 8	Core Weight: 1	Total Weight: -224
194.65/194.72	c
194.65/194.72	c
194.65/194.72	c ============================[ Search Statistics ]==============================
194.65/194.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.65/194.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.65/194.72	c ===============================================================================
194.65/194.72	c |         0 |    1628    28916    69828 |     9638        0    nan |  0.000 % |
194.65/194.73	c ===============================================================================
194.65/194.77	c core #372
194.65/194.77	c 
194.65/194.77	c 
194.65/194.77	c Core size: 8	Core Weight: 1	Total Weight: -223
194.65/194.77	c
194.65/194.77	c
194.65/194.77	c ============================[ Search Statistics ]==============================
194.65/194.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.65/194.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.65/194.77	c ===============================================================================
194.65/194.77	c |         0 |    1632    28917    69836 |     9639        0    nan |  0.000 % |
194.65/194.78	c ===============================================================================
194.74/194.83	c core #373
194.74/194.83	c 
194.74/194.83	c 
194.74/194.83	c Core size: 10	Core Weight: 1	Total Weight: -222
194.74/194.83	c
194.74/194.83	c
194.74/194.83	c ============================[ Search Statistics ]==============================
194.74/194.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.74/194.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.74/194.83	c ===============================================================================
194.74/194.83	c |         0 |    1638    28918    69848 |     9639        0    nan |  0.000 % |
194.74/194.84	c ===============================================================================
194.74/194.89	c core #374
194.74/194.89	c 
194.74/194.89	c 
194.74/194.89	c Core size: 10	Core Weight: 1	Total Weight: -221
194.74/194.89	c
194.74/194.89	c
194.74/194.89	c ============================[ Search Statistics ]==============================
194.74/194.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.74/194.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.74/194.89	c ===============================================================================
194.74/194.89	c |         0 |    1644    28919    69860 |     9639        0    nan |  0.000 % |
194.74/194.90	c ===============================================================================
194.84/194.94	c core #375
194.84/194.94	c 
194.84/194.94	c 
194.84/194.94	c Core size: 15	Core Weight: 1	Total Weight: -220
194.84/194.94	c
194.84/194.94	c
194.84/194.94	c ============================[ Search Statistics ]==============================
194.84/194.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.84/194.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.84/194.94	c ===============================================================================
194.84/194.94	c |         0 |    1656    28920    69884 |     9640        0    nan |  0.000 % |
194.84/194.95	c ===============================================================================
194.94/195.00	c core #376
194.94/195.00	c 
194.94/195.00	c 
194.94/195.00	c Core size: 8	Core Weight: 1	Total Weight: -219
194.94/195.00	c
194.94/195.00	c
194.94/195.00	c ============================[ Search Statistics ]==============================
194.94/195.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.94/195.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.94/195.00	c ===============================================================================
194.94/195.00	c |         0 |    1660    28921    69892 |     9640        0    nan |  0.000 % |
194.94/195.01	c ===============================================================================
194.94/195.06	c core #377
194.94/195.06	c 
194.94/195.06	c 
194.94/195.06	c Core size: 8	Core Weight: 1	Total Weight: -218
194.94/195.06	c
194.94/195.06	c
194.94/195.06	c ============================[ Search Statistics ]==============================
194.94/195.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.94/195.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.94/195.06	c ===============================================================================
194.94/195.06	c |         0 |    1664    28922    69900 |     9640        0    nan |  0.000 % |
194.94/195.07	c ===============================================================================
195.04/195.12	c core #378
195.04/195.12	c 
195.04/195.12	c 
195.04/195.12	c Core size: 10	Core Weight: 1	Total Weight: -217
195.04/195.12	c
195.04/195.12	c
195.04/195.12	c ============================[ Search Statistics ]==============================
195.04/195.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.04/195.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.04/195.12	c ===============================================================================
195.04/195.12	c |         0 |    1670    28923    69912 |     9641        0    nan |  0.000 % |
195.04/195.13	c ===============================================================================
195.04/195.17	c core #379
195.04/195.17	c 
195.04/195.17	c 
195.04/195.17	c Core size: 10	Core Weight: 1	Total Weight: -216
195.04/195.17	c
195.04/195.17	c
195.04/195.17	c ============================[ Search Statistics ]==============================
195.04/195.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.04/195.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.04/195.17	c ===============================================================================
195.04/195.17	c |         0 |    1676    28924    69924 |     9641        0    nan |  0.000 % |
195.04/195.18	c ===============================================================================
195.14/195.23	c core #380
195.14/195.23	c 
195.14/195.23	c 
195.14/195.23	c Core size: 10	Core Weight: 1	Total Weight: -215
195.14/195.23	c
195.14/195.23	c
195.14/195.23	c ============================[ Search Statistics ]==============================
195.14/195.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.14/195.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.14/195.23	c ===============================================================================
195.14/195.23	c |         0 |    1682    28925    69936 |     9641        0    nan |  0.000 % |
195.14/195.24	c ===============================================================================
195.14/195.29	c core #381
195.14/195.29	c 
195.14/195.29	c 
195.14/195.29	c Core size: 10	Core Weight: 1	Total Weight: -214
195.14/195.29	c
195.14/195.29	c
195.14/195.29	c ============================[ Search Statistics ]==============================
195.14/195.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.14/195.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.14/195.29	c ===============================================================================
195.14/195.29	c |         0 |    1688    28926    69948 |     9642        0    nan |  0.000 % |
195.24/195.30	c ===============================================================================
195.24/195.35	c core #382
195.24/195.35	c 
195.24/195.35	c 
195.24/195.35	c Core size: 8	Core Weight: 1	Total Weight: -213
195.24/195.35	c
195.24/195.35	c
195.24/195.35	c ============================[ Search Statistics ]==============================
195.24/195.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.24/195.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.24/195.35	c ===============================================================================
195.24/195.35	c |         0 |    1692    28927    69956 |     9642        0    nan |  0.000 % |
195.24/195.35	c ===============================================================================
195.34/195.40	c core #383
195.34/195.40	c 
195.34/195.40	c 
195.34/195.40	c Core size: 10	Core Weight: 1	Total Weight: -212
195.34/195.40	c
195.34/195.40	c
195.34/195.40	c ============================[ Search Statistics ]==============================
195.34/195.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.34/195.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.34/195.40	c ===============================================================================
195.34/195.40	c |         0 |    1698    28928    69968 |     9642        0    nan |  0.000 % |
195.34/195.41	c ===============================================================================
195.34/195.46	c core #384
195.34/195.46	c 
195.34/195.46	c 
195.34/195.46	c Core size: 8	Core Weight: 1	Total Weight: -211
195.34/195.46	c
195.34/195.46	c
195.34/195.46	c ============================[ Search Statistics ]==============================
195.34/195.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.34/195.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.34/195.46	c ===============================================================================
195.34/195.46	c |         0 |    1702    28929    69976 |     9643        0    nan |  0.000 % |
195.34/195.47	c ===============================================================================
195.44/195.51	c core #385
195.44/195.51	c 
195.44/195.51	c 
195.44/195.51	c Core size: 11	Core Weight: 1	Total Weight: -210
195.44/195.51	c
195.44/195.51	c
195.44/195.51	c ============================[ Search Statistics ]==============================
195.44/195.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.44/195.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.44/195.51	c ===============================================================================
195.44/195.51	c |         0 |    1708    28930    69988 |     9643        0    nan |  0.000 % |
195.44/195.53	c ===============================================================================
195.44/195.57	c core #386
195.44/195.57	c 
195.44/195.57	c 
195.44/195.57	c Core size: 16	Core Weight: 1	Total Weight: -209
195.44/195.57	c
195.44/195.57	c
195.44/195.57	c ============================[ Search Statistics ]==============================
195.44/195.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.44/195.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.44/195.57	c ===============================================================================
195.44/195.57	c |         0 |    1722    28931    70016 |     9643        0    nan |  0.000 % |
195.44/195.58	c ===============================================================================
195.54/195.63	c core #387
195.54/195.63	c 
195.54/195.63	c 
195.54/195.63	c Core size: 10	Core Weight: 1	Total Weight: -208
195.54/195.63	c
195.54/195.63	c
195.54/195.63	c ============================[ Search Statistics ]==============================
195.54/195.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.54/195.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.54/195.63	c ===============================================================================
195.54/195.63	c |         0 |    1728    28932    70028 |     9644        0    nan |  0.000 % |
195.54/195.64	c ===============================================================================
195.54/195.69	c core #388
195.54/195.69	c 
195.54/195.69	c 
195.54/195.69	c Core size: 15	Core Weight: 1	Total Weight: -207
195.54/195.69	c
195.54/195.69	c
195.54/195.69	c ============================[ Search Statistics ]==============================
195.54/195.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.54/195.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.54/195.69	c ===============================================================================
195.54/195.69	c |         0 |    1740    28933    70052 |     9644        0    nan |  0.000 % |
195.54/195.70	c ===============================================================================
195.65/195.75	c core #389
195.65/195.75	c 
195.65/195.75	c 
195.65/195.75	c Core size: 10	Core Weight: 1	Total Weight: -206
195.65/195.75	c
195.65/195.75	c
195.65/195.75	c ============================[ Search Statistics ]==============================
195.65/195.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.65/195.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.65/195.75	c ===============================================================================
195.65/195.75	c |         0 |    1746    28934    70064 |     9644        0    nan |  0.000 % |
195.65/195.76	c ===============================================================================
195.75/195.81	c core #390
195.75/195.81	c 
195.75/195.81	c 
195.75/195.81	c Core size: 10	Core Weight: 1	Total Weight: -205
195.75/195.81	c
195.75/195.81	c
195.75/195.81	c ============================[ Search Statistics ]==============================
195.75/195.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.75/195.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.75/195.81	c ===============================================================================
195.75/195.81	c |         0 |    1752    28935    70076 |     9645        0    nan |  0.000 % |
195.75/195.82	c ===============================================================================
195.75/195.87	c core #391
195.75/195.87	c 
195.75/195.87	c 
195.75/195.87	c Core size: 8	Core Weight: 1	Total Weight: -204
195.75/195.87	c
195.75/195.87	c
195.75/195.87	c ============================[ Search Statistics ]==============================
195.75/195.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.75/195.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.75/195.87	c ===============================================================================
195.75/195.87	c |         0 |    1756    28936    70084 |     9645        0    nan |  0.000 % |
195.75/195.87	c ===============================================================================
195.84/195.92	c core #392
195.84/195.92	c 
195.84/195.92	c 
195.84/195.92	c Core size: 10	Core Weight: 1	Total Weight: -203
195.84/195.92	c
195.84/195.92	c
195.84/195.92	c ============================[ Search Statistics ]==============================
195.84/195.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.84/195.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.84/195.92	c ===============================================================================
195.84/195.92	c |         0 |    1762    28937    70096 |     9645        0    nan |  0.000 % |
195.84/195.93	c ===============================================================================
195.84/195.98	c core #393
195.84/195.98	c 
195.84/195.98	c 
195.84/195.98	c Core size: 10	Core Weight: 1	Total Weight: -202
195.84/195.98	c
195.84/195.98	c
195.84/195.98	c ============================[ Search Statistics ]==============================
195.84/195.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.84/195.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.84/195.98	c ===============================================================================
195.84/195.98	c |         0 |    1768    28938    70108 |     9646        0    nan |  0.000 % |
195.84/195.99	c ===============================================================================
195.94/196.04	c core #394
195.94/196.04	c 
195.94/196.04	c 
195.94/196.04	c Core size: 10	Core Weight: 1	Total Weight: -201
195.94/196.04	c
195.94/196.04	c
195.94/196.04	c ============================[ Search Statistics ]==============================
195.94/196.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.94/196.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.94/196.04	c ===============================================================================
195.94/196.04	c |         0 |    1774    28939    70120 |     9646        0    nan |  0.000 % |
195.94/196.05	c ===============================================================================
195.94/196.09	c core #395
195.94/196.09	c 
195.94/196.09	c 
195.94/196.09	c Core size: 8	Core Weight: 1	Total Weight: -200
195.94/196.09	c
195.94/196.09	c
195.94/196.09	c ============================[ Search Statistics ]==============================
195.94/196.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.94/196.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.94/196.09	c ===============================================================================
195.94/196.09	c |         0 |    1778    28940    70128 |     9646        0    nan |  0.000 % |
196.04/196.10	c ===============================================================================
196.04/196.15	c core #396
196.04/196.15	c 
196.04/196.15	c 
196.04/196.15	c Core size: 8	Core Weight: 1	Total Weight: -199
196.04/196.15	c
196.04/196.15	c
196.04/196.15	c ============================[ Search Statistics ]==============================
196.04/196.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.04/196.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.04/196.15	c ===============================================================================
196.04/196.15	c |         0 |    1782    28941    70136 |     9647        0    nan |  0.000 % |
196.04/196.16	c ===============================================================================
196.14/196.21	c core #397
196.14/196.21	c 
196.14/196.21	c 
196.14/196.21	c Core size: 10	Core Weight: 1	Total Weight: -198
196.14/196.21	c
196.14/196.21	c
196.14/196.21	c ============================[ Search Statistics ]==============================
196.14/196.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.14/196.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.14/196.21	c ===============================================================================
196.14/196.21	c |         0 |    1788    28942    70148 |     9647        0    nan |  0.000 % |
196.14/196.22	c ===============================================================================
196.14/196.27	c core #398
196.14/196.27	c 
196.14/196.27	c 
196.14/196.27	c Core size: 8	Core Weight: 1	Total Weight: -197
196.14/196.27	c
196.14/196.27	c
196.14/196.27	c ============================[ Search Statistics ]==============================
196.14/196.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.14/196.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.14/196.27	c ===============================================================================
196.14/196.27	c |         0 |    1792    28943    70156 |     9647        0    nan |  0.000 % |
196.14/196.28	c ===============================================================================
196.24/196.33	c core #399
196.24/196.33	c 
196.24/196.33	c 
196.24/196.33	c Core size: 8	Core Weight: 1	Total Weight: -196
196.24/196.33	c
196.24/196.33	c
196.24/196.33	c ============================[ Search Statistics ]==============================
196.24/196.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.24/196.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.24/196.33	c ===============================================================================
196.24/196.33	c |         0 |    1796    28944    70164 |     9648        0    nan |  0.000 % |
196.24/196.34	c ===============================================================================
196.24/196.39	c core #400
196.24/196.39	c 
196.24/196.39	c 
196.24/196.39	c Core size: 8	Core Weight: 1	Total Weight: -195
196.24/196.39	c
196.24/196.39	c
196.24/196.39	c ============================[ Search Statistics ]==============================
196.24/196.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.24/196.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.24/196.39	c ===============================================================================
196.24/196.39	c |         0 |    1800    28945    70172 |     9648        0    nan |  0.000 % |
196.24/196.40	c ===============================================================================
196.34/196.44	c core #401
196.34/196.44	c 
196.34/196.44	c 
196.34/196.44	c Core size: 12	Core Weight: 1	Total Weight: -194
196.34/196.44	c
196.34/196.44	c
196.34/196.44	c ============================[ Search Statistics ]==============================
196.34/196.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.34/196.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.34/196.44	c ===============================================================================
196.34/196.44	c |         0 |    1808    28946    70188 |     9648        0    nan |  0.000 % |
196.34/196.45	c ===============================================================================
196.44/196.50	c core #402
196.44/196.50	c 
196.44/196.50	c 
196.44/196.50	c Core size: 8	Core Weight: 1	Total Weight: -193
196.44/196.50	c
196.44/196.50	c
196.44/196.50	c ============================[ Search Statistics ]==============================
196.44/196.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.44/196.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.44/196.50	c ===============================================================================
196.44/196.50	c |         0 |    1812    28947    70196 |     9649        0    nan |  0.000 % |
196.44/196.52	c ===============================================================================
196.44/196.57	c core #403
196.44/196.57	c 
196.44/196.57	c 
196.44/196.57	c Core size: 8	Core Weight: 1	Total Weight: -192
196.44/196.57	c
196.44/196.57	c
196.44/196.57	c ============================[ Search Statistics ]==============================
196.44/196.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.44/196.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.44/196.57	c ===============================================================================
196.44/196.57	c |         0 |    1816    28948    70204 |     9649        0    nan |  0.000 % |
196.44/196.58	c ===============================================================================
196.54/196.63	c core #404
196.54/196.63	c 
196.54/196.63	c 
196.54/196.63	c Core size: 8	Core Weight: 1	Total Weight: -191
196.54/196.63	c
196.54/196.63	c
196.54/196.63	c ============================[ Search Statistics ]==============================
196.54/196.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.54/196.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.54/196.63	c ===============================================================================
196.54/196.63	c |         0 |    1820    28949    70212 |     9649        0    nan |  0.000 % |
196.54/196.65	c ===============================================================================
196.54/196.69	c core #405
196.54/196.69	c 
196.54/196.69	c 
196.54/196.69	c Core size: 10	Core Weight: 1	Total Weight: -190
196.54/196.69	c
196.54/196.69	c
196.54/196.69	c ============================[ Search Statistics ]==============================
196.54/196.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.54/196.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.54/196.69	c ===============================================================================
196.54/196.69	c |         0 |    1826    28950    70224 |     9650        0    nan |  0.000 % |
196.64/196.71	c ===============================================================================
196.64/196.75	c core #406
196.64/196.75	c 
196.64/196.75	c 
196.64/196.75	c Core size: 8	Core Weight: 1	Total Weight: -189
196.64/196.75	c
196.64/196.75	c
196.64/196.75	c ============================[ Search Statistics ]==============================
196.64/196.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.64/196.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.64/196.75	c ===============================================================================
196.64/196.75	c |         0 |    1830    28951    70232 |     9650        0    nan |  0.000 % |
196.64/196.77	c ===============================================================================
196.75/196.81	c core #407
196.75/196.81	c 
196.75/196.81	c 
196.75/196.81	c Core size: 14	Core Weight: 1	Total Weight: -188
196.75/196.81	c
196.75/196.81	c
196.75/196.81	c ============================[ Search Statistics ]==============================
196.75/196.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.75/196.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.75/196.81	c ===============================================================================
196.75/196.81	c |         0 |    1839    28952    70250 |     9650        0    nan |  0.000 % |
196.75/196.83	c ===============================================================================
196.75/196.88	c core #408
196.75/196.88	c 
196.75/196.88	c 
196.75/196.88	c Core size: 15	Core Weight: 1	Total Weight: -187
196.75/196.88	c
196.75/196.88	c
196.75/196.88	c ============================[ Search Statistics ]==============================
196.75/196.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.75/196.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.75/196.88	c ===============================================================================
196.75/196.88	c |         0 |    1852    28953    70276 |     9651        0    nan |  0.000 % |
196.75/196.90	c ===============================================================================
196.85/196.95	c core #409
196.85/196.95	c 
196.85/196.95	c 
196.85/196.95	c Core size: 22	Core Weight: 1	Total Weight: -186
196.85/196.95	c
196.85/196.95	c
196.85/196.95	c ============================[ Search Statistics ]==============================
196.85/196.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.85/196.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.85/196.95	c ===============================================================================
196.85/196.95	c |         0 |    1873    28954    70318 |     9651        0    nan |  0.000 % |
196.85/196.96	c ===============================================================================
196.94/197.01	c core #410
196.94/197.01	c 
196.94/197.01	c 
196.94/197.01	c Core size: 13	Core Weight: 1	Total Weight: -185
196.94/197.01	c
196.94/197.01	c
196.94/197.01	c ============================[ Search Statistics ]==============================
196.94/197.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.94/197.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.94/197.01	c ===============================================================================
196.94/197.01	c |         0 |    1883    28955    70338 |     9651        0    nan |  0.000 % |
196.94/197.02	c ===============================================================================
196.94/197.07	c core #411
196.94/197.07	c 
196.94/197.07	c 
196.94/197.07	c Core size: 10	Core Weight: 1	Total Weight: -184
196.94/197.07	c
196.94/197.07	c
196.94/197.07	c ============================[ Search Statistics ]==============================
196.94/197.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.94/197.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.94/197.07	c ===============================================================================
196.94/197.07	c |         0 |    1889    28956    70350 |     9652        0    nan |  0.000 % |
196.94/197.09	c ===============================================================================
197.04/197.14	c core #412
197.04/197.14	c 
197.04/197.14	c 
197.04/197.14	c Core size: 8	Core Weight: 1	Total Weight: -183
197.04/197.14	c
197.04/197.14	c
197.04/197.14	c ============================[ Search Statistics ]==============================
197.04/197.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.04/197.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.04/197.14	c ===============================================================================
197.04/197.14	c |         0 |    1893    28957    70358 |     9652        0    nan |  0.000 % |
197.04/197.15	c ===============================================================================
197.04/197.19	c core #413
197.04/197.19	c 
197.04/197.19	c 
197.04/197.19	c Core size: 8	Core Weight: 1	Total Weight: -182
197.04/197.19	c
197.04/197.19	c
197.04/197.19	c ============================[ Search Statistics ]==============================
197.04/197.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.04/197.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.04/197.19	c ===============================================================================
197.04/197.19	c |         0 |    1897    28958    70366 |     9652        0    nan |  0.000 % |
197.14/197.21	c ===============================================================================
197.14/197.25	c core #414
197.14/197.25	c 
197.14/197.25	c 
197.14/197.25	c Core size: 8	Core Weight: 1	Total Weight: -181
197.14/197.25	c
197.14/197.25	c
197.14/197.25	c ============================[ Search Statistics ]==============================
197.14/197.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.14/197.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.14/197.25	c ===============================================================================
197.14/197.25	c |         0 |    1901    28959    70374 |     9653        0    nan |  0.000 % |
197.14/197.27	c ===============================================================================
197.24/197.32	c core #415
197.24/197.32	c 
197.24/197.32	c 
197.24/197.32	c Core size: 8	Core Weight: 1	Total Weight: -180
197.24/197.32	c
197.24/197.32	c
197.24/197.32	c ============================[ Search Statistics ]==============================
197.24/197.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.24/197.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.24/197.32	c ===============================================================================
197.24/197.32	c |         0 |    1905    28960    70382 |     9653        0    nan |  0.000 % |
197.24/197.34	c ===============================================================================
197.24/197.39	c core #416
197.24/197.39	c 
197.24/197.39	c 
197.24/197.39	c Core size: 26	Core Weight: 1	Total Weight: -179
197.24/197.39	c
197.24/197.39	c
197.24/197.39	c ============================[ Search Statistics ]==============================
197.24/197.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.24/197.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.24/197.39	c ===============================================================================
197.24/197.39	c |         0 |    1919    28961    70410 |     9653        0    nan |  0.000 % |
197.34/197.40	c ===============================================================================
197.34/197.45	c core #417
197.34/197.45	c 
197.34/197.45	c 
197.34/197.45	c Core size: 15	Core Weight: 1	Total Weight: -178
197.34/197.45	c
197.34/197.45	c
197.34/197.45	c ============================[ Search Statistics ]==============================
197.34/197.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.34/197.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.34/197.45	c ===============================================================================
197.34/197.45	c |         0 |    1929    28962    70430 |     9654        0    nan |  0.000 % |
197.34/197.49	c ===============================================================================
197.44/197.54	c core #418
197.44/197.54	c 
197.44/197.54	c 
197.44/197.54	c Core size: 23	Core Weight: 1	Total Weight: -177
197.44/197.54	c
197.44/197.54	c
197.44/197.54	c ============================[ Search Statistics ]==============================
197.44/197.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.44/197.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.44/197.54	c ===============================================================================
197.44/197.54	c |         0 |    1949    28963    70470 |     9654        0    nan |  0.000 % |
197.44/197.56	c ===============================================================================
197.54/197.61	c core #419
197.54/197.61	c 
197.54/197.61	c 
197.54/197.61	c Core size: 14	Core Weight: 1	Total Weight: -176
197.54/197.61	c
197.54/197.61	c
197.54/197.61	c ============================[ Search Statistics ]==============================
197.54/197.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.54/197.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.54/197.61	c ===============================================================================
197.54/197.61	c |         0 |    1961    28964    70494 |     9654        0    nan |  0.000 % |
197.54/197.63	c ===============================================================================
197.54/197.68	c core #420
197.54/197.68	c 
197.54/197.68	c 
197.54/197.68	c Core size: 13	Core Weight: 1	Total Weight: -175
197.54/197.68	c
197.54/197.68	c
197.54/197.68	c ============================[ Search Statistics ]==============================
197.54/197.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.54/197.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.54/197.68	c ===============================================================================
197.54/197.68	c |         0 |    1967    28965    70506 |     9655        0    nan |  0.000 % |
197.64/197.70	c ===============================================================================
197.64/197.75	c core #421
197.64/197.75	c 
197.64/197.75	c 
197.64/197.75	c Core size: 16	Core Weight: 1	Total Weight: -174
197.64/197.75	c
197.64/197.75	c
197.64/197.75	c ============================[ Search Statistics ]==============================
197.64/197.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.64/197.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.64/197.75	c ===============================================================================
197.64/197.75	c |         0 |    1977    28966    70526 |     9655        0    nan |  0.000 % |
197.64/197.77	c ===============================================================================
197.74/197.82	c core #422
197.74/197.82	c 
197.74/197.82	c 
197.74/197.82	c Core size: 14	Core Weight: 1	Total Weight: -173
197.74/197.82	c
197.74/197.82	c
197.74/197.82	c ============================[ Search Statistics ]==============================
197.74/197.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.74/197.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.74/197.82	c ===============================================================================
197.74/197.82	c |         0 |    1987    28967    70546 |     9655        0    nan |  0.000 % |
197.74/197.84	c ===============================================================================
197.74/197.89	c core #423
197.74/197.89	c 
197.74/197.89	c 
197.74/197.89	c Core size: 26	Core Weight: 1	Total Weight: -172
197.74/197.89	c
197.74/197.89	c
197.74/197.89	c ============================[ Search Statistics ]==============================
197.74/197.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.74/197.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.74/197.89	c ===============================================================================
197.74/197.89	c |         0 |    2005    28968    70582 |     9656        0    nan |  0.000 % |
197.85/197.91	c ===============================================================================
197.85/197.96	c core #424
197.85/197.96	c 
197.85/197.96	c 
197.85/197.96	c Core size: 11	Core Weight: 1	Total Weight: -171
197.85/197.96	c
197.85/197.96	c
197.85/197.96	c ============================[ Search Statistics ]==============================
197.85/197.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.85/197.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.85/197.96	c ===============================================================================
197.85/197.96	c |         0 |    2013    28969    70598 |     9656        0    nan |  0.000 % |
197.85/197.99	c |       100 |    2011    28969    70598 |    10621      100     10 |  0.099 % |
197.95/198.01	c ===============================================================================
197.95/198.06	c core #425
197.95/198.06	c 
197.95/198.06	c 
197.95/198.06	c Core size: 32	Core Weight: 1	Total Weight: -170
197.95/198.06	c
197.95/198.06	c
197.95/198.06	c ============================[ Search Statistics ]==============================
197.95/198.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.95/198.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.95/198.06	c ===============================================================================
197.95/198.06	c |         0 |    2038    28970    70648 |     9656        0    nan |  0.000 % |
198.04/198.11	c ===============================================================================
198.04/198.15	c core #426
198.04/198.15	c 
198.04/198.15	c 
198.04/198.15	c Core size: 14	Core Weight: 1	Total Weight: -169
198.04/198.15	c
198.04/198.15	c
198.04/198.15	c ============================[ Search Statistics ]==============================
198.04/198.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.04/198.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.04/198.15	c ===============================================================================
198.04/198.15	c |         0 |    2048    28971    70668 |     9657        0    nan |  0.000 % |
198.04/198.18	c |       100 |    2048    28971    70668 |    10622      100      9 |  0.000 % |
198.04/198.20	c ===============================================================================
198.14/198.25	c core #427
198.14/198.25	c 
198.14/198.25	c 
198.14/198.25	c Core size: 22	Core Weight: 1	Total Weight: -168
198.14/198.25	c
198.14/198.25	c
198.14/198.25	c ============================[ Search Statistics ]==============================
198.14/198.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.14/198.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.14/198.25	c ===============================================================================
198.14/198.25	c |         0 |    2068    28972    70708 |     9657        0    nan |  0.000 % |
198.14/198.28	c |       102 |    2067    28972    70708 |    10623      102      9 |  0.048 % |
198.14/198.29	c ===============================================================================
198.24/198.34	c core #428
198.24/198.34	c 
198.24/198.34	c 
198.24/198.34	c Core size: 28	Core Weight: 1	Total Weight: -167
198.24/198.34	c
198.24/198.34	c
198.24/198.34	c ============================[ Search Statistics ]==============================
198.24/198.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.24/198.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.24/198.34	c ===============================================================================
198.24/198.34	c |         0 |    2092    28973    70756 |     9657        0    nan |  0.000 % |
198.24/198.37	c |       101 |    2092    28973    70756 |    10623      101     10 |  0.000 % |
198.24/198.38	c ===============================================================================
198.33/198.43	c core #429
198.33/198.43	c 
198.33/198.43	c 
198.33/198.43	c Core size: 16	Core Weight: 1	Total Weight: -166
198.33/198.43	c
198.33/198.43	c
198.33/198.43	c ============================[ Search Statistics ]==============================
198.33/198.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.33/198.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.33/198.43	c ===============================================================================
198.33/198.43	c |         0 |    2106    28974    70784 |     9658        0    nan |  0.000 % |
198.33/198.46	c |       103 |    2106    28974    70784 |    10623      103     14 |  0.000 % |
198.33/198.48	c ===============================================================================
198.44/198.53	c core #430
198.44/198.53	c 
198.44/198.53	c 
198.44/198.53	c Core size: 15	Core Weight: 1	Total Weight: -165
198.44/198.53	c
198.44/198.53	c
198.44/198.53	c ============================[ Search Statistics ]==============================
198.44/198.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.44/198.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.44/198.53	c ===============================================================================
198.44/198.53	c |         0 |    2116    28975    70804 |     9658        0    nan |  0.000 % |
198.44/198.56	c ===============================================================================
198.54/198.61	c core #431
198.54/198.61	c 
198.54/198.61	c 
198.54/198.61	c Core size: 42	Core Weight: 1	Total Weight: -164
198.54/198.61	c
198.54/198.61	c
198.54/198.61	c ============================[ Search Statistics ]==============================
198.54/198.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.54/198.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.54/198.61	c ===============================================================================
198.54/198.61	c |         0 |    2150    28976    70872 |     9658        0    nan |  0.000 % |
198.54/198.67	c ===============================================================================
198.64/198.72	c core #432
198.64/198.72	c 
198.64/198.72	c 
198.64/198.72	c Core size: 29	Core Weight: 1	Total Weight: -163
198.64/198.72	c
198.64/198.72	c
198.64/198.72	c ============================[ Search Statistics ]==============================
198.64/198.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.64/198.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.64/198.72	c ===============================================================================
198.64/198.72	c |         0 |    2168    28977    70908 |     9659        0    nan |  0.000 % |
198.64/198.76	c |       100 |    2168    28977    70908 |    10624      100     11 |  0.000 % |
198.74/198.80	c ===============================================================================
198.74/198.85	c core #433
198.74/198.85	c 
198.74/198.85	c 
198.74/198.85	c Core size: 61	Core Weight: 1	Total Weight: -162
198.74/198.85	c
198.74/198.85	c
198.74/198.85	c ============================[ Search Statistics ]==============================
198.74/198.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.74/198.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.74/198.85	c ===============================================================================
198.74/198.85	c |         0 |    2214    28978    71000 |     9659        0    nan |  0.000 % |
198.84/198.90	c |       100 |    2214    28978    71000 |    10625      100     12 |  0.000 % |
198.84/198.97	c |       250 |    2212    28978    71000 |    11687      250     15 |  0.090 % |
198.95/199.07	c |       476 |    2209    28978    71000 |    12856      476     15 |  0.226 % |
199.05/199.15	c ===============================================================================
199.14/199.20	c core #434
199.14/199.20	c 
199.14/199.20	c 
199.14/199.20	c Core size: 55	Core Weight: 1	Total Weight: -161
199.14/199.20	c
199.14/199.20	c
199.14/199.20	c ============================[ Search Statistics ]==============================
199.14/199.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.14/199.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.14/199.20	c ===============================================================================
199.14/199.20	c |         0 |    2268    28979    71108 |     9659        0    nan |  0.000 % |
199.14/199.25	c ===============================================================================
199.24/199.30	c core #435
199.24/199.30	c 
199.24/199.30	c 
199.24/199.30	c Core size: 14	Core Weight: 1	Total Weight: -160
199.24/199.30	c
199.24/199.30	c
199.24/199.30	c ============================[ Search Statistics ]==============================
199.24/199.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.24/199.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.24/199.30	c ===============================================================================
199.24/199.30	c |         0 |    2280    28980    71132 |     9660        0    nan |  0.000 % |
199.34/199.40	c |       102 |    2280    28980    71132 |    10626      102      8 |  0.000 % |
199.34/199.42	c ===============================================================================
199.34/199.47	c core #436
199.34/199.47	c 
199.34/199.47	c 
199.34/199.47	c Core size: 38	Core Weight: 1	Total Weight: -159
199.34/199.47	c
199.34/199.47	c
199.34/199.47	c ============================[ Search Statistics ]==============================
199.34/199.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.34/199.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.34/199.47	c ===============================================================================
199.34/199.47	c |         0 |    2306    28981    71184 |     9660        0    nan |  0.000 % |
199.44/199.51	c ===============================================================================
199.44/199.56	c core #437
199.44/199.56	c 
199.44/199.56	c 
199.44/199.56	c Core size: 18	Core Weight: 1	Total Weight: -158
199.44/199.56	c
199.44/199.56	c
199.44/199.56	c ============================[ Search Statistics ]==============================
199.44/199.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.44/199.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.44/199.56	c ===============================================================================
199.44/199.56	c |         0 |    2322    28982    71216 |     9660        0    nan |  0.000 % |
199.54/199.60	c |       102 |    2322    28982    71216 |    10626      102     11 |  0.000 % |
199.54/199.63	c ===============================================================================
199.54/199.68	c core #438
199.54/199.68	c 
199.54/199.68	c 
199.54/199.68	c Core size: 39	Core Weight: 1	Total Weight: -157
199.54/199.68	c
199.54/199.68	c
199.54/199.68	c ============================[ Search Statistics ]==============================
199.54/199.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.54/199.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.54/199.68	c ===============================================================================
199.54/199.68	c |         0 |    2352    28983    71276 |     9661        0    nan |  0.000 % |
199.64/199.71	c |       100 |    2352    28983    71276 |    10627      100     12 |  0.000 % |
199.64/199.73	c ===============================================================================
199.64/199.78	c core #439
199.64/199.78	c 
199.64/199.78	c 
199.64/199.78	c Core size: 31	Core Weight: 1	Total Weight: -156
199.64/199.78	c
199.64/199.78	c
199.64/199.78	c ============================[ Search Statistics ]==============================
199.64/199.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.64/199.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.64/199.78	c ===============================================================================
199.64/199.78	c |         0 |    2370    28984    71312 |     9661        0    nan |  0.000 % |
199.73/199.84	c |       100 |    2370    28984    71312 |    10627      100      9 |  0.000 % |
199.73/199.87	c ===============================================================================
199.83/199.92	c core #440
199.83/199.92	c 
199.83/199.92	c 
199.83/199.92	c Core size: 16	Core Weight: 1	Total Weight: -155
199.83/199.92	c
199.83/199.92	c
199.83/199.92	c ============================[ Search Statistics ]==============================
199.83/199.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.83/199.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.83/199.92	c ===============================================================================
199.83/199.92	c |         0 |    2380    28985    71332 |     9661        0    nan |  0.000 % |
199.83/199.94	c ===============================================================================
199.83/199.99	c core #441
199.83/199.99	c 
199.83/199.99	c 
199.83/199.99	c Core size: 11	Core Weight: 1	Total Weight: -154
199.83/199.99	c
199.83/199.99	c
199.83/199.99	c ============================[ Search Statistics ]==============================
199.83/199.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.83/199.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.83/199.99	c ===============================================================================
199.83/199.99	c |         0 |    2386    28986    71344 |     9662        0    nan |  0.000 % |
199.93/200.04	c |       101 |    2384    28986    71344 |    10628      101     12 |  0.084 % |
200.04/200.10	c ===============================================================================
200.04/200.15	c core #442
200.04/200.15	c 
200.04/200.15	c 
200.04/200.15	c Core size: 68	Core Weight: 1	Total Weight: -153
200.04/200.15	c
200.04/200.15	c
200.04/200.15	c ============================[ Search Statistics ]==============================
200.04/200.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.04/200.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.04/200.15	c ===============================================================================
200.04/200.15	c |         0 |    2438    28987    71448 |     9662        0    nan |  0.000 % |
200.15/200.21	c |       103 |    2438    28987    71448 |    10628      103     14 |  0.000 % |
200.15/200.25	c |       255 |    2438    28987    71448 |    11691      255     12 |  0.000 % |
200.15/200.28	c |       480 |    2438    28987    71448 |    12860      480     24 |  0.000 % |
200.24/200.39	c |       817 |    2438    28987    71448 |    14146      817     27 |  0.000 % |
200.44/200.58	c ===============================================================================
200.54/200.64	c core #443
200.54/200.64	c 
200.54/200.64	c 
200.54/200.64	c Core size: 79	Core Weight: 1	Total Weight: -152
200.54/200.64	c
200.54/200.64	c
200.54/200.64	c ============================[ Search Statistics ]==============================
200.54/200.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.54/200.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.54/200.64	c ===============================================================================
200.54/200.64	c |         0 |    2510    28988    71592 |     9662        0    nan |  0.000 % |
200.54/200.67	c |       100 |    2509    28988    71592 |    10628      100     11 |  0.040 % |
200.54/200.69	c |       251 |    2507    28988    71592 |    11691      251     16 |  0.120 % |
200.54/200.70	c ===============================================================================
200.64/200.75	c core #444
200.64/200.75	c 
200.64/200.75	c 
200.64/200.75	c Core size: 32	Core Weight: 1	Total Weight: -151
200.64/200.75	c
200.64/200.75	c
200.64/200.75	c ============================[ Search Statistics ]==============================
200.64/200.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.64/200.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.64/200.75	c ===============================================================================
200.64/200.75	c |         0 |    2540    28989    71652 |     9663        0    nan |  0.000 % |
200.74/200.80	c |       100 |    2540    28989    71652 |    10629      100     11 |  0.000 % |
200.74/200.86	c |       251 |    2540    28989    71652 |    11692      251     12 |  0.000 % |
200.83/200.95	c |       476 |    2539    28989    71652 |    12861      476     14 |  0.039 % |
201.03/201.14	c |       814 |    2538    28989    71652 |    14147      814     19 |  0.079 % |
201.25/201.31	c ===============================================================================
201.25/201.37	c core #445
201.25/201.37	c 
201.25/201.37	c 
201.25/201.37	c Core size: 108	Core Weight: 1	Total Weight: -150
201.25/201.37	c
201.25/201.37	c
201.25/201.37	c ============================[ Search Statistics ]==============================
201.25/201.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.25/201.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.25/201.37	c ===============================================================================
201.25/201.37	c |         0 |    2622    28990    71816 |     9663        0    nan |  0.000 % |
201.25/201.39	c |       100 |    2622    28990    71816 |    10629      100     24 |  0.000 % |
201.34/201.41	c ===============================================================================
201.34/201.46	c core #446
201.34/201.46	c 
201.34/201.46	c 
201.34/201.46	c Core size: 16	Core Weight: 1	Total Weight: -149
201.34/201.46	c
201.34/201.46	c
201.34/201.46	c ============================[ Search Statistics ]==============================
201.34/201.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.34/201.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.34/201.46	c ===============================================================================
201.34/201.46	c |         0 |    2636    28991    71844 |     9663        0    nan |  0.000 % |
201.44/201.50	c |       100 |    2636    28991    71844 |    10630      100      8 |  0.000 % |
201.44/201.55	c |       252 |    2636    28991    71844 |    11693      252     10 |  0.000 % |
201.44/201.59	c ===============================================================================
201.54/201.64	c core #447
201.54/201.64	c 
201.54/201.64	c 
201.54/201.64	c Core size: 46	Core Weight: 1	Total Weight: -148
201.54/201.64	c
201.54/201.64	c
201.54/201.64	c ============================[ Search Statistics ]==============================
201.54/201.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.54/201.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.54/201.65	c ===============================================================================
201.54/201.65	c |         0 |    2672    28992    71916 |     9664        0    nan |  0.000 % |
201.54/201.67	c ===============================================================================
201.64/201.72	c core #448
201.64/201.72	c 
201.64/201.72	c 
201.64/201.72	c Core size: 24	Core Weight: 1	Total Weight: -147
201.64/201.72	c
201.64/201.72	c
201.64/201.72	c ============================[ Search Statistics ]==============================
201.64/201.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.64/201.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.64/201.72	c ===============================================================================
201.64/201.72	c |         0 |    2688    28993    71948 |     9664        0    nan |  0.000 % |
201.64/201.75	c |       100 |    2688    28993    71948 |    10630      100     14 |  0.000 % |
201.64/201.77	c |       254 |    2688    28993    71948 |    11693      254     19 |  0.000 % |
201.74/201.80	c |       479 |    2686    28993    71948 |    12863      479     18 |  0.074 % |
201.74/201.84	c |       816 |    2686    28993    71948 |    14149      816     21 |  0.074 % |
201.84/201.91	c ===============================================================================
201.84/201.96	c core #449
201.84/201.96	c 
201.84/201.96	c 
201.84/201.96	c Core size: 44	Core Weight: 1	Total Weight: -146
201.84/201.96	c
201.84/201.96	c
201.84/201.96	c ============================[ Search Statistics ]==============================
201.84/201.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.84/201.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.84/201.96	c ===============================================================================
201.84/201.96	c |         0 |    2728    28994    72028 |     9664        0    nan |  0.000 % |
201.93/202.00	c |       100 |    2728    28994    72028 |    10631      100     12 |  0.000 % |
201.93/202.02	c |       253 |    2728    28994    72028 |    11694      253     20 |  0.000 % |
201.93/202.07	c |       478 |    2728    28994    72028 |    12863      478     19 |  0.000 % |
202.04/202.11	c |       815 |    2728    28994    72028 |    14150      815     23 |  0.000 % |
202.14/202.23	c |      1321 |    2728    28994    72028 |    15565     1321     24 |  0.000 % |
202.24/202.33	c ===============================================================================
202.24/202.39	c core #450
202.24/202.39	c 
202.24/202.39	c 
202.24/202.39	c Core size: 66	Core Weight: 1	Total Weight: -145
202.24/202.39	c
202.24/202.39	c
202.24/202.39	c ============================[ Search Statistics ]==============================
202.24/202.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.24/202.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.24/202.39	c ===============================================================================
202.24/202.39	c |         0 |    2784    28995    72140 |     9665        0    nan |  0.000 % |
202.34/202.43	c |       101 |    2784    28995    72140 |    10631      101     12 |  0.000 % |
202.34/202.48	c |       251 |    2782    28995    72140 |    11694      251     10 |  0.072 % |
202.43/202.55	c ===============================================================================
202.53/202.60	c core #451
202.53/202.60	c 
202.53/202.60	c 
202.53/202.60	c Core size: 12	Core Weight: 1	Total Weight: -144
202.53/202.60	c
202.53/202.60	c
202.53/202.60	c ============================[ Search Statistics ]==============================
202.53/202.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.53/202.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.53/202.60	c ===============================================================================
202.53/202.60	c |         0 |    2792    28996    72156 |     9665        0    nan |  0.000 % |
202.53/202.65	c |       100 |    2792    28996    72156 |    10631      100     12 |  0.000 % |
202.53/202.66	c ===============================================================================
202.64/202.71	c core #452
202.64/202.71	c 
202.64/202.71	c 
202.64/202.71	c Core size: 16	Core Weight: 1	Total Weight: -143
202.64/202.71	c
202.64/202.71	c
202.64/202.71	c ============================[ Search Statistics ]==============================
202.64/202.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.64/202.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.64/202.71	c ===============================================================================
202.64/202.71	c |         0 |    2806    28997    72184 |     9665        0    nan |  0.000 % |
202.64/202.75	c |       101 |    2806    28997    72184 |    10632      101     13 |  0.000 % |
202.64/202.78	c |       252 |    2784    28997    72184 |    11695      252     10 |  6.201 % |
202.74/202.81	c ===============================================================================
202.74/202.87	c core #453
202.74/202.87	c 
202.74/202.87	c 
202.74/202.87	c Core size: 86	Core Weight: 1	Total Weight: -142
202.74/202.87	c
202.74/202.87	c
202.74/202.87	c ============================[ Search Statistics ]==============================
202.74/202.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.74/202.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.74/202.87	c ===============================================================================
202.74/202.87	c |         0 |    2860    28998    72292 |     9666        0    nan |  0.000 % |
202.83/202.91	c |       103 |    2860    28998    72292 |    10632      103     14 |  0.000 % |
202.83/202.93	c |       256 |    2860    28998    72292 |    11695      256     12 |  0.000 % |
202.83/202.95	c |       483 |    2858    28998    72292 |    12865      483     18 |  0.070 % |
202.94/203.03	c |       821 |    2857    28998    72292 |    14151      821     18 |  0.105 % |
203.04/203.14	c ===============================================================================
203.14/203.20	c core #454
203.14/203.20	c 
203.14/203.20	c 
203.14/203.20	c Core size: 125	Core Weight: 1	Total Weight: -141
203.14/203.20	c
203.14/203.20	c
203.14/203.20	c ============================[ Search Statistics ]==============================
203.14/203.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.14/203.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.14/203.20	c ===============================================================================
203.14/203.20	c |         0 |    2946    28999    72464 |     9666        0    nan |  0.000 % |
203.14/203.23	c |       100 |    2946    28999    72464 |    10632      100     12 |  0.000 % |
203.14/203.25	c |       252 |    2946    28999    72464 |    11696      252     14 |  0.000 % |
203.14/203.29	c |       477 |    2946    28999    72464 |    12865      477     15 |  0.000 % |
203.23/203.38	c |       814 |    2946    28999    72464 |    14152      814     15 |  0.000 % |
203.35/203.47	c |      1322 |    2946    28999    72464 |    15567     1322     16 |  0.000 % |
203.64/203.73	c |      2084 |    2824    28999    72464 |    17124     1680     15 |  9.810 % |
203.64/203.74	c ===============================================================================
203.74/203.80	c core #455
203.74/203.80	c 
203.74/203.80	c 
203.74/203.80	c Core size: 112	Core Weight: 1	Total Weight: -140
203.74/203.80	c
203.74/203.80	c
203.74/203.80	c ============================[ Search Statistics ]==============================
203.74/203.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.74/203.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.74/203.80	c ===============================================================================
203.74/203.80	c |         0 |    3020    29000    72612 |     9666        0    nan |  0.000 % |
203.74/203.84	c |       101 |    3020    29000    72612 |    10633      101     16 |  0.000 % |
203.74/203.88	c ===============================================================================
203.84/203.92	c core #456
203.84/203.92	c 
203.84/203.92	c 
203.84/203.92	c Core size: 11	Core Weight: 1	Total Weight: -139
203.84/203.92	c
203.84/203.92	c
203.84/203.92	c ============================[ Search Statistics ]==============================
203.84/203.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.84/203.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.84/203.92	c ===============================================================================
203.84/203.92	c |         0 |    3030    29001    72632 |     9667        0    nan |  0.000 % |
203.84/203.96	c |       101 |    3030    29001    72632 |    10633      101     18 |  0.000 % |
203.84/203.98	c |       252 |    3030    29001    72632 |    11697      252     13 |  0.000 % |
203.94/204.01	c |       478 |    3030    29001    72632 |    12866      478     14 |  0.000 % |
203.94/204.05	c |       816 |    3028    29001    72632 |    14153      816     15 |  0.066 % |
204.04/204.18	c |      1325 |    3025    29001    72632 |    15568     1321     17 |  0.165 % |
204.34/204.41	c |      2085 |    3023    29001    72632 |    17125     2065     23 |  0.231 % |
204.63/204.70	c |      3225 |    3019    29001    72632 |    18838     3205     24 |  0.363 % |
205.43/205.57	c |      4934 |    3016    29001    72632 |    20722     4903     28 |  0.462 % |
205.64/205.71	c ===============================================================================
205.73/205.81	c core #457
205.73/205.81	c 
205.73/205.81	c 
205.73/205.81	c Core size: 117	Core Weight: 1	Total Weight: -138
205.73/205.81	c
205.73/205.81	c
205.73/205.81	c ============================[ Search Statistics ]==============================
205.73/205.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.73/205.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.73/205.81	c ===============================================================================
205.73/205.81	c |         0 |    3134    29002    72840 |     9667        0    nan |  0.000 % |
205.73/205.87	c |       100 |    3134    29002    72840 |    10634      100     16 |  0.000 % |
205.84/205.91	c |       250 |    3134    29002    72840 |    11697      250     27 |  0.000 % |
205.84/205.94	c |       475 |    3133    29002    72840 |    12867      475     21 |  0.032 % |
205.94/206.00	c |       813 |    3133    29002    72840 |    14153      813     24 |  0.032 % |
206.04/206.12	c |      1319 |    3130    29002    72840 |    15569     1317     26 |  0.128 % |
206.33/206.44	c |      2079 |    3130    29002    72840 |    17126     2077     35 |  0.128 % |
206.94/207.03	c |      3219 |    3130    29002    72840 |    18838     3211     42 |  0.128 % |
207.84/207.94	c |      4931 |    3128    29002    72840 |    20722     4898     45 |  0.223 % |
208.85/208.95	c |      7493 |    3127    29002    72840 |    22795     7460     49 |  0.223 % |
211.64/211.76	c |     11337 |    3126    29002    72840 |    25074    11277     52 |  0.255 % |
215.73/215.80	c |     17105 |    3126    29002    72840 |    27582    17045     52 |  0.255 % |
216.93/217.04	c ===============================================================================
217.23/217.38	c core #458
217.23/217.38	c 
217.23/217.38	c 
217.23/217.38	c Core size: 110	Core Weight: 1	Total Weight: -137
217.23/217.38	c
217.23/217.38	c
217.23/217.38	c ============================[ Search Statistics ]==============================
217.23/217.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.23/217.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.23/217.38	c ===============================================================================
217.23/217.38	c |         0 |    3240    29003    73052 |     9667        0    nan |  0.000 % |
217.33/217.42	c |       101 |    3240    29003    73052 |    10634      101     15 |  0.000 % |
217.33/217.44	c |       253 |    3240    29003    73052 |    11697      253     14 |  0.000 % |
217.33/217.49	c |       478 |    3240    29003    73052 |    12867      478     18 |  0.000 % |
217.44/217.55	c |       815 |    3237    29003    73052 |    14154      815     21 |  0.093 % |
217.53/217.63	c |      1321 |    3236    29003    73052 |    15569     1314     27 |  0.123 % |
217.74/217.84	c |      2081 |    3236    29003    73052 |    17126     2074     36 |  0.123 % |
218.14/218.23	c |      3221 |    3236    29003    73052 |    18839     3213     44 |  0.123 % |
218.84/218.93	c |      4930 |    3236    29003    73052 |    20723     4922     53 |  0.123 % |
220.23/220.36	c |      7493 |    3236    29003    73052 |    22795     7485     63 |  0.123 % |
222.94/223.06	c |     11338 |    3236    29003    73052 |    25075    11330     70 |  0.123 % |
227.24/227.32	c ===============================================================================
227.54/227.64	c core #459
227.54/227.64	c 
227.54/227.64	c 
227.54/227.64	c Core size: 183	Core Weight: 1	Total Weight: -136
227.54/227.64	c
227.54/227.64	c
227.54/227.64	c ============================[ Search Statistics ]==============================
227.54/227.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
227.54/227.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
227.54/227.64	c ===============================================================================
227.54/227.64	c |         0 |    3372    29004    73316 |     9668        0    nan |  0.000 % |
227.54/227.68	c |       101 |    3372    29004    73316 |    10634      101     15 |  0.000 % |
227.64/227.72	c |       251 |    3372    29004    73316 |    11698      251     16 |  0.000 % |
227.64/227.77	c |       477 |    3372    29004    73316 |    12868      477     22 |  0.000 % |
227.73/227.83	c |       814 |    3371    29004    73316 |    14154      814     28 |  0.030 % |
227.93/228.08	c |      1320 |    3359    29004    73316 |    15570     1318     36 |  0.386 % |
228.43/228.50	c |      2080 |    3355    29004    73316 |    17127     2039     49 |  0.504 % |
229.03/229.12	c |      3219 |    3355    29004    73316 |    18840     3178     67 |  0.504 % |
230.14/230.22	c |      4928 |    3353    29004    73316 |    20724     4875     79 |  0.563 % |
232.03/232.18	c |      7493 |    3353    29004    73316 |    22796     7440     92 |  0.563 % |
235.73/235.80	c |     11337 |    3352    29004    73316 |    25076    11273     94 |  0.593 % |
240.43/240.54	c |     17105 |    3352    29004    73316 |    27583    17041     93 |  0.593 % |
252.83/252.98	c |     25755 |    3350    29004    73316 |    30342    25690     98 |  0.652 % |
270.22/270.34	c |     38729 |    3347    29004    73316 |    33376    21410    105 |  0.741 % |
291.52/291.65	c |     58191 |    3347    29004    73316 |    36714    20671    109 |  0.741 % |
318.20/318.32	c ===============================================================================
319.70/319.80	c core #460
319.70/319.80	c 
319.70/319.80	c 
319.70/319.80	c Core size: 154	Core Weight: 1	Total Weight: -135
319.70/319.80	c
319.70/319.80	c
319.70/319.80	c ============================[ Search Statistics ]==============================
319.70/319.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
319.70/319.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
319.70/319.80	c ===============================================================================
319.70/319.80	c |         0 |    3488    29005    73548 |     9668        0    nan |  0.000 % |
319.70/319.86	c |       100 |    3488    29005    73548 |    10635      100     19 |  0.000 % |
319.80/319.91	c |       251 |    3488    29005    73548 |    11698      251     30 |  0.000 % |
319.80/319.96	c |       483 |    3488    29005    73548 |    12868      483     26 |  0.000 % |
319.92/320.02	c |       820 |    3488    29005    73548 |    14155      820     29 |  0.000 % |
320.01/320.12	c |      1328 |    3488    29005    73548 |    15570     1328     32 |  0.000 % |
320.10/320.29	c |      2088 |    3487    29005    73548 |    17128     2085     39 |  0.029 % |
320.60/320.74	c |      3227 |    3486    29005    73548 |    18840     3218     50 |  0.057 % |
321.41/321.58	c |      4935 |    3486    29005    73548 |    20724     4926     63 |  0.057 % |
323.11/323.30	c |      7498 |    3486    29005    73548 |    22797     7489     75 |  0.057 % |
326.01/326.15	c |     11345 |    3485    29005    73548 |    25077    11327     87 |  0.086 % |
330.70/330.81	c |     17112 |    3485    29005    73548 |    27584    17094     93 |  0.086 % |
343.01/343.17	c |     25761 |    3484    29005    73548 |    30343    25729    102 |  0.115 % |
358.90/359.03	c |     38735 |    3484    29005    73548 |    33377    22017    100 |  0.115 % |
389.88/390.04	c |     58197 |    3482    29005    73548 |    36715    22369     91 |  0.172 % |
420.18/420.30	c |     87392 |    3481    29005    73548 |    40387    28397     88 |  0.201 % |
447.58/447.78	c ===============================================================================
449.47/449.65	c core #461
449.47/449.65	c 
449.47/449.65	c 
449.47/449.65	c Core size: 191	Core Weight: 1	Total Weight: -134
449.47/449.65	c
449.47/449.65	c
449.47/449.65	c ============================[ Search Statistics ]==============================
449.47/449.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
449.47/449.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
449.47/449.65	c ===============================================================================
449.47/449.65	c |         0 |    3634    29006    73840 |     9668        0    nan |  0.000 % |
449.57/449.72	c |       102 |    3634    29006    73840 |    10635      102     14 |  0.000 % |
449.57/449.74	c |       252 |    3634    29006    73840 |    11699      252     22 |  0.000 % |
449.57/449.77	c |       478 |    3634    29006    73840 |    12868      478     25 |  0.000 % |
449.67/449.83	c |       815 |    3634    29006    73840 |    14155      815     32 |  0.000 % |
449.78/449.96	c |      1321 |    3634    29006    73840 |    15571     1321     41 |  0.000 % |
449.97/450.13	c |      2080 |    3634    29006    73840 |    17128     2080     56 |  0.000 % |
450.18/450.33	c |      3222 |    3634    29006    73840 |    18841     3222     57 |  0.000 % |
450.88/451.02	c |      4931 |    3633    29006    73840 |    20725     4929     72 |  0.028 % |
452.07/452.26	c |      7495 |    3633    29006    73840 |    22798     7493     92 |  0.028 % |
454.87/455.01	c |     11341 |    3633    29006    73840 |    25078    11339    111 |  0.028 % |
460.47/460.67	c |     17108 |    3633    29006    73840 |    27585    17106    120 |  0.028 % |
472.88/473.03	c |     25759 |    3633    29006    73840 |    30344    25757    132 |  0.028 % |
487.86/488.08	c |     38734 |    3633    29006    73840 |    33378    21108    141 |  0.028 % |
521.35/521.57	c |     58195 |    3633    29006    73840 |    36716    20440    149 |  0.028 % |
569.44/569.68	c |     87391 |    3633    29006    73840 |    40388    26358    168 |  0.028 % |
641.32/641.58	c |    131180 |    3633    29006    73840 |    44427    16988    123 |  0.028 % |
750.49/750.75	c |    196864 |    3633    29006    73840 |    48869    24696    132 |  0.028 % |
894.96/895.27	c |    295391 |    3633    29006    73840 |    53756    22012    101 |  0.028 % |
1130.79/1131.18	c |    443183 |    3633    29006    73840 |    59132    17856    136 |  0.028 % |
1550.99/1551.42	c |    664866 |    3633    29006    73840 |    65045    23237    116 |  0.028 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 26591
/proc/meminfo: memFree=1853792/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=3228 CPUtime=0
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 300 0 0 0 0 0 0 0 25 0 1 0 86903303 3305472 218 1992294400 134512640 135752675 4288628464 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 807 218 140 303 0 339 0

[startup+0.074266 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 26591
/proc/meminfo: memFree=1853792/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=4352 CPUtime=0.07
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 677 0 0 0 7 0 0 0 25 0 1 0 86903303 4456448 595 1992294400 134512640 135752675 4288628464 18446744073709551615 135378756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 1088 596 265 303 0 620 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4352

[startup+0.101269 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 26591
/proc/meminfo: memFree=1853792/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=5844 CPUtime=0.09
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 1245 0 0 0 9 0 0 0 25 0 1 0 86903303 5984256 1000 1992294400 134512640 135752675 4288628464 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 1461 1000 140 303 0 1156 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5844

[startup+0.301291 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 26591
/proc/meminfo: memFree=1853792/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=5844 CPUtime=0.29
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 1255 0 0 0 29 0 0 0 18 0 1 0 86903303 5984256 1010 1992294400 134512640 135752675 4288628464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 1461 1010 145 303 0 1156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5844

[startup+0.701333 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 26591
/proc/meminfo: memFree=1853792/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=8924 CPUtime=0.69
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 2018 0 0 0 68 1 0 0 18 0 1 0 86903303 9138176 1773 1992294400 134512640 135752675 4288628464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 2231 1773 145 303 0 1926 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8924

[startup+1.50142 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26592
/proc/meminfo: memFree=1845228/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=12900 CPUtime=1.49
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 3020 0 0 0 146 3 0 0 18 0 1 0 86903303 13209600 2775 1992294400 134512640 135752675 4288628464 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 3225 2775 145 303 0 2920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12900

[startup+3.10159 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26592
/proc/meminfo: memFree=1840392/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=18672 CPUtime=3.09
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 4457 0 0 0 304 5 0 0 20 0 1 0 86903303 19120128 4212 1992294400 134512640 135752675 4288628464 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 4668 4212 145 303 0 4363 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18672

[startup+6.30093 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26592
/proc/meminfo: memFree=1829108/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=29148 CPUtime=6.29
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 7069 0 0 0 621 8 0 0 25 0 1 0 86903303 29847552 6824 1992294400 134512640 135752675 4288628464 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 7287 6824 145 303 0 6982 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29148

[startup+12.7016 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26592
/proc/meminfo: memFree=1810384/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=46320 CPUtime=12.69
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 11376 0 0 0 1256 13 0 0 25 0 1 0 86903303 47431680 11131 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 11580 11131 145 303 0 11275 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46320

[startup+25.501 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26592
/proc/meminfo: memFree=1780376/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=75888 CPUtime=25.48
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 18746 0 0 0 2526 22 0 0 25 0 1 0 86903303 77709312 18501 1992294400 134512640 135752675 4288628464 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 18972 18501 145 303 0 18667 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75888

[startup+51.1007 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26594
/proc/meminfo: memFree=1745036/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=110976 CPUtime=51.08
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 27507 0 0 0 5075 33 0 0 25 0 1 0 86903303 113639424 27262 1992294400 134512640 135752675 4288628464 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 27744 27262 145 303 0 27439 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110976

[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26594
/proc/meminfo: memFree=1695188/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=160248 CPUtime=102.27
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 39788 0 0 0 10178 49 0 0 25 0 1 0 86903303 164093952 39543 1992294400 134512640 135752675 4288628464 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 40062 39543 145 303 0 39757 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 160248

[startup+162.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26596
/proc/meminfo: memFree=1643356/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=212444 CPUtime=162.25
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 52782 0 0 0 16160 65 0 0 25 0 1 0 86903303 217542656 52537 1992294400 134512640 135752675 4288628464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 53111 52537 145 303 0 52806 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 212444

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26598
/proc/meminfo: memFree=1633684/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=220852 CPUtime=222.23
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 55199 0 0 0 22130 93 0 0 25 0 1 0 86903303 226152448 54776 1992294400 134512640 135752675 4288628464 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 55213 54776 146 303 0 54908 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 220852

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26600
/proc/meminfo: memFree=1633684/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=220852 CPUtime=282.22
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 55205 0 0 0 28105 117 0 0 25 0 1 0 86903303 226152448 54782 1992294400 134512640 135752675 4288628464 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 55213 54782 146 303 0 54908 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 220852

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26600
/proc/meminfo: memFree=1633560/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=220852 CPUtime=342.2
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 55206 0 0 0 34083 137 0 0 25 0 1 0 86903303 226152448 54783 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 55213 54783 146 303 0 54908 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 220852

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26611
/proc/meminfo: memFree=1615660/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=237796 CPUtime=402.18
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 59427 0 0 0 40055 163 0 0 25 0 1 0 86903303 243503104 59004 1992294400 134512640 135752675 4288628464 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 59449 59004 146 303 0 59144 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 237796

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26613
/proc/meminfo: memFree=1592224/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=261088 CPUtime=462.17
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 65201 0 0 0 46025 192 0 0 25 0 1 0 86903303 267354112 64778 1992294400 134512640 135752675 4288628464 18446744073709551615 134641839 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 65272 64778 146 303 0 64967 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 261088

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26615
/proc/meminfo: memFree=1576600/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=276996 CPUtime=522.16
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 69210 0 0 0 52001 215 0 0 25 0 1 0 86903303 283643904 68787 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 69249 68787 146 303 0 68944 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 276996

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26617
/proc/meminfo: memFree=1546964/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=306332 CPUtime=582.13
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 76536 0 0 0 57976 237 0 0 25 0 1 0 86903303 313683968 76113 1992294400 134512640 135752675 4288628464 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 76583 76113 146 303 0 76278 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 306332

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26617
/proc/meminfo: memFree=1517328/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=335792 CPUtime=642.13
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 83888 0 0 0 63951 262 0 0 25 0 1 0 86903303 343851008 83465 1992294400 134512640 135752675 4288628464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 83948 83465 146 303 0 83643 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 335792

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26625
/proc/meminfo: memFree=1410316/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=443000 CPUtime=882.06
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 110600 0 0 0 87840 366 0 0 25 0 1 0 86903303 453632000 110177 1992294400 134512640 135752675 4288628464 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 110750 110177 146 303 0 110445 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 443000

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26625
/proc/meminfo: memFree=1386260/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=467388 CPUtime=942.04
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 116685 0 0 0 93814 390 0 0 25 0 1 0 86903303 478605312 116262 1992294400 134512640 135752675 4288628464 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 116847 116262 146 303 0 116542 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 467388

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26627
/proc/meminfo: memFree=1360592/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=492848 CPUtime=1002.03
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 123044 0 0 0 99786 417 0 0 25 0 1 0 86903303 504676352 122621 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 123212 122621 146 303 0 122907 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 492848

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26629
/proc/meminfo: memFree=1334676/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=518840 CPUtime=1062.01
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 129540 0 0 0 105761 440 0 0 25 0 1 0 86903303 531292160 129117 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 129710 129117 146 303 0 129405 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 518840

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26631
/proc/meminfo: memFree=1303056/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=550492 CPUtime=1122
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 137415 0 0 0 111734 466 0 0 25 0 1 0 86903303 563703808 136992 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 137623 136992 146 303 0 137318 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 550492

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26633
/proc/meminfo: memFree=1279744/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=573844 CPUtime=1181.98
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 143242 0 0 0 117710 488 0 0 25 0 1 0 86903303 587616256 142819 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 143461 142819 146 303 0 143156 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 573844

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26633
/proc/meminfo: memFree=1253580/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=599776 CPUtime=1241.96
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 149721 0 0 0 123682 514 0 0 25 0 1 0 86903303 614170624 149298 1992294400 134512640 135752675 4288628464 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 149944 149298 146 303 0 149639 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 599776

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26635
/proc/meminfo: memFree=1232500/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=620360 CPUtime=1301.96
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 154882 0 0 0 129662 534 0 0 25 0 1 0 86903303 635248640 154459 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 155090 154459 146 303 0 154785 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 620360

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26637
/proc/meminfo: memFree=1214644/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=638396 CPUtime=1361.94
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 159374 0 0 0 135641 553 0 0 25 0 1 0 86903303 653717504 158951 1992294400 134512640 135752675 4288628464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 159599 158951 146 303 0 159294 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 638396

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26639
/proc/meminfo: memFree=1195920/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=657096 CPUtime=1421.93
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 164040 0 0 0 141620 573 0 0 25 0 1 0 86903303 672866304 163617 1992294400 134512640 135752675 4288628464 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 164274 163617 146 303 0 163969 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 657096

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26641
/proc/meminfo: memFree=1172112/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=681276 CPUtime=1481.9
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 170076 0 0 0 147595 595 0 0 25 0 1 0 86903303 697626624 169653 1992294400 134512640 135752675 4288628464 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 170319 169653 146 303 0 170014 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 681276

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26641
/proc/meminfo: memFree=1149172/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=703832 CPUtime=1541.89
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 175719 0 0 0 153572 617 0 0 25 0 1 0 86903303 720723968 175296 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 175958 175296 146 303 0 175653 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 703832

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26643
/proc/meminfo: memFree=1126232/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=727044 CPUtime=1601.87
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 181493 0 0 0 159548 639 0 0 25 0 1 0 86903303 744493056 181070 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 181761 181070 146 303 0 181456 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 727044

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 26645
/proc/meminfo: memFree=1100812/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=752212 CPUtime=1661.86
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 187761 0 0 0 165526 660 0 0 25 0 1 0 86903303 770265088 187338 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 188053 187338 146 303 0 187748 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 752212

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 0.92 2/106 26647
/proc/meminfo: memFree=1081096/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=772476 CPUtime=1721.84
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 192797 0 0 0 171504 680 0 0 25 0 1 0 86903303 791015424 192374 1992294400 134512640 135752675 4288628464 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 193119 192374 146 303 0 192814 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 772476

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 0.92 2/106 26649
/proc/meminfo: memFree=1060264/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=792576 CPUtime=1781.83
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 197812 0 0 0 177482 701 0 0 25 0 1 0 86903303 811597824 197389 1992294400 134512640 135752675 4288628464 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 198144 197389 146 303 0 197839 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 792576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.00 0.92 2/106 26649
/proc/meminfo: memFree=1055428/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=797364 CPUtime=1800.03
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 199003 0 0 0 179298 705 0 0 25 0 1 0 86903303 816500736 198580 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 199341 198580 146 303 0 199036 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 797364

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.01 1.00 0.92 2/106 26649
/proc/meminfo: memFree=1055428/2059040 swapFree=4140332/4192956
[pid=26591] ppid=26589 vsize=797364 CPUtime=1800.03
/proc/26591/stat : 26591 (wbo1.4b) R 26589 26591 26352 0 -1 4202496 199003 0 0 0 179298 705 0 0 25 0 1 0 86903303 816500736 198580 1992294400 134512640 135752675 4288628464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26591/statm: 199341 198580 146 303 0 199036 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 797364

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.12
CPU user time (s): 1792.99
CPU system time (s): 7.12892
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 797364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.99
system time used= 7.12892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199003
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= 122
involuntary context switches= 1518

runsolver used 3.06253 second user time and 8.46171 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-25 10:54:52
IDJOB=2680540
IDBENCH=2272
IDSOLVER=1190
FILE ID=node081/2680540-1277456092
PBS_JOBID= 11188109
Free space on /tmp= 121784 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680540-1277456092/watcher-2680540-1277456092 -o /tmp/evaluation-result-2680540-1277456092/solver-2680540-1277456092 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680540-1277456092.opb

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

MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703
RANDOM SEED=73973225

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854196 kB
Buffers:         28144 kB
Cached:          77668 kB
SwapCached:       5548 kB
Active:          17580 kB
Inactive:       101472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854196 kB
SwapTotal:     4192956 kB
SwapFree:      4140332 kB
Dirty:            3228 kB
Writeback:           0 kB
AnonPages:       11676 kB
Mapped:          12212 kB
Slab:            63808 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121784 MiB
End job on node081 at 2010-06-25 11:24:55