Trace number 2683432

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)OPT1859 182.857 182.903

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randa2004a.cudf.paranoid.opb
MD5SUM3b140fe9f2cb3c59ddf55faba2e83116
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1859
Best CPU time to get the best result obtained on this benchmark2.73558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5800
Total number of constraints26001
Number of constraints which are clauses25730
Number of constraints which are cardinality constraints (but not clauses)271
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2171
Biggest coefficient in the objective function 1622
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 895342
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1622
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 895342
Number of bits of the biggest sum of numbers20
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-2683432-1277509675.opb.
0.00/0.00	c Instance file HOME/instance-2683432-1277509675.opb
0.00/0.00	c File size is 831585 bytes.
0.09/0.11	c Highest Coefficient sum: 553
0.09/0.11	c ============================[ Problem Statistics ]=============================
0.09/0.11	c |                                                                             |
0.09/0.11	c |  Parsing time:          0.11         s                                      |
0.09/0.11	c |  Number Variables:      5800                                                |
0.09/0.11	c |  Number Clauses:        25730                                               |
0.09/0.11	c |  Number Cardinality:    271                                                 |
0.09/0.11	c |  Number PB Constraints: 0                                                   |
2.79/2.81	c ============================[ Search Statistics ]==============================
2.79/2.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.79/2.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.79/2.81	c ===============================================================================
2.79/2.81	c |         0 |    3942    27541    53990 |     8667        0    nan |  0.000 % |
2.79/2.82	c ===============================================================================
2.79/2.82	c New solution: 466135
2.79/2.82	o 466135
2.79/2.82	c Elapsed CPU time: 2.80557 s	Remaining CPU time: 177.194 s
2.79/2.82	c ===============================================================================
2.79/2.82	c |        14 |    3942    27542    56033 |     9180       14      6 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 417539
2.79/2.83	o 417539
2.79/2.83	c Elapsed CPU time: 2.81257 s	Remaining CPU time: 177.187 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |        21 |    3942    27543    58076 |     9181       21      5 |  0.000 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: 337952
2.79/2.85	o 337952
2.79/2.85	c Elapsed CPU time: 2.82557 s	Remaining CPU time: 177.174 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |        32 |    3942    27544    60119 |     9181       32      4 |  0.000 % |
2.79/2.88	c ===============================================================================
2.79/2.88	c New solution: 316947
2.79/2.88	o 316947
2.79/2.88	c Elapsed CPU time: 2.84857 s	Remaining CPU time: 177.151 s
2.79/2.88	c ===============================================================================
2.79/2.88	c |        70 |    3942    27545    62162 |     9181       70      4 |  0.000 % |
2.79/2.90	c ===============================================================================
2.79/2.90	c New solution: 290895
2.79/2.90	o 290895
2.79/2.90	c Elapsed CPU time: 2.86256 s	Remaining CPU time: 177.137 s
2.79/2.90	c ===============================================================================
2.79/2.90	c |        87 |    3942    27546    64205 |     9182       87      4 |  0.000 % |
2.89/2.92	c ===============================================================================
2.89/2.92	c New solution: 289351
2.89/2.92	o 289351
2.89/2.92	c Elapsed CPU time: 2.88356 s	Remaining CPU time: 177.116 s
2.89/2.92	c ===============================================================================
2.89/2.92	c |       107 |    3942    27547    66248 |     9182      107      4 |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 289294
2.89/2.94	o 289294
2.89/2.94	c Elapsed CPU time: 2.89956 s	Remaining CPU time: 177.1 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |       121 |    3942    27548    68291 |     9182      121      4 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 278024
2.89/2.96	o 278024
2.89/2.96	c Elapsed CPU time: 2.91356 s	Remaining CPU time: 177.086 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |       133 |    3942    27549    70334 |     9183      133      4 |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c New solution: 277912
2.89/2.97	o 277912
2.89/2.97	c Elapsed CPU time: 2.92755 s	Remaining CPU time: 177.072 s
2.89/2.97	c ===============================================================================
2.89/2.97	c |       144 |    3942    27550    72377 |     9183      144      4 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 276394
2.89/2.99	o 276394
2.89/2.99	c Elapsed CPU time: 2.93955 s	Remaining CPU time: 177.06 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |       147 |    3942    27551    74420 |     9183      147      4 |  0.000 % |
2.99/3.00	c ===============================================================================
2.99/3.00	c New solution: 276381
2.99/3.00	o 276381
2.99/3.00	c Elapsed CPU time: 2.95355 s	Remaining CPU time: 177.046 s
2.99/3.00	c ===============================================================================
2.99/3.00	c |       148 |    3942    27552    76463 |     9184      148      4 |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 253670
2.99/3.01	o 253670
2.99/3.01	c Elapsed CPU time: 2.96355 s	Remaining CPU time: 177.036 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |       150 |    3942    27553    78506 |     9184      150      4 |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: 253669
2.99/3.03	o 253669
2.99/3.03	c Elapsed CPU time: 2.98355 s	Remaining CPU time: 177.016 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |       154 |    3942    27554    80549 |     9184      154      9 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 203362
2.99/3.07	o 203362
2.99/3.07	c Elapsed CPU time: 3.01654 s	Remaining CPU time: 176.983 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       190 |    3941    27555    82592 |     9185      186      8 |  0.000 % |
3.10/3.10	c ===============================================================================
3.10/3.10	c New solution: 198584
3.10/3.10	o 198584
3.10/3.10	c Elapsed CPU time: 3.04154 s	Remaining CPU time: 176.958 s
3.10/3.10	c ===============================================================================
3.10/3.10	c |       208 |    3941    27556    84635 |     9185      204      7 |  0.000 % |
3.10/3.11	c ===============================================================================
3.10/3.11	c New solution: 179032
3.10/3.11	o 179032
3.10/3.11	c Elapsed CPU time: 3.05354 s	Remaining CPU time: 176.946 s
3.10/3.11	c ===============================================================================
3.10/3.11	c |       210 |    3941    27557    86678 |     9185      206      7 |  0.000 % |
3.10/3.12	c ===============================================================================
3.10/3.12	c New solution: 179031
3.10/3.12	o 179031
3.10/3.12	c Elapsed CPU time: 3.06553 s	Remaining CPU time: 176.934 s
3.10/3.12	c ===============================================================================
3.10/3.12	c |       211 |    3941    27558    88721 |     9186      207     11 |  0.000 % |
3.10/3.17	c ===============================================================================
3.10/3.17	c New solution: 177472
3.10/3.17	o 177472
3.10/3.17	c Elapsed CPU time: 3.10953 s	Remaining CPU time: 176.89 s
3.10/3.17	c ===============================================================================
3.10/3.17	c |       251 |    3941    27559    90764 |     9186      247     10 |  0.000 % |
3.10/3.18	c ===============================================================================
3.10/3.18	c New solution: 177428
3.10/3.18	o 177428
3.10/3.18	c Elapsed CPU time: 3.12352 s	Remaining CPU time: 176.876 s
3.10/3.18	c ===============================================================================
3.10/3.18	c |       254 |    3941    27560    92807 |     9186      250     10 |  0.000 % |
3.20/3.23	c ===============================================================================
3.20/3.23	c New solution: 159695
3.20/3.23	o 159695
3.20/3.23	c Elapsed CPU time: 3.17152 s	Remaining CPU time: 176.828 s
3.20/3.23	c ===============================================================================
3.20/3.23	c |       282 |    3941    27561    94850 |     9187      278     11 |  0.000 % |
3.20/3.26	c ===============================================================================
3.20/3.26	c New solution: 159567
3.20/3.26	o 159567
3.20/3.26	c Elapsed CPU time: 3.19151 s	Remaining CPU time: 176.808 s
3.20/3.26	c ===============================================================================
3.20/3.26	c |       286 |    3941    27562    96893 |     9187      282     14 |  0.000 % |
3.30/3.30	c ===============================================================================
3.30/3.30	c New solution: 140185
3.30/3.30	o 140185
3.30/3.30	c Elapsed CPU time: 3.23451 s	Remaining CPU time: 176.765 s
3.30/3.30	c ===============================================================================
3.30/3.30	c |       310 |    3941    27563    98936 |     9187      306     13 |  0.000 % |
3.30/3.33	c ===============================================================================
3.30/3.33	c New solution: 140149
3.30/3.33	o 140149
3.30/3.33	c Elapsed CPU time: 3.2585 s	Remaining CPU time: 176.741 s
3.30/3.33	c ===============================================================================
3.30/3.33	c |       316 |    3941    27564   100979 |     9188      312     13 |  0.000 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 140147
3.30/3.34	o 140147
3.30/3.34	c Elapsed CPU time: 3.2725 s	Remaining CPU time: 176.727 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |       316 |    3941    27565   103022 |     9188      312     13 |  0.000 % |
3.30/3.36	c ===============================================================================
3.30/3.36	c New solution: 140139
3.30/3.36	o 140139
3.30/3.36	c Elapsed CPU time: 3.2875 s	Remaining CPU time: 176.713 s
3.30/3.36	c ===============================================================================
3.30/3.36	c |       316 |    3941    27566   105065 |     9188      312     13 |  0.000 % |
3.30/3.38	c ===============================================================================
3.30/3.38	c New solution: 140138
3.30/3.38	o 140138
3.30/3.38	c Elapsed CPU time: 3.3055 s	Remaining CPU time: 176.695 s
3.30/3.38	c ===============================================================================
3.30/3.38	c |       318 |    3941    27567   107108 |     9189      314     17 |  0.000 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: 127297
3.39/3.40	o 127297
3.39/3.40	c Elapsed CPU time: 3.32449 s	Remaining CPU time: 176.676 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |       323 |    3941    27568   109151 |     9189      319     17 |  0.000 % |
3.39/3.42	c ===============================================================================
3.39/3.42	c New solution: 112710
3.39/3.42	o 112710
3.39/3.42	c Elapsed CPU time: 3.34349 s	Remaining CPU time: 176.657 s
3.39/3.42	c ===============================================================================
3.39/3.42	c |       330 |    3941    27569   111194 |     9189      326     16 |  0.000 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c New solution: 104585
3.39/3.44	o 104585
3.39/3.44	c Elapsed CPU time: 3.36349 s	Remaining CPU time: 176.637 s
3.39/3.44	c ===============================================================================
3.39/3.44	c |       336 |    3941    27570   113237 |     9190      332     16 |  0.000 % |
3.39/3.47	c ===============================================================================
3.39/3.47	c New solution: 104560
3.39/3.47	o 104560
3.39/3.47	c Elapsed CPU time: 3.39348 s	Remaining CPU time: 176.607 s
3.39/3.47	c ===============================================================================
3.39/3.47	c |       341 |    3941    27571   115280 |     9190      337     16 |  0.000 % |
3.59/3.60	c ===============================================================================
3.59/3.60	c New solution: 104546
3.59/3.60	o 104546
3.59/3.60	c Elapsed CPU time: 3.51946 s	Remaining CPU time: 176.481 s
3.59/3.60	c ===============================================================================
3.59/3.60	c |       361 |    3941    27572   117323 |     9190      357     30 |  0.000 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 104462
3.79/3.85	o 104462
3.79/3.85	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 176.24 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |       390 |    3941    27573   119366 |     9191      386     34 |  0.000 % |
3.99/4.06	c ===============================================================================
3.99/4.06	c New solution: 104461
3.99/4.06	o 104461
3.99/4.06	c Elapsed CPU time: 3.9684 s	Remaining CPU time: 176.032 s
3.99/4.06	c ===============================================================================
3.99/4.06	c |       402 |    3941    27574   121409 |     9191      398     36 |  0.000 % |
3.99/4.09	c ===============================================================================
3.99/4.09	c New solution: 104460
3.99/4.09	o 104460
3.99/4.09	c Elapsed CPU time: 3.99539 s	Remaining CPU time: 176.005 s
3.99/4.09	c ===============================================================================
3.99/4.09	c |       405 |    3941    27575   123452 |     9191      401     36 |  0.000 % |
4.09/4.11	c ===============================================================================
4.09/4.11	c New solution: 104459
4.09/4.11	o 104459
4.09/4.11	c Elapsed CPU time: 4.02339 s	Remaining CPU time: 175.977 s
4.09/4.11	c ===============================================================================
4.09/4.11	c |       407 |    3941    27576   125495 |     9192      403     37 |  0.000 % |
4.09/4.14	c ===============================================================================
4.09/4.14	c New solution: 89988
4.09/4.14	o 89988
4.09/4.14	c Elapsed CPU time: 4.05238 s	Remaining CPU time: 175.948 s
4.09/4.14	c ===============================================================================
4.09/4.14	c |       415 |    3941    27577   127538 |     9192      411     36 |  0.000 % |
4.19/4.20	c ===============================================================================
4.19/4.20	c New solution: 89950
4.19/4.20	o 89950
4.19/4.20	c Elapsed CPU time: 4.11137 s	Remaining CPU time: 175.889 s
4.19/4.20	c ===============================================================================
4.19/4.20	c |       418 |    3941    27578   129581 |     9192      414     39 |  0.000 % |
4.30/4.36	c ===============================================================================
4.30/4.36	c New solution: 89832
4.30/4.36	o 89832
4.30/4.36	c Elapsed CPU time: 4.27135 s	Remaining CPU time: 175.729 s
4.30/4.36	c ===============================================================================
4.30/4.36	c |       466 |    3941    27579   131624 |     9193      462     77 |  0.000 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: 88350
4.30/4.38	o 88350
4.30/4.38	c Elapsed CPU time: 4.29235 s	Remaining CPU time: 175.708 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |       467 |    3941    27580   133667 |     9193      463     77 |  0.000 % |
4.40/4.41	c ===============================================================================
4.40/4.41	c New solution: 88333
4.40/4.41	o 88333
4.40/4.41	c Elapsed CPU time: 4.31234 s	Remaining CPU time: 175.688 s
4.40/4.41	c ===============================================================================
4.40/4.41	c |       469 |    3941    27581   135710 |     9193      465     76 |  0.000 % |
4.40/4.43	c ===============================================================================
4.40/4.43	c New solution: 86726
4.40/4.43	o 86726
4.40/4.43	c Elapsed CPU time: 4.33534 s	Remaining CPU time: 175.665 s
4.40/4.43	c ===============================================================================
4.40/4.43	c |       471 |    3941    27582   137753 |     9194      467     78 |  0.000 % |
4.40/4.47	c ===============================================================================
4.40/4.47	c New solution: 86638
4.40/4.47	o 86638
4.40/4.47	c Elapsed CPU time: 4.36834 s	Remaining CPU time: 175.632 s
4.40/4.47	c ===============================================================================
4.40/4.47	c |       478 |    3941    27583   139796 |     9194      474     78 |  0.000 % |
4.49/4.58	c ===============================================================================
4.49/4.58	c New solution: 85125
4.49/4.58	o 85125
4.49/4.58	c Elapsed CPU time: 4.47432 s	Remaining CPU time: 175.526 s
4.49/4.58	c ===============================================================================
4.49/4.58	c |       502 |    3941    27584   141839 |     9194      498     91 |  0.000 % |
4.69/4.71	c ===============================================================================
4.69/4.71	c New solution: 84969
4.69/4.71	o 84969
4.69/4.71	c Elapsed CPU time: 4.6033 s	Remaining CPU time: 175.397 s
4.69/4.71	c ===============================================================================
4.69/4.71	c |       519 |    3941    27585   143882 |     9195      515    100 |  0.000 % |
4.79/4.80	c ===============================================================================
4.79/4.80	c New solution: 84945
4.79/4.80	o 84945
4.79/4.80	c Elapsed CPU time: 4.69928 s	Remaining CPU time: 175.301 s
4.79/4.80	c ===============================================================================
4.79/4.80	c |       564 |    3941    27586   145925 |     9195      560    129 |  0.000 % |
4.79/4.85	c ===============================================================================
4.79/4.85	c New solution: 83444
4.79/4.85	o 83444
4.79/4.85	c Elapsed CPU time: 4.74728 s	Remaining CPU time: 175.253 s
4.79/4.85	c ===============================================================================
4.79/4.85	c |       565 |    3941    27587   147968 |     9195      561    129 |  0.000 % |
4.89/4.97	c |       666 |    3941    27587   147968 |    10115      662    216 | 32.052 % |
5.10/5.11	c ===============================================================================
5.10/5.11	c New solution: 83345
5.10/5.11	o 83345
5.10/5.11	c Elapsed CPU time: 5.00424 s	Remaining CPU time: 174.996 s
5.10/5.11	c ===============================================================================
5.10/5.11	c |       672 |    3941    27588   150011 |     9196      668    215 | 32.052 % |
5.50/5.59	c |       772 |    3941    27588   150011 |    10115      768    250 | 32.052 % |
5.60/5.67	c ===============================================================================
5.60/5.67	c New solution: 81848
5.60/5.67	o 81848
5.60/5.67	c Elapsed CPU time: 5.56215 s	Remaining CPU time: 174.438 s
5.60/5.67	c ===============================================================================
5.60/5.67	c |       775 |    3941    27589   152054 |     9196      771    249 | 32.052 % |
5.69/5.74	c ===============================================================================
5.69/5.74	c New solution: 81847
5.69/5.74	o 81847
5.69/5.74	c Elapsed CPU time: 5.63014 s	Remaining CPU time: 174.37 s
5.69/5.74	c ===============================================================================
5.69/5.74	c |       776 |    3941    27590   154097 |     9196      772    248 | 32.052 % |
5.79/5.81	c ===============================================================================
5.79/5.81	c New solution: 81841
5.79/5.81	o 81841
5.79/5.81	c Elapsed CPU time: 5.69513 s	Remaining CPU time: 174.305 s
5.79/5.81	c ===============================================================================
5.79/5.81	c |       777 |    3941    27591   156140 |     9197      773    248 | 32.052 % |
5.79/5.87	c ===============================================================================
5.79/5.87	c New solution: 81840
5.79/5.87	o 81840
5.79/5.87	c Elapsed CPU time: 5.75712 s	Remaining CPU time: 174.243 s
5.79/5.87	c ===============================================================================
5.79/5.87	c |       777 |    3941    27592   158183 |     9197      773    248 | 32.052 % |
5.89/5.93	c ===============================================================================
5.89/5.93	c New solution: 81838
5.89/5.93	o 81838
5.89/5.93	c Elapsed CPU time: 5.81912 s	Remaining CPU time: 174.181 s
5.89/5.93	c ===============================================================================
5.89/5.93	c |       777 |    3941    27593   160226 |     9197      773    248 | 32.052 % |
5.99/6.01	c |       877 |    3941    27593   160226 |    10117      873    277 | 32.052 % |
5.99/6.06	c ===============================================================================
5.99/6.06	c New solution: 81837
5.99/6.06	o 81837
5.99/6.06	c Elapsed CPU time: 5.9441 s	Remaining CPU time: 174.056 s
5.99/6.06	c ===============================================================================
5.99/6.06	c |       883 |    3941    27594   162269 |     9198      879    279 | 32.052 % |
5.99/6.09	c ===============================================================================
5.99/6.09	c New solution: 80231
5.99/6.09	o 80231
5.99/6.09	c Elapsed CPU time: 5.97609 s	Remaining CPU time: 174.024 s
5.99/6.09	c ===============================================================================
5.99/6.09	c |       888 |    3941    27595   164312 |     9198      884    279 | 32.052 % |
6.09/6.15	c ===============================================================================
6.09/6.15	c New solution: 80197
6.09/6.15	o 80197
6.09/6.15	c Elapsed CPU time: 6.03508 s	Remaining CPU time: 173.965 s
6.09/6.15	c ===============================================================================
6.09/6.15	c |       893 |    3941    27596   166355 |     9198      889    280 | 32.052 % |
6.19/6.20	c ===============================================================================
6.19/6.20	c New solution: 80129
6.19/6.20	o 80129
6.19/6.20	c Elapsed CPU time: 6.08707 s	Remaining CPU time: 173.913 s
6.19/6.20	c ===============================================================================
6.19/6.20	c |       897 |    3941    27597   168398 |     9199      893    279 | 32.052 % |
6.19/6.23	c ===============================================================================
6.19/6.23	c New solution: 80128
6.19/6.23	o 80128
6.19/6.23	c Elapsed CPU time: 6.11707 s	Remaining CPU time: 173.883 s
6.19/6.23	c ===============================================================================
6.19/6.23	c |       898 |    3941    27598   170441 |     9199      894    279 | 32.052 % |
6.19/6.27	c ===============================================================================
6.19/6.27	c New solution: 80127
6.19/6.27	o 80127
6.19/6.27	c Elapsed CPU time: 6.15706 s	Remaining CPU time: 173.843 s
6.19/6.27	c ===============================================================================
6.19/6.27	c |       902 |    3941    27599   172484 |     9199      898    279 | 32.052 % |
6.49/6.51	c ===============================================================================
6.49/6.51	c New solution: 80102
6.49/6.51	o 80102
6.49/6.51	c Elapsed CPU time: 6.39203 s	Remaining CPU time: 173.608 s
6.49/6.51	c ===============================================================================
6.49/6.51	c |       922 |    3941    27600   174527 |     9200      918    279 | 32.052 % |
6.49/6.58	c ===============================================================================
6.49/6.58	c New solution: 78601
6.49/6.58	o 78601
6.49/6.58	c Elapsed CPU time: 6.46302 s	Remaining CPU time: 173.537 s
6.49/6.58	c ===============================================================================
6.49/6.58	c |       922 |    3941    27601   176570 |     9200      918    279 | 32.052 % |
6.60/6.65	c ===============================================================================
6.60/6.65	c New solution: 78593
6.60/6.65	o 78593
6.60/6.65	c Elapsed CPU time: 6.52901 s	Remaining CPU time: 173.471 s
6.60/6.65	c ===============================================================================
6.60/6.65	c |       922 |    3941    27602   178613 |     9200      918    279 | 32.052 % |
6.69/6.71	c ===============================================================================
6.69/6.71	c New solution: 78509
6.69/6.71	o 78509
6.69/6.71	c Elapsed CPU time: 6.594 s	Remaining CPU time: 173.406 s
6.69/6.71	c ===============================================================================
6.69/6.71	c |       924 |    3941    27603   180656 |     9201      920    280 | 32.052 % |
6.69/6.76	c ===============================================================================
6.69/6.76	c New solution: 76968
6.69/6.76	o 76968
6.69/6.76	c Elapsed CPU time: 6.64699 s	Remaining CPU time: 173.353 s
6.69/6.76	c ===============================================================================
6.69/6.76	c |       924 |    3941    27604   182699 |     9201      920    280 | 32.052 % |
6.79/6.81	c ===============================================================================
6.79/6.81	c New solution: 76953
6.79/6.81	o 76953
6.79/6.81	c Elapsed CPU time: 6.68798 s	Remaining CPU time: 173.312 s
6.79/6.81	c ===============================================================================
6.79/6.81	c |       926 |    3941    27605   184742 |     9201      922    281 | 32.052 % |
6.99/7.00	c |      1027 |    3941    27605   184742 |    10121     1023    323 | 32.052 % |
6.99/7.07	c ===============================================================================
6.99/7.07	c New solution: 76848
6.99/7.07	o 76848
6.99/7.07	c Elapsed CPU time: 6.94294 s	Remaining CPU time: 173.057 s
6.99/7.07	c ===============================================================================
6.99/7.07	c |      1032 |    3941    27606   186785 |     9202     1028    324 | 32.052 % |
7.19/7.27	c |      1133 |    3941    27606   186785 |    10122     1129    344 | 32.052 % |
7.29/7.35	c ===============================================================================
7.29/7.35	c New solution: 75350
7.29/7.35	o 75350
7.29/7.35	c Elapsed CPU time: 7.2299 s	Remaining CPU time: 172.77 s
7.29/7.35	c ===============================================================================
7.29/7.35	c |      1189 |    3941    27607   188828 |     9202     1185    358 | 32.052 % |
7.39/7.47	c ===============================================================================
7.39/7.47	c New solution: 75220
7.39/7.47	o 75220
7.39/7.47	c Elapsed CPU time: 7.34788 s	Remaining CPU time: 172.652 s
7.39/7.47	c ===============================================================================
7.39/7.47	c |      1198 |    3941    27608   190871 |     9202     1194    358 | 32.052 % |
7.59/7.68	c |      1299 |    3941    27608   190871 |    10122     1295    375 | 32.052 % |
8.19/8.24	c |      1449 |    3941    27608   190871 |    11135     1445    395 | 32.052 % |
8.39/8.45	c ===============================================================================
8.39/8.45	c New solution: 75219
8.39/8.45	o 75219
8.39/8.45	c Elapsed CPU time: 8.32373 s	Remaining CPU time: 171.676 s
8.39/8.45	c ===============================================================================
8.39/8.45	c |      1467 |    3941    27609   192914 |     9203     1463    393 | 32.052 % |
8.49/8.56	c ===============================================================================
8.49/8.56	c New solution: 73744
8.49/8.56	o 73744
8.49/8.56	c Elapsed CPU time: 8.42672 s	Remaining CPU time: 171.573 s
8.49/8.56	c ===============================================================================
8.49/8.56	c |      1468 |    3941    27610   194957 |     9203     1464    393 | 32.052 % |
8.59/8.64	c ===============================================================================
8.59/8.64	c New solution: 73742
8.59/8.64	o 73742
8.59/8.64	c Elapsed CPU time: 8.50271 s	Remaining CPU time: 171.497 s
8.59/8.64	c ===============================================================================
8.59/8.64	c |      1468 |    3941    27611   197000 |     9203     1464    393 | 32.052 % |
8.69/8.72	c ===============================================================================
8.69/8.72	c New solution: 73666
8.69/8.72	o 73666
8.69/8.72	c Elapsed CPU time: 8.5837 s	Remaining CPU time: 171.416 s
8.69/8.72	c ===============================================================================
8.69/8.72	c |      1478 |    3941    27612   199043 |     9204     1474    394 | 32.052 % |
8.89/8.94	c |      1579 |    3941    27612   199043 |    10124     1575    412 | 32.052 % |
8.99/9.04	c ===============================================================================
8.99/9.04	c New solution: 73635
8.99/9.04	o 73635
8.99/9.04	c Elapsed CPU time: 8.90365 s	Remaining CPU time: 171.096 s
8.99/9.04	c ===============================================================================
8.99/9.04	c |      1593 |    3941    27613   201086 |     9204     1589    412 | 32.052 % |
9.08/9.14	c ===============================================================================
9.08/9.14	c New solution: 73586
9.08/9.14	o 73586
9.08/9.14	c Elapsed CPU time: 9.00063 s	Remaining CPU time: 170.999 s
9.08/9.14	c ===============================================================================
9.08/9.14	c |      1612 |    3941    27614   203129 |     9204     1608    413 | 32.052 % |
9.18/9.22	c ===============================================================================
9.18/9.22	c New solution: 72087
9.18/9.22	o 72087
9.18/9.22	c Elapsed CPU time: 9.08562 s	Remaining CPU time: 170.914 s
9.18/9.22	c ===============================================================================
9.18/9.22	c |      1620 |    3941    27615   205172 |     9205     1616    412 | 32.052 % |
9.29/9.32	c ===============================================================================
9.29/9.32	c New solution: 72086
9.29/9.32	o 72086
9.29/9.32	c Elapsed CPU time: 9.1786 s	Remaining CPU time: 170.821 s
9.29/9.32	c ===============================================================================
9.29/9.32	c |      1624 |    3941    27616   207215 |     9205     1620    413 | 32.052 % |
9.29/9.38	c ===============================================================================
9.29/9.38	c New solution: 71990
9.29/9.38	o 71990
9.29/9.38	c Elapsed CPU time: 9.23659 s	Remaining CPU time: 170.763 s
9.29/9.38	c ===============================================================================
9.29/9.38	c |      1626 |    3941    27617   209258 |     9205     1622    412 | 32.052 % |
9.39/9.44	c ===============================================================================
9.39/9.44	c New solution: 71989
9.39/9.44	o 71989
9.39/9.44	c Elapsed CPU time: 9.29459 s	Remaining CPU time: 170.705 s
9.39/9.44	c ===============================================================================
9.39/9.44	c |      1626 |    3941    27618   211301 |     9206     1622    412 | 32.052 % |
9.39/9.49	c ===============================================================================
9.39/9.49	c New solution: 71988
9.39/9.49	o 71988
9.39/9.49	c Elapsed CPU time: 9.34758 s	Remaining CPU time: 170.652 s
9.39/9.49	c ===============================================================================
9.39/9.49	c |      1626 |    3941    27619   213344 |     9206     1622    412 | 32.052 % |
9.49/9.55	c ===============================================================================
9.49/9.55	c New solution: 71987
9.49/9.55	o 71987
9.49/9.55	c Elapsed CPU time: 9.40357 s	Remaining CPU time: 170.596 s
9.49/9.55	c ===============================================================================
9.49/9.55	c |      1626 |    3941    27620   215387 |     9206     1622    412 | 32.052 % |
9.59/9.60	c ===============================================================================
9.59/9.60	c New solution: 71986
9.59/9.60	o 71986
9.59/9.60	c Elapsed CPU time: 9.45856 s	Remaining CPU time: 170.541 s
9.59/9.60	c ===============================================================================
9.59/9.60	c |      1627 |    3941    27621   217430 |     9207     1623    413 | 32.052 % |
9.79/9.82	c |      1727 |    3941    27621   217430 |    10127     1723    420 | 32.052 % |
9.99/10.02	c ===============================================================================
9.99/10.02	c New solution: 70507
9.99/10.02	o 70507
9.99/10.02	c Elapsed CPU time: 9.8685 s	Remaining CPU time: 170.132 s
9.99/10.02	c ===============================================================================
9.99/10.02	c |      1747 |    3941    27622   219473 |     9207     1743    419 | 32.052 % |
10.08/10.14	c ===============================================================================
10.08/10.14	c New solution: 70400
10.08/10.14	o 70400
10.08/10.14	c Elapsed CPU time: 9.99548 s	Remaining CPU time: 170.005 s
10.08/10.14	c ===============================================================================
10.08/10.14	c |      1749 |    3941    27623   221516 |     9207     1745    419 | 32.052 % |
10.19/10.28	c ===============================================================================
10.19/10.28	c New solution: 70399
10.19/10.28	o 70399
10.19/10.28	c Elapsed CPU time: 10.1305 s	Remaining CPU time: 169.87 s
10.19/10.28	c ===============================================================================
10.19/10.28	c |      1767 |    3941    27624   223559 |     9208     1763    420 | 32.052 % |
10.29/10.37	c ===============================================================================
10.29/10.37	c New solution: 70357
10.29/10.37	o 70357
10.29/10.37	c Elapsed CPU time: 10.2164 s	Remaining CPU time: 169.784 s
10.29/10.37	c ===============================================================================
10.29/10.37	c |      1768 |    3941    27625   225602 |     9208     1764    420 | 32.052 % |
10.39/10.45	c ===============================================================================
10.39/10.45	c New solution: 70356
10.39/10.45	o 70356
10.39/10.45	c Elapsed CPU time: 10.3014 s	Remaining CPU time: 169.699 s
10.39/10.45	c ===============================================================================
10.39/10.45	c |      1769 |    3941    27626   227645 |     9208     1765    420 | 32.052 % |
10.59/10.62	c ===============================================================================
10.59/10.62	c New solution: 70355
10.59/10.62	o 70355
10.59/10.62	c Elapsed CPU time: 10.4724 s	Remaining CPU time: 169.528 s
10.59/10.62	c ===============================================================================
10.59/10.62	c |      1797 |    3941    27627   229688 |     9209     1793    422 | 32.052 % |
10.69/10.74	c ===============================================================================
10.69/10.74	c New solution: 68879
10.69/10.74	o 68879
10.69/10.74	c Elapsed CPU time: 10.5894 s	Remaining CPU time: 169.411 s
10.69/10.74	c ===============================================================================
10.69/10.74	c |      1808 |    3941    27628   231731 |     9209     1804    421 | 32.052 % |
10.90/10.90	c |      1908 |    3941    27628   231731 |    10130     1904    424 | 32.052 % |
11.00/11.02	c ===============================================================================
11.00/11.02	c New solution: 68767
11.00/11.02	o 68767
11.00/11.02	c Elapsed CPU time: 10.8653 s	Remaining CPU time: 169.135 s
11.00/11.02	c ===============================================================================
11.00/11.02	c |      1910 |    3941    27629   233774 |     9209     1906    424 | 32.052 % |
11.09/11.10	c ===============================================================================
11.09/11.10	c New solution: 67256
11.09/11.10	o 67256
11.09/11.10	c Elapsed CPU time: 10.9443 s	Remaining CPU time: 169.056 s
11.09/11.10	c ===============================================================================
11.09/11.10	c |      1910 |    3941    27630   235817 |     9210     1906    424 | 32.052 % |
11.09/11.19	c ===============================================================================
11.09/11.19	c New solution: 67247
11.09/11.19	o 67247
11.09/11.19	c Elapsed CPU time: 11.0353 s	Remaining CPU time: 168.965 s
11.09/11.19	c ===============================================================================
11.09/11.19	c |      1914 |    3941    27631   237860 |     9210     1910    424 | 32.052 % |
11.19/11.28	c ===============================================================================
11.19/11.28	c New solution: 67152
11.19/11.28	o 67152
11.19/11.28	c Elapsed CPU time: 11.1193 s	Remaining CPU time: 168.881 s
11.19/11.28	c ===============================================================================
11.19/11.28	c |      1916 |    3941    27632   239903 |     9210     1912    424 | 32.052 % |
11.49/11.54	c |      2016 |    3941    27632   239903 |    10131     2012    435 | 32.052 % |
11.59/11.63	c ===============================================================================
11.59/11.63	c New solution: 67134
11.59/11.63	o 67134
11.59/11.63	c Elapsed CPU time: 11.4753 s	Remaining CPU time: 168.525 s
11.59/11.63	c ===============================================================================
11.59/11.63	c |      2017 |    3941    27633   241946 |     9211     2013    435 | 32.052 % |
11.69/11.76	c ===============================================================================
11.69/11.76	c New solution: 67133
11.69/11.76	o 67133
11.69/11.76	c Elapsed CPU time: 11.6022 s	Remaining CPU time: 168.398 s
11.69/11.76	c ===============================================================================
11.69/11.76	c |      2024 |    3941    27634   243989 |     9211     2020    435 | 32.052 % |
11.89/11.94	c ===============================================================================
11.89/11.94	c New solution: 67132
11.89/11.94	o 67132
11.89/11.94	c Elapsed CPU time: 11.7842 s	Remaining CPU time: 168.216 s
11.89/11.94	c ===============================================================================
11.89/11.94	c |      2035 |    3941    27635   246032 |     9211     2031    435 | 32.052 % |
12.09/12.13	c ===============================================================================
12.09/12.13	c New solution: 65604
12.09/12.13	o 65604
12.09/12.13	c Elapsed CPU time: 11.9732 s	Remaining CPU time: 168.027 s
12.09/12.13	c ===============================================================================
12.09/12.13	c |      2058 |    3941    27636   248075 |     9212     2054    437 | 32.052 % |
12.29/12.31	c ===============================================================================
12.29/12.31	c New solution: 65508
12.29/12.31	o 65508
12.29/12.31	c Elapsed CPU time: 12.1452 s	Remaining CPU time: 167.855 s
12.29/12.31	c ===============================================================================
12.29/12.31	c |      2100 |    3941    27637   250118 |     9212     2096    438 | 32.052 % |
12.59/12.64	c |      2201 |    3941    27637   250118 |    10133     2197    446 | 32.052 % |
12.79/12.80	c ===============================================================================
12.79/12.80	c New solution: 63982
12.79/12.80	o 63982
12.79/12.80	c Elapsed CPU time: 12.6391 s	Remaining CPU time: 167.361 s
12.79/12.80	c ===============================================================================
12.79/12.80	c |      2258 |    3941    27638   252161 |     9212     2254    450 | 32.052 % |
12.89/12.94	c ===============================================================================
12.89/12.94	c New solution: 63870
12.89/12.94	o 63870
12.89/12.94	c Elapsed CPU time: 12.7761 s	Remaining CPU time: 167.224 s
12.89/12.94	c ===============================================================================
12.89/12.94	c |      2261 |    3941    27639   254204 |     9213     2257    450 | 32.052 % |
13.09/13.12	c ===============================================================================
13.09/13.12	c New solution: 63869
13.09/13.12	o 63869
13.09/13.12	c Elapsed CPU time: 12.951 s	Remaining CPU time: 167.049 s
13.09/13.12	c ===============================================================================
13.09/13.12	c |      2276 |    3941    27640   256247 |     9213     2272    450 | 32.052 % |
13.09/13.19	c ===============================================================================
13.09/13.19	c New solution: 62394
13.09/13.19	o 62394
13.09/13.19	c Elapsed CPU time: 13.024 s	Remaining CPU time: 166.976 s
13.09/13.19	c ===============================================================================
13.09/13.19	c |      2278 |    3941    27641   258290 |     9213     2274    450 | 32.052 % |
13.29/13.33	c ===============================================================================
13.29/13.33	c New solution: 62265
13.29/13.33	o 62265
13.29/13.33	c Elapsed CPU time: 13.163 s	Remaining CPU time: 166.837 s
13.29/13.33	c ===============================================================================
13.29/13.33	c |      2279 |    3941    27642   260333 |     9214     2275    450 | 32.052 % |
13.38/13.47	c ===============================================================================
13.38/13.47	c New solution: 62260
13.38/13.47	o 62260
13.38/13.47	c Elapsed CPU time: 13.298 s	Remaining CPU time: 166.702 s
13.38/13.47	c ===============================================================================
13.38/13.47	c |      2279 |    3941    27643   262376 |     9214     2275    450 | 32.052 % |
13.59/13.61	c ===============================================================================
13.59/13.61	c New solution: 62259
13.59/13.61	o 62259
13.59/13.61	c Elapsed CPU time: 13.44 s	Remaining CPU time: 166.56 s
13.59/13.61	c ===============================================================================
13.59/13.61	c |      2282 |    3941    27644   264419 |     9214     2278    450 | 32.052 % |
13.99/14.01	c |      2383 |    3941    27644   264419 |    10136     2379    457 | 32.052 % |
14.38/14.46	c |      2533 |    3941    27644   264419 |    11149     2529    462 | 32.052 % |
14.48/14.59	c ===============================================================================
14.48/14.59	c New solution: 62250
14.48/14.59	o 62250
14.48/14.59	c Elapsed CPU time: 14.4078 s	Remaining CPU time: 165.592 s
14.48/14.59	c ===============================================================================
14.48/14.59	c |      2536 |    3941    27645   266462 |     9215     2532    462 | 32.052 % |
14.59/14.69	c |      2636 |    3941    27645   266462 |    10136     2632    463 | 32.052 % |
14.79/14.84	c ===============================================================================
14.79/14.84	c New solution: 60760
14.79/14.84	o 60760
14.79/14.84	c Elapsed CPU time: 14.6538 s	Remaining CPU time: 165.346 s
14.79/14.84	c ===============================================================================
14.79/14.84	c |      2638 |    3941    27646   268505 |     9215     2634    463 | 32.052 % |
14.89/14.97	c ===============================================================================
14.89/14.97	c New solution: 60668
14.89/14.97	o 60668
14.89/14.97	c Elapsed CPU time: 14.7818 s	Remaining CPU time: 165.218 s
14.89/14.97	c ===============================================================================
14.89/14.97	c |      2639 |    3941    27647   270548 |     9215     2635    463 | 32.052 % |
15.19/15.26	c ===============================================================================
15.19/15.26	c New solution: 60667
15.19/15.26	o 60667
15.19/15.26	c Elapsed CPU time: 15.0777 s	Remaining CPU time: 164.922 s
15.19/15.26	c ===============================================================================
15.19/15.26	c |      2671 |    3941    27648   272591 |     9216     2667    464 | 32.052 % |
15.29/15.39	c ===============================================================================
15.29/15.39	c New solution: 60641
15.29/15.39	o 60641
15.29/15.39	c Elapsed CPU time: 15.1967 s	Remaining CPU time: 164.803 s
15.29/15.39	c ===============================================================================
15.29/15.39	c |      2675 |    3941    27649   274634 |     9216     2671    464 | 32.052 % |
15.49/15.54	c ===============================================================================
15.49/15.54	c New solution: 60640
15.49/15.54	o 60640
15.49/15.54	c Elapsed CPU time: 15.3487 s	Remaining CPU time: 164.651 s
15.49/15.54	c ===============================================================================
15.49/15.54	c |      2679 |    3941    27650   276677 |     9216     2675    464 | 32.052 % |
15.59/15.66	c ===============================================================================
15.59/15.66	c New solution: 60637
15.59/15.66	o 60637
15.59/15.66	c Elapsed CPU time: 15.4676 s	Remaining CPU time: 164.532 s
15.59/15.66	c ===============================================================================
15.59/15.66	c |      2679 |    3941    27651   278720 |     9217     2675    464 | 32.052 % |
15.69/15.78	c ===============================================================================
15.69/15.78	c New solution: 60634
15.69/15.78	o 60634
15.69/15.78	c Elapsed CPU time: 15.5826 s	Remaining CPU time: 164.417 s
15.69/15.78	c ===============================================================================
15.69/15.78	c |      2679 |    3941    27652   280763 |     9217     2675    464 | 32.052 % |
15.79/15.89	c ===============================================================================
15.79/15.89	c New solution: 60633
15.79/15.89	o 60633
15.79/15.89	c Elapsed CPU time: 15.6986 s	Remaining CPU time: 164.301 s
15.79/15.89	c ===============================================================================
15.79/15.89	c |      2679 |    3941    27653   282806 |     9217     2675    464 | 32.052 % |
15.99/16.01	c ===============================================================================
15.99/16.01	c New solution: 60632
15.99/16.01	o 60632
15.99/16.01	c Elapsed CPU time: 15.8146 s	Remaining CPU time: 164.185 s
15.99/16.01	c ===============================================================================
15.99/16.01	c |      2679 |    3941    27654   284849 |     9218     2675    464 | 32.052 % |
16.09/16.12	c ===============================================================================
16.09/16.12	c New solution: 60631
16.09/16.12	o 60631
16.09/16.12	c Elapsed CPU time: 15.9306 s	Remaining CPU time: 164.069 s
16.09/16.12	c ===============================================================================
16.09/16.12	c |      2679 |    3941    27655   286892 |     9218     2675    464 | 32.052 % |
16.49/16.55	c |      2779 |    3941    27655   286892 |    10140     2775    470 | 32.052 % |
16.59/16.66	c ===============================================================================
16.59/16.66	c New solution: 60630
16.59/16.66	o 60630
16.59/16.66	c Elapsed CPU time: 16.4635 s	Remaining CPU time: 163.537 s
16.59/16.66	c ===============================================================================
16.59/16.66	c |      2782 |    3941    27656   288935 |     9218     2778    470 | 32.052 % |
16.88/16.90	c ===============================================================================
16.88/16.90	c New solution: 60629
16.88/16.90	o 60629
16.88/16.90	c Elapsed CPU time: 16.7035 s	Remaining CPU time: 163.297 s
16.88/16.90	c ===============================================================================
16.88/16.90	c |      2812 |    3941    27657   290978 |     9219     2808    471 | 32.052 % |
16.98/17.06	c ===============================================================================
16.98/17.06	c New solution: 60614
16.98/17.06	o 60614
16.98/17.06	c Elapsed CPU time: 16.8634 s	Remaining CPU time: 163.137 s
16.98/17.06	c ===============================================================================
16.98/17.06	c |      2818 |    3941    27658   293021 |     9219     2814    471 | 32.052 % |
17.09/17.15	c ===============================================================================
17.09/17.15	c New solution: 59121
17.09/17.15	o 59121
17.09/17.15	c Elapsed CPU time: 16.9464 s	Remaining CPU time: 163.054 s
17.09/17.15	c ===============================================================================
17.09/17.15	c |      2826 |    3941    27659   295064 |     9219     2822    472 | 32.052 % |
17.29/17.39	c |      2927 |    3941    27659   295064 |    10141     2923    474 | 32.052 % |
17.50/17.50	c ===============================================================================
17.50/17.50	c New solution: 59106
17.50/17.50	o 59106
17.50/17.50	c Elapsed CPU time: 17.3014 s	Remaining CPU time: 162.699 s
17.50/17.50	c ===============================================================================
17.50/17.50	c |      2931 |    3941    27660   297107 |     9220     2927    474 | 32.052 % |
17.50/17.59	c ===============================================================================
17.50/17.59	c New solution: 59020
17.50/17.59	o 59020
17.50/17.59	c Elapsed CPU time: 17.3904 s	Remaining CPU time: 162.61 s
17.50/17.59	c ===============================================================================
17.50/17.59	c |      2933 |    3941    27661   299150 |     9220     2929    474 | 32.052 % |
17.89/17.92	c |      3033 |    3941    27661   299150 |    10142     3029    479 | 32.052 % |
17.99/18.09	c ===============================================================================
17.99/18.09	c New solution: 59019
17.99/18.09	o 59019
17.99/18.09	c Elapsed CPU time: 17.8893 s	Remaining CPU time: 162.111 s
17.99/18.09	c ===============================================================================
17.99/18.09	c |      3051 |    3941    27662   301193 |     9220     3047    479 | 32.052 % |
18.19/18.23	c ===============================================================================
18.19/18.23	c New solution: 58989
18.19/18.23	o 58989
18.19/18.23	c Elapsed CPU time: 18.0223 s	Remaining CPU time: 161.978 s
18.19/18.23	c ===============================================================================
18.19/18.23	c |      3051 |    3941    27663   303236 |     9221     3047    479 | 32.052 % |
18.28/18.32	c ===============================================================================
18.28/18.32	c New solution: 58987
18.28/18.32	o 58987
18.28/18.32	c Elapsed CPU time: 18.1162 s	Remaining CPU time: 161.884 s
18.28/18.32	c ===============================================================================
18.28/18.32	c |      3052 |    3941    27664   305279 |     9221     3048    479 | 32.052 % |
18.38/18.43	c ===============================================================================
18.38/18.43	c New solution: 58985
18.38/18.43	o 58985
18.38/18.43	c Elapsed CPU time: 18.2202 s	Remaining CPU time: 161.78 s
18.38/18.43	c ===============================================================================
18.38/18.43	c |      3053 |    3941    27665   307322 |     9221     3049    479 | 32.052 % |
18.48/18.59	c ===============================================================================
18.48/18.59	c New solution: 58984
18.48/18.59	o 58984
18.48/18.59	c Elapsed CPU time: 18.3822 s	Remaining CPU time: 161.618 s
18.48/18.59	c ===============================================================================
18.48/18.59	c |      3066 |    3941    27666   309365 |     9222     3062    480 | 32.052 % |
18.70/18.72	c ===============================================================================
18.70/18.72	c New solution: 57426
18.70/18.72	o 57426
18.70/18.72	c Elapsed CPU time: 18.5062 s	Remaining CPU time: 161.494 s
18.70/18.72	c ===============================================================================
18.70/18.72	c |      3089 |    3941    27667   311408 |     9222     3085    480 | 32.052 % |
18.79/18.89	c ===============================================================================
18.79/18.89	c New solution: 55896
18.79/18.89	o 55896
18.79/18.89	c Elapsed CPU time: 18.6832 s	Remaining CPU time: 161.317 s
18.79/18.89	c ===============================================================================
18.79/18.89	c |      3104 |    3941    27668   313451 |     9222     3100    480 | 32.052 % |
18.99/19.02	c ===============================================================================
18.99/19.02	c New solution: 55895
18.99/19.02	o 55895
18.99/19.02	c Elapsed CPU time: 18.8051 s	Remaining CPU time: 161.195 s
18.99/19.02	c ===============================================================================
18.99/19.02	c |      3106 |    3941    27669   315494 |     9223     3102    480 | 32.052 % |
19.09/19.11	c ===============================================================================
19.09/19.11	c New solution: 55771
19.09/19.11	o 55771
19.09/19.11	c Elapsed CPU time: 18.8991 s	Remaining CPU time: 161.101 s
19.09/19.11	c ===============================================================================
19.09/19.11	c |      3106 |    3941    27670   317537 |     9223     3102    480 | 32.052 % |
19.19/19.24	c ===============================================================================
19.19/19.24	c New solution: 54268
19.19/19.24	o 54268
19.19/19.24	c Elapsed CPU time: 19.0251 s	Remaining CPU time: 160.975 s
19.19/19.24	c ===============================================================================
19.19/19.24	c |      3107 |    3941    27671   319580 |     9223     3103    480 | 32.052 % |
19.29/19.35	c ===============================================================================
19.29/19.35	c New solution: 54265
19.29/19.35	o 54265
19.29/19.35	c Elapsed CPU time: 19.1381 s	Remaining CPU time: 160.862 s
19.29/19.35	c ===============================================================================
19.29/19.35	c |      3107 |    3941    27672   321623 |     9224     3103    480 | 32.052 % |
19.39/19.47	c ===============================================================================
19.39/19.47	c New solution: 54264
19.39/19.47	o 54264
19.39/19.47	c Elapsed CPU time: 19.2531 s	Remaining CPU time: 160.747 s
19.39/19.47	c ===============================================================================
19.39/19.47	c |      3107 |    3941    27673   323666 |     9224     3103    480 | 32.052 % |
19.49/19.58	c ===============================================================================
19.49/19.58	c New solution: 54263
19.49/19.58	o 54263
19.49/19.58	c Elapsed CPU time: 19.3661 s	Remaining CPU time: 160.634 s
19.49/19.58	c ===============================================================================
19.49/19.58	c |      3107 |    3941    27674   325709 |     9224     3103    480 | 32.052 % |
19.69/19.71	c ===============================================================================
19.69/19.71	c New solution: 54262
19.69/19.71	o 54262
19.69/19.71	c Elapsed CPU time: 19.496 s	Remaining CPU time: 160.504 s
19.69/19.71	c ===============================================================================
19.69/19.71	c |      3110 |    3941    27675   327752 |     9225     3106    480 | 32.052 % |
20.09/20.19	c |      3210 |    3941    27675   327752 |    10147     3206    480 | 32.052 % |
20.19/20.28	c ===============================================================================
20.19/20.28	c New solution: 54153
20.19/20.28	o 54153
20.19/20.28	c Elapsed CPU time: 20.0629 s	Remaining CPU time: 159.937 s
20.19/20.28	c ===============================================================================
20.19/20.28	c |      3211 |    3941    27676   329795 |     9225     3207    480 | 32.052 % |
20.79/20.90	c ===============================================================================
20.79/20.90	c New solution: 54152
20.79/20.90	o 54152
20.79/20.90	c Elapsed CPU time: 20.6809 s	Remaining CPU time: 159.319 s
20.79/20.90	c ===============================================================================
20.79/20.90	c |      3306 |    3941    27677   331838 |     9225     3302    484 | 32.052 % |
20.98/21.02	c ===============================================================================
20.98/21.02	c New solution: 52643
20.98/21.02	o 52643
20.98/21.02	c Elapsed CPU time: 20.8038 s	Remaining CPU time: 159.196 s
20.98/21.02	c ===============================================================================
20.98/21.02	c |      3313 |    3941    27678   333881 |     9226     3309    485 | 32.052 % |
21.08/21.17	c ===============================================================================
21.08/21.17	c New solution: 52530
21.08/21.17	o 52530
21.08/21.17	c Elapsed CPU time: 20.9558 s	Remaining CPU time: 159.044 s
21.08/21.17	c ===============================================================================
21.08/21.17	c |      3320 |    3941    27679   335924 |     9226     3316    485 | 32.052 % |
21.28/21.33	c |      3421 |    3941    27679   335924 |    10148     3417    485 | 32.052 % |
21.38/21.47	c ===============================================================================
21.38/21.47	c New solution: 51018
21.38/21.47	o 51018
21.38/21.47	c Elapsed CPU time: 21.2458 s	Remaining CPU time: 158.754 s
21.38/21.47	c ===============================================================================
21.38/21.47	c |      3425 |    3941    27680   337967 |     9226     3421    485 | 32.052 % |
21.90/21.98	c ===============================================================================
21.90/21.98	c New solution: 50984
21.90/21.98	o 50984
21.90/21.98	c Elapsed CPU time: 21.7607 s	Remaining CPU time: 158.239 s
21.90/21.98	c ===============================================================================
21.90/21.98	c |      3487 |    3941    27681   340010 |     9227     3483    486 | 32.052 % |
22.09/22.18	c ===============================================================================
22.09/22.18	c New solution: 50894
22.09/22.18	o 50894
22.09/22.18	c Elapsed CPU time: 21.9557 s	Remaining CPU time: 158.044 s
22.09/22.18	c ===============================================================================
22.09/22.18	c |      3490 |    3941    27682   342053 |     9227     3486    486 | 32.052 % |
22.69/22.70	c |      3590 |    3941    27682   342053 |    10150     3586    489 | 32.052 % |
22.79/22.83	c ===============================================================================
22.79/22.83	c New solution: 49357
22.79/22.83	o 49357
22.79/22.83	c Elapsed CPU time: 22.6096 s	Remaining CPU time: 157.39 s
22.79/22.84	c ===============================================================================
22.79/22.84	c |      3591 |    3941    27683   344096 |     9227     3587    489 | 32.052 % |
22.99/23.01	c ===============================================================================
22.99/23.01	c New solution: 49266
22.99/23.01	o 49266
22.99/23.01	c Elapsed CPU time: 22.7845 s	Remaining CPU time: 157.215 s
22.99/23.01	c ===============================================================================
22.99/23.01	c |      3596 |    3941    27684   346139 |     9228     3592    489 | 32.052 % |
23.28/23.33	c ===============================================================================
23.28/23.33	c New solution: 47767
23.28/23.33	o 47767
23.28/23.33	c Elapsed CPU time: 23.1045 s	Remaining CPU time: 156.896 s
23.28/23.33	c ===============================================================================
23.28/23.33	c |      3626 |    3941    27685   348182 |     9228     3622    490 | 32.052 % |
23.48/23.55	c ===============================================================================
23.48/23.55	c New solution: 47766
23.48/23.55	o 47766
23.48/23.55	c Elapsed CPU time: 23.3205 s	Remaining CPU time: 156.68 s
23.48/23.55	c ===============================================================================
23.48/23.55	c |      3635 |    3941    27686   350225 |     9228     3631    490 | 32.052 % |
23.68/23.74	c ===============================================================================
23.68/23.74	c New solution: 47656
23.68/23.74	o 47656
23.68/23.74	c Elapsed CPU time: 23.5124 s	Remaining CPU time: 156.488 s
23.68/23.74	c ===============================================================================
23.68/23.74	c |      3641 |    3941    27687   352268 |     9229     3637    490 | 32.052 % |
24.20/24.28	c |      3741 |    3941    27687   352268 |    10151     3737    491 | 32.052 % |
24.39/24.49	c ===============================================================================
24.39/24.49	c New solution: 47655
24.39/24.49	o 47655
24.39/24.49	c Elapsed CPU time: 24.2493 s	Remaining CPU time: 155.751 s
24.39/24.49	c ===============================================================================
24.39/24.49	c |      3757 |    3941    27688   354311 |     9229     3753    492 | 32.052 % |
25.09/25.12	c |      3857 |    3941    27688   354311 |    10152     3853    495 | 32.052 % |
25.19/25.25	c ===============================================================================
25.19/25.25	c New solution: 46140
25.19/25.25	o 46140
25.19/25.25	c Elapsed CPU time: 25.0142 s	Remaining CPU time: 154.986 s
25.19/25.25	c ===============================================================================
25.19/25.25	c |      3860 |    3941    27689   356354 |     9229     3856    495 | 32.052 % |
25.29/25.39	c ===============================================================================
25.29/25.39	c New solution: 46051
25.29/25.39	o 46051
25.29/25.39	c Elapsed CPU time: 25.1482 s	Remaining CPU time: 154.852 s
25.29/25.39	c ===============================================================================
25.29/25.39	c |      3867 |    3941    27690   358397 |     9230     3863    495 | 32.052 % |
25.98/26.00	c |      3968 |    3941    27690   358397 |    10153     3964    497 | 32.052 % |
26.08/26.15	c ===============================================================================
26.08/26.15	c New solution: 46039
26.08/26.15	o 46039
26.08/26.15	c Elapsed CPU time: 25.9081 s	Remaining CPU time: 154.092 s
26.08/26.15	c ===============================================================================
26.08/26.15	c |      3968 |    3941    27691   360440 |     9230     3964    497 | 32.052 % |
26.68/26.74	c |      4068 |    3941    27691   360440 |    10153     4064    500 | 32.052 % |
27.09/27.16	c ===============================================================================
27.09/27.16	c New solution: 45996
27.09/27.16	o 45996
27.09/27.16	c Elapsed CPU time: 26.9209 s	Remaining CPU time: 153.079 s
27.09/27.16	c ===============================================================================
27.09/27.16	c |      4097 |    3941    27692   362483 |     9230     4093    499 | 32.052 % |
27.29/27.35	c ===============================================================================
27.29/27.35	c New solution: 44526
27.29/27.35	o 44526
27.29/27.35	c Elapsed CPU time: 27.1029 s	Remaining CPU time: 152.897 s
27.29/27.35	c ===============================================================================
27.29/27.35	c |      4098 |    3941    27693   364526 |     9231     4094    499 | 32.052 % |
27.40/27.47	c ===============================================================================
27.40/27.47	c New solution: 44525
27.40/27.48	o 44525
27.40/27.48	c Elapsed CPU time: 27.2309 s	Remaining CPU time: 152.769 s
27.40/27.48	c ===============================================================================
27.40/27.48	c |      4103 |    3941    27694   366569 |     9231     4099    499 | 32.052 % |
27.59/27.65	c ===============================================================================
27.59/27.65	c New solution: 44439
27.59/27.65	o 44439
27.59/27.65	c Elapsed CPU time: 27.4098 s	Remaining CPU time: 152.59 s
27.59/27.65	c ===============================================================================
27.59/27.65	c |      4103 |    3941    27695   368612 |     9231     4099    499 | 32.052 % |
27.89/27.91	c ===============================================================================
27.89/27.91	c New solution: 44438
27.89/27.91	o 44438
27.89/27.91	c Elapsed CPU time: 27.6678 s	Remaining CPU time: 152.332 s
27.89/27.91	c ===============================================================================
27.89/27.91	c |      4111 |    3941    27696   370655 |     9232     4107    499 | 32.052 % |
28.29/28.32	c |      4213 |    3941    27696   370655 |    10155     4209    502 | 32.052 % |
28.49/28.55	c ===============================================================================
28.49/28.55	c New solution: 44421
28.49/28.55	o 44421
28.49/28.55	c Elapsed CPU time: 28.3027 s	Remaining CPU time: 151.697 s
28.49/28.55	c ===============================================================================
28.49/28.55	c |      4217 |    3941    27697   372698 |     9232     4213    502 | 32.052 % |
29.08/29.11	c ===============================================================================
29.08/29.11	c New solution: 44420
29.08/29.11	o 44420
29.08/29.11	c Elapsed CPU time: 28.8656 s	Remaining CPU time: 151.134 s
29.08/29.11	c ===============================================================================
29.08/29.11	c |      4270 |    3941    27698   374741 |     9232     4266    503 | 32.052 % |
29.59/29.69	c |      4370 |    3941    27698   374741 |    10155     4366    506 | 32.052 % |
29.88/29.95	c ===============================================================================
29.88/29.95	c New solution: 44419
29.88/29.95	o 44419
29.88/29.95	c Elapsed CPU time: 29.7035 s	Remaining CPU time: 150.297 s
29.88/29.95	c ===============================================================================
29.88/29.95	c |      4377 |    3941    27699   376784 |     9233     4373    506 | 32.052 % |
30.28/30.36	c ===============================================================================
30.28/30.36	c New solution: 44387
30.28/30.36	o 44387
30.28/30.36	c Elapsed CPU time: 30.1044 s	Remaining CPU time: 149.896 s
30.28/30.36	c ===============================================================================
30.28/30.36	c |      4432 |    3941    27700   378827 |     9233     4428    505 | 32.052 % |
30.48/30.55	c ===============================================================================
30.48/30.55	c New solution: 42901
30.48/30.55	o 42901
30.48/30.55	c Elapsed CPU time: 30.2934 s	Remaining CPU time: 149.707 s
30.48/30.55	c ===============================================================================
30.48/30.55	c |      4434 |    3941    27701   380870 |     9233     4430    505 | 32.052 % |
30.59/30.68	c ===============================================================================
30.59/30.68	c New solution: 42884
30.59/30.68	o 42884
30.59/30.68	c Elapsed CPU time: 30.4274 s	Remaining CPU time: 149.573 s
30.59/30.68	c ===============================================================================
30.59/30.68	c |      4435 |    3941    27702   382913 |     9234     4431    505 | 32.052 % |
30.69/30.79	c ===============================================================================
30.69/30.79	c New solution: 41277
30.69/30.79	o 41277
30.69/30.79	c Elapsed CPU time: 30.5314 s	Remaining CPU time: 149.469 s
30.69/30.79	c ===============================================================================
30.69/30.79	c |      4441 |    3941    27703   384956 |     9234     4437    505 | 32.052 % |
30.89/30.96	c ===============================================================================
30.89/30.96	c New solution: 41183
30.89/30.96	o 41183
30.89/30.96	c Elapsed CPU time: 30.7013 s	Remaining CPU time: 149.299 s
30.89/30.96	c ===============================================================================
30.89/30.96	c |      4441 |    3941    27704   386999 |     9234     4437    505 | 32.052 % |
31.08/31.12	c ===============================================================================
31.08/31.12	c New solution: 39654
31.08/31.12	o 39654
31.08/31.12	c Elapsed CPU time: 30.8643 s	Remaining CPU time: 149.136 s
31.08/31.12	c ===============================================================================
31.08/31.12	c |      4442 |    3941    27705   389042 |     9235     4438    505 | 32.052 % |
31.18/31.29	c ===============================================================================
31.18/31.29	c New solution: 39649
31.18/31.29	o 39649
31.18/31.29	c Elapsed CPU time: 31.0273 s	Remaining CPU time: 148.973 s
31.18/31.29	c ===============================================================================
31.18/31.29	c |      4443 |    3941    27706   391085 |     9235     4439    505 | 32.052 % |
31.38/31.47	c ===============================================================================
31.38/31.47	c New solution: 39647
31.38/31.47	o 39647
31.38/31.47	c Elapsed CPU time: 31.2083 s	Remaining CPU time: 148.792 s
31.38/31.47	c ===============================================================================
31.38/31.47	c |      4445 |    3941    27707   393128 |     9235     4441    505 | 32.052 % |
32.09/32.16	c |      4546 |    3941    27707   393128 |    10159     4542    509 | 32.052 % |
32.29/32.39	c ===============================================================================
32.29/32.39	c New solution: 39551
32.29/32.39	o 39551
32.29/32.39	c Elapsed CPU time: 32.1211 s	Remaining CPU time: 147.879 s
32.29/32.39	c ===============================================================================
32.29/32.39	c |      4549 |    3941    27708   395171 |     9236     4545    509 | 32.052 % |
32.58/32.65	c ===============================================================================
32.58/32.65	c New solution: 39549
32.58/32.65	o 39549
32.58/32.65	c Elapsed CPU time: 32.3811 s	Remaining CPU time: 147.619 s
32.58/32.65	c ===============================================================================
32.58/32.65	c |      4551 |    3941    27709   397214 |     9236     4547    509 | 32.052 % |
32.78/32.83	c ===============================================================================
32.78/32.83	c New solution: 39535
32.78/32.83	o 39535
32.78/32.83	c Elapsed CPU time: 32.559 s	Remaining CPU time: 147.441 s
32.78/32.83	c ===============================================================================
32.78/32.83	c |      4564 |    3941    27710   399257 |     9236     4560    509 | 32.052 % |
32.89/32.99	c ===============================================================================
32.89/32.99	c New solution: 39530
32.89/32.99	o 39530
32.89/32.99	c Elapsed CPU time: 32.714 s	Remaining CPU time: 147.286 s
32.89/32.99	c ===============================================================================
32.89/32.99	c |      4567 |    3941    27711   401300 |     9237     4563    509 | 32.052 % |
33.58/33.66	c ===============================================================================
33.58/33.66	c New solution: 39529
33.58/33.66	o 39529
33.58/33.66	c Elapsed CPU time: 33.3899 s	Remaining CPU time: 146.61 s
33.58/33.66	c ===============================================================================
33.58/33.66	c |      4655 |    3941    27712   403343 |     9237     4651    511 | 32.052 % |
33.98/34.06	c |      4755 |    3941    27712   403343 |    10161     4751    513 | 32.052 % |
34.28/34.35	c ===============================================================================
34.28/34.35	c New solution: 39528
34.28/34.35	o 39528
34.28/34.35	c Elapsed CPU time: 34.0778 s	Remaining CPU time: 145.922 s
34.28/34.35	c ===============================================================================
34.28/34.35	c |      4783 |    3941    27713   405386 |     9237     4779    513 | 32.052 % |
35.19/35.25	c |      4884 |    3941    27713   405386 |    10161     4880    514 | 32.052 % |
35.38/35.47	c ===============================================================================
35.38/35.47	c New solution: 39527
35.38/35.47	o 39527
35.38/35.47	c Elapsed CPU time: 35.1897 s	Remaining CPU time: 144.81 s
35.38/35.47	c ===============================================================================
35.38/35.47	c |      4886 |    3941    27714   407429 |     9238     4882    514 | 32.052 % |
35.58/35.68	c ===============================================================================
35.58/35.68	c New solution: 38024
35.58/35.68	o 38024
35.58/35.68	c Elapsed CPU time: 35.4046 s	Remaining CPU time: 144.595 s
35.58/35.68	c ===============================================================================
35.58/35.68	c |      4889 |    3941    27715   409472 |     9238     4885    514 | 32.052 % |
35.88/35.91	c ===============================================================================
35.88/35.91	c New solution: 37949
35.88/35.91	o 37949
35.88/35.91	c Elapsed CPU time: 35.6296 s	Remaining CPU time: 144.37 s
35.88/35.91	c ===============================================================================
35.88/35.91	c |      4896 |    3941    27716   411515 |     9238     4892    514 | 32.052 % |
36.29/36.36	c |      4997 |    3941    27716   411515 |    10162     4993    517 | 32.052 % |
36.48/36.60	c ===============================================================================
36.48/36.60	c New solution: 37946
36.48/36.60	o 37946
36.48/36.60	c Elapsed CPU time: 36.3165 s	Remaining CPU time: 143.684 s
36.48/36.60	c ===============================================================================
36.48/36.60	c |      5002 |    3941    27717   413558 |     9239     4998    517 | 32.052 % |
36.78/36.83	c ===============================================================================
36.78/36.83	c New solution: 37945
36.78/36.83	o 37945
36.78/36.83	c Elapsed CPU time: 36.5484 s	Remaining CPU time: 143.452 s
36.78/36.83	c ===============================================================================
36.78/36.83	c |      5008 |    3941    27718   415601 |     9239     5004    517 | 32.052 % |
36.98/37.07	c ===============================================================================
36.98/37.07	c New solution: 37927
36.98/37.07	o 37927
36.98/37.07	c Elapsed CPU time: 36.7924 s	Remaining CPU time: 143.208 s
36.98/37.07	c ===============================================================================
36.98/37.07	c |      5012 |    3941    27719   417644 |     9239     5008    517 | 32.052 % |
37.18/37.29	c ===============================================================================
37.18/37.29	c New solution: 37906
37.18/37.29	o 37906
37.18/37.29	c Elapsed CPU time: 37.0064 s	Remaining CPU time: 142.994 s
37.18/37.29	c ===============================================================================
37.18/37.29	c |      5012 |    3941    27720   419687 |     9240     5008    517 | 32.052 % |
37.48/37.50	c ===============================================================================
37.48/37.50	c New solution: 37905
37.48/37.50	o 37905
37.48/37.50	c Elapsed CPU time: 37.2213 s	Remaining CPU time: 142.779 s
37.48/37.50	c ===============================================================================
37.48/37.50	c |      5012 |    3941    27721   421730 |     9240     5008    517 | 32.052 % |
37.68/37.78	c ===============================================================================
37.68/37.78	c New solution: 36412
37.68/37.78	o 36412
37.68/37.78	c Elapsed CPU time: 37.4973 s	Remaining CPU time: 142.503 s
37.68/37.78	c ===============================================================================
37.68/37.78	c |      5018 |    3941    27722   423773 |     9240     5014    517 | 32.052 % |
37.88/37.97	c ===============================================================================
37.88/37.97	c New solution: 36281
37.88/37.97	o 36281
37.88/37.97	c Elapsed CPU time: 37.6923 s	Remaining CPU time: 142.308 s
37.88/37.97	c ===============================================================================
37.88/37.97	c |      5023 |    3941    27723   425816 |     9241     5019    517 | 32.052 % |
38.39/38.47	c ===============================================================================
38.39/38.47	c New solution: 36280
38.39/38.47	o 36280
38.39/38.47	c Elapsed CPU time: 38.1882 s	Remaining CPU time: 141.812 s
38.39/38.47	c ===============================================================================
38.39/38.47	c |      5092 |    3941    27724   427859 |     9241     5088    517 | 32.052 % |
38.58/38.67	c ===============================================================================
38.58/38.67	c New solution: 36279
38.58/38.67	o 36279
38.58/38.67	c Elapsed CPU time: 38.3872 s	Remaining CPU time: 141.613 s
38.58/38.67	c ===============================================================================
38.58/38.67	c |      5103 |    3941    27725   429902 |     9241     5099    517 | 32.052 % |
38.98/39.07	c ===============================================================================
38.98/39.07	c New solution: 34805
38.98/39.07	o 34805
38.98/39.07	c Elapsed CPU time: 38.7811 s	Remaining CPU time: 141.219 s
38.98/39.07	c ===============================================================================
38.98/39.07	c |      5115 |    3941    27726   431945 |     9242     5111    517 | 32.052 % |
39.18/39.29	c ===============================================================================
39.18/39.29	c New solution: 34698
39.18/39.29	o 34698
39.18/39.29	c Elapsed CPU time: 39.0011 s	Remaining CPU time: 140.999 s
39.18/39.29	c ===============================================================================
39.18/39.29	c |      5125 |    3941    27727   433988 |     9242     5121    517 | 32.052 % |
39.49/39.58	c ===============================================================================
39.49/39.58	c New solution: 34697
39.49/39.58	o 34697
39.49/39.58	c Elapsed CPU time: 39.294 s	Remaining CPU time: 140.706 s
39.49/39.58	c ===============================================================================
39.49/39.58	c |      5141 |    3941    27728   436031 |     9242     5137    517 | 32.052 % |
39.98/40.06	c |      5242 |    3941    27728   436031 |    10166     5238    519 | 32.052 % |
41.58/41.68	c |      5392 |    3941    27728   436031 |    11183     5388    517 | 32.052 % |
41.88/41.97	c ===============================================================================
41.88/41.97	c New solution: 34677
41.88/41.97	o 34677
41.88/41.97	c Elapsed CPU time: 41.6847 s	Remaining CPU time: 138.315 s
41.88/41.97	c ===============================================================================
41.88/41.97	c |      5397 |    3941    27729   438074 |     9243     5393    517 | 32.052 % |
42.28/42.39	c ===============================================================================
42.28/42.39	c New solution: 34676
42.28/42.39	o 34676
42.28/42.39	c Elapsed CPU time: 42.0976 s	Remaining CPU time: 137.902 s
42.28/42.39	c ===============================================================================
42.28/42.39	c |      5401 |    3941    27730   440117 |     9243     5397    517 | 32.052 % |
42.58/42.69	c ===============================================================================
42.58/42.69	c New solution: 34658
42.58/42.69	o 34658
42.58/42.69	c Elapsed CPU time: 42.3986 s	Remaining CPU time: 137.601 s
42.58/42.69	c ===============================================================================
42.58/42.69	c |      5402 |    3941    27731   442160 |     9243     5398    517 | 32.052 % |
43.58/43.61	c |      5502 |    3941    27731   442160 |    10168     5498    518 | 32.052 % |
44.38/44.40	c |      5654 |    3941    27731   442160 |    11184     5650    519 | 32.052 % |
45.68/45.75	c |      5880 |    3941    27731   442160 |    12303     5876    521 | 32.052 % |
45.98/46.06	c ===============================================================================
45.98/46.06	c New solution: 34657
45.98/46.06	o 34657
45.98/46.06	c Elapsed CPU time: 45.762 s	Remaining CPU time: 134.238 s
45.98/46.06	c ===============================================================================
45.98/46.06	c |      5883 |    3941    27732   444203 |     9244     5879    521 | 32.052 % |
46.58/46.69	c ===============================================================================
46.58/46.69	c New solution: 34656
46.58/46.69	o 34656
46.58/46.69	c Elapsed CPU time: 46.3919 s	Remaining CPU time: 133.608 s
46.58/46.69	c ===============================================================================
46.58/46.69	c |      5925 |    3941    27733   446246 |     9244     5921    522 | 32.052 % |
46.78/46.84	c |      6026 |    3941    27733   446246 |    10168     6022    521 | 32.052 % |
46.98/47.08	c ===============================================================================
46.98/47.08	c New solution: 34655
46.98/47.08	o 34655
46.98/47.08	c Elapsed CPU time: 46.7739 s	Remaining CPU time: 133.226 s
46.98/47.08	c ===============================================================================
46.98/47.08	c |      6051 |    3941    27734   448289 |     9244     6047    520 | 32.052 % |
47.58/47.66	c |      6151 |    3941    27734   448289 |    10169     6147    521 | 32.052 % |
47.88/47.92	c ===============================================================================
47.88/47.92	c New solution: 34654
47.88/47.92	o 34654
47.88/47.92	c Elapsed CPU time: 47.6078 s	Remaining CPU time: 132.392 s
47.88/47.92	c ===============================================================================
47.88/47.92	c |      6169 |    3941    27735   450332 |     9245     6165    521 | 32.052 % |
48.18/48.20	c ===============================================================================
48.18/48.20	c New solution: 33141
48.18/48.20	o 33141
48.18/48.20	c Elapsed CPU time: 47.8867 s	Remaining CPU time: 132.113 s
48.18/48.20	c ===============================================================================
48.18/48.20	c |      6188 |    3941    27736   452375 |     9245     6184    521 | 32.052 % |
48.39/48.49	c ===============================================================================
48.39/48.49	c New solution: 33118
48.39/48.49	o 33118
48.39/48.49	c Elapsed CPU time: 48.1767 s	Remaining CPU time: 131.823 s
48.39/48.49	c ===============================================================================
48.39/48.49	c |      6203 |    3941    27737   454418 |     9245     6199    521 | 32.052 % |
48.78/48.80	c ===============================================================================
48.78/48.80	c New solution: 33038
48.78/48.80	o 33038
48.78/48.80	c Elapsed CPU time: 48.4866 s	Remaining CPU time: 131.513 s
48.78/48.80	c ===============================================================================
48.78/48.80	c |      6227 |    3941    27738   456461 |     9246     6223    520 | 32.052 % |
49.18/49.22	c ===============================================================================
49.18/49.22	c New solution: 33037
49.18/49.22	o 33037
49.18/49.22	c Elapsed CPU time: 48.9106 s	Remaining CPU time: 131.089 s
49.18/49.22	c ===============================================================================
49.18/49.22	c |      6270 |    3941    27739   458504 |     9246     6266    521 | 32.052 % |
49.49/49.51	c ===============================================================================
49.49/49.51	c New solution: 33036
49.49/49.51	o 33036
49.49/49.51	c Elapsed CPU time: 49.2005 s	Remaining CPU time: 130.799 s
49.49/49.51	c ===============================================================================
49.49/49.51	c |      6299 |    3941    27740   460547 |     9246     6295    521 | 32.052 % |
49.98/50.02	c |      6400 |    3941    27740   460547 |    10171     6396    521 | 32.052 % |
50.08/50.19	c ===============================================================================
50.08/50.19	c New solution: 33035
50.08/50.19	o 33035
50.08/50.19	c Elapsed CPU time: 49.8704 s	Remaining CPU time: 130.13 s
50.08/50.19	c ===============================================================================
50.08/50.19	c |      6407 |    3941    27741   462590 |     9247     6403    521 | 32.052 % |
50.48/50.54	c |      6509 |    3941    27741   462590 |    10171     6505    521 | 32.052 % |
50.88/50.97	c ===============================================================================
50.88/50.97	c New solution: 33034
50.88/50.97	o 33034
50.88/50.97	c Elapsed CPU time: 50.6533 s	Remaining CPU time: 129.347 s
50.88/50.97	c ===============================================================================
50.88/50.97	c |      6571 |    3941    27742   464633 |     9247     6567    521 | 32.052 % |
51.18/51.25	c ===============================================================================
51.18/51.25	c New solution: 33033
51.18/51.25	o 33033
51.18/51.25	c Elapsed CPU time: 50.9283 s	Remaining CPU time: 129.072 s
51.18/51.25	c ===============================================================================
51.18/51.25	c |      6583 |    3941    27743   466676 |     9247     6579    521 | 32.052 % |
52.58/52.62	c |      6684 |    3941    27743   466676 |    10172     6680    521 | 32.052 % |
53.08/53.14	c ===============================================================================
53.08/53.14	c New solution: 31569
53.08/53.14	o 31569
53.08/53.14	c Elapsed CPU time: 52.823 s	Remaining CPU time: 127.177 s
53.08/53.14	c ===============================================================================
53.08/53.14	c |      6720 |    3941    27744   468719 |     9248     6716    521 | 32.052 % |
53.48/53.55	c ===============================================================================
53.48/53.55	c New solution: 31485
53.48/53.55	o 31485
53.48/53.55	c Elapsed CPU time: 53.2329 s	Remaining CPU time: 126.767 s
53.48/53.55	c ===============================================================================
53.48/53.55	c |      6727 |    3941    27745   470762 |     9248     6723    521 | 32.052 % |
53.89/53.94	c ===============================================================================
53.89/53.94	c New solution: 31484
53.89/53.94	o 31484
53.89/53.94	c Elapsed CPU time: 53.6158 s	Remaining CPU time: 126.384 s
53.89/53.94	c ===============================================================================
53.89/53.94	c |      6729 |    3941    27746   472805 |     9248     6725    521 | 32.052 % |
54.28/54.32	c ===============================================================================
54.28/54.32	c New solution: 31483
54.28/54.32	o 31483
54.28/54.32	c Elapsed CPU time: 53.9958 s	Remaining CPU time: 126.004 s
54.28/54.32	c ===============================================================================
54.28/54.32	c |      6729 |    3941    27747   474848 |     9249     6725    521 | 32.052 % |
54.68/54.70	c ===============================================================================
54.68/54.70	c New solution: 31482
54.68/54.70	o 31482
54.68/54.70	c Elapsed CPU time: 54.3747 s	Remaining CPU time: 125.625 s
54.68/54.70	c ===============================================================================
54.68/54.70	c |      6729 |    3941    27748   476891 |     9249     6725    521 | 32.052 % |
54.99/55.08	c ===============================================================================
54.99/55.08	c New solution: 31481
54.99/55.08	o 31481
54.99/55.08	c Elapsed CPU time: 54.7577 s	Remaining CPU time: 125.242 s
54.99/55.08	c ===============================================================================
54.99/55.08	c |      6729 |    3941    27749   478934 |     9249     6725    521 | 32.052 % |
55.48/55.56	c ===============================================================================
55.48/55.56	c New solution: 31480
55.48/55.56	o 31480
55.48/55.56	c Elapsed CPU time: 55.2336 s	Remaining CPU time: 124.766 s
55.48/55.56	c ===============================================================================
55.48/55.56	c |      6730 |    3941    27750   480977 |     9250     6726    520 | 32.052 % |
55.88/55.94	c ===============================================================================
55.88/55.94	c New solution: 31479
55.88/55.94	o 31479
55.88/55.94	c Elapsed CPU time: 55.6155 s	Remaining CPU time: 124.384 s
55.88/55.94	c ===============================================================================
55.88/55.94	c |      6730 |    3941    27751   483020 |     9250     6726    520 | 32.052 % |
56.28/56.33	c ===============================================================================
56.28/56.33	c New solution: 31478
56.28/56.33	o 31478
56.28/56.33	c Elapsed CPU time: 56.0005 s	Remaining CPU time: 124 s
56.28/56.33	c ===============================================================================
56.28/56.33	c |      6730 |    3941    27752   485063 |     9250     6726    520 | 32.052 % |
56.68/56.70	c ===============================================================================
56.68/56.70	c New solution: 31477
56.68/56.70	o 31477
56.68/56.70	c Elapsed CPU time: 56.3774 s	Remaining CPU time: 123.623 s
56.68/56.70	c ===============================================================================
56.68/56.70	c |      6730 |    3941    27753   487106 |     9251     6726    520 | 32.052 % |
56.97/57.09	c ===============================================================================
56.97/57.09	c New solution: 31476
56.97/57.09	o 31476
56.97/57.09	c Elapsed CPU time: 56.7624 s	Remaining CPU time: 123.238 s
56.97/57.09	c ===============================================================================
56.97/57.09	c |      6730 |    3941    27754   489149 |     9251     6726    520 | 32.052 % |
58.07/58.17	c |      6831 |    3941    27754   489149 |    10176     6827    522 | 32.052 % |
58.47/58.55	c ===============================================================================
58.47/58.55	c New solution: 31459
58.47/58.55	o 31459
58.47/58.55	c Elapsed CPU time: 58.2211 s	Remaining CPU time: 121.779 s
58.47/58.55	c ===============================================================================
58.47/58.55	c |      6837 |    3941    27755   491192 |     9251     6833    522 | 32.052 % |
59.87/59.90	c |      6937 |    3941    27755   491192 |    10176     6933    523 | 32.052 % |
60.17/60.25	c ===============================================================================
60.17/60.25	c New solution: 31458
60.17/60.25	o 31458
60.17/60.25	c Elapsed CPU time: 59.9219 s	Remaining CPU time: 120.078 s
60.17/60.25	c ===============================================================================
60.17/60.25	c |      6938 |    3941    27756   493235 |     9252     6934    523 | 32.052 % |
60.58/60.62	c ===============================================================================
60.58/60.62	c New solution: 31457
60.58/60.62	o 31457
60.58/60.62	c Elapsed CPU time: 60.2858 s	Remaining CPU time: 119.714 s
60.58/60.62	c ===============================================================================
60.58/60.62	c |      6941 |    3941    27757   495278 |     9252     6937    523 | 32.052 % |
60.98/61.01	c ===============================================================================
60.98/61.01	c New solution: 31393
60.98/61.01	o 31393
60.98/61.01	c Elapsed CPU time: 60.6748 s	Remaining CPU time: 119.325 s
60.98/61.01	c ===============================================================================
60.98/61.01	c |      6955 |    3941    27758   497321 |     9252     6951    523 | 32.052 % |
62.28/62.37	c ===============================================================================
62.28/62.37	c New solution: 31392
62.28/62.37	o 31392
62.28/62.37	c Elapsed CPU time: 62.0376 s	Remaining CPU time: 117.962 s
62.28/62.37	c ===============================================================================
62.28/62.37	c |      7021 |    3941    27759   499364 |     9253     7017    523 | 32.052 % |
63.79/63.85	c |      7123 |    3941    27759   499364 |    10178     7119    523 | 32.052 % |
64.08/64.18	c ===============================================================================
64.08/64.18	c New solution: 29926
64.08/64.18	o 29926
64.08/64.18	c Elapsed CPU time: 63.8483 s	Remaining CPU time: 116.152 s
64.08/64.18	c ===============================================================================
64.08/64.18	c |      7127 |    3941    27760   501407 |     9253     7123    523 | 32.052 % |
64.48/64.51	c ===============================================================================
64.48/64.51	c New solution: 29801
64.48/64.51	o 29801
64.48/64.51	c Elapsed CPU time: 64.1722 s	Remaining CPU time: 115.828 s
64.48/64.51	c ===============================================================================
64.48/64.51	c |      7130 |    3941    27761   503450 |     9253     7126    523 | 32.052 % |
64.78/64.81	c ===============================================================================
64.78/64.81	c New solution: 29800
64.78/64.81	o 29800
64.78/64.81	c Elapsed CPU time: 64.4722 s	Remaining CPU time: 115.528 s
64.78/64.81	c ===============================================================================
64.78/64.81	c |      7132 |    3941    27762   505493 |     9254     7128    523 | 32.052 % |
65.28/65.37	c ===============================================================================
65.28/65.37	c New solution: 28295
65.28/65.37	o 28295
65.28/65.37	c Elapsed CPU time: 65.0341 s	Remaining CPU time: 114.966 s
65.28/65.37	c ===============================================================================
65.28/65.37	c |      7149 |    3941    27763   507536 |     9254     7145    523 | 32.052 % |
65.68/65.71	c ===============================================================================
65.68/65.71	c New solution: 28204
65.68/65.71	o 28204
65.68/65.71	c Elapsed CPU time: 65.3681 s	Remaining CPU time: 114.632 s
65.68/65.71	c ===============================================================================
65.68/65.71	c |      7160 |    3941    27764   509579 |     9254     7156    523 | 32.052 % |
65.98/66.05	c ===============================================================================
65.98/66.05	c New solution: 28203
65.98/66.05	o 28203
65.98/66.05	c Elapsed CPU time: 65.713 s	Remaining CPU time: 114.287 s
65.98/66.05	c ===============================================================================
65.98/66.05	c |      7168 |    3941    27765   511622 |     9255     7164    523 | 32.052 % |
66.27/66.38	c ===============================================================================
66.27/66.38	c New solution: 28197
66.27/66.38	o 28197
66.27/66.38	c Elapsed CPU time: 66.039 s	Remaining CPU time: 113.961 s
66.27/66.38	c ===============================================================================
66.27/66.38	c |      7172 |    3941    27766   513665 |     9255     7168    523 | 32.052 % |
66.99/67.06	c |      7272 |    3941    27766   513665 |    10180     7268    524 | 32.052 % |
67.38/67.45	c ===============================================================================
67.38/67.45	c New solution: 28141
67.38/67.45	o 28141
67.38/67.45	c Elapsed CPU time: 67.1068 s	Remaining CPU time: 112.893 s
67.38/67.45	c ===============================================================================
67.38/67.45	c |      7282 |    3941    27767   515708 |     9255     7278    524 | 32.052 % |
67.87/67.92	c ===============================================================================
67.87/67.92	c New solution: 28140
67.87/67.92	o 28140
67.87/67.92	c Elapsed CPU time: 67.5767 s	Remaining CPU time: 112.423 s
67.87/67.92	c ===============================================================================
67.87/67.92	c |      7325 |    3941    27768   517751 |     9256     7321    524 | 32.052 % |
68.18/68.20	c ===============================================================================
68.18/68.20	c New solution: 28139
68.18/68.20	o 28139
68.18/68.20	c Elapsed CPU time: 67.8557 s	Remaining CPU time: 112.144 s
68.18/68.20	c ===============================================================================
68.18/68.20	c |      7328 |    3941    27769   519794 |     9256     7324    524 | 32.052 % |
68.57/68.62	c ===============================================================================
68.57/68.62	c New solution: 26680
68.57/68.62	o 26680
68.57/68.62	c Elapsed CPU time: 68.2656 s	Remaining CPU time: 111.734 s
68.57/68.62	c ===============================================================================
68.57/68.62	c |      7333 |    3941    27770   521837 |     9256     7329    524 | 32.052 % |
69.07/69.19	c ===============================================================================
69.07/69.19	c New solution: 26661
69.07/69.19	o 26661
69.07/69.19	c Elapsed CPU time: 68.8365 s	Remaining CPU time: 111.163 s
69.07/69.19	c ===============================================================================
69.07/69.19	c |      7374 |    3941    27771   523880 |     9257     7370    523 | 32.052 % |
69.47/69.57	c ===============================================================================
69.47/69.57	c New solution: 26660
69.47/69.57	o 26660
69.47/69.57	c Elapsed CPU time: 69.2185 s	Remaining CPU time: 110.782 s
69.47/69.57	c ===============================================================================
69.47/69.57	c |      7390 |    3941    27772   525923 |     9257     7386    523 | 32.052 % |
69.87/69.90	c ===============================================================================
69.87/69.90	c New solution: 26570
69.87/69.90	o 26570
69.87/69.90	c Elapsed CPU time: 69.5504 s	Remaining CPU time: 110.45 s
69.87/69.90	c ===============================================================================
69.87/69.90	c |      7403 |    3941    27773   527966 |     9257     7399    523 | 32.052 % |
70.08/70.14	c |      7503 |    3941    27773   527966 |    10183     7499    522 | 32.052 % |
70.38/70.42	c ===============================================================================
70.38/70.42	c New solution: 26566
70.38/70.42	o 26566
70.38/70.42	c Elapsed CPU time: 70.0653 s	Remaining CPU time: 109.935 s
70.38/70.42	c ===============================================================================
70.38/70.42	c |      7505 |    3941    27774   530009 |     9258     7501    522 | 32.052 % |
71.08/71.15	c |      7606 |    3941    27774   530009 |    10183     7602    523 | 32.052 % |
71.88/71.94	c ===============================================================================
71.88/71.94	c New solution: 26565
71.88/71.94	o 26565
71.88/71.94	c Elapsed CPU time: 71.5821 s	Remaining CPU time: 108.418 s
71.88/71.94	c ===============================================================================
71.88/71.94	c |      7640 |    3941    27775   532052 |     9258     7636    523 | 32.052 % |
72.28/72.37	c ===============================================================================
72.28/72.37	c New solution: 26559
72.28/72.37	o 26559
72.28/72.37	c Elapsed CPU time: 72.0091 s	Remaining CPU time: 107.991 s
72.28/72.37	c ===============================================================================
72.28/72.37	c |      7652 |    3941    27776   534095 |     9258     7648    523 | 32.052 % |
72.97/73.01	c |      7753 |    3941    27776   534095 |    10184     7749    523 | 32.052 % |
73.27/73.31	c ===============================================================================
73.27/73.31	c New solution: 26558
73.27/73.31	o 26558
73.27/73.31	c Elapsed CPU time: 72.9509 s	Remaining CPU time: 107.049 s
73.27/73.31	c ===============================================================================
73.27/73.31	c |      7759 |    3941    27777   536138 |     9259     7755    523 | 32.052 % |
73.77/73.82	c ===============================================================================
73.77/73.82	c New solution: 26552
73.77/73.82	o 26552
73.77/73.82	c Elapsed CPU time: 73.4628 s	Remaining CPU time: 106.537 s
73.77/73.82	c ===============================================================================
73.77/73.82	c |      7806 |    3941    27778   538181 |     9259     7802    523 | 32.052 % |
74.37/74.44	c |      7906 |    3941    27778   538181 |    10185     7902    523 | 32.052 % |
74.68/74.79	c ===============================================================================
74.68/74.79	c New solution: 26551
74.68/74.79	o 26551
74.68/74.79	c Elapsed CPU time: 74.4327 s	Remaining CPU time: 105.567 s
74.68/74.79	c ===============================================================================
74.68/74.79	c |      7922 |    3941    27779   540224 |     9259     7918    523 | 32.052 % |
75.47/75.57	c |      8023 |    3941    27779   540224 |    10185     8019    523 | 32.052 % |
75.87/75.91	c ===============================================================================
75.87/75.91	c New solution: 26550
75.87/75.91	o 26550
75.87/75.91	c Elapsed CPU time: 75.5425 s	Remaining CPU time: 104.457 s
75.87/75.91	c ===============================================================================
75.87/75.91	c |      8028 |    3941    27780   542267 |     9260     8024    523 | 32.052 % |
76.77/76.84	c |      8128 |    3941    27780   542267 |    10186     8124    523 | 32.052 % |
77.07/77.16	c ===============================================================================
77.07/77.16	c New solution: 26549
77.07/77.16	o 26549
77.07/77.16	c Elapsed CPU time: 76.7943 s	Remaining CPU time: 103.206 s
77.07/77.16	c ===============================================================================
77.07/77.16	c |      8140 |    3941    27781   544310 |     9260     8136    523 | 32.052 % |
77.77/77.80	c ===============================================================================
77.77/77.80	c New solution: 26548
77.77/77.80	o 26548
77.77/77.80	c Elapsed CPU time: 77.4362 s	Remaining CPU time: 102.564 s
77.77/77.80	c ===============================================================================
77.77/77.80	c |      8191 |    3941    27782   546353 |     9260     8187    523 | 32.052 % |
78.08/78.14	c ===============================================================================
78.08/78.14	c New solution: 26547
78.08/78.14	o 26547
78.08/78.14	c Elapsed CPU time: 77.7682 s	Remaining CPU time: 102.232 s
78.08/78.14	c ===============================================================================
78.08/78.14	c |      8194 |    3941    27783   548396 |     9261     8190    523 | 32.052 % |
78.47/78.53	c ===============================================================================
78.47/78.53	c New solution: 26546
78.47/78.53	o 26546
78.47/78.53	c Elapsed CPU time: 78.1641 s	Remaining CPU time: 101.836 s
78.47/78.53	c ===============================================================================
78.47/78.53	c |      8218 |    3941    27784   550439 |     9261     8214    523 | 32.052 % |
79.57/79.66	c |      8318 |    3941    27784   550439 |    10187     8314    524 | 32.052 % |
80.18/80.22	c ===============================================================================
80.18/80.22	c New solution: 26533
80.18/80.22	o 26533
80.18/80.22	c Elapsed CPU time: 79.8509 s	Remaining CPU time: 100.149 s
80.18/80.22	c ===============================================================================
80.18/80.22	c |      8328 |    3941    27785   552482 |     9261     8324    523 | 32.052 % |
80.57/80.62	c ===============================================================================
80.57/80.62	c New solution: 26532
80.57/80.62	o 26532
80.57/80.62	c Elapsed CPU time: 80.2498 s	Remaining CPU time: 99.7502 s
80.57/80.62	c ===============================================================================
80.57/80.62	c |      8334 |    3941    27786   554525 |     9262     8330    523 | 32.052 % |
81.07/81.14	c ===============================================================================
81.07/81.14	c New solution: 26531
81.07/81.14	o 26531
81.07/81.14	c Elapsed CPU time: 80.7657 s	Remaining CPU time: 99.2343 s
81.07/81.14	c ===============================================================================
81.07/81.14	c |      8380 |    3941    27787   556568 |     9262     8376    523 | 32.052 % |
81.38/81.42	c ===============================================================================
81.38/81.42	c New solution: 26530
81.38/81.42	o 26530
81.38/81.42	c Elapsed CPU time: 81.0447 s	Remaining CPU time: 98.9553 s
81.38/81.42	c ===============================================================================
81.38/81.42	c |      8382 |    3941    27788   558611 |     9262     8378    523 | 32.052 % |
82.17/82.23	c |      8482 |    3941    27788   558611 |    10188     8478    524 | 32.052 % |
82.38/82.49	c ===============================================================================
82.38/82.49	c New solution: 26529
82.38/82.49	o 26529
82.38/82.49	c Elapsed CPU time: 82.1145 s	Remaining CPU time: 97.8855 s
82.38/82.49	c ===============================================================================
82.38/82.49	c |      8490 |    3941    27789   560654 |     9263     8486    524 | 32.052 % |
83.27/83.34	c |      8591 |    3941    27789   560654 |    10189     8587    524 | 32.052 % |
83.58/83.64	c ===============================================================================
83.58/83.64	c New solution: 26528
83.58/83.64	o 26528
83.58/83.64	c Elapsed CPU time: 83.2573 s	Remaining CPU time: 96.7427 s
83.58/83.64	c ===============================================================================
83.58/83.64	c |      8599 |    3941    27790   562697 |     9263     8595    524 | 32.052 % |
83.87/83.98	c ===============================================================================
83.87/83.98	c New solution: 26527
83.87/83.98	o 26527
83.87/83.98	c Elapsed CPU time: 83.6013 s	Remaining CPU time: 96.3987 s
83.87/83.98	c ===============================================================================
83.87/83.98	c |      8622 |    3941    27791   564740 |     9263     8618    524 | 32.052 % |
84.17/84.26	c ===============================================================================
84.17/84.26	c New solution: 26526
84.17/84.26	o 26526
84.17/84.26	c Elapsed CPU time: 83.8832 s	Remaining CPU time: 96.1168 s
84.17/84.26	c ===============================================================================
84.17/84.26	c |      8627 |    3941    27792   566783 |     9264     8623    524 | 32.052 % |
85.07/85.11	c ===============================================================================
85.07/85.11	c New solution: 25056
85.07/85.11	o 25056
85.07/85.11	c Elapsed CPU time: 84.7291 s	Remaining CPU time: 95.2709 s
85.07/85.11	c ===============================================================================
85.07/85.11	c |      8645 |    3941    27793   568826 |     9264     8641    524 | 32.052 % |
85.47/85.51	c ===============================================================================
85.47/85.51	c New solution: 24924
85.47/85.51	o 24924
85.47/85.51	c Elapsed CPU time: 85.1271 s	Remaining CPU time: 94.8729 s
85.47/85.51	c ===============================================================================
85.47/85.51	c |      8649 |    3941    27794   570869 |     9264     8645    524 | 32.052 % |
85.77/85.86	c ===============================================================================
85.77/85.86	c New solution: 24923
85.77/85.86	o 24923
85.77/85.86	c Elapsed CPU time: 85.472 s	Remaining CPU time: 94.528 s
85.77/85.86	c ===============================================================================
85.77/85.86	c |      8658 |    3941    27795   572912 |     9265     8654    523 | 32.052 % |
86.17/86.20	c ===============================================================================
86.17/86.20	c New solution: 24922
86.17/86.20	o 24922
86.17/86.20	c Elapsed CPU time: 85.819 s	Remaining CPU time: 94.181 s
86.17/86.20	c ===============================================================================
86.17/86.20	c |      8663 |    3941    27796   574955 |     9265     8659    523 | 32.052 % |
87.06/87.14	c |      8764 |    3941    27796   574955 |    10191     8760    524 | 32.052 % |
87.37/87.45	c ===============================================================================
87.37/87.45	c New solution: 24921
87.37/87.45	o 24921
87.37/87.45	c Elapsed CPU time: 87.0658 s	Remaining CPU time: 92.9342 s
87.37/87.45	c ===============================================================================
87.37/87.45	c |      8772 |    3941    27797   576998 |     9265     8768    524 | 32.052 % |
87.67/87.75	c ===============================================================================
87.67/87.75	c New solution: 24920
87.67/87.75	o 24920
87.67/87.75	c Elapsed CPU time: 87.3647 s	Remaining CPU time: 92.6353 s
87.67/87.75	c ===============================================================================
87.67/87.75	c |      8772 |    3941    27798   579041 |     9266     8768    524 | 32.052 % |
87.98/88.06	c ===============================================================================
87.98/88.06	c New solution: 24919
87.98/88.06	o 24919
87.98/88.06	c Elapsed CPU time: 87.6657 s	Remaining CPU time: 92.3343 s
87.98/88.06	c ===============================================================================
87.98/88.06	c |      8772 |    3941    27799   581084 |     9266     8768    524 | 32.052 % |
88.27/88.35	c ===============================================================================
88.27/88.35	c New solution: 24918
88.27/88.35	o 24918
88.27/88.35	c Elapsed CPU time: 87.9586 s	Remaining CPU time: 92.0414 s
88.27/88.35	c ===============================================================================
88.27/88.35	c |      8772 |    3941    27800   583127 |     9266     8768    524 | 32.052 % |
88.57/88.65	c ===============================================================================
88.57/88.65	c New solution: 24917
88.57/88.65	o 24917
88.57/88.65	c Elapsed CPU time: 88.2566 s	Remaining CPU time: 91.7434 s
88.57/88.65	c ===============================================================================
88.57/88.65	c |      8772 |    3941    27801   585170 |     9267     8768    524 | 32.052 % |
88.87/88.94	c ===============================================================================
88.87/88.94	c New solution: 24916
88.87/88.94	o 24916
88.87/88.94	c Elapsed CPU time: 88.5485 s	Remaining CPU time: 91.4515 s
88.87/88.94	c ===============================================================================
88.87/88.94	c |      8772 |    3941    27802   587213 |     9267     8768    524 | 32.052 % |
89.17/89.23	c ===============================================================================
89.17/89.23	c New solution: 24915
89.17/89.23	o 24915
89.17/89.23	c Elapsed CPU time: 88.8415 s	Remaining CPU time: 91.1585 s
89.17/89.23	c ===============================================================================
89.17/89.23	c |      8772 |    3941    27803   589256 |     9267     8768    524 | 32.052 % |
89.47/89.53	c ===============================================================================
89.47/89.53	c New solution: 24914
89.47/89.53	o 24914
89.47/89.53	c Elapsed CPU time: 89.1374 s	Remaining CPU time: 90.8626 s
89.47/89.53	c ===============================================================================
89.47/89.53	c |      8772 |    3941    27804   591299 |     9268     8768    524 | 32.052 % |
89.77/89.83	c ===============================================================================
89.77/89.83	c New solution: 24913
89.77/89.83	o 24913
89.77/89.83	c Elapsed CPU time: 89.4324 s	Remaining CPU time: 90.5676 s
89.77/89.83	c ===============================================================================
89.77/89.83	c |      8772 |    3941    27805   593342 |     9268     8768    524 | 32.052 % |
90.07/90.12	c ===============================================================================
90.07/90.12	c New solution: 24912
90.07/90.12	o 24912
90.07/90.12	c Elapsed CPU time: 89.7254 s	Remaining CPU time: 90.2746 s
90.07/90.12	c ===============================================================================
90.07/90.12	c |      8772 |    3941    27806   595385 |     9268     8768    524 | 32.052 % |
90.37/90.41	c ===============================================================================
90.37/90.41	c New solution: 24911
90.37/90.41	o 24911
90.37/90.41	c Elapsed CPU time: 90.0143 s	Remaining CPU time: 89.9857 s
90.37/90.41	c ===============================================================================
90.37/90.41	c |      8772 |    3941    27807   597428 |     9269     8768    524 | 32.052 % |
90.67/90.71	c ===============================================================================
90.67/90.71	c New solution: 24910
90.67/90.71	o 24910
90.67/90.71	c Elapsed CPU time: 90.3053 s	Remaining CPU time: 89.6947 s
90.67/90.71	c ===============================================================================
90.67/90.71	c |      8772 |    3941    27808   599471 |     9269     8768    524 | 32.052 % |
90.97/91.00	c ===============================================================================
90.97/91.00	c New solution: 24909
90.97/91.00	o 24909
90.97/91.00	c Elapsed CPU time: 90.5972 s	Remaining CPU time: 89.4028 s
90.97/91.00	c ===============================================================================
90.97/91.00	c |      8772 |    3941    27809   601514 |     9269     8768    524 | 32.052 % |
91.18/91.28	c ===============================================================================
91.18/91.28	c New solution: 24908
91.18/91.28	o 24908
91.18/91.28	c Elapsed CPU time: 90.8822 s	Remaining CPU time: 89.1178 s
91.18/91.28	c ===============================================================================
91.18/91.28	c |      8773 |    3941    27810   603557 |     9270     8769    524 | 32.052 % |
92.28/92.31	c ===============================================================================
92.28/92.31	c New solution: 24907
92.28/92.31	o 24907
92.28/92.31	c Elapsed CPU time: 91.904 s	Remaining CPU time: 88.096 s
92.28/92.31	c ===============================================================================
92.28/92.31	c |      8857 |    3941    27811   605600 |     9270     8853    524 | 32.052 % |
92.47/92.57	c ===============================================================================
92.47/92.57	c New solution: 24906
92.47/92.57	o 24906
92.47/92.57	c Elapsed CPU time: 92.17 s	Remaining CPU time: 87.83 s
92.47/92.57	c ===============================================================================
92.47/92.57	c |      8865 |    3941    27812   607643 |     9270     8861    524 | 32.052 % |
93.07/93.15	c ===============================================================================
93.07/93.15	c New solution: 23433
93.07/93.15	o 23433
93.07/93.15	c Elapsed CPU time: 92.7439 s	Remaining CPU time: 87.2561 s
93.07/93.15	c ===============================================================================
93.07/93.15	c |      8886 |    3941    27813   609686 |     9271     8882    524 | 32.052 % |
93.47/93.58	c ===============================================================================
93.47/93.58	c New solution: 23334
93.47/93.58	o 23334
93.47/93.58	c Elapsed CPU time: 93.1718 s	Remaining CPU time: 86.8282 s
93.47/93.58	c ===============================================================================
93.47/93.58	c |      8895 |    3941    27814   611729 |     9271     8891    524 | 32.052 % |
94.36/94.41	c |      8996 |    3941    27814   611729 |    10198     8992    525 | 32.052 % |
94.76/94.81	c ===============================================================================
94.76/94.81	c New solution: 23333
94.76/94.81	o 23333
94.76/94.81	c Elapsed CPU time: 94.3986 s	Remaining CPU time: 85.6014 s
94.76/94.81	c ===============================================================================
94.76/94.81	c |      9000 |    3941    27815   613772 |     9271     8996    524 | 32.052 % |
95.16/95.20	c ===============================================================================
95.16/95.20	c New solution: 23320
95.16/95.20	o 23320
95.16/95.20	c Elapsed CPU time: 94.7916 s	Remaining CPU time: 85.2084 s
95.16/95.20	c ===============================================================================
95.16/95.20	c |      9010 |    3941    27816   615815 |     9272     9006    524 | 32.052 % |
95.57/95.62	c ===============================================================================
95.57/95.62	c New solution: 23319
95.57/95.62	o 23319
95.57/95.62	c Elapsed CPU time: 95.2115 s	Remaining CPU time: 84.7885 s
95.57/95.62	c ===============================================================================
95.57/95.62	c |      9027 |    3941    27817   617858 |     9272     9023    524 | 32.052 % |
96.57/96.62	c |      9128 |    3941    27817   617858 |    10199     9124    525 | 32.052 % |
97.57/97.67	c |      9279 |    3941    27817   617858 |    11219     9275    526 | 32.052 % |
97.97/98.05	c ===============================================================================
97.97/98.05	c New solution: 23318
97.97/98.05	o 23318
97.97/98.05	c Elapsed CPU time: 97.6352 s	Remaining CPU time: 82.3648 s
97.97/98.05	c ===============================================================================
97.97/98.05	c |      9285 |    3941    27818   619901 |     9272     9281    526 | 32.052 % |
98.37/98.41	c ===============================================================================
98.37/98.41	c New solution: 23317
98.37/98.41	o 23317
98.37/98.41	c Elapsed CPU time: 97.9981 s	Remaining CPU time: 82.0019 s
98.37/98.41	c ===============================================================================
98.37/98.41	c |      9294 |    3941    27819   621944 |     9273     9290    526 | 32.052 % |
98.67/98.79	c ===============================================================================
98.67/98.79	c New solution: 23316
98.67/98.79	o 23316
98.67/98.79	c Elapsed CPU time: 98.369 s	Remaining CPU time: 81.631 s
98.67/98.79	c ===============================================================================
98.67/98.79	c |      9298 |    3941    27820   623987 |     9273     9294    526 | 32.052 % |
99.06/99.18	c ===============================================================================
99.06/99.18	c New solution: 23315
99.06/99.18	o 23315
99.06/99.18	c Elapsed CPU time: 98.767 s	Remaining CPU time: 81.233 s
99.06/99.18	c ===============================================================================
99.06/99.18	c |      9305 |    3941    27821   626030 |     9273     9301    526 | 32.052 % |
99.86/99.93	c |      9405 |    3941    27821   626030 |    10201     9401    526 | 32.052 % |
100.16/100.25	c ===============================================================================
100.16/100.25	c New solution: 23314
100.16/100.25	o 23314
100.16/100.25	c Elapsed CPU time: 99.8348 s	Remaining CPU time: 80.1652 s
100.16/100.25	c ===============================================================================
100.16/100.25	c |      9416 |    3941    27822   628073 |     9274     9412    526 | 32.052 % |
100.56/100.67	c ===============================================================================
100.56/100.67	c New solution: 23307
100.56/100.67	o 23307
100.56/100.67	c Elapsed CPU time: 100.248 s	Remaining CPU time: 79.7522 s
100.56/100.67	c ===============================================================================
100.56/100.67	c |      9416 |    3941    27823   630116 |     9274     9412    526 | 32.052 % |
100.96/101.07	c ===============================================================================
100.96/101.07	c New solution: 23306
100.96/101.07	o 23306
100.96/101.07	c Elapsed CPU time: 100.653 s	Remaining CPU time: 79.3473 s
100.96/101.07	c ===============================================================================
100.96/101.07	c |      9416 |    3941    27824   632159 |     9274     9412    526 | 32.052 % |
101.36/101.48	c ===============================================================================
101.36/101.48	c New solution: 23305
101.36/101.48	o 23305
101.36/101.48	c Elapsed CPU time: 101.059 s	Remaining CPU time: 78.9414 s
101.36/101.48	c ===============================================================================
101.36/101.48	c |      9416 |    3941    27825   634202 |     9275     9412    526 | 32.052 % |
101.76/101.89	c ===============================================================================
101.76/101.89	c New solution: 23304
101.76/101.89	o 23304
101.76/101.89	c Elapsed CPU time: 101.466 s	Remaining CPU time: 78.5344 s
101.76/101.89	c ===============================================================================
101.76/101.89	c |      9416 |    3941    27826   636245 |     9275     9412    526 | 32.052 % |
102.18/102.29	c ===============================================================================
102.18/102.29	c New solution: 23303
102.18/102.29	o 23303
102.18/102.29	c Elapsed CPU time: 101.869 s	Remaining CPU time: 78.1315 s
102.18/102.29	c ===============================================================================
102.18/102.29	c |      9416 |    3941    27827   638288 |     9275     9412    526 | 32.052 % |
102.67/102.70	c ===============================================================================
102.67/102.70	c New solution: 23302
102.67/102.70	o 23302
102.67/102.70	c Elapsed CPU time: 102.275 s	Remaining CPU time: 77.7245 s
102.67/102.70	c ===============================================================================
102.67/102.70	c |      9417 |    3941    27828   640331 |     9276     9413    526 | 32.052 % |
103.57/103.63	c |      9518 |    3941    27828   640331 |    10203     9514    527 | 32.052 % |
103.87/103.94	c ===============================================================================
103.87/103.94	c New solution: 23301
103.87/103.94	o 23301
103.87/103.94	c Elapsed CPU time: 103.516 s	Remaining CPU time: 76.4837 s
103.87/103.94	c ===============================================================================
103.87/103.94	c |      9522 |    3941    27829   642374 |     9276     9518    527 | 32.052 % |
104.67/104.79	c ===============================================================================
104.67/104.79	c New solution: 21815
104.67/104.79	o 21815
104.67/104.79	c Elapsed CPU time: 104.364 s	Remaining CPU time: 75.6359 s
104.67/104.79	c ===============================================================================
104.67/104.79	c |      9572 |    3941    27830   644417 |     9276     9568    527 | 32.052 % |
105.47/105.57	c ===============================================================================
105.47/105.57	c New solution: 21693
105.47/105.57	o 21693
105.47/105.57	c Elapsed CPU time: 105.142 s	Remaining CPU time: 74.858 s
105.47/105.57	c ===============================================================================
105.47/105.57	c |      9591 |    3941    27831   646460 |     9277     9587    526 | 32.052 % |
106.17/106.25	c ===============================================================================
106.17/106.25	c New solution: 21684
106.17/106.25	o 21684
106.17/106.25	c Elapsed CPU time: 105.821 s	Remaining CPU time: 74.1791 s
106.17/106.25	c ===============================================================================
106.17/106.25	c |      9592 |    3941    27832   648503 |     9277     9588    526 | 32.052 % |
106.86/106.93	c ===============================================================================
106.86/106.93	c New solution: 21683
106.86/106.93	o 21683
106.86/106.93	c Elapsed CPU time: 106.507 s	Remaining CPU time: 73.4932 s
106.86/106.93	c ===============================================================================
106.86/106.93	c |      9592 |    3941    27833   650546 |     9277     9588    526 | 32.052 % |
107.46/107.54	c ===============================================================================
107.46/107.54	c New solution: 21680
107.46/107.54	o 21680
107.46/107.54	c Elapsed CPU time: 107.115 s	Remaining CPU time: 72.8853 s
107.46/107.54	c ===============================================================================
107.46/107.54	c |      9592 |    3941    27834   652589 |     9278     9588    526 | 32.052 % |
108.06/108.17	c ===============================================================================
108.06/108.17	c New solution: 21679
108.06/108.17	o 21679
108.06/108.17	c Elapsed CPU time: 107.739 s	Remaining CPU time: 72.2614 s
108.06/108.17	c ===============================================================================
108.06/108.17	c |      9594 |    3941    27835   654632 |     9278     9590    526 | 32.052 % |
108.87/108.99	c ===============================================================================
108.87/108.99	c New solution: 21677
108.87/108.99	o 21677
108.87/108.99	c Elapsed CPU time: 108.562 s	Remaining CPU time: 71.4375 s
108.87/108.99	c ===============================================================================
108.87/108.99	c |      9596 |    3941    27836   656675 |     9278     9592    526 | 32.052 % |
109.36/109.49	c ===============================================================================
109.36/109.49	c New solution: 21676
109.36/109.49	o 21676
109.36/109.49	c Elapsed CPU time: 109.053 s	Remaining CPU time: 70.9466 s
109.36/109.49	c ===============================================================================
109.36/109.49	c |      9602 |    3941    27837   658718 |     9279     9598    526 | 32.052 % |
110.97/111.06	c |      9703 |    3941    27837   658718 |    10206     9699    527 | 32.052 % |
111.77/111.80	c ===============================================================================
111.77/111.80	c New solution: 21675
111.77/111.80	o 21675
111.77/111.80	c Elapsed CPU time: 111.37 s	Remaining CPU time: 68.6299 s
111.77/111.80	c ===============================================================================
111.77/111.80	c |      9734 |    3941    27838   660761 |     9279     9730    527 | 32.052 % |
113.17/113.23	c |      9834 |    3941    27838   660761 |    10207     9830    527 | 32.052 % |
114.76/114.86	c |      9984 |    3941    27838   660761 |    11227     9980    527 | 32.052 % |
115.26/115.33	c ===============================================================================
115.26/115.33	c New solution: 21674
115.26/115.33	o 21674
115.26/115.33	c Elapsed CPU time: 114.891 s	Remaining CPU time: 65.1095 s
115.26/115.33	c ===============================================================================
115.26/115.33	c |      9986 |    3941    27839   662804 |     9279     9982    527 | 32.052 % |
115.66/115.73	c ===============================================================================
115.66/115.73	c New solution: 21673
115.66/115.73	o 21673
115.66/115.73	c Elapsed CPU time: 115.294 s	Remaining CPU time: 64.7055 s
115.66/115.73	c ===============================================================================
115.66/115.73	c |      9993 |    3941    27840   664847 |     9280     9989    527 | 32.052 % |
116.57/116.61	c |     10094 |    3941    27840   664847 |    10208    10090    528 | 32.052 % |
117.16/117.28	c ===============================================================================
117.16/117.28	c New solution: 21672
117.16/117.28	o 21672
117.16/117.28	c Elapsed CPU time: 116.832 s	Remaining CPU time: 63.1678 s
117.16/117.28	c ===============================================================================
117.16/117.28	c |     10142 |    3941    27841   666890 |     9280    10138    528 | 32.052 % |
118.16/118.22	c |     10242 |    3941    27841   666890 |    10208    10238    528 | 32.052 % |
118.56/118.67	c ===============================================================================
118.56/118.67	c New solution: 21671
118.56/118.67	o 21671
118.56/118.67	c Elapsed CPU time: 118.223 s	Remaining CPU time: 61.777 s
118.56/118.67	c ===============================================================================
118.56/118.67	c |     10247 |    3941    27842   668933 |     9280    10243    528 | 32.052 % |
119.36/119.46	c ===============================================================================
119.36/119.46	c New solution: 20182
119.36/119.46	o 20182
119.36/119.46	c Elapsed CPU time: 119.013 s	Remaining CPU time: 60.9871 s
119.36/119.46	c ===============================================================================
119.36/119.46	c |     10269 |    3941    27843   670976 |     9281    10265    528 | 32.052 % |
119.77/119.90	c ===============================================================================
119.77/119.90	c New solution: 20080
119.77/119.90	o 20080
119.77/119.90	c Elapsed CPU time: 119.452 s	Remaining CPU time: 60.5482 s
119.77/119.90	c ===============================================================================
119.77/119.90	c |     10283 |    3941    27844   673019 |     9281    10279    528 | 32.052 % |
120.26/120.40	c ===============================================================================
120.26/120.40	c New solution: 20063
120.26/120.40	o 20063
120.26/120.40	c Elapsed CPU time: 119.945 s	Remaining CPU time: 60.0552 s
120.26/120.40	c ===============================================================================
120.26/120.40	c |     10289 |    3941    27845   675062 |     9281    10285    528 | 32.052 % |
120.76/120.87	c ===============================================================================
120.76/120.87	c New solution: 20062
120.76/120.87	o 20062
120.76/120.87	c Elapsed CPU time: 120.412 s	Remaining CPU time: 59.5883 s
120.76/120.87	c ===============================================================================
120.76/120.87	c |     10289 |    3941    27846   677105 |     9282    10285    528 | 32.052 % |
121.26/121.33	c ===============================================================================
121.26/121.33	c New solution: 20061
121.26/121.33	o 20061
121.26/121.33	c Elapsed CPU time: 120.872 s	Remaining CPU time: 59.1284 s
121.26/121.33	c ===============================================================================
121.26/121.33	c |     10289 |    3941    27847   679148 |     9282    10285    528 | 32.052 % |
121.66/121.78	c ===============================================================================
121.66/121.78	c New solution: 20060
121.66/121.78	o 20060
121.66/121.78	c Elapsed CPU time: 121.327 s	Remaining CPU time: 58.6734 s
121.66/121.78	c ===============================================================================
121.66/121.78	c |     10289 |    3941    27848   681191 |     9282    10285    528 | 32.052 % |
122.16/122.24	c ===============================================================================
122.16/122.24	c New solution: 20059
122.16/122.24	o 20059
122.16/122.24	c Elapsed CPU time: 121.782 s	Remaining CPU time: 58.2175 s
122.16/122.24	c ===============================================================================
122.16/122.24	c |     10290 |    3941    27849   683234 |     9283    10286    528 | 32.052 % |
123.56/123.60	c |     10391 |    3941    27849   683234 |    10211    10387    528 | 32.052 % |
124.96/125.03	c |     10541 |    3941    27849   683234 |    11232    10537    529 | 32.052 % |
125.37/125.48	c ===============================================================================
125.37/125.48	c New solution: 20058
125.37/125.48	o 20058
125.37/125.48	c Elapsed CPU time: 125.015 s	Remaining CPU time: 54.985 s
125.37/125.48	c ===============================================================================
125.37/125.48	c |     10542 |    3941    27850   685277 |     9283    10538    529 | 32.052 % |
125.96/126.05	c ===============================================================================
125.96/126.05	c New solution: 20057
125.96/126.05	o 20057
125.96/126.05	c Elapsed CPU time: 125.588 s	Remaining CPU time: 54.4121 s
125.96/126.05	c ===============================================================================
125.96/126.05	c |     10579 |    3941    27851   687320 |     9283    10575    529 | 32.052 % |
126.46/126.56	c ===============================================================================
126.46/126.56	c New solution: 20056
126.46/126.56	o 20056
126.46/126.56	c Elapsed CPU time: 126.09 s	Remaining CPU time: 53.9102 s
126.46/126.56	c ===============================================================================
126.46/126.56	c |     10592 |    3941    27852   689363 |     9284    10588    529 | 32.052 % |
126.96/127.00	c ===============================================================================
126.96/127.00	c New solution: 20055
126.96/127.00	o 20055
126.96/127.00	c Elapsed CPU time: 126.535 s	Remaining CPU time: 53.4652 s
126.96/127.00	c ===============================================================================
126.96/127.00	c |     10592 |    3941    27853   691406 |     9284    10588    529 | 32.052 % |
127.36/127.45	c ===============================================================================
127.36/127.45	c New solution: 20054
127.36/127.45	o 20054
127.36/127.45	c Elapsed CPU time: 126.982 s	Remaining CPU time: 53.0183 s
127.36/127.45	c ===============================================================================
127.36/127.45	c |     10592 |    3941    27854   693449 |     9284    10588    529 | 32.052 % |
128.66/128.71	c ===============================================================================
128.66/128.71	c New solution: 20053
128.66/128.71	o 20053
128.66/128.71	c Elapsed CPU time: 128.244 s	Remaining CPU time: 51.7565 s
128.66/128.71	c ===============================================================================
128.66/128.71	c |     10661 |    3941    27855   695492 |     9285    10657    529 | 32.052 % |
129.05/129.15	c ===============================================================================
129.05/129.15	c New solution: 20052
129.05/129.15	o 20052
129.05/129.15	c Elapsed CPU time: 128.681 s	Remaining CPU time: 51.3186 s
129.05/129.15	c ===============================================================================
129.05/129.15	c |     10661 |    3941    27856   697535 |     9285    10657    529 | 32.052 % |
129.56/129.60	c ===============================================================================
129.56/129.60	c New solution: 20051
129.56/129.60	o 20051
129.56/129.60	c Elapsed CPU time: 129.131 s	Remaining CPU time: 50.8686 s
129.56/129.60	c ===============================================================================
129.56/129.60	c |     10661 |    3941    27857   699578 |     9285    10657    529 | 32.052 % |
129.96/130.03	c ===============================================================================
129.96/130.03	c New solution: 20050
129.96/130.03	o 20050
129.96/130.03	c Elapsed CPU time: 129.565 s	Remaining CPU time: 50.4347 s
129.96/130.03	c ===============================================================================
129.96/130.03	c |     10661 |    3941    27858   701621 |     9286    10657    529 | 32.052 % |
130.66/130.73	c ===============================================================================
130.66/130.73	c New solution: 20040
130.66/130.73	o 20040
130.66/130.73	c Elapsed CPU time: 130.259 s	Remaining CPU time: 49.7408 s
130.66/130.73	c ===============================================================================
130.66/130.73	c |     10667 |    3941    27859   703664 |     9286    10663    529 | 32.052 % |
131.06/131.14	c ===============================================================================
131.06/131.14	c New solution: 20039
131.06/131.14	o 20039
131.06/131.14	c Elapsed CPU time: 130.671 s	Remaining CPU time: 49.3289 s
131.06/131.14	c ===============================================================================
131.06/131.14	c |     10667 |    3941    27860   705707 |     9286    10663    529 | 32.052 % |
131.46/131.55	c ===============================================================================
131.46/131.55	c New solution: 20038
131.46/131.55	o 20038
131.46/131.55	c Elapsed CPU time: 131.08 s	Remaining CPU time: 48.9199 s
131.46/131.55	c ===============================================================================
131.46/131.55	c |     10667 |    3941    27861   707750 |     9287    10663    529 | 32.052 % |
131.87/131.96	c ===============================================================================
131.87/131.96	c New solution: 20037
131.87/131.96	o 20037
131.87/131.96	c Elapsed CPU time: 131.489 s	Remaining CPU time: 48.511 s
131.87/131.96	c ===============================================================================
131.87/131.96	c |     10667 |    3941    27862   709793 |     9287    10663    529 | 32.052 % |
132.26/132.37	c ===============================================================================
132.26/132.37	c New solution: 20036
132.26/132.37	o 20036
132.26/132.37	c Elapsed CPU time: 131.895 s	Remaining CPU time: 48.1051 s
132.26/132.37	c ===============================================================================
132.26/132.37	c |     10667 |    3941    27863   711836 |     9287    10663    529 | 32.052 % |
132.66/132.77	c ===============================================================================
132.66/132.77	c New solution: 20035
132.66/132.77	o 20035
132.66/132.77	c Elapsed CPU time: 132.301 s	Remaining CPU time: 47.6991 s
132.66/132.77	c ===============================================================================
132.66/132.77	c |     10667 |    3941    27864   713879 |     9288    10663    529 | 32.052 % |
133.07/133.18	c ===============================================================================
133.07/133.18	c New solution: 20034
133.07/133.18	o 20034
133.07/133.18	c Elapsed CPU time: 132.71 s	Remaining CPU time: 47.2902 s
133.07/133.18	c ===============================================================================
133.07/133.18	c |     10667 |    3941    27865   715922 |     9288    10663    529 | 32.052 % |
133.46/133.59	c ===============================================================================
133.46/133.59	c New solution: 20033
133.46/133.59	o 20033
133.46/133.59	c Elapsed CPU time: 133.112 s	Remaining CPU time: 46.8882 s
133.46/133.59	c ===============================================================================
133.46/133.59	c |     10667 |    3941    27866   717965 |     9288    10663    529 | 32.052 % |
133.86/133.99	c ===============================================================================
133.86/133.99	c New solution: 20032
133.86/133.99	o 20032
133.86/133.99	c Elapsed CPU time: 133.513 s	Remaining CPU time: 46.4873 s
133.86/133.99	c ===============================================================================
133.86/133.99	c |     10667 |    3941    27867   720008 |     9289    10663    529 | 32.052 % |
134.46/134.56	c ===============================================================================
134.46/134.56	c New solution: 18567
134.46/134.56	o 18567
134.46/134.56	c Elapsed CPU time: 134.08 s	Remaining CPU time: 45.9204 s
134.46/134.56	c ===============================================================================
134.46/134.56	c |     10675 |    3941    27868   722051 |     9289    10671    529 | 32.052 % |
135.05/135.11	c ===============================================================================
135.05/135.11	c New solution: 18439
135.05/135.11	o 18439
135.05/135.11	c Elapsed CPU time: 134.628 s	Remaining CPU time: 45.3725 s
135.05/135.11	c ===============================================================================
135.05/135.11	c |     10676 |    3941    27869   724094 |     9289    10672    529 | 32.052 % |
136.37/136.42	c |     10776 |    3941    27869   724094 |    10218    10772    529 | 32.052 % |
136.96/137.00	c ===============================================================================
136.96/137.00	c New solution: 18438
136.96/137.00	o 18438
136.96/137.00	c Elapsed CPU time: 136.519 s	Remaining CPU time: 43.4808 s
136.96/137.00	c ===============================================================================
136.96/137.00	c |     10783 |    3941    27870   726137 |     9290    10779    529 | 32.052 % |
137.47/137.59	c ===============================================================================
137.47/137.59	c New solution: 18437
137.47/137.59	o 18437
137.47/137.59	c Elapsed CPU time: 137.103 s	Remaining CPU time: 42.8968 s
137.47/137.59	c ===============================================================================
137.47/137.59	c |     10786 |    3941    27871   728180 |     9290    10782    529 | 32.052 % |
138.86/138.97	c |     10886 |    3941    27871   728180 |    10219    10882    530 | 32.052 % |
139.36/139.41	c ===============================================================================
139.36/139.41	c New solution: 18436
139.36/139.41	o 18436
139.36/139.41	c Elapsed CPU time: 138.925 s	Remaining CPU time: 41.0751 s
139.36/139.41	c ===============================================================================
139.36/139.41	c |     10894 |    3941    27872   730223 |     9290    10890    529 | 32.052 % |
140.36/140.42	c |     10994 |    3941    27872   730223 |    10219    10990    530 | 32.052 % |
141.06/141.16	c ===============================================================================
141.06/141.16	c New solution: 18418
141.06/141.16	o 18418
141.06/141.16	c Elapsed CPU time: 140.671 s	Remaining CPU time: 39.3294 s
141.06/141.16	c ===============================================================================
141.06/141.16	c |     10995 |    3941    27873   732266 |     9291    10991    530 | 32.052 % |
141.76/141.83	c ===============================================================================
141.76/141.83	c New solution: 18417
141.76/141.83	o 18417
141.76/141.83	c Elapsed CPU time: 141.341 s	Remaining CPU time: 38.6595 s
141.76/141.83	c ===============================================================================
141.76/141.83	c |     11042 |    3941    27874   734309 |     9291    11038    530 | 32.052 % |
142.15/142.30	c ===============================================================================
142.15/142.30	c New solution: 18416
142.15/142.30	o 18416
142.15/142.30	c Elapsed CPU time: 141.807 s	Remaining CPU time: 38.1926 s
142.15/142.30	c ===============================================================================
142.15/142.30	c |     11049 |    3941    27875   736352 |     9291    11045    530 | 32.052 % |
142.75/142.88	c ===============================================================================
142.75/142.88	c New solution: 18415
142.75/142.88	o 18415
142.75/142.88	c Elapsed CPU time: 142.392 s	Remaining CPU time: 37.6076 s
142.75/142.88	c ===============================================================================
142.75/142.88	c |     11053 |    3941    27876   738395 |     9292    11049    530 | 32.052 % |
143.75/143.83	c |     11153 |    3941    27876   738395 |    10221    11149    530 | 32.052 % |
145.35/145.47	c ===============================================================================
145.35/145.47	c New solution: 18414
145.35/145.47	o 18414
145.35/145.47	c Elapsed CPU time: 144.978 s	Remaining CPU time: 35.022 s
145.35/145.47	c ===============================================================================
145.35/145.47	c |     11262 |    3941    27877   740438 |     9292    11258    530 | 32.052 % |
145.95/146.10	c ===============================================================================
145.95/146.10	c New solution: 18413
145.95/146.10	o 18413
145.95/146.10	c Elapsed CPU time: 145.605 s	Remaining CPU time: 34.3951 s
145.95/146.10	c ===============================================================================
145.95/146.10	c |     11268 |    3941    27878   742481 |     9292     5635    502 | 32.052 % |
146.45/146.54	c ===============================================================================
146.45/146.54	c New solution: 18412
146.45/146.54	o 18412
146.45/146.54	c Elapsed CPU time: 146.052 s	Remaining CPU time: 33.9482 s
146.45/146.54	c ===============================================================================
146.45/146.54	c |     11272 |    3941    27879   744524 |     9293     5639    502 | 32.052 % |
146.86/146.98	c ===============================================================================
146.86/146.98	c New solution: 18411
146.86/146.98	o 18411
146.86/146.98	c Elapsed CPU time: 146.492 s	Remaining CPU time: 33.5083 s
146.86/146.98	c ===============================================================================
146.86/146.98	c |     11279 |    3941    27880   746567 |     9293     5646    502 | 32.052 % |
147.96/148.05	c ===============================================================================
147.96/148.05	c New solution: 18410
147.96/148.05	o 18410
147.96/148.05	c Elapsed CPU time: 147.56 s	Remaining CPU time: 32.4404 s
147.96/148.05	c ===============================================================================
147.96/148.05	c |     11318 |    3941    27881   748610 |     9293     5685    501 | 32.052 % |
148.56/148.65	c ===============================================================================
148.56/148.65	c New solution: 16938
148.56/148.65	o 16938
148.56/148.65	c Elapsed CPU time: 148.157 s	Remaining CPU time: 31.8425 s
148.56/148.65	c ===============================================================================
148.56/148.65	c |     11320 |    3941    27882   750653 |     9294     5687    501 | 32.052 % |
149.26/149.31	c ===============================================================================
149.26/149.31	c New solution: 16781
149.26/149.31	o 16781
149.26/149.31	c Elapsed CPU time: 148.813 s	Remaining CPU time: 31.1866 s
149.26/149.31	c ===============================================================================
149.26/149.31	c |     11330 |    3941    27883   752696 |     9294     5697    501 | 32.052 % |
149.86/149.95	c ===============================================================================
149.86/149.95	c New solution: 15333
149.86/149.95	o 15333
149.86/149.95	c Elapsed CPU time: 149.453 s	Remaining CPU time: 30.5467 s
149.86/149.95	c ===============================================================================
149.86/149.95	c |     11332 |    3941    27884   754739 |     9294     5699    501 | 32.052 % |
150.45/150.50	c ===============================================================================
150.45/150.50	c New solution: 15234
150.45/150.50	o 15234
150.45/150.50	c Elapsed CPU time: 150.003 s	Remaining CPU time: 29.9968 s
150.45/150.50	c ===============================================================================
150.45/150.50	c |     11332 |    3941    27885   756782 |     9295     5699    501 | 32.052 % |
152.05/152.17	c |     11434 |    3941    27885   756782 |    10224     5801    503 | 32.052 % |
153.86/154.00	c ===============================================================================
153.86/154.00	c New solution: 15187
153.86/154.00	o 15187
153.86/154.00	c Elapsed CPU time: 153.495 s	Remaining CPU time: 26.5053 s
153.86/154.00	c ===============================================================================
153.86/154.00	c |     11581 |    3941    27886   758825 |     9295     5948    499 | 32.052 % |
154.85/154.98	c |     11682 |    3941    27886   758825 |    10224     6049    499 | 32.052 % |
155.66/155.75	c ===============================================================================
155.66/155.75	c New solution: 15153
155.66/155.75	o 15153
155.66/155.75	c Elapsed CPU time: 155.241 s	Remaining CPU time: 24.7586 s
155.66/155.75	c ===============================================================================
155.66/155.75	c |     11693 |    3941    27887   760868 |     9295     6060    499 | 32.052 % |
157.26/157.34	c |     11793 |    3941    27887   760868 |    10225     6160    499 | 32.052 % |
161.05/161.18	c |     11944 |    3941    27887   760868 |    11247     6311    499 | 32.052 % |
164.05/164.19	c |     12169 |    3941    27887   760868 |    12372     6536    501 | 32.052 % |
164.65/164.76	c ===============================================================================
164.65/164.76	c New solution: 15152
164.65/164.76	o 15152
164.65/164.76	c Elapsed CPU time: 164.246 s	Remaining CPU time: 15.754 s
164.65/164.76	c ===============================================================================
164.65/164.76	c |     12184 |    3941    27888   762911 |     9296     6551    501 | 32.052 % |
165.15/165.25	c ===============================================================================
165.15/165.25	c New solution: 15151
165.15/165.25	o 15151
165.15/165.25	c Elapsed CPU time: 164.728 s	Remaining CPU time: 15.272 s
165.15/165.25	c ===============================================================================
165.15/165.25	c |     12184 |    3941    27889   764954 |     9296     6551    501 | 32.052 % |
165.65/165.73	c ===============================================================================
165.65/165.73	c New solution: 15150
165.65/165.73	o 15150
165.65/165.73	c Elapsed CPU time: 165.209 s	Remaining CPU time: 14.7911 s
165.65/165.73	c ===============================================================================
165.65/165.73	c |     12185 |    3941    27890   766997 |     9296     6552    501 | 32.052 % |
166.15/166.21	c ===============================================================================
166.15/166.21	c New solution: 15149
166.15/166.21	o 15149
166.15/166.21	c Elapsed CPU time: 165.688 s	Remaining CPU time: 14.3122 s
166.15/166.21	c ===============================================================================
166.15/166.21	c |     12185 |    3941    27891   769040 |     9297     6552    501 | 32.052 % |
166.55/166.68	c ===============================================================================
166.55/166.68	c New solution: 15148
166.55/166.68	o 15148
166.55/166.68	c Elapsed CPU time: 166.16 s	Remaining CPU time: 13.8403 s
166.55/166.68	c ===============================================================================
166.55/166.68	c |     12185 |    3941    27892   771083 |     9297     6552    501 | 32.052 % |
167.06/167.13	c ===============================================================================
167.06/167.13	c New solution: 15147
167.06/167.13	o 15147
167.06/167.13	c Elapsed CPU time: 166.605 s	Remaining CPU time: 13.3953 s
167.06/167.13	c ===============================================================================
167.06/167.13	c |     12186 |    3941    27893   773126 |     9297     6553    501 | 32.052 % |
167.55/167.60	c ===============================================================================
167.55/167.60	c New solution: 15146
167.55/167.60	o 15146
167.55/167.60	c Elapsed CPU time: 167.08 s	Remaining CPU time: 12.9204 s
167.55/167.60	c ===============================================================================
167.55/167.60	c |     12186 |    3941    27894   775169 |     9298     6553    501 | 32.052 % |
167.95/168.07	c ===============================================================================
167.95/168.07	c New solution: 15145
167.95/168.07	o 15145
167.95/168.07	c Elapsed CPU time: 167.549 s	Remaining CPU time: 12.4515 s
167.95/168.07	c ===============================================================================
167.95/168.07	c |     12186 |    3941    27895   777212 |     9298     6553    501 | 32.052 % |
168.45/168.54	c ===============================================================================
168.45/168.54	c New solution: 15144
168.45/168.54	o 15144
168.45/168.54	c Elapsed CPU time: 168.012 s	Remaining CPU time: 11.9875 s
168.45/168.54	c ===============================================================================
168.45/168.54	c |     12186 |    3941    27896   779255 |     9298     6553    501 | 32.052 % |
168.95/169.01	c ===============================================================================
168.95/169.01	c New solution: 15143
168.95/169.01	o 15143
168.95/169.01	c Elapsed CPU time: 168.48 s	Remaining CPU time: 11.5196 s
168.95/169.01	c ===============================================================================
168.95/169.01	c |     12186 |    3941    27897   781298 |     9299     6553    501 | 32.052 % |
169.35/169.47	c ===============================================================================
169.35/169.47	c New solution: 15142
169.35/169.47	o 15142
169.35/169.47	c Elapsed CPU time: 168.942 s	Remaining CPU time: 11.0577 s
169.35/169.47	c ===============================================================================
169.35/169.47	c |     12186 |    3941    27898   783341 |     9299     6553    501 | 32.052 % |
169.84/169.93	c ===============================================================================
169.84/169.93	c New solution: 15141
169.84/169.93	o 15141
169.84/169.93	c Elapsed CPU time: 169.404 s	Remaining CPU time: 10.5958 s
169.84/169.93	c ===============================================================================
169.84/169.93	c |     12186 |    3941    27899   785384 |     9299     6553    501 | 32.052 % |
170.24/170.40	c ===============================================================================
170.24/170.40	c New solution: 15140
170.24/170.40	o 15140
170.24/170.40	c Elapsed CPU time: 169.869 s	Remaining CPU time: 10.1308 s
170.24/170.40	c ===============================================================================
170.24/170.40	c |     12187 |    3941    27900   787427 |     9300     6554    501 | 32.052 % |
170.65/170.70	c ===============================================================================
170.65/170.70	c New solution: 15139
170.65/170.70	o 15139
170.65/170.70	c Elapsed CPU time: 170.172 s	Remaining CPU time: 9.82787 s
170.65/170.70	c ===============================================================================
170.65/170.70	c |     12190 |    3941    27901   789470 |     9300     6557    501 | 32.052 % |
171.25/171.34	c ===============================================================================
171.25/171.34	c New solution: 13700
171.25/171.34	o 13700
171.25/171.34	c Elapsed CPU time: 170.807 s	Remaining CPU time: 9.19297 s
171.25/171.34	c ===============================================================================
171.25/171.34	c |     12191 |    3941    27902   791513 |     9300     6558    500 | 32.052 % |
171.85/171.96	c ===============================================================================
171.85/171.96	c New solution: 13695
171.85/171.96	o 13695
171.85/171.96	c Elapsed CPU time: 171.434 s	Remaining CPU time: 8.56606 s
171.85/171.96	c ===============================================================================
171.85/171.96	c |     12192 |    3941    27903   793556 |     9301     6559    500 | 32.052 % |
172.85/172.96	c ===============================================================================
172.85/172.96	c New solution: 13693
172.85/172.96	o 13693
172.85/172.96	c Elapsed CPU time: 172.432 s	Remaining CPU time: 7.56821 s
172.85/172.96	c ===============================================================================
172.85/172.96	c |     12192 |    3941    27904   795599 |     9301     6559    500 | 32.052 % |
173.45/173.57	c ===============================================================================
173.45/173.57	c New solution: 13692
173.45/173.57	o 13692
173.45/173.57	c Elapsed CPU time: 173.043 s	Remaining CPU time: 6.95731 s
173.45/173.57	c ===============================================================================
173.45/173.57	c |     12192 |    3941    27905   797642 |     9301     6559    500 | 32.052 % |
174.45/174.55	c ===============================================================================
174.45/174.55	c New solution: 13689
174.45/174.55	o 13689
174.45/174.55	c Elapsed CPU time: 174.015 s	Remaining CPU time: 5.98546 s
174.45/174.55	c ===============================================================================
174.45/174.55	c |     12192 |    3941    27906   799685 |     9302     6559    500 | 32.052 % |
175.05/175.15	c ===============================================================================
175.05/175.15	c New solution: 13608
175.05/175.15	o 13608
175.05/175.15	c Elapsed CPU time: 174.612 s	Remaining CPU time: 5.38755 s
175.05/175.15	c ===============================================================================
175.05/175.15	c |     12192 |    3941    27907   801728 |     9302     6559    500 | 32.052 % |
175.65/175.75	c ===============================================================================
175.65/175.75	c New solution: 13607
175.65/175.75	o 13607
175.65/175.75	c Elapsed CPU time: 175.211 s	Remaining CPU time: 4.78864 s
175.65/175.75	c ===============================================================================
175.65/175.75	c |     12192 |    3941    27908   803771 |     9302     6559    500 | 32.052 % |
176.54/176.69	c ===============================================================================
176.54/176.69	c New solution: 13606
176.54/176.69	o 13606
176.54/176.69	c Elapsed CPU time: 176.152 s	Remaining CPU time: 3.84778 s
176.54/176.69	c ===============================================================================
176.54/176.69	c |     12211 |    3941    27909   805814 |     9303     6578    500 | 32.052 % |
177.24/177.37	c ===============================================================================
177.24/177.37	c New solution: 13605
177.24/177.37	o 13605
177.24/177.37	c Elapsed CPU time: 176.827 s	Remaining CPU time: 3.17288 s
177.24/177.37	c ===============================================================================
177.24/177.37	c |     12218 |    3941    27910   807857 |     9303     6585    500 | 32.052 % |
178.06/178.11	c ===============================================================================
178.06/178.11	c New solution: 13604
178.06/178.11	o 13604
178.06/178.11	c Elapsed CPU time: 177.565 s	Remaining CPU time: 2.43499 s
178.06/178.11	c ===============================================================================
178.06/178.11	c |     12223 |    3941    27911   809900 |     9303     6590    500 | 32.052 % |
178.75/178.81	c ===============================================================================
178.75/178.81	c New solution: 13603
178.75/178.81	o 13603
178.75/178.81	c Elapsed CPU time: 178.263 s	Remaining CPU time: 1.7371 s
178.75/178.81	c ===============================================================================
178.75/178.81	c |     12230 |    3941    27912   811943 |     9304     6597    500 | 32.052 % |
180.15/180.22	c |     12331 |    3941    27912   811943 |    10234     6698    502 | 32.052 % |
180.45/180.57	c There are 1859 assigned variables. 326 in cost function.
182.74/182.86	c core #1
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 2	Core Weight: 1	Total Weight: 1819
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #2
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 4	Core Weight: 1	Total Weight: 1820
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #3
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 4	Core Weight: 1	Total Weight: 1821
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #4
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 4	Core Weight: 1	Total Weight: 1822
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #5
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 4	Core Weight: 1	Total Weight: 1823
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #6
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 6	Core Weight: 1	Total Weight: 1824
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #7
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 12	Core Weight: 1	Total Weight: 1825
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #8
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1826
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #9
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 17	Core Weight: 1	Total Weight: 1827
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #10
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 15	Core Weight: 1	Total Weight: 1828
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #11
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 14	Core Weight: 1	Total Weight: 1829
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #12
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1830
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #13
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 16	Core Weight: 1	Total Weight: 1831
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #14
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 15	Core Weight: 1	Total Weight: 1832
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #15
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1833
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #16
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 12	Core Weight: 1	Total Weight: 1834
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #17
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 16	Core Weight: 1	Total Weight: 1835
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #18
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 19	Core Weight: 1	Total Weight: 1836
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #19
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 18	Core Weight: 1	Total Weight: 1837
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #20
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 7	Core Weight: 1	Total Weight: 1838
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #21
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 8	Core Weight: 1	Total Weight: 1839
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #22
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1840
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #23
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 20	Core Weight: 1	Total Weight: 1841
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #24
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1842
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #25
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1843
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #26
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 9	Core Weight: 1	Total Weight: 1844
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #27
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1845
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #28
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 10	Core Weight: 1	Total Weight: 1846
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #29
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 14	Core Weight: 1	Total Weight: 1847
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #30
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 12	Core Weight: 1	Total Weight: 1848
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #31
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 11	Core Weight: 1	Total Weight: 1849
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #32
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 13	Core Weight: 1	Total Weight: 1850
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #33
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 18	Core Weight: 1	Total Weight: 1851
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #34
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 22	Core Weight: 1	Total Weight: 1852
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #35
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 12	Core Weight: 1	Total Weight: 1853
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #36
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 8	Core Weight: 1	Total Weight: 1854
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #37
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 15	Core Weight: 1	Total Weight: 1855
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #38
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 19	Core Weight: 1	Total Weight: 1856
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #39
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 17	Core Weight: 1	Total Weight: 1857
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #40
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 7	Core Weight: 1	Total Weight: 1858
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c core #41
182.74/182.86	c 
182.74/182.86	c 
182.74/182.86	c Core size: 49	Core Weight: 1	Total Weight: 1859
182.74/182.86	c
182.74/182.86	c
182.74/182.86	c ============================[ Search Statistics ]==============================
182.74/182.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.86	c ===============================================================================
182.74/182.86	c |         0 |     788    18254     8169 |     6084        0    nan |  0.000 % |
182.74/182.86	c ===============================================================================
182.74/182.88	c #cores: 41
182.74/182.88	c Final Weight: 1859
182.74/182.88	o 1859
182.74/182.88	s OPTIMUM FOUND
182.74/182.88	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 x4522 -x4523 -x4524 -x4525 x4526 x4527 -x4528 -x4529 x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 x4549 x4550 x4551 x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 x4588 x4589 x4590 -x4591 -x4592 x4593 x4594 -x4595 -x4596 -x4597 x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 x4605 x4606 x4607 x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 x4627 x4628 x4629 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 x4637 x4638 x4639 x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 x4728 x4729 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 x4789 x4790 -x4791 x4792 -x4793 x4794 x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 x4813 x4814 x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 x4831 x4832 x4833 -x4834 -x4835 x4836 x4837 x4838 -x4839 -x4840 -x4841 -x4842 x4843 x4844 x4845 x4846 x4847 -x4848 x4849 x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 x4861 x4862 -x4863 -x4864 -x4865 -x4866 x4867 -x4868 x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 x4883 x4884 -x4885 x4886 x4887 -x4888 -x4889 x4890 -x4891 x4892 -x4893 x4894 -x4895 -x4896 x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 x4937 -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 x4959 -x4960 x4961 -x4962 x4963 -x4964 x4965 -x4966 x4967 -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 x4978 -x4979 -x4980 x4981 x4982 -x4983 x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 x5021 -x5022 x5023 -x5024 -x5025 x5026 -x5027 x5028 -x5029 -x5030 x5031 -x5032 x5033 x5034 x5035 x5036 -x5037 -x5038 -x5039 -x5040 x5041 x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 x5114 x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 x5269 -x5270 -x5271 x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 x5310 x5311 -x5312 -x5313 -x5314 x5315 x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 x5335 -x5336 x5337 x5338 -x5339 -x5340 x5341 -x5342 x5343 x5344 -x5345 x5346 -x5347 -x5348 -x5349 x5350 -x5351 x5352 x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5361 x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 -x5373 x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 x5412 -x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 x5449 x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 -x5706 -x5707 x5708 x5709 -x5710 x5711 x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 x5799 x5800 -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 x53 -x54 x55 -x56 x57 x58 -x59 x60 -x61 x62 x63 -x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 x291 x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 x312 -x313 x314 -x315 -x316 x317 x318 -x319 -x320 -x321 x322 x323 -x324 -x325 x326 x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 x402 x403 x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 -x443 x444 x445 x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 x510 -x511 x512 x513 -x514 -x515 -x516 x517 -x518 -x519 x520 x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 x550 -x551 x552 -x553 -x554 x555 -x556 -x557 x558 -x559 x560 x561 -x562 -x563 x564 -x565 -x566 x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 x629 -x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 x646 -x647 x648 x649 -x650 x651 -x652 -x653 x654 -x655 x656 -x657 -x658 x659 -x660 -x661 -x662 x663 x664 x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 x729 -x730 x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 x809 x810 -x811 -x812 x813 x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 x828 -x829 -x830 x831 -x832 x833 -x834 x835 -x836 -x837 x838 x839 -x840 -x841 x842 -x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 x864 -x865 x866 x867 -x868 -x869 -x870 -x871 x872 -x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 x899 -x900 x901 -x902 x903 x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 x915 x916 -x917 -x918 x919 -x920 -x921 x922 x923 -x924 -x925 -x926 x927 x928 x929 x930 x931 -x932 x933 x934 -x935 x936 -x937 -x938 -x939 x940 -x941 x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 x964 -x965 x966 -x967 x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 x984 x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 x1040 x1041 -x1042 -x1043 x1044 -x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 x1200 x1201 x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 -x1307 -x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 x1326 -x1327 -x1328 x1329 x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x1360 x1361 -x1362 x1363 -x1364 x1365 x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 x1380 -x1381 x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 x1389 x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 x1404 x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 x1463 x1464 -x1465 x1466 -x1467 x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 x1539 -x1540 x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 x1554 -x1555 -x1556 x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 x1568 -x1569 -x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 x1595 x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 x1608 x1609 -x1610 x1611 -x1612 -x1613 -x1614 x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 -x1628 x1629 -x1630 -x1631 x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 x1656 -x1657 x1658 -x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 x1754 x1755 -x1756 x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 x1786 x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 x1820 -x1821 -x1822 x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 x1833 x1834 -x1835 x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 x1847 -x1848 -x1849 x1850 -x1851 -x1852 x1853 -x1854 x1855 -x1856 x1857 -x1858 x1859 x1860 -x1861 x1862 -x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 x1884 x1885 -x1886 -x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 x1927 -x1928 x1929 -x1930 -x1931 x1932 -x1933 x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 x1951 x1952 -x1953 -x1954 x1955 -x1956 -x1957 x1958 -x1959 x1960 -x1961 x1962 -x1963 x1964 x1965 -x1966 x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 x1992 x1993 -x1994 x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 x2011 x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 x2020 -x2021 x2022 -x2023 x2024 -x2025 x2026 -x2027 x2028 -x2029 x2030 x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 x2038 x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 x2047 -x2048 x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 x2068 x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 -x2096 x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 x2104 -x2105 x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 x2131 -x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 x2150 -x2151 x2152 x2154 -x2153 -x2155 -x2156 -x2157 -x2158 x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 x2210 x2211 -x2212 -x2213 x2214 x2215 x2216 x2217 x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 x2242 -x2243 x2244 -x2245 x2246 -x2247 x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 x2258 x2259 -x2260 x2261 x2262 -x2263 -x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 x2307 x2308 -x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 x2325 x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 x2334 -x2335 x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 x2343 -x2344 x2345 -x2346 x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 x2360 -x2361 -x2362 x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 x2379 x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 x2415 -x2416 -x2417 -x2418 x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 x2429 -x2430 x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 x2502 x2503 x2504 -x2505 -x2506 x2507 x2508 -x2509 -x2510 -x2511 -x2512 x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 x2524 -x2525 -x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 x2569 -x2570 -x2571 x2572 x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 x2602 x2603 -x2604 -x2605 -x2606 -x2607 x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 x2659 x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 x2668 x2669 -x2670 -x2671 -x2672 x2673 x2674 x2675 x2676 -x2677 -x2678 x2679 -x2680 x2681 -x2682 -x2683 x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 x2713 x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720 x2721 -x2722 x2723 x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 x2747 -x2748 -x2749 x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 x2795 -x2796 x2797 -x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 x2832 -x2833 x2834 -x2835 x2836 -x2837 x2838 x2839 x2840 -x2841 -x2842 x2843 -x2844 x2845 -x2846 x2847 -x2848 x2849 -x2850 x2851 x2852 -x2853 x2854 -x2855 -x2856 x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 x2868 -x2869 x2870 -x2871 -x2872 x2873 x2874 x2875 x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 x2917 x2918 -x2919 x2920 x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 x3061 x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 x3069 x3070 -x3071 -x3072 -x3073 x3074 x3075 x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
182.74/182.88	c Total CPU time: 182.268 s

