Trace number 2683421

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.4bOPT1859 183.155 183.2

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randa2004a.cudf.paranoid.opb
MD5SUM3b140fe9f2cb3c59ddf55faba2e83116
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1859
Best CPU time to get the best result obtained on this benchmark2.73558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5800
Total number of constraints26001
Number of constraints which are clauses25730
Number of constraints which are cardinality constraints (but not clauses)271
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2171
Biggest coefficient in the objective function 1622
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 895342
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1622
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 895342
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683421-1277509561.opb.
0.00/0.00	c Instance file HOME/instance-2683421-1277509561.opb
0.00/0.00	c File size is 831585 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:      5800                                                |
0.09/0.12	c |  Number Clauses:        25730                                               |
0.09/0.12	c |  Number Cardinality:    271                                                 |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
2.89/2.95	c ============================[ Search Statistics ]==============================
2.89/2.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.95	c ===============================================================================
2.89/2.95	c |         0 |    3942    27541    53990 |     8667        0    nan |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 466135
2.89/2.96	o 466135
2.89/2.96	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 177.052 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |        14 |    3942    27542    56035 |     9180       14      6 |  0.000 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: 417539
2.89/2.98	o 417539
2.89/2.98	c Elapsed CPU time: 2.95655 s	Remaining CPU time: 177.043 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |        21 |    3942    27543    58080 |     9181       21      5 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 337952
2.89/2.99	o 337952
2.89/2.99	c Elapsed CPU time: 2.97155 s	Remaining CPU time: 177.028 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |        32 |    3942    27544    60125 |     9181       32      4 |  0.000 % |
2.99/3.02	c ===============================================================================
2.99/3.02	c New solution: 316947
2.99/3.02	o 316947
2.99/3.02	c Elapsed CPU time: 2.99454 s	Remaining CPU time: 177.005 s
2.99/3.02	c ===============================================================================
2.99/3.02	c |        70 |    3942    27545    62170 |     9181       70      4 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: 290895
2.99/3.04	o 290895
2.99/3.04	c Elapsed CPU time: 3.00954 s	Remaining CPU time: 176.99 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |        87 |    3942    27546    64215 |     9182       87      4 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 289351
2.99/3.07	o 289351
2.99/3.07	c Elapsed CPU time: 3.02954 s	Remaining CPU time: 176.97 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       107 |    3942    27547    66260 |     9182      107      4 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 289294
2.99/3.09	o 289294
2.99/3.09	c Elapsed CPU time: 3.04854 s	Remaining CPU time: 176.951 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       121 |    3942    27548    68305 |     9182      121      4 |  0.000 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 278024
3.09/3.11	o 278024
3.09/3.11	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 176.931 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |       133 |    3942    27549    70350 |     9183      133      4 |  0.000 % |
3.09/3.13	c ===============================================================================
3.09/3.13	c New solution: 277912
3.09/3.13	o 277912
3.09/3.13	c Elapsed CPU time: 3.08653 s	Remaining CPU time: 176.913 s
3.09/3.13	c ===============================================================================
3.09/3.13	c |       144 |    3942    27550    72395 |     9183      144      4 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 276394
3.09/3.15	o 276394
3.09/3.15	c Elapsed CPU time: 3.10153 s	Remaining CPU time: 176.898 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       147 |    3942    27551    74440 |     9183      147      4 |  0.000 % |
3.09/3.16	c ===============================================================================
3.09/3.16	c New solution: 276381
3.09/3.16	o 276381
3.09/3.16	c Elapsed CPU time: 3.11653 s	Remaining CPU time: 176.883 s
3.09/3.16	c ===============================================================================
3.09/3.16	c |       148 |    3942    27552    76485 |     9184      148      4 |  0.000 % |
3.09/3.17	c ===============================================================================
3.09/3.17	c New solution: 253670
3.09/3.17	o 253670
3.09/3.17	c Elapsed CPU time: 3.12552 s	Remaining CPU time: 176.874 s
3.09/3.17	c ===============================================================================
3.09/3.17	c |       150 |    3942    27553    78530 |     9184      150      4 |  0.000 % |
3.09/3.19	c ===============================================================================
3.09/3.19	c New solution: 253669
3.09/3.19	o 253669
3.09/3.19	c Elapsed CPU time: 3.14452 s	Remaining CPU time: 176.855 s
3.09/3.19	c ===============================================================================
3.09/3.19	c |       154 |    3942    27554    80575 |     9184      154      9 |  0.000 % |
3.20/3.22	c ===============================================================================
3.20/3.22	c New solution: 182267
3.20/3.22	o 182267
3.20/3.22	c Elapsed CPU time: 3.17252 s	Remaining CPU time: 176.827 s
3.20/3.22	c ===============================================================================
3.20/3.22	c |       179 |    3942    27555    82620 |     9185      179      8 |  0.000 % |
3.20/3.27	c ===============================================================================
3.20/3.27	c New solution: 180754
3.20/3.27	o 180754
3.20/3.27	c Elapsed CPU time: 3.21551 s	Remaining CPU time: 176.784 s
3.20/3.27	c ===============================================================================
3.20/3.27	c |       206 |    3941    27556    84665 |     9185      204     14 |  0.000 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 180678
3.30/3.34	o 180678
3.30/3.34	c Elapsed CPU time: 3.2785 s	Remaining CPU time: 176.721 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |       258 |    3941    27557    86710 |     9185      256     48 |  0.000 % |
3.30/3.38	c ===============================================================================
3.30/3.38	c New solution: 115888
3.30/3.38	o 115888
3.30/3.38	c Elapsed CPU time: 3.3105 s	Remaining CPU time: 176.69 s
3.30/3.38	c ===============================================================================
3.30/3.38	c |       286 |    3941    27558    88755 |     9186      284     44 |  0.000 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: 104432
3.39/3.40	o 104432
3.39/3.40	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 176.672 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |       296 |    3941    27559    90800 |     9186      294     42 |  0.000 % |
3.39/3.42	c ===============================================================================
3.39/3.42	c New solution: 102882
3.39/3.42	o 102882
3.39/3.42	c Elapsed CPU time: 3.35049 s	Remaining CPU time: 176.65 s
3.39/3.42	c ===============================================================================
3.39/3.42	c |       298 |    3941    27560    92845 |     9186      296     42 |  0.000 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c New solution: 102873
3.39/3.44	o 102873
3.39/3.44	c Elapsed CPU time: 3.36549 s	Remaining CPU time: 176.635 s
3.39/3.44	c ===============================================================================
3.39/3.44	c |       301 |    3941    27561    94890 |     9187      299     42 |  0.000 % |
3.39/3.46	c ===============================================================================
3.39/3.46	c New solution: 101311
3.39/3.46	o 101311
3.39/3.46	c Elapsed CPU time: 3.39048 s	Remaining CPU time: 176.61 s
3.39/3.46	c ===============================================================================
3.39/3.46	c |       308 |    3941    27562    96935 |     9187      306     41 |  0.000 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: 101245
3.39/3.48	o 101245
3.39/3.48	c Elapsed CPU time: 3.40248 s	Remaining CPU time: 176.598 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |       309 |    3941    27563    98980 |     9187      307     41 |  0.000 % |
3.49/3.51	c ===============================================================================
3.49/3.51	c New solution: 101244
3.49/3.51	o 101244
3.49/3.51	c Elapsed CPU time: 3.42748 s	Remaining CPU time: 176.573 s
3.49/3.51	c ===============================================================================
3.49/3.51	c |       311 |    3941    27564   101025 |     9188      309     43 |  0.000 % |
3.59/3.60	c |       411 |    3941    27564   101025 |    10106      409    177 | 32.053 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c New solution: 101208
3.69/3.73	o 101208
3.69/3.73	c Elapsed CPU time: 3.64845 s	Remaining CPU time: 176.352 s
3.69/3.73	c ===============================================================================
3.69/3.73	c |       435 |    3941    27565   103070 |     9188      433    173 | 32.053 % |
3.79/3.82	c |       535 |    3941    27565   103070 |    10107      533    229 | 32.052 % |
3.79/3.86	c ===============================================================================
3.79/3.86	c New solution: 99637
3.79/3.86	o 99637
3.79/3.86	c Elapsed CPU time: 3.77643 s	Remaining CPU time: 176.224 s
3.79/3.86	c ===============================================================================
3.79/3.86	c |       552 |    3941    27566   105115 |     9188      550    226 | 32.052 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 98086
3.79/3.89	o 98086
3.79/3.89	c Elapsed CPU time: 3.79842 s	Remaining CPU time: 176.202 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |       563 |    3941    27567   107160 |     9189      561    223 | 32.052 % |
3.89/3.92	c ===============================================================================
3.89/3.92	c New solution: 98085
3.89/3.92	o 98085
3.89/3.92	c Elapsed CPU time: 3.83242 s	Remaining CPU time: 176.168 s
3.89/3.92	c ===============================================================================
3.89/3.92	c |       570 |    3941    27568   109205 |     9189      568    225 | 32.052 % |
3.89/3.96	c ===============================================================================
3.89/3.96	c New solution: 98038
3.89/3.96	o 98038
3.89/3.96	c Elapsed CPU time: 3.86241 s	Remaining CPU time: 176.138 s
3.89/3.96	c ===============================================================================
3.89/3.96	c |       577 |    3941    27569   111250 |     9189      575    224 | 32.052 % |
3.99/4.06	c ===============================================================================
3.99/4.06	c New solution: 97996
3.99/4.06	o 97996
3.99/4.06	c Elapsed CPU time: 3.9694 s	Remaining CPU time: 176.031 s
3.99/4.06	c ===============================================================================
3.99/4.06	c |       593 |    3941    27570   113295 |     9190      591    227 | 32.052 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c New solution: 97975
4.09/4.19	o 97975
4.09/4.19	c Elapsed CPU time: 4.09838 s	Remaining CPU time: 175.902 s
4.09/4.19	c ===============================================================================
4.09/4.19	c |       604 |    3941    27571   115340 |     9190      602    223 | 32.052 % |
4.19/4.22	c ===============================================================================
4.19/4.22	c New solution: 96442
4.19/4.22	o 96442
4.19/4.22	c Elapsed CPU time: 4.12437 s	Remaining CPU time: 175.876 s
4.19/4.22	c ===============================================================================
4.19/4.22	c |       610 |    3941    27572   117385 |     9190      608    228 | 32.052 % |
4.19/4.26	c ===============================================================================
4.19/4.26	c New solution: 96430
4.19/4.26	o 96430
4.19/4.26	c Elapsed CPU time: 4.15837 s	Remaining CPU time: 175.842 s
4.19/4.26	c ===============================================================================
4.19/4.26	c |       613 |    3941    27573   119430 |     9191      611    228 | 32.052 % |
4.30/4.30	c ===============================================================================
4.30/4.30	c New solution: 96351
4.30/4.30	o 96351
4.30/4.30	c Elapsed CPU time: 4.20036 s	Remaining CPU time: 175.8 s
4.30/4.30	c ===============================================================================
4.30/4.30	c |       615 |    3941    27574   121475 |     9191      613    228 | 32.052 % |
4.30/4.34	c ===============================================================================
4.30/4.34	c New solution: 96350
4.30/4.34	o 96350
4.30/4.34	c Elapsed CPU time: 4.23836 s	Remaining CPU time: 175.762 s
4.30/4.34	c ===============================================================================
4.30/4.34	c |       616 |    3941    27575   123520 |     9191      614    228 | 32.052 % |
4.30/4.40	c ===============================================================================
4.30/4.40	c New solution: 94752
4.30/4.40	o 94752
4.30/4.40	c Elapsed CPU time: 4.29435 s	Remaining CPU time: 175.706 s
4.30/4.40	c ===============================================================================
4.30/4.40	c |       634 |    3941    27576   125565 |     9192      632    233 | 32.052 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c New solution: 94751
4.59/4.62	o 94751
4.59/4.62	c Elapsed CPU time: 4.51631 s	Remaining CPU time: 175.484 s
4.59/4.62	c ===============================================================================
4.59/4.62	c |       669 |    3941    27577   127610 |     9192      667    235 | 32.052 % |
4.59/4.65	c ===============================================================================
4.59/4.65	c New solution: 93214
4.59/4.65	o 93214
4.59/4.65	c Elapsed CPU time: 4.54931 s	Remaining CPU time: 175.451 s
4.59/4.65	c ===============================================================================
4.59/4.65	c |       671 |    3941    27578   129655 |     9192      669    236 | 32.052 % |
4.69/4.78	c ===============================================================================
4.69/4.78	c New solution: 93168
4.69/4.78	o 93168
4.69/4.78	c Elapsed CPU time: 4.67629 s	Remaining CPU time: 175.324 s
4.69/4.78	c ===============================================================================
4.69/4.78	c |       686 |    3941    27579   131700 |     9193      684    238 | 32.052 % |
4.79/4.85	c ===============================================================================
4.79/4.85	c New solution: 93082
4.79/4.85	o 93082
4.79/4.85	c Elapsed CPU time: 4.74128 s	Remaining CPU time: 175.259 s
4.79/4.85	c ===============================================================================
4.79/4.85	c |       687 |    3941    27580   133745 |     9193      685    239 | 32.052 % |
4.89/4.90	c ===============================================================================
4.89/4.90	c New solution: 93081
4.89/4.90	o 93081
4.89/4.90	c Elapsed CPU time: 4.79327 s	Remaining CPU time: 175.207 s
4.89/4.90	c ===============================================================================
4.89/4.90	c |       689 |    3941    27581   135790 |     9193      687    240 | 32.052 % |
5.19/5.23	c |       790 |    3941    27581   135790 |    10113      788    285 | 32.052 % |
5.39/5.43	c |       941 |    3941    27581   135790 |    11124      939    340 | 32.052 % |
5.69/5.72	c ===============================================================================
5.69/5.72	c New solution: 91577
5.69/5.72	o 91577
5.69/5.72	c Elapsed CPU time: 5.60615 s	Remaining CPU time: 174.394 s
5.69/5.72	c ===============================================================================
5.69/5.72	c |      1032 |    3941    27582   137835 |     9194     1030    354 | 32.052 % |
5.79/5.85	c ===============================================================================
5.79/5.85	c New solution: 91493
5.79/5.85	o 91493
5.79/5.85	c Elapsed CPU time: 5.73613 s	Remaining CPU time: 174.264 s
5.79/5.85	c ===============================================================================
5.79/5.85	c |      1050 |    3941    27583   139880 |     9194     1048    355 | 32.052 % |
5.89/5.99	c |      1150 |    3941    27583   139880 |    10113     1148    382 | 32.052 % |
5.99/6.06	c ===============================================================================
5.99/6.06	c New solution: 91491
5.99/6.06	o 91491
5.99/6.06	c Elapsed CPU time: 5.9481 s	Remaining CPU time: 174.052 s
5.99/6.06	c ===============================================================================
5.99/6.06	c |      1158 |    3941    27584   141925 |     9194     1156    382 | 32.052 % |
6.09/6.12	c ===============================================================================
6.09/6.12	c New solution: 91490
6.09/6.12	o 91490
6.09/6.12	c Elapsed CPU time: 6.00309 s	Remaining CPU time: 173.997 s
6.09/6.12	c ===============================================================================
6.09/6.12	c |      1161 |    3941    27585   143970 |     9195     1159    383 | 32.052 % |
6.19/6.21	c ===============================================================================
6.19/6.21	c New solution: 91487
6.19/6.21	o 91487
6.19/6.21	c Elapsed CPU time: 6.09307 s	Remaining CPU time: 173.907 s
6.19/6.21	c ===============================================================================
6.19/6.21	c |      1167 |    3941    27586   146015 |     9195     1165    383 | 32.052 % |
6.19/6.29	c ===============================================================================
6.19/6.29	c New solution: 91486
6.19/6.29	o 91486
6.19/6.29	c Elapsed CPU time: 6.17506 s	Remaining CPU time: 173.825 s
6.19/6.29	c ===============================================================================
6.19/6.29	c |      1168 |    3941    27587   148060 |     9195     1166    383 | 32.052 % |
6.29/6.36	c ===============================================================================
6.29/6.36	c New solution: 91479
6.29/6.36	o 91479
6.29/6.36	c Elapsed CPU time: 6.24105 s	Remaining CPU time: 173.759 s
6.29/6.36	c ===============================================================================
6.29/6.36	c |      1172 |    3941    27588   150105 |     9196     1170    383 | 32.052 % |
6.39/6.42	c ===============================================================================
6.39/6.42	c New solution: 91470
6.39/6.42	o 91470
6.39/6.42	c Elapsed CPU time: 6.30004 s	Remaining CPU time: 173.7 s
6.39/6.42	c ===============================================================================
6.39/6.42	c |      1172 |    3941    27589   152150 |     9196     1170    383 | 32.052 % |
6.50/6.51	c ===============================================================================
6.50/6.51	c New solution: 91467
6.50/6.51	o 91467
6.50/6.51	c Elapsed CPU time: 6.38703 s	Remaining CPU time: 173.613 s
6.50/6.51	c ===============================================================================
6.50/6.51	c |      1175 |    3941    27590   154195 |     9196     1173    383 | 32.052 % |
6.60/6.61	c ===============================================================================
6.60/6.61	c New solution: 91466
6.60/6.61	o 91466
6.60/6.61	c Elapsed CPU time: 6.48101 s	Remaining CPU time: 173.519 s
6.60/6.61	c ===============================================================================
6.60/6.61	c |      1180 |    3941    27591   156240 |     9197     1178    383 | 32.052 % |
6.60/6.68	c ===============================================================================
6.60/6.68	c New solution: 91452
6.60/6.68	o 91452
6.60/6.68	c Elapsed CPU time: 6.552 s	Remaining CPU time: 173.448 s
6.60/6.68	c ===============================================================================
6.60/6.68	c |      1181 |    3941    27592   158285 |     9197     1179    383 | 32.052 % |
6.89/6.92	c ===============================================================================
6.89/6.92	c New solution: 91451
6.89/6.92	o 91451
6.89/6.92	c Elapsed CPU time: 6.78897 s	Remaining CPU time: 173.211 s
6.89/6.92	c ===============================================================================
6.89/6.92	c |      1266 |    3941    27593   160330 |     9197     1264    397 | 32.052 % |
7.09/7.15	c |      1366 |    3941    27593   160330 |    10117     1364    412 | 32.052 % |
7.19/7.22	c ===============================================================================
7.19/7.22	c New solution: 91450
7.19/7.22	o 91450
7.19/7.22	c Elapsed CPU time: 7.08792 s	Remaining CPU time: 172.912 s
7.19/7.22	c ===============================================================================
7.19/7.22	c |      1376 |    3941    27594   162375 |     9198     1374    412 | 32.052 % |
7.29/7.38	c |      1476 |    3941    27594   162375 |    10117     1474    419 | 32.052 % |
7.59/7.63	c |      1626 |    3941    27594   162375 |    11129     1624    437 | 32.052 % |
7.59/7.70	c ===============================================================================
7.59/7.70	c New solution: 89939
7.59/7.70	o 89939
7.59/7.70	c Elapsed CPU time: 7.56285 s	Remaining CPU time: 172.437 s
7.59/7.70	c ===============================================================================
7.59/7.70	c |      1630 |    3941    27595   164420 |     9198     1628    437 | 32.052 % |
7.79/7.81	c ===============================================================================
7.79/7.81	c New solution: 89842
7.79/7.81	o 89842
7.79/7.81	c Elapsed CPU time: 7.67983 s	Remaining CPU time: 172.32 s
7.79/7.81	c ===============================================================================
7.79/7.81	c |      1633 |    3941    27596   166465 |     9198     1631    437 | 32.052 % |
7.89/7.90	c ===============================================================================
7.89/7.90	c New solution: 89841
7.89/7.90	o 89841
7.89/7.90	c Elapsed CPU time: 7.76882 s	Remaining CPU time: 172.231 s
7.89/7.90	c ===============================================================================
7.89/7.90	c |      1642 |    3941    27597   168510 |     9199     1640    438 | 32.052 % |
7.99/8.01	c ===============================================================================
7.99/8.01	c New solution: 89840
7.99/8.01	o 89840
7.99/8.01	c Elapsed CPU time: 7.8728 s	Remaining CPU time: 172.127 s
7.99/8.01	c ===============================================================================
7.99/8.01	c |      1646 |    3941    27598   170555 |     9199     1644    438 | 32.052 % |
8.08/8.14	c ===============================================================================
8.08/8.14	c New solution: 89839
8.08/8.14	o 89839
8.08/8.14	c Elapsed CPU time: 7.99878 s	Remaining CPU time: 172.001 s
8.08/8.14	c ===============================================================================
8.08/8.14	c |      1654 |    3941    27599   172600 |     9199     1652    437 | 32.052 % |
8.29/8.34	c |      1755 |    3941    27599   172600 |    10119     1753    448 | 32.052 % |
8.49/8.59	c ===============================================================================
8.49/8.59	c New solution: 89838
8.49/8.59	o 89838
8.49/8.59	c Elapsed CPU time: 8.45271 s	Remaining CPU time: 171.547 s
8.49/8.59	c ===============================================================================
8.49/8.59	c |      1823 |    3941    27600   174645 |     9200     1821    454 | 32.052 % |
8.70/8.74	c ===============================================================================
8.70/8.74	c New solution: 89833
8.70/8.74	o 89833
8.70/8.74	c Elapsed CPU time: 8.60269 s	Remaining CPU time: 171.397 s
8.70/8.74	c ===============================================================================
8.70/8.74	c |      1846 |    3941    27601   176690 |     9200     1844    454 | 32.052 % |
8.89/8.92	c |      1946 |    3941    27601   176690 |    10120     1944    462 | 32.052 % |
8.99/9.03	c ===============================================================================
8.99/9.03	c New solution: 89832
8.99/9.03	o 89832
8.99/9.03	c Elapsed CPU time: 8.88165 s	Remaining CPU time: 171.118 s
8.99/9.03	c ===============================================================================
8.99/9.03	c |      1947 |    3941    27602   178735 |     9200     1945    462 | 32.052 % |
9.09/9.13	c ===============================================================================
9.09/9.13	c New solution: 89831
9.09/9.13	o 89831
9.09/9.13	c Elapsed CPU time: 8.98163 s	Remaining CPU time: 171.018 s
9.09/9.13	c ===============================================================================
9.09/9.13	c |      1949 |    3941    27603   180780 |     9201     1947    462 | 32.052 % |
9.18/9.24	c ===============================================================================
9.18/9.24	c New solution: 89830
9.18/9.24	o 89830
9.18/9.24	c Elapsed CPU time: 9.09462 s	Remaining CPU time: 170.905 s
9.18/9.24	c ===============================================================================
9.18/9.24	c |      1956 |    3941    27604   182825 |     9201     1954    462 | 32.052 % |
9.29/9.36	c ===============================================================================
9.29/9.36	c New solution: 89829
9.29/9.36	o 89829
9.29/9.36	c Elapsed CPU time: 9.2146 s	Remaining CPU time: 170.785 s
9.29/9.36	c ===============================================================================
9.29/9.36	c |      1958 |    3941    27605   184870 |     9201     1956    461 | 32.052 % |
9.39/9.44	c ===============================================================================
9.39/9.44	c New solution: 89828
9.39/9.44	o 89828
9.39/9.44	c Elapsed CPU time: 9.28659 s	Remaining CPU time: 170.713 s
9.39/9.44	c ===============================================================================
9.39/9.44	c |      1962 |    3941    27606   186915 |     9202     1960    462 | 32.052 % |
9.69/9.75	c |      2062 |    3941    27606   186915 |    10122     2060    470 | 32.052 % |
10.08/10.10	c ===============================================================================
10.08/10.10	c New solution: 89827
10.08/10.10	o 89827
10.08/10.10	c Elapsed CPU time: 9.94649 s	Remaining CPU time: 170.054 s
10.08/10.10	c ===============================================================================
10.08/10.10	c |      2190 |    3941    27607   188960 |     9202     2188    477 | 32.052 % |
10.19/10.24	c ===============================================================================
10.19/10.24	c New solution: 88349
10.19/10.24	o 88349
10.19/10.24	c Elapsed CPU time: 10.0795 s	Remaining CPU time: 169.921 s
10.19/10.24	c ===============================================================================
10.19/10.24	c |      2197 |    3941    27608   191005 |     9202     2195    477 | 32.052 % |
10.39/10.48	c ===============================================================================
10.39/10.48	c New solution: 88241
10.39/10.48	o 88241
10.39/10.48	c Elapsed CPU time: 10.3194 s	Remaining CPU time: 169.681 s
10.39/10.48	c ===============================================================================
10.39/10.48	c |      2271 |    3941    27609   193050 |     9203     2269    478 | 32.052 % |
10.49/10.59	c ===============================================================================
10.49/10.59	c New solution: 88240
10.49/10.59	o 88240
10.49/10.59	c Elapsed CPU time: 10.4324 s	Remaining CPU time: 169.568 s
10.49/10.59	c ===============================================================================
10.49/10.59	c |      2272 |    3941    27610   195095 |     9203     2270    478 | 32.052 % |
10.79/10.83	c |      2372 |    3941    27610   195095 |    10123     2370    485 | 32.052 % |
10.90/11.00	c ===============================================================================
10.90/11.00	c New solution: 88239
10.90/11.00	o 88239
10.90/11.00	c Elapsed CPU time: 10.8354 s	Remaining CPU time: 169.165 s
10.90/11.00	c ===============================================================================
10.90/11.00	c |      2390 |    3941    27611   197140 |     9203     2388    485 | 32.052 % |
11.00/11.09	c ===============================================================================
11.00/11.09	c New solution: 88222
11.00/11.09	o 88222
11.00/11.09	c Elapsed CPU time: 10.9253 s	Remaining CPU time: 169.075 s
11.00/11.09	c ===============================================================================
11.00/11.09	c |      2395 |    3941    27612   199185 |     9204     2393    486 | 32.052 % |
11.39/11.43	c ===============================================================================
11.39/11.43	c New solution: 86708
11.39/11.43	o 86708
11.39/11.43	c Elapsed CPU time: 11.2663 s	Remaining CPU time: 168.734 s
11.39/11.43	c ===============================================================================
11.39/11.43	c |      2494 |    3941    27613   201230 |     9204     2492    491 | 32.052 % |
11.49/11.57	c ===============================================================================
11.49/11.57	c New solution: 86598
11.49/11.57	o 86598
11.49/11.57	c Elapsed CPU time: 11.4043 s	Remaining CPU time: 168.596 s
11.49/11.57	c ===============================================================================
11.49/11.57	c |      2500 |    3941    27614   203275 |     9204     2498    491 | 32.052 % |
11.78/11.81	c ===============================================================================
11.78/11.81	c New solution: 86597
11.78/11.81	o 86597
11.78/11.81	c Elapsed CPU time: 11.6462 s	Remaining CPU time: 168.354 s
11.78/11.81	c ===============================================================================
11.78/11.81	c |      2527 |    3941    27615   205320 |     9205     2525    490 | 32.052 % |
12.09/12.15	c |      2627 |    3941    27615   205320 |    10125     2625    495 | 32.052 % |
12.49/12.51	c |      2778 |    3941    27615   205320 |    11138     2776    502 | 32.052 % |
13.20/13.22	c ===============================================================================
13.20/13.22	c New solution: 86596
13.20/13.22	o 86596
13.20/13.22	c Elapsed CPU time: 13.044 s	Remaining CPU time: 166.956 s
13.20/13.22	c ===============================================================================
13.20/13.22	c |      2980 |    3941    27616   207365 |     9205     2978    512 | 32.052 % |
13.38/13.44	c |      3080 |    3941    27616   207365 |    10125     3078    516 | 32.052 % |
13.48/13.59	c ===============================================================================
13.48/13.59	c New solution: 86595
13.48/13.59	o 86595
13.48/13.59	c Elapsed CPU time: 13.407 s	Remaining CPU time: 166.593 s
13.48/13.59	c ===============================================================================
13.48/13.59	c |      3083 |    3941    27617   209410 |     9205     3081    516 | 32.052 % |
13.69/13.70	c ===============================================================================
13.69/13.70	c New solution: 86585
13.69/13.70	o 86585
13.69/13.70	c Elapsed CPU time: 13.5229 s	Remaining CPU time: 166.477 s
13.69/13.70	c ===============================================================================
13.69/13.70	c |      3087 |    3941    27618   211455 |     9206     3085    516 | 32.052 % |
14.09/14.12	c |      3187 |    3941    27618   211455 |    10126     3185    519 | 32.052 % |
14.48/14.56	c |      3337 |    3941    27618   211455 |    11139     3335    523 | 32.052 % |
14.58/14.64	c ===============================================================================
14.58/14.64	c New solution: 86584
14.58/14.64	o 86584
14.58/14.64	c Elapsed CPU time: 14.4568 s	Remaining CPU time: 165.543 s
14.58/14.64	c ===============================================================================
14.58/14.64	c |      3342 |    3941    27619   213500 |     9206     3340    523 | 32.052 % |
14.68/14.75	c ===============================================================================
14.68/14.75	c New solution: 86583
14.68/14.75	o 86583
14.68/14.75	c Elapsed CPU time: 14.5638 s	Remaining CPU time: 165.436 s
14.68/14.75	c ===============================================================================
14.68/14.75	c |      3348 |    3941    27620   215545 |     9206     3346    523 | 32.052 % |
14.99/15.05	c |      3448 |    3941    27620   215545 |    10127     3446    527 | 32.052 % |
15.40/15.42	c |      3598 |    3941    27620   215545 |    11140     3596    530 | 32.052 % |
15.49/15.53	c ===============================================================================
15.49/15.53	c New solution: 86582
15.49/15.53	o 86582
15.49/15.53	c Elapsed CPU time: 15.3347 s	Remaining CPU time: 164.665 s
15.49/15.53	c ===============================================================================
15.49/15.53	c |      3599 |    3941    27621   217590 |     9207     3597    530 | 32.052 % |
15.59/15.64	c ===============================================================================
15.59/15.64	c New solution: 86581
15.59/15.64	o 86581
15.59/15.64	c Elapsed CPU time: 15.4477 s	Remaining CPU time: 164.552 s
15.59/15.64	c ===============================================================================
15.59/15.64	c |      3606 |    3941    27622   219635 |     9207     3604    530 | 32.052 % |
15.69/15.77	c ===============================================================================
15.69/15.77	c New solution: 86580
15.69/15.77	o 86580
15.69/15.77	c Elapsed CPU time: 15.5756 s	Remaining CPU time: 164.424 s
15.69/15.77	c ===============================================================================
15.69/15.77	c |      3608 |    3941    27623   221680 |     9207     3606    530 | 32.052 % |
15.79/15.87	c ===============================================================================
15.79/15.87	c New solution: 86579
15.79/15.87	o 86579
15.79/15.87	c Elapsed CPU time: 15.6746 s	Remaining CPU time: 164.325 s
15.79/15.87	c ===============================================================================
15.79/15.87	c |      3611 |    3941    27624   223725 |     9208     3609    530 | 32.052 % |
15.89/15.96	c ===============================================================================
15.89/15.96	c New solution: 86578
15.89/15.96	o 86578
15.89/15.96	c Elapsed CPU time: 15.7696 s	Remaining CPU time: 164.23 s
15.89/15.96	c ===============================================================================
15.89/15.96	c |      3614 |    3941    27625   225770 |     9208     3612    530 | 32.052 % |
16.09/16.15	c ===============================================================================
16.09/16.15	c New solution: 86577
16.09/16.15	o 86577
16.09/16.15	c Elapsed CPU time: 15.9516 s	Remaining CPU time: 164.048 s
16.09/16.15	c ===============================================================================
16.09/16.15	c |      3644 |    3941    27626   227815 |     9208     3642    531 | 32.052 % |
16.49/16.55	c |      3744 |    3941    27626   227815 |    10129     3742    533 | 32.052 % |
16.59/16.65	c ===============================================================================
16.59/16.65	c New solution: 86576
16.59/16.65	o 86576
16.59/16.65	c Elapsed CPU time: 16.4525 s	Remaining CPU time: 163.548 s
16.59/16.65	c ===============================================================================
16.59/16.65	c |      3747 |    3941    27627   229860 |     9209     3745    533 | 32.052 % |
16.88/16.95	c |      3848 |    3941    27627   229860 |    10129     3846    535 | 32.052 % |
16.98/17.10	c ===============================================================================
16.98/17.10	c New solution: 86575
16.98/17.10	o 86575
16.98/17.10	c Elapsed CPU time: 16.8984 s	Remaining CPU time: 163.102 s
16.98/17.10	c ===============================================================================
16.98/17.10	c |      3859 |    3941    27628   231905 |     9209     3857    535 | 32.052 % |
17.08/17.19	c ===============================================================================
17.08/17.19	c New solution: 85082
17.08/17.19	o 85082
17.08/17.19	c Elapsed CPU time: 16.9904 s	Remaining CPU time: 163.01 s
17.08/17.19	c ===============================================================================
17.08/17.19	c |      3868 |    3941    27629   233950 |     9209     3866    535 | 32.052 % |
17.18/17.24	c |      3969 |    3941    27629   233950 |    10130     3967    534 | 32.052 % |
17.29/17.35	c ===============================================================================
17.29/17.35	c New solution: 84984
17.29/17.35	o 84984
17.29/17.35	c Elapsed CPU time: 17.1474 s	Remaining CPU time: 162.853 s
17.29/17.35	c ===============================================================================
17.29/17.35	c |      3972 |    3941    27630   235995 |     9210     3970    534 | 32.052 % |
17.39/17.48	c ===============================================================================
17.39/17.48	c New solution: 84982
17.39/17.48	o 84982
17.39/17.48	c Elapsed CPU time: 17.2754 s	Remaining CPU time: 162.725 s
17.39/17.48	c ===============================================================================
17.39/17.48	c |      3975 |    3941    27631   238040 |     9210     3973    534 | 32.052 % |
17.59/17.62	c ===============================================================================
17.59/17.62	c New solution: 83449
17.59/17.62	o 83449
17.59/17.62	c Elapsed CPU time: 17.4144 s	Remaining CPU time: 162.586 s
17.59/17.62	c ===============================================================================
17.59/17.62	c |      3979 |    3941    27632   240085 |     9210     3977    534 | 32.052 % |
17.69/17.75	c ===============================================================================
17.69/17.75	c New solution: 83334
17.69/17.75	o 83334
17.69/17.75	c Elapsed CPU time: 17.5453 s	Remaining CPU time: 162.455 s
17.69/17.75	c ===============================================================================
17.69/17.75	c |      3982 |    3941    27633   242130 |     9211     3980    534 | 32.052 % |
17.78/17.83	c ===============================================================================
17.78/17.83	c New solution: 81814
17.78/17.83	o 81814
17.78/17.83	c Elapsed CPU time: 17.6243 s	Remaining CPU time: 162.376 s
17.78/17.83	c ===============================================================================
17.78/17.83	c |      3983 |    3941    27634   244175 |     9211     3981    534 | 32.052 % |
17.88/17.95	c ===============================================================================
17.88/17.95	c New solution: 81813
17.88/17.95	o 81813
17.88/17.95	c Elapsed CPU time: 17.7363 s	Remaining CPU time: 162.264 s
17.88/17.95	c ===============================================================================
17.88/17.95	c |      3985 |    3941    27635   246220 |     9211     3983    534 | 32.052 % |
17.99/18.08	c ===============================================================================
17.99/18.08	c New solution: 81812
17.99/18.08	o 81812
17.99/18.08	c Elapsed CPU time: 17.8723 s	Remaining CPU time: 162.128 s
17.99/18.08	c ===============================================================================
17.99/18.08	c |      3985 |    3941    27636   248265 |     9212     3983    534 | 32.052 % |
18.19/18.21	c ===============================================================================
18.19/18.21	c New solution: 81724
18.19/18.21	o 81724
18.19/18.21	c Elapsed CPU time: 18.0013 s	Remaining CPU time: 161.999 s
18.19/18.21	c ===============================================================================
18.19/18.21	c |      3987 |    3941    27637   250310 |     9212     3985    534 | 32.052 % |
18.29/18.31	c ===============================================================================
18.29/18.31	c New solution: 80196
18.29/18.31	o 80196
18.29/18.31	c Elapsed CPU time: 18.0942 s	Remaining CPU time: 161.906 s
18.29/18.31	c ===============================================================================
18.29/18.31	c |      3989 |    3941    27638   252355 |     9212     3987    534 | 32.052 % |
18.39/18.46	c ===============================================================================
18.39/18.46	c New solution: 80166
18.39/18.46	o 80166
18.39/18.46	c Elapsed CPU time: 18.2422 s	Remaining CPU time: 161.758 s
18.39/18.46	c ===============================================================================
18.39/18.46	c |      3992 |    3941    27639   254400 |     9213     3990    534 | 32.052 % |
18.49/18.59	c ===============================================================================
18.49/18.59	c New solution: 80094
18.49/18.59	o 80094
18.49/18.59	c Elapsed CPU time: 18.3792 s	Remaining CPU time: 161.621 s
18.49/18.59	c ===============================================================================
18.49/18.59	c |      3992 |    3941    27640   256445 |     9213     3990    534 | 32.052 % |
18.69/18.72	c ===============================================================================
18.69/18.72	c New solution: 80093
18.69/18.72	o 80093
18.69/18.72	c Elapsed CPU time: 18.5042 s	Remaining CPU time: 161.496 s
18.69/18.72	c ===============================================================================
18.69/18.72	c |      3994 |    3941    27641   258490 |     9213     3992    533 | 32.052 % |
18.79/18.86	c ===============================================================================
18.79/18.86	c New solution: 80083
18.79/18.86	o 80083
18.79/18.86	c Elapsed CPU time: 18.6492 s	Remaining CPU time: 161.351 s
18.79/18.87	c ===============================================================================
18.79/18.87	c |      3997 |    3941    27642   260535 |     9214     3995    533 | 32.052 % |
18.89/18.99	c ===============================================================================
18.89/18.99	c New solution: 78571
18.89/18.99	o 78571
18.89/18.99	c Elapsed CPU time: 18.7731 s	Remaining CPU time: 161.227 s
18.89/18.99	c ===============================================================================
18.89/18.99	c |      4000 |    3941    27643   262580 |     9214     3998    533 | 32.052 % |
19.09/19.14	c ===============================================================================
19.09/19.14	c New solution: 78482
19.09/19.14	o 78482
19.09/19.14	c Elapsed CPU time: 18.9251 s	Remaining CPU time: 161.075 s
19.09/19.14	c ===============================================================================
19.09/19.14	c |      4005 |    3941    27644   264625 |     9214     4003    533 | 32.052 % |
19.38/19.41	c |      4105 |    3941    27644   264625 |    10136     4103    534 | 32.052 % |
19.79/19.83	c |      4257 |    3941    27644   264625 |    11149     4255    538 | 32.052 % |
19.88/19.96	c ===============================================================================
19.88/19.96	c New solution: 78481
19.88/19.96	o 78481
19.88/19.96	c Elapsed CPU time: 19.74 s	Remaining CPU time: 160.26 s
19.88/19.96	c ===============================================================================
19.88/19.96	c |      4259 |    3941    27645   266670 |     9215     4257    538 | 32.052 % |
20.09/20.12	c ===============================================================================
20.09/20.12	c New solution: 78480
20.09/20.12	o 78480
20.09/20.12	c Elapsed CPU time: 19.902 s	Remaining CPU time: 160.098 s
20.09/20.12	c ===============================================================================
20.09/20.12	c |      4271 |    3941    27646   268715 |     9215     4269    538 | 32.052 % |
20.39/20.48	c |      4371 |    3941    27646   268715 |    10136     4369    540 | 32.052 % |
20.59/20.64	c ===============================================================================
20.59/20.64	c New solution: 78479
20.59/20.64	o 78479
20.59/20.64	c Elapsed CPU time: 20.4109 s	Remaining CPU time: 159.589 s
20.59/20.64	c ===============================================================================
20.59/20.64	c |      4384 |    3941    27647   270760 |     9215     4382    540 | 32.052 % |
20.68/20.79	c ===============================================================================
20.68/20.79	c New solution: 78478
20.68/20.79	o 78478
20.68/20.79	c Elapsed CPU time: 20.5609 s	Remaining CPU time: 159.439 s
20.68/20.79	c ===============================================================================
20.68/20.79	c |      4400 |    3941    27648   272805 |     9216     4398    540 | 32.052 % |
21.18/21.23	c |      4501 |    3941    27648   272805 |    10137     4499    540 | 32.052 % |
21.28/21.38	c ===============================================================================
21.28/21.38	c New solution: 78477
21.28/21.38	o 78477
21.28/21.38	c Elapsed CPU time: 21.1538 s	Remaining CPU time: 158.846 s
21.28/21.38	c ===============================================================================
21.28/21.38	c |      4506 |    3941    27649   274850 |     9216     4504    540 | 32.052 % |
21.38/21.43	c ===============================================================================
21.38/21.43	c New solution: 78476
21.38/21.43	o 78476
21.38/21.43	c Elapsed CPU time: 21.2038 s	Remaining CPU time: 158.796 s
21.38/21.43	c ===============================================================================
21.38/21.43	c |      4515 |    3941    27650   276895 |     9216     4513    540 | 32.052 % |
21.89/21.96	c |      4615 |    3941    27650   276895 |    10138     4613    540 | 32.052 % |
22.18/22.29	c ===============================================================================
22.18/22.29	c New solution: 76965
22.18/22.29	o 76965
22.18/22.29	c Elapsed CPU time: 22.0576 s	Remaining CPU time: 157.942 s
22.18/22.29	c ===============================================================================
22.18/22.29	c |      4651 |    3941    27651   278940 |     9217     4649    541 | 32.052 % |
22.39/22.46	c ===============================================================================
22.39/22.46	c New solution: 76849
22.39/22.46	o 76849
22.39/22.46	c Elapsed CPU time: 22.2286 s	Remaining CPU time: 157.771 s
22.39/22.46	c ===============================================================================
22.39/22.46	c |      4687 |    3941    27652   280985 |     9217     4685    540 | 32.052 % |
22.89/22.93	c |      4787 |    3941    27652   280985 |    10139     4785    541 | 32.052 % |
23.09/23.11	c ===============================================================================
23.09/23.11	c New solution: 76848
23.09/23.11	o 76848
23.09/23.11	c Elapsed CPU time: 22.8725 s	Remaining CPU time: 157.127 s
23.09/23.11	c ===============================================================================
23.09/23.11	c |      4790 |    3941    27653   283030 |     9217     4788    541 | 32.052 % |
23.19/23.27	c ===============================================================================
23.19/23.27	c New solution: 76847
23.19/23.27	o 76847
23.19/23.27	c Elapsed CPU time: 23.0315 s	Remaining CPU time: 156.969 s
23.19/23.27	c ===============================================================================
23.19/23.27	c |      4795 |    3941    27654   285075 |     9218     4793    541 | 32.052 % |
23.38/23.41	c ===============================================================================
23.38/23.41	c New solution: 76846
23.38/23.41	o 76846
23.38/23.41	c Elapsed CPU time: 23.1695 s	Remaining CPU time: 156.831 s
23.38/23.41	c ===============================================================================
23.38/23.41	c |      4800 |    3941    27655   287120 |     9218     4798    541 | 32.052 % |
23.68/23.78	c |      4901 |    3941    27655   287120 |    10140     4899    542 | 32.052 % |
23.98/24.02	c ===============================================================================
23.98/24.02	c New solution: 76845
23.98/24.02	o 76845
23.98/24.02	c Elapsed CPU time: 23.7774 s	Remaining CPU time: 156.223 s
23.98/24.02	c ===============================================================================
23.98/24.02	c |      4907 |    3941    27656   289165 |     9218     4905    542 | 32.052 % |
24.09/24.14	c ===============================================================================
24.09/24.14	c New solution: 76844
24.09/24.14	o 76844
24.09/24.14	c Elapsed CPU time: 23.9014 s	Remaining CPU time: 156.099 s
24.09/24.14	c ===============================================================================
24.09/24.14	c |      4909 |    3941    27657   291210 |     9219     4907    542 | 32.052 % |
24.48/24.55	c |      5011 |    3941    27657   291210 |    10140     5009    543 | 32.052 % |
25.09/25.10	c ===============================================================================
25.09/25.10	c New solution: 76819
25.09/25.10	o 76819
25.09/25.10	c Elapsed CPU time: 24.8542 s	Remaining CPU time: 155.146 s
25.09/25.10	c ===============================================================================
25.09/25.10	c |      5039 |    3941    27658   293255 |     9219     5037    543 | 32.052 % |
25.39/25.48	c |      5140 |    3941    27658   293255 |    10141     5138    544 | 32.052 % |
25.99/26.02	c |      5290 |    3941    27658   293255 |    11155     5288    545 | 32.052 % |
26.98/27.02	c |      5515 |    3941    27658   293255 |    12270     5513    547 | 32.052 % |
28.09/28.14	c |      5853 |    3941    27658   293255 |    13498     5851    549 | 32.052 % |
28.29/28.34	c ===============================================================================
28.29/28.34	c New solution: 76818
28.29/28.34	o 76818
28.29/28.34	c Elapsed CPU time: 28.0857 s	Remaining CPU time: 151.914 s
28.29/28.34	c ===============================================================================
28.29/28.34	c |      5857 |    3941    27659   295300 |     9219     5855    549 | 32.052 % |
28.49/28.51	c ===============================================================================
28.49/28.51	c New solution: 76817
28.49/28.51	o 76817
28.49/28.51	c Elapsed CPU time: 28.2557 s	Remaining CPU time: 151.744 s
28.49/28.51	c ===============================================================================
28.49/28.51	c |      5885 |    3941    27660   297345 |     9220     5883    549 | 32.052 % |
28.69/28.74	c ===============================================================================
28.69/28.74	c New solution: 76816
28.69/28.74	o 76816
28.69/28.74	c Elapsed CPU time: 28.4867 s	Remaining CPU time: 151.513 s
28.69/28.74	c ===============================================================================
28.69/28.74	c |      5909 |    3941    27661   299390 |     9220     5907    549 | 32.052 % |
28.89/28.91	c ===============================================================================
28.89/28.91	c New solution: 76815
28.89/28.91	o 76815
28.89/28.91	c Elapsed CPU time: 28.6546 s	Remaining CPU time: 151.345 s
28.89/28.91	c ===============================================================================
28.89/28.91	c |      5909 |    3941    27662   301435 |     9220     5907    549 | 32.052 % |
29.09/29.11	c ===============================================================================
29.09/29.11	c New solution: 76814
29.09/29.11	o 76814
29.09/29.11	c Elapsed CPU time: 28.8556 s	Remaining CPU time: 151.144 s
29.09/29.11	c ===============================================================================
29.09/29.11	c |      5915 |    3941    27663   303480 |     9221     5913    549 | 32.052 % |
29.38/29.48	c |      6016 |    3941    27663   303480 |    10143     6014    550 | 32.052 % |
29.59/29.65	c ===============================================================================
29.59/29.65	c New solution: 75312
29.59/29.65	o 75312
29.59/29.65	c Elapsed CPU time: 29.3945 s	Remaining CPU time: 150.605 s
29.59/29.65	c ===============================================================================
29.59/29.65	c |      6018 |    3941    27664   305525 |     9221     6016    550 | 32.052 % |
29.78/29.80	c ===============================================================================
29.78/29.80	c New solution: 75219
29.78/29.80	o 75219
29.78/29.80	c Elapsed CPU time: 29.5385 s	Remaining CPU time: 150.461 s
29.78/29.80	c ===============================================================================
29.78/29.80	c |      6024 |    3941    27665   307570 |     9221     6022    550 | 32.052 % |
29.88/29.94	c ===============================================================================
29.88/29.94	c New solution: 75214
29.88/29.94	o 75214
29.88/29.94	c Elapsed CPU time: 29.6845 s	Remaining CPU time: 150.316 s
29.88/29.94	c ===============================================================================
29.88/29.94	c |      6026 |    3941    27666   309615 |     9222     6024    550 | 32.052 % |
30.08/30.10	c ===============================================================================
30.08/30.10	c New solution: 73692
30.08/30.10	o 73692
30.08/30.10	c Elapsed CPU time: 29.8405 s	Remaining CPU time: 150.16 s
30.08/30.10	c ===============================================================================
30.08/30.10	c |      6028 |    3941    27667   311660 |     9222     6026    550 | 32.052 % |
30.18/30.24	c ===============================================================================
30.18/30.24	c New solution: 73604
30.18/30.24	o 73604
30.18/30.24	c Elapsed CPU time: 29.9794 s	Remaining CPU time: 150.021 s
30.18/30.24	c ===============================================================================
30.18/30.24	c |      6028 |    3941    27668   313705 |     9222     6026    550 | 32.052 % |
30.28/30.37	c ===============================================================================
30.28/30.37	c New solution: 73603
30.28/30.37	o 73603
30.28/30.37	c Elapsed CPU time: 30.1154 s	Remaining CPU time: 149.885 s
30.28/30.37	c ===============================================================================
30.28/30.37	c |      6028 |    3941    27669   315750 |     9223     6026    550 | 32.052 % |
30.38/30.47	c ===============================================================================
30.38/30.47	c New solution: 73602
30.38/30.47	o 73602
30.38/30.47	c Elapsed CPU time: 30.2104 s	Remaining CPU time: 149.79 s
30.38/30.47	c ===============================================================================
30.38/30.47	c |      6035 |    3941    27670   317795 |     9223     6033    550 | 32.052 % |
30.58/30.60	c ===============================================================================
30.58/30.60	c New solution: 73601
30.58/30.60	o 73601
30.58/30.60	c Elapsed CPU time: 30.3364 s	Remaining CPU time: 149.664 s
30.58/30.60	c ===============================================================================
30.58/30.60	c |      6044 |    3941    27671   319840 |     9223     6042    550 | 32.052 % |
30.69/30.79	c ===============================================================================
30.69/30.79	c New solution: 72071
30.69/30.79	o 72071
30.69/30.79	c Elapsed CPU time: 30.5324 s	Remaining CPU time: 149.468 s
30.69/30.79	c ===============================================================================
30.69/30.79	c |      6053 |    3941    27672   321885 |     9224     6051    550 | 32.052 % |
30.88/30.96	c ===============================================================================
30.88/30.96	c New solution: 71984
30.88/30.96	o 71984
30.88/30.96	c Elapsed CPU time: 30.7003 s	Remaining CPU time: 149.3 s
30.88/30.96	c ===============================================================================
30.88/30.96	c |      6058 |    3941    27673   323930 |     9224     6056    550 | 32.052 % |
30.98/31.09	c ===============================================================================
30.98/31.09	c New solution: 71978
30.98/31.09	o 71978
30.98/31.09	c Elapsed CPU time: 30.8303 s	Remaining CPU time: 149.17 s
30.98/31.09	c ===============================================================================
30.98/31.09	c |      6059 |    3941    27674   325975 |     9224     6057    550 | 32.052 % |
31.19/31.23	c ===============================================================================
31.19/31.23	c New solution: 71977
31.19/31.23	o 71977
31.19/31.23	c Elapsed CPU time: 30.9633 s	Remaining CPU time: 149.037 s
31.19/31.23	c ===============================================================================
31.19/31.23	c |      6059 |    3941    27675   328020 |     9225     6057    550 | 32.052 % |
31.29/31.37	c ===============================================================================
31.29/31.37	c New solution: 71976
31.29/31.37	o 71976
31.29/31.37	c Elapsed CPU time: 31.1033 s	Remaining CPU time: 148.897 s
31.29/31.37	c ===============================================================================
31.29/31.37	c |      6060 |    3941    27676   330065 |     9225     6058    550 | 32.052 % |
31.39/31.49	c ===============================================================================
31.39/31.49	c New solution: 71961
31.39/31.49	o 71961
31.39/31.49	c Elapsed CPU time: 31.2233 s	Remaining CPU time: 148.777 s
31.39/31.49	c ===============================================================================
31.39/31.49	c |      6061 |    3941    27677   332110 |     9225     6059    550 | 32.052 % |
31.89/31.94	c ===============================================================================
31.89/31.94	c New solution: 71960
31.89/31.94	o 71960
31.89/31.94	c Elapsed CPU time: 31.6762 s	Remaining CPU time: 148.324 s
31.89/31.94	c ===============================================================================
31.89/31.94	c |      6146 |    3941    27678   334155 |     9226     6144    551 | 32.052 % |
32.38/32.43	c ===============================================================================
32.38/32.43	c New solution: 71959
32.38/32.43	o 71959
32.38/32.43	c Elapsed CPU time: 32.1591 s	Remaining CPU time: 147.841 s
32.38/32.43	c ===============================================================================
32.38/32.43	c |      6206 |    3941    27679   336200 |     9226     6204    551 | 32.052 % |
32.89/32.97	c |      6307 |    3941    27679   336200 |    10148     6305    552 | 32.052 % |
33.28/33.33	c ===============================================================================
33.28/33.33	c New solution: 70474
33.28/33.33	o 70474
33.28/33.33	c Elapsed CPU time: 33.053 s	Remaining CPU time: 146.947 s
33.28/33.33	c ===============================================================================
33.28/33.33	c |      6333 |    3941    27680   338245 |     9226     6331    552 | 32.052 % |
33.48/33.59	c ===============================================================================
33.48/33.59	c New solution: 70376
33.48/33.59	o 70376
33.48/33.59	c Elapsed CPU time: 33.3149 s	Remaining CPU time: 146.685 s
33.48/33.59	c ===============================================================================
33.48/33.59	c |      6335 |    3941    27681   340290 |     9227     6333    552 | 32.052 % |
33.68/33.74	c ===============================================================================
33.68/33.74	c New solution: 70360
33.68/33.74	o 70360
33.68/33.74	c Elapsed CPU time: 33.4609 s	Remaining CPU time: 146.539 s
33.68/33.74	c ===============================================================================
33.68/33.74	c |      6335 |    3941    27682   342335 |     9227     6333    552 | 32.052 % |
33.79/33.89	c ===============================================================================
33.79/33.89	c New solution: 70359
33.79/33.89	o 70359
33.79/33.89	c Elapsed CPU time: 33.6089 s	Remaining CPU time: 146.391 s
33.79/33.89	c ===============================================================================
33.79/33.89	c |      6337 |    3941    27683   344380 |     9227     6335    552 | 32.052 % |
34.48/34.51	c |      6437 |    3941    27683   344380 |    10150     6435    553 | 32.052 % |
34.68/34.70	c ===============================================================================
34.68/34.70	c New solution: 70356
34.68/34.70	o 70356
34.68/34.70	c Elapsed CPU time: 34.4208 s	Remaining CPU time: 145.579 s
34.68/34.70	c ===============================================================================
34.68/34.70	c |      6440 |    3941    27684   346425 |     9228     6438    553 | 32.052 % |
34.78/34.85	c ===============================================================================
34.78/34.85	c New solution: 70348
34.78/34.85	o 70348
34.78/34.85	c Elapsed CPU time: 34.5707 s	Remaining CPU time: 145.429 s
34.78/34.85	c ===============================================================================
34.78/34.85	c |      6442 |    3941    27685   348470 |     9228     6440    553 | 32.052 % |
34.98/35.04	c ===============================================================================
34.98/35.04	c New solution: 70347
34.98/35.04	o 70347
34.98/35.04	c Elapsed CPU time: 34.7597 s	Remaining CPU time: 145.24 s
34.98/35.04	c ===============================================================================
34.98/35.04	c |      6459 |    3941    27686   350515 |     9228     6457    553 | 32.052 % |
35.19/35.22	c ===============================================================================
35.19/35.22	c New solution: 68838
35.19/35.22	o 68838
35.19/35.22	c Elapsed CPU time: 34.9407 s	Remaining CPU time: 145.059 s
35.19/35.22	c ===============================================================================
35.19/35.22	c |      6459 |    3941    27687   352560 |     9229     6457    553 | 32.052 % |
35.39/35.41	c ===============================================================================
35.39/35.41	c New solution: 68836
35.39/35.41	o 68836
35.39/35.41	c Elapsed CPU time: 35.1227 s	Remaining CPU time: 144.877 s
35.39/35.41	c ===============================================================================
35.39/35.41	c |      6460 |    3941    27688   354605 |     9229     6458    553 | 32.052 % |
35.49/35.55	c ===============================================================================
35.49/35.55	c New solution: 68725
35.49/35.55	o 68725
35.49/35.55	c Elapsed CPU time: 35.2696 s	Remaining CPU time: 144.73 s
35.49/35.55	c ===============================================================================
35.49/35.55	c |      6464 |    3941    27689   356650 |     9229     6462    553 | 32.052 % |
35.79/35.82	c ===============================================================================
35.79/35.82	c New solution: 67220
35.79/35.82	o 67220
35.79/35.82	c Elapsed CPU time: 35.5316 s	Remaining CPU time: 144.468 s
35.79/35.82	c ===============================================================================
35.79/35.82	c |      6465 |    3941    27690   358695 |     9230     6463    553 | 32.052 % |
35.99/36.05	c ===============================================================================
35.99/36.05	c New solution: 67114
35.99/36.05	o 67114
35.99/36.05	c Elapsed CPU time: 35.7676 s	Remaining CPU time: 144.232 s
35.99/36.05	c ===============================================================================
35.99/36.05	c |      6471 |    3941    27691   360740 |     9230     6469    553 | 32.052 % |
36.29/36.32	c ===============================================================================
36.29/36.32	c New solution: 65576
36.29/36.32	o 65576
36.29/36.32	c Elapsed CPU time: 36.0375 s	Remaining CPU time: 143.962 s
36.29/36.32	c ===============================================================================
36.29/36.32	c |      6487 |    3941    27692   362785 |     9230     6485    553 | 32.052 % |
36.38/36.49	c ===============================================================================
36.38/36.49	c New solution: 65482
36.38/36.49	o 65482
36.38/36.49	c Elapsed CPU time: 36.2025 s	Remaining CPU time: 143.798 s
36.38/36.49	c ===============================================================================
36.38/36.49	c |      6487 |    3941    27693   364830 |     9231     6485    553 | 32.052 % |
36.58/36.66	c ===============================================================================
36.58/36.66	c New solution: 65471
36.58/36.66	o 65471
36.58/36.66	c Elapsed CPU time: 36.3665 s	Remaining CPU time: 143.634 s
36.58/36.66	c ===============================================================================
36.58/36.66	c |      6494 |    3941    27694   366875 |     9231     6492    553 | 32.052 % |
37.08/37.17	c |      6594 |    3941    27694   366875 |    10154     6592    554 | 32.052 % |
37.29/37.37	c ===============================================================================
37.29/37.37	c New solution: 63991
37.29/37.37	o 63991
37.29/37.37	c Elapsed CPU time: 37.0834 s	Remaining CPU time: 142.917 s
37.29/37.37	c ===============================================================================
37.29/37.37	c |      6595 |    3941    27695   368920 |     9231     6593    554 | 32.052 % |
37.48/37.58	c ===============================================================================
37.48/37.58	c New solution: 63863
37.48/37.58	o 63863
37.48/37.58	c Elapsed CPU time: 37.2923 s	Remaining CPU time: 142.708 s
37.48/37.58	c ===============================================================================
37.48/37.58	c |      6596 |    3941    27696   370965 |     9232     6594    554 | 32.052 % |
37.68/37.76	c ===============================================================================
37.68/37.76	c New solution: 63862
37.68/37.76	o 63862
37.68/37.76	c Elapsed CPU time: 37.4733 s	Remaining CPU time: 142.527 s
37.68/37.76	c ===============================================================================
37.68/37.76	c |      6598 |    3941    27697   373010 |     9232     6596    554 | 32.052 % |
37.78/37.87	c ===============================================================================
37.78/37.87	c New solution: 63861
37.78/37.87	o 63861
37.78/37.87	c Elapsed CPU time: 37.5743 s	Remaining CPU time: 142.426 s
37.78/37.87	c ===============================================================================
37.78/37.87	c |      6614 |    3941    27698   375055 |     9232     6612    554 | 32.052 % |
38.39/38.49	c |      6715 |    3941    27698   375055 |    10155     6713    555 | 32.052 % |
38.58/38.69	c ===============================================================================
38.58/38.69	c New solution: 62351
38.58/38.69	o 62351
38.58/38.69	c Elapsed CPU time: 38.3972 s	Remaining CPU time: 141.603 s
38.58/38.69	c ===============================================================================
38.58/38.69	c |      6718 |    3941    27699   377100 |     9233     6716    555 | 32.052 % |
38.88/38.95	c ===============================================================================
38.88/38.95	c New solution: 62261
38.88/38.95	o 62261
38.88/38.95	c Elapsed CPU time: 38.6591 s	Remaining CPU time: 141.341 s
38.88/38.95	c ===============================================================================
38.88/38.95	c |      6718 |    3941    27700   379145 |     9233     6716    555 | 32.052 % |
39.49/39.56	c |      6819 |    3941    27700   379145 |    10156     6817    556 | 32.052 % |
39.79/39.80	c ===============================================================================
39.79/39.80	c New solution: 62258
39.79/39.80	o 62258
39.79/39.80	c Elapsed CPU time: 39.502 s	Remaining CPU time: 140.498 s
39.79/39.80	c ===============================================================================
39.79/39.80	c |      6820 |    3941    27701   381190 |     9233     6818    556 | 32.052 % |
39.89/39.96	c ===============================================================================
39.89/39.96	c New solution: 62235
39.89/39.96	o 62235
39.89/39.96	c Elapsed CPU time: 39.662 s	Remaining CPU time: 140.338 s
39.89/39.96	c ===============================================================================
39.89/39.96	c |      6823 |    3941    27702   383235 |     9234     6821    556 | 32.052 % |
40.59/40.60	c |      6924 |    3941    27702   383235 |    10157     6922    557 | 32.052 % |
40.78/40.82	c ===============================================================================
40.78/40.82	c New solution: 62227
40.78/40.82	o 62227
40.78/40.82	c Elapsed CPU time: 40.5238 s	Remaining CPU time: 139.476 s
40.78/40.82	c ===============================================================================
40.78/40.82	c |      6928 |    3941    27703   385280 |     9234     6926    557 | 32.052 % |
41.08/41.10	c ===============================================================================
41.08/41.10	c New solution: 60718
41.08/41.10	o 60718
41.08/41.10	c Elapsed CPU time: 40.7968 s	Remaining CPU time: 139.203 s
41.08/41.10	c ===============================================================================
41.08/41.10	c |      6934 |    3941    27704   387325 |     9234     6932    557 | 32.052 % |
41.28/41.31	c ===============================================================================
41.28/41.31	c New solution: 60636
41.28/41.31	o 60636
41.28/41.31	c Elapsed CPU time: 41.0118 s	Remaining CPU time: 138.988 s
41.28/41.31	c ===============================================================================
41.28/41.31	c |      6938 |    3941    27705   389370 |     9235     6936    557 | 32.052 % |
41.48/41.56	c ===============================================================================
41.48/41.56	c New solution: 60601
41.48/41.56	o 60601
41.48/41.56	c Elapsed CPU time: 41.2577 s	Remaining CPU time: 138.742 s
41.48/41.56	c ===============================================================================
41.48/41.56	c |      6939 |    3941    27706   391415 |     9235     6937    557 | 32.052 % |
41.79/41.83	c ===============================================================================
41.79/41.83	c New solution: 60600
41.79/41.83	o 60600
41.79/41.83	c Elapsed CPU time: 41.5297 s	Remaining CPU time: 138.47 s
41.79/41.83	c ===============================================================================
41.79/41.83	c |      6957 |    3941    27707   393460 |     9235     6955    557 | 32.052 % |
41.98/42.00	c ===============================================================================
41.98/42.00	c New solution: 60599
41.98/42.00	o 60599
41.98/42.00	c Elapsed CPU time: 41.6987 s	Remaining CPU time: 138.301 s
41.98/42.00	c ===============================================================================
41.98/42.00	c |      6960 |    3941    27708   395505 |     9236     6958    557 | 32.052 % |
42.58/42.60	c |      7060 |    3941    27708   395505 |    10159     7058    557 | 32.052 % |
43.58/43.67	c |      7211 |    3941    27708   395505 |    11175     7209    559 | 32.052 % |
44.88/44.93	c |      7436 |    3941    27708   395505 |    12293     7434    561 | 32.052 % |
45.18/45.20	c ===============================================================================
45.18/45.20	c New solution: 59116
45.18/45.20	o 59116
45.18/45.20	c Elapsed CPU time: 44.8932 s	Remaining CPU time: 135.107 s
45.18/45.20	c ===============================================================================
45.18/45.20	c |      7449 |    3941    27709   397550 |     9236     7447    561 | 32.052 % |
45.38/45.49	c ===============================================================================
45.38/45.49	c New solution: 58985
45.38/45.49	o 58985
45.38/45.49	c Elapsed CPU time: 45.1791 s	Remaining CPU time: 134.821 s
45.38/45.49	c ===============================================================================
45.38/45.49	c |      7457 |    3941    27710   399595 |     9236     7455    560 | 32.052 % |
45.68/45.72	c ===============================================================================
45.68/45.72	c New solution: 58976
45.68/45.72	o 58976
45.68/45.72	c Elapsed CPU time: 45.4111 s	Remaining CPU time: 134.589 s
45.68/45.72	c ===============================================================================
45.68/45.72	c |      7457 |    3941    27711   401640 |     9237     7455    560 | 32.052 % |
45.88/45.97	c ===============================================================================
45.88/45.97	c New solution: 58975
45.88/45.97	o 58975
45.88/45.97	c Elapsed CPU time: 45.6511 s	Remaining CPU time: 134.349 s
45.88/45.97	c ===============================================================================
45.88/45.97	c |      7458 |    3941    27712   403685 |     9237     7456    560 | 32.052 % |
46.08/46.20	c ===============================================================================
46.08/46.20	c New solution: 58974
46.08/46.20	o 58974
46.08/46.20	c Elapsed CPU time: 45.883 s	Remaining CPU time: 134.117 s
46.08/46.20	c ===============================================================================
46.08/46.20	c |      7458 |    3941    27713   405730 |     9237     7456    560 | 32.052 % |
46.38/46.44	c ===============================================================================
46.38/46.44	c New solution: 58972
46.38/46.44	o 58972
46.38/46.44	c Elapsed CPU time: 46.12 s	Remaining CPU time: 133.88 s
46.38/46.44	c ===============================================================================
46.38/46.44	c |      7458 |    3941    27714   407775 |     9238     7456    560 | 32.052 % |
46.57/46.67	c ===============================================================================
46.57/46.67	c New solution: 58971
46.57/46.67	o 58971
46.57/46.67	c Elapsed CPU time: 46.353 s	Remaining CPU time: 133.647 s
46.57/46.67	c ===============================================================================
46.57/46.67	c |      7458 |    3941    27715   409820 |     9238     7456    560 | 32.052 % |
46.88/46.90	c ===============================================================================
46.88/46.90	c New solution: 58970
46.88/46.90	o 58970
46.88/46.90	c Elapsed CPU time: 46.5819 s	Remaining CPU time: 133.418 s
46.88/46.90	c ===============================================================================
46.88/46.90	c |      7460 |    3941    27716   411865 |     9238     7458    560 | 32.052 % |
47.08/47.17	c ===============================================================================
47.08/47.17	c New solution: 58969
47.08/47.17	o 58969
47.08/47.17	c Elapsed CPU time: 46.8509 s	Remaining CPU time: 133.149 s
47.08/47.17	c ===============================================================================
47.08/47.17	c |      7468 |    3941    27717   413910 |     9239     7466    560 | 32.052 % |
47.88/47.97	c |      7568 |    3941    27717   413910 |    10162     7566    561 | 32.052 % |
48.68/48.74	c ===============================================================================
48.68/48.74	c New solution: 58968
48.68/48.74	o 58968
48.68/48.74	c Elapsed CPU time: 48.4186 s	Remaining CPU time: 131.581 s
48.68/48.74	c ===============================================================================
48.68/48.74	c |      7647 |    3941    27718   415955 |     9239     7645    561 | 32.052 % |
48.88/48.93	c ===============================================================================
48.88/48.93	c New solution: 57482
48.88/48.93	o 57482
48.88/48.93	c Elapsed CPU time: 48.6036 s	Remaining CPU time: 131.396 s
48.88/48.93	c ===============================================================================
48.88/48.93	c |      7651 |    3941    27719   418000 |     9239     7649    561 | 32.052 % |
49.08/49.20	c ===============================================================================
49.08/49.20	c New solution: 57367
49.08/49.20	o 57367
49.08/49.20	c Elapsed CPU time: 48.8716 s	Remaining CPU time: 131.128 s
49.08/49.20	c ===============================================================================
49.08/49.20	c |      7651 |    3941    27720   420045 |     9240     7649    561 | 32.052 % |
49.38/49.46	c ===============================================================================
49.38/49.46	c New solution: 57361
49.38/49.46	o 57361
49.38/49.46	c Elapsed CPU time: 49.1365 s	Remaining CPU time: 130.863 s
49.38/49.46	c ===============================================================================
49.38/49.46	c |      7651 |    3941    27721   422090 |     9240     7649    561 | 32.052 % |
49.67/49.71	c ===============================================================================
49.67/49.71	c New solution: 57360
49.67/49.71	o 57360
49.67/49.71	c Elapsed CPU time: 49.3865 s	Remaining CPU time: 130.614 s
49.67/49.71	c ===============================================================================
49.67/49.71	c |      7651 |    3941    27722   424135 |     9240     7649    561 | 32.052 % |
49.87/49.97	c ===============================================================================
49.87/49.97	c New solution: 57359
49.87/49.97	o 57359
49.87/49.97	c Elapsed CPU time: 49.6445 s	Remaining CPU time: 130.356 s
49.87/49.97	c ===============================================================================
49.87/49.97	c |      7651 |    3941    27723   426180 |     9241     7649    561 | 32.052 % |
50.18/50.23	c ===============================================================================
50.18/50.23	c New solution: 57358
50.18/50.23	o 57358
50.18/50.23	c Elapsed CPU time: 49.8974 s	Remaining CPU time: 130.103 s
50.18/50.23	c ===============================================================================
50.18/50.23	c |      7651 |    3941    27724   428225 |     9241     7649    561 | 32.052 % |
50.38/50.49	c ===============================================================================
50.38/50.49	c New solution: 57357
50.38/50.49	o 57357
50.38/50.49	c Elapsed CPU time: 50.1624 s	Remaining CPU time: 129.838 s
50.38/50.49	c ===============================================================================
50.38/50.49	c |      7658 |    3941    27725   430270 |     9241     7656    561 | 32.052 % |
50.68/50.74	c ===============================================================================
50.68/50.74	c New solution: 55848
50.68/50.74	o 55848
50.68/50.74	c Elapsed CPU time: 50.4103 s	Remaining CPU time: 129.59 s
50.68/50.74	c ===============================================================================
50.68/50.74	c |      7660 |    3941    27726   432315 |     9242     7658    561 | 32.052 % |
50.88/50.92	c ===============================================================================
50.88/50.92	c New solution: 55751
50.88/50.92	o 55751
50.88/50.92	c Elapsed CPU time: 50.5883 s	Remaining CPU time: 129.412 s
50.88/50.92	c ===============================================================================
50.88/50.92	c |      7660 |    3941    27727   434360 |     9242     7658    561 | 32.052 % |
51.08/51.12	c ===============================================================================
51.08/51.12	c New solution: 54216
51.08/51.12	o 54216
51.08/51.12	c Elapsed CPU time: 50.7853 s	Remaining CPU time: 129.215 s
51.08/51.12	c ===============================================================================
51.08/51.12	c |      7660 |    3941    27728   436405 |     9242     7658    561 | 32.052 % |
51.28/51.31	c ===============================================================================
51.28/51.31	c New solution: 54129
51.28/51.31	o 54129
51.28/51.31	c Elapsed CPU time: 50.9733 s	Remaining CPU time: 129.027 s
51.28/51.31	c ===============================================================================
51.28/51.31	c |      7660 |    3941    27729   438450 |     9243     7658    561 | 32.052 % |
51.38/51.49	c ===============================================================================
51.38/51.49	c New solution: 54128
51.38/51.49	o 54128
51.38/51.49	c Elapsed CPU time: 51.1562 s	Remaining CPU time: 128.844 s
51.38/51.49	c ===============================================================================
51.38/51.49	c |      7662 |    3941    27730   440495 |     9243     7660    561 | 32.052 % |
51.58/51.69	c ===============================================================================
51.58/51.69	c New solution: 54105
51.58/51.69	o 54105
51.58/51.69	c Elapsed CPU time: 51.3512 s	Remaining CPU time: 128.649 s
51.58/51.69	c ===============================================================================
51.58/51.69	c |      7669 |    3941    27731   442540 |     9243     7667    561 | 32.052 % |
51.77/51.85	c ===============================================================================
51.77/51.85	c New solution: 52577
51.77/51.85	o 52577
51.77/51.85	c Elapsed CPU time: 51.5132 s	Remaining CPU time: 128.487 s
51.77/51.85	c ===============================================================================
51.77/51.85	c |      7671 |    3941    27732   444585 |     9244     7669    561 | 32.052 % |
52.08/52.11	c ===============================================================================
52.08/52.11	c New solution: 52511
52.08/52.11	o 52511
52.08/52.11	c Elapsed CPU time: 51.7651 s	Remaining CPU time: 128.235 s
52.08/52.11	c ===============================================================================
52.08/52.11	c |      7687 |    3941    27733   446630 |     9244     7685    561 | 32.052 % |
52.18/52.26	c ===============================================================================
52.18/52.26	c New solution: 52509
52.18/52.26	o 52509
52.18/52.26	c Elapsed CPU time: 51.9221 s	Remaining CPU time: 128.078 s
52.18/52.26	c ===============================================================================
52.18/52.26	c |      7690 |    3941    27734   448675 |     9244     7688    561 | 32.052 % |
52.48/52.55	c ===============================================================================
52.48/52.55	c New solution: 52508
52.48/52.55	o 52508
52.48/52.55	c Elapsed CPU time: 52.2031 s	Remaining CPU time: 127.797 s
52.48/52.55	c ===============================================================================
52.48/52.55	c |      7690 |    3941    27735   450720 |     9245     7688    561 | 32.052 % |
52.79/52.83	c ===============================================================================
52.79/52.83	c New solution: 52507
52.79/52.83	o 52507
52.79/52.83	c Elapsed CPU time: 52.487 s	Remaining CPU time: 127.513 s
52.79/52.83	c ===============================================================================
52.79/52.83	c |      7690 |    3941    27736   452765 |     9245     7688    561 | 32.052 % |
53.08/53.11	c ===============================================================================
53.08/53.11	c New solution: 52506
53.08/53.11	o 52506
53.08/53.11	c Elapsed CPU time: 52.768 s	Remaining CPU time: 127.232 s
53.08/53.11	c ===============================================================================
53.08/53.11	c |      7690 |    3941    27737   454810 |     9245     7688    561 | 32.052 % |
53.27/53.31	c ===============================================================================
53.27/53.31	c New solution: 52505
53.27/53.31	o 52505
53.27/53.31	c Elapsed CPU time: 52.9679 s	Remaining CPU time: 127.032 s
53.27/53.31	c ===============================================================================
53.27/53.31	c |      7698 |    3941    27738   456855 |     9246     7696    561 | 32.052 % |
53.48/53.50	c ===============================================================================
53.48/53.50	c New solution: 52504
53.48/53.50	o 52504
53.48/53.50	c Elapsed CPU time: 53.1539 s	Remaining CPU time: 126.846 s
53.48/53.50	c ===============================================================================
53.48/53.50	c |      7701 |    3941    27739   458900 |     9246     7699    561 | 32.052 % |
53.68/53.77	c ===============================================================================
53.68/53.77	c New solution: 50992
53.68/53.77	o 50992
53.68/53.77	c Elapsed CPU time: 53.4229 s	Remaining CPU time: 126.577 s
53.68/53.77	c ===============================================================================
53.68/53.77	c |      7705 |    3941    27740   460945 |     9246     7703    561 | 32.052 % |
53.89/53.93	c ===============================================================================
53.89/53.93	c New solution: 50896
53.89/53.93	o 50896
53.89/53.93	c Elapsed CPU time: 53.5789 s	Remaining CPU time: 126.421 s
53.89/53.93	c ===============================================================================
53.89/53.93	c |      7705 |    3941    27741   462990 |     9247     7703    561 | 32.052 % |
53.98/54.09	c ===============================================================================
53.98/54.09	c New solution: 50895
53.98/54.09	o 50895
53.98/54.09	c Elapsed CPU time: 53.7408 s	Remaining CPU time: 126.259 s
53.98/54.09	c ===============================================================================
53.98/54.09	c |      7707 |    3941    27742   465035 |     9247     7705    561 | 32.052 % |
54.28/54.33	c ===============================================================================
54.28/54.33	c New solution: 49365
54.28/54.33	o 49365
54.28/54.33	c Elapsed CPU time: 53.9818 s	Remaining CPU time: 126.018 s
54.28/54.33	c ===============================================================================
54.28/54.33	c |      7710 |    3941    27743   467080 |     9247     7708    561 | 32.052 % |
54.48/54.55	c ===============================================================================
54.48/54.55	c New solution: 49364
54.48/54.55	o 49364
54.48/54.55	c Elapsed CPU time: 54.1928 s	Remaining CPU time: 125.807 s
54.48/54.55	c ===============================================================================
54.48/54.55	c |      7712 |    3941    27744   469125 |     9248     7710    561 | 32.052 % |
54.68/54.78	c ===============================================================================
54.68/54.78	c New solution: 49274
54.68/54.78	o 49274
54.68/54.78	c Elapsed CPU time: 54.4257 s	Remaining CPU time: 125.574 s
54.68/54.78	c ===============================================================================
54.68/54.78	c |      7717 |    3941    27745   471170 |     9248     7715    561 | 32.052 % |
54.88/54.96	c ===============================================================================
54.88/54.96	c New solution: 49273
54.88/54.96	o 49273
54.88/54.96	c Elapsed CPU time: 54.6027 s	Remaining CPU time: 125.397 s
54.88/54.96	c ===============================================================================
54.88/54.96	c |      7720 |    3941    27746   473215 |     9248     7718    561 | 32.052 % |
55.08/55.18	c ===============================================================================
55.08/55.18	c New solution: 49272
55.08/55.18	o 49272
55.08/55.18	c Elapsed CPU time: 54.8257 s	Remaining CPU time: 125.174 s
55.08/55.18	c ===============================================================================
55.08/55.18	c |      7722 |    3941    27747   475260 |     9249     7720    561 | 32.052 % |
55.47/55.50	c ===============================================================================
55.47/55.50	c New solution: 49271
55.47/55.50	o 49271
55.47/55.50	c Elapsed CPU time: 55.1416 s	Remaining CPU time: 124.858 s
55.47/55.50	c ===============================================================================
55.47/55.50	c |      7722 |    3941    27748   477305 |     9249     7720    561 | 32.052 % |
55.77/55.80	c ===============================================================================
55.77/55.80	c New solution: 49266
55.77/55.80	o 49266
55.77/55.80	c Elapsed CPU time: 55.4406 s	Remaining CPU time: 124.559 s
55.77/55.80	c ===============================================================================
55.77/55.80	c |      7723 |    3941    27749   479350 |     9249     7721    561 | 32.052 % |
56.09/56.11	c ===============================================================================
56.09/56.11	c New solution: 49265
56.09/56.11	o 49265
56.09/56.11	c Elapsed CPU time: 55.7525 s	Remaining CPU time: 124.247 s
56.09/56.11	c ===============================================================================
56.09/56.11	c |      7723 |    3941    27750   481395 |     9250     7721    561 | 32.052 % |
56.38/56.42	c ===============================================================================
56.38/56.42	c New solution: 49264
56.38/56.42	o 49264
56.38/56.42	c Elapsed CPU time: 56.0615 s	Remaining CPU time: 123.939 s
56.38/56.42	c ===============================================================================
56.38/56.42	c |      7723 |    3941    27751   483440 |     9250     7721    561 | 32.052 % |
56.68/56.73	c ===============================================================================
56.68/56.73	c New solution: 49263
56.68/56.73	o 49263
56.68/56.73	c Elapsed CPU time: 56.3704 s	Remaining CPU time: 123.63 s
56.68/56.73	c ===============================================================================
56.68/56.73	c |      7723 |    3941    27752   485485 |     9250     7721    561 | 32.052 % |
56.98/57.04	c ===============================================================================
56.98/57.04	c New solution: 49262
56.98/57.04	o 49262
56.98/57.04	c Elapsed CPU time: 56.6764 s	Remaining CPU time: 123.324 s
56.98/57.04	c ===============================================================================
56.98/57.04	c |      7723 |    3941    27753   487530 |     9251     7721    561 | 32.052 % |
57.28/57.37	c ===============================================================================
57.28/57.37	c New solution: 49261
57.28/57.37	o 49261
57.28/57.37	c Elapsed CPU time: 57.0003 s	Remaining CPU time: 123 s
57.28/57.37	c ===============================================================================
57.28/57.37	c |      7723 |    3941    27754   489575 |     9251     7721    561 | 32.052 % |
57.48/57.59	c ===============================================================================
57.48/57.59	c New solution: 47743
57.48/57.59	o 47743
57.48/57.59	c Elapsed CPU time: 57.2223 s	Remaining CPU time: 122.778 s
57.48/57.59	c ===============================================================================
57.48/57.59	c |      7729 |    3941    27755   491620 |     9251     7727    561 | 32.052 % |
57.68/57.76	c ===============================================================================
57.68/57.76	c New solution: 47650
57.68/57.76	o 47650
57.68/57.76	c Elapsed CPU time: 57.3933 s	Remaining CPU time: 122.607 s
57.68/57.76	c ===============================================================================
57.68/57.76	c |      7739 |    3941    27756   493665 |     9252     7737    561 | 32.052 % |
58.07/58.11	c ===============================================================================
58.07/58.11	c New solution: 47649
58.07/58.11	o 47649
58.07/58.11	c Elapsed CPU time: 57.7402 s	Remaining CPU time: 122.26 s
58.07/58.11	c ===============================================================================
58.07/58.11	c |      7739 |    3941    27757   495710 |     9252     7737    561 | 32.052 % |
58.37/58.45	c ===============================================================================
58.37/58.45	c New solution: 47648
58.37/58.45	o 47648
58.37/58.45	c Elapsed CPU time: 58.0852 s	Remaining CPU time: 121.915 s
58.37/58.45	c ===============================================================================
58.37/58.45	c |      7739 |    3941    27758   497755 |     9252     7737    561 | 32.052 % |
58.78/58.81	c ===============================================================================
58.78/58.81	c New solution: 47647
58.78/58.81	o 47647
58.78/58.81	c Elapsed CPU time: 58.4421 s	Remaining CPU time: 121.558 s
58.78/58.81	c ===============================================================================
58.78/58.81	c |      7739 |    3941    27759   499800 |     9253     7737    561 | 32.052 % |
59.08/59.17	c ===============================================================================
59.08/59.17	c New solution: 47646
59.08/59.17	o 47646
59.08/59.17	c Elapsed CPU time: 58.7941 s	Remaining CPU time: 121.206 s
59.08/59.17	c ===============================================================================
59.08/59.17	c |      7739 |    3941    27760   501845 |     9253     7737    561 | 32.052 % |
59.39/59.43	c ===============================================================================
59.39/59.43	c New solution: 46124
59.39/59.43	o 46124
59.39/59.43	c Elapsed CPU time: 59.06 s	Remaining CPU time: 120.94 s
59.39/59.43	c ===============================================================================
59.39/59.43	c |      7741 |    3941    27761   503890 |     9253     7739    561 | 32.052 % |
59.68/59.74	c ===============================================================================
59.68/59.74	c New solution: 46027
59.68/59.74	o 46027
59.68/59.74	c Elapsed CPU time: 59.367 s	Remaining CPU time: 120.633 s
59.68/59.74	c ===============================================================================
59.68/59.74	c |      7742 |    3941    27762   505935 |     9254     7740    561 | 32.052 % |
59.98/60.04	c ===============================================================================
59.98/60.04	c New solution: 46026
59.98/60.04	o 46026
59.98/60.04	c Elapsed CPU time: 59.6669 s	Remaining CPU time: 120.333 s
59.98/60.04	c ===============================================================================
59.98/60.04	c |      7742 |    3941    27763   507980 |     9254     7740    561 | 32.052 % |
60.28/60.30	c ===============================================================================
60.28/60.30	c New solution: 44501
60.28/60.30	o 44501
60.28/60.30	c Elapsed CPU time: 59.9229 s	Remaining CPU time: 120.077 s
60.28/60.30	c ===============================================================================
60.28/60.30	c |      7743 |    3941    27764   510025 |     9254     7741    561 | 32.052 % |
60.58/60.62	c ===============================================================================
60.58/60.62	c New solution: 44402
60.58/60.62	o 44402
60.58/60.62	c Elapsed CPU time: 60.2428 s	Remaining CPU time: 119.757 s
60.58/60.62	c ===============================================================================
60.58/60.62	c |      7744 |    3941    27765   512070 |     9255     7742    561 | 32.052 % |
60.88/60.94	c ===============================================================================
60.88/60.94	c New solution: 44401
60.88/60.94	o 44401
60.88/60.94	c Elapsed CPU time: 60.5678 s	Remaining CPU time: 119.432 s
60.88/60.94	c ===============================================================================
60.88/60.94	c |      7744 |    3941    27766   514115 |     9255     7742    561 | 32.052 % |
61.27/61.32	c ===============================================================================
61.27/61.32	c New solution: 44400
61.27/61.32	o 44400
61.27/61.32	c Elapsed CPU time: 60.9427 s	Remaining CPU time: 119.057 s
61.27/61.32	c ===============================================================================
61.27/61.32	c |      7745 |    3941    27767   516160 |     9255     7743    561 | 32.052 % |
61.67/61.71	c ===============================================================================
61.67/61.71	c New solution: 44399
61.67/61.71	o 44399
61.67/61.71	c Elapsed CPU time: 61.3337 s	Remaining CPU time: 118.666 s
61.67/61.71	c ===============================================================================
61.67/61.71	c |      7746 |    3941    27768   518205 |     9256     7744    561 | 32.052 % |
61.97/62.08	c ===============================================================================
61.97/62.08	c New solution: 44398
61.97/62.08	o 44398
61.97/62.08	c Elapsed CPU time: 61.7046 s	Remaining CPU time: 118.295 s
61.97/62.08	c ===============================================================================
61.97/62.08	c |      7746 |    3941    27769   520250 |     9256     7744    561 | 32.052 % |
62.47/62.51	c ===============================================================================
62.47/62.51	c New solution: 44397
62.47/62.51	o 44397
62.47/62.51	c Elapsed CPU time: 62.1306 s	Remaining CPU time: 117.869 s
62.47/62.51	c ===============================================================================
62.47/62.51	c |      7792 |    3941    27770   522295 |     9256     7790    561 | 32.052 % |
62.77/62.83	c ===============================================================================
62.77/62.83	c New solution: 42888
62.77/62.83	o 42888
62.77/62.83	c Elapsed CPU time: 62.4475 s	Remaining CPU time: 117.552 s
62.77/62.83	c ===============================================================================
62.77/62.83	c |      7801 |    3941    27771   524340 |     9257     7799    561 | 32.052 % |
63.17/63.24	c ===============================================================================
63.17/63.24	c New solution: 42792
63.17/63.24	o 42792
63.17/63.24	c Elapsed CPU time: 62.8634 s	Remaining CPU time: 117.137 s
63.17/63.24	c ===============================================================================
63.17/63.24	c |      7802 |    3941    27772   526385 |     9257     7800    561 | 32.052 % |
63.57/63.63	c ===============================================================================
63.57/63.63	c New solution: 42789
63.57/63.63	o 42789
63.57/63.63	c Elapsed CPU time: 63.2494 s	Remaining CPU time: 116.751 s
63.57/63.63	c ===============================================================================
63.57/63.63	c |      7803 |    3941    27773   528430 |     9257     7801    561 | 32.052 % |
64.07/64.12	c ===============================================================================
64.07/64.12	c New solution: 42786
64.07/64.12	o 42786
64.07/64.12	c Elapsed CPU time: 63.7373 s	Remaining CPU time: 116.263 s
64.07/64.12	c ===============================================================================
64.07/64.12	c |      7804 |    3941    27774   530475 |     9258     7802    561 | 32.052 % |
64.48/64.55	c ===============================================================================
64.48/64.55	c New solution: 42785
64.48/64.55	o 42785
64.48/64.55	c Elapsed CPU time: 64.1652 s	Remaining CPU time: 115.835 s
64.48/64.55	c ===============================================================================
64.48/64.55	c |      7804 |    3941    27775   532520 |     9258     7802    561 | 32.052 % |
64.89/64.98	c ===============================================================================
64.89/64.98	c New solution: 42784
64.89/64.98	o 42784
64.89/64.98	c Elapsed CPU time: 64.5942 s	Remaining CPU time: 115.406 s
64.89/64.98	c ===============================================================================
64.89/64.98	c |      7804 |    3941    27776   534565 |     9258     7802    561 | 32.052 % |
65.28/65.39	c ===============================================================================
65.28/65.39	c New solution: 42783
65.28/65.39	o 42783
65.28/65.39	c Elapsed CPU time: 65.0091 s	Remaining CPU time: 114.991 s
65.28/65.39	c ===============================================================================
65.28/65.39	c |      7804 |    3941    27777   536610 |     9259     7802    561 | 32.052 % |
65.78/65.81	c ===============================================================================
65.78/65.81	c New solution: 42782
65.78/65.81	o 42782
65.78/65.81	c Elapsed CPU time: 65.4221 s	Remaining CPU time: 114.578 s
65.78/65.81	c ===============================================================================
65.78/65.81	c |      7804 |    3941    27778   538655 |     9259     7802    561 | 32.052 % |
66.37/66.43	c ===============================================================================
66.37/66.43	c New solution: 42763
66.37/66.43	o 42763
66.37/66.43	c Elapsed CPU time: 66.045 s	Remaining CPU time: 113.955 s
66.37/66.43	c ===============================================================================
66.37/66.43	c |      7831 |    3941    27779   540700 |     9259     7829    560 | 32.052 % |
67.37/67.40	c |      7932 |    3941    27779   540700 |    10185     7930    561 | 32.052 % |
67.57/67.62	c ===============================================================================
67.57/67.62	c New solution: 42762
67.57/67.62	o 42762
67.57/67.62	c Elapsed CPU time: 67.2358 s	Remaining CPU time: 112.764 s
67.57/67.62	c ===============================================================================
67.57/67.62	c |      7935 |    3941    27780   542745 |     9260     7933    561 | 32.052 % |
68.08/68.12	c ===============================================================================
68.08/68.12	c New solution: 41259
68.08/68.12	o 41259
68.08/68.12	c Elapsed CPU time: 67.7327 s	Remaining CPU time: 112.267 s
68.08/68.12	c ===============================================================================
68.08/68.12	c |      7951 |    3941    27781   544790 |     9260     7949    561 | 32.052 % |
68.37/68.42	c ===============================================================================
68.37/68.42	c New solution: 41148
68.37/68.42	o 41148
68.37/68.42	c Elapsed CPU time: 68.0317 s	Remaining CPU time: 111.968 s
68.37/68.42	c ===============================================================================
68.37/68.42	c |      7955 |    3941    27782   546835 |     9260     7953    561 | 32.052 % |
68.87/68.93	c ===============================================================================
68.87/68.93	c New solution: 41147
68.87/68.93	o 41147
68.87/68.93	c Elapsed CPU time: 68.5416 s	Remaining CPU time: 111.458 s
68.87/68.93	c ===============================================================================
68.87/68.93	c |      7992 |    3941    27783   548880 |     9261     7990    560 | 32.052 % |
69.28/69.33	c ===============================================================================
69.28/69.33	c New solution: 41146
69.28/69.33	o 41146
69.28/69.33	c Elapsed CPU time: 68.9405 s	Remaining CPU time: 111.059 s
69.28/69.33	c ===============================================================================
69.28/69.33	c |      8014 |    3941    27784   550925 |     9261     8012    560 | 32.052 % |
69.57/69.68	c ===============================================================================
69.57/69.68	c New solution: 41145
69.57/69.68	o 41145
69.57/69.68	c Elapsed CPU time: 69.2845 s	Remaining CPU time: 110.716 s
69.57/69.68	c ===============================================================================
69.57/69.68	c |      8016 |    3941    27785   552970 |     9261     8014    560 | 32.052 % |
69.97/70.08	c ===============================================================================
69.97/70.08	c New solution: 41144
69.97/70.08	o 41144
69.97/70.08	c Elapsed CPU time: 69.6864 s	Remaining CPU time: 110.314 s
69.97/70.08	c ===============================================================================
69.97/70.08	c |      8020 |    3941    27786   555015 |     9262     8018    560 | 32.052 % |
70.39/70.43	c ===============================================================================
70.39/70.43	c New solution: 39632
70.39/70.43	o 39632
70.39/70.43	c Elapsed CPU time: 70.0324 s	Remaining CPU time: 109.968 s
70.39/70.43	c ===============================================================================
70.39/70.43	c |      8029 |    3941    27787   557060 |     9262     8027    560 | 32.052 % |
70.68/70.72	c ===============================================================================
70.68/70.72	c New solution: 39539
70.68/70.72	o 39539
70.68/70.72	c Elapsed CPU time: 70.3273 s	Remaining CPU time: 109.673 s
70.68/70.72	c ===============================================================================
70.68/70.72	c |      8033 |    3941    27788   559105 |     9262     8031    560 | 32.052 % |
70.98/71.04	c ===============================================================================
70.98/71.04	c New solution: 39536
70.98/71.04	o 39536
70.98/71.04	c Elapsed CPU time: 70.6443 s	Remaining CPU time: 109.356 s
70.98/71.04	c ===============================================================================
70.98/71.04	c |      8035 |    3941    27789   561150 |     9263     8033    560 | 32.052 % |
71.38/71.48	c ===============================================================================
71.38/71.48	c New solution: 39535
71.38/71.48	o 39535
71.38/71.48	c Elapsed CPU time: 71.0862 s	Remaining CPU time: 108.914 s
71.38/71.48	c ===============================================================================
71.38/71.48	c |      8035 |    3941    27790   563195 |     9263     8033    560 | 32.052 % |
71.88/71.94	c ===============================================================================
71.88/71.94	c New solution: 39534
71.88/71.94	o 39534
71.88/71.94	c Elapsed CPU time: 71.5381 s	Remaining CPU time: 108.462 s
71.88/71.94	c ===============================================================================
71.88/71.94	c |      8035 |    3941    27791   565240 |     9263     8033    560 | 32.052 % |
72.28/72.38	c ===============================================================================
72.28/72.38	c New solution: 39533
72.28/72.38	o 39533
72.28/72.38	c Elapsed CPU time: 71.9881 s	Remaining CPU time: 108.012 s
72.28/72.38	c ===============================================================================
72.28/72.38	c |      8035 |    3941    27792   567285 |     9264     8033    560 | 32.052 % |
72.77/72.84	c ===============================================================================
72.77/72.84	c New solution: 39532
72.77/72.84	o 39532
72.77/72.84	c Elapsed CPU time: 72.443 s	Remaining CPU time: 107.557 s
72.77/72.84	c ===============================================================================
72.77/72.84	c |      8035 |    3941    27793   569330 |     9264     8033    560 | 32.052 % |
73.68/73.75	c |      8135 |    3941    27793   569330 |    10190     8133    560 | 32.052 % |
74.17/74.24	c ===============================================================================
74.17/74.24	c New solution: 39531
74.17/74.24	o 39531
74.17/74.24	c Elapsed CPU time: 73.8358 s	Remaining CPU time: 106.164 s
74.17/74.24	c ===============================================================================
74.17/74.24	c |      8136 |    3941    27794   571375 |     9264     8134    560 | 32.052 % |
74.68/74.76	c ===============================================================================
74.68/74.76	c New solution: 39530
74.68/74.76	o 39530
74.68/74.76	c Elapsed CPU time: 74.3627 s	Remaining CPU time: 105.637 s
74.68/74.76	c ===============================================================================
74.68/74.76	c |      8138 |    3941    27795   573420 |     9265     8136    560 | 32.052 % |
74.97/75.09	c ===============================================================================
74.97/75.09	c New solution: 39525
74.97/75.09	o 39525
74.97/75.09	c Elapsed CPU time: 74.6836 s	Remaining CPU time: 105.316 s
74.97/75.09	c ===============================================================================
74.97/75.09	c |      8140 |    3941    27796   575465 |     9265     8138    560 | 32.052 % |
75.88/75.91	c |      8241 |    3941    27796   575465 |    10191     8239    561 | 32.052 % |
77.07/77.14	c |      8392 |    3941    27796   575465 |    11211     8390    561 | 32.052 % |
77.87/77.94	c ===============================================================================
77.87/77.94	c New solution: 39524
77.87/77.94	o 39524
77.87/77.94	c Elapsed CPU time: 77.5242 s	Remaining CPU time: 102.476 s
77.87/77.94	c ===============================================================================
77.87/77.94	c |      8414 |    3941    27797   577510 |     9265     8412    561 | 32.052 % |
78.17/78.24	c ===============================================================================
78.17/78.24	c New solution: 39523
78.17/78.24	o 39523
78.17/78.24	c Elapsed CPU time: 77.8282 s	Remaining CPU time: 102.172 s
78.17/78.24	c ===============================================================================
78.17/78.24	c |      8422 |    3941    27798   579555 |     9266     8420    561 | 32.052 % |
79.27/79.31	c |      8522 |    3941    27798   579555 |    10192     8520    561 | 32.052 % |
79.78/79.84	c ===============================================================================
79.78/79.84	c New solution: 39522
79.78/79.84	o 39522
79.78/79.84	c Elapsed CPU time: 79.4249 s	Remaining CPU time: 100.575 s
79.78/79.84	c ===============================================================================
79.78/79.84	c |      8528 |    3941    27799   581600 |     9266     8526    561 | 32.052 % |
80.37/80.48	c ===============================================================================
80.37/80.48	c New solution: 39509
80.37/80.48	o 39509
80.37/80.48	c Elapsed CPU time: 80.0588 s	Remaining CPU time: 99.9412 s
80.37/80.48	c ===============================================================================
80.37/80.48	c |      8530 |    3941    27800   583645 |     9266     8528    561 | 32.052 % |
81.47/81.50	c |      8630 |    3941    27800   583645 |    10193     8628    561 | 32.053 % |
82.07/82.18	c |      8780 |    3941    27800   583645 |    11212     8778    560 | 32.052 % |
82.48/82.51	c ===============================================================================
82.48/82.51	c New solution: 39508
82.48/82.51	o 39508
82.48/82.51	c Elapsed CPU time: 82.0935 s	Remaining CPU time: 97.9065 s
82.48/82.51	c ===============================================================================
82.48/82.51	c |      8784 |    3941    27801   585690 |     9267     8782    560 | 32.052 % |
82.97/83.04	c ===============================================================================
82.97/83.04	c New solution: 38010
82.97/83.04	o 38010
82.97/83.04	c Elapsed CPU time: 82.6184 s	Remaining CPU time: 97.3816 s
82.97/83.04	c ===============================================================================
82.97/83.04	c |      8793 |    3941    27802   587735 |     9267     8791    560 | 32.052 % |
83.48/83.58	c ===============================================================================
83.48/83.58	c New solution: 38009
83.48/83.58	o 38009
83.48/83.58	c Elapsed CPU time: 83.1584 s	Remaining CPU time: 96.8416 s
83.48/83.58	c ===============================================================================
83.48/83.58	c |      8797 |    3941    27803   589780 |     9267     8795    559 | 32.052 % |
83.97/84.05	c ===============================================================================
83.97/84.05	c New solution: 37996
83.97/84.05	o 37996
83.97/84.05	c Elapsed CPU time: 83.6293 s	Remaining CPU time: 96.3707 s
83.97/84.05	c ===============================================================================
83.97/84.05	c |      8797 |    3941    27804   591825 |     9268     8795    559 | 32.052 % |
84.47/84.54	c ===============================================================================
84.47/84.54	c New solution: 37995
84.47/84.54	o 37995
84.47/84.54	c Elapsed CPU time: 84.1142 s	Remaining CPU time: 95.8858 s
84.47/84.54	c ===============================================================================
84.47/84.54	c |      8797 |    3941    27805   593870 |     9268     8795    559 | 32.052 % |
84.97/85.01	c ===============================================================================
84.97/85.01	c New solution: 37994
84.97/85.01	o 37994
84.97/85.01	c Elapsed CPU time: 84.5851 s	Remaining CPU time: 95.4149 s
84.97/85.01	c ===============================================================================
84.97/85.01	c |      8797 |    3941    27806   595915 |     9268     8795    559 | 32.052 % |
85.47/85.50	c ===============================================================================
85.47/85.50	c New solution: 37993
85.47/85.50	o 37993
85.47/85.50	c Elapsed CPU time: 85.0781 s	Remaining CPU time: 94.9219 s
85.47/85.50	c ===============================================================================
85.47/85.50	c |      8798 |    3941    27807   597960 |     9269     8796    559 | 32.052 % |
85.87/85.98	c ===============================================================================
85.87/85.98	c New solution: 37900
85.87/85.98	o 37900
85.87/85.98	c Elapsed CPU time: 85.559 s	Remaining CPU time: 94.441 s
85.87/85.98	c ===============================================================================
85.87/85.98	c |      8799 |    3941    27808   600005 |     9269     8797    559 | 32.052 % |
86.47/86.50	c ===============================================================================
86.47/86.50	c New solution: 37899
86.47/86.50	o 37899
86.47/86.50	c Elapsed CPU time: 86.0739 s	Remaining CPU time: 93.9261 s
86.47/86.50	c ===============================================================================
86.47/86.50	c |      8805 |    3941    27809   602050 |     9269     8803    559 | 32.052 % |
86.77/86.88	c ===============================================================================
86.77/86.88	c New solution: 37896
86.77/86.88	o 37896
86.77/86.88	c Elapsed CPU time: 86.4539 s	Remaining CPU time: 93.5461 s
86.77/86.88	c ===============================================================================
86.77/86.88	c |      8805 |    3941    27810   604095 |     9270     8803    559 | 32.052 % |
87.07/87.19	c ===============================================================================
87.07/87.19	c New solution: 37888
87.07/87.19	o 37888
87.07/87.19	c Elapsed CPU time: 86.7618 s	Remaining CPU time: 93.2382 s
87.07/87.19	c ===============================================================================
87.07/87.19	c |      8806 |    3941    27811   606140 |     9270     8804    559 | 32.052 % |
87.57/87.69	c ===============================================================================
87.57/87.69	c New solution: 36377
87.57/87.69	o 36377
87.57/87.69	c Elapsed CPU time: 87.2667 s	Remaining CPU time: 92.7333 s
87.57/87.69	c ===============================================================================
87.57/87.69	c |      8819 |    3941    27812   608185 |     9270     8817    559 | 32.052 % |
88.17/88.21	c ===============================================================================
88.17/88.21	c New solution: 36279
88.17/88.21	o 36279
88.17/88.21	c Elapsed CPU time: 87.7867 s	Remaining CPU time: 92.2133 s
88.17/88.21	c ===============================================================================
88.17/88.21	c |      8819 |    3941    27813   610230 |     9271     8817    559 | 32.052 % |
88.47/88.53	c ===============================================================================
88.47/88.53	c New solution: 36270
88.47/88.53	o 36270
88.47/88.53	c Elapsed CPU time: 88.1086 s	Remaining CPU time: 91.8914 s
88.47/88.53	c ===============================================================================
88.47/88.53	c |      8820 |    3941    27814   612275 |     9271     8818    559 | 32.052 % |
88.77/88.87	c ===============================================================================
88.77/88.87	c New solution: 36269
88.77/88.87	o 36269
88.77/88.87	c Elapsed CPU time: 88.4396 s	Remaining CPU time: 91.5604 s
88.77/88.87	c ===============================================================================
88.77/88.87	c |      8824 |    3941    27815   614320 |     9271     8822    559 | 32.052 % |
89.87/89.95	c |      8924 |    3941    27815   614320 |    10198     8922    560 | 32.052 % |
91.18/91.30	c |      9076 |    3941    27815   614320 |    11218     9074    560 | 32.052 % |
91.67/91.75	c ===============================================================================
91.67/91.75	c New solution: 36263
91.67/91.75	o 36263
91.67/91.75	c Elapsed CPU time: 91.3231 s	Remaining CPU time: 88.6769 s
91.67/91.75	c ===============================================================================
91.67/91.75	c |      9079 |    3941    27816   616365 |     9272     9077    560 | 32.052 % |
92.17/92.29	c ===============================================================================
92.17/92.29	c New solution: 34775
92.17/92.29	o 34775
92.17/92.29	c Elapsed CPU time: 91.855 s	Remaining CPU time: 88.145 s
92.17/92.29	c ===============================================================================
92.17/92.29	c |      9089 |    3941    27817   618410 |     9272     9087    560 | 32.052 % |
92.67/92.75	c ===============================================================================
92.67/92.75	c New solution: 34674
92.67/92.75	o 34674
92.67/92.75	c Elapsed CPU time: 92.312 s	Remaining CPU time: 87.688 s
92.67/92.75	c ===============================================================================
92.67/92.75	c |      9110 |    3941    27818   620455 |     9272     9108    560 | 32.052 % |
93.07/93.15	c ===============================================================================
93.07/93.15	c New solution: 34664
93.07/93.15	o 34664
93.07/93.15	c Elapsed CPU time: 92.7179 s	Remaining CPU time: 87.2821 s
93.07/93.15	c ===============================================================================
93.07/93.15	c |      9115 |    3941    27819   622500 |     9273     9113    560 | 32.052 % |
93.47/93.56	c ===============================================================================
93.47/93.56	c New solution: 34661
93.47/93.56	o 34661
93.47/93.56	c Elapsed CPU time: 93.1218 s	Remaining CPU time: 86.8782 s
93.47/93.56	c ===============================================================================
93.47/93.56	c |      9117 |    3941    27820   624545 |     9273     9115    560 | 32.052 % |
93.96/94.02	c ===============================================================================
93.96/94.02	c New solution: 34639
93.96/94.02	o 34639
93.96/94.02	c Elapsed CPU time: 93.5788 s	Remaining CPU time: 86.4212 s
93.96/94.02	c ===============================================================================
93.96/94.02	c |      9127 |    3941    27821   626590 |     9273     9125    559 | 32.052 % |
94.86/94.96	c ===============================================================================
94.86/94.96	c New solution: 33135
94.86/94.96	o 33135
94.86/94.96	c Elapsed CPU time: 94.5256 s	Remaining CPU time: 85.4744 s
94.86/94.96	c ===============================================================================
94.86/94.96	c |      9178 |    3941    27822   628635 |     9274     9176    559 | 32.052 % |
95.86/95.97	c |      9279 |    3941    27822   628635 |    10201     9277    561 | 32.052 % |
96.47/96.53	c ===============================================================================
96.47/96.53	c New solution: 33037
96.47/96.53	o 33037
96.47/96.53	c Elapsed CPU time: 96.0884 s	Remaining CPU time: 83.9116 s
96.47/96.53	c ===============================================================================
96.47/96.53	c |      9282 |    3941    27823   630680 |     9274     9280    561 | 32.052 % |
96.97/97.03	c ===============================================================================
96.97/97.03	c New solution: 33035
96.97/97.03	o 33035
96.97/97.03	c Elapsed CPU time: 96.5903 s	Remaining CPU time: 83.4097 s
96.97/97.03	c ===============================================================================
96.97/97.03	c |      9284 |    3941    27824   632725 |     9274     9282    560 | 32.052 % |
97.37/97.45	c ===============================================================================
97.37/97.45	c New solution: 33030
97.37/97.45	o 33030
97.37/97.45	c Elapsed CPU time: 97.0033 s	Remaining CPU time: 82.9967 s
97.37/97.45	c ===============================================================================
97.37/97.45	c |      9286 |    3941    27825   634770 |     9275     9284    560 | 32.052 % |
97.88/97.99	c ===============================================================================
97.88/97.99	c New solution: 33029
97.88/97.99	o 33029
97.88/97.99	c Elapsed CPU time: 97.5482 s	Remaining CPU time: 82.4518 s
97.88/97.99	c ===============================================================================
97.88/97.99	c |      9287 |    3941    27826   636815 |     9275     9285    560 | 32.052 % |
98.37/98.44	c ===============================================================================
98.37/98.44	c New solution: 33028
98.37/98.44	o 33028
98.37/98.44	c Elapsed CPU time: 97.9981 s	Remaining CPU time: 82.0019 s
98.37/98.44	c ===============================================================================
98.37/98.44	c |      9292 |    3941    27827   638860 |     9275     9290    560 | 32.052 % |
98.87/98.95	c ===============================================================================
98.87/98.95	c New solution: 33027
98.87/98.95	o 33027
98.87/98.95	c Elapsed CPU time: 98.498 s	Remaining CPU time: 81.502 s
98.87/98.95	c ===============================================================================
98.87/98.95	c |      9293 |    3941    27828   640905 |     9276     9291    560 | 32.052 % |
99.26/99.30	c ===============================================================================
99.26/99.30	c New solution: 33026
99.26/99.30	o 33026
99.26/99.30	c Elapsed CPU time: 98.853 s	Remaining CPU time: 81.147 s
99.26/99.30	c ===============================================================================
99.26/99.30	c |      9297 |    3941    27829   642950 |     9276     9295    560 | 32.052 % |
99.86/99.90	c ===============================================================================
99.86/99.90	c New solution: 33025
99.86/99.90	o 33025
99.86/99.90	c Elapsed CPU time: 99.4559 s	Remaining CPU time: 80.5441 s
99.86/99.90	c ===============================================================================
99.86/99.90	c |      9313 |    3941    27830   644995 |     9276     9311    560 | 32.052 % |
101.08/101.19	c |      9413 |    3941    27830   644995 |    10204     9411    561 | 32.052 % |
101.47/101.55	c ===============================================================================
101.47/101.55	c New solution: 33024
101.47/101.55	o 33024
101.47/101.55	c Elapsed CPU time: 101.099 s	Remaining CPU time: 78.9014 s
101.47/101.55	c ===============================================================================
101.47/101.55	c |      9414 |    3941    27831   647040 |     9277     9412    561 | 32.052 % |
101.87/101.96	c ===============================================================================
101.87/101.96	c New solution: 33023
101.87/101.96	o 33023
101.87/101.96	c Elapsed CPU time: 101.507 s	Remaining CPU time: 78.4934 s
101.87/101.96	c ===============================================================================
101.87/101.96	c |      9422 |    3941    27832   649085 |     9277     9420    561 | 32.052 % |
102.87/102.90	c ===============================================================================
102.87/102.90	c New solution: 31529
102.87/102.90	o 31529
102.87/102.90	c Elapsed CPU time: 102.448 s	Remaining CPU time: 77.5516 s
102.87/102.90	c ===============================================================================
102.87/102.90	c |      9437 |    3941    27833   651130 |     9277     9435    561 | 32.052 % |
103.27/103.31	c ===============================================================================
103.27/103.31	c New solution: 31419
103.27/103.31	o 31419
103.27/103.31	c Elapsed CPU time: 102.854 s	Remaining CPU time: 77.1456 s
103.27/103.31	c ===============================================================================
103.27/103.31	c |      9438 |    3941    27834   653175 |     9278     9436    561 | 32.052 % |
103.66/103.74	c ===============================================================================
103.66/103.74	c New solution: 31418
103.66/103.75	o 31418
103.66/103.75	c Elapsed CPU time: 103.285 s	Remaining CPU time: 76.7147 s
103.66/103.75	c ===============================================================================
103.66/103.75	c |      9449 |    3941    27835   655220 |     9278     9447    560 | 32.052 % |
104.57/104.68	c |      9549 |    3941    27835   655220 |    10206     9547    561 | 32.052 % |
104.97/105.09	c ===============================================================================
104.97/105.09	c New solution: 31417
104.97/105.09	o 31417
104.97/105.09	c Elapsed CPU time: 104.627 s	Remaining CPU time: 75.3729 s
104.97/105.09	c ===============================================================================
104.97/105.09	c |      9552 |    3941    27836   657265 |     9278     9550    561 | 32.052 % |
105.36/105.47	c ===============================================================================
105.36/105.47	c New solution: 31416
105.36/105.47	o 31416
105.36/105.47	c Elapsed CPU time: 105.001 s	Remaining CPU time: 74.999 s
105.36/105.47	c ===============================================================================
105.36/105.47	c |      9560 |    3941    27837   659310 |     9279     9558    561 | 32.052 % |
106.16/106.29	c ===============================================================================
106.16/106.29	c New solution: 31415
106.16/106.29	o 31415
106.16/106.29	c Elapsed CPU time: 105.822 s	Remaining CPU time: 74.1781 s
106.16/106.29	c ===============================================================================
106.16/106.29	c |      9632 |    3941    27838   661355 |     9279     9630    561 | 32.052 % |
107.67/107.75	c |      9732 |    3941    27838   661355 |    10207     9730    561 | 32.052 % |
108.06/108.11	c ===============================================================================
108.06/108.11	c New solution: 31414
108.06/108.11	o 31414
108.06/108.11	c Elapsed CPU time: 107.641 s	Remaining CPU time: 72.3594 s
108.06/108.11	c ===============================================================================
108.06/108.11	c |      9734 |    3941    27839   663400 |     9279     9732    561 | 32.052 % |
108.87/108.93	c ===============================================================================
108.87/108.93	c New solution: 29917
108.87/108.93	o 29917
108.87/108.93	c Elapsed CPU time: 108.456 s	Remaining CPU time: 71.5445 s
108.87/108.93	c ===============================================================================
108.87/108.93	c |      9749 |    3941    27840   665445 |     9280     9747    561 | 32.052 % |
109.27/109.35	c ===============================================================================
109.27/109.35	c New solution: 29809
109.27/109.35	o 29809
109.27/109.35	c Elapsed CPU time: 108.876 s	Remaining CPU time: 71.1236 s
109.27/109.35	c ===============================================================================
109.27/109.35	c |      9753 |    3941    27841   667490 |     9280     9751    561 | 32.052 % |
109.67/109.76	c ===============================================================================
109.67/109.76	c New solution: 29804
109.67/109.76	o 29804
109.67/109.76	c Elapsed CPU time: 109.284 s	Remaining CPU time: 70.7156 s
109.67/109.76	c ===============================================================================
109.67/109.76	c |      9755 |    3941    27842   669535 |     9280     9753    561 | 32.052 % |
110.06/110.16	c ===============================================================================
110.06/110.16	c New solution: 29797
110.06/110.16	o 29797
110.06/110.16	c Elapsed CPU time: 109.676 s	Remaining CPU time: 70.3237 s
110.06/110.16	c ===============================================================================
110.06/110.16	c |      9755 |    3941    27843   671580 |     9281     9753    561 | 32.052 % |
110.46/110.56	c ===============================================================================
110.46/110.56	c New solution: 29796
110.46/110.56	o 29796
110.46/110.56	c Elapsed CPU time: 110.079 s	Remaining CPU time: 69.9207 s
110.46/110.56	c ===============================================================================
110.46/110.56	c |      9756 |    3941    27844   673625 |     9281     9754    561 | 32.052 % |
111.56/111.63	c |      9858 |    3941    27844   673625 |    10209     9856    561 | 32.052 % |
111.96/112.04	c ===============================================================================
111.96/112.04	c New solution: 29795
111.96/112.04	o 29795
111.96/112.04	c Elapsed CPU time: 111.553 s	Remaining CPU time: 68.447 s
111.96/112.04	c ===============================================================================
111.96/112.04	c |      9862 |    3941    27845   675670 |     9281     9860    561 | 32.052 % |
112.87/112.98	c ===============================================================================
112.87/112.98	c New solution: 29794
112.87/112.98	o 29794
112.87/112.98	c Elapsed CPU time: 112.498 s	Remaining CPU time: 67.5021 s
112.87/112.98	c ===============================================================================
112.87/112.98	c |      9893 |    3941    27846   677715 |     9282     9891    561 | 32.052 % |
113.56/113.66	c ===============================================================================
113.56/113.66	c New solution: 29793
113.56/113.66	o 29793
113.56/113.66	c Elapsed CPU time: 113.169 s	Remaining CPU time: 66.8312 s
113.56/113.66	c ===============================================================================
113.56/113.66	c |      9925 |    3941    27847   679760 |     9282     9923    561 | 32.052 % |
114.76/114.85	c |     10025 |    3941    27847   679760 |    10210    10023    561 | 32.052 % |
115.47/115.56	c ===============================================================================
115.47/115.56	c New solution: 29773
115.47/115.56	o 29773
115.47/115.56	c Elapsed CPU time: 115.072 s	Remaining CPU time: 64.9285 s
115.47/115.56	c ===============================================================================
115.47/115.56	c |     10026 |    3941    27848   681805 |     9282    10024    561 | 32.052 % |
115.96/116.03	c ===============================================================================
115.96/116.03	c New solution: 29772
115.96/116.03	o 29772
115.96/116.03	c Elapsed CPU time: 115.542 s	Remaining CPU time: 64.4576 s
115.96/116.03	c ===============================================================================
115.96/116.03	c |     10033 |    3941    27849   683850 |     9283    10031    561 | 32.052 % |
116.96/117.06	c |     10133 |    3941    27849   683850 |    10211    10131    561 | 32.052 % |
117.46/117.54	c ===============================================================================
117.46/117.54	c New solution: 29771
117.46/117.54	o 29771
117.46/117.54	c Elapsed CPU time: 117.046 s	Remaining CPU time: 62.9538 s
117.46/117.54	c ===============================================================================
117.46/117.54	c |     10152 |    3941    27850   685895 |     9283    10150    561 | 32.052 % |
117.86/117.94	c ===============================================================================
117.86/117.94	c New solution: 29770
117.86/117.94	o 29770
117.86/117.94	c Elapsed CPU time: 117.45 s	Remaining CPU time: 62.5499 s
117.86/117.94	c ===============================================================================
117.86/117.94	c |     10153 |    3941    27851   687940 |     9283    10151    561 | 32.052 % |
118.36/118.44	c ===============================================================================
118.36/118.44	c New solution: 29769
118.36/118.44	o 29769
118.36/118.44	c Elapsed CPU time: 117.946 s	Remaining CPU time: 62.0539 s
118.36/118.44	c ===============================================================================
118.36/118.44	c |     10161 |    3941    27852   689985 |     9284    10159    561 | 32.052 % |
118.86/118.99	c ===============================================================================
118.86/118.99	c New solution: 29768
118.86/118.99	o 29768
118.86/118.99	c Elapsed CPU time: 118.5 s	Remaining CPU time: 61.5 s
118.86/118.99	c ===============================================================================
118.86/118.99	c |     10177 |    3941    27853   692030 |     9284    10175    561 | 32.052 % |
119.36/119.47	c ===============================================================================
119.36/119.47	c New solution: 29767
119.36/119.47	o 29767
119.36/119.47	c Elapsed CPU time: 118.976 s	Remaining CPU time: 61.0241 s
119.36/119.47	c ===============================================================================
119.36/119.47	c |     10180 |    3941    27854   694075 |     9284    10178    561 | 32.052 % |
120.47/120.53	c |     10280 |    3941    27854   694075 |    10213    10278    561 | 32.052 % |
122.96/123.09	c |     10430 |    3941    27854   694075 |    11234    10428    562 | 32.052 % |
123.36/123.46	c ===============================================================================
123.36/123.46	c New solution: 29766
123.36/123.46	o 29766
123.36/123.46	c Elapsed CPU time: 122.965 s	Remaining CPU time: 57.0347 s
123.36/123.46	c ===============================================================================
123.36/123.46	c |     10431 |    3941    27855   696120 |     9285    10429    562 | 32.052 % |
123.96/124.02	c ===============================================================================
123.96/124.02	c New solution: 28282
123.96/124.02	o 28282
123.96/124.02	c Elapsed CPU time: 123.515 s	Remaining CPU time: 56.4848 s
123.96/124.02	c ===============================================================================
123.96/124.02	c |     10444 |    3941    27856   698165 |     9285    10442    562 | 32.052 % |
124.36/124.45	c ===============================================================================
124.36/124.45	c New solution: 28145
124.36/124.45	o 28145
124.36/124.45	c Elapsed CPU time: 123.95 s	Remaining CPU time: 56.0498 s
124.36/124.45	c ===============================================================================
124.36/124.45	c |     10456 |    3941    27857   700210 |     9285    10454    561 | 32.052 % |
124.76/124.83	c ===============================================================================
124.76/124.83	c New solution: 28144
124.76/124.83	o 28144
124.76/124.83	c Elapsed CPU time: 124.329 s	Remaining CPU time: 55.6709 s
124.76/124.83	c ===============================================================================
124.76/124.83	c |     10456 |    3941    27858   702255 |     9286    10454    561 | 32.052 % |
125.86/125.91	c |     10557 |    3941    27858   702255 |    10214    10555    562 | 32.052 % |
126.26/126.37	c ===============================================================================
126.26/126.37	c New solution: 28143
126.26/126.37	o 28143
126.26/126.37	c Elapsed CPU time: 125.862 s	Remaining CPU time: 54.1381 s
126.26/126.37	c ===============================================================================
126.26/126.37	c |     10561 |    3941    27859   704300 |     9286    10559    562 | 32.052 % |
126.66/126.72	c ===============================================================================
126.66/126.72	c New solution: 28142
126.66/126.72	o 28142
126.66/126.72	c Elapsed CPU time: 126.22 s	Remaining CPU time: 53.7802 s
126.66/126.72	c ===============================================================================
126.66/126.72	c |     10562 |    3941    27860   706345 |     9286    10560    562 | 32.052 % |
127.56/127.68	c ===============================================================================
127.56/127.68	c New solution: 26650
127.56/127.68	o 26650
127.56/127.68	c Elapsed CPU time: 127.177 s	Remaining CPU time: 52.8233 s
127.56/127.68	c ===============================================================================
127.56/127.68	c |     10606 |    3941    27861   708390 |     9287    10604    561 | 32.052 % |
128.06/128.15	c ===============================================================================
128.06/128.15	c New solution: 26554
128.06/128.15	o 26554
128.06/128.15	c Elapsed CPU time: 127.645 s	Remaining CPU time: 52.3554 s
128.06/128.15	c ===============================================================================
128.06/128.15	c |     10610 |    3941    27862   710435 |     9287    10608    561 | 32.052 % |
128.56/128.63	c ===============================================================================
128.56/128.63	c New solution: 26553
128.56/128.63	o 26553
128.56/128.63	c Elapsed CPU time: 128.12 s	Remaining CPU time: 51.8805 s
128.56/128.63	c ===============================================================================
128.56/128.63	c |     10610 |    3941    27863   712480 |     9287    10608    561 | 32.052 % |
128.96/129.06	c ===============================================================================
128.96/129.06	c New solution: 26552
128.96/129.06	o 26552
128.96/129.06	c Elapsed CPU time: 128.552 s	Remaining CPU time: 51.4475 s
128.96/129.06	c ===============================================================================
128.96/129.06	c |     10613 |    3941    27864   714525 |     9288    10611    561 | 32.052 % |
129.36/129.48	c ===============================================================================
129.36/129.48	c New solution: 26551
129.36/129.48	o 26551
129.36/129.48	c Elapsed CPU time: 128.968 s	Remaining CPU time: 51.0316 s
129.36/129.48	c ===============================================================================
129.36/129.48	c |     10619 |    3941    27865   716570 |     9288    10617    561 | 32.052 % |
130.36/130.45	c ===============================================================================
130.36/130.45	c New solution: 26550
130.36/130.45	o 26550
130.36/130.45	c Elapsed CPU time: 129.936 s	Remaining CPU time: 50.0638 s
130.36/130.45	c ===============================================================================
130.36/130.45	c |     10663 |    3941    27866   718615 |     9288    10661    561 | 32.052 % |
130.86/130.91	c ===============================================================================
130.86/130.91	c New solution: 26549
130.86/130.91	o 26549
130.86/130.91	c Elapsed CPU time: 130.393 s	Remaining CPU time: 49.6068 s
130.86/130.91	c ===============================================================================
130.86/130.91	c |     10664 |    3941    27867   720660 |     9289    10662    561 | 32.052 % |
131.86/131.97	c |     10765 |    3941    27867   720660 |    10217    10763    561 | 32.052 % |
132.36/132.48	c ===============================================================================
132.36/132.48	c New solution: 26535
132.36/132.48	o 26535
132.36/132.48	c Elapsed CPU time: 131.963 s	Remaining CPU time: 48.0371 s
132.36/132.48	c ===============================================================================
132.36/132.48	c |     10767 |    3941    27868   722705 |     9289    10765    561 | 32.052 % |
133.56/133.68	c ===============================================================================
133.56/133.68	c New solution: 26534
133.56/133.68	o 26534
133.56/133.68	c Elapsed CPU time: 133.163 s	Remaining CPU time: 46.8372 s
133.56/133.68	c ===============================================================================
133.56/133.68	c |     10854 |    3941    27869   724750 |     9289    10852    562 | 32.052 % |
134.07/134.13	c ===============================================================================
134.07/134.13	c New solution: 26533
134.07/134.13	o 26533
134.07/134.13	c Elapsed CPU time: 133.611 s	Remaining CPU time: 46.3893 s
134.07/134.13	c ===============================================================================
134.07/134.13	c |     10878 |    3941    27870   726795 |     9290    10876    562 | 32.052 % |
134.56/134.65	c ===============================================================================
134.56/134.65	c New solution: 26532
134.56/134.65	o 26532
134.56/134.65	c Elapsed CPU time: 134.125 s	Remaining CPU time: 45.8754 s
134.56/134.65	c ===============================================================================
134.56/134.65	c |     10881 |    3941    27871   728840 |     9290    10879    561 | 32.052 % |
135.86/135.93	c |     10981 |    3941    27871   728840 |    10219    10979    562 | 32.052 % |
137.26/137.37	c |     11132 |    3941    27871   728840 |    11241    11130    562 | 32.052 % |
137.86/137.91	c ===============================================================================
137.86/137.91	c New solution: 26531
137.86/137.91	o 26531
137.86/137.91	c Elapsed CPU time: 137.382 s	Remaining CPU time: 42.6179 s
137.86/137.91	c ===============================================================================
137.86/137.91	c |     11133 |    3941    27872   730885 |     9290    11131    562 | 32.052 % |
138.26/138.35	c ===============================================================================
138.26/138.35	c New solution: 26530
138.26/138.35	o 26530
138.26/138.35	c Elapsed CPU time: 137.817 s	Remaining CPU time: 42.183 s
138.26/138.35	c ===============================================================================
138.26/138.35	c |     11139 |    3941    27873   732930 |     9291    11137    562 | 32.052 % |
138.76/138.87	c ===============================================================================
138.76/138.87	c New solution: 26529
138.76/138.87	o 26529
138.76/138.87	c Elapsed CPU time: 138.342 s	Remaining CPU time: 41.658 s
138.76/138.87	c ===============================================================================
138.76/138.87	c |     11149 |    3941    27874   734975 |     9291    11147    561 | 32.052 % |
140.26/140.36	c ===============================================================================
140.26/140.36	c New solution: 26528
140.26/140.36	o 26528
140.26/140.36	c Elapsed CPU time: 139.824 s	Remaining CPU time: 40.1763 s
140.26/140.36	c ===============================================================================
140.26/140.36	c |     11210 |    3941    27875   737020 |     9291    11208    562 | 32.052 % |
141.35/141.43	c ===============================================================================
141.35/141.43	c New solution: 25040
141.35/141.43	o 25040
141.35/141.43	c Elapsed CPU time: 140.898 s	Remaining CPU time: 39.1024 s
141.35/141.43	c ===============================================================================
141.35/141.43	c |     11228 |    3941    27876   739065 |     9292     5622    536 | 32.052 % |
141.86/141.94	c ===============================================================================
141.86/141.94	c New solution: 24906
141.86/141.94	o 24906
141.86/141.94	c Elapsed CPU time: 141.4 s	Remaining CPU time: 38.6005 s
141.86/141.94	c ===============================================================================
141.86/141.94	c |     11232 |    3941    27877   741110 |     9292     5626    536 | 32.052 % |
142.25/142.35	c ===============================================================================
142.25/142.35	c New solution: 24905
142.25/142.35	o 24905
142.25/142.35	c Elapsed CPU time: 141.812 s	Remaining CPU time: 38.1876 s
142.25/142.35	c ===============================================================================
142.25/142.35	c |     11237 |    3941    27878   743155 |     9292     5631    536 | 32.052 % |
143.65/143.71	c |     11339 |    3941    27878   743155 |    10221     5733    537 | 32.052 % |
144.15/144.21	c ===============================================================================
144.15/144.21	c New solution: 24904
144.15/144.21	o 24904
144.15/144.21	c Elapsed CPU time: 143.672 s	Remaining CPU time: 36.3278 s
144.15/144.21	c ===============================================================================
144.15/144.21	c |     11350 |    3941    27879   745200 |     9293     5744    536 | 32.052 % |
144.65/144.77	c ===============================================================================
144.65/144.77	c New solution: 24903
144.65/144.77	o 24903
144.65/144.77	c Elapsed CPU time: 144.223 s	Remaining CPU time: 35.7769 s
144.65/144.77	c ===============================================================================
144.65/144.77	c |     11404 |    3941    27880   747245 |     9293     5798    536 | 32.052 % |
145.56/145.60	c ===============================================================================
145.56/145.60	c New solution: 23419
145.56/145.60	o 23419
145.56/145.60	c Elapsed CPU time: 145.059 s	Remaining CPU time: 34.9411 s
145.56/145.60	c ===============================================================================
145.56/145.60	c |     11421 |    3941    27881   749290 |     9293     5815    536 | 32.052 % |
146.05/146.13	c ===============================================================================
146.05/146.13	c New solution: 23327
146.05/146.13	o 23327
146.05/146.13	c Elapsed CPU time: 145.586 s	Remaining CPU time: 34.4141 s
146.05/146.13	c ===============================================================================
146.05/146.13	c |     11427 |    3941    27882   751335 |     9294     5821    535 | 32.052 % |
146.65/146.77	c ===============================================================================
146.65/146.77	c New solution: 23314
146.65/146.77	o 23314
146.65/146.77	c Elapsed CPU time: 146.22 s	Remaining CPU time: 33.7802 s
146.65/146.77	c ===============================================================================
146.65/146.77	c |     11434 |    3941    27883   753380 |     9294     5828    535 | 32.052 % |
147.15/147.27	c ===============================================================================
147.15/147.27	c New solution: 23313
147.15/147.27	o 23313
147.15/147.27	c Elapsed CPU time: 146.728 s	Remaining CPU time: 33.2723 s
147.15/147.27	c ===============================================================================
147.15/147.28	c |     11436 |    3941    27884   755425 |     9294     5830    535 | 32.052 % |
147.65/147.79	c ===============================================================================
147.65/147.79	c New solution: 23312
147.65/147.79	o 23312
147.65/147.79	c Elapsed CPU time: 147.244 s	Remaining CPU time: 32.7564 s
147.65/147.79	c ===============================================================================
147.65/147.79	c |     11437 |    3941    27885   757470 |     9295     5831    535 | 32.052 % |
148.15/148.28	c ===============================================================================
148.15/148.28	c New solution: 23308
148.15/148.28	o 23308
148.15/148.28	c Elapsed CPU time: 147.733 s	Remaining CPU time: 32.2675 s
148.15/148.28	c ===============================================================================
148.15/148.28	c |     11438 |    3941    27886   759515 |     9295     5832    535 | 32.052 % |
148.76/148.80	c ===============================================================================
148.76/148.80	c New solution: 23307
148.76/148.80	o 23307
148.76/148.80	c Elapsed CPU time: 148.251 s	Remaining CPU time: 31.7485 s
148.76/148.80	c ===============================================================================
148.76/148.80	c |     11442 |    3941    27887   761560 |     9295     5836    535 | 32.052 % |
149.26/149.32	c ===============================================================================
149.26/149.32	c New solution: 23306
149.26/149.32	o 23306
149.26/149.32	c Elapsed CPU time: 148.762 s	Remaining CPU time: 31.2376 s
149.26/149.32	c ===============================================================================
149.26/149.32	c |     11445 |    3941    27888   763605 |     9296     5839    535 | 32.052 % |
149.86/149.98	c ===============================================================================
149.86/149.98	c New solution: 23305
149.86/149.98	o 23305
149.86/149.98	c Elapsed CPU time: 149.421 s	Remaining CPU time: 30.5787 s
149.86/149.98	c ===============================================================================
149.86/149.98	c |     11451 |    3941    27889   765650 |     9296     5845    535 | 32.052 % |
150.36/150.49	c ===============================================================================
150.36/150.49	c New solution: 23304
150.36/150.49	o 23304
150.36/150.49	c Elapsed CPU time: 149.938 s	Remaining CPU time: 30.0618 s
150.36/150.49	c ===============================================================================
150.36/150.49	c |     11453 |    3941    27890   767695 |     9296     5847    535 | 32.052 % |
150.96/151.01	c ===============================================================================
150.96/151.01	c New solution: 23303
150.96/151.01	o 23303
150.96/151.01	c Elapsed CPU time: 150.456 s	Remaining CPU time: 29.5439 s
150.96/151.01	c ===============================================================================
150.96/151.01	c |     11455 |    3941    27891   769740 |     9297     5849    535 | 32.052 % |
152.25/152.38	c |     11555 |    3941    27891   769740 |    10226     5949    536 | 32.052 % |
152.76/152.89	c ===============================================================================
152.76/152.89	c New solution: 23302
152.76/152.89	o 23302
152.76/152.89	c Elapsed CPU time: 152.332 s	Remaining CPU time: 27.6682 s
152.76/152.89	c ===============================================================================
152.76/152.89	c |     11557 |    3941    27892   771785 |     9297     5951    536 | 32.052 % |
153.86/153.97	c ===============================================================================
153.86/153.97	c New solution: 23301
153.86/153.97	o 23301
153.86/153.97	c Elapsed CPU time: 153.41 s	Remaining CPU time: 26.5903 s
153.86/153.97	c ===============================================================================
153.86/153.97	c |     11613 |    3941    27893   773830 |     9297     6007    537 | 32.052 % |
154.96/155.09	c |     11714 |    3941    27893   773830 |    10227     6108    538 | 32.052 % |
156.06/156.15	c |     11864 |    3941    27893   773830 |    11250     6258    534 | 32.052 % |
157.26/157.33	c ===============================================================================
157.26/157.33	c New solution: 23300
157.26/157.33	o 23300
157.26/157.33	c Elapsed CPU time: 156.764 s	Remaining CPU time: 23.2358 s
157.26/157.33	c ===============================================================================
157.26/157.33	c |     11953 |    3941    27894   775875 |     9298     6347    535 | 32.052 % |
157.75/157.89	c ===============================================================================
157.75/157.89	c New solution: 21820
157.75/157.89	o 21820
157.75/157.89	c Elapsed CPU time: 157.314 s	Remaining CPU time: 22.6859 s
157.75/157.89	c ===============================================================================
157.75/157.89	c |     11964 |    3941    27895   777920 |     9298     6358    535 | 32.052 % |
158.65/158.70	c ===============================================================================
158.65/158.70	c New solution: 21792
158.65/158.70	o 21792
158.65/158.70	c Elapsed CPU time: 158.128 s	Remaining CPU time: 21.872 s
158.65/158.70	c ===============================================================================
158.65/158.70	c |     12015 |    3941    27896   779965 |     9298     6409    534 | 32.052 % |
159.15/159.24	c ===============================================================================
159.15/159.24	c New solution: 21791
159.15/159.25	o 21791
159.15/159.25	c Elapsed CPU time: 158.672 s	Remaining CPU time: 21.3281 s
159.15/159.25	c ===============================================================================
159.15/159.25	c |     12019 |    3941    27897   782010 |     9299     6413    534 | 32.052 % |
159.75/159.81	c ===============================================================================
159.75/159.81	c New solution: 21701
159.75/159.81	o 21701
159.75/159.81	c Elapsed CPU time: 159.235 s	Remaining CPU time: 20.7652 s
159.75/159.81	c ===============================================================================
159.75/159.81	c |     12021 |    3941    27898   784055 |     9299     6415    534 | 32.052 % |
160.35/160.45	c ===============================================================================
160.35/160.45	c New solution: 21698
160.35/160.45	o 21698
160.35/160.45	c Elapsed CPU time: 159.871 s	Remaining CPU time: 20.1293 s
160.35/160.45	c ===============================================================================
160.35/160.45	c |     12021 |    3941    27899   786100 |     9299     6415    534 | 32.052 % |
160.95/161.08	c ===============================================================================
160.95/161.08	c New solution: 21696
160.95/161.08	o 21696
160.95/161.08	c Elapsed CPU time: 160.497 s	Remaining CPU time: 19.5034 s
160.95/161.08	c ===============================================================================
160.95/161.08	c |     12021 |    3941    27900   788145 |     9300     6415    534 | 32.052 % |
161.75/161.85	c ===============================================================================
161.75/161.85	c New solution: 20204
161.75/161.85	o 20204
161.75/161.85	c Elapsed CPU time: 161.268 s	Remaining CPU time: 18.7315 s
161.75/161.85	c ===============================================================================
161.75/161.85	c |     12034 |    3941    27901   790190 |     9300     6428    534 | 32.052 % |
162.45/162.50	c ===============================================================================
162.45/162.50	c New solution: 20076
162.45/162.50	o 20076
162.45/162.50	c Elapsed CPU time: 161.922 s	Remaining CPU time: 18.0776 s
162.45/162.50	c ===============================================================================
162.45/162.50	c |     12050 |    3941    27902   792235 |     9300     6444    534 | 32.052 % |
163.25/163.39	c ===============================================================================
163.25/163.39	c New solution: 20075
163.25/163.39	o 20075
163.25/163.39	c Elapsed CPU time: 162.803 s	Remaining CPU time: 17.1968 s
163.25/163.39	c ===============================================================================
163.25/163.39	c |     12083 |    3941    27903   794280 |     9301     6477    534 | 32.052 % |
164.05/164.12	c ===============================================================================
164.05/164.12	c New solution: 20074
164.05/164.12	o 20074
164.05/164.12	c Elapsed CPU time: 163.536 s	Remaining CPU time: 16.4639 s
164.05/164.12	c ===============================================================================
164.05/164.12	c |     12086 |    3941    27904   796325 |     9301     6480    534 | 32.052 % |
164.65/164.76	c ===============================================================================
164.65/164.76	c New solution: 20073
164.65/164.76	o 20073
164.65/164.76	c Elapsed CPU time: 164.173 s	Remaining CPU time: 15.827 s
164.65/164.76	c ===============================================================================
164.65/164.76	c |     12086 |    3941    27905   798370 |     9301     6480    534 | 32.052 % |
165.74/165.88	c |     12186 |    3941    27905   798370 |    10231     6580    535 | 32.052 % |
166.55/166.65	c ===============================================================================
166.55/166.65	c New solution: 20072
166.55/166.65	o 20072
166.55/166.65	c Elapsed CPU time: 166.065 s	Remaining CPU time: 13.9352 s
166.55/166.65	c ===============================================================================
166.55/166.65	c |     12219 |    3941    27906   800415 |     9302     6613    535 | 32.052 % |
167.06/167.19	c ===============================================================================
167.06/167.19	c New solution: 20071
167.06/167.19	o 20071
167.06/167.19	c Elapsed CPU time: 166.598 s	Remaining CPU time: 13.4023 s
167.06/167.19	c ===============================================================================
167.06/167.19	c |     12225 |    3941    27907   802460 |     9302     6619    535 | 32.052 % |
167.65/167.72	c ===============================================================================
167.65/167.72	c New solution: 20070
167.65/167.72	o 20070
167.65/167.72	c Elapsed CPU time: 167.125 s	Remaining CPU time: 12.8754 s
167.65/167.72	c ===============================================================================
167.65/167.72	c |     12231 |    3941    27908   804505 |     9302     6625    535 | 32.052 % |
168.85/168.94	c |     12331 |    3941    27908   804505 |    10232     6725    536 | 32.052 % |
169.36/169.48	c ===============================================================================
169.36/169.48	c New solution: 20069
169.36/169.48	o 20069
169.36/169.48	c Elapsed CPU time: 168.89 s	Remaining CPU time: 11.1097 s
169.36/169.48	c ===============================================================================
169.36/169.48	c |     12332 |    3941    27909   806550 |     9303     6726    536 | 32.052 % |
170.05/170.19	c ===============================================================================
170.05/170.19	c New solution: 20068
170.05/170.19	o 20068
170.05/170.19	c Elapsed CPU time: 169.594 s	Remaining CPU time: 10.4058 s
170.05/170.19	c ===============================================================================
170.05/170.19	c |     12357 |    3941    27910   808595 |     9303     6751    536 | 32.052 % |
170.65/170.73	c ===============================================================================
170.65/170.73	c New solution: 20067
170.65/170.73	o 20067
170.65/170.73	c Elapsed CPU time: 170.137 s	Remaining CPU time: 9.86286 s
170.65/170.73	c ===============================================================================
170.65/170.73	c |     12358 |    3941    27911   810640 |     9303     6752    536 | 32.052 % |
171.24/171.30	c ===============================================================================
171.24/171.30	c New solution: 20066
171.24/171.30	o 20066
171.24/171.30	c Elapsed CPU time: 170.699 s	Remaining CPU time: 9.30095 s
171.24/171.30	c ===============================================================================
171.24/171.30	c |     12361 |    3941    27912   812685 |     9304     6755    536 | 32.052 % |
171.75/171.84	c ===============================================================================
171.75/171.84	c New solution: 20065
171.75/171.84	o 20065
171.75/171.84	c Elapsed CPU time: 171.24 s	Remaining CPU time: 8.76003 s
171.75/171.84	c ===============================================================================
171.75/171.84	c |     12369 |    3941    27913   814730 |     9304     6763    536 | 32.052 % |
172.25/172.35	c ===============================================================================
172.25/172.35	c New solution: 20064
172.25/172.35	o 20064
172.25/172.35	c Elapsed CPU time: 171.755 s	Remaining CPU time: 8.24511 s
172.25/172.35	c ===============================================================================
172.25/172.35	c |     12371 |    3941    27914   816775 |     9304     6765    536 | 32.052 % |
173.45/173.51	c |     12471 |    3941    27914   816775 |    10235     6865    536 | 32.052 % |
174.75/174.89	c ===============================================================================
174.75/174.89	c New solution: 20063
174.75/174.89	o 20063
174.75/174.89	c Elapsed CPU time: 174.28 s	Remaining CPU time: 5.72049 s
174.75/174.89	c ===============================================================================
174.75/174.89	c |     12557 |    3941    27915   818820 |     9305     6951    537 | 32.052 % |
175.05/175.13	c ===============================================================================
175.05/175.13	c New solution: 20062
175.05/175.13	o 20062
175.05/175.13	c Elapsed CPU time: 174.518 s	Remaining CPU time: 5.48153 s
175.05/175.13	c ===============================================================================
175.05/175.13	c |     12573 |    3941    27916   820865 |     9305     6967    537 | 32.052 % |
175.65/175.76	c ===============================================================================
175.65/175.76	c New solution: 20061
175.65/175.76	o 20061
175.65/175.76	c Elapsed CPU time: 175.152 s	Remaining CPU time: 4.84763 s
175.65/175.76	c ===============================================================================
175.65/175.76	c |     12574 |    3941    27917   822910 |     9305     6968    537 | 32.052 % |
176.15/176.22	c |     12674 |    3941    27917   822910 |    10236     7068    535 | 32.052 % |
178.16/178.22	c |     12824 |    3941    27917   822910 |    11259     7218    536 | 32.052 % |
179.16/179.22	c ===============================================================================
179.16/179.22	c New solution: 20060
179.16/179.22	o 20060
179.16/179.22	c Elapsed CPU time: 178.603 s	Remaining CPU time: 1.39715 s
179.16/179.22	c ===============================================================================
179.16/179.22	c |     12833 |    3941    27918   824955 |     9306     7227    536 | 32.052 % |
180.35/180.41	c ===============================================================================
180.35/180.41	c New solution: 20059
180.35/180.41	o 20059
180.35/180.41	c Elapsed CPU time: 179.794 s	Remaining CPU time: 0.206333 s
180.35/180.41	c ===============================================================================
180.35/180.41	c |     12895 |    3941    27919   827000 |     9306     7289    536 | 32.052 % |
180.55/180.70	c There are 1859 assigned variables. 326 in cost function.
183.05/183.16	c core #1
183.05/183.16	c core #2
183.05/183.16	c core #3
183.05/183.16	c core #4
183.05/183.16	c core #5
183.05/183.16	c core #6
183.05/183.16	c core #7
183.05/183.16	c core #8
183.05/183.16	c core #9
183.05/183.16	c core #10
183.05/183.16	c core #11
183.05/183.16	c core #12
183.05/183.16	c core #13
183.05/183.16	c core #14
183.05/183.16	c core #15
183.05/183.16	c core #16
183.05/183.16	c core #17
183.05/183.16	c core #18
183.05/183.16	c core #19
183.05/183.16	c core #20
183.05/183.16	c core #21
183.05/183.16	c core #22
183.05/183.16	c core #23
183.05/183.16	c core #24
183.05/183.16	c core #25
183.05/183.16	c core #26
183.05/183.16	c core #27
183.05/183.16	c core #28
183.05/183.16	c core #29
183.05/183.16	c core #30
183.05/183.16	c core #31
183.05/183.16	c core #32
183.05/183.16	c core #33
183.05/183.16	c core #34
183.05/183.16	c core #35
183.05/183.16	c core #36
183.05/183.16	c core #37
183.05/183.16	c core #38
183.05/183.16	c core #39
183.05/183.16	c core #40
183.05/183.16	c core #41
183.05/183.16	c ============================[ Search Statistics ]==============================
183.05/183.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.05/183.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.05/183.16	c ===============================================================================
183.05/183.16	c |         0 |     780    18331     8428 |     6110        0    nan |  0.000 % |
183.05/183.16	c ===============================================================================
183.05/183.18	c #cores: 41
183.05/183.18	c Final Weight: 1859
183.05/183.18	o 1859
183.05/183.18	s OPTIMUM FOUND
183.05/183.18	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 x4522 -x4523 -x4524 -x4525 x4526 x4527 -x4528 -x4529 x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 x4549 x4550 x4551 x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 x4588 x4589 x4590 -x4591 -x4592 x4593 x4594 -x4595 -x4596 -x4597 x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 x4605 x4606 x4607 x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 x4627 x4628 x4629 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 x4637 x4638 x4639 x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 x4728 x4729 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 x4789 x4790 -x4791 x4792 -x4793 x4794 x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 x4813 x4814 x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 x4831 x4832 x4833 -x4834 -x4835 x4836 x4837 x4838 -x4839 -x4840 -x4841 -x4842 x4843 x4844 x4845 x4846 x4847 -x4848 x4849 x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 x4861 x4862 -x4863 -x4864 -x4865 -x4866 x4867 -x4868 x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 x4883 x4884 -x4885 x4886 x4887 -x4888 -x4889 x4890 -x4891 x4892 -x4893 x4894 -x4895 -x4896 x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 x4937 -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 x4959 -x4960 x4961 -x4962 x4963 -x4964 x4965 -x4966 x4967 -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 x4978 -x4979 -x4980 x4981 x4982 -x4983 x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 x5021 -x5022 x5023 -x5024 -x5025 x5026 -x5027 x5028 -x5029 -x5030 x5031 -x5032 x5033 x5034 x5035 x5036 -x5037 -x5038 -x5039 -x5040 x5041 x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 x5114 x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 x5269 -x5270 -x5271 x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 x5310 x5311 -x5312 -x5313 -x5314 x5315 x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 x5335 -x5336 x5337 x5338 -x5339 -x5340 x5341 -x5342 x5343 x5344 -x5345 x5346 -x5347 -x5348 -x5349 x5350 -x5351 x5352 x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5361 x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 -x5373 x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 x5412 -x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 x5449 x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 -x5706 -x5707 x5708 x5709 -x5710 x5711 x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 x5799 x5800 -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 x53 -x54 x55 -x56 x57 x58 -x59 x60 -x61 x62 x63 -x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 x291 x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 x312 -x313 x314 -x315 -x316 x317 x318 -x319 -x320 -x321 x322 x323 -x324 -x325 x326 x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 x402 x403 x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 -x443 x444 x445 x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 x510 -x511 x512 x513 -x514 -x515 -x516 x517 -x518 -x519 x520 x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 x550 -x551 x552 -x553 -x554 x555 -x556 -x557 x558 -x559 x560 x561 -x562 -x563 x564 -x565 -x566 x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 x629 -x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 x646 -x647 x648 x649 -x650 x651 -x652 -x653 x654 -x655 x656 -x657 -x658 x659 -x660 -x661 -x662 x663 x664 x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 x729 -x730 x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 x809 x810 -x811 -x812 x813 x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 x828 -x829 -x830 x831 -x832 x833 -x834 x835 -x836 -x837 x838 x839 -x840 -x841 x842 -x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 x864 -x865 x866 x867 -x868 -x869 -x870 -x871 x872 -x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 x899 -x900 x901 -x902 x903 x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 x915 x916 -x917 -x918 x919 -x920 -x921 x922 x923 -x924 -x925 -x926 x927 x928 x929 x930 x931 -x932 x933 x934 -x935 x936 -x937 -x938 -x939 x940 -x941 x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 x964 -x965 x966 -x967 x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 x984 x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 x1040 x1041 -x1042 -x1043 x1044 -x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 x1200 x1201 x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 -x1307 -x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 x1326 -x1327 -x1328 x1329 x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x1360 x1361 -x1362 x1363 -x1364 x1365 x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 x1380 -x1381 x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 x1389 x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 x1404 x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 x1463 x1464 -x1465 x1466 -x1467 x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 x1539 -x1540 x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 x1554 -x1555 -x1556 x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 x1568 -x1569 -x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 x1595 x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 x1608 x1609 -x1610 x1611 -x1612 -x1613 -x1614 x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 -x1628 x1629 -x1630 -x1631 x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 x1656 -x1657 x1658 -x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 x1686 x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 x1754 x1755 -x1756 x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 x1786 -x1787 x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 x1820 -x1821 -x1822 x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 x1833 x1834 -x1835 x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 x1847 -x1848 -x1849 x1850 -x1851 -x1852 x1853 -x1854 x1855 -x1856 x1857 -x1858 x1859 x1860 -x1861 x1862 -x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 x1884 x1885 -x1886 -x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 x1927 -x1928 x1929 -x1930 -x1931 x1932 -x1933 x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 x1951 x1952 -x1953 -x1954 x1955 -x1956 -x1957 x1958 -x1959 x1960 -x1961 x1962 -x1963 x1964 x1965 -x1966 x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 x1992 x1993 -x1994 x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 x2011 x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 x2020 -x2021 x2022 -x2023 x2024 -x2025 x2026 -x2027 x2028 -x2029 x2030 x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 x2038 x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 x2047 -x2048 x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 x2068 x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 -x2096 x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 x2104 -x2105 x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 x2131 -x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 x2150 -x2151 x2152 x2154 -x2153 -x2155 -x2156 -x2157 -x2158 x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 x2210 x2211 -x2212 -x2213 x2214 x2215 x2216 x2217 x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 x2242 -x2243 x2244 -x2245 x2246 -x2247 x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 x2258 x2259 -x2260 x2261 x2262 -x2263 -x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 x2307 x2308 -x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 x2325 x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 x2334 -x2335 x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 x2343 -x2344 x2345 -x2346 x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 x2360 -x2361 -x2362 x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 x2379 x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 x2415 -x2416 -x2417 -x2418 x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 x2429 -x2430 x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 x2502 x2503 x2504 -x2505 -x2506 x2507 x2508 -x2509 -x2510 -x2511 -x2512 x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 x2524 -x2525 -x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 x2569 -x2570 -x2571 x2572 x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 x2602 x2603 -x2604 -x2605 -x2606 -x2607 x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 x2659 x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 x2668 x2669 -x2670 -x2671 -x2672 x2673 x2674 x2675 x2676 -x2677 -x2678 x2679 -x2680 x2681 -x2682 -x2683 x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 x2713 x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720 x2721 -x2722 x2723 x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 x2747 -x2748 -x2749 x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 x2795 -x2796 x2797 -x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 x2832 -x2833 x2834 -x2835 x2836 -x2837 x2838 x2839 x2840 -x2841 -x2842 x2843 -x2844 x2845 -x2846 x2847 -x2848 x2849 -x2850 x2851 x2852 -x2853 x2854 -x2855 -x2856 x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 x2868 -x2869 x2870 -x2871 -x2872 x2873 x2874 x2875 x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 x2917 x2918 -x2919 x2920 x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 x3061 x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 x3069 x3070 -x3071 -x3072 -x3073 x3074 x3075 x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
183.05/183.18	c Total CPU time: 182.493 s

