Trace number 2680546

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1789.68
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
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-2680546-1277456134.opb.
0.00/0.00	c Instance file HOME/instance-2680546-1277456134.opb
0.00/0.00	c File size is 662246 bytes.
0.05/0.09	c Highest Coefficient sum: 3
0.05/0.09	c ============================[ Problem Statistics ]=============================
0.05/0.09	c |                                                                             |
0.05/0.09	c |  Parsing time:          0.09         s                                      |
0.05/0.09	c |  Number Variables:      595                                                 |
0.05/0.09	c |  Number Clauses:        27847                                               |
0.05/0.09	c |  Number Cardinality:    0                                                   |
0.05/0.09	c |  Number PB Constraints: 0                                                   |
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     595    27847    55694 |     9282        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.154976 s	Remaining CPU time: 179.845 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     595    27848    56289 |     9282        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: -1
0.09/0.16	o -1
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 179.843 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |     595    27849    56884 |     9283        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: -2
0.09/0.16	o -2
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 179.838 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         9 |     595    27850    57479 |     9283        9    589 |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: -3
0.09/0.19	o -3
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 179.812 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |       105 |     595    27851    58074 |     9283      105    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.210967 s	Remaining CPU time: 179.789 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |       195 |     595    27852    58669 |     9284      195    588 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: -5
0.19/0.22	o -5
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 179.778 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |       238 |     595    27853    59264 |     9284      238    588 |  0.000 % |
0.19/0.24	c |       339 |     595    27853    59264 |    10212      339    587 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -6
0.19/0.25	o -6
0.19/0.25	c Elapsed CPU time: 0.248962 s	Remaining CPU time: 179.751 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |       354 |     595    27854    59859 |     9284      354    587 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -7
0.19/0.28	o -7
0.19/0.28	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 179.726 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |       452 |     595    27855    60454 |     9285      452    587 |  0.000 % |
0.29/0.30	c |       552 |     595    27855    60454 |    10213      552    586 |  0.000 % |
0.29/0.34	c |       702 |     595    27855    60454 |    11234      702    585 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -8
0.29/0.35	o -8
0.29/0.35	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 179.654 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |       720 |     595    27856    61049 |     9285      720    585 |  0.000 % |
0.29/0.38	c |       821 |     595    27856    61049 |    10213      821    585 |  0.000 % |
0.39/0.44	c |       973 |     595    27856    61049 |    11235      973    585 |  0.000 % |
0.49/0.51	c |      1199 |     595    27856    61049 |    12358     1199    584 |  0.000 % |
0.59/0.63	c |      1537 |     595    27856    61049 |    13594     1537    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.640902 s	Remaining CPU time: 179.359 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |      1585 |     595    27857    61644 |     9285     1585    584 |  0.000 % |
0.59/0.69	c |      1688 |     595    27857    61644 |    10214     1688    584 |  0.000 % |
0.69/0.75	c |      1840 |     595    27857    61644 |    11235     1840    583 |  0.000 % |
0.79/0.85	c |      2066 |     595    27857    61644 |    12359     2066    583 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -10
0.89/0.92	o -10
0.89/0.92	c Elapsed CPU time: 0.901862 s	Remaining CPU time: 179.098 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |      2257 |     595    27858    62239 |     9286     2257    583 |  0.000 % |
0.89/0.98	c |      2358 |     595    27858    62239 |    10214     2358    583 |  0.000 % |
1.00/1.06	c |      2509 |     595    27858    62239 |    11236     2509    583 |  0.000 % |
1.09/1.18	c |      2735 |     595    27858    62239 |    12359     2735    583 |  0.000 % |
1.29/1.36	c |      3073 |     595    27858    62239 |    13595     3073    582 |  0.000 % |
1.39/1.45	c ===============================================================================
1.39/1.45	c New solution: -11
1.39/1.45	o -11
1.39/1.45	c Elapsed CPU time: 1.42478 s	Remaining CPU time: 178.575 s
1.39/1.45	c ===============================================================================
1.39/1.45	c |      3222 |     595    27859    62834 |     9286     3222    582 |  0.000 % |
1.49/1.53	c |      3323 |     595    27859    62834 |    10214     3323    582 |  0.000 % |
1.59/1.64	c |      3478 |     595    27859    62834 |    11236     3478    582 |  0.000 % |
1.69/1.78	c |      3706 |     595    27859    62834 |    12360     3706    582 |  0.000 % |
1.99/2.01	c |      4049 |     595    27859    62834 |    13596     4049    582 |  0.000 % |
2.20/2.27	c |      4558 |     595    27859    62834 |    14955     4558    581 |  0.000 % |
2.69/2.77	c |      5317 |     595    27859    62834 |    16451     5317    581 |  0.000 % |
3.49/3.53	c |      6457 |     595    27859    62834 |    18096     6457    581 |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: -12
3.89/3.91	o -12
3.89/3.91	c Elapsed CPU time: 3.85341 s	Remaining CPU time: 176.147 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |      6970 |     595    27860    63429 |     9286     6970    581 |  0.000 % |
3.89/3.96	c |      7072 |     595    27860    63429 |    10215     7072    581 |  0.000 % |
3.99/4.03	c |      7223 |     595    27860    63429 |    11236     7223    581 |  0.000 % |
4.09/4.14	c |      7449 |     595    27860    63429 |    12360     7449    581 |  0.000 % |
4.30/4.37	c |      7786 |     595    27860    63429 |    13596     7786    581 |  0.000 % |
4.59/4.60	c ===============================================================================
4.59/4.60	c New solution: -13
4.59/4.60	o -13
4.59/4.60	c Elapsed CPU time: 4.54031 s	Remaining CPU time: 175.46 s
4.59/4.60	c ===============================================================================
4.59/4.60	c |      8051 |     595    27861    64024 |     9287     8051    581 |  0.000 % |
4.69/4.72	c |      8153 |     595    27861    64024 |    10215     8153    581 |  0.000 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: -14
4.69/4.77	o -14
4.69/4.77	c Elapsed CPU time: 4.70328 s	Remaining CPU time: 175.297 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |      8190 |     595    27862    64619 |     9287     8190    581 |  0.000 % |
4.89/4.95	c |      8291 |     595    27862    64619 |    10216     8291    581 |  0.000 % |
5.09/5.18	c |      8445 |     595    27862    64619 |    11237     8445    581 |  0.000 % |
5.39/5.44	c |      8671 |     595    27862    64619 |    12361     8671    580 |  0.000 % |
5.79/5.85	c |      9011 |     595    27862    64619 |    13597     9011    580 |  0.000 % |
6.50/6.51	c |      9517 |     595    27862    64619 |    14957     9517    580 |  0.000 % |
7.39/7.44	c |     10278 |     595    27862    64619 |    16453    10278    580 |  0.000 % |
7.39/7.47	c ===============================================================================
7.39/7.47	c New solution: -15
7.39/7.47	o -15
7.39/7.47	c Elapsed CPU time: 7.38488 s	Remaining CPU time: 172.615 s
7.39/7.47	c ===============================================================================
7.39/7.47	c |     10298 |     595    27863    65214 |     9287    10298    580 |  0.000 % |
7.60/7.61	c |     10398 |     595    27863    65214 |    10216     5249    578 |  0.000 % |
7.70/7.71	c |     10549 |     595    27863    65214 |    11238     5400    578 |  0.000 % |
7.79/7.83	c |     10774 |     595    27863    65214 |    12361     5625    578 |  0.000 % |
8.08/8.10	c |     11111 |     595    27863    65214 |    13598     5962    578 |  0.000 % |
8.39/8.49	c |     11618 |     595    27863    65214 |    14957     6469    578 |  0.000 % |
8.99/9.07	c |     12379 |     595    27863    65214 |    16453     7230    578 |  0.000 % |
10.39/10.49	c |     13523 |     595    27863    65214 |    18099     8374    577 |  0.000 % |
12.29/12.34	c |     15231 |     595    27863    65214 |    19908    10082    577 |  0.000 % |
13.69/13.72	c ===============================================================================
13.69/13.72	c New solution: -16
13.69/13.72	o -16
13.69/13.72	c Elapsed CPU time: 13.5859 s	Remaining CPU time: 166.414 s
13.69/13.72	c ===============================================================================
13.69/13.72	c |     16892 |     595    27864    65809 |     9288    11743    577 |  0.000 % |
13.79/13.86	c |     16992 |     595    27864    65809 |    10216     5972    576 |  0.000 % |
13.89/13.95	c |     17143 |     595    27864    65809 |    11238     6123    576 |  0.000 % |
14.09/14.11	c |     17368 |     595    27864    65809 |    12362     6348    576 |  0.000 % |
14.38/14.47	c |     17706 |     595    27864    65809 |    13598     6686    576 |  0.000 % |
14.89/14.94	c |     18213 |     595    27864    65809 |    14958     7193    576 |  0.000 % |
15.59/15.69	c |     18974 |     595    27864    65809 |    16454     7954    576 |  0.000 % |
16.50/16.52	c |     20113 |     595    27864    65809 |    18099     9093    576 |  0.000 % |
17.98/18.04	c |     21824 |     595    27864    65809 |    19909    10804    576 |  0.000 % |
20.89/20.92	c |     24387 |     595    27864    65809 |    21900    13367    576 |  0.000 % |
26.30/26.30	c |     28231 |     595    27864    65809 |    24090    17211    576 |  0.000 % |
27.99/28.03	c ===============================================================================
27.99/28.03	c New solution: -17
27.99/28.03	o -17
27.99/28.03	c Elapsed CPU time: 27.8148 s	Remaining CPU time: 152.185 s
27.99/28.03	c ===============================================================================
27.99/28.03	c |     29661 |     595    27865    66404 |     9288    18641    576 |  0.000 % |
28.39/28.45	c |     29761 |     595    27865    66404 |    10217     4761    576 |  0.000 % |
28.49/28.52	c |     29911 |     595    27865    66404 |    11238     4911    576 |  0.000 % |
28.68/28.72	c |     30139 |     595    27865    66404 |    12362     5139    576 |  0.000 % |
28.79/28.88	c |     30476 |     595    27865    66404 |    13599     5476    576 |  0.000 % |
29.18/29.25	c |     30982 |     595    27865    66404 |    14958     5982    576 |  0.000 % |
29.98/30.01	c |     31741 |     595    27865    66404 |    16454     6741    576 |  0.000 % |
31.18/31.29	c |     32882 |     595    27865    66404 |    18100     7882    576 |  0.000 % |
34.68/34.71	c |     34592 |     595    27865    66404 |    19910     9592    575 |  0.000 % |
38.79/38.88	c |     37154 |     595    27865    66404 |    21901    12154    575 |  0.000 % |
46.98/47.07	c |     40998 |     595    27865    66404 |    24091    15998    575 |  0.000 % |
60.08/60.10	c |     46765 |     595    27865    66404 |    26500    21765    575 |  0.000 % |
83.07/83.14	c ===============================================================================
83.07/83.14	c New solution: -18
83.07/83.14	o -18
83.07/83.14	c Elapsed CPU time: 82.6814 s	Remaining CPU time: 97.3186 s
83.07/83.14	c ===============================================================================
83.07/83.14	c |     54625 |     595    27866    66999 |     9288    13426    575 |  0.000 % |
83.27/83.36	c |     54725 |     595    27866    66999 |    10217     6813    575 |  0.000 % |
83.37/83.49	c |     54875 |     595    27866    66999 |    11239     6963    575 |  0.000 % |
83.58/83.68	c |     55101 |     595    27866    66999 |    12363     7189    575 |  0.000 % |
84.27/84.31	c |     55441 |     595    27866    66999 |    13599     7529    575 |  0.000 % |
85.58/85.68	c |     55948 |     595    27866    66999 |    14959     8036    575 |  0.000 % |
86.88/86.91	c |     56708 |     595    27866    66999 |    16455     8796    574 |  0.000 % |
88.67/88.78	c |     57849 |     595    27866    66999 |    18100     9937    574 |  0.000 % |
93.07/93.15	c |     59563 |     595    27866    66999 |    19911    11651    574 |  0.000 % |
98.77/98.84	c |     62127 |     595    27866    66999 |    21902    14215    574 |  0.000 % |
109.57/109.69	c |     65972 |     595    27866    66999 |    24092    18060    574 |  0.000 % |
126.16/126.20	c |     71738 |     595    27866    66999 |    26501    23826    574 |  0.000 % |
146.46/146.52	c |     80392 |     595    27866    66999 |    29151    16286    574 |  0.000 % |
175.55/175.63	c |     93366 |     595    27866    66999 |    32066    29260    574 |  0.000 % |
180.76/180.82	c There are 0 assigned variables. 0 in cost function.
182.65/182.70	c core #1
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -594
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #2
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -593
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #3
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -592
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #4
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -591
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #5
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -590
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #6
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -589
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #7
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -588
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #8
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -587
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #9
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -586
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #10
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -585
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #11
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -584
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #12
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -583
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #13
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -582
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #14
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -581
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #15
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -580
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #16
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -579
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #17
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -578
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #18
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -577
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #19
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -576
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #20
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -575
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #21
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -574
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #22
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -573
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #23
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -572
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #24
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -571
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #25
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -570
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #26
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -569
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #27
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -568
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #28
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -567
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #29
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -566
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #30
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -565
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #31
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -564
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #32
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -563
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #33
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -562
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #34
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -561
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #35
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -560
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #36
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -559
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #37
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -558
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #38
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -557
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #39
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -556
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #40
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -555
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #41
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -554
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #42
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -553
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #43
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -552
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #44
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -551
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #45
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -550
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #46
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -549
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #47
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -548
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #48
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -547
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #49
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -546
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #50
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -545
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #51
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -544
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #52
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -543
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #53
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -542
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #54
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -541
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #55
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -540
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #56
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -539
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #57
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -538
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #58
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -537
182.65/182.70	c
182.65/182.70	c
182.65/182.70	c core #59
182.65/182.70	c 
182.65/182.70	c 
182.65/182.70	c Core size: 3	Core Weight: 1	Total Weight: -536
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #60
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -535
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #61
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -534
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #62
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -533
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #63
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -532
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #64
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -531
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #65
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -530
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #66
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -529
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #67
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -528
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #68
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -527
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #69
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -526
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #70
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -525
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #71
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -524
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #72
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -523
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #73
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -522
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #74
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -521
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #75
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -520
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #76
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -519
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #77
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -518
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #78
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -517
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #79
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -516
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #80
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -515
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #81
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -514
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #82
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -513
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #83
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -512
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #84
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -511
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #85
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -510
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #86
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -509
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #87
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -508
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #88
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -507
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #89
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -506
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #90
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -505
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #91
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -504
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #92
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -503
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #93
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -502
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #94
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -501
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #95
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -500
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #96
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -499
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #97
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -498
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #98
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -497
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #99
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -496
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #100
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -495
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #101
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -494
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #102
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -493
184.45/184.58	c
184.45/184.58	c
184.45/184.58	c core #103
184.45/184.58	c 
184.45/184.58	c 
184.45/184.58	c Core size: 3	Core Weight: 1	Total Weight: -492
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #104
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -491
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #105
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -490
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #106
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -489
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #107
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -488
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #108
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -487
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #109
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -486
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #110
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -485
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #111
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -484
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #112
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -483
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #113
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -482
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #114
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -481
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #115
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -480
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #116
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -479
184.45/184.59	c
184.45/184.59	c
184.45/184.59	c core #117
184.45/184.59	c 
184.45/184.59	c 
184.45/184.59	c Core size: 3	Core Weight: 1	Total Weight: -478
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #118
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -477
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #119
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -476
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #120
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -475
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #121
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -474
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #122
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -473
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #123
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -472
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #124
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -471
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #125
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -470
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #126
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -469
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #127
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -468
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #128
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -467
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #129
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -466
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #130
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -465
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #131
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -464
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #132
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -463
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #133
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -462
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #134
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -461
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #135
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -460
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #136
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -459
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #137
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -458
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #138
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -457
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #139
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -456
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #140
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -455
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #141
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -454
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #142
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -453
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #143
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -452
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #144
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -451
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #145
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -450
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #146
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -449
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #147
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -448
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #148
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -447
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #149
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -446
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #150
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -445
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #151
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -444
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #152
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -443
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #153
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -442
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #154
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -441
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #155
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -440
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #156
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -439
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #157
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -438
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #158
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -437
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #159
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -436
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #160
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -435
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #161
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -434
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #162
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -433
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #163
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -432
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #164
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -431
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #165
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -430
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #166
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -429
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #167
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -428
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #168
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -427
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #169
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -426
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #170
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -425
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #171
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -424
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #172
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -423
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #173
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -422
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #174
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -421
186.55/186.60	c
186.55/186.60	c
186.55/186.60	c core #175
186.55/186.60	c 
186.55/186.60	c 
186.55/186.60	c Core size: 3	Core Weight: 1	Total Weight: -420
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #176
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -419
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #177
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -418
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #178
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -417
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #179
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -416
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #180
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -415
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #181
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -414
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #182
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -413
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #183
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -412
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #184
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -411
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #185
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -410
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #186
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -409
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #187
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -408
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #188
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -407
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #189
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -406
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #190
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -405
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #191
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -404
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #192
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -403
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #193
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -402
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #194
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -401
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #195
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -400
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #196
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -399
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #197
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -398
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #198
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -397
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #199
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -396
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #200
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -395
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #201
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -394
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #202
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -393
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #203
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -392
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #204
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -391
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #205
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -390
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #206
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -389
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #207
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -388
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #208
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -387
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #209
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -386
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #210
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -385
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #211
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -384
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #212
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -383
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #213
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -382
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #214
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -381
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #215
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -380
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #216
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -379
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #217
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -378
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #218
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -377
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #219
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -376
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #220
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -375
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #221
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -374
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #222
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -373
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #223
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -372
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #224
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -371
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #225
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -370
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #226
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -369
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #227
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -368
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #228
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -367
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #229
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -366
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #230
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -365
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #231
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -364
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #232
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -363
188.65/188.79	c
188.65/188.79	c
188.65/188.79	c core #233
188.65/188.79	c 
188.65/188.79	c 
188.65/188.79	c Core size: 3	Core Weight: 1	Total Weight: -362
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #234
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -361
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #235
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -360
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #236
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -359
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #237
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -358
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #238
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -357
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #239
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -356
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #240
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -355
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #241
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -354
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #242
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -353
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #243
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -352
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #244
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -351
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #245
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -350
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #246
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -349
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #247
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -348
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #248
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -347
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #249
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -346
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #250
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -345
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #251
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -344
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #252
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -343
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #253
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -342
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #254
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -341
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #255
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -340
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #256
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -339
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #257
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -338
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #258
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -337
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #259
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -336
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #260
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -335
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #261
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -334
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #262
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -333
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #263
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -332
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #264
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -331
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #265
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -330
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #266
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -329
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #267
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -328
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #268
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -327
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #269
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -326
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #270
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -325
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #271
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -324
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #272
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -323
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #273
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -322
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #274
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -321
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #275
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -320
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #276
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -319
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #277
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -318
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #278
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -317
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #279
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -316
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #280
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -315
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #281
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -314
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #282
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -313
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #283
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -312
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #284
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -311
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #285
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -310
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #286
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -309
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #287
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -308
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #288
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -307
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #289
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -306
191.05/191.13	c
191.05/191.13	c
191.05/191.13	c core #290
191.05/191.13	c 
191.05/191.13	c 
191.05/191.13	c Core size: 3	Core Weight: 1	Total Weight: -305
191.05/191.13	c
191.45/191.59	c
191.45/191.59	c core #291
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 3	Core Weight: 1	Total Weight: -304
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #292
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 3	Core Weight: 1	Total Weight: -303
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #293
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 3	Core Weight: 1	Total Weight: -302
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #294
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 3	Core Weight: 1	Total Weight: -301
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #295
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 3	Core Weight: 1	Total Weight: -300
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #296
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 3	Core Weight: 1	Total Weight: -299
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #297
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 10	Core Weight: 1	Total Weight: -298
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #298
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 14	Core Weight: 1	Total Weight: -297
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c core #299
191.45/191.59	c 
191.45/191.59	c 
191.45/191.59	c Core size: 10	Core Weight: 1	Total Weight: -296
191.45/191.59	c
191.45/191.59	c
191.45/191.59	c ============================[ Search Statistics ]==============================
191.45/191.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.45/191.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.45/191.59	c ===============================================================================
191.45/191.59	c |         0 |    1204    28760    68812 |     9586        0    nan |  0.000 % |
191.45/191.59	c ===============================================================================
191.55/191.64	c core #300
191.55/191.64	c 
191.55/191.64	c 
191.55/191.64	c Core size: 12	Core Weight: 1	Total Weight: -295
191.55/191.64	c
191.55/191.64	c
191.55/191.64	c ============================[ Search Statistics ]==============================
191.55/191.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.55/191.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.55/191.64	c ===============================================================================
191.55/191.64	c |         0 |    1211    28761    68826 |     9587        0    nan |  0.000 % |
191.55/191.65	c ===============================================================================
191.55/191.69	c core #301
191.55/191.69	c 
191.55/191.69	c 
191.55/191.69	c Core size: 8	Core Weight: 1	Total Weight: -294
191.55/191.69	c
191.55/191.69	c
191.55/191.69	c ============================[ Search Statistics ]==============================
191.55/191.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.55/191.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.55/191.69	c ===============================================================================
191.55/191.69	c |         0 |    1215    28762    68834 |     9587        0    nan |  0.000 % |
191.65/191.70	c ===============================================================================
191.65/191.75	c core #302
191.65/191.75	c 
191.65/191.75	c 
191.65/191.75	c Core size: 8	Core Weight: 1	Total Weight: -293
191.65/191.75	c
191.65/191.75	c
191.65/191.75	c ============================[ Search Statistics ]==============================
191.65/191.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.65/191.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.65/191.75	c ===============================================================================
191.65/191.75	c |         0 |    1219    28763    68842 |     9587        0    nan |  0.000 % |
191.65/191.76	c ===============================================================================
191.75/191.80	c core #303
191.75/191.80	c 
191.75/191.80	c 
191.75/191.80	c Core size: 10	Core Weight: 1	Total Weight: -292
191.75/191.80	c
191.75/191.80	c
191.75/191.80	c ============================[ Search Statistics ]==============================
191.75/191.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.75/191.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.75/191.80	c ===============================================================================
191.75/191.80	c |         0 |    1225    28764    68854 |     9588        0    nan |  0.000 % |
191.75/191.81	c ===============================================================================
191.75/191.86	c core #304
191.75/191.86	c 
191.75/191.86	c 
191.75/191.86	c Core size: 10	Core Weight: 1	Total Weight: -291
191.75/191.86	c
191.75/191.86	c
191.75/191.86	c ============================[ Search Statistics ]==============================
191.75/191.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.75/191.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.75/191.86	c ===============================================================================
191.75/191.86	c |         0 |    1231    28765    68866 |     9588        0    nan |  0.000 % |
191.75/191.86	c ===============================================================================
191.85/191.91	c core #305
191.85/191.91	c 
191.85/191.91	c 
191.85/191.91	c Core size: 8	Core Weight: 1	Total Weight: -290
191.85/191.91	c
191.85/191.91	c
191.85/191.91	c ============================[ Search Statistics ]==============================
191.85/191.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.85/191.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.85/191.91	c ===============================================================================
191.85/191.91	c |         0 |    1235    28766    68874 |     9588        0    nan |  0.000 % |
191.85/191.92	c ===============================================================================
191.85/191.96	c core #306
191.85/191.96	c 
191.85/191.96	c 
191.85/191.96	c Core size: 8	Core Weight: 1	Total Weight: -289
191.85/191.96	c
191.85/191.96	c
191.85/191.96	c ============================[ Search Statistics ]==============================
191.85/191.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.85/191.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.85/191.96	c ===============================================================================
191.85/191.96	c |         0 |    1239    28767    68882 |     9589        0    nan |  0.000 % |
191.85/191.97	c ===============================================================================
191.95/192.02	c core #307
191.95/192.02	c 
191.95/192.02	c 
191.95/192.02	c Core size: 10	Core Weight: 1	Total Weight: -288
191.95/192.02	c
191.95/192.02	c
191.95/192.02	c ============================[ Search Statistics ]==============================
191.95/192.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.95/192.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.95/192.02	c ===============================================================================
191.95/192.02	c |         0 |    1245    28768    68894 |     9589        0    nan |  0.000 % |
191.95/192.03	c ===============================================================================
191.95/192.07	c core #308
191.95/192.07	c 
191.95/192.07	c 
191.95/192.07	c Core size: 8	Core Weight: 1	Total Weight: -287
191.95/192.07	c
191.95/192.07	c
191.95/192.07	c ============================[ Search Statistics ]==============================
191.95/192.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.95/192.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.95/192.07	c ===============================================================================
191.95/192.07	c |         0 |    1249    28769    68902 |     9589        0    nan |  0.000 % |
191.95/192.08	c ===============================================================================
192.05/192.13	c core #309
192.05/192.13	c 
192.05/192.13	c 
192.05/192.13	c Core size: 8	Core Weight: 1	Total Weight: -286
192.05/192.13	c
192.05/192.13	c
192.05/192.13	c ============================[ Search Statistics ]==============================
192.05/192.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.05/192.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.05/192.13	c ===============================================================================
192.05/192.13	c |         0 |    1253    28770    68910 |     9590        0    nan |  0.000 % |
192.05/192.13	c ===============================================================================
192.05/192.18	c core #310
192.05/192.18	c 
192.05/192.18	c 
192.05/192.18	c Core size: 10	Core Weight: 1	Total Weight: -285
192.05/192.18	c
192.05/192.18	c
192.05/192.18	c ============================[ Search Statistics ]==============================
192.05/192.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.05/192.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.05/192.18	c ===============================================================================
192.05/192.18	c |         0 |    1259    28771    68922 |     9590        0    nan |  0.000 % |
192.05/192.19	c ===============================================================================
192.15/192.24	c core #311
192.15/192.24	c 
192.15/192.24	c 
192.15/192.24	c Core size: 10	Core Weight: 1	Total Weight: -284
192.15/192.24	c
192.15/192.24	c
192.15/192.24	c ============================[ Search Statistics ]==============================
192.15/192.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.15/192.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.15/192.24	c ===============================================================================
192.15/192.24	c |         0 |    1265    28772    68934 |     9590        0    nan |  0.000 % |
192.15/192.25	c ===============================================================================
192.25/192.30	c core #312
192.25/192.30	c 
192.25/192.30	c 
192.25/192.30	c Core size: 10	Core Weight: 1	Total Weight: -283
192.25/192.30	c
192.25/192.30	c
192.25/192.30	c ============================[ Search Statistics ]==============================
192.25/192.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.25/192.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.25/192.30	c ===============================================================================
192.25/192.30	c |         0 |    1271    28773    68946 |     9591        0    nan |  0.000 % |
192.25/192.31	c ===============================================================================
192.25/192.36	c core #313
192.25/192.36	c 
192.25/192.36	c 
192.25/192.36	c Core size: 8	Core Weight: 1	Total Weight: -282
192.25/192.36	c
192.25/192.36	c
192.25/192.36	c ============================[ Search Statistics ]==============================
192.25/192.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.25/192.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.25/192.36	c ===============================================================================
192.25/192.36	c |         0 |    1275    28774    68954 |     9591        0    nan |  0.000 % |
192.25/192.36	c ===============================================================================
192.35/192.41	c core #314
192.35/192.41	c 
192.35/192.41	c 
192.35/192.41	c Core size: 10	Core Weight: 1	Total Weight: -281
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 |    1281    28775    68966 |     9591        0    nan |  0.000 % |
192.35/192.42	c ===============================================================================
192.35/192.47	c core #315
192.35/192.47	c 
192.35/192.47	c 
192.35/192.47	c Core size: 10	Core Weight: 1	Total Weight: -280
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 |    1287    28776    68978 |     9592        0    nan |  0.000 % |
192.35/192.48	c ===============================================================================
192.45/192.53	c core #316
192.45/192.53	c 
192.45/192.53	c 
192.45/192.53	c Core size: 8	Core Weight: 1	Total Weight: -279
192.45/192.53	c
192.45/192.53	c
192.45/192.53	c ============================[ Search Statistics ]==============================
192.45/192.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.45/192.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.45/192.53	c ===============================================================================
192.45/192.53	c |         0 |    1291    28777    68986 |     9592        0    nan |  0.000 % |
192.45/192.54	c ===============================================================================
192.45/192.59	c core #317
192.45/192.59	c 
192.45/192.59	c 
192.45/192.59	c Core size: 8	Core Weight: 1	Total Weight: -278
192.45/192.59	c
192.45/192.59	c
192.45/192.59	c ============================[ Search Statistics ]==============================
192.45/192.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.45/192.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.45/192.59	c ===============================================================================
192.45/192.59	c |         0 |    1295    28778    68994 |     9592        0    nan |  0.000 % |
192.45/192.59	c ===============================================================================
192.54/192.64	c core #318
192.54/192.64	c 
192.54/192.64	c 
192.54/192.64	c Core size: 8	Core Weight: 1	Total Weight: -277
192.54/192.64	c
192.54/192.64	c
192.54/192.64	c ============================[ Search Statistics ]==============================
192.54/192.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.64	c ===============================================================================
192.54/192.64	c |         0 |    1299    28779    69002 |     9593        0    nan |  0.000 % |
192.54/192.65	c ===============================================================================
192.64/192.70	c core #319
192.64/192.70	c 
192.64/192.70	c 
192.64/192.70	c Core size: 10	Core Weight: 1	Total Weight: -276
192.64/192.70	c
192.64/192.70	c
192.64/192.70	c ============================[ Search Statistics ]==============================
192.64/192.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.64/192.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.64/192.70	c ===============================================================================
192.64/192.70	c |         0 |    1305    28780    69014 |     9593        0    nan |  0.000 % |
192.64/192.71	c ===============================================================================
192.64/192.76	c core #320
192.64/192.76	c 
192.64/192.76	c 
192.64/192.76	c Core size: 8	Core Weight: 1	Total Weight: -275
192.64/192.76	c
192.64/192.76	c
192.64/192.76	c ============================[ Search Statistics ]==============================
192.64/192.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.64/192.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.64/192.76	c ===============================================================================
192.64/192.76	c |         0 |    1309    28781    69022 |     9593        0    nan |  0.000 % |
192.64/192.77	c ===============================================================================
192.74/192.82	c core #321
192.74/192.82	c 
192.74/192.82	c 
192.74/192.82	c Core size: 8	Core Weight: 1	Total Weight: -274
192.74/192.82	c
192.74/192.82	c
192.74/192.82	c ============================[ Search Statistics ]==============================
192.74/192.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.82	c ===============================================================================
192.74/192.82	c |         0 |    1313    28782    69030 |     9594        0    nan |  0.000 % |
192.74/192.83	c ===============================================================================
192.74/192.88	c core #322
192.74/192.88	c 
192.74/192.88	c 
192.74/192.88	c Core size: 10	Core Weight: 1	Total Weight: -273
192.74/192.88	c
192.74/192.88	c
192.74/192.88	c ============================[ Search Statistics ]==============================
192.74/192.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.88	c ===============================================================================
192.74/192.88	c |         0 |    1319    28783    69042 |     9594        0    nan |  0.000 % |
192.74/192.89	c ===============================================================================
192.84/192.94	c core #323
192.84/192.94	c 
192.84/192.94	c 
192.84/192.94	c Core size: 10	Core Weight: 1	Total Weight: -272
192.84/192.94	c
192.84/192.94	c
192.84/192.94	c ============================[ Search Statistics ]==============================
192.84/192.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.94	c ===============================================================================
192.84/192.94	c |         0 |    1325    28784    69054 |     9594        0    nan |  0.000 % |
192.84/192.94	c ===============================================================================
192.84/192.99	c core #324
192.84/192.99	c 
192.84/192.99	c 
192.84/192.99	c Core size: 10	Core Weight: 1	Total Weight: -271
192.84/192.99	c
192.84/192.99	c
192.84/192.99	c ============================[ Search Statistics ]==============================
192.84/192.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.99	c ===============================================================================
192.84/192.99	c |         0 |    1331    28785    69066 |     9595        0    nan |  0.000 % |
192.94/193.00	c ===============================================================================
192.94/193.05	c core #325
192.94/193.05	c 
192.94/193.05	c 
192.94/193.05	c Core size: 10	Core Weight: 1	Total Weight: -270
192.94/193.05	c
192.94/193.05	c
192.94/193.05	c ============================[ Search Statistics ]==============================
192.94/193.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.94/193.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.94/193.05	c ===============================================================================
192.94/193.05	c |         0 |    1337    28786    69078 |     9595        0    nan |  0.000 % |
192.94/193.06	c ===============================================================================
193.04/193.11	c core #326
193.04/193.11	c 
193.04/193.11	c 
193.04/193.11	c Core size: 8	Core Weight: 1	Total Weight: -269
193.04/193.11	c
193.04/193.11	c
193.04/193.11	c ============================[ Search Statistics ]==============================
193.04/193.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.11	c ===============================================================================
193.04/193.11	c |         0 |    1341    28787    69086 |     9595        0    nan |  0.000 % |
193.04/193.12	c ===============================================================================
193.04/193.17	c core #327
193.04/193.17	c 
193.04/193.17	c 
193.04/193.17	c Core size: 8	Core Weight: 1	Total Weight: -268
193.04/193.17	c
193.04/193.17	c
193.04/193.17	c ============================[ Search Statistics ]==============================
193.04/193.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.17	c ===============================================================================
193.04/193.17	c |         0 |    1345    28788    69094 |     9596        0    nan |  0.000 % |
193.04/193.18	c ===============================================================================
193.15/193.23	c core #328
193.15/193.23	c 
193.15/193.23	c 
193.15/193.23	c Core size: 10	Core Weight: 1	Total Weight: -267
193.15/193.23	c
193.15/193.23	c
193.15/193.23	c ============================[ Search Statistics ]==============================
193.15/193.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.15/193.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.15/193.23	c ===============================================================================
193.15/193.23	c |         0 |    1351    28789    69106 |     9596        0    nan |  0.000 % |
193.15/193.23	c ===============================================================================
193.15/193.28	c core #329
193.15/193.28	c 
193.15/193.28	c 
193.15/193.28	c Core size: 8	Core Weight: 1	Total Weight: -266
193.15/193.28	c
193.15/193.28	c
193.15/193.28	c ============================[ Search Statistics ]==============================
193.15/193.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.15/193.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.15/193.28	c ===============================================================================
193.15/193.28	c |         0 |    1355    28790    69114 |     9596        0    nan |  0.000 % |
193.15/193.29	c ===============================================================================
193.25/193.34	c core #330
193.25/193.34	c 
193.25/193.34	c 
193.25/193.34	c Core size: 8	Core Weight: 1	Total Weight: -265
193.25/193.34	c
193.25/193.34	c
193.25/193.34	c ============================[ Search Statistics ]==============================
193.25/193.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.25/193.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.25/193.34	c ===============================================================================
193.25/193.34	c |         0 |    1359    28791    69122 |     9597        0    nan |  0.000 % |
193.25/193.35	c ===============================================================================
193.35/193.40	c core #331
193.35/193.40	c 
193.35/193.40	c 
193.35/193.40	c Core size: 8	Core Weight: 1	Total Weight: -264
193.35/193.40	c
193.35/193.40	c
193.35/193.40	c ============================[ Search Statistics ]==============================
193.35/193.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.35/193.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.35/193.40	c ===============================================================================
193.35/193.40	c |         0 |    1363    28792    69130 |     9597        0    nan |  0.000 % |
193.35/193.41	c ===============================================================================
193.35/193.46	c core #332
193.35/193.46	c 
193.35/193.46	c 
193.35/193.46	c Core size: 8	Core Weight: 1	Total Weight: -263
193.35/193.46	c
193.35/193.46	c
193.35/193.46	c ============================[ Search Statistics ]==============================
193.35/193.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.35/193.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.35/193.46	c ===============================================================================
193.35/193.46	c |         0 |    1367    28793    69138 |     9597        0    nan |  0.000 % |
193.35/193.47	c ===============================================================================
193.46/193.52	c core #333
193.46/193.52	c 
193.46/193.52	c 
193.46/193.52	c Core size: 8	Core Weight: 1	Total Weight: -262
193.46/193.52	c
193.46/193.52	c
193.46/193.52	c ============================[ Search Statistics ]==============================
193.46/193.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.46/193.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.46/193.52	c ===============================================================================
193.46/193.52	c |         0 |    1371    28794    69146 |     9598        0    nan |  0.000 % |
193.46/193.53	c ===============================================================================
193.46/193.58	c core #334
193.46/193.58	c 
193.46/193.58	c 
193.46/193.58	c Core size: 10	Core Weight: 1	Total Weight: -261
193.46/193.58	c
193.46/193.58	c
193.46/193.58	c ============================[ Search Statistics ]==============================
193.46/193.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.46/193.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.46/193.58	c ===============================================================================
193.46/193.58	c |         0 |    1377    28795    69158 |     9598        0    nan |  0.000 % |
193.46/193.58	c ===============================================================================
193.56/193.63	c core #335
193.56/193.63	c 
193.56/193.63	c 
193.56/193.63	c Core size: 10	Core Weight: 1	Total Weight: -260
193.56/193.63	c
193.56/193.63	c
193.56/193.63	c ============================[ Search Statistics ]==============================
193.56/193.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.56/193.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.56/193.63	c ===============================================================================
193.56/193.63	c |         0 |    1383    28796    69170 |     9598        0    nan |  0.000 % |
193.56/193.64	c ===============================================================================
193.56/193.69	c core #336
193.56/193.69	c 
193.56/193.69	c 
193.56/193.69	c Core size: 8	Core Weight: 1	Total Weight: -259
193.56/193.69	c
193.56/193.69	c
193.56/193.69	c ============================[ Search Statistics ]==============================
193.56/193.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.56/193.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.56/193.69	c ===============================================================================
193.56/193.69	c |         0 |    1387    28797    69178 |     9599        0    nan |  0.000 % |
193.65/193.70	c ===============================================================================
193.65/193.75	c core #337
193.65/193.75	c 
193.65/193.75	c 
193.65/193.75	c Core size: 13	Core Weight: 1	Total Weight: -258
193.65/193.75	c
193.65/193.75	c
193.65/193.75	c ============================[ Search Statistics ]==============================
193.65/193.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.65/193.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.65/193.75	c ===============================================================================
193.65/193.75	c |         0 |    1397    28798    69198 |     9599        0    nan |  0.000 % |
193.65/193.76	c ===============================================================================
193.75/193.81	c core #338
193.75/193.81	c 
193.75/193.81	c 
193.75/193.81	c Core size: 10	Core Weight: 1	Total Weight: -257
193.75/193.81	c
193.75/193.81	c
193.75/193.81	c ============================[ Search Statistics ]==============================
193.75/193.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.75/193.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.75/193.81	c ===============================================================================
193.75/193.81	c |         0 |    1403    28799    69210 |     9599        0    nan |  0.000 % |
193.75/193.82	c ===============================================================================
193.75/193.87	c core #339
193.75/193.87	c 
193.75/193.87	c 
193.75/193.87	c Core size: 10	Core Weight: 1	Total Weight: -256
193.75/193.87	c
193.75/193.87	c
193.75/193.87	c ============================[ Search Statistics ]==============================
193.75/193.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.75/193.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.75/193.87	c ===============================================================================
193.75/193.87	c |         0 |    1409    28800    69222 |     9600        0    nan |  0.000 % |
193.75/193.88	c ===============================================================================
193.85/193.93	c core #340
193.85/193.93	c 
193.85/193.93	c 
193.85/193.93	c Core size: 10	Core Weight: 1	Total Weight: -255
193.85/193.93	c
193.85/193.93	c
193.85/193.93	c ============================[ Search Statistics ]==============================
193.85/193.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.85/193.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.85/193.93	c ===============================================================================
193.85/193.93	c |         0 |    1415    28801    69234 |     9600        0    nan |  0.000 % |
193.85/193.94	c ===============================================================================
193.85/193.99	c core #341
193.85/193.99	c 
193.85/193.99	c 
193.85/193.99	c Core size: 8	Core Weight: 1	Total Weight: -254
193.85/193.99	c
193.85/193.99	c
193.85/193.99	c ============================[ Search Statistics ]==============================
193.85/193.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.85/193.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.85/193.99	c ===============================================================================
193.85/193.99	c |         0 |    1419    28802    69242 |     9600        0    nan |  0.000 % |
193.85/193.99	c ===============================================================================
193.95/194.04	c core #342
193.95/194.04	c 
193.95/194.04	c 
193.95/194.04	c Core size: 8	Core Weight: 1	Total Weight: -253
193.95/194.04	c
193.95/194.04	c
193.95/194.04	c ============================[ Search Statistics ]==============================
193.95/194.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.95/194.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.95/194.04	c ===============================================================================
193.95/194.04	c |         0 |    1423    28803    69250 |     9601        0    nan |  0.000 % |
193.95/194.05	c ===============================================================================
194.05/194.10	c core #343
194.05/194.10	c 
194.05/194.10	c 
194.05/194.10	c Core size: 8	Core Weight: 1	Total Weight: -252
194.05/194.10	c
194.05/194.10	c
194.05/194.10	c ============================[ Search Statistics ]==============================
194.05/194.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.05/194.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.05/194.10	c ===============================================================================
194.05/194.10	c |         0 |    1427    28804    69258 |     9601        0    nan |  0.000 % |
194.05/194.11	c ===============================================================================
194.05/194.16	c core #344
194.05/194.16	c 
194.05/194.16	c 
194.05/194.16	c Core size: 16	Core Weight: 1	Total Weight: -251
194.05/194.16	c
194.05/194.16	c
194.05/194.16	c ============================[ Search Statistics ]==============================
194.05/194.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.05/194.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.05/194.16	c ===============================================================================
194.05/194.16	c |         0 |    1439    28805    69282 |     9601        0    nan |  0.000 % |
194.05/194.17	c ===============================================================================
194.15/194.22	c core #345
194.15/194.22	c 
194.15/194.22	c 
194.15/194.22	c Core size: 15	Core Weight: 1	Total Weight: -250
194.15/194.22	c
194.15/194.22	c
194.15/194.22	c ============================[ Search Statistics ]==============================
194.15/194.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.15/194.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.15/194.22	c ===============================================================================
194.15/194.22	c |         0 |    1451    28806    69306 |     9602        0    nan |  0.000 % |
194.15/194.23	c ===============================================================================
194.15/194.28	c core #346
194.15/194.28	c 
194.15/194.28	c 
194.15/194.28	c Core size: 8	Core Weight: 1	Total Weight: -249
194.15/194.28	c
194.15/194.28	c
194.15/194.28	c ============================[ Search Statistics ]==============================
194.15/194.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.15/194.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.15/194.28	c ===============================================================================
194.15/194.28	c |         0 |    1455    28807    69314 |     9602        0    nan |  0.000 % |
194.15/194.29	c ===============================================================================
194.25/194.34	c core #347
194.25/194.34	c 
194.25/194.34	c 
194.25/194.34	c Core size: 10	Core Weight: 1	Total Weight: -248
194.25/194.34	c
194.25/194.34	c
194.25/194.34	c ============================[ Search Statistics ]==============================
194.25/194.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.25/194.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.25/194.34	c ===============================================================================
194.25/194.34	c |         0 |    1461    28808    69326 |     9602        0    nan |  0.000 % |
194.25/194.35	c ===============================================================================
194.35/194.40	c core #348
194.35/194.40	c 
194.35/194.40	c 
194.35/194.40	c Core size: 10	Core Weight: 1	Total Weight: -247
194.35/194.40	c
194.35/194.40	c
194.35/194.40	c ============================[ Search Statistics ]==============================
194.35/194.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.35/194.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.35/194.40	c ===============================================================================
194.35/194.40	c |         0 |    1467    28809    69338 |     9603        0    nan |  0.000 % |
194.35/194.41	c ===============================================================================
194.35/194.46	c core #349
194.35/194.46	c 
194.35/194.46	c 
194.35/194.46	c Core size: 10	Core Weight: 1	Total Weight: -246
194.35/194.46	c
194.35/194.46	c
194.35/194.46	c ============================[ Search Statistics ]==============================
194.35/194.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.35/194.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.35/194.46	c ===============================================================================
194.35/194.46	c |         0 |    1473    28810    69350 |     9603        0    nan |  0.000 % |
194.35/194.47	c ===============================================================================
194.45/194.52	c core #350
194.45/194.52	c 
194.45/194.52	c 
194.45/194.52	c Core size: 8	Core Weight: 1	Total Weight: -245
194.45/194.52	c
194.45/194.52	c
194.45/194.52	c ============================[ Search Statistics ]==============================
194.45/194.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.45/194.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.45/194.52	c ===============================================================================
194.45/194.52	c |         0 |    1477    28811    69358 |     9603        0    nan |  0.000 % |
194.45/194.53	c ===============================================================================
194.45/194.58	c core #351
194.45/194.58	c 
194.45/194.58	c 
194.45/194.58	c Core size: 10	Core Weight: 1	Total Weight: -244
194.45/194.58	c
194.45/194.58	c
194.45/194.58	c ============================[ Search Statistics ]==============================
194.45/194.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.45/194.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.45/194.58	c ===============================================================================
194.45/194.58	c |         0 |    1483    28812    69370 |     9604        0    nan |  0.000 % |
194.45/194.59	c ===============================================================================
194.56/194.64	c core #352
194.56/194.64	c 
194.56/194.64	c 
194.56/194.64	c Core size: 13	Core Weight: 1	Total Weight: -243
194.56/194.64	c
194.56/194.64	c
194.56/194.64	c ============================[ Search Statistics ]==============================
194.56/194.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.56/194.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.56/194.64	c ===============================================================================
194.56/194.64	c |         0 |    1493    28813    69390 |     9604        0    nan |  0.000 % |
194.56/194.66	c ===============================================================================
194.66/194.71	c core #353
194.66/194.71	c 
194.66/194.71	c 
194.66/194.71	c Core size: 11	Core Weight: 1	Total Weight: -242
194.66/194.71	c
194.66/194.71	c
194.66/194.71	c ============================[ Search Statistics ]==============================
194.66/194.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.66/194.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.66/194.71	c ===============================================================================
194.66/194.71	c |         0 |    1501    28814    69406 |     9604        0    nan |  0.000 % |
194.66/194.72	c ===============================================================================
194.66/194.77	c core #354
194.66/194.77	c 
194.66/194.77	c 
194.66/194.77	c Core size: 8	Core Weight: 1	Total Weight: -241
194.66/194.77	c
194.66/194.77	c
194.66/194.77	c ============================[ Search Statistics ]==============================
194.66/194.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.66/194.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.66/194.77	c ===============================================================================
194.66/194.77	c |         0 |    1505    28815    69414 |     9605        0    nan |  0.000 % |
194.66/194.78	c ===============================================================================
194.75/194.83	c core #355
194.75/194.83	c 
194.75/194.83	c 
194.75/194.83	c Core size: 8	Core Weight: 1	Total Weight: -240
194.75/194.83	c
194.75/194.83	c
194.75/194.83	c ============================[ Search Statistics ]==============================
194.75/194.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.75/194.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.75/194.83	c ===============================================================================
194.75/194.83	c |         0 |    1509    28816    69422 |     9605        0    nan |  0.000 % |
194.75/194.84	c ===============================================================================
194.75/194.89	c core #356
194.75/194.89	c 
194.75/194.89	c 
194.75/194.89	c Core size: 10	Core Weight: 1	Total Weight: -239
194.75/194.89	c
194.75/194.89	c
194.75/194.89	c ============================[ Search Statistics ]==============================
194.75/194.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.75/194.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.75/194.89	c ===============================================================================
194.75/194.89	c |         0 |    1515    28817    69434 |     9605        0    nan |  0.000 % |
194.85/194.90	c ===============================================================================
194.85/194.95	c core #357
194.85/194.95	c 
194.85/194.95	c 
194.85/194.95	c Core size: 8	Core Weight: 1	Total Weight: -238
194.85/194.95	c
194.85/194.95	c
194.85/194.95	c ============================[ Search Statistics ]==============================
194.85/194.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.85/194.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.85/194.95	c ===============================================================================
194.85/194.95	c |         0 |    1519    28818    69442 |     9606        0    nan |  0.000 % |
194.85/194.96	c ===============================================================================
194.95/195.01	c core #358
194.95/195.01	c 
194.95/195.01	c 
194.95/195.01	c Core size: 15	Core Weight: 1	Total Weight: -237
194.95/195.01	c
194.95/195.01	c
194.95/195.01	c ============================[ Search Statistics ]==============================
194.95/195.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.95/195.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.95/195.01	c ===============================================================================
194.95/195.01	c |         0 |    1531    28819    69466 |     9606        0    nan |  0.000 % |
194.95/195.02	c ===============================================================================
194.95/195.07	c core #359
194.95/195.07	c 
194.95/195.07	c 
194.95/195.07	c Core size: 8	Core Weight: 1	Total Weight: -236
194.95/195.07	c
194.95/195.07	c
194.95/195.07	c ============================[ Search Statistics ]==============================
194.95/195.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.95/195.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.95/195.07	c ===============================================================================
194.95/195.07	c |         0 |    1535    28820    69474 |     9606        0    nan |  0.000 % |
194.95/195.08	c ===============================================================================
195.05/195.13	c core #360
195.05/195.13	c 
195.05/195.13	c 
195.05/195.13	c Core size: 10	Core Weight: 1	Total Weight: -235
195.05/195.13	c
195.05/195.13	c
195.05/195.13	c ============================[ Search Statistics ]==============================
195.05/195.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.05/195.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.05/195.13	c ===============================================================================
195.05/195.13	c |         0 |    1541    28821    69486 |     9607        0    nan |  0.000 % |
195.05/195.14	c ===============================================================================
195.05/195.20	c core #361
195.05/195.20	c 
195.05/195.20	c 
195.05/195.20	c Core size: 15	Core Weight: 1	Total Weight: -234
195.05/195.20	c
195.05/195.20	c
195.05/195.20	c ============================[ Search Statistics ]==============================
195.05/195.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.05/195.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.05/195.20	c ===============================================================================
195.05/195.20	c |         0 |    1553    28822    69510 |     9607        0    nan |  0.000 % |
195.15/195.20	c ===============================================================================
195.15/195.26	c core #362
195.15/195.26	c 
195.15/195.26	c 
195.15/195.26	c Core size: 10	Core Weight: 1	Total Weight: -233
195.15/195.26	c
195.15/195.26	c
195.15/195.26	c ============================[ Search Statistics ]==============================
195.15/195.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.15/195.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.15/195.26	c ===============================================================================
195.15/195.26	c |         0 |    1559    28823    69522 |     9607        0    nan |  0.000 % |
195.15/195.27	c ===============================================================================
195.25/195.32	c core #363
195.25/195.32	c 
195.25/195.32	c 
195.25/195.32	c Core size: 10	Core Weight: 1	Total Weight: -232
195.25/195.32	c
195.25/195.32	c
195.25/195.32	c ============================[ Search Statistics ]==============================
195.25/195.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.25/195.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.25/195.32	c ===============================================================================
195.25/195.32	c |         0 |    1565    28824    69534 |     9608        0    nan |  0.000 % |
195.25/195.33	c ===============================================================================
195.25/195.38	c core #364
195.25/195.38	c 
195.25/195.38	c 
195.25/195.38	c Core size: 8	Core Weight: 1	Total Weight: -231
195.25/195.38	c
195.25/195.38	c
195.25/195.38	c ============================[ Search Statistics ]==============================
195.25/195.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.25/195.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.25/195.38	c ===============================================================================
195.25/195.38	c |         0 |    1569    28825    69542 |     9608        0    nan |  0.000 % |
195.25/195.38	c ===============================================================================
195.35/195.44	c core #365
195.35/195.44	c 
195.35/195.44	c 
195.35/195.44	c Core size: 10	Core Weight: 1	Total Weight: -230
195.35/195.44	c
195.35/195.44	c
195.35/195.44	c ============================[ Search Statistics ]==============================
195.35/195.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.35/195.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.35/195.44	c ===============================================================================
195.35/195.44	c |         0 |    1575    28826    69554 |     9608        0    nan |  0.000 % |
195.35/195.44	c ===============================================================================
195.35/195.49	c core #366
195.35/195.49	c 
195.35/195.49	c 
195.35/195.49	c Core size: 10	Core Weight: 1	Total Weight: -229
195.35/195.49	c
195.35/195.49	c
195.35/195.49	c ============================[ Search Statistics ]==============================
195.35/195.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.35/195.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.35/195.49	c ===============================================================================
195.35/195.49	c |         0 |    1581    28827    69566 |     9609        0    nan |  0.000 % |
195.45/195.50	c ===============================================================================
195.45/195.55	c core #367
195.45/195.55	c 
195.45/195.55	c 
195.45/195.55	c Core size: 10	Core Weight: 1	Total Weight: -228
195.45/195.55	c
195.45/195.55	c
195.45/195.55	c ============================[ Search Statistics ]==============================
195.45/195.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.45/195.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.45/195.55	c ===============================================================================
195.45/195.55	c |         0 |    1587    28828    69578 |     9609        0    nan |  0.000 % |
195.45/195.56	c ===============================================================================
195.55/195.61	c core #368
195.55/195.61	c 
195.55/195.61	c 
195.55/195.61	c Core size: 11	Core Weight: 1	Total Weight: -227
195.55/195.61	c
195.55/195.61	c
195.55/195.61	c ============================[ Search Statistics ]==============================
195.55/195.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.55/195.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.55/195.61	c ===============================================================================
195.55/195.61	c |         0 |    1593    28829    69590 |     9609        0    nan |  0.000 % |
195.55/195.62	c ===============================================================================
195.55/195.67	c core #369
195.55/195.67	c 
195.55/195.67	c 
195.55/195.67	c Core size: 10	Core Weight: 1	Total Weight: -226
195.55/195.67	c
195.55/195.67	c
195.55/195.67	c ============================[ Search Statistics ]==============================
195.55/195.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.55/195.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.55/195.67	c ===============================================================================
195.55/195.67	c |         0 |    1599    28830    69602 |     9610        0    nan |  0.000 % |
195.55/195.68	c ===============================================================================
195.65/195.73	c core #370
195.65/195.73	c 
195.65/195.73	c 
195.65/195.73	c Core size: 10	Core Weight: 1	Total Weight: -225
195.65/195.73	c
195.65/195.73	c
195.65/195.73	c ============================[ Search Statistics ]==============================
195.65/195.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.65/195.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.65/195.73	c ===============================================================================
195.65/195.73	c |         0 |    1605    28831    69614 |     9610        0    nan |  0.000 % |
195.65/195.74	c ===============================================================================
195.65/195.79	c core #371
195.65/195.79	c 
195.65/195.79	c 
195.65/195.79	c Core size: 8	Core Weight: 1	Total Weight: -224
195.65/195.79	c
195.65/195.79	c
195.65/195.79	c ============================[ Search Statistics ]==============================
195.65/195.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.65/195.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.65/195.79	c ===============================================================================
195.65/195.79	c |         0 |    1609    28832    69622 |     9610        0    nan |  0.000 % |
195.65/195.80	c ===============================================================================
195.75/195.86	c core #372
195.75/195.86	c 
195.75/195.86	c 
195.75/195.86	c Core size: 8	Core Weight: 1	Total Weight: -223
195.75/195.86	c
195.75/195.86	c
195.75/195.86	c ============================[ Search Statistics ]==============================
195.75/195.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.75/195.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.75/195.86	c ===============================================================================
195.75/195.86	c |         0 |    1613    28833    69630 |     9611        0    nan |  0.000 % |
195.75/195.86	c ===============================================================================
195.84/195.92	c core #373
195.84/195.92	c 
195.84/195.92	c 
195.84/195.92	c Core size: 8	Core Weight: 1	Total Weight: -222
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 |    1617    28834    69638 |     9611        0    nan |  0.000 % |
195.84/195.93	c ===============================================================================
195.84/195.98	c core #374
195.84/195.98	c 
195.84/195.98	c 
195.84/195.98	c Core size: 10	Core Weight: 1	Total Weight: -221
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 |    1623    28835    69650 |     9611        0    nan |  0.000 % |
195.84/195.99	c ===============================================================================
195.94/196.04	c core #375
195.94/196.04	c 
195.94/196.04	c 
195.94/196.04	c Core size: 8	Core Weight: 1	Total Weight: -220
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 |    1627    28836    69658 |     9612        0    nan |  0.000 % |
195.94/196.05	c ===============================================================================
196.04/196.10	c core #376
196.04/196.10	c 
196.04/196.10	c 
196.04/196.10	c Core size: 8	Core Weight: 1	Total Weight: -219
196.04/196.10	c
196.04/196.10	c
196.04/196.10	c ============================[ Search Statistics ]==============================
196.04/196.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.04/196.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.04/196.10	c ===============================================================================
196.04/196.10	c |         0 |    1631    28837    69666 |     9612        0    nan |  0.000 % |
196.04/196.11	c ===============================================================================
196.04/196.16	c core #377
196.04/196.16	c 
196.04/196.16	c 
196.04/196.16	c Core size: 10	Core Weight: 1	Total Weight: -218
196.04/196.16	c
196.04/196.16	c
196.04/196.16	c ============================[ Search Statistics ]==============================
196.04/196.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.04/196.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.04/196.16	c ===============================================================================
196.04/196.16	c |         0 |    1637    28838    69678 |     9612        0    nan |  0.000 % |
196.04/196.17	c ===============================================================================
196.15/196.22	c core #378
196.15/196.22	c 
196.15/196.22	c 
196.15/196.22	c Core size: 12	Core Weight: 1	Total Weight: -217
196.15/196.22	c
196.15/196.22	c
196.15/196.22	c ============================[ Search Statistics ]==============================
196.15/196.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.15/196.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.15/196.22	c ===============================================================================
196.15/196.22	c |         0 |    1647    28839    69698 |     9613        0    nan |  0.000 % |
196.15/196.23	c ===============================================================================
196.15/196.28	c core #379
196.15/196.28	c 
196.15/196.28	c 
196.15/196.28	c Core size: 19	Core Weight: 1	Total Weight: -216
196.15/196.28	c
196.15/196.28	c
196.15/196.28	c ============================[ Search Statistics ]==============================
196.15/196.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.15/196.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.15/196.28	c ===============================================================================
196.15/196.28	c |         0 |    1663    28840    69730 |     9613        0    nan |  0.000 % |
196.15/196.29	c ===============================================================================
196.25/196.34	c core #380
196.25/196.34	c 
196.25/196.34	c 
196.25/196.34	c Core size: 10	Core Weight: 1	Total Weight: -215
196.25/196.34	c
196.25/196.34	c
196.25/196.34	c ============================[ Search Statistics ]==============================
196.25/196.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.25/196.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.25/196.34	c ===============================================================================
196.25/196.34	c |         0 |    1669    28841    69742 |     9613        0    nan |  0.000 % |
196.25/196.35	c ===============================================================================
196.35/196.40	c core #381
196.35/196.40	c 
196.35/196.40	c 
196.35/196.40	c Core size: 10	Core Weight: 1	Total Weight: -214
196.35/196.40	c
196.35/196.40	c
196.35/196.40	c ============================[ Search Statistics ]==============================
196.35/196.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.35/196.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.35/196.40	c ===============================================================================
196.35/196.40	c |         0 |    1675    28842    69754 |     9614        0    nan |  0.000 % |
196.35/196.41	c ===============================================================================
196.35/196.46	c core #382
196.35/196.46	c 
196.35/196.46	c 
196.35/196.46	c Core size: 10	Core Weight: 1	Total Weight: -213
196.35/196.46	c
196.35/196.46	c
196.35/196.46	c ============================[ Search Statistics ]==============================
196.35/196.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.35/196.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.35/196.46	c ===============================================================================
196.35/196.46	c |         0 |    1681    28843    69766 |     9614        0    nan |  0.000 % |
196.35/196.47	c ===============================================================================
196.45/196.52	c core #383
196.45/196.52	c 
196.45/196.52	c 
196.45/196.52	c Core size: 10	Core Weight: 1	Total Weight: -212
196.45/196.52	c
196.45/196.52	c
196.45/196.52	c ============================[ Search Statistics ]==============================
196.45/196.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.45/196.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.45/196.52	c ===============================================================================
196.45/196.52	c |         0 |    1687    28844    69778 |     9614        0    nan |  0.000 % |
196.45/196.53	c ===============================================================================
196.45/196.58	c core #384
196.45/196.58	c 
196.45/196.58	c 
196.45/196.58	c Core size: 10	Core Weight: 1	Total Weight: -211
196.45/196.58	c
196.45/196.58	c
196.45/196.58	c ============================[ Search Statistics ]==============================
196.45/196.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.45/196.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.45/196.58	c ===============================================================================
196.45/196.58	c |         0 |    1693    28845    69790 |     9615        0    nan |  0.000 % |
196.45/196.59	c ===============================================================================
196.55/196.64	c core #385
196.55/196.64	c 
196.55/196.64	c 
196.55/196.64	c Core size: 12	Core Weight: 1	Total Weight: -210
196.55/196.64	c
196.55/196.64	c
196.55/196.64	c ============================[ Search Statistics ]==============================
196.55/196.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.55/196.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.55/196.64	c ===============================================================================
196.55/196.64	c |         0 |    1701    28846    69806 |     9615        0    nan |  0.000 % |
196.55/196.65	c ===============================================================================
196.65/196.70	c core #386
196.65/196.70	c 
196.65/196.70	c 
196.65/196.70	c Core size: 10	Core Weight: 1	Total Weight: -209
196.65/196.70	c
196.65/196.70	c
196.65/196.70	c ============================[ Search Statistics ]==============================
196.65/196.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.65/196.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.65/196.70	c ===============================================================================
196.65/196.70	c |         0 |    1707    28847    69818 |     9615        0    nan |  0.000 % |
196.65/196.71	c ===============================================================================
196.65/196.76	c core #387
196.65/196.76	c 
196.65/196.76	c 
196.65/196.76	c Core size: 10	Core Weight: 1	Total Weight: -208
196.65/196.76	c
196.65/196.76	c
196.65/196.76	c ============================[ Search Statistics ]==============================
196.65/196.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.65/196.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.65/196.76	c ===============================================================================
196.65/196.76	c |         0 |    1713    28848    69830 |     9616        0    nan |  0.000 % |
196.65/196.77	c ===============================================================================
196.76/196.82	c core #388
196.76/196.82	c 
196.76/196.82	c 
196.76/196.82	c Core size: 10	Core Weight: 1	Total Weight: -207
196.76/196.82	c
196.76/196.82	c
196.76/196.82	c ============================[ Search Statistics ]==============================
196.76/196.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.76/196.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.76/196.82	c ===============================================================================
196.76/196.82	c |         0 |    1719    28849    69842 |     9616        0    nan |  0.000 % |
196.76/196.83	c ===============================================================================
196.76/196.88	c core #389
196.76/196.88	c 
196.76/196.88	c 
196.76/196.88	c Core size: 10	Core Weight: 1	Total Weight: -206
196.76/196.88	c
196.76/196.88	c
196.76/196.88	c ============================[ Search Statistics ]==============================
196.76/196.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.76/196.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.76/196.88	c ===============================================================================
196.76/196.88	c |         0 |    1725    28850    69854 |     9616        0    nan |  0.000 % |
196.76/196.89	c ===============================================================================
196.86/196.94	c core #390
196.86/196.94	c 
196.86/196.94	c 
196.86/196.94	c Core size: 8	Core Weight: 1	Total Weight: -205
196.86/196.94	c
196.86/196.94	c
196.86/196.94	c ============================[ Search Statistics ]==============================
196.86/196.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.86/196.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.86/196.94	c ===============================================================================
196.86/196.94	c |         0 |    1729    28851    69862 |     9617        0    nan |  0.000 % |
196.86/196.95	c ===============================================================================
196.95/197.00	c core #391
196.95/197.00	c 
196.95/197.00	c 
196.95/197.00	c Core size: 10	Core Weight: 1	Total Weight: -204
196.95/197.00	c
196.95/197.00	c
196.95/197.00	c ============================[ Search Statistics ]==============================
196.95/197.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.95/197.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.95/197.00	c ===============================================================================
196.95/197.00	c |         0 |    1735    28852    69874 |     9617        0    nan |  0.000 % |
196.95/197.01	c ===============================================================================
196.95/197.06	c core #392
196.95/197.06	c 
196.95/197.06	c 
196.95/197.06	c Core size: 10	Core Weight: 1	Total Weight: -203
196.95/197.06	c
196.95/197.06	c
196.95/197.06	c ============================[ Search Statistics ]==============================
196.95/197.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.95/197.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.95/197.06	c ===============================================================================
196.95/197.06	c |         0 |    1741    28853    69886 |     9617        0    nan |  0.000 % |
196.95/197.07	c ===============================================================================
197.05/197.13	c core #393
197.05/197.13	c 
197.05/197.13	c 
197.05/197.13	c Core size: 8	Core Weight: 1	Total Weight: -202
197.05/197.13	c
197.05/197.13	c
197.05/197.13	c ============================[ Search Statistics ]==============================
197.05/197.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.05/197.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.05/197.13	c ===============================================================================
197.05/197.13	c |         0 |    1745    28854    69894 |     9618        0    nan |  0.000 % |
197.05/197.14	c ===============================================================================
197.05/197.19	c core #394
197.05/197.19	c 
197.05/197.19	c 
197.05/197.19	c Core size: 10	Core Weight: 1	Total Weight: -201
197.05/197.19	c
197.05/197.19	c
197.05/197.19	c ============================[ Search Statistics ]==============================
197.05/197.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.05/197.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.05/197.19	c ===============================================================================
197.05/197.19	c |         0 |    1751    28855    69906 |     9618        0    nan |  0.000 % |
197.05/197.19	c ===============================================================================
197.15/197.25	c core #395
197.15/197.25	c 
197.15/197.25	c 
197.15/197.25	c Core size: 10	Core Weight: 1	Total Weight: -200
197.15/197.25	c
197.15/197.25	c
197.15/197.25	c ============================[ Search Statistics ]==============================
197.15/197.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.15/197.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.15/197.25	c ===============================================================================
197.15/197.25	c |         0 |    1757    28856    69918 |     9618        0    nan |  0.000 % |
197.15/197.25	c ===============================================================================
197.25/197.30	c core #396
197.25/197.30	c 
197.25/197.30	c 
197.25/197.30	c Core size: 8	Core Weight: 1	Total Weight: -199
197.25/197.30	c
197.25/197.30	c
197.25/197.30	c ============================[ Search Statistics ]==============================
197.25/197.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.25/197.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.25/197.30	c ===============================================================================
197.25/197.30	c |         0 |    1761    28857    69926 |     9619        0    nan |  0.000 % |
197.25/197.31	c ===============================================================================
197.25/197.36	c core #397
197.25/197.36	c 
197.25/197.36	c 
197.25/197.36	c Core size: 10	Core Weight: 1	Total Weight: -198
197.25/197.36	c
197.25/197.36	c
197.25/197.36	c ============================[ Search Statistics ]==============================
197.25/197.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.25/197.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.25/197.36	c ===============================================================================
197.25/197.36	c |         0 |    1767    28858    69938 |     9619        0    nan |  0.000 % |
197.25/197.37	c ===============================================================================
197.35/197.43	c core #398
197.35/197.43	c 
197.35/197.43	c 
197.35/197.43	c Core size: 10	Core Weight: 1	Total Weight: -197
197.35/197.43	c
197.35/197.43	c
197.35/197.43	c ============================[ Search Statistics ]==============================
197.35/197.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.35/197.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.35/197.43	c ===============================================================================
197.35/197.43	c |         0 |    1773    28859    69950 |     9619        0    nan |  0.000 % |
197.35/197.43	c ===============================================================================
197.35/197.49	c core #399
197.35/197.49	c 
197.35/197.49	c 
197.35/197.49	c Core size: 10	Core Weight: 1	Total Weight: -196
197.35/197.49	c
197.35/197.49	c
197.35/197.49	c ============================[ Search Statistics ]==============================
197.35/197.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.35/197.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.35/197.49	c ===============================================================================
197.35/197.49	c |         0 |    1779    28860    69962 |     9620        0    nan |  0.000 % |
197.35/197.50	c ===============================================================================
197.45/197.55	c core #400
197.45/197.55	c 
197.45/197.55	c 
197.45/197.55	c Core size: 12	Core Weight: 1	Total Weight: -195
197.45/197.55	c
197.45/197.55	c
197.45/197.55	c ============================[ Search Statistics ]==============================
197.45/197.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.45/197.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.45/197.55	c ===============================================================================
197.45/197.55	c |         0 |    1788    28861    69980 |     9620        0    nan |  0.000 % |
197.45/197.56	c ===============================================================================
197.55/197.61	c core #401
197.55/197.61	c 
197.55/197.61	c 
197.55/197.61	c Core size: 8	Core Weight: 1	Total Weight: -194
197.55/197.61	c
197.55/197.61	c
197.55/197.61	c ============================[ Search Statistics ]==============================
197.55/197.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.55/197.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.55/197.61	c ===============================================================================
197.55/197.61	c |         0 |    1792    28862    69988 |     9620        0    nan |  0.000 % |
197.55/197.63	c ===============================================================================
197.55/197.68	c core #402
197.55/197.68	c 
197.55/197.68	c 
197.55/197.68	c Core size: 25	Core Weight: 1	Total Weight: -193
197.55/197.68	c
197.55/197.68	c
197.55/197.68	c ============================[ Search Statistics ]==============================
197.55/197.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.55/197.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.55/197.68	c ===============================================================================
197.55/197.68	c |         0 |    1815    28863    70034 |     9621        0    nan |  0.000 % |
197.55/197.68	c ===============================================================================
197.65/197.74	c core #403
197.65/197.74	c 
197.65/197.74	c 
197.65/197.74	c Core size: 8	Core Weight: 1	Total Weight: -192
197.65/197.74	c
197.65/197.74	c
197.65/197.74	c ============================[ Search Statistics ]==============================
197.65/197.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.65/197.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.65/197.74	c ===============================================================================
197.65/197.74	c |         0 |    1819    28864    70042 |     9621        0    nan |  0.000 % |
197.65/197.75	c ===============================================================================
197.75/197.80	c core #404
197.75/197.80	c 
197.75/197.80	c 
197.75/197.80	c Core size: 14	Core Weight: 1	Total Weight: -191
197.75/197.80	c
197.75/197.80	c
197.75/197.80	c ============================[ Search Statistics ]==============================
197.75/197.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.75/197.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.75/197.80	c ===============================================================================
197.75/197.80	c |         0 |    1829    28865    70062 |     9621        0    nan |  0.000 % |
197.75/197.81	c ===============================================================================
197.75/197.87	c core #405
197.75/197.87	c 
197.75/197.87	c 
197.75/197.87	c Core size: 17	Core Weight: 1	Total Weight: -190
197.75/197.87	c
197.75/197.87	c
197.75/197.87	c ============================[ Search Statistics ]==============================
197.75/197.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.75/197.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.75/197.87	c ===============================================================================
197.75/197.87	c |         0 |    1841    28866    70086 |     9622        0    nan |  0.000 % |
197.75/197.88	c ===============================================================================
197.85/197.94	c core #406
197.85/197.94	c 
197.85/197.94	c 
197.85/197.94	c Core size: 27	Core Weight: 1	Total Weight: -189
197.85/197.94	c
197.85/197.94	c
197.85/197.94	c ============================[ Search Statistics ]==============================
197.85/197.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.85/197.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.85/197.94	c ===============================================================================
197.85/197.94	c |         0 |    1863    28867    70130 |     9622        0    nan |  0.000 % |
197.85/197.95	c ===============================================================================
197.85/198.00	c core #407
197.85/198.00	c 
197.85/198.00	c 
197.85/198.00	c Core size: 12	Core Weight: 1	Total Weight: -188
197.85/198.00	c
197.85/198.00	c
197.85/198.00	c ============================[ Search Statistics ]==============================
197.85/198.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.85/198.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.85/198.00	c ===============================================================================
197.85/198.00	c |         0 |    1869    28868    70142 |     9622        0    nan |  0.000 % |
197.95/198.02	c ===============================================================================
197.95/198.07	c core #408
197.95/198.07	c 
197.95/198.07	c 
197.95/198.07	c Core size: 8	Core Weight: 1	Total Weight: -187
197.95/198.07	c
197.95/198.07	c
197.95/198.07	c ============================[ Search Statistics ]==============================
197.95/198.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.95/198.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.95/198.07	c ===============================================================================
197.95/198.07	c |         0 |    1873    28869    70150 |     9623        0    nan |  0.000 % |
197.95/198.09	c ===============================================================================
198.05/198.15	c core #409
198.05/198.15	c 
198.05/198.15	c 
198.05/198.15	c Core size: 22	Core Weight: 1	Total Weight: -186
198.05/198.15	c
198.05/198.15	c
198.05/198.15	c ============================[ Search Statistics ]==============================
198.05/198.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.05/198.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.05/198.15	c ===============================================================================
198.05/198.15	c |         0 |    1890    28870    70184 |     9623        0    nan |  0.000 % |
198.05/198.16	c ===============================================================================
198.14/198.21	c core #410
198.14/198.21	c 
198.14/198.21	c 
198.14/198.21	c Core size: 9	Core Weight: 1	Total Weight: -185
198.14/198.21	c
198.14/198.21	c
198.14/198.21	c ============================[ Search Statistics ]==============================
198.14/198.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.14/198.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.14/198.21	c ===============================================================================
198.14/198.21	c |         0 |    1898    28871    70200 |     9623        0    nan |  0.000 % |
198.14/198.24	c ===============================================================================
198.14/198.29	c core #411
198.14/198.29	c 
198.14/198.29	c 
198.14/198.29	c Core size: 18	Core Weight: 1	Total Weight: -184
198.14/198.29	c
198.14/198.29	c
198.14/198.29	c ============================[ Search Statistics ]==============================
198.14/198.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.14/198.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.14/198.29	c ===============================================================================
198.14/198.29	c |         0 |    1914    28872    70232 |     9624        0    nan |  0.000 % |
198.24/198.34	c ===============================================================================
198.24/198.39	c core #412
198.24/198.39	c 
198.24/198.39	c 
198.24/198.39	c Core size: 24	Core Weight: 1	Total Weight: -183
198.24/198.39	c
198.24/198.39	c
198.24/198.39	c ============================[ Search Statistics ]==============================
198.24/198.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.24/198.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.24/198.39	c ===============================================================================
198.24/198.39	c |         0 |    1934    28873    70272 |     9624        0    nan |  0.000 % |
198.34/198.42	c ===============================================================================
198.34/198.48	c core #413
198.34/198.48	c 
198.34/198.48	c 
198.34/198.48	c Core size: 19	Core Weight: 1	Total Weight: -182
198.34/198.48	c
198.34/198.48	c
198.34/198.48	c ============================[ Search Statistics ]==============================
198.34/198.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.34/198.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.34/198.48	c ===============================================================================
198.34/198.48	c |         0 |    1945    28874    70294 |     9624        0    nan |  0.000 % |
198.44/198.52	c |       101 |    1942    28874    70294 |    10587      101     11 |  0.154 % |
198.44/198.54	c |       252 |    1940    28874    70294 |    11645      252     14 |  0.257 % |
198.44/198.54	c ===============================================================================
198.44/198.59	c core #414
198.44/198.59	c 
198.44/198.59	c 
198.44/198.59	c Core size: 34	Core Weight: 1	Total Weight: -181
198.44/198.59	c
198.44/198.59	c
198.44/198.59	c ============================[ Search Statistics ]==============================
198.44/198.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.44/198.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.44/198.59	c ===============================================================================
198.44/198.59	c |         0 |    1977    28875    70358 |     9625        0    nan |  0.000 % |
198.55/198.66	c |       100 |    1977    28875    70358 |    10587      100     23 |  0.000 % |
198.55/198.69	c ===============================================================================
198.65/198.74	c core #415
198.65/198.74	c 
198.65/198.74	c 
198.65/198.74	c Core size: 14	Core Weight: 1	Total Weight: -180
198.65/198.74	c
198.65/198.74	c
198.65/198.74	c ============================[ Search Statistics ]==============================
198.65/198.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.65/198.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.65/198.74	c ===============================================================================
198.65/198.74	c |         0 |    1987    28876    70378 |     9625        0    nan |  0.000 % |
198.65/198.79	c ===============================================================================
198.75/198.84	c core #416
198.75/198.84	c 
198.75/198.84	c 
198.75/198.84	c Core size: 14	Core Weight: 1	Total Weight: -179
198.75/198.84	c
198.75/198.84	c
198.75/198.84	c ============================[ Search Statistics ]==============================
198.75/198.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.75/198.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.75/198.84	c ===============================================================================
198.75/198.84	c |         0 |    1997    28877    70398 |     9625        0    nan |  0.000 % |
198.75/198.88	c |       100 |    1997    28877    70398 |    10588      100     19 |  0.000 % |
198.85/198.93	c |       250 |    1996    28877    70398 |    11647      250     17 |  0.100 % |
198.85/198.96	c |       475 |    1984    28877    70398 |    12811      475     22 |  8.913 % |
198.85/199.00	c ===============================================================================
198.95/199.06	c core #417
198.95/199.06	c 
198.95/199.06	c 
198.95/199.06	c Core size: 58	Core Weight: 1	Total Weight: -178
198.95/199.06	c
198.95/199.06	c
198.95/199.06	c ============================[ Search Statistics ]==============================
198.95/199.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.95/199.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.95/199.06	c ===============================================================================
198.95/199.06	c |         0 |    2039    28878    70482 |     9626        0    nan |  0.000 % |
199.06/199.11	c |       100 |    2031    28878    70482 |    10588      100     20 |  5.101 % |
199.06/199.11	c ===============================================================================
199.06/199.16	c core #418
199.06/199.16	c 
199.06/199.16	c 
199.06/199.16	c Core size: 20	Core Weight: 1	Total Weight: -177
199.06/199.16	c
199.06/199.16	c
199.06/199.16	c ============================[ Search Statistics ]==============================
199.06/199.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.06/199.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.06/199.16	c ===============================================================================
199.06/199.16	c |         0 |    2053    28879    70510 |     9626        0    nan |  0.000 % |
199.15/199.21	c ===============================================================================
199.15/199.26	c core #419
199.15/199.26	c 
199.15/199.26	c 
199.15/199.26	c Core size: 25	Core Weight: 1	Total Weight: -176
199.15/199.26	c
199.15/199.26	c
199.15/199.26	c ============================[ Search Statistics ]==============================
199.15/199.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.15/199.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.15/199.26	c ===============================================================================
199.15/199.26	c |         0 |    2071    28880    70546 |     9626        0    nan |  0.000 % |
199.15/199.29	c |       101 |    2071    28880    70546 |    10589      101     24 |  0.000 % |
199.25/199.35	c |       252 |    2071    28880    70546 |    11648      252     25 |  0.000 % |
199.35/199.42	c |       478 |    2071    28880    70546 |    12813      478     32 |  0.000 % |
199.35/199.46	c |       815 |    2065    28880    70546 |    14094      815     33 |  0.293 % |
199.44/199.57	c |      1321 |    2031    28880    70546 |    15503     1240     34 | 10.188 % |
199.44/199.58	c ===============================================================================
199.54/199.64	c core #420
199.54/199.64	c 
199.54/199.64	c 
199.54/199.64	c Core size: 73	Core Weight: 1	Total Weight: -175
199.54/199.64	c
199.54/199.64	c
199.54/199.64	c ============================[ Search Statistics ]==============================
199.54/199.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.54/199.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.54/199.64	c ===============================================================================
199.54/199.64	c |         0 |    2131    28881    70666 |     9627        0    nan |  0.000 % |
199.54/199.68	c |       102 |    2131    28881    70666 |    10589      102     25 |  0.000 % |
199.64/199.73	c |       252 |    2129    28881    70666 |    11648      252     27 |  0.094 % |
199.74/199.84	c |       478 |    2129    28881    70666 |    12813      478     29 |  0.094 % |
199.95/200.06	c |       815 |    2125    28881    70666 |    14094      815     38 |  0.282 % |
200.25/200.37	c |      1322 |    2125    28881    70666 |    15504     1309     44 |  0.282 % |
200.54/200.60	c ===============================================================================
200.54/200.65	c core #421
200.54/200.65	c 
200.54/200.65	c 
200.54/200.65	c Core size: 42	Core Weight: 1	Total Weight: -174
200.54/200.65	c
200.54/200.65	c
200.54/200.65	c ============================[ Search Statistics ]==============================
200.54/200.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.54/200.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.54/200.65	c ===============================================================================
200.54/200.65	c |         0 |    2161    28882    70726 |     9627        0    nan |  0.000 % |
200.64/200.72	c |       100 |    2161    28882    70726 |    10590      100     12 |  0.000 % |
200.64/200.78	c |       251 |    2161    28882    70726 |    11649      251     19 |  0.000 % |
200.85/200.90	c |       478 |    2151    28882    70726 |    12813      478     17 |  0.463 % |
200.85/200.97	c ===============================================================================
200.95/201.03	c core #422
200.95/201.03	c 
200.95/201.03	c 
200.95/201.03	c Core size: 54	Core Weight: 1	Total Weight: -173
200.95/201.03	c
200.95/201.03	c
200.95/201.03	c ============================[ Search Statistics ]==============================
200.95/201.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.95/201.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.95/201.03	c ===============================================================================
200.95/201.03	c |         0 |    2204    28883    70812 |     9627        0    nan |  0.000 % |
200.95/201.08	c ===============================================================================
201.05/201.13	c core #423
201.05/201.13	c 
201.05/201.13	c 
201.05/201.13	c Core size: 21	Core Weight: 1	Total Weight: -172
201.05/201.13	c
201.05/201.13	c
201.05/201.13	c ============================[ Search Statistics ]==============================
201.05/201.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.05/201.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.05/201.13	c ===============================================================================
201.05/201.13	c |         0 |    2220    28884    70844 |     9628        0    nan |  0.000 % |
201.05/201.19	c |       100 |    2218    28884    70844 |    10590      100      9 |  0.095 % |
201.15/201.20	c ===============================================================================
201.15/201.25	c core #424
201.15/201.25	c 
201.15/201.25	c 
201.15/201.25	c Core size: 35	Core Weight: 1	Total Weight: -171
201.15/201.25	c
201.15/201.25	c
201.15/201.25	c ============================[ Search Statistics ]==============================
201.15/201.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.15/201.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.15/201.25	c ===============================================================================
201.15/201.25	c |         0 |    2250    28885    70904 |     9628        0    nan |  0.000 % |
201.15/201.29	c |       100 |    2250    28885    70904 |    10591      100      7 |  0.000 % |
201.25/201.34	c ===============================================================================
201.25/201.39	c core #425
201.25/201.39	c 
201.25/201.39	c 
201.25/201.39	c Core size: 25	Core Weight: 1	Total Weight: -170
201.25/201.39	c
201.25/201.39	c
201.25/201.39	c ============================[ Search Statistics ]==============================
201.25/201.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.25/201.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.25/201.39	c ===============================================================================
201.25/201.39	c |         0 |    2268    28886    70940 |     9628        0    nan |  0.000 % |
201.34/201.43	c ===============================================================================
201.34/201.48	c core #426
201.34/201.48	c 
201.34/201.48	c 
201.34/201.48	c Core size: 17	Core Weight: 1	Total Weight: -169
201.34/201.48	c
201.34/201.48	c
201.34/201.48	c ============================[ Search Statistics ]==============================
201.34/201.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.34/201.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.34/201.48	c ===============================================================================
201.34/201.48	c |         0 |    2281    28887    70966 |     9629        0    nan |  0.000 % |
201.44/201.52	c |       102 |    2280    28887    70966 |    10591      102      6 |  0.044 % |
201.44/201.54	c ===============================================================================
201.44/201.59	c core #427
201.44/201.59	c 
201.44/201.59	c 
201.44/201.59	c Core size: 59	Core Weight: 1	Total Weight: -168
201.44/201.59	c
201.44/201.59	c
201.44/201.59	c ============================[ Search Statistics ]==============================
201.44/201.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.44/201.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.44/201.59	c ===============================================================================
201.44/201.59	c |         0 |    2321    28888    71046 |     9629        0    nan |  0.000 % |
201.54/201.61	c ===============================================================================
201.54/201.66	c core #428
201.54/201.66	c 
201.54/201.66	c 
201.54/201.66	c Core size: 23	Core Weight: 1	Total Weight: -167
201.54/201.66	c
201.54/201.66	c
201.54/201.66	c ============================[ Search Statistics ]==============================
201.54/201.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.54/201.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.54/201.66	c ===============================================================================
201.54/201.66	c |         0 |    2337    28889    71078 |     9629        0    nan |  0.000 % |
201.64/201.70	c ===============================================================================
201.64/201.76	c core #429
201.64/201.76	c 
201.64/201.76	c 
201.64/201.76	c Core size: 27	Core Weight: 1	Total Weight: -166
201.64/201.76	c
201.64/201.76	c
201.64/201.76	c ============================[ Search Statistics ]==============================
201.64/201.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.64/201.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.64/201.76	c ===============================================================================
201.64/201.76	c |         0 |    2353    28890    71110 |     9630        0    nan |  0.000 % |
201.75/201.81	c |       100 |    2352    28890    71110 |    10593      100     17 |  0.085 % |
201.75/201.82	c |       252 |    2351    28890    71110 |    11652      252     26 |  0.085 % |
201.75/201.87	c |       478 |    2351    28890    71110 |    12817      478     27 |  0.085 % |
201.85/201.97	c |       815 |    2350    28890    71110 |    14099      815     31 |  0.212 % |
201.85/201.98	c ===============================================================================
201.95/202.03	c core #430
201.95/202.03	c 
201.95/202.03	c 
201.95/202.03	c Core size: 22	Core Weight: 1	Total Weight: -165
201.95/202.03	c
201.95/202.03	c
201.95/202.03	c ============================[ Search Statistics ]==============================
201.95/202.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.95/202.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.95/202.03	c ===============================================================================
201.95/202.03	c |         0 |    2369    28891    71142 |     9630        0    nan |  0.000 % |
201.95/202.07	c |       103 |    2369    28891    71142 |    10593      103     18 |  0.000 % |
202.05/202.12	c |       253 |    2367    28891    71142 |    11652      253     19 |  0.084 % |
202.14/202.20	c |       478 |    2367    28891    71142 |    12817      478     24 |  0.084 % |
202.26/202.33	c |       815 |    2367    28891    71142 |    14099      815     29 |  0.084 % |
202.44/202.50	c |      1325 |    2363    28891    71142 |    15509     1321     34 |  0.253 % |
202.44/202.54	c ===============================================================================
202.44/202.59	c core #431
202.44/202.59	c 
202.44/202.59	c 
202.44/202.59	c Core size: 17	Core Weight: 1	Total Weight: -164
202.44/202.59	c
202.44/202.59	c
202.44/202.59	c ============================[ Search Statistics ]==============================
202.44/202.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.44/202.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.44/202.59	c ===============================================================================
202.44/202.59	c |         0 |    2379    28892    71162 |     9630        0    nan |  0.000 % |
202.54/202.67	c |       100 |    2379    28892    71162 |    10593      100     17 |  0.000 % |
202.65/202.70	c |       250 |    2365    28892    71162 |    11653      250     26 |  3.026 % |
202.65/202.76	c |       475 |    2351    28892    71162 |    12818      475     33 |  6.263 % |
202.75/202.80	c ===============================================================================
202.75/202.86	c core #432
202.75/202.86	c 
202.75/202.86	c 
202.75/202.86	c Core size: 42	Core Weight: 1	Total Weight: -163
202.75/202.86	c
202.75/202.86	c
202.75/202.86	c ============================[ Search Statistics ]==============================
202.75/202.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.75/202.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.75/202.86	c ===============================================================================
202.75/202.86	c |         0 |    2414    28893    71232 |     9631        0    nan |  0.000 % |
202.85/202.90	c |       100 |    2414    28893    71232 |    10594      100     14 |  0.000 % |
202.85/202.95	c |       254 |    2414    28893    71232 |    11653      254     18 |  0.000 % |
202.94/203.02	c |       479 |    2412    28893    71232 |    12818      479     23 |  0.083 % |
203.04/203.19	c |       816 |    2409    28893    71232 |    14100      816     29 |  0.207 % |
203.24/203.37	c ===============================================================================
203.35/203.43	c core #433
203.35/203.43	c 
203.35/203.43	c 
203.35/203.43	c Core size: 61	Core Weight: 1	Total Weight: -162
203.35/203.43	c
203.35/203.43	c
203.35/203.43	c ============================[ Search Statistics ]==============================
203.35/203.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.35/203.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.35/203.43	c ===============================================================================
203.35/203.43	c |         0 |    2466    28894    71336 |     9631        0    nan |  0.000 % |
203.35/203.49	c |       100 |    2466    28894    71336 |    10594      100     12 |  0.000 % |
203.35/203.50	c ===============================================================================
203.45/203.55	c core #434
203.45/203.55	c 
203.45/203.55	c 
203.45/203.55	c Core size: 15	Core Weight: 1	Total Weight: -161
203.45/203.55	c
203.45/203.55	c
203.45/203.55	c ============================[ Search Statistics ]==============================
203.45/203.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.45/203.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.45/203.55	c ===============================================================================
203.45/203.55	c |         0 |    2474    28895    71352 |     9631        0    nan |  0.000 % |
203.55/203.61	c |       100 |    2474    28895    71352 |    10594      100     16 |  0.000 % |
203.55/203.62	c |       252 |    2472    28895    71352 |    11654      252     26 |  0.081 % |
203.55/203.68	c |       477 |    2469    28895    71352 |    12819      477     20 |  3.840 % |
203.55/203.69	c ===============================================================================
203.65/203.75	c core #435
203.65/203.75	c 
203.65/203.75	c 
203.65/203.75	c Core size: 44	Core Weight: 1	Total Weight: -160
203.65/203.75	c
203.65/203.75	c
203.65/203.75	c ============================[ Search Statistics ]==============================
203.65/203.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.65/203.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.65/203.75	c ===============================================================================
203.65/203.75	c |         0 |    2514    28896    71432 |     9632        0    nan |  0.000 % |
203.65/203.79	c |       100 |    2514    28896    71432 |    10595      100     18 |  0.000 % |
203.75/203.84	c |       250 |    2513    28896    71432 |    11654      250     16 |  0.040 % |
203.85/203.92	c |       476 |    2513    28896    71432 |    12820      476     20 |  0.040 % |
203.85/203.95	c ===============================================================================
203.95/204.00	c core #436
203.95/204.00	c 
203.95/204.00	c 
203.95/204.00	c Core size: 42	Core Weight: 1	Total Weight: -159
203.95/204.00	c
203.95/204.00	c
203.95/204.00	c ============================[ Search Statistics ]==============================
203.95/204.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.95/204.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.95/204.00	c ===============================================================================
203.95/204.00	c |         0 |    2544    28897    71492 |     9632        0    nan |  0.000 % |
203.95/204.06	c |       100 |    2544    28897    71492 |    10595      100     17 |  0.000 % |
204.05/204.10	c |       250 |    2543    28897    71492 |    11655      250     16 |  0.039 % |
204.14/204.20	c |       475 |    2542    28897    71492 |    12820      475     19 |  0.079 % |
204.14/204.26	c |       812 |    2539    28897    71492 |    14102      812     27 |  0.197 % |
204.24/204.31	c ===============================================================================
204.24/204.37	c core #437
204.24/204.37	c 
204.24/204.37	c 
204.24/204.37	c Core size: 12	Core Weight: 1	Total Weight: -158
204.24/204.37	c
204.24/204.37	c
204.24/204.37	c ============================[ Search Statistics ]==============================
204.24/204.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.24/204.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.24/204.37	c ===============================================================================
204.24/204.37	c |         0 |    2554    28898    71512 |     9632        0    nan |  0.000 % |
204.35/204.41	c |       102 |    2554    28898    71512 |    10595      102     18 |  0.000 % |
204.35/204.44	c ===============================================================================
204.35/204.49	c core #438
204.35/204.49	c 
204.35/204.49	c 
204.35/204.49	c Core size: 13	Core Weight: 1	Total Weight: -157
204.35/204.49	c
204.35/204.49	c
204.35/204.49	c ============================[ Search Statistics ]==============================
204.35/204.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.35/204.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.35/204.49	c ===============================================================================
204.35/204.49	c |         0 |    2562    28899    71528 |     9633        0    nan |  0.000 % |
204.45/204.55	c |       100 |    2562    28899    71528 |    10596      100     15 |  0.000 % |
204.55/204.63	c |       251 |    2562    28899    71528 |    11655      251     22 |  0.000 % |
204.65/204.73	c |       477 |    2561    28899    71528 |    12821      477     29 |  0.039 % |
204.74/204.88	c |       814 |    2559    28899    71528 |    14103      807     29 |  0.117 % |
204.94/205.03	c ===============================================================================
204.94/205.09	c core #439
204.94/205.09	c 
204.94/205.09	c 
204.94/205.09	c Core size: 35	Core Weight: 1	Total Weight: -156
204.94/205.09	c
204.94/205.09	c
204.94/205.09	c ============================[ Search Statistics ]==============================
204.94/205.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.94/205.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.94/205.09	c ===============================================================================
204.94/205.09	c |         0 |    2594    28900    71592 |     9633        0    nan |  0.000 % |
205.04/205.11	c |       105 |    2594    28900    71592 |    10596      105     28 |  0.000 % |
205.04/205.14	c |       257 |    2594    28900    71592 |    11656      257     29 |  0.000 % |
205.15/205.25	c |       484 |    2594    28900    71592 |    12821      484     30 |  0.000 % |
205.24/205.36	c |       823 |    2594    28900    71592 |    14104      823     37 |  0.000 % |
205.44/205.59	c |      1329 |    2594    28900    71592 |    15514     1329     40 |  0.000 % |
205.66/205.77	c |      2088 |    2594    28900    71592 |    17066     2088     52 |  0.000 % |
206.24/206.31	c |      3228 |    2594    28900    71592 |    18772     3228     58 |  0.000 % |
207.25/207.34	c |      4936 |    2594    28900    71592 |    20649     4936     64 |  0.000 % |
208.96/209.09	c |      7499 |    2594    28900    71592 |    22714     7499     65 |  0.000 % |
211.94/212.01	c |     11343 |    2593    28900    71592 |    24986    11341     67 |  0.039 % |
219.24/219.34	c |     17110 |    2591    28900    71592 |    27485    17108     68 |  0.116 % |
219.85/219.97	c ===============================================================================
219.95/220.05	c core #440
219.95/220.05	c 
219.95/220.05	c 
219.95/220.05	c Core size: 16	Core Weight: 1	Total Weight: -155
219.95/220.05	c
219.95/220.05	c
219.95/220.05	c ============================[ Search Statistics ]==============================
219.95/220.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.95/220.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.95/220.05	c ===============================================================================
219.95/220.05	c |         0 |    2606    28901    71616 |     9633        0    nan |  0.000 % |
220.04/220.10	c |       100 |    2606    28901    71616 |    10597      100      9 |  0.000 % |
220.04/220.17	c |       251 |    2605    28901    71616 |    11656      251      8 |  0.038 % |
220.04/220.19	c ===============================================================================
220.14/220.23	c core #441
220.14/220.23	c 
220.14/220.23	c 
220.14/220.23	c Core size: 31	Core Weight: 1	Total Weight: -154
220.14/220.23	c
220.14/220.23	c
220.14/220.23	c ============================[ Search Statistics ]==============================
220.14/220.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.14/220.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.14/220.23	c ===============================================================================
220.14/220.23	c |         0 |    2636    28902    71676 |     9634        0    nan |  0.000 % |
220.14/220.29	c |       101 |    2636    28902    71676 |    10597      101     13 |  0.000 % |
220.24/220.31	c |       251 |    2636    28902    71676 |    11657      251     25 |  0.000 % |
220.34/220.40	c |       479 |    2636    28902    71676 |    12822      479     27 |  0.000 % |
220.44/220.50	c |       816 |    2636    28902    71676 |    14105      816     39 |  0.000 % |
220.74/220.80	c |      1322 |    2636    28902    71676 |    15515     1322     46 |  0.000 % |
221.05/221.13	c |      2081 |    2636    28902    71676 |    17067     2081     54 |  0.000 % |
221.54/221.65	c |      3222 |    2636    28902    71676 |    18773     3222     57 |  0.000 % |
222.25/222.36	c |      4930 |    2636    28902    71676 |    20651     4930     59 |  0.000 % |
223.84/223.90	c |      7492 |    2636    28902    71676 |    22716     7492     59 |  0.000 % |
226.34/226.44	c |     11338 |    2635    28902    71676 |    24988    11334     60 |  0.038 % |
228.74/228.81	c ===============================================================================
228.74/228.88	c core #442
228.74/228.88	c 
228.74/228.88	c 
228.74/228.88	c Core size: 13	Core Weight: 1	Total Weight: -153
228.74/228.88	c
228.74/228.88	c
228.74/228.88	c ============================[ Search Statistics ]==============================
228.74/228.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
228.74/228.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
228.74/228.88	c ===============================================================================
228.74/228.88	c |         0 |    2648    28903    71700 |     9634        0    nan |  0.000 % |
228.84/228.93	c |       101 |    2648    28903    71700 |    10597      101     18 |  0.000 % |
228.84/228.98	c |       251 |    2648    28903    71700 |    11657      251     18 |  0.000 % |
229.04/229.12	c |       476 |    2648    28903    71700 |    12823      476     21 |  0.000 % |
229.24/229.39	c |       814 |    2648    28903    71700 |    14105      814     36 |  0.000 % |
229.64/229.71	c |      1322 |    2648    28903    71700 |    15516     1322     45 |  0.000 % |
230.34/230.41	c |      2083 |    2648    28903    71700 |    17067     2083     56 |  0.000 % |
231.44/231.50	c |      3224 |    2647    28903    71700 |    18774     3221     64 |  0.038 % |
232.74/232.89	c |      4933 |    2647    28903    71700 |    20652     4930     70 |  0.038 % |
235.54/235.63	c |      7495 |    2647    28903    71700 |    22717     7492     71 |  0.038 % |
239.13/239.29	c |     11340 |    2647    28903    71700 |    24988    11337     72 |  0.038 % |
244.44/244.59	c |     17108 |    2646    28903    71700 |    27487    17040     70 |  0.076 % |
255.93/256.04	c |     25759 |    2645    28903    71700 |    30236    25691     70 |  0.113 % |
260.64/260.71	c ===============================================================================
260.73/260.80	c core #443
260.73/260.80	c 
260.73/260.80	c 
260.73/260.80	c Core size: 12	Core Weight: 1	Total Weight: -152
260.73/260.80	c
260.73/260.80	c
260.73/260.80	c ============================[ Search Statistics ]==============================
260.73/260.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
260.73/260.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
260.73/260.80	c ===============================================================================
260.73/260.80	c |         0 |    2658    28904    71720 |     9634        0    nan |  0.000 % |
260.73/260.86	c |       103 |    2658    28904    71720 |    10598      103     17 |  0.000 % |
260.83/260.92	c |       255 |    2658    28904    71720 |    11657      255     23 |  0.000 % |
260.83/260.95	c |       480 |    2658    28904    71720 |    12823      480     30 |  0.000 % |
260.93/261.03	c |       817 |    2658    28904    71720 |    14106      817     29 |  0.000 % |
261.03/261.12	c |      1323 |    2658    28904    71720 |    15516     1323     35 |  0.000 % |
261.23/261.39	c |      2083 |    2658    28904    71720 |    17068     2083     46 |  0.000 % |
261.83/261.90	c |      3222 |    2658    28904    71720 |    18775     3222     55 |  0.000 % |
262.74/262.80	c |      4931 |    2658    28904    71720 |    20652     4931     61 |  0.000 % |
264.23/264.33	c |      7493 |    2658    28904    71720 |    22718     7493     64 |  0.000 % |
266.43/266.56	c |     11337 |    2658    28904    71720 |    24989    11337     65 |  0.000 % |
271.13/271.20	c |     17103 |    2658    28904    71720 |    27488    17103     67 |  0.000 % |
279.24/279.30	c |     25754 |    2658    28904    71720 |    30237    25754     69 |  0.000 % |
295.53/295.66	c |     38728 |    2658    28904    71720 |    33261    21965     67 |  0.000 % |
317.73/317.87	c |     58190 |    2658    28904    71720 |    36587    21508     59 |  0.000 % |
340.51/340.68	c ===============================================================================
342.02/342.17	c core #444
342.02/342.17	c 
342.02/342.17	c 
342.02/342.17	c Core size: 101	Core Weight: 1	Total Weight: -151
342.02/342.17	c
342.02/342.17	c
342.02/342.17	c ============================[ Search Statistics ]==============================
342.02/342.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
342.02/342.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
342.02/342.17	c ===============================================================================
342.02/342.17	c |         0 |    2735    28905    71874 |     9635        0    nan |  0.000 % |
342.11/342.24	c |       100 |    2735    28905    71874 |    10598      100      9 |  0.000 % |
342.11/342.28	c |       251 |    2735    28905    71874 |    11658      251      9 |  0.000 % |
342.21/342.31	c |       477 |    2735    28905    71874 |    12824      477     11 |  0.000 % |
342.21/342.40	c |       815 |    2734    28905    71874 |    14106      815     13 |  0.037 % |
342.41/342.52	c ===============================================================================
342.41/342.57	c core #445
342.41/342.57	c 
342.41/342.57	c 
342.41/342.57	c Core size: 83	Core Weight: 1	Total Weight: -150
342.41/342.57	c
342.41/342.57	c
342.41/342.57	c ============================[ Search Statistics ]==============================
342.41/342.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
342.41/342.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
342.41/342.57	c ===============================================================================
342.41/342.57	c |         0 |    2817    28906    72038 |     9635        0    nan |  0.000 % |
342.52/342.60	c |       102 |    2817    28906    72038 |    10598      102     11 |  0.000 % |
342.52/342.63	c |       252 |    2817    28906    72038 |    11658      252     11 |  0.000 % |
342.52/342.69	c |       478 |    2817    28906    72038 |    12824      478     12 |  0.000 % |
342.62/342.77	c |       816 |    2816    28906    72038 |    14107      816     12 |  0.036 % |
342.91/343.05	c ===============================================================================
343.02/343.11	c core #446
343.02/343.11	c 
343.02/343.11	c 
343.02/343.11	c Core size: 91	Core Weight: 1	Total Weight: -149
343.02/343.11	c
343.02/343.11	c
343.02/343.11	c ============================[ Search Statistics ]==============================
343.02/343.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
343.02/343.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
343.02/343.11	c ===============================================================================
343.02/343.11	c |         0 |    2898    28907    72200 |     9635        0    nan |  0.000 % |
343.02/343.19	c |       100 |    2898    28907    72200 |    10599      100     13 |  0.000 % |
343.12/343.24	c |       250 |    2897    28907    72200 |    11659      250     14 |  0.069 % |
343.12/343.29	c |       475 |    2896    28907    72200 |    12825      475     20 |  0.069 % |
343.22/343.38	c |       814 |    2896    28907    72200 |    14107      814     27 |  0.069 % |
343.51/343.61	c |      1320 |    2892    28907    72200 |    15518     1313     30 |  0.207 % |
343.82/343.99	c |      2080 |    2892    28907    72200 |    17070     2073     39 |  0.207 % |
344.71/344.84	c |      3219 |    2888    28907    72200 |    18777     3206     62 |  0.345 % |
346.21/346.32	c |      4928 |    2888    28907    72200 |    20654     4915     75 |  0.345 % |
347.31/347.46	c |      7492 |    2888    28907    72200 |    22720     7466     83 |  0.345 % |
350.72/350.90	c |     11337 |    2888    28907    72200 |    24992    11311     89 |  0.345 % |
358.71/358.81	c |     17104 |    2888    28907    72200 |    27491    17078     99 |  0.345 % |
373.81/373.96	c |     25754 |    2888    28907    72200 |    30240    25728    102 |  0.345 % |
395.50/395.62	c |     38729 |    2887    28907    72200 |    33264    21824     95 |  0.380 % |
425.89/426.09	c |     58193 |    2885    28907    72200 |    36591    20621     92 |  0.449 % |
475.38/475.59	c |     87385 |    2885    28907    72200 |    40250    27065     97 |  0.449 % |
550.88/551.01	c |    131176 |    2885    28907    72200 |    44275    18609     82 |  0.449 % |
652.05/652.24	c ===============================================================================
655.64/655.86	c core #447
655.64/655.86	c 
655.64/655.86	c 
655.64/655.86	c Core size: 185	Core Weight: 1	Total Weight: -148
655.64/655.86	c
655.64/655.86	c
655.64/655.86	c ============================[ Search Statistics ]==============================
655.64/655.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
655.64/655.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
655.64/655.86	c ===============================================================================
655.64/655.86	c |         0 |    3020    28908    72444 |     9636        0    nan |  0.000 % |
655.75/655.94	c |       101 |    3020    28908    72444 |    10599      101     20 |  0.000 % |
655.75/655.99	c |       251 |    3020    28908    72444 |    11659      251     22 |  0.000 % |
655.85/656.05	c |       476 |    3020    28908    72444 |    12825      476     22 |  0.000 % |
655.94/656.19	c |       813 |    3020    28908    72444 |    14108      813     39 |  0.000 % |
656.24/656.40	c |      1321 |    3020    28908    72444 |    15518     1321     36 |  0.000 % |
656.34/656.57	c |      2081 |    3020    28908    72444 |    17070     2081     47 |  0.000 % |
656.84/657.08	c |      3220 |    3019    28908    72444 |    18777     3212     45 |  0.033 % |
657.65/657.85	c |      4928 |    3018    28908    72444 |    20655     4920     52 |  0.066 % |
659.65/659.81	c |      7490 |    3018    28908    72444 |    22721     7482     66 |  0.066 % |
662.84/663.06	c |     11334 |    3017    28908    72444 |    24993    11324     69 |  0.099 % |
666.94/667.18	c |     17105 |    3017    28908    72444 |    27492    17095     73 |  0.099 % |
677.54/677.74	c |     25755 |    3016    28908    72444 |    30241    25739     73 |  0.132 % |
697.33/697.51	c |     38730 |    3016    28908    72444 |    33266    22159     76 |  0.132 % |
700.64/700.88	c ===============================================================================
701.54/701.80	c core #448
701.54/701.80	c 
701.54/701.80	c 
701.54/701.80	c Core size: 126	Core Weight: 1	Total Weight: -147
701.54/701.80	c
701.54/701.80	c
701.54/701.80	c ============================[ Search Statistics ]==============================
701.54/701.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
701.54/701.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
701.54/701.80	c ===============================================================================
701.54/701.80	c |         0 |    3134    28909    72672 |     9636        0    nan |  0.000 % |
701.64/701.87	c |       102 |    3134    28909    72672 |    10599      102     29 |  0.000 % |
701.73/701.92	c |       253 |    3133    28909    72672 |    11659      253     18 |  0.032 % |
701.73/701.94	c |       478 |    3132    28909    72672 |    12825      478     52 |  0.064 % |
701.73/701.97	c |       815 |    3132    28909    72672 |    14108      815     42 |  0.064 % |
701.83/702.07	c |      1323 |    3132    28909    72672 |    15519     1323     44 |  0.064 % |
702.03/702.27	c |      2082 |    3132    28909    72672 |    17071     2047     55 |  0.064 % |
702.53/702.73	c |      3223 |    3132    28909    72672 |    18778     3188     81 |  0.064 % |
703.23/703.41	c |      4935 |    3131    28909    72672 |    20656     4899     94 |  0.096 % |
705.23/705.47	c |      7498 |    3129    28909    72672 |    22721     7462    113 |  0.160 % |
709.33/709.54	c |     11345 |    3129    28909    72672 |    24994    11307    128 |  0.160 % |
718.33/718.59	c |     17111 |    3129    28909    72672 |    27493    17073    137 |  0.160 % |
735.33/735.53	c |     25763 |    3129    28909    72672 |    30242    25725    142 |  0.160 % |
755.32/755.56	c |     38737 |    3127    28909    72672 |    33267    21638    131 |  0.223 % |
770.12/770.38	c |     58200 |    3125    28909    72672 |    36593    20054     78 |  0.287 % |
803.01/803.29	c ===============================================================================
803.92/804.11	c core #449
803.92/804.11	c 
803.92/804.11	c 
803.92/804.11	c Core size: 139	Core Weight: 1	Total Weight: -146
803.92/804.11	c
803.92/804.11	c
803.92/804.11	c ============================[ Search Statistics ]==============================
803.92/804.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
803.92/804.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
803.92/804.11	c ===============================================================================
803.92/804.11	c |         0 |    3254    28910    72912 |     9636        0    nan |  0.000 % |
803.92/804.17	c |       100 |    3254    28910    72912 |    10600      100     13 |  0.000 % |
804.01/804.20	c |       254 |    3254    28910    72912 |    11660      254     18 |  0.000 % |
804.01/804.22	c |       481 |    3254    28910    72912 |    12826      481     18 |  0.000 % |
804.01/804.26	c ===============================================================================
804.11/804.32	c core #450
804.11/804.32	c 
804.11/804.32	c 
804.11/804.32	c Core size: 21	Core Weight: 1	Total Weight: -145
804.11/804.32	c
804.11/804.32	c
804.11/804.32	c ============================[ Search Statistics ]==============================
804.11/804.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
804.11/804.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
804.11/804.32	c ===============================================================================
804.11/804.32	c |         0 |    3274    28911    72952 |     9637        0    nan |  0.000 % |
804.21/804.40	c |       100 |    3274    28911    72952 |    10600      100     17 |  0.000 % |
804.21/804.45	c |       250 |    3274    28911    72952 |    11660      250     14 |  0.000 % |
804.31/804.50	c |       475 |    3273    28911    72952 |    12826      475     14 |  0.031 % |
804.51/804.72	c |       812 |    3273    28911    72952 |    14109      812     19 |  0.031 % |
804.71/804.97	c |      1318 |    3273    28911    72952 |    15520     1313     30 |  0.031 % |
805.10/805.32	c |      2077 |    3273    28911    72952 |    17072     2072     28 |  0.031 % |
805.91/806.17	c |      3216 |    3273    28911    72952 |    18779     3211     30 |  0.031 % |
807.30/807.57	c |      4924 |    3269    28911    72952 |    20657     4918     32 |  0.153 % |
807.81/808.01	c ===============================================================================
807.91/808.15	c core #451
807.91/808.15	c 
807.91/808.15	c 
807.91/808.15	c Core size: 148	Core Weight: 1	Total Weight: -144
807.91/808.15	c
807.91/808.15	c
807.91/808.15	c ============================[ Search Statistics ]==============================
807.91/808.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
807.91/808.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
807.91/808.15	c ===============================================================================
807.91/808.15	c |         0 |    3373    28912    73150 |     9637        0    nan |  0.000 % |
808.01/808.20	c |       100 |    3373    28912    73150 |    10601      100     40 |  0.000 % |
808.01/808.24	c |       250 |    3373    28912    73150 |    11661      250     24 |  0.000 % |
808.01/808.28	c ===============================================================================
808.10/808.35	c core #452
808.10/808.35	c 
808.10/808.35	c 
808.10/808.35	c Core size: 31	Core Weight: 1	Total Weight: -143
808.10/808.35	c
808.10/808.35	c
808.10/808.35	c ============================[ Search Statistics ]==============================
808.10/808.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
808.10/808.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
808.10/808.35	c ===============================================================================
808.10/808.35	c |         0 |    3397    28913    73198 |     9637        0    nan |  0.000 % |
808.22/808.41	c |       100 |    3397    28913    73198 |    10601      100     30 |  0.000 % |
808.22/808.46	c |       250 |    3397    28913    73198 |    11661      250     25 |  0.000 % |
808.31/808.52	c |       477 |    3397    28913    73198 |    12827      477     30 |  0.000 % |
808.31/808.56	c |       817 |    3397    28913    73198 |    14110      817     47 |  0.000 % |
808.51/808.72	c |      1323 |    3397    28913    73198 |    15521     1323     43 |  0.000 % |
808.70/808.95	c |      2082 |    3397    28913    73198 |    17073     2082     59 |  0.000 % |
809.11/809.32	c |      3221 |    3397    28913    73198 |    18781     3221     79 |  0.000 % |
810.11/810.32	c |      4931 |    3397    28913    73198 |    20659     4931     79 |  0.000 % |
811.01/811.27	c |      7498 |    3397    28913    73198 |    22725     7498     86 |  0.000 % |
813.41/813.61	c |     11350 |    3396    28913    73198 |    24997    11346     87 |  0.029 % |
817.71/817.94	c |     17119 |    3396    28913    73198 |    27497    17115     85 |  0.029 % |
823.40/823.65	c |     25769 |    3396    28913    73198 |    30247    25765     84 |  0.029 % |
836.81/837.09	c |     38747 |    3396    28913    73198 |    33271    21780    107 |  0.029 % |
862.00/862.27	c |     58208 |    3396    28913    73198 |    36599    21663    110 |  0.029 % |
901.29/901.56	c |     87400 |    3395    28913    73198 |    40258    28276    144 |  0.059 % |
971.47/971.79	c |    131191 |    3395    28913    73198 |    44284    22117    120 |  0.059 % |
1067.55/1067.87	c |    196875 |    3395    28913    73198 |    48713    29763     74 |  0.059 % |
1136.83/1137.15	c ===============================================================================
1143.24/1143.58	c core #453
1143.24/1143.58	c 
1143.24/1143.58	c 
1143.24/1143.58	c Core size: 196	Core Weight: 1	Total Weight: -142
1143.24/1143.58	c
1143.24/1143.58	c
1143.24/1143.58	c ============================[ Search Statistics ]==============================
1143.24/1143.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1143.24/1143.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1143.24/1143.58	c ===============================================================================
1143.24/1143.58	c |         0 |    3543    28914    73490 |     9638        0    nan |  0.000 % |
1143.34/1143.65	c |       101 |    3543    28914    73490 |    10601      101     25 |  0.000 % |
1143.34/1143.68	c |       251 |    3543    28914    73490 |    11661      251     35 |  0.000 % |
1143.43/1143.79	c |       476 |    3543    28914    73490 |    12828      476     35 |  0.000 % |
1143.53/1143.88	c |       813 |    3543    28914    73490 |    14110      813     35 |  0.000 % |
1143.64/1143.96	c |      1319 |    3541    28914    73490 |    15522     1312     39 |  0.056 % |
1143.83/1144.15	c |      2079 |    3541    28914    73490 |    17074     2072     40 |  0.056 % |
1144.03/1144.35	c |      3218 |    3540    28914    73490 |    18781     3207     47 |  0.085 % |
1144.63/1144.95	c |      4928 |    3535    28914    73490 |    20659     4883     59 |  0.226 % |
1145.94/1146.27	c |      7492 |    3534    28914    73490 |    22725     7447     60 |  0.254 % |
1147.93/1148.30	c |     11336 |    3534    28914    73490 |    24998    11280     69 |  0.254 % |
1151.93/1152.29	c |     17102 |    3534    28914    73490 |    27498    17046     78 |  0.254 % |
1162.52/1162.80	c |     25752 |    3534    28914    73490 |    30248    25696     93 |  0.254 % |
1178.83/1179.20	c |     38726 |    3534    28914    73490 |    33272    21537    113 |  0.254 % |
1208.02/1208.35	c |     58187 |    3534    28914    73490 |    36600    22037    106 |  0.254 % |
1240.61/1240.98	c |     87379 |    3519    28914    73490 |    40260    28216     83 |  0.677 % |
1251.21/1251.58	c ===============================================================================
1253.71/1254.00	c core #454
1253.71/1254.00	c 
1253.71/1254.00	c 
1253.71/1254.00	c Core size: 163	Core Weight: 1	Total Weight: -141
1253.71/1254.00	c
1253.71/1254.00	c
1253.71/1254.00	c ============================[ Search Statistics ]==============================
1253.71/1254.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1253.71/1254.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1253.71/1254.00	c ===============================================================================
1253.71/1254.00	c |         0 |    3676    28915    73756 |     9638        0    nan |  0.000 % |
1253.71/1254.08	c |       102 |    3676    28915    73756 |    10602      102     33 |  0.000 % |
1253.81/1254.12	c |       252 |    3676    28915    73756 |    11662      252     24 |  0.000 % |
1253.81/1254.15	c |       477 |    3676    28915    73756 |    12828      477     31 |  0.000 % |
1253.81/1254.19	c |       816 |    3676    28915    73756 |    14111      816     34 |  0.000 % |
1253.91/1254.28	c |      1322 |    3676    28915    73756 |    15522     1322     45 |  0.000 % |
1254.11/1254.43	c |      2081 |    3676    28915    73756 |    17074     2081     44 |  0.000 % |
1254.21/1254.59	c |      3221 |    3676    28915    73756 |    18782     3221     54 |  0.000 % |
1254.72/1255.08	c |      4931 |    3676    28915    73756 |    20660     4931     54 |  0.000 % |
1255.20/1255.51	c |      7493 |    3676    28915    73756 |    22726     7493     60 |  0.000 % |
1256.31/1256.69	c |     11337 |    3676    28915    73756 |    24999    11337     66 |  0.000 % |
1260.91/1261.27	c |     17103 |    3676    28915    73756 |    27499    17103     72 |  0.000 % |
1268.11/1268.47	c |     25753 |    3676    28915    73756 |    30249    25753     92 |  0.000 % |
1288.20/1288.54	c |     38728 |    3676    28915    73756 |    33274    21256    117 |  0.000 % |
1318.29/1318.65	c |     58189 |    3676    28915    73756 |    36601    21309    109 |  0.000 % |
1353.89/1354.24	c |     87382 |    3676    28915    73756 |    40261    26441    129 |  0.000 % |
1431.66/1432.08	c |    131173 |    3676    28915    73756 |    44287    18452    106 |  0.000 % |
1534.25/1534.64	c |    196858 |    3676    28915    73756 |    48716    23129    139 |  0.000 % |
1682.21/1682.60	c |    295385 |    3676    28915    73756 |    53588    15717    137 |  0.000 % |
1683.62/1684.00	c ===============================================================================
1683.91/1684.38	c core #455
1683.91/1684.38	c 
1683.91/1684.38	c 
1683.91/1684.38	c Core size: 31	Core Weight: 1	Total Weight: -140
1683.91/1684.38	c
1683.91/1684.38	c
1683.91/1684.38	c ============================[ Search Statistics ]==============================
1683.91/1684.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1683.91/1684.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1683.91/1684.38	c ===============================================================================
1683.91/1684.38	c |         0 |    3696    28916    73796 |     9638        0    nan |  0.000 % |
1684.01/1684.45	c |       102 |    3696    28916    73796 |    10602      102     28 |  0.000 % |
1684.11/1684.51	c |       252 |    3696    28916    73796 |    11662      252     23 |  0.000 % |
1684.11/1684.56	c |       477 |    3696    28916    73796 |    12829      477     26 |  0.000 % |
1684.31/1684.73	c |       814 |    3696    28916    73796 |    14111      814     41 |  0.000 % |
1684.51/1684.93	c |      1320 |    3696    28916    73796 |    15523     1320     44 |  0.000 % |
1684.91/1685.34	c |      2081 |    3696    28916    73796 |    17075     2081     49 |  0.000 % |
1685.41/1685.85	c |      3221 |    3696    28916    73796 |    18783     3221     58 |  0.000 % |
1686.21/1686.68	c |      4929 |    3696    28916    73796 |    20661     4929     68 |  0.000 % |
1687.91/1688.32	c |      7493 |    3696    28916    73796 |    22727     7493     81 |  0.000 % |
1690.21/1690.62	c |     11338 |    3696    28916    73796 |    25000    11338     85 |  0.000 % |
1695.71/1696.17	c |     17104 |    3696    28916    73796 |    27500    17104     88 |  0.000 % |
1704.52/1704.91	c |     25757 |    3696    28916    73796 |    30250    25757     98 |  0.000 % |
1720.11/1720.52	c |     38731 |    3696    28916    73796 |    33275    21003    114 |  0.000 % |
1743.30/1743.76	c |     58200 |    3696    28916    73796 |    36602    19636    126 |  0.000 % |
1790.89/1791.33	c |     87395 |    3696    28916    73796 |    40263    26007    114 |  0.000 % |

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-2680546-1277456134/watcher-2680546-1277456134 -o /tmp/evaluation-result-2680546-1277456134/solver-2680546-1277456134 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680546-1277456134.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.07 1.02 0.93 3/106 25704
/proc/meminfo: memFree=1839340/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=3224 CPUtime=0
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 303 0 0 0 0 0 0 0 20 0 1 0 86908513 3301376 222 1992294400 134512640 135752675 4290891088 18446744073709551615 134574241 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 806 223 142 303 0 339 0