Verifier Data 

OK	1859

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683432-1277509675/watcher-2683432-1277509675 -o /tmp/evaluation-result-2683432-1277509675/solver-2683432-1277509675 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683432-1277509675.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.10 1.05 1.00 3/105 31203
/proc/meminfo: memFree=1821008/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=3868 CPUtime=0
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 379 0 0 0 0 0 0 0 25 0 1 0 92261295 3960832 297 1992294400 134512640 135752675 4292067856 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 967 308 140 303 0 458 0

[startup+0.0323179 s]
/proc/loadavg: 1.10 1.05 1.00 3/105 31203
/proc/meminfo: memFree=1821008/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=4432 CPUtime=0.02
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 574 0 0 0 2 0 0 0 25 0 1 0 92261295 4538368 492 1992294400 134512640 135752675 4292067856 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 1108 492 184 303 0 599 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4432

[startup+0.101325 s]
/proc/loadavg: 1.10 1.05 1.00 3/105 31203
/proc/meminfo: memFree=1821008/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=5320 CPUtime=0.09
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 927 0 0 0 9 0 0 0 25 0 1 0 92261295 5447680 845 1992294400 134512640 135752675 4292067856 18446744073709551615 135204864 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 1330 846 306 303 0 821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5320

[startup+0.301345 s]
/proc/loadavg: 1.10 1.05 1.00 3/105 31203
/proc/meminfo: memFree=1821008/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=6840 CPUtime=0.29
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 1528 0 0 0 29 0 0 0 25 0 1 0 92261295 7004160 1242 1992294400 134512640 135752675 4292067856 18446744073709551615 134580159 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 1710 1242 142 303 0 1405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6840