Verifier Data 

OK	1859

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.07 1.03 1.09 2/106 31730
/proc/meminfo: memFree=1860184/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=3696 CPUtime=0
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 369 0 0 0 0 0 0 0 18 0 1 0 92247037 3784704 287 1992294400 134512640 135751879 4290039792 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 924 287 144 303 0 415 0

[startup+0.0243049 s]
/proc/loadavg: 1.07 1.03 1.09 2/106 31730
/proc/meminfo: memFree=1860184/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=4152 CPUtime=0.02
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 496 0 0 0 2 0 0 0 18 0 1 0 92247037 4251648 414 1992294400 134512640 135751879 4290039792 18446744073709551615 134557907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 1038 414 171 303 0 529 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4152

[startup+0.101313 s]
/proc/loadavg: 1.07 1.03 1.09 2/106 31730
/proc/meminfo: memFree=1860184/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=5328 CPUtime=0.09
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 901 0 0 0 9 0 0 0 21 0 1 0 92247037 5455872 819 1992294400 134512640 135751879 4290039792 18446744073709551615 134560587 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 1332 819 299 303 0 823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5328

[startup+0.301332 s]
/proc/loadavg: 1.07 1.03 1.09 2/106 31730
/proc/meminfo: memFree=1860184/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=6848 CPUtime=0.29
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 1534 0 0 0 29 0 0 0 21 0 1 0 92247037 7012352 1248 1992294400 134512640 135751879 4290039792 18446744073709551615 134580013 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 1712 1248 146 303 0 1407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6848

