Trace number 2683213

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.4bOPT4750 185.078 185.138

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb
MD5SUMafde7889f43b30fcc4bad7828bff7cb4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4750
Best CPU time to get the best result obtained on this benchmark2.55061
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5571
Total number of constraints25010
Number of constraints which are clauses24721
Number of constraints which are cardinality constraints (but not clauses)289
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 2066
Biggest coefficient in the objective function 1517
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 837382
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1517
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 837382
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683213-1277508219.opb.
0.00/0.00	c Instance file HOME/instance-2683213-1277508219.opb
0.00/0.00	c File size is 802569 bytes.
0.09/0.12	c Highest Coefficient sum: 553
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      5571                                                |
0.09/0.12	c |  Number Clauses:        24721                                               |
0.09/0.12	c |  Number Cardinality:    289                                                 |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
2.59/2.62	c ============================[ Search Statistics ]==============================
2.59/2.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.62	c ===============================================================================
2.59/2.62	c |         0 |    3833    26472    53471 |     8336        0    nan |  0.000 % |
2.59/2.63	c ===============================================================================
2.59/2.63	c New solution: 516358
2.59/2.63	o 516358
2.59/2.63	c Elapsed CPU time: 2.6256 s	Remaining CPU time: 177.374 s
2.59/2.63	c ===============================================================================
2.59/2.63	c |         6 |    3833    26473    55428 |     8824        6      5 |  0.000 % |
2.59/2.64	c ===============================================================================
2.59/2.64	c New solution: 514843
2.59/2.64	o 514843
2.59/2.64	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 177.366 s
2.59/2.64	c ===============================================================================
2.59/2.64	c |         9 |    3833    26474    57385 |     8824        9      4 |  0.000 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: 451137
2.59/2.66	o 451137
2.59/2.66	c Elapsed CPU time: 2.6446 s	Remaining CPU time: 177.355 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |        27 |    3833    26475    59342 |     8825       27      4 |  0.000 % |
2.59/2.67	c ===============================================================================
2.59/2.67	c New solution: 355546
2.59/2.67	o 355546
2.59/2.67	c Elapsed CPU time: 2.6546 s	Remaining CPU time: 177.345 s
2.59/2.67	c ===============================================================================
2.59/2.67	c |        30 |    3833    26476    61299 |     8825       30      4 |  0.000 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 279674
2.59/2.69	o 279674
2.59/2.69	c Elapsed CPU time: 2.66859 s	Remaining CPU time: 177.331 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |        43 |    3833    26477    63256 |     8825       43      4 |  0.000 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: 279668
2.69/2.70	o 279668
2.69/2.70	c Elapsed CPU time: 2.67759 s	Remaining CPU time: 177.322 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |        49 |    3833    26478    65213 |     8826       49      4 |  0.000 % |
2.69/2.75	c ===============================================================================
2.69/2.75	c New solution: 161381
2.69/2.75	o 161381
2.69/2.75	c Elapsed CPU time: 2.70959 s	Remaining CPU time: 177.29 s
2.69/2.75	c ===============================================================================
2.69/2.75	c |        97 |    3833    26479    67170 |     8826       97     21 |  0.000 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: 137138
2.69/2.78	o 137138
2.69/2.78	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 177.263 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |       129 |    3833    26480    69127 |     8826      129     21 |  0.000 % |
2.69/2.79	c ===============================================================================
2.69/2.79	c New solution: 137094
2.69/2.79	o 137094
2.69/2.79	c Elapsed CPU time: 2.74858 s	Remaining CPU time: 177.251 s
2.69/2.79	c ===============================================================================
2.69/2.79	c |       132 |    3833    26481    71084 |     8827      132     25 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 137093
2.79/2.83	o 137093
2.79/2.83	c Elapsed CPU time: 2.77658 s	Remaining CPU time: 177.223 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |       141 |    3833    26482    73041 |     8827      141     28 |  0.000 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: 115913
2.79/2.85	o 115913
2.79/2.85	c Elapsed CPU time: 2.79857 s	Remaining CPU time: 177.201 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |       165 |    3833    26483    74998 |     8827      165     25 |  0.000 % |
2.79/2.87	c ===============================================================================
2.79/2.87	c New solution: 115840
2.79/2.87	o 115840
2.79/2.87	c Elapsed CPU time: 2.81857 s	Remaining CPU time: 177.181 s
2.79/2.87	c ===============================================================================
2.79/2.87	c |       168 |    3833    26484    76955 |     8828      168     24 |  0.000 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: 115839
2.79/2.89	o 115839
2.79/2.89	c Elapsed CPU time: 2.83357 s	Remaining CPU time: 177.166 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |       169 |    3833    26485    78912 |     8828      169     24 |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c New solution: 115835
2.89/2.91	o 115835
2.89/2.91	c Elapsed CPU time: 2.85857 s	Remaining CPU time: 177.141 s
2.89/2.91	c ===============================================================================
2.89/2.91	c |       169 |    3833    26486    80869 |     8828      169     24 |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 115834
2.89/2.94	o 115834
2.89/2.94	c Elapsed CPU time: 2.88256 s	Remaining CPU time: 177.117 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |       177 |    3833    26487    82826 |     8829      177     39 |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c New solution: 114365
2.89/2.97	o 114365
2.89/2.97	c Elapsed CPU time: 2.91056 s	Remaining CPU time: 177.089 s
2.89/2.97	c ===============================================================================
2.89/2.97	c |       205 |    3833    26488    84783 |     8829      205     49 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 114359
2.89/2.99	o 114359
2.89/2.99	c Elapsed CPU time: 2.93055 s	Remaining CPU time: 177.069 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |       206 |    3833    26489    86740 |     8829      206     51 |  0.000 % |
2.99/3.02	c ===============================================================================
2.99/3.02	c New solution: 114358
2.99/3.02	o 114358
2.99/3.02	c Elapsed CPU time: 2.95555 s	Remaining CPU time: 177.044 s
2.99/3.02	c ===============================================================================
2.99/3.02	c |       213 |    3833    26490    88697 |     8830      213     57 |  0.000 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: 114357
2.99/3.05	o 114357
2.99/3.05	c Elapsed CPU time: 2.99154 s	Remaining CPU time: 177.008 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |       227 |    3833    26491    90654 |     8830      227     73 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 114356
2.99/3.07	o 114356
2.99/3.07	c Elapsed CPU time: 3.00754 s	Remaining CPU time: 176.992 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       231 |    3833    26492    92611 |     8830      231     72 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 114353
2.99/3.09	o 114353
2.99/3.09	c Elapsed CPU time: 3.02554 s	Remaining CPU time: 176.974 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       231 |    3833    26493    94568 |     8831      231     72 |  0.000 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 114352
3.09/3.11	o 114352
3.09/3.11	c Elapsed CPU time: 3.04254 s	Remaining CPU time: 176.957 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |       233 |    3833    26494    96525 |     8831      233     76 |  0.000 % |
3.09/3.19	c ===============================================================================
3.09/3.19	c New solution: 114351
3.09/3.19	o 114351
3.09/3.19	c Elapsed CPU time: 3.12052 s	Remaining CPU time: 176.879 s
3.09/3.19	c ===============================================================================
3.09/3.19	c |       259 |    3833    26495    98482 |     8831      259     94 |  0.000 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: 114350
3.20/3.21	o 114350
3.20/3.21	c Elapsed CPU time: 3.14252 s	Remaining CPU time: 176.857 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |       260 |    3833    26496   100439 |     8832      260     94 |  0.000 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: 114349
3.20/3.24	o 114349
3.20/3.24	c Elapsed CPU time: 3.17352 s	Remaining CPU time: 176.826 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |       265 |    3833    26497   102396 |     8832      265     92 |  0.000 % |
3.20/3.27	c ===============================================================================
3.20/3.27	c New solution: 114348
3.20/3.27	o 114348
3.20/3.27	c Elapsed CPU time: 3.19651 s	Remaining CPU time: 176.803 s
3.20/3.27	c ===============================================================================
3.20/3.27	c |       266 |    3833    26498   104353 |     8832      266     92 |  0.000 % |
3.20/3.29	c ===============================================================================
3.20/3.29	c New solution: 114347
3.20/3.29	o 114347
3.20/3.29	c Elapsed CPU time: 3.21951 s	Remaining CPU time: 176.78 s
3.20/3.29	c ===============================================================================
3.20/3.29	c |       267 |    3833    26499   106310 |     8833      267     91 |  0.000 % |
3.30/3.31	c ===============================================================================
3.30/3.31	c New solution: 114346
3.30/3.31	o 114346
3.30/3.31	c Elapsed CPU time: 3.24251 s	Remaining CPU time: 176.757 s
3.30/3.31	c ===============================================================================
3.30/3.31	c |       269 |    3833    26500   108267 |     8833      269     95 |  0.000 % |
3.30/3.36	c ===============================================================================
3.30/3.36	c New solution: 112873
3.30/3.36	o 112873
3.30/3.36	c Elapsed CPU time: 3.2845 s	Remaining CPU time: 176.715 s
3.30/3.36	c ===============================================================================
3.30/3.36	c |       287 |    3833    26501   110224 |     8833      287     98 |  0.000 % |
3.30/3.39	c ===============================================================================
3.30/3.39	c New solution: 112836
3.30/3.39	o 112836
3.30/3.39	c Elapsed CPU time: 3.3125 s	Remaining CPU time: 176.688 s
3.30/3.39	c ===============================================================================
3.30/3.39	c |       288 |    3833    26502   112181 |     8834      288     99 |  0.000 % |
3.39/3.41	c ===============================================================================
3.39/3.41	c New solution: 112835
3.39/3.41	o 112835
3.39/3.41	c Elapsed CPU time: 3.33849 s	Remaining CPU time: 176.662 s
3.39/3.41	c ===============================================================================
3.39/3.41	c |       294 |    3833    26503   114138 |     8834      294    105 |  0.000 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c New solution: 112834
3.39/3.43	o 112834
3.39/3.43	c Elapsed CPU time: 3.35249 s	Remaining CPU time: 176.648 s
3.39/3.43	c ===============================================================================
3.39/3.43	c |       296 |    3833    26504   116095 |     8834      296    104 |  0.000 % |
3.39/3.47	c ===============================================================================
3.39/3.47	c New solution: 112833
3.39/3.47	o 112833
3.39/3.47	c Elapsed CPU time: 3.39148 s	Remaining CPU time: 176.609 s
3.39/3.47	c ===============================================================================
3.39/3.47	c |       310 |    3833    26505   118052 |     8835      310    124 |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 112832
3.49/3.57	o 112832
3.49/3.57	c Elapsed CPU time: 3.49247 s	Remaining CPU time: 176.508 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       369 |    3833    26506   120009 |     8835      369    192 |  0.000 % |
3.59/3.63	c ===============================================================================
3.59/3.63	c New solution: 112831
3.59/3.63	o 112831
3.59/3.63	c Elapsed CPU time: 3.55146 s	Remaining CPU time: 176.449 s
3.59/3.63	c ===============================================================================
3.59/3.63	c |       406 |    3833    26507   121966 |     8835      406    221 |  0.000 % |
3.59/3.69	c ===============================================================================
3.59/3.69	c New solution: 112830
3.59/3.69	o 112830
3.59/3.69	c Elapsed CPU time: 3.61645 s	Remaining CPU time: 176.384 s
3.59/3.69	c ===============================================================================
3.59/3.69	c |       430 |    3833    26508   123923 |     8836      430    239 |  0.000 % |
3.79/3.83	c |       531 |    3833    26508   123923 |     9719      531    301 | 31.197 % |
3.79/3.87	c ===============================================================================
3.79/3.87	c New solution: 112829
3.79/3.87	o 112829
3.79/3.87	c Elapsed CPU time: 3.79042 s	Remaining CPU time: 176.21 s
3.79/3.87	c ===============================================================================
3.79/3.87	c |       533 |    3833    26509   125880 |     8836      533    303 | 31.197 % |
3.89/3.93	c ===============================================================================
3.89/3.93	c New solution: 112828
3.89/3.93	o 112828
3.89/3.93	c Elapsed CPU time: 3.85341 s	Remaining CPU time: 176.147 s
3.89/3.93	c ===============================================================================
3.89/3.93	c |       541 |    3833    26510   127837 |     8836      541    302 | 31.197 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: 112827
3.99/4.01	o 112827
3.99/4.01	c Elapsed CPU time: 3.9294 s	Remaining CPU time: 176.071 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |       568 |    3833    26511   129794 |     8837      568    316 | 31.197 % |
4.09/4.12	c ===============================================================================
4.09/4.12	c New solution: 112826
4.09/4.12	o 112826
4.09/4.12	c Elapsed CPU time: 4.04239 s	Remaining CPU time: 175.958 s
4.09/4.12	c ===============================================================================
4.09/4.12	c |       596 |    3833    26512   131751 |     8837      596    327 | 31.197 % |
4.09/4.18	c ===============================================================================
4.09/4.18	c New solution: 112825
4.09/4.18	o 112825
4.09/4.18	c Elapsed CPU time: 4.09338 s	Remaining CPU time: 175.907 s
4.09/4.18	c ===============================================================================
4.09/4.18	c |       605 |    3833    26513   133708 |     8837      605    331 | 31.197 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c New solution: 112824
4.19/4.28	o 112824
4.19/4.28	c Elapsed CPU time: 4.19536 s	Remaining CPU time: 175.805 s
4.19/4.28	c ===============================================================================
4.19/4.28	c |       635 |    3833    26514   135665 |     8838      635    343 | 31.197 % |
4.59/4.62	c |       736 |    3833    26514   135665 |     9721      736    377 | 31.197 % |
4.59/4.65	c ===============================================================================
4.59/4.65	c New solution: 112823
4.59/4.65	o 112823
4.59/4.65	c Elapsed CPU time: 4.56131 s	Remaining CPU time: 175.439 s
4.59/4.65	c ===============================================================================
4.59/4.65	c |       739 |    3833    26515   137622 |     8838      739    377 | 31.197 % |
4.79/4.83	c |       840 |    3833    26515   137622 |     9722      840    400 | 31.197 % |
4.89/4.94	c ===============================================================================
4.89/4.94	c New solution: 112822
4.89/4.94	o 112822
4.89/4.94	c Elapsed CPU time: 4.85226 s	Remaining CPU time: 175.148 s
4.89/4.94	c ===============================================================================
4.89/4.94	c |       848 |    3833    26516   139579 |     8838      848    400 | 31.197 % |
4.89/4.99	c ===============================================================================
4.89/4.99	c New solution: 112821
4.89/4.99	o 112821
4.89/4.99	c Elapsed CPU time: 4.89726 s	Remaining CPU time: 175.103 s
4.89/4.99	c ===============================================================================
4.89/4.99	c |       851 |    3833    26517   141536 |     8839      851    398 | 31.197 % |
4.99/5.02	c ===============================================================================
4.99/5.02	c New solution: 112820
4.99/5.02	o 112820
4.99/5.02	c Elapsed CPU time: 4.93125 s	Remaining CPU time: 175.069 s
4.99/5.02	c ===============================================================================
4.99/5.02	c |       851 |    3833    26518   143493 |     8839      851    398 | 31.197 % |
4.99/5.06	c ===============================================================================
4.99/5.06	c New solution: 112819
4.99/5.06	o 112819
4.99/5.06	c Elapsed CPU time: 4.96724 s	Remaining CPU time: 175.033 s
4.99/5.06	c ===============================================================================
4.99/5.06	c |       854 |    3833    26519   145450 |     8839      854    399 | 31.197 % |
5.09/5.12	c ===============================================================================
5.09/5.12	c New solution: 112818
5.09/5.12	o 112818
5.09/5.12	c Elapsed CPU time: 5.02724 s	Remaining CPU time: 174.973 s
5.09/5.12	c ===============================================================================
5.09/5.12	c |       864 |    3833    26520   147407 |     8840      864    400 | 31.197 % |
5.09/5.16	c ===============================================================================
5.09/5.16	c New solution: 112817
5.09/5.16	o 112817
5.09/5.16	c Elapsed CPU time: 5.06523 s	Remaining CPU time: 174.935 s
5.09/5.16	c ===============================================================================
5.09/5.16	c |       874 |    3833    26521   149364 |     8840      874    403 | 31.197 % |
5.40/5.40	c |       974 |    3833    26521   149364 |     9724      974    422 | 31.197 % |
5.49/5.53	c ===============================================================================
5.49/5.53	c New solution: 112816
5.49/5.53	o 112816
5.49/5.53	c Elapsed CPU time: 5.43017 s	Remaining CPU time: 174.57 s
5.49/5.53	c ===============================================================================
5.49/5.53	c |      1023 |    3833    26522   151321 |     8840     1023    429 | 31.197 % |
5.69/5.78	c |      1124 |    3833    26522   151321 |     9724     1124    444 | 31.197 % |
5.79/5.82	c ===============================================================================
5.79/5.82	c New solution: 112815
5.79/5.82	o 112815
5.79/5.82	c Elapsed CPU time: 5.71913 s	Remaining CPU time: 174.281 s
5.79/5.82	c ===============================================================================
5.79/5.82	c |      1138 |    3833    26523   153278 |     8841     1138    445 | 31.197 % |
5.99/6.05	c |      1239 |    3833    26523   153278 |     9725     1239    457 | 31.197 % |
5.99/6.09	c ===============================================================================
5.99/6.09	c New solution: 112814
5.99/6.09	o 112814
5.99/6.09	c Elapsed CPU time: 5.98909 s	Remaining CPU time: 174.011 s
5.99/6.09	c ===============================================================================
5.99/6.09	c |      1250 |    3833    26524   155235 |     8841     1250    457 | 31.197 % |
6.29/6.34	c ===============================================================================
6.29/6.34	c New solution: 112813
6.29/6.34	o 112813
6.29/6.34	c Elapsed CPU time: 6.24005 s	Remaining CPU time: 173.76 s
6.29/6.34	c ===============================================================================
6.29/6.34	c |      1348 |    3833    26525   157192 |     8841     1348    467 | 31.197 % |
6.39/6.41	c ===============================================================================
6.39/6.41	c New solution: 112812
6.39/6.41	o 112812
6.39/6.41	c Elapsed CPU time: 6.30704 s	Remaining CPU time: 173.693 s
6.39/6.41	c ===============================================================================
6.39/6.41	c |      1362 |    3833    26526   159149 |     8842     1362    466 | 31.197 % |
6.60/6.68	c |      1462 |    3833    26526   159149 |     9726     1462    475 | 31.197 % |
6.68/6.77	c ===============================================================================
6.68/6.77	c New solution: 112811
6.68/6.77	o 112811
6.68/6.77	c Elapsed CPU time: 6.65999 s	Remaining CPU time: 173.34 s
6.68/6.77	c ===============================================================================
6.68/6.77	c |      1502 |    3833    26527   161106 |     8842     1502    475 | 31.197 % |
6.98/7.04	c |      1605 |    3833    26527   161106 |     9726     1605    482 | 31.197 % |
7.08/7.10	c ===============================================================================
7.08/7.10	c New solution: 112810
7.08/7.10	o 112810
7.08/7.10	c Elapsed CPU time: 6.99694 s	Remaining CPU time: 173.003 s
7.08/7.10	c ===============================================================================
7.08/7.10	c |      1629 |    3833    26528   163063 |     8842     1629    483 | 31.197 % |
7.08/7.17	c ===============================================================================
7.08/7.17	c New solution: 112809
7.08/7.17	o 112809
7.08/7.17	c Elapsed CPU time: 7.05993 s	Remaining CPU time: 172.94 s
7.08/7.17	c ===============================================================================
7.08/7.17	c |      1638 |    3833    26529   165020 |     8843     1638    484 | 31.197 % |
7.19/7.23	c ===============================================================================
7.19/7.23	c New solution: 112808
7.19/7.23	o 112808
7.19/7.23	c Elapsed CPU time: 7.12092 s	Remaining CPU time: 172.879 s
7.19/7.23	c ===============================================================================
7.19/7.23	c |      1642 |    3833    26530   166977 |     8843     1642    484 | 31.197 % |
7.49/7.52	c |      1744 |    3833    26530   166977 |     9727     1744    490 | 31.197 % |
7.79/7.89	c |      1895 |    3833    26530   166977 |    10700     1895    497 | 31.197 % |
8.19/8.27	c ===============================================================================
8.19/8.27	c New solution: 112807
8.19/8.27	o 112807
8.19/8.27	c Elapsed CPU time: 8.15376 s	Remaining CPU time: 171.846 s
8.19/8.27	c ===============================================================================
8.19/8.27	c |      2038 |    3833    26531   168934 |     8843     2038    503 | 31.197 % |
8.48/8.50	c ===============================================================================
8.48/8.50	c New solution: 112806
8.48/8.50	o 112806
8.48/8.50	c Elapsed CPU time: 8.38172 s	Remaining CPU time: 171.618 s
8.48/8.50	c ===============================================================================
8.48/8.50	c |      2115 |    3833    26532   170891 |     8844     2115    507 | 31.197 % |
8.48/8.54	c ===============================================================================
8.48/8.54	c New solution: 111335
8.48/8.54	o 111335
8.48/8.54	c Elapsed CPU time: 8.42572 s	Remaining CPU time: 171.574 s
8.48/8.54	c ===============================================================================
8.48/8.54	c |      2117 |    3833    26533   172848 |     8844     2117    506 | 31.197 % |
8.48/8.57	c ===============================================================================
8.48/8.57	c New solution: 111333
8.48/8.57	o 111333
8.48/8.57	c Elapsed CPU time: 8.45771 s	Remaining CPU time: 171.542 s
8.48/8.57	c ===============================================================================
8.48/8.57	c |      2117 |    3833    26534   174805 |     8844     2117    506 | 31.197 % |
8.58/8.60	c ===============================================================================
8.58/8.60	c New solution: 111332
8.58/8.60	o 111332
8.58/8.60	c Elapsed CPU time: 8.48571 s	Remaining CPU time: 171.514 s
8.58/8.60	c ===============================================================================
8.58/8.60	c |      2117 |    3833    26535   176762 |     8845     2117    506 | 31.197 % |
8.58/8.63	c ===============================================================================
8.58/8.63	c New solution: 111331
8.58/8.63	o 111331
8.58/8.63	c Elapsed CPU time: 8.51571 s	Remaining CPU time: 171.484 s
8.58/8.63	c ===============================================================================
8.58/8.63	c |      2117 |    3833    26536   178719 |     8845     2117    506 | 31.197 % |
8.58/8.67	c ===============================================================================
8.58/8.67	c New solution: 111330
8.58/8.67	o 111330
8.58/8.67	c Elapsed CPU time: 8.5487 s	Remaining CPU time: 171.451 s
8.58/8.67	c ===============================================================================
8.58/8.67	c |      2117 |    3833    26537   180676 |     8845     2117    506 | 31.197 % |
8.70/8.70	c ===============================================================================
8.70/8.70	c New solution: 111329
8.70/8.70	o 111329
8.70/8.70	c Elapsed CPU time: 8.5807 s	Remaining CPU time: 171.419 s
8.70/8.70	c ===============================================================================
8.70/8.70	c |      2117 |    3833    26538   182633 |     8846     2117    506 | 31.197 % |
8.70/8.73	c ===============================================================================
8.70/8.73	c New solution: 111328
8.70/8.73	o 111328
8.70/8.73	c Elapsed CPU time: 8.60469 s	Remaining CPU time: 171.395 s
8.70/8.73	c ===============================================================================
8.70/8.73	c |      2117 |    3833    26539   184590 |     8846     2117    506 | 31.197 % |
8.70/8.76	c ===============================================================================
8.70/8.76	c New solution: 111327
8.70/8.76	o 111327
8.70/8.76	c Elapsed CPU time: 8.63269 s	Remaining CPU time: 171.367 s
8.70/8.76	c ===============================================================================
8.70/8.76	c |      2117 |    3833    26540   186547 |     8846     2117    506 | 31.197 % |
8.70/8.80	c ===============================================================================
8.70/8.80	c New solution: 109837
8.70/8.80	o 109837
8.70/8.80	c Elapsed CPU time: 8.67168 s	Remaining CPU time: 171.328 s
8.70/8.80	c ===============================================================================
8.70/8.80	c |      2118 |    3833    26541   188504 |     8847     2118    506 | 31.197 % |
8.80/8.84	c ===============================================================================
8.80/8.84	c New solution: 109824
8.80/8.84	o 109824
8.80/8.84	c Elapsed CPU time: 8.71268 s	Remaining CPU time: 171.287 s
8.80/8.84	c ===============================================================================
8.80/8.84	c |      2118 |    3833    26542   190461 |     8847     2118    506 | 31.197 % |
8.80/8.88	c ===============================================================================
8.80/8.88	c New solution: 109823
8.80/8.88	o 109823
8.80/8.88	c Elapsed CPU time: 8.75667 s	Remaining CPU time: 171.243 s
8.80/8.88	c ===============================================================================
8.80/8.88	c |      2118 |    3833    26543   192418 |     8847     2118    506 | 31.197 % |
8.89/8.96	c ===============================================================================
8.89/8.96	c New solution: 109815
8.89/8.96	o 109815
8.89/8.96	c Elapsed CPU time: 8.83366 s	Remaining CPU time: 171.166 s
8.89/8.96	c ===============================================================================
8.89/8.96	c |      2121 |    3833    26544   194375 |     8848     2121    505 | 31.197 % |
8.99/9.00	c ===============================================================================
8.99/9.00	c New solution: 109814
8.99/9.00	o 109814
8.99/9.00	c Elapsed CPU time: 8.87765 s	Remaining CPU time: 171.122 s
8.99/9.00	c ===============================================================================
8.99/9.00	c |      2121 |    3833    26545   196332 |     8848     2121    505 | 31.197 % |
8.99/9.04	c ===============================================================================
8.99/9.04	c New solution: 109813
8.99/9.04	o 109813
8.99/9.04	c Elapsed CPU time: 8.91764 s	Remaining CPU time: 171.082 s
8.99/9.04	c ===============================================================================
8.99/9.04	c |      2122 |    3833    26546   198289 |     8848     2122    505 | 31.197 % |
8.99/9.09	c ===============================================================================
8.99/9.09	c New solution: 109812
8.99/9.09	o 109812
8.99/9.09	c Elapsed CPU time: 8.95964 s	Remaining CPU time: 171.04 s
8.99/9.09	c ===============================================================================
8.99/9.09	c |      2122 |    3833    26547   200246 |     8849     2122    505 | 31.197 % |
9.08/9.14	c ===============================================================================
9.08/9.14	c New solution: 109811
9.08/9.14	o 109811
9.08/9.14	c Elapsed CPU time: 9.00663 s	Remaining CPU time: 170.993 s
9.08/9.14	c ===============================================================================
9.08/9.14	c |      2137 |    3833    26548   202203 |     8849     2137    504 | 31.197 % |
9.08/9.18	c ===============================================================================
9.08/9.18	c New solution: 108324
9.08/9.18	o 108324
9.08/9.18	c Elapsed CPU time: 9.04363 s	Remaining CPU time: 170.956 s
9.08/9.18	c ===============================================================================
9.08/9.18	c |      2137 |    3833    26549   204160 |     8849     2137    504 | 31.197 % |
9.19/9.22	c ===============================================================================
9.19/9.22	c New solution: 108317
9.19/9.22	o 108317
9.19/9.22	c Elapsed CPU time: 9.08162 s	Remaining CPU time: 170.918 s
9.19/9.22	c ===============================================================================
9.19/9.22	c |      2137 |    3833    26550   206117 |     8850     2137    504 | 31.197 % |
9.19/9.25	c ===============================================================================
9.19/9.25	c New solution: 108316
9.19/9.25	o 108316
9.19/9.25	c Elapsed CPU time: 9.11461 s	Remaining CPU time: 170.885 s
9.19/9.25	c ===============================================================================
9.19/9.25	c |      2137 |    3833    26551   208074 |     8850     2137    504 | 31.197 % |
9.19/9.28	c ===============================================================================
9.19/9.28	c New solution: 108303
9.19/9.28	o 108303
9.19/9.28	c Elapsed CPU time: 9.14761 s	Remaining CPU time: 170.852 s
9.19/9.28	c ===============================================================================
9.19/9.28	c |      2137 |    3833    26552   210031 |     8850     2137    504 | 31.197 % |
9.28/9.31	c ===============================================================================
9.28/9.31	c New solution: 108302
9.28/9.31	o 108302
9.28/9.31	c Elapsed CPU time: 9.1716 s	Remaining CPU time: 170.828 s
9.28/9.31	c ===============================================================================
9.28/9.31	c |      2138 |    3833    26553   211988 |     8851     2138    504 | 31.197 % |
9.38/9.46	c ===============================================================================
9.38/9.46	c New solution: 108301
9.38/9.46	o 108301
9.38/9.46	c Elapsed CPU time: 9.31658 s	Remaining CPU time: 170.683 s
9.38/9.46	c ===============================================================================
9.38/9.46	c |      2140 |    3833    26554   213945 |     8851     2140    504 | 31.197 % |
9.38/9.49	c ===============================================================================
9.38/9.49	c New solution: 106816
9.38/9.49	o 106816
9.38/9.49	c Elapsed CPU time: 9.34758 s	Remaining CPU time: 170.652 s
9.38/9.49	c ===============================================================================
9.38/9.49	c |      2141 |    3833    26555   215902 |     8851     2141    504 | 31.197 % |
9.49/9.51	c ===============================================================================
9.49/9.51	c New solution: 103770
9.49/9.51	o 103770
9.49/9.51	c Elapsed CPU time: 9.37157 s	Remaining CPU time: 170.628 s
9.49/9.51	c ===============================================================================
9.49/9.51	c |      2141 |    3833    26556   217859 |     8852     2141    504 | 31.197 % |
9.49/9.54	c ===============================================================================
9.49/9.54	c New solution: 103769
9.49/9.54	o 103769
9.49/9.54	c Elapsed CPU time: 9.39957 s	Remaining CPU time: 170.6 s
9.49/9.54	c ===============================================================================
9.49/9.54	c |      2141 |    3833    26557   219816 |     8852     2141    504 | 31.197 % |
9.49/9.57	c ===============================================================================
9.49/9.57	c New solution: 102253
9.49/9.57	o 102253
9.49/9.57	c Elapsed CPU time: 9.42557 s	Remaining CPU time: 170.574 s
9.49/9.57	c ===============================================================================
9.49/9.57	c |      2141 |    3833    26558   221773 |     8852     2141    504 | 31.197 % |
9.59/9.60	c ===============================================================================
9.59/9.60	c New solution: 100749
9.59/9.60	o 100749
9.59/9.60	c Elapsed CPU time: 9.45756 s	Remaining CPU time: 170.542 s
9.59/9.60	c ===============================================================================
9.59/9.60	c |      2141 |    3833    26559   223730 |     8853     2141    504 | 31.197 % |
9.59/9.65	c ===============================================================================
9.59/9.65	c New solution: 100745
9.59/9.65	o 100745
9.59/9.65	c Elapsed CPU time: 9.50155 s	Remaining CPU time: 170.498 s
9.59/9.65	c ===============================================================================
9.59/9.65	c |      2143 |    3833    26560   225687 |     8853     2143    503 | 31.197 % |
9.59/9.68	c ===============================================================================
9.59/9.68	c New solution: 100744
9.59/9.68	o 100744
9.59/9.68	c Elapsed CPU time: 9.53655 s	Remaining CPU time: 170.463 s
9.59/9.68	c ===============================================================================
9.59/9.68	c |      2145 |    3833    26561   227644 |     8853     2145    503 | 31.197 % |
9.79/9.81	c ===============================================================================
9.79/9.81	c New solution: 100723
9.79/9.81	o 100723
9.79/9.81	c Elapsed CPU time: 9.66353 s	Remaining CPU time: 170.336 s
9.79/9.81	c ===============================================================================
9.79/9.81	c |      2146 |    3833    26562   229601 |     8854     2146    503 | 31.197 % |
9.79/9.85	c ===============================================================================
9.79/9.85	c New solution: 100721
9.79/9.85	o 100721
9.79/9.85	c Elapsed CPU time: 9.70252 s	Remaining CPU time: 170.297 s
9.79/9.85	c ===============================================================================
9.79/9.85	c |      2148 |    3833    26563   231558 |     8854     2148    503 | 31.197 % |
9.79/9.89	c ===============================================================================
9.79/9.89	c New solution: 100720
9.79/9.89	o 100720
9.79/9.89	c Elapsed CPU time: 9.74252 s	Remaining CPU time: 170.257 s
9.79/9.89	c ===============================================================================
9.79/9.89	c |      2149 |    3833    26564   233515 |     8854     2149    503 | 31.197 % |
9.99/10.02	c ===============================================================================
9.99/10.02	c New solution: 100719
9.99/10.02	o 100719
9.99/10.02	c Elapsed CPU time: 9.8715 s	Remaining CPU time: 170.129 s
9.99/10.02	c ===============================================================================
9.99/10.02	c |      2152 |    3833    26565   235472 |     8855     2152    502 | 31.197 % |
10.09/10.16	c ===============================================================================
10.09/10.16	c New solution: 100718
10.09/10.16	o 100718
10.09/10.16	c Elapsed CPU time: 10.0135 s	Remaining CPU time: 169.987 s
10.09/10.16	c ===============================================================================
10.09/10.16	c |      2162 |    3833    26566   237429 |     8855     2162    502 | 31.197 % |
10.39/10.41	c ===============================================================================
10.39/10.41	c New solution: 100717
10.39/10.41	o 100717
10.39/10.41	c Elapsed CPU time: 10.2534 s	Remaining CPU time: 169.747 s
10.39/10.41	c ===============================================================================
10.39/10.41	c |      2168 |    3833    26567   239386 |     8855     2168    501 | 31.197 % |
10.39/10.49	c ===============================================================================
10.39/10.49	c New solution: 100716
10.39/10.49	o 100716
10.39/10.49	c Elapsed CPU time: 10.3384 s	Remaining CPU time: 169.662 s
10.39/10.49	c ===============================================================================
10.39/10.49	c |      2170 |    3833    26568   241343 |     8856     2170    502 | 31.197 % |
10.59/10.60	c ===============================================================================
10.59/10.60	c New solution: 100701
10.59/10.60	o 100701
10.59/10.60	c Elapsed CPU time: 10.4504 s	Remaining CPU time: 169.55 s
10.59/10.60	c ===============================================================================
10.59/10.60	c |      2170 |    3833    26569   243300 |     8856     2170    502 | 31.197 % |
10.69/10.79	c ===============================================================================
10.69/10.79	c New solution: 100700
10.69/10.79	o 100700
10.69/10.79	c Elapsed CPU time: 10.6354 s	Remaining CPU time: 169.365 s
10.69/10.79	c ===============================================================================
10.69/10.79	c |      2177 |    3833    26570   245257 |     8856     2177    501 | 31.197 % |
11.19/11.21	c |      2277 |    3833    26570   245257 |     9742     2277    506 | 31.197 % |
11.19/11.27	c ===============================================================================
11.19/11.27	c New solution: 100699
11.19/11.27	o 100699
11.19/11.27	c Elapsed CPU time: 11.1113 s	Remaining CPU time: 168.889 s
11.19/11.27	c ===============================================================================
11.19/11.27	c |      2291 |    3833    26571   247214 |     8857     2291    507 | 31.197 % |
11.58/11.69	c |      2391 |    3833    26571   247214 |     9742     2391    508 | 31.197 % |
11.78/11.87	c ===============================================================================
11.78/11.87	c New solution: 100698
11.78/11.87	o 100698
11.78/11.87	c Elapsed CPU time: 11.7092 s	Remaining CPU time: 168.291 s
11.78/11.87	c ===============================================================================
11.78/11.87	c |      2412 |    3833    26572   249171 |     8857     2412    509 | 31.197 % |
12.38/12.41	c ===============================================================================
12.38/12.41	c New solution: 100697
12.38/12.41	o 100697
12.38/12.41	c Elapsed CPU time: 12.2511 s	Remaining CPU time: 167.749 s
12.38/12.41	c ===============================================================================
12.38/12.41	c |      2494 |    3833    26573   251128 |     8857     2494    511 | 31.197 % |
12.48/12.53	c ===============================================================================
12.48/12.53	c New solution: 100696
12.48/12.53	o 100696
12.48/12.53	c Elapsed CPU time: 12.3671 s	Remaining CPU time: 167.633 s
12.48/12.53	c ===============================================================================
12.48/12.53	c |      2504 |    3833    26574   253085 |     8858     2504    511 | 31.197 % |
12.69/12.71	c ===============================================================================
12.69/12.71	c New solution: 100695
12.69/12.71	o 100695
12.69/12.71	c Elapsed CPU time: 12.5501 s	Remaining CPU time: 167.45 s
12.69/12.71	c ===============================================================================
12.69/12.71	c |      2521 |    3833    26575   255042 |     8858     2521    512 | 31.197 % |
13.29/13.37	c |      2621 |    3833    26575   255042 |     9744     2621    514 | 31.197 % |
13.48/13.53	c ===============================================================================
13.48/13.53	c New solution: 100694
13.48/13.53	o 100694
13.48/13.53	c Elapsed CPU time: 13.359 s	Remaining CPU time: 166.641 s
13.48/13.53	c ===============================================================================
13.48/13.53	c |      2641 |    3833    26576   256999 |     8858     2641    514 | 31.197 % |
13.98/14.06	c |      2742 |    3833    26576   256999 |     9744     2742    517 | 31.197 % |
14.08/14.15	c ===============================================================================
14.08/14.15	c New solution: 100693
14.08/14.15	o 100693
14.08/14.15	c Elapsed CPU time: 13.9829 s	Remaining CPU time: 166.017 s
14.08/14.15	c ===============================================================================
14.08/14.15	c |      2768 |    3833    26577   258956 |     8859     2768    518 | 31.197 % |
14.58/14.62	c ===============================================================================
14.58/14.62	c New solution: 100692
14.58/14.62	o 100692
14.58/14.62	c Elapsed CPU time: 14.4518 s	Remaining CPU time: 165.548 s
14.58/14.62	c ===============================================================================
14.58/14.62	c |      2820 |    3833    26578   260913 |     8859     2820    520 | 31.197 % |
14.68/14.76	c ===============================================================================
14.68/14.76	c New solution: 100691
14.68/14.76	o 100691
14.68/14.76	c Elapsed CPU time: 14.5918 s	Remaining CPU time: 165.408 s
14.68/14.76	c ===============================================================================
14.68/14.76	c |      2824 |    3833    26579   262870 |     8859     2824    520 | 31.197 % |
14.78/14.87	c ===============================================================================
14.78/14.87	c New solution: 100690
14.78/14.87	o 100690
14.78/14.87	c Elapsed CPU time: 14.7028 s	Remaining CPU time: 165.297 s
14.78/14.87	c ===============================================================================
14.78/14.87	c |      2827 |    3833    26580   264827 |     8860     2827    519 | 31.197 % |
14.88/14.95	c ===============================================================================
14.88/14.95	c New solution: 100689
14.88/14.95	o 100689
14.88/14.95	c Elapsed CPU time: 14.7778 s	Remaining CPU time: 165.222 s
14.88/14.95	c ===============================================================================
14.88/14.95	c |      2828 |    3833    26581   266784 |     8860     2828    519 | 31.197 % |
15.68/15.73	c |      2929 |    3833    26581   266784 |     9746     2929    522 | 31.197 % |
15.79/15.85	c ===============================================================================
15.79/15.85	c New solution: 100688
15.79/15.85	o 100688
15.79/15.85	c Elapsed CPU time: 15.6816 s	Remaining CPU time: 164.318 s
15.79/15.85	c ===============================================================================
15.79/15.85	c |      2945 |    3833    26582   268741 |     8860     2945    522 | 31.197 % |
15.89/15.93	c ===============================================================================
15.89/15.93	c New solution: 99204
15.89/15.93	o 99204
15.89/15.93	c Elapsed CPU time: 15.7596 s	Remaining CPU time: 164.24 s
15.89/15.93	c ===============================================================================
15.89/15.93	c |      2948 |    3833    26583   270698 |     8861     2948    522 | 31.197 % |
16.19/16.21	c ===============================================================================
16.19/16.21	c New solution: 99193
16.19/16.21	o 99193
16.19/16.21	c Elapsed CPU time: 16.0326 s	Remaining CPU time: 163.967 s
16.19/16.21	c ===============================================================================
16.19/16.21	c |      2967 |    3833    26584   272655 |     8861     2967    521 | 31.197 % |
16.29/16.30	c ===============================================================================
16.29/16.30	c New solution: 99192
16.29/16.30	o 99192
16.29/16.30	c Elapsed CPU time: 16.1285 s	Remaining CPU time: 163.871 s
16.29/16.30	c ===============================================================================
16.29/16.30	c |      2968 |    3833    26585   274612 |     8861     2968    521 | 31.197 % |
16.39/16.41	c ===============================================================================
16.39/16.41	c New solution: 99191
16.39/16.41	o 99191
16.39/16.41	c Elapsed CPU time: 16.2295 s	Remaining CPU time: 163.77 s
16.39/16.41	c ===============================================================================
16.39/16.41	c |      2974 |    3833    26586   276569 |     8862     2974    521 | 31.197 % |
16.49/16.53	c ===============================================================================
16.49/16.53	c New solution: 99190
16.49/16.53	o 99190
16.49/16.53	c Elapsed CPU time: 16.3575 s	Remaining CPU time: 163.642 s
16.49/16.53	c ===============================================================================
16.49/16.53	c |      2985 |    3833    26587   278526 |     8862     2985    521 | 31.197 % |
16.68/16.79	c ===============================================================================
16.68/16.79	c New solution: 99189
16.68/16.79	o 99189
16.68/16.79	c Elapsed CPU time: 16.6105 s	Remaining CPU time: 163.39 s
16.68/16.79	c ===============================================================================
16.68/16.79	c |      3043 |    3833    26588   280483 |     8862     3043    522 | 31.197 % |
16.89/16.95	c ===============================================================================
16.89/16.95	c New solution: 99188
16.89/16.95	o 99188
16.89/16.95	c Elapsed CPU time: 16.7694 s	Remaining CPU time: 163.231 s
16.89/16.95	c ===============================================================================
16.89/16.95	c |      3060 |    3833    26589   282440 |     8863     3060    522 | 31.197 % |
17.09/17.10	c ===============================================================================
17.09/17.10	c New solution: 99187
17.09/17.10	o 99187
17.09/17.10	c Elapsed CPU time: 16.9184 s	Remaining CPU time: 163.082 s
17.09/17.10	c ===============================================================================
17.09/17.10	c |      3064 |    3833    26590   284397 |     8863     3064    521 | 31.197 % |
17.19/17.24	c ===============================================================================
17.19/17.24	c New solution: 99186
17.19/17.24	o 99186
17.19/17.24	c Elapsed CPU time: 17.0624 s	Remaining CPU time: 162.938 s
17.19/17.24	c ===============================================================================
17.19/17.24	c |      3069 |    3833    26591   286354 |     8863     3069    521 | 31.197 % |
17.50/17.56	c ===============================================================================
17.50/17.56	c New solution: 99185
17.50/17.56	o 99185
17.50/17.56	c Elapsed CPU time: 17.3804 s	Remaining CPU time: 162.62 s
17.50/17.56	c ===============================================================================
17.50/17.56	c |      3102 |    3833    26592   288311 |     8864     3102    521 | 31.197 % |
17.60/17.65	c ===============================================================================
17.60/17.65	c New solution: 99184
17.60/17.65	o 99184
17.60/17.65	c Elapsed CPU time: 17.4623 s	Remaining CPU time: 162.538 s
17.60/17.65	c ===============================================================================
17.60/17.65	c |      3106 |    3833    26593   290268 |     8864     3106    521 | 31.197 % |
17.69/17.74	c ===============================================================================
17.69/17.74	c New solution: 99183
17.69/17.74	o 99183
17.69/17.74	c Elapsed CPU time: 17.5553 s	Remaining CPU time: 162.445 s
17.69/17.74	c ===============================================================================
17.69/17.74	c |      3113 |    3833    26594   292225 |     8864     3113    521 | 31.197 % |
17.88/17.91	c ===============================================================================
17.88/17.91	c New solution: 99182
17.88/17.91	o 99182
17.88/17.91	c Elapsed CPU time: 17.7213 s	Remaining CPU time: 162.279 s
17.88/17.91	c ===============================================================================
17.88/17.91	c |      3134 |    3833    26595   294182 |     8865     3134    522 | 31.197 % |
17.99/18.00	c ===============================================================================
17.99/18.00	c New solution: 99181
17.99/18.00	o 99181
17.99/18.00	c Elapsed CPU time: 17.8083 s	Remaining CPU time: 162.192 s
17.99/18.00	c ===============================================================================
17.99/18.00	c |      3138 |    3833    26596   296139 |     8865     3138    521 | 31.197 % |
18.49/18.60	c |      3238 |    3833    26596   296139 |     9751     3238    524 | 31.197 % |
18.99/19.05	c ===============================================================================
18.99/19.05	c New solution: 99180
18.99/19.05	o 99180
18.99/19.05	c Elapsed CPU time: 18.8551 s	Remaining CPU time: 161.145 s
18.99/19.05	c ===============================================================================
18.99/19.05	c |      3314 |    3833    26597   298096 |     8865     3314    525 | 31.197 % |
19.09/19.18	c ===============================================================================
19.09/19.18	c New solution: 99179
19.09/19.18	o 99179
19.09/19.18	c Elapsed CPU time: 18.9821 s	Remaining CPU time: 161.018 s
19.09/19.18	c ===============================================================================
19.09/19.18	c |      3324 |    3833    26598   300053 |     8866     3324    525 | 31.197 % |
19.19/19.27	c ===============================================================================
19.19/19.27	c New solution: 99178
19.19/19.27	o 99178
19.19/19.27	c Elapsed CPU time: 19.0721 s	Remaining CPU time: 160.928 s
19.19/19.27	c ===============================================================================
19.19/19.27	c |      3328 |    3833    26599   302010 |     8866     3328    525 | 31.197 % |
19.88/19.99	c |      3428 |    3833    26599   302010 |     9752     3428    525 | 31.197 % |
20.90/20.99	c |      3578 |    3833    26599   302010 |    10728     3578    529 | 31.197 % |
22.39/22.44	c |      3804 |    3833    26599   302010 |    11801     3804    533 | 31.197 % |
22.49/22.51	c ===============================================================================
22.49/22.51	c New solution: 99177
22.49/22.51	o 99177
22.49/22.51	c Elapsed CPU time: 22.3076 s	Remaining CPU time: 157.692 s
22.49/22.51	c ===============================================================================
22.49/22.51	c |      3816 |    3833    26600   303967 |     8866     3816    533 | 31.197 % |
22.78/22.89	c ===============================================================================
22.78/22.89	c New solution: 99176
22.78/22.89	o 99176
22.78/22.89	c Elapsed CPU time: 22.6826 s	Remaining CPU time: 157.317 s
22.78/22.89	c ===============================================================================
22.78/22.89	c |      3868 |    3833    26601   305924 |     8867     3868    534 | 31.197 % |
22.99/23.02	c |      3968 |    3833    26601   305924 |     9753     3968    534 | 31.197 % |
23.48/23.58	c ===============================================================================
23.48/23.58	c New solution: 99175
23.48/23.58	o 99175
23.48/23.58	c Elapsed CPU time: 23.3654 s	Remaining CPU time: 156.635 s
23.48/23.58	c ===============================================================================
23.48/23.58	c |      4056 |    3833    26602   307881 |     8867     4056    536 | 31.197 % |
23.98/24.05	c ===============================================================================
23.98/24.05	c New solution: 99174
23.98/24.05	o 99174
23.98/24.05	c Elapsed CPU time: 23.8354 s	Remaining CPU time: 156.165 s
23.98/24.05	c ===============================================================================
23.98/24.05	c |      4128 |    3833    26603   309838 |     8867     4128    537 | 31.197 % |
24.09/24.15	c ===============================================================================
24.09/24.15	c New solution: 99173
24.09/24.15	o 99173
24.09/24.15	c Elapsed CPU time: 23.9404 s	Remaining CPU time: 156.06 s
24.09/24.15	c ===============================================================================
24.09/24.15	c |      4130 |    3833    26604   311795 |     8868     4130    537 | 31.197 % |
24.29/24.36	c ===============================================================================
24.29/24.36	c New solution: 99172
24.29/24.36	o 99172
24.29/24.36	c Elapsed CPU time: 24.1483 s	Remaining CPU time: 155.852 s
24.29/24.36	c ===============================================================================
24.29/24.36	c |      4210 |    3833    26605   313752 |     8868     4210    537 | 31.197 % |
24.79/24.89	c |      4310 |    3833    26605   313752 |     9755     4310    539 | 31.197 % |
25.09/25.15	c ===============================================================================
25.09/25.15	c New solution: 97700
25.09/25.15	o 97700
25.09/25.15	c Elapsed CPU time: 24.9352 s	Remaining CPU time: 155.065 s
25.09/25.15	c ===============================================================================
25.09/25.15	c |      4364 |    3833    26606   315709 |     8868     4364    539 | 31.197 % |
25.19/25.30	c ===============================================================================
25.19/25.30	c New solution: 97695
25.19/25.30	o 97695
25.19/25.30	c Elapsed CPU time: 25.0812 s	Remaining CPU time: 154.919 s
25.19/25.30	c ===============================================================================
25.19/25.30	c |      4366 |    3833    26607   317666 |     8869     4366    539 | 31.197 % |
25.48/25.50	c ===============================================================================
25.48/25.50	c New solution: 97694
25.48/25.50	o 97694
25.48/25.50	c Elapsed CPU time: 25.2812 s	Remaining CPU time: 154.719 s
25.48/25.50	c ===============================================================================
25.48/25.50	c |      4385 |    3833    26608   319623 |     8869     4385    538 | 31.197 % |
25.58/25.64	c ===============================================================================
25.58/25.64	c New solution: 97693
25.58/25.64	o 97693
25.58/25.64	c Elapsed CPU time: 25.4161 s	Remaining CPU time: 154.584 s
25.58/25.64	c ===============================================================================
25.58/25.64	c |      4393 |    3833    26609   321580 |     8869     4393    538 | 31.197 % |
25.68/25.77	c ===============================================================================
25.68/25.77	c New solution: 97683
25.68/25.77	o 97683
25.68/25.77	c Elapsed CPU time: 25.5441 s	Remaining CPU time: 154.456 s
25.68/25.77	c ===============================================================================
25.68/25.77	c |      4397 |    3833    26610   323537 |     8870     4397    538 | 31.197 % |
25.88/25.95	c ===============================================================================
25.88/25.95	c New solution: 97682
25.88/25.95	o 97682
25.88/25.95	c Elapsed CPU time: 25.7271 s	Remaining CPU time: 154.273 s
25.88/25.95	c ===============================================================================
25.88/25.95	c |      4401 |    3833    26611   325494 |     8870     4401    538 | 31.197 % |
26.08/26.10	c ===============================================================================
26.08/26.10	c New solution: 97681
26.08/26.10	o 97681
26.08/26.10	c Elapsed CPU time: 25.8761 s	Remaining CPU time: 154.124 s
26.08/26.10	c ===============================================================================
26.08/26.10	c |      4413 |    3833    26612   327451 |     8870     4413    538 | 31.197 % |
26.18/26.24	c ===============================================================================
26.18/26.24	c New solution: 97680
26.18/26.24	o 97680
26.18/26.24	c Elapsed CPU time: 26.02 s	Remaining CPU time: 153.98 s
26.18/26.24	c ===============================================================================
26.18/26.24	c |      4419 |    3833    26613   329408 |     8871     4419    538 | 31.197 % |
26.40/26.44	c ===============================================================================
26.40/26.44	c New solution: 97679
26.40/26.44	o 97679
26.40/26.44	c Elapsed CPU time: 26.218 s	Remaining CPU time: 153.782 s
26.40/26.44	c ===============================================================================
26.40/26.44	c |      4421 |    3833    26614   331365 |     8871     4421    538 | 31.197 % |
26.59/26.64	c ===============================================================================
26.59/26.64	c New solution: 97678
26.59/26.64	o 97678
26.59/26.64	c Elapsed CPU time: 26.41 s	Remaining CPU time: 153.59 s
26.59/26.64	c ===============================================================================
26.59/26.64	c |      4423 |    3833    26615   333322 |     8871     4423    538 | 31.197 % |
26.89/26.99	c ===============================================================================
26.89/26.99	c New solution: 97677
26.89/26.99	o 97677
26.89/26.99	c Elapsed CPU time: 26.7659 s	Remaining CPU time: 153.234 s
26.89/26.99	c ===============================================================================
26.89/26.99	c |      4471 |    3833    26616   335279 |     8872     4471    539 | 31.197 % |
27.08/27.12	c ===============================================================================
27.08/27.12	c New solution: 97676
27.08/27.12	o 97676
27.08/27.12	c Elapsed CPU time: 26.8969 s	Remaining CPU time: 153.103 s
27.08/27.12	c ===============================================================================
27.08/27.12	c |      4475 |    3833    26617   337236 |     8872     4475    539 | 31.197 % |
27.49/27.58	c ===============================================================================
27.49/27.58	c New solution: 97675
27.49/27.58	o 97675
27.49/27.58	c Elapsed CPU time: 27.3568 s	Remaining CPU time: 152.643 s
27.49/27.58	c ===============================================================================
27.49/27.58	c |      4511 |    3833    26618   339193 |     8872     4511    539 | 31.197 % |
27.58/27.69	c ===============================================================================
27.58/27.69	c New solution: 97674
27.58/27.69	o 97674
27.58/27.69	c Elapsed CPU time: 27.4608 s	Remaining CPU time: 152.539 s
27.58/27.69	c ===============================================================================
27.58/27.69	c |      4511 |    3833    26619   341150 |     8873     4511    539 | 31.197 % |
27.68/27.79	c ===============================================================================
27.68/27.79	c New solution: 97673
27.68/27.79	o 97673
27.68/27.79	c Elapsed CPU time: 27.5618 s	Remaining CPU time: 152.438 s
27.68/27.79	c ===============================================================================
27.68/27.79	c |      4511 |    3833    26620   343107 |     8873     4511    539 | 31.197 % |
27.78/27.89	c ===============================================================================
27.78/27.89	c New solution: 97672
27.78/27.89	o 97672
27.78/27.89	c Elapsed CPU time: 27.6618 s	Remaining CPU time: 152.338 s
27.78/27.89	c ===============================================================================
27.78/27.89	c |      4513 |    3833    26621   345064 |     8873     4513    539 | 31.197 % |
27.98/28.08	c ===============================================================================
27.98/28.08	c New solution: 97671
27.98/28.08	o 97671
27.98/28.08	c Elapsed CPU time: 27.8488 s	Remaining CPU time: 152.151 s
27.98/28.08	c ===============================================================================
27.98/28.08	c |      4523 |    3833    26622   347021 |     8874     4523    539 | 31.197 % |
28.08/28.19	c ===============================================================================
28.08/28.19	c New solution: 97670
28.08/28.19	o 97670
28.08/28.19	c Elapsed CPU time: 27.9557 s	Remaining CPU time: 152.044 s
28.08/28.19	c ===============================================================================
28.08/28.19	c |      4524 |    3833    26623   348978 |     8874     4524    539 | 31.197 % |
28.28/28.36	c ===============================================================================
28.28/28.36	c New solution: 97669
28.28/28.36	o 97669
28.28/28.36	c Elapsed CPU time: 28.1277 s	Remaining CPU time: 151.872 s
28.28/28.36	c ===============================================================================
28.28/28.36	c |      4535 |    3833    26624   350935 |     8874     4535    539 | 31.197 % |
28.49/28.57	c ===============================================================================
28.49/28.57	c New solution: 97668
28.49/28.57	o 97668
28.49/28.57	c Elapsed CPU time: 28.3347 s	Remaining CPU time: 151.665 s
28.49/28.57	c ===============================================================================
28.49/28.57	c |      4550 |    3833    26625   352892 |     8875     4550    539 | 31.197 % |
28.59/28.63	c ===============================================================================
28.59/28.63	c New solution: 97667
28.59/28.63	o 97667
28.59/28.63	c Elapsed CPU time: 28.3947 s	Remaining CPU time: 151.605 s
28.59/28.63	c ===============================================================================
28.59/28.63	c |      4557 |    3833    26626   354849 |     8875     4557    539 | 31.197 % |
29.08/29.10	c ===============================================================================
29.08/29.10	c New solution: 97666
29.08/29.10	o 97666
29.08/29.10	c Elapsed CPU time: 28.8606 s	Remaining CPU time: 151.139 s
29.08/29.10	c ===============================================================================
29.08/29.10	c |      4595 |    3833    26627   356806 |     8875     4595    539 | 31.197 % |
29.18/29.22	c ===============================================================================
29.18/29.22	c New solution: 97665
29.18/29.22	o 97665
29.18/29.22	c Elapsed CPU time: 28.9806 s	Remaining CPU time: 151.019 s
29.18/29.22	c ===============================================================================
29.18/29.22	c |      4596 |    3833    26628   358763 |     8876     4596    539 | 31.197 % |
29.28/29.31	c ===============================================================================
29.28/29.31	c New solution: 97664
29.28/29.31	o 97664
29.28/29.31	c Elapsed CPU time: 29.0706 s	Remaining CPU time: 150.929 s
29.28/29.31	c ===============================================================================
29.28/29.31	c |      4598 |    3833    26629   360720 |     8876     4598    539 | 31.197 % |
29.98/30.06	c |      4698 |    3833    26629   360720 |     9763     4698    541 | 31.197 % |
30.18/30.21	c ===============================================================================
30.18/30.21	c New solution: 97663
30.18/30.21	o 97663
30.18/30.21	c Elapsed CPU time: 29.9624 s	Remaining CPU time: 150.038 s
30.18/30.21	c ===============================================================================
30.18/30.21	c |      4703 |    3833    26630   362677 |     8876     4703    541 | 31.197 % |
30.28/30.30	c ===============================================================================
30.28/30.30	c New solution: 97662
30.28/30.30	o 97662
30.28/30.30	c Elapsed CPU time: 30.0604 s	Remaining CPU time: 149.94 s
30.28/30.30	c ===============================================================================
30.28/30.30	c |      4719 |    3833    26631   364634 |     8877     4719    541 | 31.197 % |
30.88/30.93	c |      4821 |    3833    26631   364634 |     9764     4821    541 | 31.197 % |
31.38/31.44	c ===============================================================================
31.38/31.44	c New solution: 97661
31.38/31.44	o 97661
31.38/31.44	c Elapsed CPU time: 31.1913 s	Remaining CPU time: 148.809 s
31.38/31.44	c ===============================================================================
31.38/31.44	c |      4891 |    3833    26632   366591 |     8877     4891    542 | 31.197 % |
31.98/32.01	c ===============================================================================
31.98/32.01	c New solution: 97660
31.98/32.01	o 97660
31.98/32.01	c Elapsed CPU time: 31.7652 s	Remaining CPU time: 148.235 s
31.98/32.01	c ===============================================================================
31.98/32.01	c |      4961 |    3833    26633   368548 |     8877     4961    543 | 31.197 % |
32.88/32.90	c |      5061 |    3833    26633   368548 |     9765     5061    544 | 31.197 % |
32.98/33.02	c ===============================================================================
32.98/33.02	c New solution: 97659
32.98/33.02	o 97659
32.98/33.02	c Elapsed CPU time: 32.77 s	Remaining CPU time: 147.23 s
32.98/33.02	c ===============================================================================
32.98/33.02	c |      5067 |    3833    26634   370505 |     8878     5067    544 | 31.197 % |
33.99/34.10	c |      5167 |    3833    26634   370505 |     9765     5167    545 | 31.197 % |
34.28/34.31	c ===============================================================================
34.28/34.31	c New solution: 97658
34.28/34.31	o 97658
34.28/34.31	c Elapsed CPU time: 34.0638 s	Remaining CPU time: 145.936 s
34.28/34.31	c ===============================================================================
34.28/34.31	c |      5168 |    3833    26635   372462 |     8878     5168    545 | 31.197 % |
34.38/34.46	c ===============================================================================
34.38/34.46	c New solution: 97657
34.38/34.46	o 97657
34.38/34.46	c Elapsed CPU time: 34.2108 s	Remaining CPU time: 145.789 s
34.38/34.46	c ===============================================================================
34.38/34.46	c |      5175 |    3833    26636   374419 |     8878     5175    545 | 31.197 % |
34.58/34.65	c ===============================================================================
34.58/34.65	c New solution: 97656
34.58/34.65	o 97656
34.58/34.65	c Elapsed CPU time: 34.3948 s	Remaining CPU time: 145.605 s
34.58/34.65	c ===============================================================================
34.58/34.65	c |      5178 |    3833    26637   376376 |     8879     5178    545 | 31.197 % |
34.78/34.82	c ===============================================================================
34.78/34.82	c New solution: 97655
34.78/34.82	o 97655
34.78/34.82	c Elapsed CPU time: 34.5627 s	Remaining CPU time: 145.437 s
34.78/34.82	c ===============================================================================
34.78/34.82	c |      5198 |    3833    26638   378333 |     8879     5198    545 | 31.197 % |
35.48/35.51	c ===============================================================================
35.48/35.51	c New solution: 97654
35.48/35.51	o 97654
35.48/35.51	c Elapsed CPU time: 35.2566 s	Remaining CPU time: 144.743 s
35.48/35.51	c ===============================================================================
35.48/35.51	c |      5241 |    3833    26639   380290 |     8879     5241    545 | 31.197 % |
36.28/36.36	c ===============================================================================
36.28/36.36	c New solution: 96197
36.28/36.36	o 96197
36.28/36.36	c Elapsed CPU time: 36.1015 s	Remaining CPU time: 143.898 s
36.28/36.36	c ===============================================================================
36.28/36.36	c |      5291 |    3833    26640   382247 |     8880     5291    545 | 31.197 % |
36.68/36.79	c ===============================================================================
36.68/36.79	c New solution: 96191
36.68/36.79	o 96191
36.68/36.79	c Elapsed CPU time: 36.5374 s	Remaining CPU time: 143.463 s
36.68/36.79	c ===============================================================================
36.68/36.79	c |      5300 |    3833    26641   384204 |     8880     5300    545 | 31.197 % |
36.97/37.03	c ===============================================================================
36.97/37.03	c New solution: 96177
36.97/37.03	o 96177
36.97/37.03	c Elapsed CPU time: 36.7754 s	Remaining CPU time: 143.225 s
36.97/37.03	c ===============================================================================
36.97/37.03	c |      5301 |    3833    26642   386161 |     8880     5301    545 | 31.197 % |
37.18/37.26	c ===============================================================================
37.18/37.26	c New solution: 96176
37.18/37.26	o 96176
37.18/37.26	c Elapsed CPU time: 36.9984 s	Remaining CPU time: 143.002 s
37.18/37.26	c ===============================================================================
37.18/37.26	c |      5302 |    3833    26643   388118 |     8881     5302    545 | 31.197 % |
37.48/37.50	c ===============================================================================
37.48/37.50	c New solution: 96160
37.48/37.50	o 96160
37.48/37.50	c Elapsed CPU time: 37.2363 s	Remaining CPU time: 142.764 s
37.48/37.50	c ===============================================================================
37.48/37.50	c |      5302 |    3833    26644   390075 |     8881     5302    545 | 31.197 % |
37.58/37.66	c ===============================================================================
37.58/37.66	c New solution: 96159
37.58/37.66	o 96159
37.58/37.66	c Elapsed CPU time: 37.4033 s	Remaining CPU time: 142.597 s
37.58/37.66	c ===============================================================================
37.58/37.66	c |      5303 |    3833    26645   392032 |     8881     5303    545 | 31.197 % |
37.78/37.87	c ===============================================================================
37.78/37.87	c New solution: 96158
37.78/37.87	o 96158
37.78/37.87	c Elapsed CPU time: 37.6043 s	Remaining CPU time: 142.396 s
37.78/37.87	c ===============================================================================
37.78/37.87	c |      5303 |    3833    26646   393989 |     8882     5303    545 | 31.197 % |
37.98/38.08	c ===============================================================================
37.98/38.08	c New solution: 96157
37.98/38.08	o 96157
37.98/38.08	c Elapsed CPU time: 37.8203 s	Remaining CPU time: 142.18 s
37.98/38.08	c ===============================================================================
37.98/38.08	c |      5306 |    3833    26647   395946 |     8882     5306    545 | 31.197 % |
38.39/38.40	c ===============================================================================
38.39/38.40	c New solution: 96156
38.39/38.40	o 96156
38.39/38.40	c Elapsed CPU time: 38.1372 s	Remaining CPU time: 141.863 s
38.39/38.40	c ===============================================================================
38.39/38.40	c |      5320 |    3833    26648   397903 |     8882     5320    545 | 31.197 % |
38.58/38.67	c ===============================================================================
38.58/38.67	c New solution: 96155
38.58/38.67	o 96155
38.58/38.67	c Elapsed CPU time: 38.4062 s	Remaining CPU time: 141.594 s
38.58/38.67	c ===============================================================================
38.58/38.67	c |      5332 |    3833    26649   399860 |     8883     5332    546 | 31.197 % |
38.78/38.83	c ===============================================================================
38.78/38.83	c New solution: 96154
38.78/38.83	o 96154
38.78/38.83	c Elapsed CPU time: 38.5691 s	Remaining CPU time: 141.431 s
38.78/38.83	c ===============================================================================
38.78/38.83	c |      5336 |    3833    26650   401817 |     8883     5336    546 | 31.197 % |
38.88/38.93	c ===============================================================================
38.88/38.93	c New solution: 96153
38.88/38.93	o 96153
38.88/38.93	c Elapsed CPU time: 38.6641 s	Remaining CPU time: 141.336 s
38.88/38.93	c ===============================================================================
38.88/38.93	c |      5345 |    3833    26651   403774 |     8883     5345    546 | 31.197 % |
39.08/39.18	c ===============================================================================
39.08/39.18	c New solution: 96152
39.08/39.18	o 96152
39.08/39.18	c Elapsed CPU time: 38.9161 s	Remaining CPU time: 141.084 s
39.08/39.18	c ===============================================================================
39.08/39.18	c |      5347 |    3833    26652   405731 |     8884     5347    546 | 31.197 % |
39.58/39.68	c ===============================================================================
39.58/39.68	c New solution: 96151
39.58/39.68	o 96151
39.58/39.68	c Elapsed CPU time: 39.409 s	Remaining CPU time: 140.591 s
39.58/39.68	c ===============================================================================
39.58/39.68	c |      5403 |    3833    26653   407688 |     8884     5403    546 | 31.197 % |
39.78/39.82	c ===============================================================================
39.78/39.82	c New solution: 96150
39.78/39.82	o 96150
39.78/39.82	c Elapsed CPU time: 39.545 s	Remaining CPU time: 140.455 s
39.78/39.82	c ===============================================================================
39.78/39.82	c |      5424 |    3833    26654   409645 |     8884     5424    546 | 31.197 % |
39.98/40.08	c ===============================================================================
39.98/40.08	c New solution: 96149
39.98/40.08	o 96149
39.98/40.08	c Elapsed CPU time: 39.8059 s	Remaining CPU time: 140.194 s
39.98/40.08	c ===============================================================================
39.98/40.08	c |      5440 |    3833    26655   411602 |     8885     5440    547 | 31.197 % |
40.08/40.16	c ===============================================================================
40.08/40.16	c New solution: 96148
40.08/40.16	o 96148
40.08/40.16	c Elapsed CPU time: 39.8909 s	Remaining CPU time: 140.109 s
40.08/40.16	c ===============================================================================
40.08/40.16	c |      5446 |    3833    26656   413559 |     8885     5446    547 | 31.197 % |
40.28/40.39	c ===============================================================================
40.28/40.39	c New solution: 96147
40.28/40.39	o 96147
40.28/40.39	c Elapsed CPU time: 40.1209 s	Remaining CPU time: 139.879 s
40.28/40.39	c ===============================================================================
40.28/40.39	c |      5451 |    3833    26657   415516 |     8885     5451    547 | 31.197 % |
40.88/40.92	c ===============================================================================
40.88/40.92	c New solution: 96146
40.88/40.92	o 96146
40.88/40.92	c Elapsed CPU time: 40.6498 s	Remaining CPU time: 139.35 s
40.88/40.92	c ===============================================================================
40.88/40.92	c |      5479 |    3833    26658   417473 |     8886     5479    547 | 31.197 % |
40.97/41.07	c ===============================================================================
40.97/41.07	c New solution: 96145
40.97/41.07	o 96145
40.97/41.07	c Elapsed CPU time: 40.7908 s	Remaining CPU time: 139.209 s
40.97/41.07	c ===============================================================================
40.97/41.07	c |      5480 |    3833    26659   419430 |     8886     5480    547 | 31.197 % |
41.28/41.33	c ===============================================================================
41.28/41.33	c New solution: 96144
41.28/41.33	o 96144
41.28/41.33	c Elapsed CPU time: 41.0468 s	Remaining CPU time: 138.953 s
41.28/41.33	c ===============================================================================
41.28/41.33	c |      5494 |    3833    26660   421387 |     8886     5494    547 | 31.197 % |
41.38/41.46	c ===============================================================================
41.38/41.46	c New solution: 96143
41.38/41.46	o 96143
41.38/41.46	c Elapsed CPU time: 41.1767 s	Remaining CPU time: 138.823 s
41.38/41.46	c ===============================================================================
41.38/41.46	c |      5512 |    3833    26661   423344 |     8887     5512    547 | 31.197 % |
42.18/42.26	c |      5612 |    3833    26661   423344 |     9775     5612    548 | 31.197 % |
42.48/42.57	c ===============================================================================
42.48/42.57	c New solution: 96142
42.48/42.57	o 96142
42.48/42.57	c Elapsed CPU time: 42.2856 s	Remaining CPU time: 137.714 s
42.48/42.57	c ===============================================================================
42.48/42.57	c |      5639 |    3833    26662   425301 |     8887     5639    548 | 31.197 % |
42.68/42.78	c ===============================================================================
42.68/42.78	c New solution: 96141
42.68/42.78	o 96141
42.68/42.78	c Elapsed CPU time: 42.4955 s	Remaining CPU time: 137.504 s
42.68/42.78	c ===============================================================================
42.68/42.78	c |      5639 |    3833    26663   427258 |     8887     5639    548 | 31.197 % |
43.18/43.27	c ===============================================================================
43.18/43.27	c New solution: 96140
43.18/43.27	o 96140
43.18/43.27	c Elapsed CPU time: 42.9825 s	Remaining CPU time: 137.018 s
43.18/43.27	c ===============================================================================
43.18/43.27	c |      5673 |    3833    26664   429215 |     8888     5673    548 | 31.197 % |
43.28/43.35	c ===============================================================================
43.28/43.35	c New solution: 96139
43.28/43.35	o 96139
43.28/43.35	c Elapsed CPU time: 43.0595 s	Remaining CPU time: 136.941 s
43.28/43.35	c ===============================================================================
43.28/43.35	c |      5674 |    3833    26665   431172 |     8888     5674    548 | 31.197 % |
43.37/43.46	c ===============================================================================
43.37/43.46	c New solution: 96138
43.37/43.46	o 96138
43.37/43.46	c Elapsed CPU time: 43.1714 s	Remaining CPU time: 136.829 s
43.37/43.46	c ===============================================================================
43.37/43.46	c |      5676 |    3833    26666   433129 |     8888     5676    548 | 31.197 % |
43.57/43.64	c ===============================================================================
43.57/43.64	c New solution: 96137
43.57/43.64	o 96137
43.57/43.64	c Elapsed CPU time: 43.3554 s	Remaining CPU time: 136.645 s
43.57/43.64	c ===============================================================================
43.57/43.64	c |      5681 |    3833    26667   435086 |     8889     5681    548 | 31.197 % |
44.58/44.65	c |      5781 |    3833    26667   435086 |     9777     5781    549 | 31.197 % |
45.28/45.39	c ===============================================================================
45.28/45.39	c New solution: 96136
45.28/45.39	o 96136
45.28/45.39	c Elapsed CPU time: 45.0951 s	Remaining CPU time: 134.905 s
45.28/45.39	c ===============================================================================
45.28/45.39	c |      5875 |    3833    26668   437043 |     8889     5875    550 | 31.197 % |
45.48/45.55	c ===============================================================================
45.48/45.55	c New solution: 96135
45.48/45.55	o 96135
45.48/45.55	c Elapsed CPU time: 45.2521 s	Remaining CPU time: 134.748 s
45.48/45.55	c ===============================================================================
45.48/45.55	c |      5875 |    3833    26669   439000 |     8889     5875    550 | 31.197 % |
45.98/46.01	c ===============================================================================
45.98/46.01	c New solution: 96134
45.98/46.01	o 96134
45.98/46.01	c Elapsed CPU time: 45.7091 s	Remaining CPU time: 134.291 s
45.98/46.01	c ===============================================================================
45.98/46.01	c |      5922 |    3833    26670   440957 |     8890     5922    550 | 31.197 % |
46.18/46.20	c ===============================================================================
46.18/46.20	c New solution: 96133
46.18/46.20	o 96133
46.18/46.20	c Elapsed CPU time: 45.907 s	Remaining CPU time: 134.093 s
46.18/46.20	c ===============================================================================
46.18/46.20	c |      5927 |    3833    26671   442914 |     8890     5927    550 | 31.197 % |
47.07/47.12	c |      6027 |    3833    26671   442914 |     9779     6027    551 | 31.197 % |
47.47/47.50	c ===============================================================================
47.47/47.50	c New solution: 96132
47.47/47.50	o 96132
47.47/47.50	c Elapsed CPU time: 47.2048 s	Remaining CPU time: 132.795 s
47.47/47.50	c ===============================================================================
47.47/47.50	c |      6037 |    3833    26672   444871 |     8890     6037    551 | 31.197 % |
47.77/47.83	c ===============================================================================
47.77/47.83	c New solution: 96131
47.77/47.83	o 96131
47.77/47.83	c Elapsed CPU time: 47.5268 s	Remaining CPU time: 132.473 s
47.77/47.83	c ===============================================================================
47.77/47.83	c |      6043 |    3833    26673   446828 |     8891     6043    551 | 31.197 % |
49.18/49.26	c |      6143 |    3833    26673   446828 |     9780     6143    551 | 31.197 % |
49.39/49.49	c ===============================================================================
49.39/49.49	c New solution: 96130
49.39/49.49	o 96130
49.39/49.49	c Elapsed CPU time: 49.1835 s	Remaining CPU time: 130.816 s
49.39/49.49	c ===============================================================================
49.39/49.49	c |      6161 |    3833    26674   448785 |     8891     6161    551 | 31.197 % |
50.48/50.55	c |      6262 |    3833    26674   448785 |     9780     6262    552 | 31.197 % |
50.78/50.85	c ===============================================================================
50.78/50.85	c New solution: 96129
50.78/50.85	o 96129
50.78/50.85	c Elapsed CPU time: 50.5453 s	Remaining CPU time: 129.455 s
50.78/50.85	c ===============================================================================
50.78/50.85	c |      6320 |    3833    26675   450742 |     8891     6320    551 | 31.197 % |
52.07/52.15	c |      6420 |    3833    26675   450742 |     9780     6420    552 | 31.197 % |
52.68/52.79	c ===============================================================================
52.68/52.79	c New solution: 96128
52.68/52.79	o 96128
52.68/52.79	c Elapsed CPU time: 52.481 s	Remaining CPU time: 127.519 s
52.68/52.79	c ===============================================================================
52.68/52.79	c |      6497 |    3833    26676   452699 |     8892     6497    552 | 31.197 % |
52.98/53.00	c ===============================================================================
52.98/53.00	c New solution: 94653
52.98/53.00	o 94653
52.98/53.00	c Elapsed CPU time: 52.687 s	Remaining CPU time: 127.313 s
52.98/53.00	c ===============================================================================
52.98/53.00	c |      6554 |    3833    26677   454656 |     8892     6554    552 | 31.197 % |
53.18/53.27	c ===============================================================================
53.18/53.27	c New solution: 94652
53.18/53.27	o 94652
53.18/53.27	c Elapsed CPU time: 52.9589 s	Remaining CPU time: 127.041 s
53.18/53.27	c ===============================================================================
53.18/53.27	c |      6556 |    3833    26678   456613 |     8892     6556    552 | 31.197 % |
53.38/53.46	c ===============================================================================
53.38/53.46	c New solution: 94650
53.38/53.46	o 94650
53.38/53.46	c Elapsed CPU time: 53.1479 s	Remaining CPU time: 126.852 s
53.38/53.46	c ===============================================================================
53.38/53.46	c |      6560 |    3833    26679   458570 |     8893     6560    552 | 31.197 % |
53.68/53.73	c ===============================================================================
53.68/53.73	c New solution: 94649
53.68/53.73	o 94649
53.68/53.73	c Elapsed CPU time: 53.4159 s	Remaining CPU time: 126.584 s
53.68/53.73	c ===============================================================================
53.68/53.73	c |      6569 |    3833    26680   460527 |     8893     6569    552 | 31.197 % |
53.88/53.98	c ===============================================================================
53.88/53.98	c New solution: 94645
53.88/53.98	o 94645
53.88/53.98	c Elapsed CPU time: 53.6608 s	Remaining CPU time: 126.339 s
53.88/53.98	c ===============================================================================
53.88/53.98	c |      6584 |    3833    26681   462484 |     8893     6584    552 | 31.197 % |
54.07/54.19	c ===============================================================================
54.07/54.19	c New solution: 94644
54.07/54.19	o 94644
54.07/54.19	c Elapsed CPU time: 53.8658 s	Remaining CPU time: 126.134 s
54.07/54.19	c ===============================================================================
54.07/54.19	c |      6589 |    3833    26682   464441 |     8894     6589    552 | 31.197 % |
54.47/54.55	c ===============================================================================
54.47/54.55	c New solution: 94643
54.47/54.55	o 94643
54.47/54.55	c Elapsed CPU time: 54.2308 s	Remaining CPU time: 125.769 s
54.47/54.55	c ===============================================================================
54.47/54.55	c |      6592 |    3833    26683   466398 |     8894     6592    552 | 31.197 % |
54.77/54.88	c ===============================================================================
54.77/54.88	c New solution: 94632
54.77/54.88	o 94632
54.77/54.88	c Elapsed CPU time: 54.5537 s	Remaining CPU time: 125.446 s
54.77/54.88	c ===============================================================================
54.77/54.88	c |      6601 |    3833    26684   468355 |     8894     6601    552 | 31.197 % |
54.99/55.04	c ===============================================================================
54.99/55.04	c New solution: 94631
54.99/55.04	o 94631
54.99/55.04	c Elapsed CPU time: 54.7127 s	Remaining CPU time: 125.287 s
54.99/55.04	c ===============================================================================
54.99/55.04	c |      6602 |    3833    26685   470312 |     8895     6602    552 | 31.197 % |
55.18/55.28	c ===============================================================================
55.18/55.28	c New solution: 94630
55.18/55.28	o 94630
55.18/55.28	c Elapsed CPU time: 54.9536 s	Remaining CPU time: 125.046 s
55.18/55.28	c ===============================================================================
55.18/55.28	c |      6609 |    3833    26686   472269 |     8895     6609    552 | 31.197 % |
55.38/55.43	c ===============================================================================
55.38/55.43	c New solution: 94629
55.38/55.43	o 94629
55.38/55.43	c Elapsed CPU time: 55.1036 s	Remaining CPU time: 124.896 s
55.38/55.43	c ===============================================================================
55.38/55.43	c |      6614 |    3833    26687   474226 |     8895     6614    552 | 31.197 % |
56.98/57.04	c |      6714 |    3833    26687   474226 |     9785     6714    553 | 31.197 % |
58.18/58.23	c |      6865 |    3833    26687   474226 |    10763     6865    554 | 31.197 % |
58.47/58.59	c ===============================================================================
58.47/58.59	c New solution: 94628
58.47/58.59	o 94628
58.47/58.59	c Elapsed CPU time: 58.2611 s	Remaining CPU time: 121.739 s
58.47/58.59	c ===============================================================================
58.47/58.59	c |      6885 |    3833    26688   476183 |     8896     6885    554 | 31.197 % |
58.97/59.09	c |      6986 |    3833    26688   476183 |     9785     6986    554 | 31.197 % |
59.17/59.28	c ===============================================================================
59.17/59.28	c New solution: 94627
59.17/59.28	o 94627
59.17/59.28	c Elapsed CPU time: 58.948 s	Remaining CPU time: 121.052 s
59.17/59.28	c ===============================================================================
59.17/59.28	c |      6998 |    3833    26689   478140 |     8896     6998    554 | 31.197 % |
60.38/60.48	c ===============================================================================
60.38/60.48	c New solution: 94626
60.38/60.48	o 94626
60.38/60.48	c Elapsed CPU time: 60.1489 s	Remaining CPU time: 119.851 s
60.38/60.48	c ===============================================================================
60.38/60.48	c |      7025 |    3833    26690   480097 |     8896     7025    554 | 31.197 % |
61.77/61.81	c |      7126 |    3833    26690   480097 |     9786     7126    555 | 31.197 % |
61.87/61.97	c ===============================================================================
61.87/61.97	c New solution: 93155
61.87/61.97	o 93155
61.87/61.97	c Elapsed CPU time: 61.6396 s	Remaining CPU time: 118.36 s
61.87/61.97	c ===============================================================================
61.87/61.97	c |      7129 |    3833    26691   482054 |     8897     7129    555 | 31.197 % |
63.07/63.13	c ===============================================================================
63.07/63.13	c New solution: 93147
63.07/63.13	o 93147
63.07/63.13	c Elapsed CPU time: 62.7925 s	Remaining CPU time: 117.208 s
63.07/63.13	c ===============================================================================
63.07/63.13	c |      7200 |    3833    26692   484011 |     8897     7200    554 | 31.197 % |
63.68/63.75	c ===============================================================================
63.68/63.75	c New solution: 93146
63.68/63.75	o 93146
63.68/63.75	c Elapsed CPU time: 63.4104 s	Remaining CPU time: 116.59 s
63.68/63.75	c ===============================================================================
63.68/63.75	c |      7226 |    3833    26693   485968 |     8897     7226    554 | 31.197 % |
63.78/63.86	c ===============================================================================
63.78/63.86	c New solution: 93145
63.78/63.86	o 93145
63.78/63.86	c Elapsed CPU time: 63.5253 s	Remaining CPU time: 116.475 s
63.78/63.86	c ===============================================================================
63.78/63.86	c |      7227 |    3833    26694   487925 |     8898     7227    554 | 31.197 % |
63.87/63.97	c ===============================================================================
63.87/63.97	c New solution: 93144
63.87/63.97	o 93144
63.87/63.97	c Elapsed CPU time: 63.6323 s	Remaining CPU time: 116.368 s
63.87/63.97	c ===============================================================================
63.87/63.97	c |      7227 |    3833    26695   489882 |     8898     7227    554 | 31.197 % |
63.97/64.07	c ===============================================================================
63.97/64.07	c New solution: 93143
63.97/64.07	o 93143
63.97/64.07	c Elapsed CPU time: 63.7363 s	Remaining CPU time: 116.264 s
63.97/64.07	c ===============================================================================
63.97/64.07	c |      7227 |    3833    26696   491839 |     8898     7227    554 | 31.197 % |
64.07/64.18	c ===============================================================================
64.07/64.18	c New solution: 93142
64.07/64.18	o 93142
64.07/64.18	c Elapsed CPU time: 63.8453 s	Remaining CPU time: 116.155 s
64.07/64.18	c ===============================================================================
64.07/64.18	c |      7227 |    3833    26697   493796 |     8899     7227    554 | 31.197 % |
64.27/64.30	c ===============================================================================
64.27/64.30	c New solution: 93141
64.27/64.30	o 93141
64.27/64.30	c Elapsed CPU time: 63.9583 s	Remaining CPU time: 116.042 s
64.27/64.30	c ===============================================================================
64.27/64.30	c |      7228 |    3833    26698   495753 |     8899     7228    554 | 31.197 % |
64.47/64.55	c ===============================================================================
64.47/64.55	c New solution: 93140
64.47/64.55	o 93140
64.47/64.55	c Elapsed CPU time: 64.2062 s	Remaining CPU time: 115.794 s
64.47/64.55	c ===============================================================================
64.47/64.55	c |      7230 |    3833    26699   497710 |     8899     7230    554 | 31.197 % |
64.57/64.69	c ===============================================================================
64.57/64.69	c New solution: 93139
64.57/64.69	o 93139
64.57/64.69	c Elapsed CPU time: 64.3482 s	Remaining CPU time: 115.652 s
64.57/64.69	c ===============================================================================
64.57/64.69	c |      7230 |    3833    26700   499667 |     8900     7230    554 | 31.197 % |
64.78/64.84	c ===============================================================================
64.78/64.84	c New solution: 93138
64.78/64.84	o 93138
64.78/64.84	c Elapsed CPU time: 64.4942 s	Remaining CPU time: 115.506 s
64.78/64.84	c ===============================================================================
64.78/64.84	c |      7230 |    3833    26701   501624 |     8900     7230    554 | 31.197 % |
64.88/64.99	c ===============================================================================
64.88/64.99	c New solution: 93137
64.88/64.99	o 93137
64.88/64.99	c Elapsed CPU time: 64.6472 s	Remaining CPU time: 115.353 s
64.88/64.99	c ===============================================================================
64.88/64.99	c |      7233 |    3833    26702   503581 |     8900     7233    554 | 31.197 % |
65.07/65.13	c ===============================================================================
65.07/65.13	c New solution: 93136
65.07/65.13	o 93136
65.07/65.13	c Elapsed CPU time: 64.7822 s	Remaining CPU time: 115.218 s
65.07/65.13	c ===============================================================================
65.07/65.13	c |      7234 |    3833    26703   505538 |     8901     7234    554 | 31.197 % |
65.17/65.23	c ===============================================================================
65.17/65.23	c New solution: 91645
65.17/65.23	o 91645
65.17/65.23	c Elapsed CPU time: 64.8801 s	Remaining CPU time: 115.12 s
65.17/65.23	c ===============================================================================
65.17/65.23	c |      7236 |    3833    26704   507495 |     8901     7236    554 | 31.197 % |
65.47/65.55	c ===============================================================================
65.47/65.55	c New solution: 91630
65.47/65.55	o 91630
65.47/65.55	c Elapsed CPU time: 65.2021 s	Remaining CPU time: 114.798 s
65.47/65.55	c ===============================================================================
65.47/65.55	c |      7237 |    3833    26705   509452 |     8901     7237    554 | 31.197 % |
65.77/65.86	c ===============================================================================
65.77/65.86	c New solution: 91629
65.77/65.86	o 91629
65.77/65.86	c Elapsed CPU time: 65.515 s	Remaining CPU time: 114.485 s
65.77/65.86	c ===============================================================================
65.77/65.86	c |      7237 |    3833    26706   511409 |     8902     7237    554 | 31.197 % |
66.07/66.18	c ===============================================================================
66.07/66.18	c New solution: 91628
66.07/66.18	o 91628
66.07/66.18	c Elapsed CPU time: 65.828 s	Remaining CPU time: 114.172 s
66.07/66.18	c ===============================================================================
66.07/66.18	c |      7237 |    3833    26707   513366 |     8902     7237    554 | 31.197 % |
66.47/66.51	c ===============================================================================
66.47/66.51	c New solution: 91627
66.47/66.51	o 91627
66.47/66.51	c Elapsed CPU time: 66.1579 s	Remaining CPU time: 113.842 s
66.47/66.51	c ===============================================================================
66.47/66.51	c |      7238 |    3833    26708   515323 |     8902     7238    554 | 31.197 % |
66.77/66.82	c ===============================================================================
66.77/66.82	c New solution: 91626
66.77/66.82	o 91626
66.77/66.82	c Elapsed CPU time: 66.4679 s	Remaining CPU time: 113.532 s
66.77/66.82	c ===============================================================================
66.77/66.82	c |      7238 |    3833    26709   517280 |     8903     7238    554 | 31.197 % |
67.08/67.13	c ===============================================================================
67.08/67.13	c New solution: 91625
67.08/67.13	o 91625
67.08/67.13	c Elapsed CPU time: 66.7778 s	Remaining CPU time: 113.222 s
67.08/67.13	c ===============================================================================
67.08/67.13	c |      7238 |    3833    26710   519237 |     8903     7238    554 | 31.197 % |
67.37/67.43	c ===============================================================================
67.37/67.43	c New solution: 91624
67.37/67.43	o 91624
67.37/67.43	c Elapsed CPU time: 67.0788 s	Remaining CPU time: 112.921 s
67.37/67.43	c ===============================================================================
67.37/67.43	c |      7240 |    3833    26711   521194 |     8903     7240    554 | 31.197 % |
67.47/67.59	c ===============================================================================
67.47/67.59	c New solution: 91623
67.47/67.59	o 91623
67.47/67.59	c Elapsed CPU time: 67.2368 s	Remaining CPU time: 112.763 s
67.47/67.59	c ===============================================================================
67.47/67.59	c |      7244 |    3833    26712   523151 |     8904     7244    554 | 31.197 % |
67.67/67.72	c ===============================================================================
67.67/67.72	c New solution: 91614
67.67/67.72	o 91614
67.67/67.72	c Elapsed CPU time: 67.3688 s	Remaining CPU time: 112.631 s
67.67/67.72	c ===============================================================================
67.67/67.72	c |      7244 |    3833    26713   525108 |     8904     7244    554 | 31.197 % |
67.87/67.93	c ===============================================================================
67.87/67.93	c New solution: 91613
67.87/67.93	o 91613
67.87/67.93	c Elapsed CPU time: 67.5757 s	Remaining CPU time: 112.424 s
67.87/67.93	c ===============================================================================
67.87/67.93	c |      7244 |    3833    26714   527065 |     8904     7244    554 | 31.197 % |
67.97/68.04	c ===============================================================================
67.97/68.04	c New solution: 91612
67.97/68.04	o 91612
67.97/68.04	c Elapsed CPU time: 67.6917 s	Remaining CPU time: 112.308 s
67.97/68.04	c ===============================================================================
67.97/68.04	c |      7245 |    3833    26715   529022 |     8905     7245    554 | 31.197 % |
68.08/68.18	c ===============================================================================
68.08/68.18	c New solution: 91611
68.08/68.18	o 91611
68.08/68.18	c Elapsed CPU time: 67.8217 s	Remaining CPU time: 112.178 s
68.08/68.18	c ===============================================================================
68.08/68.18	c |      7245 |    3833    26716   530979 |     8905     7245    554 | 31.197 % |
68.17/68.30	c ===============================================================================
68.17/68.30	c New solution: 91610
68.17/68.30	o 91610
68.17/68.30	c Elapsed CPU time: 67.9397 s	Remaining CPU time: 112.06 s
68.17/68.30	c ===============================================================================
68.17/68.30	c |      7245 |    3833    26717   532936 |     8905     7245    554 | 31.197 % |
68.36/68.41	c ===============================================================================
68.36/68.41	c New solution: 90111
68.36/68.41	o 90111
68.36/68.41	c Elapsed CPU time: 68.0487 s	Remaining CPU time: 111.951 s
68.36/68.41	c ===============================================================================
68.36/68.41	c |      7246 |    3833    26718   534893 |     8906     7246    554 | 31.197 % |
68.46/68.58	c ===============================================================================
68.46/68.58	c New solution: 90105
68.46/68.58	o 90105
68.46/68.58	c Elapsed CPU time: 68.2196 s	Remaining CPU time: 111.78 s
68.46/68.58	c ===============================================================================
68.46/68.58	c |      7250 |    3833    26719   536850 |     8906     7250    554 | 31.197 % |
69.07/69.17	c ===============================================================================
69.07/69.17	c New solution: 90104
69.07/69.17	o 90104
69.07/69.17	c Elapsed CPU time: 68.8115 s	Remaining CPU time: 111.188 s
69.07/69.17	c ===============================================================================
69.07/69.17	c |      7293 |    3833    26720   538807 |     8906     7293    554 | 31.197 % |
69.28/69.33	c ===============================================================================
69.28/69.33	c New solution: 90103
69.28/69.33	o 90103
69.28/69.33	c Elapsed CPU time: 68.9705 s	Remaining CPU time: 111.029 s
69.28/69.33	c ===============================================================================
69.28/69.33	c |      7309 |    3833    26721   540764 |     8907     7309    554 | 31.197 % |
69.57/69.66	c ===============================================================================
69.57/69.66	c New solution: 90101
69.57/69.66	o 90101
69.57/69.66	c Elapsed CPU time: 69.3015 s	Remaining CPU time: 110.699 s
69.57/69.66	c ===============================================================================
69.57/69.66	c |      7313 |    3833    26722   542721 |     8907     7313    554 | 31.197 % |
69.97/70.05	c ===============================================================================
69.97/70.05	c New solution: 90100
69.97/70.05	o 90100
69.97/70.05	c Elapsed CPU time: 69.6864 s	Remaining CPU time: 110.314 s
69.97/70.05	c ===============================================================================
69.97/70.05	c |      7318 |    3833    26723   544678 |     8907     7318    554 | 31.197 % |
70.38/70.43	c ===============================================================================
70.38/70.43	c New solution: 90099
70.38/70.43	o 90099
70.38/70.43	c Elapsed CPU time: 70.0673 s	Remaining CPU time: 109.933 s
70.38/70.43	c ===============================================================================
70.38/70.43	c |      7360 |    3833    26724   546635 |     8908     7360    554 | 31.197 % |
70.57/70.61	c ===============================================================================
70.57/70.61	c New solution: 90098
70.57/70.61	o 90098
70.57/70.61	c Elapsed CPU time: 70.2533 s	Remaining CPU time: 109.747 s
70.57/70.61	c ===============================================================================
70.57/70.61	c |      7364 |    3833    26725   548592 |     8908     7364    554 | 31.197 % |
71.67/71.72	c |      7465 |    3833    26725   548592 |     9799     7465    555 | 31.197 % |
71.97/72.03	c ===============================================================================
71.97/72.03	c New solution: 90097
71.97/72.03	o 90097
71.97/72.03	c Elapsed CPU time: 71.6641 s	Remaining CPU time: 108.336 s
71.97/72.03	c ===============================================================================
71.97/72.03	c |      7474 |    3833    26726   550549 |     8908     7474    555 | 31.197 % |
72.76/72.81	c |      7574 |    3833    26726   550549 |     9799     7574    556 | 31.197 % |
73.36/73.47	c ===============================================================================
73.36/73.47	c New solution: 88618
73.36/73.47	o 88618
73.36/73.47	c Elapsed CPU time: 73.0969 s	Remaining CPU time: 106.903 s
73.36/73.47	c ===============================================================================
73.36/73.47	c |      7645 |    3833    26727   552506 |     8909     7645    556 | 31.197 % |
73.97/74.07	c |      7745 |    3833    26727   552506 |     9799     7745    556 | 31.197 % |
75.17/75.22	c ===============================================================================
75.17/75.22	c New solution: 88602
75.17/75.22	o 88602
75.17/75.22	c Elapsed CPU time: 74.8436 s	Remaining CPU time: 105.156 s
75.17/75.22	c ===============================================================================
75.17/75.22	c |      7814 |    3833    26728   554463 |     8909     7814    555 | 31.197 % |
75.67/75.74	c ===============================================================================
75.67/75.74	c New solution: 88597
75.67/75.74	o 88597
75.67/75.74	c Elapsed CPU time: 75.3665 s	Remaining CPU time: 104.633 s
75.67/75.74	c ===============================================================================
75.67/75.74	c |      7819 |    3833    26729   556420 |     8909     7819    555 | 31.197 % |
75.97/76.00	c ===============================================================================
75.97/76.00	c New solution: 88585
75.97/76.00	o 88585
75.97/76.00	c Elapsed CPU time: 75.6245 s	Remaining CPU time: 104.375 s
75.97/76.00	c ===============================================================================
75.97/76.00	c |      7819 |    3833    26730   558377 |     8910     7819    555 | 31.197 % |
76.17/76.22	c ===============================================================================
76.17/76.22	c New solution: 88584
76.17/76.22	o 88584
76.17/76.22	c Elapsed CPU time: 75.8435 s	Remaining CPU time: 104.157 s
76.17/76.22	c ===============================================================================
76.17/76.22	c |      7820 |    3833    26731   560334 |     8910     7820    555 | 31.197 % |
76.67/76.78	c ===============================================================================
76.67/76.78	c New solution: 88583
76.67/76.78	o 88583
76.67/76.78	c Elapsed CPU time: 76.4034 s	Remaining CPU time: 103.597 s
76.67/76.78	c ===============================================================================
76.67/76.78	c |      7852 |    3833    26732   562291 |     8910     7852    555 | 31.197 % |
77.56/77.62	c ===============================================================================
77.56/77.62	c New solution: 88582
77.56/77.62	o 88582
77.56/77.62	c Elapsed CPU time: 77.2423 s	Remaining CPU time: 102.758 s
77.56/77.62	c ===============================================================================
77.56/77.62	c |      7940 |    3833    26733   564248 |     8911     7940    556 | 31.197 % |
77.86/77.98	c ===============================================================================
77.86/77.98	c New solution: 88581
77.86/77.98	o 88581
77.86/77.98	c Elapsed CPU time: 77.5962 s	Remaining CPU time: 102.404 s
77.86/77.98	c ===============================================================================
77.86/77.98	c |      7941 |    3833    26734   566205 |     8911     7941    556 | 31.197 % |
78.26/78.32	c ===============================================================================
78.26/78.32	c New solution: 88580
78.26/78.32	o 88580
78.26/78.32	c Elapsed CPU time: 77.9421 s	Remaining CPU time: 102.058 s
78.26/78.32	c ===============================================================================
78.26/78.32	c |      7943 |    3833    26735   568162 |     8911     7943    556 | 31.197 % |
78.57/78.69	c ===============================================================================
78.57/78.69	c New solution: 88579
78.57/78.69	o 88579
78.57/78.69	c Elapsed CPU time: 78.3061 s	Remaining CPU time: 101.694 s
78.57/78.69	c ===============================================================================
78.57/78.69	c |      7950 |    3833    26736   570119 |     8912     7950    556 | 31.197 % |
79.08/79.13	c ===============================================================================
79.08/79.13	c New solution: 88578
79.08/79.13	o 88578
79.08/79.13	c Elapsed CPU time: 78.748 s	Remaining CPU time: 101.252 s
79.08/79.13	c ===============================================================================
79.08/79.13	c |      7952 |    3833    26737   572076 |     8912     7952    556 | 31.197 % |
79.67/79.73	c ===============================================================================
79.67/79.73	c New solution: 88577
79.67/79.73	o 88577
79.67/79.73	c Elapsed CPU time: 79.3409 s	Remaining CPU time: 100.659 s
79.67/79.73	c ===============================================================================
79.67/79.73	c |      7993 |    3833    26738   574033 |     8912     7993    556 | 31.197 % |
79.97/80.03	c ===============================================================================
79.97/80.03	c New solution: 88576
79.97/80.03	o 88576
79.97/80.03	c Elapsed CPU time: 79.6409 s	Remaining CPU time: 100.359 s
79.97/80.03	c ===============================================================================
79.97/80.03	c |      8023 |    3833    26739   575990 |     8913     8023    556 | 31.197 % |
80.27/80.32	c ===============================================================================
80.27/80.32	c New solution: 88575
80.27/80.32	o 88575
80.27/80.32	c Elapsed CPU time: 79.9348 s	Remaining CPU time: 100.065 s
80.27/80.32	c ===============================================================================
80.27/80.32	c |      8035 |    3833    26740   577947 |     8913     8035    556 | 31.197 % |
80.56/80.69	c ===============================================================================
80.56/80.69	c New solution: 88574
80.56/80.69	o 88574
80.56/80.69	c Elapsed CPU time: 80.2968 s	Remaining CPU time: 99.7032 s
80.56/80.69	c ===============================================================================
80.56/80.69	c |      8049 |    3833    26741   579904 |     8913     8049    556 | 31.197 % |
80.76/80.88	c ===============================================================================
80.76/80.88	c New solution: 88573
80.76/80.88	o 88573
80.76/80.88	c Elapsed CPU time: 80.4848 s	Remaining CPU time: 99.5152 s
80.76/80.88	c ===============================================================================
80.76/80.88	c |      8050 |    3833    26742   581861 |     8914     8050    556 | 31.197 % |
81.06/81.19	c ===============================================================================
81.06/81.19	c New solution: 88572
81.06/81.19	o 88572
81.06/81.19	c Elapsed CPU time: 80.8027 s	Remaining CPU time: 99.1973 s
81.06/81.19	c ===============================================================================
81.06/81.19	c |      8053 |    3833    26743   583818 |     8914     8053    556 | 31.197 % |
81.27/81.37	c ===============================================================================
81.27/81.37	c New solution: 88571
81.27/81.37	o 88571
81.27/81.37	c Elapsed CPU time: 80.9747 s	Remaining CPU time: 99.0253 s
81.27/81.37	c ===============================================================================
81.27/81.37	c |      8056 |    3833    26744   585775 |     8914     8056    556 | 31.197 % |
81.67/81.70	c ===============================================================================
81.67/81.70	c New solution: 88570
81.67/81.70	o 88570
81.67/81.70	c Elapsed CPU time: 81.3096 s	Remaining CPU time: 98.6904 s
81.67/81.70	c ===============================================================================
81.67/81.70	c |      8074 |    3833    26745   587732 |     8915     8074    556 | 31.197 % |
81.97/82.02	c ===============================================================================
81.97/82.02	c New solution: 88569
81.97/82.02	o 88569
81.97/82.02	c Elapsed CPU time: 81.6256 s	Remaining CPU time: 98.3744 s
81.97/82.02	c ===============================================================================
81.97/82.02	c |      8077 |    3833    26746   589689 |     8915     8077    556 | 31.197 % |
82.27/82.31	c ===============================================================================
82.27/82.31	c New solution: 88568
82.27/82.31	o 88568
82.27/82.31	c Elapsed CPU time: 81.9155 s	Remaining CPU time: 98.0845 s
82.27/82.31	c ===============================================================================
82.27/82.31	c |      8093 |    3833    26747   591646 |     8915     8093    556 | 31.197 % |
82.96/83.09	c ===============================================================================
82.96/83.09	c New solution: 88567
82.96/83.09	o 88567
82.96/83.09	c Elapsed CPU time: 82.6884 s	Remaining CPU time: 97.3116 s
82.96/83.09	c ===============================================================================
82.96/83.09	c |      8110 |    3833    26748   593603 |     8916     8110    556 | 31.197 % |
84.57/84.62	c |      8210 |    3833    26748   593603 |     9807     8210    557 | 31.197 % |
84.86/84.95	c ===============================================================================
84.86/84.95	c New solution: 88566
84.86/84.95	o 88566
84.86/84.95	c Elapsed CPU time: 84.5461 s	Remaining CPU time: 95.4539 s
84.86/84.95	c ===============================================================================
84.86/84.95	c |      8225 |    3833    26749   595560 |     8916     8225    557 | 31.197 % |
85.26/85.33	c ===============================================================================
85.26/85.33	c New solution: 88565
85.26/85.33	o 88565
85.26/85.33	c Elapsed CPU time: 84.9241 s	Remaining CPU time: 95.0759 s
85.26/85.33	c ===============================================================================
85.26/85.33	c |      8271 |    3833    26750   597517 |     8916     8271    557 | 31.197 % |
86.56/86.63	c |      8372 |    3833    26750   597517 |     9808     8372    557 | 31.197 % |
87.16/87.29	c ===============================================================================
87.16/87.29	c New solution: 88564
87.16/87.29	o 88564
87.16/87.29	c Elapsed CPU time: 86.8858 s	Remaining CPU time: 93.1142 s
87.16/87.29	c ===============================================================================
87.16/87.29	c |      8393 |    3833    26751   599474 |     8917     8393    558 | 31.197 % |
88.76/88.83	c |      8493 |    3833    26751   599474 |     9808     8493    558 | 31.197 % |
88.96/89.02	c ===============================================================================
88.96/89.02	c New solution: 88563
88.96/89.02	o 88563
88.96/89.02	c Elapsed CPU time: 88.6165 s	Remaining CPU time: 91.3835 s
88.96/89.02	c ===============================================================================
88.96/89.02	c |      8495 |    3833    26752   601431 |     8917     8495    558 | 31.197 % |
89.47/89.54	c ===============================================================================
89.47/89.54	c New solution: 88562
89.47/89.54	o 88562
89.47/89.54	c Elapsed CPU time: 89.1324 s	Remaining CPU time: 90.8676 s
89.47/89.54	c ===============================================================================
89.47/89.54	c |      8527 |    3833    26753   603388 |     8917     8527    558 | 31.197 % |
90.36/90.40	c ===============================================================================
90.36/90.40	c New solution: 88561
90.36/90.40	o 88561
90.36/90.40	c Elapsed CPU time: 89.9973 s	Remaining CPU time: 90.0027 s
90.36/90.40	c ===============================================================================
90.36/90.40	c |      8573 |    3833    26754   605345 |     8918     8573    558 | 31.197 % |
90.86/90.93	c ===============================================================================
90.86/90.93	c New solution: 88560
90.86/90.93	o 88560
90.86/90.93	c Elapsed CPU time: 90.5162 s	Remaining CPU time: 89.4838 s
90.86/90.93	c ===============================================================================
90.86/90.93	c |      8596 |    3833    26755   607302 |     8918     8596    558 | 31.197 % |
91.17/91.26	c ===============================================================================
91.17/91.26	c New solution: 88559
91.17/91.26	o 88559
91.17/91.26	c Elapsed CPU time: 90.8532 s	Remaining CPU time: 89.1468 s
91.17/91.26	c ===============================================================================
91.17/91.26	c |      8606 |    3833    26756   609259 |     8918     8606    558 | 31.197 % |
92.37/92.42	c |      8706 |    3833    26756   609259 |     9810     8706    559 | 31.197 % |
94.76/94.82	c |      8856 |    3833    26756   609259 |    10791     8856    559 | 31.197 % |
96.26/96.37	c ===============================================================================
96.26/96.37	c New solution: 88558
96.26/96.37	o 88558
96.26/96.37	c Elapsed CPU time: 95.9504 s	Remaining CPU time: 84.0496 s
96.26/96.37	c ===============================================================================
96.26/96.37	c |      9000 |    3833    26757   611216 |     8919     9000    560 | 31.197 % |
97.36/97.47	c |      9102 |    3833    26757   611216 |     9810     9102    560 | 31.197 % |
97.76/97.89	c ===============================================================================
97.76/97.89	c New solution: 88557
97.76/97.89	o 88557
97.76/97.89	c Elapsed CPU time: 97.4732 s	Remaining CPU time: 82.5268 s
97.76/97.89	c ===============================================================================
97.76/97.89	c |      9107 |    3833    26758   613173 |     8919     9107    560 | 31.197 % |
98.06/98.11	c ===============================================================================
98.06/98.11	c New solution: 88556
98.06/98.11	o 88556
98.06/98.11	c Elapsed CPU time: 97.6971 s	Remaining CPU time: 82.3029 s
98.06/98.11	c ===============================================================================
98.06/98.11	c |      9107 |    3833    26759   615130 |     8919     9107    560 | 31.197 % |
98.36/98.41	c ===============================================================================
98.36/98.41	c New solution: 88555
98.36/98.41	o 88555
98.36/98.41	c Elapsed CPU time: 98.0001 s	Remaining CPU time: 81.9999 s
98.36/98.41	c ===============================================================================
98.36/98.41	c |      9108 |    3833    26760   617087 |     8920     9108    560 | 31.197 % |
98.66/98.71	c ===============================================================================
98.66/98.71	c New solution: 88554
98.66/98.71	o 88554
98.66/98.71	c Elapsed CPU time: 98.2991 s	Remaining CPU time: 81.7009 s
98.66/98.71	c ===============================================================================
98.66/98.71	c |      9112 |    3833    26761   619044 |     8920     9112    560 | 31.197 % |
98.86/98.98	c ===============================================================================
98.86/98.98	c New solution: 88553
98.86/98.98	o 88553
98.86/98.98	c Elapsed CPU time: 98.564 s	Remaining CPU time: 81.436 s
98.86/98.98	c ===============================================================================
98.86/98.98	c |      9115 |    3833    26762   621001 |     8920     9115    560 | 31.197 % |
99.05/99.17	c ===============================================================================
99.05/99.17	c New solution: 88552
99.05/99.17	o 88552
99.05/99.17	c Elapsed CPU time: 98.752 s	Remaining CPU time: 81.248 s
99.05/99.17	c ===============================================================================
99.05/99.17	c |      9117 |    3833    26763   622958 |     8921     9117    560 | 31.197 % |
99.86/99.91	c ===============================================================================
99.86/99.91	c New solution: 88551
99.86/99.91	o 88551
99.86/99.91	c Elapsed CPU time: 99.4949 s	Remaining CPU time: 80.5051 s
99.86/99.91	c ===============================================================================
99.86/99.91	c |      9153 |    3833    26764   624915 |     8921     9153    560 | 31.197 % |
100.07/100.16	c ===============================================================================
100.07/100.16	c New solution: 88550
100.07/100.16	o 88550
100.07/100.16	c Elapsed CPU time: 99.7348 s	Remaining CPU time: 80.2652 s
100.07/100.16	c ===============================================================================
100.07/100.16	c |      9158 |    3833    26765   626872 |     8921     9158    560 | 31.197 % |
101.26/101.35	c ===============================================================================
101.26/101.35	c New solution: 88549
101.26/101.35	o 88549
101.26/101.35	c Elapsed CPU time: 100.927 s	Remaining CPU time: 79.0733 s
101.26/101.35	c ===============================================================================
101.26/101.35	c |      9234 |    3833    26766   628829 |     8922     9234    560 | 31.197 % |
101.56/101.68	c ===============================================================================
101.56/101.68	c New solution: 88548
101.56/101.68	o 88548
101.56/101.68	c Elapsed CPU time: 101.258 s	Remaining CPU time: 78.7424 s
101.56/101.68	c ===============================================================================
101.56/101.68	c |      9238 |    3833    26767   630786 |     8922     9238    560 | 31.197 % |
102.85/102.93	c |      9341 |    3833    26767   630786 |     9814     9341    561 | 31.197 % |
103.16/103.29	c ===============================================================================
103.16/103.29	c New solution: 88547
103.16/103.29	o 88547
103.16/103.29	c Elapsed CPU time: 102.863 s	Remaining CPU time: 77.1366 s
103.16/103.29	c ===============================================================================
103.16/103.29	c |      9348 |    3833    26768   632743 |     8922     9348    561 | 31.197 % |
105.06/105.14	c |      9449 |    3833    26768   632743 |     9814     9449    560 | 31.197 % |
105.16/105.29	c ===============================================================================
105.16/105.29	c New solution: 88546
105.16/105.29	o 88546
105.16/105.29	c Elapsed CPU time: 104.862 s	Remaining CPU time: 75.1379 s
105.16/105.29	c ===============================================================================
105.16/105.29	c |      9463 |    3833    26769   634700 |     8923     9463    560 | 31.197 % |
106.46/106.52	c |      9563 |    3833    26769   634700 |     9815     9563    560 | 31.197 % |
107.06/107.19	c ===============================================================================
107.06/107.19	c New solution: 87099
107.06/107.19	o 87099
107.06/107.19	c Elapsed CPU time: 106.752 s	Remaining CPU time: 73.2482 s
107.06/107.19	c ===============================================================================
107.06/107.19	c |      9586 |    3833    26770   636657 |     8923     9586    560 | 31.197 % |
107.76/107.87	c ===============================================================================
107.76/107.87	c New solution: 87098
107.76/107.87	o 87098
107.76/107.87	c Elapsed CPU time: 107.427 s	Remaining CPU time: 72.5733 s
107.76/107.87	c ===============================================================================
107.76/107.87	c |      9588 |    3833    26771   638614 |     8923     9588    560 | 31.197 % |
108.65/108.76	c ===============================================================================
108.65/108.76	c New solution: 87097
108.65/108.76	o 87097
108.65/108.76	c Elapsed CPU time: 108.323 s	Remaining CPU time: 71.6775 s
108.65/108.76	c ===============================================================================
108.65/108.76	c |      9619 |    3833    26772   640571 |     8924     9619    560 | 31.197 % |
109.06/109.14	c ===============================================================================
109.06/109.14	c New solution: 87077
109.06/109.14	o 87077
109.06/109.14	c Elapsed CPU time: 108.697 s	Remaining CPU time: 71.3025 s
109.06/109.14	c ===============================================================================
109.06/109.14	c |      9621 |    3833    26773   642528 |     8924     9621    560 | 31.197 % |
110.76/110.80	c ===============================================================================
110.76/110.80	c New solution: 87076
110.76/110.80	o 87076
110.76/110.80	c Elapsed CPU time: 110.359 s	Remaining CPU time: 69.6408 s
110.76/110.80	c ===============================================================================
110.76/110.80	c |      9672 |    3833    26774   644485 |     8924     9672    559 | 31.197 % |
111.06/111.14	c ===============================================================================
111.06/111.14	c New solution: 87063
111.06/111.14	o 87063
111.06/111.14	c Elapsed CPU time: 110.696 s	Remaining CPU time: 69.3038 s
111.06/111.14	c ===============================================================================
111.06/111.14	c |      9672 |    3833    26775   646442 |     8925     9672    559 | 31.197 % |
111.35/111.48	c ===============================================================================
111.35/111.48	c New solution: 87062
111.35/111.48	o 87062
111.35/111.48	c Elapsed CPU time: 111.027 s	Remaining CPU time: 68.9729 s
111.35/111.48	c ===============================================================================
111.35/111.48	c |      9673 |    3833    26776   648399 |     8925     9673    559 | 31.197 % |
111.65/111.73	c ===============================================================================
111.65/111.73	c New solution: 87055
111.65/111.73	o 87055
111.65/111.73	c Elapsed CPU time: 111.285 s	Remaining CPU time: 68.7149 s
111.65/111.73	c ===============================================================================
111.65/111.73	c |      9674 |    3833    26777   650356 |     8925     9674    559 | 31.197 % |
111.85/111.96	c ===============================================================================
111.85/111.96	c New solution: 87054
111.85/111.96	o 87054
111.85/111.96	c Elapsed CPU time: 111.507 s	Remaining CPU time: 68.493 s
111.85/111.96	c ===============================================================================
111.85/111.96	c |      9674 |    3833    26778   652313 |     8926     9674    559 | 31.197 % |
112.35/112.42	c ===============================================================================
112.35/112.42	c New solution: 87053
112.35/112.42	o 87053
112.35/112.42	c Elapsed CPU time: 111.966 s	Remaining CPU time: 68.034 s
112.35/112.42	c ===============================================================================
112.35/112.42	c |      9688 |    3833    26779   654270 |     8926     9688    559 | 31.197 % |
112.76/112.82	c ===============================================================================
112.76/112.82	c New solution: 87052
112.76/112.82	o 87052
112.76/112.82	c Elapsed CPU time: 112.366 s	Remaining CPU time: 67.6341 s
112.76/112.82	c ===============================================================================
112.76/112.82	c |      9699 |    3833    26780   656227 |     8926     9699    559 | 31.197 % |
113.26/113.31	c ===============================================================================
113.26/113.31	c New solution: 87051
113.26/113.31	o 87051
113.26/113.31	c Elapsed CPU time: 112.853 s	Remaining CPU time: 67.1472 s
113.26/113.31	c ===============================================================================
113.26/113.31	c |      9728 |    3833    26781   658184 |     8927     9728    559 | 31.197 % |
113.46/113.58	c ===============================================================================
113.46/113.58	c New solution: 87050
113.46/113.58	o 87050
113.46/113.58	c Elapsed CPU time: 113.128 s	Remaining CPU time: 66.8722 s
113.46/113.58	c ===============================================================================
113.46/113.58	c |      9735 |    3833    26782   660141 |     8927     9735    559 | 31.197 % |
113.65/113.74	c ===============================================================================
113.65/113.74	c New solution: 85569
113.65/113.74	o 85569
113.65/113.74	c Elapsed CPU time: 113.281 s	Remaining CPU time: 66.7192 s
113.65/113.74	c ===============================================================================
113.65/113.74	c |      9736 |    3833    26783   662098 |     8927     9736    559 | 31.197 % |
113.75/113.84	c ===============================================================================
113.75/113.84	c New solution: 85568
113.75/113.84	o 85568
113.75/113.84	c Elapsed CPU time: 113.384 s	Remaining CPU time: 66.6162 s
113.75/113.84	c ===============================================================================
113.75/113.84	c |      9738 |    3833    26784   664055 |     8928     9738    559 | 31.197 % |
114.05/114.17	c ===============================================================================
114.05/114.17	c New solution: 85560
114.05/114.17	o 85560
114.05/114.17	c Elapsed CPU time: 113.716 s	Remaining CPU time: 66.2843 s
114.05/114.17	c ===============================================================================
114.05/114.17	c |      9740 |    3833    26785   666012 |     8928     9740    559 | 31.197 % |
114.26/114.39	c ===============================================================================
114.26/114.39	c New solution: 85559
114.26/114.39	o 85559
114.26/114.39	c Elapsed CPU time: 113.936 s	Remaining CPU time: 66.0643 s
114.26/114.39	c ===============================================================================
114.26/114.39	c |      9744 |    3833    26786   667969 |     8928     9744    559 | 31.197 % |
114.65/114.77	c ===============================================================================
114.65/114.77	c New solution: 85558
114.65/114.77	o 85558
114.65/114.77	c Elapsed CPU time: 114.316 s	Remaining CPU time: 65.6844 s
114.65/114.77	c ===============================================================================
114.65/114.77	c |      9745 |    3833    26787   669926 |     8929     9745    559 | 31.197 % |
115.05/115.15	c ===============================================================================
115.05/115.15	c New solution: 85557
115.05/115.15	o 85557
115.05/115.15	c Elapsed CPU time: 114.689 s	Remaining CPU time: 65.3114 s
115.05/115.15	c ===============================================================================
115.05/115.15	c |      9745 |    3833    26788   671883 |     8929     9745    559 | 31.197 % |
115.46/115.52	c ===============================================================================
115.46/115.52	c New solution: 85556
115.46/115.52	o 85556
115.46/115.52	c Elapsed CPU time: 115.059 s	Remaining CPU time: 64.9415 s
115.46/115.52	c ===============================================================================
115.46/115.52	c |      9745 |    3833    26789   673840 |     8929     9745    559 | 31.197 % |
115.85/115.97	c ===============================================================================
115.85/115.97	c New solution: 85555
115.85/115.97	o 85555
115.85/115.97	c Elapsed CPU time: 115.503 s	Remaining CPU time: 64.4966 s
115.85/115.97	c ===============================================================================
115.85/115.97	c |      9754 |    3833    26790   675797 |     8930     9754    559 | 31.197 % |
116.66/116.70	c ===============================================================================
116.66/116.70	c New solution: 85554
116.66/116.70	o 85554
116.66/116.70	c Elapsed CPU time: 116.239 s	Remaining CPU time: 63.7607 s
116.66/116.70	c ===============================================================================
116.66/116.70	c |      9791 |    3833    26791   677754 |     8930     9791    559 | 31.197 % |
117.16/117.21	c ===============================================================================
117.16/117.21	c New solution: 85553
117.16/117.21	o 85553
117.16/117.21	c Elapsed CPU time: 116.745 s	Remaining CPU time: 63.2547 s
117.16/117.21	c ===============================================================================
117.16/117.21	c |      9796 |    3833    26792   679711 |     8930     9796    559 | 31.197 % |
117.46/117.55	c ===============================================================================
117.46/117.55	c New solution: 85536
117.46/117.55	o 85536
117.46/117.55	c Elapsed CPU time: 117.085 s	Remaining CPU time: 62.9148 s
117.46/117.55	c ===============================================================================
117.46/117.55	c |      9796 |    3833    26793   681668 |     8931     9796    559 | 31.197 % |
117.76/117.89	c ===============================================================================
117.76/117.89	c New solution: 85535
117.76/117.89	o 85535
117.76/117.89	c Elapsed CPU time: 117.42 s	Remaining CPU time: 62.5799 s
117.76/117.89	c ===============================================================================
117.76/117.89	c |      9796 |    3833    26794   683625 |     8931     9796    559 | 31.197 % |
118.15/118.22	c ===============================================================================
118.15/118.22	c New solution: 85534
118.15/118.22	o 85534
118.15/118.22	c Elapsed CPU time: 117.751 s	Remaining CPU time: 62.2489 s
118.15/118.22	c ===============================================================================
118.15/118.22	c |      9797 |    3833    26795   685582 |     8931     9797    559 | 31.197 % |
118.35/118.46	c ===============================================================================
118.35/118.46	c New solution: 85533
118.35/118.46	o 85533
118.35/118.46	c Elapsed CPU time: 117.993 s	Remaining CPU time: 62.0069 s
118.35/118.46	c ===============================================================================
118.35/118.46	c |      9819 |    3833    26796   687539 |     8932     9819    559 | 31.197 % |
118.76/118.90	c ===============================================================================
118.76/118.90	c New solution: 85532
118.76/118.90	o 85532
118.76/118.90	c Elapsed CPU time: 118.425 s	Remaining CPU time: 61.575 s
118.76/118.90	c ===============================================================================
118.76/118.90	c |      9827 |    3833    26797   689496 |     8932     9827    559 | 31.197 % |
120.25/120.31	c |      9927 |    3833    26797   689496 |     9825     9927    559 | 31.197 % |
122.25/122.37	c |     10078 |    3833    26797   689496 |    10808    10078    560 | 31.197 % |
122.55/122.61	c ===============================================================================
122.55/122.61	c New solution: 85531
122.55/122.61	o 85531
122.55/122.61	c Elapsed CPU time: 122.139 s	Remaining CPU time: 57.8606 s
122.55/122.61	c ===============================================================================
122.55/122.61	c |     10079 |    3833    26798   691453 |     8932    10079    560 | 31.197 % |
123.06/123.14	c ===============================================================================
123.06/123.14	c New solution: 85530
123.06/123.14	o 85530
123.06/123.14	c Elapsed CPU time: 122.667 s	Remaining CPU time: 57.3326 s
123.06/123.14	c ===============================================================================
123.06/123.14	c |     10090 |    3833    26799   693410 |     8933    10090    560 | 31.197 % |
123.55/123.61	c ===============================================================================
123.55/123.61	c New solution: 85529
123.55/123.61	o 85529
123.55/123.61	c Elapsed CPU time: 123.132 s	Remaining CPU time: 56.8677 s
123.55/123.61	c ===============================================================================
123.55/123.61	c |     10116 |    3833    26800   695367 |     8933    10116    560 | 31.197 % |
123.85/123.99	c ===============================================================================
123.85/123.99	c New solution: 85528
123.85/123.99	o 85528
123.85/123.99	c Elapsed CPU time: 123.51 s	Remaining CPU time: 56.4898 s
123.85/123.99	c ===============================================================================
123.85/123.99	c |     10130 |    3833    26801   697324 |     8933    10130    560 | 31.197 % |
124.16/124.26	c ===============================================================================
124.16/124.26	c New solution: 85527
124.16/124.26	o 85527
124.16/124.26	c Elapsed CPU time: 123.78 s	Remaining CPU time: 56.2198 s
124.16/124.26	c ===============================================================================
124.16/124.26	c |     10136 |    3833    26802   699281 |     8934    10136    560 | 31.197 % |
125.65/125.77	c |     10236 |    3833    26802   699281 |     9827    10236    561 | 31.197 % |
126.05/126.19	c ===============================================================================
126.05/126.19	c New solution: 85526
126.05/126.19	o 85526
126.05/126.19	c Elapsed CPU time: 125.706 s	Remaining CPU time: 54.2941 s
126.05/126.19	c ===============================================================================
126.05/126.19	c |     10238 |    3833    26803   701238 |     8934    10238    561 | 31.197 % |
126.25/126.39	c ===============================================================================
126.25/126.39	c New solution: 84039
126.25/126.39	o 84039
126.25/126.39	c Elapsed CPU time: 125.904 s	Remaining CPU time: 54.0961 s
126.25/126.39	c ===============================================================================
126.25/126.39	c |     10240 |    3833    26804   703195 |     8934    10240    560 | 31.197 % |
126.46/126.50	c ===============================================================================
126.46/126.50	c New solution: 84038
126.46/126.50	o 84038
126.46/126.50	c Elapsed CPU time: 126.021 s	Remaining CPU time: 53.9792 s
126.46/126.50	c ===============================================================================
126.46/126.50	c |     10240 |    3833    26805   705152 |     8935    10240    560 | 31.197 % |
126.55/126.63	c ===============================================================================
126.55/126.63	c New solution: 84037
126.55/126.63	o 84037
126.55/126.63	c Elapsed CPU time: 126.143 s	Remaining CPU time: 53.8572 s
126.55/126.63	c ===============================================================================
126.55/126.63	c |     10240 |    3833    26806   707109 |     8935    10240    560 | 31.197 % |
126.65/126.76	c ===============================================================================
126.65/126.76	c New solution: 82539
126.65/126.76	o 82539
126.65/126.76	c Elapsed CPU time: 126.274 s	Remaining CPU time: 53.7262 s
126.65/126.76	c ===============================================================================
126.65/126.76	c |     10241 |    3833    26807   709066 |     8935    10241    560 | 31.197 % |
126.75/126.89	c ===============================================================================
126.75/126.89	c New solution: 82522
126.75/126.89	o 82522
126.75/126.89	c Elapsed CPU time: 126.406 s	Remaining CPU time: 53.5942 s
126.75/126.89	c ===============================================================================
126.75/126.89	c |     10241 |    3833    26808   711023 |     8936    10241    560 | 31.197 % |
126.95/127.06	c ===============================================================================
126.95/127.06	c New solution: 82519
126.95/127.06	o 82519
126.95/127.06	c Elapsed CPU time: 126.576 s	Remaining CPU time: 53.4242 s
126.95/127.06	c ===============================================================================
126.95/127.06	c |     10241 |    3833    26809   712980 |     8936    10241    560 | 31.197 % |
127.05/127.19	c ===============================================================================
127.05/127.19	c New solution: 82518
127.05/127.19	o 82518
127.05/127.19	c Elapsed CPU time: 126.699 s	Remaining CPU time: 53.3013 s
127.05/127.19	c ===============================================================================
127.05/127.19	c |     10241 |    3833    26810   714937 |     8936    10241    560 | 31.197 % |
127.25/127.30	c ===============================================================================
127.25/127.30	c New solution: 82517
127.25/127.30	o 82517
127.25/127.30	c Elapsed CPU time: 126.814 s	Remaining CPU time: 53.1863 s
127.25/127.30	c ===============================================================================
127.25/127.30	c |     10241 |    3833    26811   716894 |     8937    10241    560 | 31.197 % |
127.35/127.43	c ===============================================================================
127.35/127.43	c New solution: 82516
127.35/127.43	o 82516
127.35/127.43	c Elapsed CPU time: 126.939 s	Remaining CPU time: 53.0613 s
127.35/127.43	c ===============================================================================
127.35/127.43	c |     10242 |    3833    26812   718851 |     8937    10242    560 | 31.197 % |
128.05/128.17	c ===============================================================================
128.05/128.17	c New solution: 82515
128.05/128.17	o 82515
128.05/128.17	c Elapsed CPU time: 127.677 s	Remaining CPU time: 52.3234 s
128.05/128.17	c ===============================================================================
128.05/128.17	c |     10257 |    3833    26813   720808 |     8937    10257    560 | 31.197 % |
128.35/128.46	c ===============================================================================
128.35/128.46	c New solution: 82514
128.35/128.46	o 82514
128.35/128.46	c Elapsed CPU time: 127.967 s	Remaining CPU time: 52.0335 s
128.35/128.46	c ===============================================================================
128.35/128.46	c |     10263 |    3833    26814   722765 |     8938    10263    560 | 31.197 % |
130.05/130.18	c |     10363 |    3833    26814   722765 |     9831    10363    561 | 31.197 % |
130.35/130.42	c ===============================================================================
130.35/130.42	c New solution: 82499
130.35/130.42	o 82499
130.35/130.42	c Elapsed CPU time: 129.92 s	Remaining CPU time: 50.0798 s
130.35/130.42	c ===============================================================================
130.35/130.42	c |     10363 |    3833    26815   724722 |     8938    10363    561 | 31.197 % |
130.55/130.68	c ===============================================================================
130.55/130.68	c New solution: 82495
130.55/130.68	o 82495
130.55/130.68	c Elapsed CPU time: 130.18 s	Remaining CPU time: 49.8198 s
130.55/130.68	c ===============================================================================
130.55/130.68	c |     10363 |    3833    26816   726679 |     8938    10363    561 | 31.197 % |
130.85/130.96	c ===============================================================================
130.85/130.96	c New solution: 82494
130.85/130.96	o 82494
130.85/130.96	c Elapsed CPU time: 130.462 s	Remaining CPU time: 49.5378 s
130.85/130.96	c ===============================================================================
130.85/130.96	c |     10364 |    3833    26817   728636 |     8939    10364    561 | 31.197 % |
131.25/131.31	c ===============================================================================
131.25/131.31	c New solution: 82493
131.25/131.31	o 82493
131.25/131.31	c Elapsed CPU time: 130.811 s	Remaining CPU time: 49.1889 s
131.25/131.31	c ===============================================================================
131.25/131.31	c |     10368 |    3833    26818   730593 |     8939    10368    561 | 31.197 % |
131.64/131.72	c |     10468 |    3833    26818   730593 |     9833    10468    561 | 31.197 % |
132.05/132.13	c ===============================================================================
132.05/132.13	c New solution: 82492
132.05/132.13	o 82492
132.05/132.13	c Elapsed CPU time: 131.63 s	Remaining CPU time: 48.37 s
132.05/132.13	c ===============================================================================
132.05/132.13	c |     10489 |    3833    26819   732550 |     8939    10489    561 | 31.197 % |
132.45/132.59	c |     10589 |    3833    26819   732550 |     9833    10589    561 | 31.197 % |
133.15/133.23	c ===============================================================================
133.15/133.23	c New solution: 82491
133.15/133.23	o 82491
133.15/133.23	c Elapsed CPU time: 132.724 s	Remaining CPU time: 47.2762 s
133.15/133.23	c ===============================================================================
133.15/133.23	c |     10656 |    3833    26820   734507 |     8940    10656    561 | 31.197 % |
133.45/133.53	c ===============================================================================
133.45/133.53	c New solution: 82490
133.45/133.53	o 82490
133.45/133.53	c Elapsed CPU time: 133.032 s	Remaining CPU time: 46.9682 s
133.45/133.53	c ===============================================================================
133.45/133.53	c |     10659 |    3833    26821   736464 |     8940    10659    560 | 31.197 % |
134.75/134.82	c |     10759 |    3833    26821   736464 |     9834    10759    561 | 31.197 % |
135.05/135.10	c ===============================================================================
135.05/135.10	c New solution: 82489
135.05/135.10	o 82489
135.05/135.10	c Elapsed CPU time: 134.593 s	Remaining CPU time: 45.4075 s
135.05/135.10	c ===============================================================================
135.05/135.10	c |     10761 |    3833    26822   738421 |     8940    10761    561 | 31.197 % |
136.64/136.76	c |     10862 |    3833    26822   738421 |     9834     5482    546 | 31.197 % |
137.45/137.56	c ===============================================================================
137.45/137.56	c New solution: 82488
137.45/137.56	o 82488
137.45/137.56	c Elapsed CPU time: 137.05 s	Remaining CPU time: 42.9498 s
137.45/137.56	c ===============================================================================
137.45/137.56	c |     10873 |    3833    26823   740378 |     8941     5493    546 | 31.197 % |
138.65/138.77	c |     10973 |    3833    26823   740378 |     9835     5593    547 | 31.197 % |
139.75/139.86	c ===============================================================================
139.75/139.86	c New solution: 81023
139.75/139.86	o 81023
139.75/139.86	c Elapsed CPU time: 139.351 s	Remaining CPU time: 40.6492 s
139.75/139.86	c ===============================================================================
139.75/139.86	c |     10991 |    3833    26824   742335 |     8941     5611    547 | 31.197 % |
140.55/140.67	c ===============================================================================
140.55/140.67	c New solution: 81013
140.55/140.67	o 81013
140.55/140.67	c Elapsed CPU time: 140.158 s	Remaining CPU time: 39.8423 s
140.55/140.67	c ===============================================================================
140.55/140.67	c |     10997 |    3833    26825   744292 |     8941     5617    547 | 31.197 % |
141.25/141.31	c ===============================================================================
141.25/141.31	c New solution: 80988
141.25/141.31	o 80988
141.25/141.31	c Elapsed CPU time: 140.791 s	Remaining CPU time: 39.2094 s
141.25/141.31	c ===============================================================================
141.25/141.31	c |     11008 |    3833    26826   746249 |     8942     5628    546 | 31.197 % |
141.65/141.77	c ===============================================================================
141.65/141.77	c New solution: 80987
141.65/141.77	o 80987
141.65/141.77	c Elapsed CPU time: 141.251 s	Remaining CPU time: 38.7495 s
141.65/141.77	c ===============================================================================
141.65/141.77	c |     11017 |    3833    26827   748206 |     8942     5637    546 | 31.197 % |
142.55/142.63	c ===============================================================================
142.55/142.63	c New solution: 80986
142.55/142.63	o 80986
142.55/142.63	c Elapsed CPU time: 142.11 s	Remaining CPU time: 37.8896 s
142.55/142.63	c ===============================================================================
142.55/142.63	c |     11062 |    3833    26828   750163 |     8942     5682    547 | 31.197 % |
143.05/143.16	c ===============================================================================
143.05/143.16	c New solution: 80985
143.05/143.16	o 80985
143.05/143.16	c Elapsed CPU time: 142.642 s	Remaining CPU time: 37.3577 s
143.05/143.16	c ===============================================================================
143.05/143.16	c |     11065 |    3833    26829   752120 |     8943     5685    547 | 31.197 % |
143.34/143.44	c ===============================================================================
143.34/143.44	c New solution: 80976
143.34/143.44	o 80976
143.34/143.44	c Elapsed CPU time: 142.921 s	Remaining CPU time: 37.0787 s
143.34/143.44	c ===============================================================================
143.34/143.44	c |     11066 |    3833    26830   754077 |     8943     5686    547 | 31.197 % |
143.54/143.64	c ===============================================================================
143.54/143.64	c New solution: 80975
143.54/143.64	o 80975
143.54/143.64	c Elapsed CPU time: 143.118 s	Remaining CPU time: 36.8818 s
143.54/143.64	c ===============================================================================
143.54/143.64	c |     11067 |    3833    26831   756034 |     8943     5687    547 | 31.197 % |
143.74/143.86	c ===============================================================================
143.74/143.86	c New solution: 80974
143.74/143.86	o 80974
143.74/143.86	c Elapsed CPU time: 143.334 s	Remaining CPU time: 36.6658 s
143.74/143.86	c ===============================================================================
143.74/143.86	c |     11084 |    3833    26832   757991 |     8944     5704    547 | 31.197 % |
145.25/145.38	c |     11184 |    3833    26832   757991 |     9838     5804    548 | 31.197 % |
145.85/145.96	c ===============================================================================
145.85/145.96	c New solution: 80973
145.85/145.96	o 80973
145.85/145.96	c Elapsed CPU time: 145.438 s	Remaining CPU time: 34.5621 s
145.85/145.96	c ===============================================================================
145.85/145.96	c |     11206 |    3833    26833   759948 |     8944     5826    548 | 31.197 % |
146.45/146.58	c ===============================================================================
146.45/146.58	c New solution: 79490
146.45/146.58	o 79490
146.45/146.58	c Elapsed CPU time: 146.057 s	Remaining CPU time: 33.9432 s
146.45/146.58	c ===============================================================================
146.45/146.58	c |     11222 |    3833    26834   761905 |     8944     5842    548 | 31.197 % |
147.74/147.90	c ===============================================================================
147.74/147.90	c New solution: 79489
147.74/147.90	o 79489
147.74/147.90	c Elapsed CPU time: 147.366 s	Remaining CPU time: 32.6344 s
147.74/147.90	c ===============================================================================
147.74/147.90	c |     11309 |    3833    26835   763862 |     8945     5929    547 | 31.197 % |
148.24/148.33	c ===============================================================================
148.24/148.33	c New solution: 79488
148.24/148.33	o 79488
148.24/148.33	c Elapsed CPU time: 147.802 s	Remaining CPU time: 32.1985 s
148.24/148.33	c ===============================================================================
148.24/148.33	c |     11315 |    3833    26836   765819 |     8945     5935    547 | 31.197 % |
149.04/149.15	c ===============================================================================
149.04/149.15	c New solution: 79469
149.04/149.15	o 79469
149.04/149.15	c Elapsed CPU time: 148.619 s	Remaining CPU time: 31.3806 s
149.04/149.15	c ===============================================================================
149.04/149.15	c |     11322 |    3833    26837   767776 |     8945     5942    547 | 31.197 % |
150.45/150.55	c |     11423 |    3833    26837   767776 |     9840     6043    548 | 31.197 % |
151.65/151.78	c ===============================================================================
151.65/151.78	c New solution: 79468
151.65/151.78	o 79468
151.65/151.78	c Elapsed CPU time: 151.247 s	Remaining CPU time: 28.753 s
151.65/151.78	c ===============================================================================
151.65/151.78	c |     11497 |    3833    26838   769733 |     8946     6117    549 | 31.197 % |
152.75/152.88	c ===============================================================================
152.75/152.88	c New solution: 79467
152.75/152.88	o 79467
152.75/152.88	c Elapsed CPU time: 152.344 s	Remaining CPU time: 27.6562 s
152.75/152.88	c ===============================================================================
152.75/152.88	c |     11561 |    3833    26839   771690 |     8946     6181    550 | 31.197 % |
153.24/153.34	c ===============================================================================
153.24/153.34	c New solution: 79466
153.24/153.34	o 79466
153.24/153.34	c Elapsed CPU time: 152.798 s	Remaining CPU time: 27.2022 s
153.24/153.34	c ===============================================================================
153.24/153.34	c |     11564 |    3833    26840   773647 |     8946     6184    550 | 31.197 % |
153.64/153.70	c ===============================================================================
153.64/153.70	c New solution: 79465
153.64/153.70	o 79465
153.64/153.70	c Elapsed CPU time: 153.156 s	Remaining CPU time: 26.8443 s
153.64/153.70	c ===============================================================================
153.64/153.70	c |     11569 |    3833    26841   775604 |     8947     6189    549 | 31.197 % |
153.85/153.97	c ===============================================================================
153.85/153.97	c New solution: 79464
153.85/153.97	o 79464
153.85/153.97	c Elapsed CPU time: 153.43 s	Remaining CPU time: 26.5703 s
153.85/153.97	c ===============================================================================
153.85/153.97	c |     11570 |    3833    26842   777561 |     8947     6190    549 | 31.197 % |
154.14/154.24	c ===============================================================================
154.14/154.24	c New solution: 79463
154.14/154.24	o 79463
154.14/154.24	c Elapsed CPU time: 153.699 s	Remaining CPU time: 26.3014 s
154.14/154.24	c ===============================================================================
154.14/154.24	c |     11570 |    3833    26843   779518 |     8947     6190    549 | 31.197 % |
154.44/154.52	c ===============================================================================
154.44/154.52	c New solution: 79462
154.44/154.52	o 79462
154.44/154.52	c Elapsed CPU time: 153.972 s	Remaining CPU time: 26.0284 s
154.44/154.52	c ===============================================================================
154.44/154.52	c |     11570 |    3833    26844   781475 |     8948     6190    549 | 31.197 % |
154.64/154.78	c ===============================================================================
154.64/154.78	c New solution: 79461
154.64/154.78	o 79461
154.64/154.78	c Elapsed CPU time: 154.235 s	Remaining CPU time: 25.7654 s
154.64/154.78	c ===============================================================================
154.64/154.78	c |     11570 |    3833    26845   783432 |     8948     6190    549 | 31.197 % |
154.95/155.04	c ===============================================================================
154.95/155.04	c New solution: 79460
154.95/155.04	o 79460
154.95/155.04	c Elapsed CPU time: 154.495 s	Remaining CPU time: 25.5055 s
154.95/155.04	c ===============================================================================
154.95/155.04	c |     11570 |    3833    26846   785389 |     8948     6190    549 | 31.197 % |
155.44/155.55	c ===============================================================================
155.44/155.55	c New solution: 79459
155.44/155.55	o 79459
155.44/155.55	c Elapsed CPU time: 155.004 s	Remaining CPU time: 24.9956 s
155.44/155.55	c ===============================================================================
155.44/155.55	c |     11571 |    3833    26847   787346 |     8949     6191    549 | 31.197 % |
157.74/157.81	c |     11673 |    3833    26847   787346 |     9843     6293    550 | 31.197 % |
158.14/158.28	c ===============================================================================
158.14/158.28	c New solution: 79458
158.14/158.28	o 79458
158.14/158.28	c Elapsed CPU time: 157.726 s	Remaining CPU time: 22.274 s
158.14/158.28	c ===============================================================================
158.14/158.28	c |     11688 |    3833    26848   789303 |     8949     6308    550 | 31.197 % |
159.54/159.70	c |     11788 |    3833    26848   789303 |     9844     6408    551 | 31.197 % |
166.04/166.12	c |     11938 |    3833    26848   789303 |    10828     6558    551 | 31.197 % |
167.23/167.35	c ===============================================================================
167.23/167.35	c New solution: 79457
167.23/167.35	o 79457
167.23/167.35	c Elapsed CPU time: 166.794 s	Remaining CPU time: 13.2064 s
167.23/167.35	c ===============================================================================
167.23/167.35	c |     12005 |    3833    26849   791260 |     8949     6625    551 | 31.197 % |
169.44/169.55	c |     12105 |    3833    26849   791260 |     9844     6725    552 | 31.197 % |
169.94/170.06	c ===============================================================================
169.94/170.06	c New solution: 79456
169.94/170.06	o 79456
169.94/170.06	c Elapsed CPU time: 169.493 s	Remaining CPU time: 10.5068 s
169.94/170.06	c ===============================================================================
169.94/170.06	c |     12108 |    3833    26850   793217 |     8950     6728    552 | 31.197 % |
170.54/170.63	c ===============================================================================
170.54/170.63	c New solution: 79455
170.54/170.63	o 79455
170.54/170.63	c Elapsed CPU time: 170.065 s	Remaining CPU time: 9.93485 s
170.54/170.63	c ===============================================================================
170.54/170.63	c |     12123 |    3833    26851   795174 |     8950     6743    552 | 31.197 % |
170.84/170.92	c ===============================================================================
170.84/170.92	c New solution: 79454
170.84/170.92	o 79454
170.84/170.92	c Elapsed CPU time: 170.35 s	Remaining CPU time: 9.6499 s
170.84/170.92	c ===============================================================================
170.84/170.92	c |     12125 |    3833    26852   797131 |     8950     6745    552 | 31.197 % |
171.04/171.17	c ===============================================================================
171.04/171.17	c New solution: 79453
171.04/171.17	o 79453
171.04/171.17	c Elapsed CPU time: 170.602 s	Remaining CPU time: 9.39794 s
171.04/171.17	c ===============================================================================
171.04/171.17	c |     12127 |    3833    26853   799088 |     8951     6747    552 | 31.197 % |
171.44/171.51	c ===============================================================================
171.44/171.51	c New solution: 79452
171.44/171.51	o 79452
171.44/171.51	c Elapsed CPU time: 170.939 s	Remaining CPU time: 9.06099 s
171.44/171.51	c ===============================================================================
171.44/171.51	c |     12132 |    3833    26854   801045 |     8951     6752    552 | 31.197 % |
172.33/172.45	c ===============================================================================
172.33/172.45	c New solution: 79451
172.33/172.45	o 79451
172.33/172.45	c Elapsed CPU time: 171.878 s	Remaining CPU time: 8.12213 s
172.33/172.45	c ===============================================================================
172.33/172.45	c |     12176 |    3833    26855   803002 |     8951     6796    552 | 31.197 % |
172.74/172.82	c ===============================================================================
172.74/172.82	c New solution: 79450
172.74/172.82	o 79450
172.74/172.82	c Elapsed CPU time: 172.244 s	Remaining CPU time: 7.75619 s
172.74/172.82	c ===============================================================================
172.74/172.82	c |     12178 |    3833    26856   804959 |     8952     6798    552 | 31.197 % |
172.94/173.09	c ===============================================================================
172.94/173.09	c New solution: 79449
172.94/173.09	o 79449
172.94/173.09	c Elapsed CPU time: 172.52 s	Remaining CPU time: 7.48023 s
172.94/173.09	c ===============================================================================
172.94/173.09	c |     12179 |    3833    26857   806916 |     8952     6799    552 | 31.197 % |
173.34/173.45	c ===============================================================================
173.34/173.45	c New solution: 79448
173.34/173.45	o 79448
173.34/173.45	c Elapsed CPU time: 172.881 s	Remaining CPU time: 7.11928 s
173.34/173.45	c ===============================================================================
173.34/173.45	c |     12180 |    3833    26858   808873 |     8952     6800    552 | 31.197 % |
174.44/174.53	c ===============================================================================
174.44/174.53	c New solution: 79447
174.44/174.53	o 79447
174.44/174.53	c Elapsed CPU time: 173.954 s	Remaining CPU time: 6.04645 s
174.44/174.53	c ===============================================================================
174.44/174.53	c |     12230 |    3833    26859   810830 |     8953     6850    552 | 31.197 % |
174.74/174.87	c ===============================================================================
174.74/174.87	c New solution: 79446
174.74/174.87	o 79446
174.74/174.87	c Elapsed CPU time: 174.293 s	Remaining CPU time: 5.7075 s
174.74/174.87	c ===============================================================================
174.74/174.87	c |     12233 |    3833    26860   812787 |     8953     6853    552 | 31.197 % |
175.13/175.20	c ===============================================================================
175.13/175.20	c New solution: 79445
175.13/175.20	o 79445
175.13/175.20	c Elapsed CPU time: 174.62 s	Remaining CPU time: 5.37955 s
175.13/175.20	c ===============================================================================
175.13/175.20	c |     12241 |    3833    26861   814744 |     8953     6861    552 | 31.197 % |
175.43/175.59	c ===============================================================================
175.43/175.59	c New solution: 79444
175.43/175.59	o 79444
175.43/175.59	c Elapsed CPU time: 175.014 s	Remaining CPU time: 4.98561 s
175.43/175.59	c ===============================================================================
175.43/175.59	c |     12253 |    3833    26862   816701 |     8954     6873    552 | 31.197 % |
177.13/177.23	c |     12353 |    3833    26862   816701 |     9849     6973    553 | 31.197 % |
177.33/177.49	c ===============================================================================
177.33/177.49	c New solution: 79443
177.33/177.49	o 79443
177.33/177.49	c Elapsed CPU time: 176.907 s	Remaining CPU time: 3.09289 s
177.33/177.49	c ===============================================================================
177.33/177.49	c |     12354 |    3833    26863   818658 |     8954     6974    553 | 31.197 % |
179.14/179.21	c ===============================================================================
179.14/179.21	c New solution: 77990
179.14/179.21	o 77990
179.14/179.21	c Elapsed CPU time: 178.626 s	Remaining CPU time: 1.37416 s
179.14/179.21	c ===============================================================================
179.14/179.21	c |     12388 |    3833    26864   820615 |     8954     7008    553 | 31.197 % |
179.43/179.54	c ===============================================================================
179.43/179.54	c New solution: 77944
179.43/179.54	o 77944
179.43/179.54	c Elapsed CPU time: 178.954 s	Remaining CPU time: 1.04621 s
179.43/179.54	c ===============================================================================
179.43/179.54	c |     12388 |    3833    26865   822572 |     8955     7008    553 | 31.197 % |
179.73/179.87	c ===============================================================================
179.73/179.87	c New solution: 77943
179.73/179.87	o 77943
179.73/179.87	c Elapsed CPU time: 179.289 s	Remaining CPU time: 0.711257 s
179.73/179.87	c ===============================================================================
179.73/179.87	c |     12388 |    3833    26866   824529 |     8955     7008    553 | 31.197 % |
180.13/180.22	c ===============================================================================
180.13/180.22	c New solution: 77942
180.13/180.22	o 77942
180.13/180.22	c Elapsed CPU time: 179.636 s	Remaining CPU time: 0.364309 s
180.13/180.22	c ===============================================================================
180.13/180.22	c |     12390 |    3833    26867   826486 |     8955     7010    553 | 31.197 % |
180.43/180.57	c ===============================================================================
180.43/180.57	c New solution: 77941
180.43/180.57	o 77941
180.43/180.57	c Elapsed CPU time: 179.98 s	Remaining CPU time: 0.020362 s
180.43/180.57	c ===============================================================================
180.43/180.57	c |     12394 |    3833    26868   828443 |     8956     7014    553 | 31.197 % |
180.53/180.60	c There are 1738 assigned variables. 290 in cost function.
184.74/184.83	c core #1
184.74/184.83	c core #2
184.74/184.83	c core #3
184.74/184.83	c core #4
184.74/184.83	c core #5
184.74/184.83	c core #6
184.74/184.83	c core #7
184.74/184.83	c core #8
184.74/184.83	c core #9
184.74/184.83	c core #10
184.74/184.83	c core #11
184.74/184.83	c core #12
184.74/184.83	c core #13
184.74/184.83	c core #14
184.74/184.83	c core #15
184.74/184.83	c core #16
184.74/184.83	c core #17
184.74/184.83	c core #18
184.74/184.83	c core #19
184.74/184.83	c core #20
184.74/184.83	c core #21
184.74/184.83	c core #22
184.74/184.83	c core #23
184.74/184.83	c core #24
184.74/184.83	c core #25
184.74/184.83	c core #26
184.74/184.83	c core #27
184.74/184.83	c core #28
184.74/184.83	c core #29
184.74/184.83	c core #30
184.74/184.83	c core #31
184.74/184.83	c core #32
184.74/184.83	c core #33
184.74/184.83	c core #34
184.74/184.83	c core #35
184.74/184.83	c core #36
184.74/184.83	c core #37
184.74/184.83	c core #38
184.74/184.83	c core #39
184.74/184.83	c core #40
184.74/184.83	c core #41
184.74/184.83	c core #42
184.74/184.83	c core #43
184.74/184.83	c core #44
184.74/184.83	c core #45
184.74/184.83	c core #46
184.74/184.83	c core #47
184.74/184.83	c core #48
184.74/184.83	c core #49
184.74/184.83	c core #50
184.74/184.83	c core #51
184.74/184.83	c core #52
184.74/184.83	c core #53
184.74/184.83	c core #54
184.74/184.83	c core #55
184.74/184.83	c core #56
184.74/184.83	c core #57
184.74/184.83	c core #58
184.74/184.83	c core #59
184.74/184.83	c core #60
184.74/184.83	c core #61
184.74/184.83	c core #62
184.74/184.83	c core #63
184.74/184.83	c core #64
184.74/184.83	c core #65
184.74/184.83	c core #66
184.74/184.83	c ============================[ Search Statistics ]==============================
184.74/184.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.74/184.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.74/184.83	c ===============================================================================
184.74/184.83	c |         0 |     842    18238    10470 |     6079        0    nan |  0.000 % |
184.74/184.83	c ===============================================================================
184.93/185.08	c core #67
184.93/185.08	c core #68
184.93/185.08	c core #69
184.93/185.08	c core #70
184.93/185.08	c ============================[ Search Statistics ]==============================
184.93/185.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.93/185.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.93/185.08	c ===============================================================================
184.93/185.08	c |         0 |     882    18271    11383 |     6090        0    nan |  0.000 % |
184.93/185.09	c ===============================================================================
185.03/185.11	c #cores: 70
185.03/185.11	c Final Weight: 4750
185.03/185.11	o 4750
185.03/185.11	s OPTIMUM FOUND
185.03/185.11	v -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 -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 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 -x2153 -x2154 -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
185.03/185.11	c Total CPU time: 184.398 s