[startup+0.0567349 s]
/proc/loadavg: 1.07 1.02 0.93 3/106 25704
/proc/meminfo: memFree=1839340/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=4028 CPUtime=0.05
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 559 0 0 0 5 0 0 0 20 0 1 0 86908513 4124672 478 1992294400 134512640 135752675 4290891088 18446744073709551615 135119591 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 1007 479 226 303 0 540 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4028

[startup+0.100737 s]
/proc/loadavg: 1.07 1.02 0.93 3/106 25704
/proc/meminfo: memFree=1839340/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=5048 CPUtime=0.09
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 1053 0 0 0 9 0 0 0 20 0 1 0 86908513 5169152 810 1992294400 134512640 135752675 4290891088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 1262 812 140 303 0 957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5048

[startup+0.300751 s]
/proc/loadavg: 1.07 1.02 0.93 3/106 25704
/proc/meminfo: memFree=1839340/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=5452 CPUtime=0.29
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 1552 0 0 0 29 0 0 0 20 0 1 0 86908513 5582848 908 1992294400 134512640 135752675 4290891088 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 1363 908 145 303 0 1058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5452

[startup+0.700779 s]
/proc/loadavg: 1.07 1.02 0.93 3/106 25704
/proc/meminfo: memFree=1839340/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=8268 CPUtime=0.69
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 2271 0 0 0 68 1 0 0 21 0 1 0 86908513 8466432 1627 1992294400 134512640 135752675 4290891088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 2067 1627 145 303 0 1762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8268