[startup+0.701386 s]
/proc/loadavg: 1.10 1.05 1.00 3/105 31203
/proc/meminfo: memFree=1821008/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=6972 CPUtime=0.69
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 1581 0 0 0 69 0 0 0 25 0 1 0 92261295 7139328 1295 1992294400 134512640 135752675 4292067856 18446744073709551615 134580147 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 1743 1295 142 303 0 1438 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6972

[startup+1.50147 s]
/proc/loadavg: 1.10 1.05 1.00 2/106 31204
/proc/meminfo: memFree=1816040/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=7236 CPUtime=1.49
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 1646 0 0 0 149 0 0 0 25 0 1 0 92261295 7409664 1360 1992294400 134512640 135752675 4292067856 18446744073709551615 134580062 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 1809 1360 142 303 0 1504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7236

[startup+3.10162 s]
/proc/loadavg: 1.17 1.06 1.01 2/106 31204
/proc/meminfo: memFree=1813312/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=10172 CPUtime=3.1
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 2368 0 0 0 304 6 0 0 18 0 1 0 92261295 10416128 2082 1992294400 134512640 135752675 4292067856 18446744073709551615 134616593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 2543 2082 144 303 0 2238 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10172

[startup+6.30195 s]
/proc/loadavg: 1.17 1.06 1.01 2/106 31204
/proc/meminfo: memFree=1812692/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=10172 CPUtime=6.29
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 2369 0 0 0 618 11 0 0 18 0 1 0 92261295 10416128 2083 1992294400 134512640 135752675 4292067856 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 2543 2083 145 303 0 2238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10172