[startup+0.701371 s]
/proc/loadavg: 1.07 1.03 1.09 2/106 31730
/proc/meminfo: memFree=1860184/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=6980 CPUtime=0.69
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 1586 0 0 0 69 0 0 0 22 0 1 0 92247037 7147520 1300 1992294400 134512640 135751879 4290039792 18446744073709551615 134580095 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 1745 1300 146 303 0 1440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6980

[startup+1.50045 s]
/proc/loadavg: 1.07 1.03 1.09 2/107 31731
/proc/meminfo: memFree=1855464/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=7244 CPUtime=1.49
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 1632 0 0 0 149 0 0 0 25 0 1 0 92247037 7417856 1346 1992294400 134512640 135751879 4290039792 18446744073709551615 134584545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 1811 1346 146 303 0 1506 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7244

[startup+3.10061 s]
/proc/loadavg: 1.06 1.03 1.09 2/107 31731
/proc/meminfo: memFree=1852984/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=10180 CPUtime=3.09
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 2372 0 0 0 305 4 0 0 25 0 1 0 92247037 10424320 2086 1992294400 134512640 135751879 4290039792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 2545 2086 146 303 0 2240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10180

[startup+6.30092 s]
/proc/loadavg: 1.06 1.03 1.09 2/107 31731
/proc/meminfo: memFree=1852240/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=10180 CPUtime=6.29
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 2373 0 0 0 617 12 0 0 25 0 1 0 92247037 10424320 2087 1992294400 134512640 135751879 4290039792 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 2545 2087 147 303 0 2240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10180