[startup+1.50083 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 25705
/proc/meminfo: memFree=1831520/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=12260 CPUtime=1.49
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 3249 0 0 0 146 3 0 0 23 0 1 0 86908513 12554240 2605 1992294400 134512640 135752675 4290891088 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 3065 2605 145 303 0 2760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12260

[startup+3.10095 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 25705
/proc/meminfo: memFree=1826684/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=18332 CPUtime=3.09
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 4780 0 0 0 304 5 0 0 25 0 1 0 86908513 18771968 4136 1992294400 134512640 135752675 4290891088 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 4583 4136 145 303 0 4278 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18332

[startup+6.30117 s]
/proc/loadavg: 1.06 1.02 0.93 2/107 25705
/proc/meminfo: memFree=1815896/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=27080 CPUtime=6.29
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 6944 0 0 0 621 8 0 0 25 0 1 0 86908513 27729920 6300 1992294400 134512640 135752675 4290891088 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 6770 6300 145 303 0 6465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27080

[startup+12.7016 s]
/proc/loadavg: 1.06 1.01 0.93 2/107 25705
/proc/meminfo: memFree=1801140/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=41824 CPUtime=12.69
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 10639 0 0 0 1257 12 0 0 25 0 1 0 86908513 42827776 9995 1992294400 134512640 135752675 4290891088 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 10456 9995 145 303 0 10151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41824

[startup+25.5005 s]
/proc/loadavg: 1.04 1.01 0.93 2/107 25705
/proc/meminfo: memFree=1771876/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=69448 CPUtime=25.49
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 17549 0 0 0 2530 19 0 0 25 0 1 0 86908513 71114752 16905 1992294400 134512640 135752675 4290891088 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 17362 16905 145 303 0 17057 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69448

[startup+51.1003 s]
/proc/loadavg: 1.03 1.01 0.93 2/107 25705
/proc/meminfo: memFree=1734924/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=106648 CPUtime=51.08
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 26813 0 0 0 5075 33 0 0 25 0 1 0 86908513 109207552 26169 1992294400 134512640 135752675 4290891088 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 26662 26169 145 303 0 26357 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106648

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 25707
/proc/meminfo: memFree=1683712/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=157388 CPUtime=102.27
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 39466 0 0 0 10176 51 0 0 25 0 1 0 86908513 161165312 38822 1992294400 134512640 135752675 4290891088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 39347 38822 145 303 0 39042 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 157388

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 25709
/proc/meminfo: memFree=1624068/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=217296 CPUtime=162.25
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 54412 0 0 0 16154 71 0 0 25 0 1 0 86908513 222511104 53768 1992294400 134512640 135752675 4290891088 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 54324 53768 145 303 0 54019 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 217296

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 25711
/proc/meminfo: memFree=1608692/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=231604 CPUtime=222.25
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 58208 0 0 0 22126 99 0 0 25 0 1 0 86908513 237162496 57450 1992294400 134512640 135752675 4290891088 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 57901 57450 146 303 0 57596 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 231604

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 25711
/proc/meminfo: memFree=1608568/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=231604 CPUtime=282.23
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 58213 0 0 0 28100 123 0 0 25 0 1 0 86908513 237162496 57455 1992294400 134512640 135752675 4290891088 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 57901 57455 146 303 0 57596 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 231604

[startup+342.301 s]
/proc/loadavg: 1.08 1.02 0.94 2/107 25722
/proc/meminfo: memFree=1607036/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=231604 CPUtime=342.21
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 58220 0 0 0 34078 143 0 0 25 0 1 0 86908513 237162496 57462 1992294400 134512640 135752675 4290891088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 57901 57462 146 303 0 57596 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 231604

[startup+402.301 s]
/proc/loadavg: 1.10 1.03 0.94 2/107 25724
/proc/meminfo: memFree=1607036/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=231604 CPUtime=402.2
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 58233 0 0 0 40057 163 0 0 25 0 1 0 86908513 237162496 57475 1992294400 134512640 135752675 4290891088 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 57901 57475 146 303 0 57596 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 231604

[startup+462.301 s]
/proc/loadavg: 1.16 1.05 0.95 2/107 25726
/proc/meminfo: memFree=1600588/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=238332 CPUtime=462.18
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 59890 0 0 0 46038 180 0 0 25 0 1 0 86908513 244051968 59132 1992294400 134512640 135752675 4290891088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 59583 59132 146 303 0 59278 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 238332

[startup+522.301 s]
/proc/loadavg: 1.06 1.04 0.95 2/107 25728
/proc/meminfo: memFree=1583104/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=256100 CPUtime=522.17
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 64295 0 0 0 52017 200 0 0 25 0 1 0 86908513 262246400 63537 1992294400 134512640 135752675 4290891088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 64025 63537 146 303 0 63720 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 256100

[startup+582.301 s]
/proc/loadavg: 1.02 1.03 0.95 2/107 25728
/proc/meminfo: memFree=1563388/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=275636 CPUtime=582.16
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 69162 0 0 0 57993 223 0 0 25 0 1 0 86908513 282251264 68404 1992294400 134512640 135752675 4290891088 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 68909 68404 146 303 0 68604 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 275636

[startup+642.3 s]
/proc/loadavg: 1.01 1.02 0.95 2/107 25730
/proc/meminfo: memFree=1547640/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=291324 CPUtime=642.16
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 73048 0 0 0 63976 240 0 0 25 0 1 0 86908513 298315776 72290 1992294400 134512640 135752675 4290891088 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 72831 72290 146 303 0 72526 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 291324

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.03 1.02 0.96 2/107 25736
/proc/meminfo: memFree=1501016/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=337676 CPUtime=882.09
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 84766 0 0 0 87860 349 0 0 25 0 1 0 86908513 345780224 83964 1992294400 134512640 135752675 4290891088 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 84419 83964 146 303 0 84114 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 337676

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 0.96 2/107 25738
/proc/meminfo: memFree=1472372/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=366272 CPUtime=942.08
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 91912 0 0 0 93829 379 0 0 25 0 1 0 86908513 375062528 91110 1992294400 134512640 135752675 4290891088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 91568 91110 146 303 0 91263 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 366272

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25740
/proc/meminfo: memFree=1445960/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=392500 CPUtime=1002.06
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 98442 0 0 0 99799 407 0 0 25 0 1 0 86908513 401920000 97640 1992294400 134512640 135752675 4290891088 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 98125 97640 146 303 0 97820 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 392500

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25742
/proc/meminfo: memFree=1424136/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=414652 CPUtime=1062.05
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 103990 0 0 0 105771 434 0 0 25 0 1 0 86908513 424603648 103188 1992294400 134512640 135752675 4290891088 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 103663 103188 146 303 0 103358 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 414652

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25744
/proc/meminfo: memFree=1406280/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=432160 CPUtime=1122.04
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 108328 0 0 0 111749 455 0 0 25 0 1 0 86908513 442531840 107526 1992294400 134512640 135752675 4290891088 18446744073709551615 134639644 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 108040 107526 146 303 0 107735 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 432160

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25744
/proc/meminfo: memFree=1388672/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=449524 CPUtime=1182.03
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 112704 0 0 0 117717 486 0 0 25 0 1 0 86908513 460312576 111902 1992294400 134512640 135752675 4290891088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 112381 111902 146 303 0 112076 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 449524

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25746
/proc/meminfo: memFree=1384208/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=453892 CPUtime=1242.01
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 113826 0 0 0 123691 510 0 0 25 0 1 0 86908513 464785408 113024 1992294400 134512640 135752675 4290891088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 113473 113024 146 303 0 113168 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 453892

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25748
/proc/meminfo: memFree=1378504/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=459528 CPUtime=1302.01
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 115229 0 0 0 129669 532 0 0 25 0 1 0 86908513 470556672 114427 1992294400 134512640 135752675 4290891088 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 114882 114427 146 303 0 114577 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 459528

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25750
/proc/meminfo: memFree=1353580/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=484560 CPUtime=1361.98
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 121462 0 0 0 135639 559 0 0 25 0 1 0 86908513 496189440 120660 1992294400 134512640 135752675 4290891088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 121140 120660 146 303 0 120835 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 484560

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25752
/proc/meminfo: memFree=1335228/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=502752 CPUtime=1421.98
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 126017 0 0 0 141617 581 0 0 25 0 1 0 86908513 514818048 125215 1992294400 134512640 135752675 4290891088 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 125688 125215 146 303 0 125383 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 502752

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25752
/proc/meminfo: memFree=1311048/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=527680 CPUtime=1481.95
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 132169 0 0 0 147591 604 0 0 25 0 1 0 86908513 540344320 131367 1992294400 134512640 135752675 4290891088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 131920 131367 146 303 0 131615 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 527680

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25754
/proc/meminfo: memFree=1282156/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=555936 CPUtime=1541.94
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 139231 0 0 0 153564 630 0 0 25 0 1 0 86908513 569278464 138429 1992294400 134512640 135752675 4290891088 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 138984 138429 146 303 0 138679 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 555936

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25756
/proc/meminfo: memFree=1249544/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=588900 CPUtime=1601.93
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 147464 0 0 0 159535 658 0 0 25 0 1 0 86908513 603033600 146662 1992294400 134512640 135752675 4290891088 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 147225 146662 146 303 0 146920 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 588900

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25758
/proc/meminfo: memFree=1223132/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=615000 CPUtime=1661.92
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 153965 0 0 0 165512 680 0 0 25 0 1 0 86908513 629760000 153163 1992294400 134512640 135752675 4290891088 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 153750 153163 146 303 0 153445 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 615000

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25760
/proc/meminfo: memFree=1210112/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=627336 CPUtime=1721.9
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 157188 0 0 0 171480 710 0 0 25 0 1 0 86908513 642392064 156386 1992294400 134512640 135752675 4290891088 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 156834 156386 146 303 0 156529 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 627336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25760
/proc/meminfo: memFree=1193124/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=644200 CPUtime=1781.89
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 161372 0 0 0 177454 735 0 0 25 0 1 0 86908513 659660800 160570 1992294400 134512640 135752675 4290891088 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 161050 160570 146 303 0 160745 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 644200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25762
/proc/meminfo: memFree=1188660/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=648576 CPUtime=1800.09
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 162472 0 0 0 179269 740 0 0 25 0 1 0 86908513 664141824 161670 1992294400 134512640 135752675 4290891088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 162144 161670 146 303 0 161839 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 648576

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 25762
/proc/meminfo: memFree=1188660/2059040 swapFree=4140168/4192956
[pid=25704] ppid=25702 vsize=648576 CPUtime=1800.09
/proc/25704/stat : 25704 (wbo1.4b) R 25702 25704 25465 0 -1 4202496 162472 0 0 0 179269 740 0 0 25 0 1 0 86908513 664141824 161670 1992294400 134512640 135752675 4290891088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25704/statm: 162144 161670 146 303 0 161839 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 648576

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.58
CPU time (s): 1800.17
CPU user time (s): 1792.69
CPU system time (s): 7.47686
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 648576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.69
system time used= 7.47686
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162473
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= 72
involuntary context switches= 3346

runsolver used 2.95755 second user time and 8.57869 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-25 10:55:35
IDJOB=2680546
IDBENCH=2274
IDSOLVER=1190
FILE ID=node034/2680546-1277456134
PBS_JOBID= 11188132
Free space on /tmp= 62436 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-2.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680546-1277456134/watcher-2680546-1277456134 -o /tmp/evaluation-result-2680546-1277456134/solver-2680546-1277456134 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680546-1277456134.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=385676921

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1839868 kB
Buffers:         33824 kB
Cached:          83092 kB
SwapCached:       5316 kB
Active:          30092 kB
Inactive:        99764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1839868 kB
SwapTotal:     4192956 kB
SwapFree:      4140168 kB
Dirty:            3240 kB
Writeback:           0 kB
AnonPages:       11692 kB
Mapped:          12100 kB
Slab:            67420 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node034 at 2010-06-25 11:25:37