[startup+12.7016 s]
/proc/loadavg: 1.14 1.06 1.01 2/106 31204
/proc/meminfo: memFree=1807980/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=15248 CPUtime=12.69
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 3651 0 0 0 1253 16 0 0 19 0 1 0 92261295 15613952 3365 1992294400 134512640 135752675 4292067856 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 3812 3365 145 303 0 3507 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15248

[startup+25.5009 s]
/proc/loadavg: 1.12 1.06 1.01 2/106 31206
/proc/meminfo: memFree=1800912/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=22044 CPUtime=25.48
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 5352 0 0 0 2525 23 0 0 25 0 1 0 92261295 22573056 5066 1992294400 134512640 135752675 4292067856 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 5511 5066 145 303 0 5206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22044

[startup+51.1004 s]
/proc/loadavg: 1.08 1.05 1.01 2/106 31206
/proc/meminfo: memFree=1792232/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=30904 CPUtime=51.08
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 7546 0 0 0 5077 31 0 0 20 0 1 0 92261295 31645696 7260 1992294400 134512640 135752675 4292067856 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 7726 7260 145 303 0 7421 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30904

[startup+102.309 s]
/proc/loadavg: 1.03 1.04 1.00 2/106 31208
/proc/meminfo: memFree=1780328/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=42124 CPUtime=102.28
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 10368 0 0 0 10188 40 0 0 25 0 1 0 92261295 43134976 10082 1992294400 134512640 135752675 4292067856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 10531 10082 145 303 0 10226 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 42124