[startup+12.7005 s]
/proc/loadavg: 1.05 1.03 1.09 2/107 31731
/proc/meminfo: memFree=1847536/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=15504 CPUtime=12.69
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 3693 0 0 0 1252 17 0 0 25 0 1 0 92247037 15876096 3407 1992294400 134512640 135751879 4290039792 18446744073709551615 134606631 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 3876 3407 147 303 0 3571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15504

[startup+25.5018 s]
/proc/loadavg: 1.04 1.03 1.09 2/107 31731
/proc/meminfo: memFree=1838980/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=23660 CPUtime=25.49
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 5746 0 0 0 2525 24 0 0 25 0 1 0 92247037 24227840 5460 1992294400 134512640 135751879 4290039792 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 5915 5460 147 303 0 5610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23660

[startup+51.1013 s]
/proc/loadavg: 1.03 1.02 1.09 2/107 31731
/proc/meminfo: memFree=1828564/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=33808 CPUtime=51.08
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 8282 0 0 0 5076 32 0 0 25 0 1 0 92247037 34619392 7996 1992294400 134512640 135751879 4290039792 18446744073709551615 134598893 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 8452 7996 147 303 0 8147 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33808

[startup+102.309 s]
/proc/loadavg: 1.01 1.02 1.08 2/107 31733
/proc/meminfo: memFree=1818272/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=43772 CPUtime=102.27
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 10773 0 0 0 10184 43 0 0 25 0 1 0 92247037 44822528 10487 1992294400 134512640 135751879 4290039792 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 10943 10487 147 303 0 10638 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43772

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1807484/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=54332 CPUtime=162.25
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 13425 0 0 0 16171 54 0 0 25 0 1 0 92247037 55635968 13139 1992294400 134512640 135751879 4290039792 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 13583 13139 148 303 0 13278 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54332

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