Verifier Data 

OK	4750

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683213-1277508219/watcher-2683213-1277508219 -o /tmp/evaluation-result-2683213-1277508219/solver-2683213-1277508219 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683213-1277508219.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27397
/proc/meminfo: memFree=1850756/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=3660 CPUtime=0
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 371 0 0 0 0 0 0 0 15 0 1 0 126423431 3747840 289 1992294400 134512640 135751879 4294580640 18446744073709551615 134613979 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 915 289 143 303 0 414 0

[startup+0.08414 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27397
/proc/meminfo: memFree=1850756/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=4816 CPUtime=0.08
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 781 0 0 0 8 0 0 0 17 0 1 0 126423431 4931584 699 1992294400 134512640 135751879 4294580640 18446744073709551615 135379381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 1204 699 269 303 0 703 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4816

[startup+0.101143 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27397
/proc/meminfo: memFree=1850756/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=5324 CPUtime=0.09
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 898 0 0 0 9 0 0 0 17 0 1 0 126423431 5451776 816 1992294400 134512640 135751879 4294580640 18446744073709551615 134564221 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 1331 816 298 303 0 830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5324

[startup+0.301179 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27397
/proc/meminfo: memFree=1850756/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=6476 CPUtime=0.29
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 1444 0 0 0 29 0 0 0 17 0 1 0 126423431 6631424 1166 1992294400 134512640 135751879 4294580640 18446744073709551615 134580008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 1619 1166 146 303 0 1314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6476

[startup+0.701251 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27397
/proc/meminfo: memFree=1850756/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=6740 CPUtime=0.69
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 1494 0 0 0 69 0 0 0 17 0 1 0 126423431 6901760 1216 1992294400 134512640 135751879 4294580640 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 1685 1216 146 303 0 1380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6740

[startup+1.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27398
/proc/meminfo: memFree=1846532/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=7004 CPUtime=1.49
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 1575 0 0 0 149 0 0 0 18 0 1 0 126423431 7172096 1297 1992294400 134512640 135751879 4294580640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 1751 1297 146 303 0 1446 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7004

[startup+3.10068 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27398
/proc/meminfo: memFree=1843680/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=9380 CPUtime=3.09
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 2148 0 0 0 303 6 0 0 21 0 1 0 126423431 9605120 1870 1992294400 134512640 135751879 4294580640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 2345 1870 146 303 0 2040 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9380

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27398
/proc/meminfo: memFree=1843432/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=10544 CPUtime=6.29
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 2466 0 0 0 619 10 0 0 19 0 1 0 126423431 10797056 2188 1992294400 134512640 135751879 4294580640 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 2636 2188 147 303 0 2331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10544

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27398
/proc/meminfo: memFree=1836860/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=16300 CPUtime=12.69
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 3894 0 0 0 1253 16 0 0 25 0 1 0 126423431 16691200 3616 1992294400 134512640 135751879 4294580640 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 4075 3616 147 303 0 3770 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16300

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27398
/proc/meminfo: memFree=1830660/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=22272 CPUtime=25.48
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 5383 0 0 0 2527 21 0 0 25 0 1 0 126423431 22806528 5105 1992294400 134512640 135751879 4294580640 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 5568 5105 147 303 0 5263 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22272

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27398
/proc/meminfo: memFree=1822352/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=30624 CPUtime=51.08
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 7472 0 0 0 5079 29 0 0 25 0 1 0 126423431 31358976 7194 1992294400 134512640 135751879 4294580640 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 7656 7194 147 303 0 7351 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30624

[startup+102.308 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 27400
/proc/meminfo: memFree=1809828/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=42652 CPUtime=102.26
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 10497 0 0 0 10187 39 0 0 25 0 1 0 126423431 43675648 10219 1992294400 134512640 135751879 4294580640 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 10663 10219 147 303 0 10358 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42652

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 27402
/proc/meminfo: memFree=1798544/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=53608 CPUtime=162.24
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 13240 0 0 0 16174 50 0 0 25 0 1 0 126423431 54894592 12962 1992294400 134512640 135751879 4294580640 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 13402 12962 148 303 0 13097 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 53608

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

[startup+166.301 s]
/proc/loadavg: 1.15 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1798296/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=53864 CPUtime=166.24
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 13303 0 0 0 16574 50 0 0 25 0 1 0 126423431 55156736 13025 1992294400 134512640 135751879 4294580640 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 13466 13025 148 303 0 13161 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 53864

[startup+172.709 s]
/proc/loadavg: 1.14 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1797428/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=54764 CPUtime=172.65
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 13529 0 0 0 17213 52 0 0 25 0 1 0 126423431 56078336 13251 1992294400 134512640 135751879 4294580640 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 13691 13251 148 303 0 13386 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 54764

[startup+179.101 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1796560/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=55688 CPUtime=179.03
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 13744 0 0 0 17851 52 0 0 20 0 1 0 126423431 57024512 13466 1992294400 134512640 135751879 4294580640 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 13922 13466 148 303 0 13617 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 55688

[startup+182.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1789740/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=99180 CPUtime=182.23
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 24728 0 0 0 18167 56 0 0 25 0 1 0 126423431 101560320 24351 1992294400 134512640 135751879 4294580640 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 24795 24351 151 303 0 24490 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 99180

[startup+183.901 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1695376/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=167796 CPUtime=183.83
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 41869 0 0 0 18322 61 0 0 25 0 1 0 126423431 171823104 41492 1992294400 134512640 135751879 4294580640 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 41949 41495 151 303 0 41644 0
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (KiB) 167796

[startup+184.7 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1653588/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=198404 CPUtime=184.64
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 49499 0 0 0 18400 64 0 0 25 0 1 0 126423431 203165696 49122 1992294400 134512640 135751879 4294580640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 49601 49122 151 303 0 49296 0
Current children cumulated CPU time (s) 184.64
Current children cumulated vsize (KiB) 198404

[startup+185.1 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 27402
/proc/meminfo: memFree=1653588/2059040 swapFree=4136476/4192956
[pid=27397] ppid=27395 vsize=214028 CPUtime=185.03
/proc/27397/stat : 27397 (wbo1.4b) R 27395 27397 27072 0 -1 4202496 53408 0 0 0 18438 65 0 0 25 0 1 0 126423431 219164672 53031 1992294400 134512640 135751879 4294580640 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27397/statm: 53507 53031 151 303 0 53202 0
Current children cumulated CPU time (s) 185.03
Current children cumulated vsize (KiB) 214028

Child status: 0
Real time (s): 185.138
CPU time (s): 185.078
CPU user time (s): 184.398
CPU system time (s): 0.679896
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 214028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.398
system time used= 0.679896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53408
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= 120
involuntary context switches= 289

runsolver used 0.300954 second user time and 0.932858 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-26 01:23:39
IDJOB=2683213
IDBENCH=72095
IDSOLVER=1161
FILE ID=node012/2683213-1277508219
PBS_JOBID= 11190629
Free space on /tmp= 62428 MiB

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

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

MD5SUM BENCH= afde7889f43b30fcc4bad7828bff7cb4
RANDOM SEED=409792425

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851656 kB
Buffers:         33088 kB
Cached:          78132 kB
SwapCached:       8996 kB
Active:          67968 kB
Inactive:        56348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851656 kB
SwapTotal:     4192956 kB
SwapFree:      4136476 kB
Dirty:            3400 kB
Writeback:           0 kB
AnonPages:       11828 kB
Mapped:           8372 kB
Slab:            61036 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683213-1277508219.opb

Free space on /tmp at the end= 62424 MiB
End job on node012 at 2010-06-26 01:26:44