[startup+162.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31208
/proc/meminfo: memFree=1770408/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=52032 CPUtime=162.25
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 12829 0 0 0 16178 47 0 0 25 0 1 0 92261295 53280768 12543 1992294400 134512640 135752675 4292067856 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 13008 12543 145 303 0 12703 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52032

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

[startup+166.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31208
/proc/meminfo: memFree=1769788/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=52548 CPUtime=166.25
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 12980 0 0 0 16577 48 0 0 20 0 1 0 92261295 53809152 12694 1992294400 134512640 135752675 4292067856 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 13137 12694 145 303 0 12832 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 52548

[startup+172.709 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31208
/proc/meminfo: memFree=1769168/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=53220 CPUtime=172.66
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 13127 0 0 0 17217 49 0 0 19 0 1 0 92261295 54497280 12841 1992294400 134512640 135752675 4292067856 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 13305 12841 145 303 0 13000 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 53220

[startup+179.1 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31210
/proc/meminfo: memFree=1768796/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=53752 CPUtime=179.05
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 13255 0 0 0 17855 50 0 0 25 0 1 0 92261295 55042048 12969 1992294400 134512640 135752675 4292067856 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 13438 12969 145 303 0 13133 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 53752

[startup+180.701 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31210
/proc/meminfo: memFree=1768300/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=60336 CPUtime=180.64
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 14899 0 0 0 18014 50 0 0 25 0 1 0 92261295 61784064 14613 1992294400 134512640 135752675 4292067856 18446744073709551615 135201336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 15084 14613 145 303 0 14779 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 60336

[startup+182.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31210
/proc/meminfo: memFree=1758008/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=109312 CPUtime=182.24
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 27281 0 0 0 18170 54 0 0 25 0 1 0 92261295 111935488 26865 1992294400 134512640 135752675 4292067856 18446744073709551615 134548065 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 27328 26865 146 303 0 27023 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 109312

[startup+182.702 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31210
/proc/meminfo: memFree=1703324/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=126696 CPUtime=182.65
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202496 31621 0 0 0 18209 56 0 0 25 0 1 0 92261295 129736704 31205 1992294400 134512640 135752675 4292067856 18446744073709551615 135205025 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31203/statm: 31674 31205 146 303 0 31369 0
Current children cumulated CPU time (s) 182.65
Current children cumulated vsize (KiB) 126696

[startup+182.902 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31210
/proc/meminfo: memFree=1703324/2059040 swapFree=4135356/4192956
[pid=31203] ppid=31201 vsize=0 CPUtime=182.84
/proc/31203/stat : 31203 (wbo1.4b) R 31201 31203 30933 0 -1 4202500 33500 0 0 0 18226 58 0 0 25 0 1 0 92261295 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31203/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.84
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.903
CPU time (s): 182.857
CPU user time (s): 182.268
CPU system time (s): 0.58891
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 131092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.268
system time used= 0.58891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33500
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= 81
involuntary context switches= 2150

runsolver used 0.32395 second user time and 0.904862 second system time

The end

Launcher Data 

Begin job on node084 at 2010-06-26 01:47:55
IDJOB=2683432
IDBENCH=72111
IDSOLVER=1190
FILE ID=node084/2683432-1277509675
PBS_JOBID= 11190627
Free space on /tmp= 62456 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683432-1277509675/watcher-2683432-1277509675 -o /tmp/evaluation-result-2683432-1277509675/solver-2683432-1277509675 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683432-1277509675.opb

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

MD5SUM BENCH= 3b140fe9f2cb3c59ddf55faba2e83116
RANDOM SEED=619325872

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821536 kB
Buffers:         36480 kB
Cached:         104836 kB
SwapCached:       9812 kB
Active:          88660 kB
Inactive:        65548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821536 kB
SwapTotal:     4192956 kB
SwapFree:      4135356 kB
Dirty:            3668 kB
Writeback:           0 kB
AnonPages:       11628 kB
Mapped:           8236 kB
Slab:            61576 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181044 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= 62452 MiB
End job on node084 at 2010-06-26 01:50:58