[startup+166.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1806864/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=54860 CPUtime=166.25
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 13557 0 0 0 16570 55 0 0 25 0 1 0 92247037 56176640 13271 1992294400 134512640 135751879 4290039792 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 13715 13271 148 303 0 13410 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 54860

[startup+172.708 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1805996/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=55772 CPUtime=172.66
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 13787 0 0 0 17210 56 0 0 25 0 1 0 92247037 57110528 13501 1992294400 134512640 135751879 4290039792 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 13943 13501 148 303 0 13638 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 55772

[startup+179.102 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1804880/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=56932 CPUtime=179.05
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 14060 0 0 0 17848 57 0 0 25 0 1 0 92247037 58298368 13774 1992294400 134512640 135751879 4290039792 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 14233 13774 148 303 0 13928 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 56932

[startup+180.702 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1804632/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=57196 CPUtime=180.65
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 14126 0 0 0 18008 57 0 0 25 0 1 0 92247037 58568704 13840 1992294400 134512640 135751879 4290039792 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 14299 13840 149 303 0 13994 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 57196

[startup+182.301 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1798184/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=98956 CPUtime=182.24
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 24722 0 0 0 18163 61 0 0 25 0 1 0 92247037 101330944 24306 1992294400 134512640 135751879 4290039792 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 24739 24306 151 303 0 24434 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 98956

[startup+182.701 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1754784/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=116876 CPUtime=182.65
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 29207 0 0 0 18202 63 0 0 25 0 1 0 92247037 119681024 28791 1992294400 134512640 135751879 4290039792 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 29219 28792 151 303 0 28914 0
Current children cumulated CPU time (s) 182.65
Current children cumulated vsize (KiB) 116876

[startup+183.101 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 31735
/proc/meminfo: memFree=1754784/2059040 swapFree=4139460/4192956
[pid=31730] ppid=31728 vsize=134796 CPUtime=183.05
/proc/31730/stat : 31730 (wbo1.4b) R 31728 31730 31134 0 -1 4202496 33683 0 0 0 18241 64 0 0 25 0 1 0 92247037 138031104 33267 1992294400 134512640 135751879 4290039792 18446744073709551615 135201781 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31730/statm: 33699 33267 151 303 0 33394 0
Current children cumulated CPU time (s) 183.05
Current children cumulated vsize (KiB) 134796

Child status: 0
Real time (s): 183.2
CPU time (s): 183.155
CPU user time (s): 182.493
CPU system time (s): 0.661899
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 134796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.493
system time used= 0.661899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34322
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= 111
involuntary context switches= 401

runsolver used 0.310952 second user time and 0.903862 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-26 01:46:01
IDJOB=2683421
IDBENCH=72111
IDSOLVER=1161
FILE ID=node056/2683421-1277509561
PBS_JOBID= 11190645
Free space on /tmp= 98380 MiB

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

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

MD5SUM BENCH= 3b140fe9f2cb3c59ddf55faba2e83116
RANDOM SEED=1848460650

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1860836 kB
Buffers:          5884 kB
Cached:         122292 kB
SwapCached:       6936 kB
Active:          52652 kB
Inactive:        89028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1860836 kB
SwapTotal:     4192956 kB
SwapFree:      4139460 kB
Dirty:            3660 kB
Writeback:           0 kB
AnonPages:       11408 kB
Mapped:          11888 kB
Slab:            34472 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181588 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-2683421-1277509561.opb

Free space on /tmp at the end= 98376 MiB
End job on node056 at 2010-06-26 01:49:04