Trace number 2656093

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.4bWrong Opt.-7607 180.519 180.575

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUMd0f46c7e79d3309033cc6b73ceacef6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7772
Best CPU time to get the best result obtained on this benchmark0.126979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7772
Optimality of the best value was proved YES
Number of variables60
Total number of constraints30
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint60
Maximum length of a constraint60
Number of terms in the objective function 60
Biggest coefficient in the objective function 974
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 9460
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 26162
Number of bits of the biggest sum of numbers15
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-2656093-1276354762.opb.
0.00/0.00	c Instance file HOME/instance-2656093-1276354762.opb
0.00/0.00	c File size is 15778 bytes.
0.00/0.00	c Highest Coefficient sum: 26162
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      60                                                  |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 30                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       30     1800 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 9460
0.00/0.00	o 9460
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       31     1860 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 9454
0.00/0.00	o 9454
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       32     1920 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 9393
0.00/0.00	o 9393
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       33     1980 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 8530
0.00/0.00	o 8530
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       34     2040 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 8524
0.00/0.00	o 8524
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       35     2100 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 8260
0.00/0.00	o 8260
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       36     2160 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7556
0.00/0.00	o 7556
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       37     2220 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7500
0.00/0.00	o 7500
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       38     2280 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6822
0.00/0.00	o 6822
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       39     2340 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6584
0.00/0.00	o 6584
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       40     2400 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6547
0.00/0.00	o 6547
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       41     2460 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6546
0.00/0.00	o 6546
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       42     2520 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6539
0.00/0.00	o 6539
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       43     2580 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6530
0.00/0.00	o 6530
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         1 |      60       44     2640 |     5000        1     51 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6514
0.00/0.00	o 6514
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         2 |      60       45     2700 |     5000        2     54 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6500
0.00/0.00	o 6500
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         3 |      60       46     2760 |     5000        3     54 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 6465
0.00/0.01	o 6465
0.00/0.01	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       47     2820 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6441
0.00/0.01	o 6441
0.00/0.01	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       48     2880 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6436
0.00/0.01	o 6436
0.00/0.01	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       49     2940 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6392
0.00/0.01	o 6392
0.00/0.01	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       50     3000 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6348
0.00/0.01	o 6348
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       51     3060 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6290
0.00/0.01	o 6290
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       52     3120 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6258
0.00/0.01	o 6258
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       53     3180 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6226
0.00/0.01	o 6226
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       54     3240 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6181
0.00/0.01	o 6181
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       55     3300 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6126
0.00/0.01	o 6126
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       56     3360 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6115
0.00/0.01	o 6115
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       57     3420 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6105
0.00/0.01	o 6105
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       58     3480 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6066
0.00/0.01	o 6066
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       59     3540 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 6038
0.00/0.01	o 6038
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       60     3600 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5890
0.00/0.01	o 5890
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       61     3660 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5865
0.00/0.01	o 5865
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       62     3720 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5807
0.00/0.01	o 5807
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       63     3780 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5805
0.00/0.01	o 5805
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       64     3840 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5790
0.00/0.01	o 5790
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       65     3900 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5787
0.00/0.01	o 5787
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       66     3960 |     5000        3     54 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 5734
0.00/0.01	o 5734
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      60       67     4020 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5721
0.00/0.02	o 5721
0.00/0.02	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       68     4080 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5166
0.00/0.02	o 5166
0.00/0.02	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       69     4140 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5163
0.00/0.02	o 5163
0.00/0.02	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       70     4200 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5132
0.00/0.02	o 5132
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       71     4260 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5118
0.00/0.02	o 5118
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       72     4320 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5085
0.00/0.02	o 5085
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       73     4380 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5073
0.00/0.02	o 5073
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       74     4440 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 5065
0.00/0.02	o 5065
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       75     4500 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4990
0.00/0.02	o 4990
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       76     4560 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4790
0.00/0.02	o 4790
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       77     4620 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4787
0.00/0.02	o 4787
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       78     4680 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4776
0.00/0.02	o 4776
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       79     4740 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4774
0.00/0.02	o 4774
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       80     4800 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4766
0.00/0.02	o 4766
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       81     4860 |     5000        3     54 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 4763
0.00/0.02	o 4763
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |      60       82     4920 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4739
0.00/0.03	o 4739
0.00/0.03	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       83     4980 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4705
0.00/0.03	o 4705
0.00/0.03	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       84     5040 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4658
0.00/0.03	o 4658
0.00/0.03	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       85     5100 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4648
0.00/0.03	o 4648
0.00/0.03	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       86     5160 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4645
0.00/0.03	o 4645
0.00/0.03	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       87     5220 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4643
0.00/0.03	o 4643
0.00/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       88     5280 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4596
0.00/0.03	o 4596
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       89     5340 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4574
0.00/0.03	o 4574
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       90     5400 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4568
0.00/0.03	o 4568
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       91     5460 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4560
0.00/0.03	o 4560
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       92     5520 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4482
0.00/0.03	o 4482
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       93     5580 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4419
0.00/0.03	o 4419
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       94     5640 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4367
0.00/0.03	o 4367
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       95     5700 |     5000        3     54 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 4354
0.00/0.03	o 4354
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |      60       96     5760 |     5000        3     54 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 4350
0.00/0.04	o 4350
0.00/0.04	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 179.966 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         7 |      60       97     5820 |     5000        7     51 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 4344
0.00/0.04	o 4344
0.00/0.04	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 179.966 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         7 |      60       98     5880 |     5000        7     51 |  0.000 % |
0.00/0.05	c |       107 |      60       98     5880 |     5500      107     37 |  0.028 % |
0.06/0.08	c |       259 |      60       98     5880 |     6050      259     39 |  0.028 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 4333
0.09/0.11	o 4333
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 179.891 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       419 |      60       99     5940 |     5000      419     39 |  0.028 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 4330
0.09/0.12	o 4330
0.09/0.12	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 179.889 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |       419 |      60      100     6000 |     5000      419     39 |  0.028 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 4327
0.09/0.12	o 4327
0.09/0.12	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 179.888 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |       419 |      60      101     6060 |     5000      419     39 |  0.028 % |
0.09/0.14	c |       519 |      60      101     6060 |     5500      519     38 |  0.028 % |
0.09/0.16	c |       669 |      60      101     6060 |     6050      669     38 |  0.028 % |
0.19/0.22	c |       895 |      60      101     6060 |     6655      895     38 |  0.028 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 4326
0.19/0.28	o 4326
0.19/0.28	c Elapsed CPU time: 0.274958 s	Remaining CPU time: 179.725 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |      1086 |      60      102     6120 |     5000     1086     39 |  0.028 % |
0.29/0.30	c |      1186 |      60      102     6120 |     5500     1186     39 |  0.028 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 4322
0.29/0.34	o 4322
0.29/0.34	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 179.671 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |      1300 |      60      103     6180 |     5000     1300     39 |  0.028 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 4316
0.29/0.35	o 4316
0.29/0.35	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 179.661 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |      1332 |      60      104     6240 |     5000     1332     40 |  0.028 % |
0.29/0.38	c |      1433 |      60      104     6240 |     5500     1433     40 |  0.028 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 4313
0.29/0.38	o 4313
0.29/0.38	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 179.627 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |      1434 |      60      105     6300 |     5000     1434     40 |  0.028 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 4310
0.29/0.38	o 4310
0.29/0.38	c Elapsed CPU time: 0.374943 s	Remaining CPU time: 179.625 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |      1435 |      60      106     6360 |     5000     1435     40 |  0.028 % |
0.39/0.40	c |      1535 |      60      106     6360 |     5500     1535     39 |  0.028 % |
0.39/0.43	c |      1685 |      60      106     6360 |     6050     1685     39 |  0.028 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 4309
0.39/0.48	o 4309
0.39/0.48	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 179.53 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |      1853 |      60      107     6420 |     5000     1853     39 |  0.028 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 4303
0.39/0.48	o 4303
0.39/0.48	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 179.528 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |      1853 |      60      108     6480 |     5000     1853     39 |  0.028 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 4302
0.39/0.48	o 4302
0.39/0.48	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 179.526 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |      1855 |      60      109     6540 |     5000     1855     39 |  0.028 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 4296
0.39/0.48	o 4296
0.39/0.48	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 179.524 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |      1855 |      60      110     6600 |     5000     1855     39 |  0.028 % |
0.49/0.51	c |      1956 |      60      110     6600 |     5500     1956     39 |  0.028 % |
0.49/0.56	c |      2107 |      60      110     6600 |     6050     2107     39 |  0.028 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: 4294
0.49/0.58	o 4294
0.49/0.58	c Elapsed CPU time: 0.573912 s	Remaining CPU time: 179.426 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |      2185 |      60      111     6660 |     5000     2185     39 |  0.028 % |
0.59/0.61	c |      2287 |      60      111     6660 |     5500     2287     39 |  0.028 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: 4292
0.59/0.64	o 4292
0.59/0.64	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 179.366 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |      2404 |      60      112     6720 |     5000     2404     39 |  0.028 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: 4289
0.59/0.65	o 4289
0.59/0.65	c Elapsed CPU time: 0.641902 s	Remaining CPU time: 179.358 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |      2419 |      60      113     6780 |     5000     2419     39 |  0.028 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 4288
0.59/0.67	o 4288
0.59/0.67	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 179.339 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      2481 |      60      114     6840 |     5000     2481     39 |  0.028 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 4287
0.59/0.67	o 4287
0.59/0.67	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 179.336 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      2484 |      60      115     6900 |     5000     2484     39 |  0.028 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 4281
0.59/0.68	o 4281
0.59/0.68	c Elapsed CPU time: 0.665898 s	Remaining CPU time: 179.334 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |      2486 |      60      116     6960 |     5000     2486     39 |  0.028 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 4280
0.59/0.68	o 4280
0.59/0.68	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 179.329 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |      2494 |      60      117     7020 |     5000     2494     39 |  0.028 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 4276
0.59/0.69	o 4276
0.59/0.69	c Elapsed CPU time: 0.676897 s	Remaining CPU time: 179.323 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |      2506 |      60      118     7080 |     5000     2506     40 |  0.028 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 4275
0.59/0.69	o 4275
0.59/0.69	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 179.32 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |      2508 |      60      119     7140 |     5000     2508     40 |  0.028 % |
0.69/0.73	c |      2613 |      60      119     7140 |     5500     2613     39 |  0.028 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 4269
0.69/0.75	o 4269
0.69/0.75	c Elapsed CPU time: 0.738887 s	Remaining CPU time: 179.261 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |      2685 |      60      120     7200 |     5000     2685     39 |  0.028 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: 4247
0.69/0.76	o 4247
0.69/0.76	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 179.246 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |      2722 |      60      121     7260 |     5000     2722     39 |  0.028 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: 4241
0.69/0.77	o 4241
0.69/0.77	c Elapsed CPU time: 0.754885 s	Remaining CPU time: 179.245 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |      2722 |      60      122     7320 |     5000     2722     39 |  0.028 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 4235
0.69/0.79	o 4235
0.69/0.79	c Elapsed CPU time: 0.775882 s	Remaining CPU time: 179.224 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |      2787 |      60      123     7380 |     5000     2787     40 |  0.028 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 4226
0.69/0.79	o 4226
0.69/0.79	c Elapsed CPU time: 0.779881 s	Remaining CPU time: 179.22 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |      2795 |      60      124     7440 |     5000     2795     40 |  0.028 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 4220
0.69/0.79	o 4220
0.69/0.79	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 179.217 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |      2798 |      60      125     7500 |     5000     2798     40 |  0.028 % |
0.79/0.83	c |      2898 |      60      125     7500 |     5500     2898     40 |  0.028 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: 4216
0.79/0.86	o 4216
0.79/0.86	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 179.15 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |      2991 |      60      126     7560 |     5000     2991     40 |  0.028 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: 4214
0.79/0.87	o 4214
0.79/0.87	c Elapsed CPU time: 0.858869 s	Remaining CPU time: 179.141 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |      3013 |      60      127     7620 |     5000     3013     40 |  0.028 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: 4209
0.79/0.88	o 4209
0.79/0.88	c Elapsed CPU time: 0.862868 s	Remaining CPU time: 179.137 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |      3020 |      60      128     7680 |     5000     3020     40 |  0.028 % |
0.89/0.91	c |      3120 |      60      128     7680 |     5500     3120     40 |  0.028 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 4205
0.89/0.92	o 4205
0.89/0.92	c Elapsed CPU time: 0.907861 s	Remaining CPU time: 179.092 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |      3136 |      60      129     7740 |     5000     3136     40 |  0.028 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 4199
0.89/0.92	o 4199
0.89/0.92	c Elapsed CPU time: 0.908861 s	Remaining CPU time: 179.091 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |      3136 |      60      130     7800 |     5000     3136     40 |  0.028 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: 4197
0.89/0.93	o 4197
0.89/0.93	c Elapsed CPU time: 0.91486 s	Remaining CPU time: 179.085 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |      3146 |      60      131     7860 |     5000     3146     40 |  0.028 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: 4193
0.89/0.93	o 4193
0.89/0.93	c Elapsed CPU time: 0.91686 s	Remaining CPU time: 179.083 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |      3146 |      60      132     7920 |     5000     3146     40 |  0.028 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: 4189
0.89/0.93	o 4189
0.89/0.93	c Elapsed CPU time: 0.92086 s	Remaining CPU time: 179.079 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |      3152 |      60      133     7980 |     5000     3152     40 |  0.028 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: 4186
0.89/0.94	o 4186
0.89/0.94	c Elapsed CPU time: 0.923859 s	Remaining CPU time: 179.076 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |      3156 |      60      134     8040 |     5000     3156     40 |  0.028 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: 4180
0.89/0.94	o 4180
0.89/0.94	c Elapsed CPU time: 0.925859 s	Remaining CPU time: 179.074 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |      3156 |      60      135     8100 |     5000     3156     40 |  0.028 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: 4172
0.89/0.95	o 4172
0.89/0.95	c Elapsed CPU time: 0.930858 s	Remaining CPU time: 179.069 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |      3167 |      60      136     8160 |     5000     3167     40 |  0.028 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: 4170
0.89/0.95	o 4170
0.89/0.95	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 179.061 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |      3182 |      60      137     8220 |     5000     3182     40 |  0.028 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: 4167
0.89/0.96	o 4167
0.89/0.96	c Elapsed CPU time: 0.944856 s	Remaining CPU time: 179.055 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |      3193 |      60      138     8280 |     5000     3193     40 |  0.028 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: 4164
0.89/0.96	o 4164
0.89/0.96	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 179.053 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |      3194 |      60      139     8340 |     5000     3194     40 |  0.028 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: 4158
0.89/0.96	o 4158
0.89/0.96	c Elapsed CPU time: 0.947855 s	Remaining CPU time: 179.052 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |      3194 |      60      140     8400 |     5000     3194     40 |  0.028 % |
0.89/1.00	c |      3295 |      60      140     8400 |     5500     3295     40 |  0.028 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: 4157
1.00/1.03	o 4157
1.00/1.03	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 178.989 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |      3371 |      60      141     8460 |     5000     3371     40 |  0.028 % |
1.00/1.05	c ===============================================================================
1.00/1.05	c New solution: 4154
1.00/1.05	o 4154
1.00/1.05	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 178.962 s
1.00/1.05	c ===============================================================================
1.00/1.05	c |      3444 |      60      142     8520 |     5000     3444     40 |  0.028 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: 4151
1.00/1.08	o 4151
1.00/1.08	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 178.94 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |      3498 |      60      143     8580 |     5000     3498     40 |  0.028 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: 4147
1.00/1.08	o 4147
1.00/1.08	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 178.935 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |      3501 |      60      144     8640 |     5000     3501     40 |  0.028 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: 4145
1.00/1.10	o 4145
1.00/1.10	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 178.92 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |      3525 |      60      145     8700 |     5000     3525     40 |  0.028 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: 4139
1.00/1.10	o 4139
1.00/1.10	c Elapsed CPU time: 1.08184 s	Remaining CPU time: 178.918 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |      3525 |      60      146     8760 |     5000     3525     40 |  0.028 % |
1.10/1.15	c ===============================================================================
1.10/1.15	c New solution: 4134
1.10/1.15	o 4134
1.10/1.15	c Elapsed CPU time: 1.13383 s	Remaining CPU time: 178.866 s
1.10/1.15	c ===============================================================================
1.10/1.15	c |      3623 |      60      147     8820 |     5000     3623     40 |  0.028 % |
1.10/1.15	c ===============================================================================
1.10/1.15	c New solution: 4128
1.10/1.15	o 4128
1.10/1.15	c Elapsed CPU time: 1.13683 s	Remaining CPU time: 178.863 s
1.10/1.15	c ===============================================================================
1.10/1.15	c |      3624 |      60      148     8880 |     5000     3624     40 |  0.028 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c New solution: 4126
1.10/1.16	o 4126
1.10/1.16	c Elapsed CPU time: 1.14083 s	Remaining CPU time: 178.859 s
1.10/1.16	c ===============================================================================
1.10/1.16	c |      3627 |      60      149     8940 |     5000     3627     40 |  0.028 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c New solution: 4117
1.10/1.16	o 4117
1.10/1.16	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 178.856 s
1.10/1.16	c ===============================================================================
1.10/1.16	c |      3628 |      60      150     9000 |     5000     3628     40 |  0.028 % |
1.19/1.20	c ===============================================================================
1.19/1.20	c New solution: 4114
1.19/1.20	o 4114
1.19/1.20	c Elapsed CPU time: 1.17982 s	Remaining CPU time: 178.82 s
1.19/1.20	c ===============================================================================
1.19/1.20	c |      3690 |      60      151     9060 |     5000     3690     40 |  0.028 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c New solution: 4112
1.19/1.21	o 4112
1.19/1.21	c Elapsed CPU time: 1.18882 s	Remaining CPU time: 178.811 s
1.19/1.21	c ===============================================================================
1.19/1.21	c |      3701 |      60      152     9120 |     5000     3701     40 |  0.028 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c New solution: 4111
1.19/1.21	o 4111
1.19/1.21	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 178.808 s
1.19/1.21	c ===============================================================================
1.19/1.21	c |      3702 |      60      153     9180 |     5000     3702     40 |  0.028 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c New solution: 4108
1.19/1.23	o 4108
1.19/1.23	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 178.783 s
1.19/1.23	c ===============================================================================
1.19/1.23	c |      3736 |      60      154     9240 |     5000     3736     40 |  0.028 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: 4107
1.19/1.24	o 4107
1.19/1.24	c Elapsed CPU time: 1.22481 s	Remaining CPU time: 178.775 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |      3746 |      60      155     9300 |     5000     3746     40 |  0.028 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c New solution: 4099
1.19/1.27	o 4099
1.19/1.27	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 178.746 s
1.19/1.27	c ===============================================================================
1.19/1.27	c |      3798 |      60      156     9360 |     5000     3798     40 |  0.028 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c New solution: 4097
1.19/1.28	o 4097
1.19/1.28	c Elapsed CPU time: 1.25881 s	Remaining CPU time: 178.741 s
1.19/1.28	c ===============================================================================
1.19/1.28	c |      3801 |      60      157     9420 |     5000     3801     40 |  0.028 % |
1.29/1.32	c ===============================================================================
1.29/1.32	c New solution: 4093
1.29/1.32	o 4093
1.29/1.32	c Elapsed CPU time: 1.2988 s	Remaining CPU time: 178.701 s
1.29/1.32	c ===============================================================================
1.29/1.32	c |      3866 |      60      158     9480 |     5000     3866     41 |  0.028 % |
1.29/1.33	c ===============================================================================
1.29/1.33	c New solution: 4091
1.29/1.33	o 4091
1.29/1.33	c Elapsed CPU time: 1.3138 s	Remaining CPU time: 178.686 s
1.29/1.33	c ===============================================================================
1.29/1.33	c |      3885 |      60      159     9540 |     5000     3885     41 |  0.028 % |
1.29/1.34	c ===============================================================================
1.29/1.34	c New solution: 4090
1.29/1.34	o 4090
1.29/1.34	c Elapsed CPU time: 1.3178 s	Remaining CPU time: 178.682 s
1.29/1.34	c ===============================================================================
1.29/1.34	c |      3889 |      60      160     9600 |     5000     3889     41 |  0.028 % |
1.29/1.34	c ===============================================================================
1.29/1.34	c New solution: 4089
1.29/1.34	o 4089
1.29/1.34	c Elapsed CPU time: 1.3248 s	Remaining CPU time: 178.675 s
1.29/1.34	c ===============================================================================
1.29/1.34	c |      3895 |      60      161     9660 |     5000     3895     41 |  0.028 % |
1.29/1.35	c ===============================================================================
1.29/1.35	c New solution: 4083
1.29/1.35	o 4083
1.29/1.35	c Elapsed CPU time: 1.3288 s	Remaining CPU time: 178.671 s
1.29/1.35	c ===============================================================================
1.29/1.35	c |      3897 |      60      162     9720 |     5000     3897     41 |  0.028 % |
1.29/1.35	c ===============================================================================
1.29/1.35	c New solution: 4080
1.29/1.35	o 4080
1.29/1.35	c Elapsed CPU time: 1.3318 s	Remaining CPU time: 178.668 s
1.29/1.35	c ===============================================================================
1.29/1.35	c |      3898 |      60      163     9780 |     5000     3898     41 |  0.028 % |
1.29/1.35	c ===============================================================================
1.29/1.35	c New solution: 4074
1.29/1.35	o 4074
1.29/1.35	c Elapsed CPU time: 1.3338 s	Remaining CPU time: 178.666 s
1.29/1.35	c ===============================================================================
1.29/1.35	c |      3898 |      60      164     9840 |     5000     3898     41 |  0.028 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: 4062
1.29/1.38	o 4062
1.29/1.38	c Elapsed CPU time: 1.36079 s	Remaining CPU time: 178.639 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |      3928 |      60      165     9900 |     5000     3928     41 |  0.028 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: 4056
1.29/1.38	o 4056
1.29/1.38	c Elapsed CPU time: 1.36279 s	Remaining CPU time: 178.637 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |      3928 |      60      166     9960 |     5000     3928     41 |  0.028 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: 4055
1.39/1.42	o 4055
1.39/1.42	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 178.597 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |      3995 |      60      167    10020 |     5000     3995     41 |  0.028 % |
1.39/1.47	c ===============================================================================
1.39/1.47	c New solution: 4053
1.39/1.47	o 4053
1.39/1.47	c Elapsed CPU time: 1.44978 s	Remaining CPU time: 178.55 s
1.39/1.47	c ===============================================================================
1.39/1.47	c |      4067 |      60      168    10080 |     5000     4067     41 |  0.028 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: 4052
1.39/1.49	o 4052
1.39/1.49	c Elapsed CPU time: 1.47677 s	Remaining CPU time: 178.523 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |      4101 |      60      169    10140 |     5000     4101     41 |  0.028 % |
1.49/1.51	c ===============================================================================
1.49/1.51	c New solution: 4051
1.49/1.51	o 4051
1.49/1.51	c Elapsed CPU time: 1.48877 s	Remaining CPU time: 178.511 s
1.49/1.51	c ===============================================================================
1.49/1.51	c |      4114 |      60      170    10200 |     5000     4114     41 |  0.028 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: 4050
1.49/1.53	o 4050
1.49/1.53	c Elapsed CPU time: 1.51177 s	Remaining CPU time: 178.488 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |      4150 |      60      171    10260 |     5000     4150     41 |  0.028 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: 4049
1.49/1.59	o 4049
1.49/1.59	c Elapsed CPU time: 1.57376 s	Remaining CPU time: 178.426 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |      4247 |      60      172    10320 |     5000     4247     41 |  0.028 % |
1.59/1.60	c ===============================================================================
1.59/1.60	c New solution: 4045
1.59/1.60	o 4045
1.59/1.60	c Elapsed CPU time: 1.58576 s	Remaining CPU time: 178.414 s
1.59/1.60	c ===============================================================================
1.59/1.60	c |      4264 |      60      173    10380 |     5000     4264     41 |  0.028 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c New solution: 4043
1.59/1.61	o 4043
1.59/1.61	c Elapsed CPU time: 1.58876 s	Remaining CPU time: 178.411 s
1.59/1.61	c ===============================================================================
1.59/1.61	c |      4264 |      60      174    10440 |     5000     4264     41 |  0.028 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c New solution: 4038
1.59/1.61	o 4038
1.59/1.61	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 178.406 s
1.59/1.61	c ===============================================================================
1.59/1.61	c |      4267 |      60      175    10500 |     5000     4267     41 |  0.028 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c New solution: 4037
1.59/1.61	o 4037
1.59/1.61	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 178.403 s
1.59/1.61	c ===============================================================================
1.59/1.61	c |      4268 |      60      176    10560 |     5000     4268     41 |  0.028 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: 4032
1.59/1.65	o 4032
1.59/1.65	c Elapsed CPU time: 1.62775 s	Remaining CPU time: 178.372 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |      4307 |      60      177    10620 |     5000     4307     41 |  0.028 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: 4030
1.59/1.65	o 4030
1.59/1.65	c Elapsed CPU time: 1.63275 s	Remaining CPU time: 178.367 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |      4311 |      60      178    10680 |     5000     4311     41 |  0.028 % |
1.59/1.66	c ===============================================================================
1.59/1.66	c New solution: 4029
1.59/1.66	o 4029
1.59/1.66	c Elapsed CPU time: 1.64375 s	Remaining CPU time: 178.356 s
1.59/1.66	c ===============================================================================
1.59/1.66	c |      4321 |      60      179    10740 |     5000     4321     41 |  0.028 % |
1.59/1.66	c ===============================================================================
1.59/1.66	c New solution: 4024
1.59/1.66	o 4024
1.59/1.66	c Elapsed CPU time: 1.64675 s	Remaining CPU time: 178.353 s
1.59/1.66	c ===============================================================================
1.59/1.66	c |      4321 |      60      180    10800 |     5000     4321     41 |  0.028 % |
1.59/1.67	c ===============================================================================
1.59/1.67	c New solution: 4020
1.59/1.67	o 4020
1.59/1.67	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 178.349 s
1.59/1.67	c ===============================================================================
1.59/1.67	c |      4324 |      60      181    10860 |     5000     4324     41 |  0.028 % |
1.69/1.72	c ===============================================================================
1.69/1.72	c New solution: 4019
1.69/1.72	o 4019
1.69/1.72	c Elapsed CPU time: 1.69974 s	Remaining CPU time: 178.3 s
1.69/1.72	c ===============================================================================
1.69/1.72	c |      4395 |      60      182    10920 |     5000     4395     41 |  0.028 % |
1.69/1.75	c ===============================================================================
1.69/1.75	c New solution: 4013
1.69/1.75	o 4013
1.69/1.75	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 178.268 s
1.69/1.75	c ===============================================================================
1.69/1.75	c |      4442 |      60      183    10980 |     5000     4442     41 |  0.028 % |
1.69/1.75	c ===============================================================================
1.69/1.75	c New solution: 4007
1.69/1.75	o 4007
1.69/1.75	c Elapsed CPU time: 1.73574 s	Remaining CPU time: 178.264 s
1.69/1.75	c ===============================================================================
1.69/1.75	c |      4443 |      60      184    11040 |     5000     4443     41 |  0.028 % |
1.79/1.82	c |      4543 |      60      184    11040 |     5500     4543     41 |  0.028 % |
1.79/1.86	c ===============================================================================
1.79/1.86	c New solution: 4006
1.79/1.86	o 4006
1.79/1.86	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 178.163 s
1.79/1.86	c ===============================================================================
1.79/1.86	c |      4605 |      60      185    11100 |     5000     4605     41 |  0.028 % |
1.79/1.89	c ===============================================================================
1.79/1.89	c New solution: 4003
1.79/1.89	o 4003
1.79/1.89	c Elapsed CPU time: 1.86672 s	Remaining CPU time: 178.133 s
1.79/1.89	c ===============================================================================
1.79/1.89	c |      4644 |      60      186    11160 |     5000     4644     41 |  0.028 % |
1.89/1.90	c ===============================================================================
1.89/1.90	c New solution: 3997
1.89/1.90	o 3997
1.89/1.90	c Elapsed CPU time: 1.88571 s	Remaining CPU time: 178.114 s
1.89/1.90	c ===============================================================================
1.89/1.90	c |      4668 |      60      187    11220 |     5000     4668     41 |  0.028 % |
1.89/1.91	c ===============================================================================
1.89/1.91	c New solution: 3996
1.89/1.91	o 3996
1.89/1.91	c Elapsed CPU time: 1.88971 s	Remaining CPU time: 178.11 s
1.89/1.91	c ===============================================================================
1.89/1.91	c |      4669 |      60      188    11280 |     5000     4669     41 |  0.028 % |
1.89/1.93	c ===============================================================================
1.89/1.93	c New solution: 3990
1.89/1.93	o 3990
1.89/1.93	c Elapsed CPU time: 1.90771 s	Remaining CPU time: 178.092 s
1.89/1.93	c ===============================================================================
1.89/1.93	c |      4690 |      60      189    11340 |     5000     4690     41 |  0.028 % |
1.99/2.00	c ===============================================================================
1.99/2.00	c New solution: 3984
1.99/2.00	o 3984
1.99/2.00	c Elapsed CPU time: 1.9817 s	Remaining CPU time: 178.018 s
1.99/2.00	c ===============================================================================
1.99/2.00	c |      4788 |      60      190    11400 |     5000     4788     41 |  0.028 % |
1.99/2.02	c ===============================================================================
1.99/2.02	c New solution: 3981
1.99/2.02	o 3981
1.99/2.02	c Elapsed CPU time: 2.0027 s	Remaining CPU time: 177.997 s
1.99/2.02	c ===============================================================================
1.99/2.02	c |      4809 |      60      191    11460 |     5000     4809     41 |  0.028 % |
1.99/2.04	c ===============================================================================
1.99/2.04	c New solution: 3978
1.99/2.04	o 3978
1.99/2.04	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 177.983 s
1.99/2.04	c ===============================================================================
1.99/2.04	c |      4820 |      60      192    11520 |     5000     4820     41 |  0.028 % |
1.99/2.07	c ===============================================================================
1.99/2.07	c New solution: 3977
1.99/2.07	o 3977
1.99/2.07	c Elapsed CPU time: 2.04769 s	Remaining CPU time: 177.952 s
1.99/2.07	c ===============================================================================
1.99/2.07	c |      4849 |      60      193    11580 |     5000     4849     41 |  0.028 % |
2.10/2.10	c ===============================================================================
2.10/2.10	c New solution: 3974
2.10/2.10	o 3974
2.10/2.10	c Elapsed CPU time: 2.08268 s	Remaining CPU time: 177.917 s
2.10/2.10	c ===============================================================================
2.10/2.10	c |      4892 |      60      194    11640 |     5000     4892     41 |  0.028 % |
2.10/2.14	c |      4993 |      60      194    11640 |     5500     4993     41 |  0.028 % |
2.20/2.21	c ===============================================================================
2.20/2.21	c New solution: 3973
2.20/2.21	o 3973
2.20/2.21	c Elapsed CPU time: 2.19567 s	Remaining CPU time: 177.804 s
2.20/2.21	c ===============================================================================
2.20/2.21	c |      5091 |      60      195    11700 |     5000     5091     41 |  0.028 % |
2.20/2.23	c ===============================================================================
2.20/2.23	c New solution: 3967
2.20/2.23	o 3967
2.20/2.23	c Elapsed CPU time: 2.20966 s	Remaining CPU time: 177.79 s
2.20/2.23	c ===============================================================================
2.20/2.23	c |      5095 |      60      196    11760 |     5000     2550     43 |  0.028 % |
2.20/2.23	c ===============================================================================
2.20/2.23	c New solution: 3960
2.20/2.23	o 3960
2.20/2.23	c Elapsed CPU time: 2.21266 s	Remaining CPU time: 177.787 s
2.20/2.23	c ===============================================================================
2.20/2.23	c |      5095 |      60      197    11820 |     5000     2550     43 |  0.028 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: 3959
2.20/2.25	o 3959
2.20/2.25	c Elapsed CPU time: 2.22566 s	Remaining CPU time: 177.774 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |      5103 |      60      198    11880 |     5000     2558     43 |  0.028 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: 3955
2.20/2.25	o 3955
2.20/2.25	c Elapsed CPU time: 2.23266 s	Remaining CPU time: 177.767 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |      5106 |      60      199    11940 |     5000     2561     43 |  0.028 % |
2.20/2.26	c ===============================================================================
2.20/2.26	c New solution: 3953
2.20/2.26	o 3953
2.20/2.26	c Elapsed CPU time: 2.23566 s	Remaining CPU time: 177.764 s
2.20/2.26	c ===============================================================================
2.20/2.26	c |      5107 |      60      200    12000 |     5000     2562     43 |  0.028 % |
2.20/2.26	c ===============================================================================
2.20/2.26	c New solution: 3952
2.20/2.26	o 3952
2.20/2.26	c Elapsed CPU time: 2.23966 s	Remaining CPU time: 177.76 s
2.20/2.26	c ===============================================================================
2.20/2.26	c |      5107 |      60      201    12060 |     5000     2562     43 |  0.028 % |
2.20/2.26	c ===============================================================================
2.20/2.26	c New solution: 3946
2.20/2.26	o 3946
2.20/2.26	c Elapsed CPU time: 2.24266 s	Remaining CPU time: 177.757 s
2.20/2.26	c ===============================================================================
2.20/2.26	c |      5107 |      60      202    12120 |     5000     2562     43 |  0.028 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: 3940
2.20/2.27	o 3940
2.20/2.27	c Elapsed CPU time: 2.24566 s	Remaining CPU time: 177.754 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |      5107 |      60      203    12180 |     5000     2562     43 |  0.028 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: 3935
2.20/2.27	o 3935
2.20/2.27	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 177.747 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |      5113 |      60      204    12240 |     5000     2568     43 |  0.028 % |
2.20/2.28	c ===============================================================================
2.20/2.28	c New solution: 3934
2.20/2.28	o 3934
2.20/2.28	c Elapsed CPU time: 2.25566 s	Remaining CPU time: 177.744 s
2.20/2.28	c ===============================================================================
2.20/2.28	c |      5113 |      60      205    12300 |     5000     2568     43 |  0.028 % |
2.20/2.28	c ===============================================================================
2.20/2.28	c New solution: 3928
2.20/2.28	o 3928
2.20/2.28	c Elapsed CPU time: 2.25866 s	Remaining CPU time: 177.741 s
2.20/2.28	c ===============================================================================
2.20/2.28	c |      5113 |      60      206    12360 |     5000     2568     43 |  0.028 % |
2.29/2.31	c ===============================================================================
2.29/2.31	c New solution: 3927
2.29/2.31	o 3927
2.29/2.31	c Elapsed CPU time: 2.29365 s	Remaining CPU time: 177.706 s
2.29/2.31	c ===============================================================================
2.29/2.31	c |      5154 |      60      207    12420 |     5000     2609     43 |  0.028 % |
2.29/2.32	c ===============================================================================
2.29/2.32	c New solution: 3921
2.29/2.32	o 3921
2.29/2.32	c Elapsed CPU time: 2.29865 s	Remaining CPU time: 177.701 s
2.29/2.32	c ===============================================================================
2.29/2.32	c |      5157 |      60      208    12480 |     5000     2612     43 |  0.028 % |
2.29/2.38	c |      5257 |      60      208    12480 |     5500     2712     43 |  0.028 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 3914
2.39/2.43	o 3914
2.39/2.43	c Elapsed CPU time: 2.40663 s	Remaining CPU time: 177.593 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |      5295 |      60      209    12540 |     5000     2750     43 |  0.028 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 3908
2.39/2.43	o 3908
2.39/2.43	c Elapsed CPU time: 2.40963 s	Remaining CPU time: 177.59 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |      5295 |      60      210    12600 |     5000     2750     43 |  0.028 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 3902
2.39/2.43	o 3902
2.39/2.43	c Elapsed CPU time: 2.41263 s	Remaining CPU time: 177.587 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |      5295 |      60      211    12660 |     5000     2750     43 |  0.028 % |
2.39/2.44	c ===============================================================================
2.39/2.44	c New solution: 3901
2.39/2.44	o 3901
2.39/2.44	c Elapsed CPU time: 2.41663 s	Remaining CPU time: 177.583 s
2.39/2.44	c ===============================================================================
2.39/2.44	c |      5296 |      60      212    12720 |     5000     2751     43 |  0.028 % |
2.39/2.44	c ===============================================================================
2.39/2.44	c New solution: 3895
2.39/2.44	o 3895
2.39/2.44	c Elapsed CPU time: 2.42063 s	Remaining CPU time: 177.579 s
2.39/2.44	c ===============================================================================
2.39/2.44	c |      5296 |      60      213    12780 |     5000     2751     43 |  0.028 % |
2.39/2.49	c ===============================================================================
2.39/2.49	c New solution: 3890
2.39/2.49	o 3890
2.39/2.49	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 177.533 s
2.39/2.49	c ===============================================================================
2.39/2.49	c |      5344 |      60      214    12840 |     5000     2799     43 |  0.028 % |
2.49/2.54	c ===============================================================================
2.49/2.54	c New solution: 3887
2.49/2.54	o 3887
2.49/2.54	c Elapsed CPU time: 2.51962 s	Remaining CPU time: 177.48 s
2.49/2.54	c ===============================================================================
2.49/2.54	c |      5410 |      60      215    12900 |     5000     2865     43 |  0.028 % |
2.49/2.55	c ===============================================================================
2.49/2.55	c New solution: 3886
2.49/2.55	o 3886
2.49/2.55	c Elapsed CPU time: 2.53062 s	Remaining CPU time: 177.469 s
2.49/2.55	c ===============================================================================
2.49/2.55	c |      5417 |      60      216    12960 |     5000     2872     43 |  0.028 % |
2.49/2.56	c ===============================================================================
2.49/2.56	c New solution: 3880
2.49/2.56	o 3880
2.49/2.56	c Elapsed CPU time: 2.53661 s	Remaining CPU time: 177.463 s
2.49/2.56	c ===============================================================================
2.49/2.56	c |      5419 |      60      217    13020 |     5000     2874     43 |  0.028 % |
2.49/2.56	c ===============================================================================
2.49/2.56	c New solution: 3874
2.49/2.56	o 3874
2.49/2.56	c Elapsed CPU time: 2.53961 s	Remaining CPU time: 177.46 s
2.49/2.56	c ===============================================================================
2.49/2.56	c |      5419 |      60      218    13080 |     5000     2874     43 |  0.028 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 3873
2.49/2.58	o 3873
2.49/2.58	c Elapsed CPU time: 2.56361 s	Remaining CPU time: 177.436 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |      5449 |      60      219    13140 |     5000     2904     43 |  0.028 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: 3868
2.49/2.59	o 3868
2.49/2.59	c Elapsed CPU time: 2.56861 s	Remaining CPU time: 177.431 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |      5451 |      60      220    13200 |     5000     2906     43 |  0.028 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: 3867
2.49/2.59	o 3867
2.49/2.59	c Elapsed CPU time: 2.57261 s	Remaining CPU time: 177.427 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |      5452 |      60      221    13260 |     5000     2907     43 |  0.028 % |
2.49/2.60	c ===============================================================================
2.49/2.60	c New solution: 3861
2.49/2.60	o 3861
2.49/2.60	c Elapsed CPU time: 2.57561 s	Remaining CPU time: 177.424 s
2.49/2.60	c ===============================================================================
2.49/2.60	c |      5452 |      60      222    13320 |     5000     2907     43 |  0.028 % |
2.59/2.60	c ===============================================================================
2.59/2.60	c New solution: 3859
2.59/2.60	o 3859
2.59/2.60	c Elapsed CPU time: 2.58161 s	Remaining CPU time: 177.418 s
2.59/2.60	c ===============================================================================
2.59/2.60	c |      5455 |      60      223    13380 |     5000     2910     43 |  0.028 % |
2.59/2.61	c ===============================================================================
2.59/2.61	c New solution: 3853
2.59/2.61	o 3853
2.59/2.61	c Elapsed CPU time: 2.58561 s	Remaining CPU time: 177.414 s
2.59/2.61	c ===============================================================================
2.59/2.61	c |      5455 |      60      224    13440 |     5000     2910     43 |  0.028 % |
2.59/2.61	c ===============================================================================
2.59/2.61	c New solution: 3852
2.59/2.61	o 3852
2.59/2.61	c Elapsed CPU time: 2.58961 s	Remaining CPU time: 177.41 s
2.59/2.61	c ===============================================================================
2.59/2.61	c |      5455 |      60      225    13500 |     5000     2910     43 |  0.028 % |
2.59/2.65	c |      5555 |      60      225    13500 |     5500     3010     43 |  0.028 % |
2.69/2.75	c |      5705 |      60      225    13500 |     6050     3160     43 |  0.028 % |
2.79/2.87	c ===============================================================================
2.79/2.87	c New solution: 3848
2.79/2.87	o 3848
2.79/2.87	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 177.146 s
2.79/2.87	c ===============================================================================
2.79/2.87	c |      5835 |      60      226    13560 |     5000     3290     43 |  0.028 % |
2.89/2.94	c |      5935 |      60      226    13560 |     5500     3390     42 |  0.028 % |
2.99/3.04	c |      6086 |      60      226    13560 |     6050     3541     42 |  0.028 % |
2.99/3.08	c ===============================================================================
2.99/3.08	c New solution: 3845
2.99/3.08	o 3845
2.99/3.08	c Elapsed CPU time: 3.05953 s	Remaining CPU time: 176.94 s
2.99/3.08	c ===============================================================================
2.99/3.08	c |      6127 |      60      227    13620 |     5000     3582     42 |  0.028 % |
2.99/3.08	c ===============================================================================
2.99/3.08	c New solution: 3839
2.99/3.08	o 3839
2.99/3.08	c Elapsed CPU time: 3.06253 s	Remaining CPU time: 176.937 s
2.99/3.08	c ===============================================================================
2.99/3.08	c |      6127 |      60      228    13680 |     5000     3582     42 |  0.028 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 3836
3.09/3.10	o 3836
3.09/3.10	c Elapsed CPU time: 3.07953 s	Remaining CPU time: 176.92 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |      6137 |      60      229    13740 |     5000     3592     42 |  0.028 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 3830
3.09/3.11	o 3830
3.09/3.11	c Elapsed CPU time: 3.08353 s	Remaining CPU time: 176.916 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |      6137 |      60      230    13800 |     5000     3592     42 |  0.028 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 3824
3.09/3.11	o 3824
3.09/3.11	c Elapsed CPU time: 3.08953 s	Remaining CPU time: 176.91 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |      6140 |      60      231    13860 |     5000     3595     42 |  0.028 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: 3823
3.09/3.12	o 3823
3.09/3.12	c Elapsed CPU time: 3.09553 s	Remaining CPU time: 176.904 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |      6143 |      60      232    13920 |     5000     3598     42 |  0.028 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: 3821
3.09/3.12	o 3821
3.09/3.12	c Elapsed CPU time: 3.10253 s	Remaining CPU time: 176.897 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |      6145 |      60      233    13980 |     5000     3600     42 |  0.028 % |
3.09/3.13	c ===============================================================================
3.09/3.13	c New solution: 3813
3.09/3.13	o 3813
3.09/3.13	c Elapsed CPU time: 3.11053 s	Remaining CPU time: 176.889 s
3.09/3.13	c ===============================================================================
3.09/3.13	c |      6148 |      60      234    14040 |     5000     3603     42 |  0.028 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 3807
3.09/3.14	o 3807
3.09/3.14	c Elapsed CPU time: 3.11453 s	Remaining CPU time: 176.885 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |      6148 |      60      235    14100 |     5000     3603     42 |  0.028 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 3801
3.09/3.14	o 3801
3.09/3.14	c Elapsed CPU time: 3.11753 s	Remaining CPU time: 176.882 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |      6148 |      60      236    14160 |     5000     3603     42 |  0.028 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: 3799
3.20/3.21	o 3799
3.20/3.21	c Elapsed CPU time: 3.18651 s	Remaining CPU time: 176.813 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |      6207 |      60      237    14220 |     5000     3662     42 |  0.028 % |
3.20/3.22	c ===============================================================================
3.20/3.22	c New solution: 3793
3.20/3.22	o 3793
3.20/3.22	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 176.797 s
3.20/3.22	c ===============================================================================
3.20/3.22	c |      6220 |      60      238    14280 |     5000     3675     42 |  0.028 % |
3.20/3.23	c ===============================================================================
3.20/3.23	c New solution: 3789
3.20/3.23	o 3789
3.20/3.23	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 176.788 s
3.20/3.23	c ===============================================================================
3.20/3.23	c |      6226 |      60      239    14340 |     5000     3681     42 |  0.028 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: 3783
3.20/3.24	o 3783
3.20/3.24	c Elapsed CPU time: 3.21851 s	Remaining CPU time: 176.781 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |      6227 |      60      240    14400 |     5000     3682     42 |  0.028 % |
3.20/3.27	c ===============================================================================
3.20/3.27	c New solution: 3767
3.20/3.27	o 3767
3.20/3.27	c Elapsed CPU time: 3.24451 s	Remaining CPU time: 176.755 s
3.20/3.27	c ===============================================================================
3.20/3.27	c |      6250 |      60      241    14460 |     5000     3705     42 |  0.028 % |
3.20/3.27	c ===============================================================================
3.20/3.27	c New solution: 3761
3.20/3.27	o 3761
3.20/3.27	c Elapsed CPU time: 3.24851 s	Remaining CPU time: 176.751 s
3.20/3.27	c ===============================================================================
3.20/3.27	c |      6250 |      60      242    14520 |     5000     3705     42 |  0.028 % |
3.20/3.27	c ===============================================================================
3.20/3.27	c New solution: 3755
3.20/3.27	o 3755
3.20/3.27	c Elapsed CPU time: 3.25251 s	Remaining CPU time: 176.747 s
3.20/3.27	c ===============================================================================
3.20/3.27	c |      6250 |      60      243    14580 |     5000     3705     42 |  0.028 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 3754
3.20/3.28	o 3754
3.20/3.28	c Elapsed CPU time: 3.2585 s	Remaining CPU time: 176.741 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |      6253 |      60      244    14640 |     5000     3708     42 |  0.028 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 3748
3.20/3.28	o 3748
3.20/3.28	c Elapsed CPU time: 3.2625 s	Remaining CPU time: 176.737 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |      6253 |      60      245    14700 |     5000     3708     42 |  0.028 % |
3.20/3.30	c ===============================================================================
3.20/3.30	c New solution: 3738
3.20/3.30	o 3738
3.20/3.30	c Elapsed CPU time: 3.2755 s	Remaining CPU time: 176.724 s
3.20/3.30	c ===============================================================================
3.20/3.30	c |      6259 |      60      246    14760 |     5000     3714     42 |  0.028 % |
3.20/3.30	c ===============================================================================
3.20/3.30	c New solution: 3732
3.20/3.30	o 3732
3.20/3.30	c Elapsed CPU time: 3.2795 s	Remaining CPU time: 176.72 s
3.20/3.30	c ===============================================================================
3.20/3.30	c |      6259 |      60      247    14820 |     5000     3714     42 |  0.028 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 3712
3.30/3.34	o 3712
3.30/3.34	c Elapsed CPU time: 3.3165 s	Remaining CPU time: 176.684 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |      6290 |      60      248    14880 |     5000     3745     42 |  0.028 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c New solution: 3685
3.39/3.43	o 3685
3.39/3.43	c Elapsed CPU time: 3.40448 s	Remaining CPU time: 176.596 s
3.39/3.43	c ===============================================================================
3.39/3.43	c |      6385 |      60      249    14940 |     5000     3840     42 |  0.028 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c New solution: 3679
3.39/3.43	o 3679
3.39/3.43	c Elapsed CPU time: 3.40848 s	Remaining CPU time: 176.592 s
3.39/3.43	c ===============================================================================
3.39/3.43	c |      6385 |      60      250    15000 |     5000     3840     42 |  0.028 % |
3.49/3.50	c ===============================================================================
3.49/3.50	c New solution: 3664
3.49/3.50	o 3664
3.49/3.50	c Elapsed CPU time: 3.48247 s	Remaining CPU time: 176.518 s
3.49/3.50	c ===============================================================================
3.49/3.50	c |      6453 |      60      251    15060 |     5000     3908     42 |  0.028 % |
3.49/3.58	c ===============================================================================
3.49/3.58	c New solution: 3662
3.49/3.58	o 3662
3.49/3.58	c Elapsed CPU time: 3.55946 s	Remaining CPU time: 176.441 s
3.49/3.58	c ===============================================================================
3.49/3.58	c |      6541 |      60      252    15120 |     5000     3996     42 |  0.028 % |
3.59/3.60	c ===============================================================================
3.59/3.60	c New solution: 3656
3.59/3.60	o 3656
3.59/3.60	c Elapsed CPU time: 3.57646 s	Remaining CPU time: 176.424 s
3.59/3.60	c ===============================================================================
3.59/3.60	c |      6553 |      60      253    15180 |     5000     4008     42 |  0.028 % |
3.59/3.60	c ===============================================================================
3.59/3.60	c New solution: 3650
3.59/3.60	o 3650
3.59/3.60	c Elapsed CPU time: 3.58046 s	Remaining CPU time: 176.42 s
3.59/3.60	c ===============================================================================
3.59/3.60	c |      6553 |      60      254    15240 |     5000     4008     42 |  0.028 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c New solution: 3645
3.69/3.70	o 3645
3.69/3.70	c Elapsed CPU time: 3.67344 s	Remaining CPU time: 176.327 s
3.69/3.70	c ===============================================================================
3.69/3.70	c |      6651 |      60      255    15300 |     5000     4106     42 |  0.028 % |
3.69/3.72	c ===============================================================================
3.69/3.72	c New solution: 3644
3.69/3.72	o 3644
3.69/3.72	c Elapsed CPU time: 3.69444 s	Remaining CPU time: 176.306 s
3.69/3.72	c ===============================================================================
3.69/3.72	c |      6681 |      60      256    15360 |     5000     4136     42 |  0.028 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c New solution: 3643
3.69/3.73	o 3643
3.69/3.73	c Elapsed CPU time: 3.70244 s	Remaining CPU time: 176.298 s
3.69/3.73	c ===============================================================================
3.69/3.73	c |      6688 |      60      257    15420 |     5000     4143     42 |  0.028 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c New solution: 3642
3.69/3.73	o 3642
3.69/3.73	c Elapsed CPU time: 3.70844 s	Remaining CPU time: 176.292 s
3.69/3.73	c ===============================================================================
3.69/3.73	c |      6690 |      60      258    15480 |     5000     4145     42 |  0.028 % |
3.69/3.79	c |      6790 |      60      258    15480 |     5500     4245     42 |  0.028 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 3634
3.79/3.85	o 3634
3.79/3.85	c Elapsed CPU time: 3.83042 s	Remaining CPU time: 176.17 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |      6842 |      60      259    15540 |     5000     4297     42 |  0.028 % |
3.79/3.86	c ===============================================================================
3.79/3.86	c New solution: 3628
3.79/3.86	o 3628
3.79/3.86	c Elapsed CPU time: 3.83442 s	Remaining CPU time: 176.166 s
3.79/3.86	c ===============================================================================
3.79/3.86	c |      6842 |      60      260    15600 |     5000     4297     42 |  0.028 % |
3.79/3.86	c ===============================================================================
3.79/3.86	c New solution: 3621
3.79/3.86	o 3621
3.79/3.86	c Elapsed CPU time: 3.83842 s	Remaining CPU time: 176.162 s
3.79/3.86	c ===============================================================================
3.79/3.86	c |      6842 |      60      261    15660 |     5000     4297     42 |  0.028 % |
3.89/3.96	c |      6942 |      60      261    15660 |     5500     4397     42 |  0.028 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c New solution: 3620
3.99/4.05	o 3620
3.99/4.05	c Elapsed CPU time: 4.02939 s	Remaining CPU time: 175.971 s
3.99/4.05	c ===============================================================================
3.99/4.05	c |      7033 |      60      262    15720 |     5000     4488     42 |  0.028 % |
3.99/4.06	c ===============================================================================
3.99/4.06	c New solution: 3614
3.99/4.06	o 3614
3.99/4.06	c Elapsed CPU time: 4.03339 s	Remaining CPU time: 175.967 s
3.99/4.06	c ===============================================================================
3.99/4.06	c |      7033 |      60      263    15780 |     5000     4488     42 |  0.028 % |
3.99/4.10	c ===============================================================================
3.99/4.10	c New solution: 3611
3.99/4.10	o 3611
3.99/4.10	c Elapsed CPU time: 4.06938 s	Remaining CPU time: 175.931 s
3.99/4.10	c ===============================================================================
3.99/4.10	c |      7059 |      60      264    15840 |     5000     4514     42 |  0.028 % |
4.09/4.12	c ===============================================================================
4.09/4.12	c New solution: 3610
4.09/4.12	o 3610
4.09/4.12	c Elapsed CPU time: 4.09638 s	Remaining CPU time: 175.904 s
4.09/4.12	c ===============================================================================
4.09/4.12	c |      7076 |      60      265    15900 |     5000     4531     42 |  0.028 % |
4.09/4.13	c ===============================================================================
4.09/4.13	c New solution: 3604
4.09/4.13	o 3604
4.09/4.13	c Elapsed CPU time: 4.10038 s	Remaining CPU time: 175.9 s
4.09/4.13	c ===============================================================================
4.09/4.13	c |      7076 |      60      266    15960 |     5000     4531     42 |  0.028 % |
4.09/4.16	c ===============================================================================
4.09/4.16	c New solution: 3603
4.09/4.16	o 3603
4.09/4.16	c Elapsed CPU time: 4.13237 s	Remaining CPU time: 175.868 s
4.09/4.16	c ===============================================================================
4.09/4.16	c |      7097 |      60      267    16020 |     5000     4552     42 |  0.028 % |
4.09/4.18	c ===============================================================================
4.09/4.18	c New solution: 3600
4.09/4.18	o 3600
4.09/4.18	c Elapsed CPU time: 4.14937 s	Remaining CPU time: 175.851 s
4.09/4.18	c ===============================================================================
4.09/4.18	c |      7109 |      60      268    16080 |     5000     4564     42 |  0.028 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c New solution: 3594
4.09/4.19	o 3594
4.09/4.19	c Elapsed CPU time: 4.15837 s	Remaining CPU time: 175.842 s
4.09/4.19	c ===============================================================================
4.09/4.19	c |      7114 |      60      269    16140 |     5000     4569     42 |  0.028 % |
4.18/4.27	c |      7216 |      60      269    16140 |     5500     4671     42 |  0.028 % |
4.29/4.30	c ===============================================================================
4.29/4.30	c New solution: 3592
4.29/4.30	o 3592
4.29/4.30	c Elapsed CPU time: 4.27735 s	Remaining CPU time: 175.723 s
4.29/4.30	c ===============================================================================
4.29/4.30	c |      7244 |      60      270    16200 |     5000     4699     42 |  0.028 % |
4.29/4.31	c ===============================================================================
4.29/4.31	c New solution: 3586
4.29/4.31	o 3586
4.29/4.31	c Elapsed CPU time: 4.28135 s	Remaining CPU time: 175.719 s
4.29/4.31	c ===============================================================================
4.29/4.31	c |      7244 |      60      271    16260 |     5000     4699     42 |  0.028 % |
4.29/4.32	c ===============================================================================
4.29/4.32	c New solution: 3580
4.29/4.32	o 3580
4.29/4.32	c Elapsed CPU time: 4.29735 s	Remaining CPU time: 175.703 s
4.29/4.32	c ===============================================================================
4.29/4.32	c |      7253 |      60      272    16320 |     5000     4708     42 |  0.028 % |
4.39/4.41	c |      7353 |      60      272    16320 |     5500     4808     42 |  0.028 % |
4.39/4.43	c ===============================================================================
4.39/4.43	c New solution: 3579
4.39/4.43	o 3579
4.39/4.43	c Elapsed CPU time: 4.40233 s	Remaining CPU time: 175.598 s
4.39/4.43	c ===============================================================================
4.39/4.43	c |      7366 |      60      273    16380 |     5000     4821     42 |  0.028 % |
4.39/4.45	c ===============================================================================
4.39/4.45	c New solution: 3573
4.39/4.45	o 3573
4.39/4.45	c Elapsed CPU time: 4.42733 s	Remaining CPU time: 175.573 s
4.39/4.45	c ===============================================================================
4.39/4.45	c |      7387 |      60      274    16440 |     5000     4842     42 |  0.028 % |
4.39/4.46	c ===============================================================================
4.39/4.46	c New solution: 3567
4.39/4.46	o 3567
4.39/4.46	c Elapsed CPU time: 4.43233 s	Remaining CPU time: 175.568 s
4.39/4.46	c ===============================================================================
4.39/4.46	c |      7388 |      60      275    16500 |     5000     4843     42 |  0.028 % |
4.39/4.46	c ===============================================================================
4.39/4.46	c New solution: 3566
4.39/4.46	o 3566
4.39/4.46	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 175.563 s
4.39/4.46	c ===============================================================================
4.39/4.46	c |      7390 |      60      276    16560 |     5000     4845     42 |  0.028 % |
4.39/4.49	c ===============================================================================
4.39/4.49	c New solution: 3560
4.39/4.49	o 3560
4.39/4.49	c Elapsed CPU time: 4.46132 s	Remaining CPU time: 175.539 s
4.39/4.49	c ===============================================================================
4.39/4.49	c |      7403 |      60      277    16620 |     5000     4858     42 |  0.028 % |
4.49/4.56	c |      7505 |      60      277    16620 |     5500     4960     42 |  0.028 % |
4.59/4.65	c |      7655 |      60      277    16620 |     6050     5110     42 |  0.028 % |
4.69/4.70	c ===============================================================================
4.69/4.70	c New solution: 3555
4.69/4.70	o 3555
4.69/4.70	c Elapsed CPU time: 4.66929 s	Remaining CPU time: 175.331 s
4.69/4.70	c ===============================================================================
4.69/4.70	c |      7708 |      60      278    16680 |     5000     5163     42 |  0.028 % |
4.69/4.72	c ===============================================================================
4.69/4.72	c New solution: 3536
4.69/4.72	o 3536
4.69/4.72	c Elapsed CPU time: 4.69229 s	Remaining CPU time: 175.308 s
4.69/4.72	c ===============================================================================
4.69/4.72	c |      7723 |      60      279    16740 |     5000     2597     41 |  0.028 % |
4.79/4.80	c |      7823 |      60      279    16740 |     5500     2697     41 |  0.028 % |
4.89/4.92	c |      7974 |      60      279    16740 |     6050     2848     41 |  0.028 % |
4.99/5.01	c ===============================================================================
4.99/5.01	c New solution: 3531
4.99/5.01	o 3531
4.99/5.01	c Elapsed CPU time: 4.97524 s	Remaining CPU time: 175.025 s
4.99/5.01	c ===============================================================================
4.99/5.01	c |      8049 |      60      280    16800 |     5000     2923     41 |  0.028 % |
4.99/5.01	c ===============================================================================
4.99/5.01	c New solution: 3525
4.99/5.01	o 3525
4.99/5.01	c Elapsed CPU time: 4.97924 s	Remaining CPU time: 175.021 s
4.99/5.01	c ===============================================================================
4.99/5.01	c |      8049 |      60      281    16860 |     5000     2923     41 |  0.028 % |
4.99/5.01	c ===============================================================================
4.99/5.01	c New solution: 3524
4.99/5.01	o 3524
4.99/5.01	c Elapsed CPU time: 4.98524 s	Remaining CPU time: 175.015 s
4.99/5.01	c ===============================================================================
4.99/5.01	c |      8051 |      60      282    16920 |     5000     2925     41 |  0.028 % |
4.99/5.08	c |      8151 |      60      282    16920 |     5500     3025     40 |  0.028 % |
5.09/5.18	c |      8301 |      60      282    16920 |     6050     3175     40 |  0.028 % |
5.29/5.37	c |      8526 |      60      282    16920 |     6655     3400     40 |  0.028 % |
5.59/5.64	c |      8863 |      60      282    16920 |     7320     3737     40 |  0.028 % |
5.99/6.08	c ===============================================================================
5.99/6.08	c New solution: 3514
5.99/6.08	o 3514
5.99/6.08	c Elapsed CPU time: 6.05308 s	Remaining CPU time: 173.947 s
5.99/6.08	c ===============================================================================
5.99/6.08	c |      9340 |      60      283    16980 |     5000     4214     40 |  0.028 % |
5.99/6.09	c ===============================================================================
5.99/6.09	c New solution: 3495
5.99/6.09	o 3495
5.99/6.09	c Elapsed CPU time: 6.05708 s	Remaining CPU time: 173.943 s
5.99/6.09	c ===============================================================================
5.99/6.09	c |      9341 |      60      284    17040 |     5000     4215     40 |  0.028 % |
6.09/6.17	c |      9441 |      60      284    17040 |     5500     4315     40 |  0.028 % |
6.29/6.31	c |      9593 |      60      284    17040 |     6050     4467     40 |  0.028 % |
6.39/6.48	c |      9818 |      60      284    17040 |     6655     4692     39 |  0.028 % |
6.60/6.61	c ===============================================================================
6.60/6.61	c New solution: 3489
6.60/6.61	o 3489
6.60/6.61	c Elapsed CPU time: 6.577 s	Remaining CPU time: 173.423 s
6.60/6.61	c ===============================================================================
6.60/6.61	c |      9963 |      60      285    17100 |     5000     4837     39 |  0.028 % |
6.60/6.64	c ===============================================================================
6.60/6.64	c New solution: 3488
6.60/6.64	o 3488
6.60/6.64	c Elapsed CPU time: 6.606 s	Remaining CPU time: 173.394 s
6.60/6.64	c ===============================================================================
6.60/6.64	c |      9984 |      60      286    17160 |     5000     4858     40 |  0.028 % |
6.69/6.70	c |     10087 |      60      286    17160 |     5500     4961     39 |  0.028 % |
6.69/6.74	c ===============================================================================
6.69/6.74	c New solution: 3472
6.69/6.74	o 3472
6.69/6.74	c Elapsed CPU time: 6.70098 s	Remaining CPU time: 173.299 s
6.69/6.74	c ===============================================================================
6.69/6.74	c |     10132 |      60      287    17220 |     5000     5006     39 |  0.028 % |
6.79/6.85	c |     10233 |      60      287    17220 |     5500     2604     39 |  0.028 % |
6.89/6.92	c ===============================================================================
6.89/6.92	c New solution: 3450
6.89/6.92	o 3450
6.89/6.92	c Elapsed CPU time: 6.88395 s	Remaining CPU time: 173.116 s
6.89/6.92	c ===============================================================================
6.89/6.92	c |     10295 |      60      288    17280 |     5000     2666     39 |  0.028 % |
6.89/6.94	c ===============================================================================
6.89/6.94	c New solution: 3442
6.89/6.94	o 3442
6.89/6.94	c Elapsed CPU time: 6.90595 s	Remaining CPU time: 173.094 s
6.89/6.94	c ===============================================================================
6.89/6.94	c |     10314 |      60      289    17340 |     5000     2685     39 |  0.028 % |
6.89/6.96	c ===============================================================================
6.89/6.96	c New solution: 3424
6.89/6.96	o 3424
6.89/6.96	c Elapsed CPU time: 6.92395 s	Remaining CPU time: 173.076 s
6.89/6.96	c ===============================================================================
6.89/6.96	c |     10324 |      60      290    17400 |     5000     2695     39 |  0.028 % |
6.99/7.06	c |     10424 |      60      290    17400 |     5500     2795     39 |  0.028 % |
7.09/7.14	c |     10574 |      60      290    17400 |     6050     2945     38 |  0.028 % |
7.29/7.33	c |     10800 |      60      290    17400 |     6655     3171     38 |  0.028 % |
7.59/7.62	c |     11138 |      60      290    17400 |     7320     3509     38 |  0.028 % |
7.79/7.85	c ===============================================================================
7.79/7.85	c New solution: 3422
7.79/7.85	o 3422
7.79/7.85	c Elapsed CPU time: 7.81481 s	Remaining CPU time: 172.185 s
7.79/7.85	c ===============================================================================
7.79/7.85	c |     11344 |      60      291    17460 |     5000     3715     38 |  0.028 % |
7.79/7.86	c ===============================================================================
7.79/7.86	c New solution: 3416
7.79/7.86	o 3416
7.79/7.86	c Elapsed CPU time: 7.81981 s	Remaining CPU time: 172.18 s
7.79/7.86	c ===============================================================================
7.79/7.86	c |     11344 |      60      292    17520 |     5000     3715     38 |  0.028 % |
7.89/7.94	c |     11445 |      60      292    17520 |     5500     3816     39 |  0.028 % |
7.99/8.09	c |     11595 |      60      292    17520 |     6050     3966     39 |  0.028 % |
8.18/8.22	c |     11820 |      60      292    17520 |     6655     4191     38 |  0.028 % |
8.38/8.47	c ===============================================================================
8.38/8.47	c New solution: 3414
8.38/8.47	o 3414
8.38/8.47	c Elapsed CPU time: 8.43672 s	Remaining CPU time: 171.563 s
8.38/8.47	c ===============================================================================
8.38/8.47	c |     12034 |      60      293    17580 |     5000     4405     39 |  0.028 % |
8.48/8.50	c ===============================================================================
8.48/8.50	c New solution: 3404
8.48/8.50	o 3404
8.48/8.50	c Elapsed CPU time: 8.46571 s	Remaining CPU time: 171.534 s
8.48/8.50	c ===============================================================================
8.48/8.50	c |     12049 |      60      294    17640 |     5000     4420     39 |  0.028 % |
8.58/8.62	c |     12149 |      60      294    17640 |     5500     4520     39 |  0.028 % |
8.69/8.78	c |     12303 |      60      294    17640 |     6050     4674     39 |  0.028 % |
8.88/8.93	c |     12528 |      60      294    17640 |     6655     4899     39 |  0.028 % |
8.98/9.04	c ===============================================================================
8.98/9.04	c New solution: 3385
8.98/9.04	o 3385
8.98/9.04	c Elapsed CPU time: 8.99763 s	Remaining CPU time: 171.002 s
8.98/9.04	c ===============================================================================
8.98/9.04	c |     12633 |      60      295    17700 |     5000     5004     39 |  0.028 % |
8.98/9.09	c ===============================================================================
8.98/9.09	c New solution: 3379
8.98/9.09	o 3379
8.98/9.09	c Elapsed CPU time: 9.04962 s	Remaining CPU time: 170.95 s
8.98/9.09	c ===============================================================================
8.98/9.09	c |     12674 |      60      296    17760 |     5000     2543     39 |  0.028 % |
9.08/9.19	c |     12775 |      60      296    17760 |     5500     2644     39 |  0.028 % |
9.28/9.34	c |     12925 |      60      296    17760 |     6050     2794     39 |  0.028 % |
9.49/9.57	c |     13152 |      60      296    17760 |     6655     3021     39 |  0.028 % |
9.80/9.86	c |     13490 |      60      296    17760 |     7320     3359     39 |  0.028 % |
9.99/10.04	c ===============================================================================
9.99/10.04	c New solution: 3377
9.99/10.04	o 3377
9.99/10.04	c Elapsed CPU time: 10.0015 s	Remaining CPU time: 169.999 s
9.99/10.04	c ===============================================================================
9.99/10.04	c |     13690 |      60      297    17820 |     5000     3559     39 |  0.028 % |
9.99/10.08	c ===============================================================================
9.99/10.08	c New solution: 3357
9.99/10.08	o 3357
9.99/10.08	c Elapsed CPU time: 10.0445 s	Remaining CPU time: 169.956 s
9.99/10.08	c ===============================================================================
9.99/10.08	c |     13726 |      60      298    17880 |     5000     3595     40 |  0.028 % |
9.99/10.09	c ===============================================================================
9.99/10.09	c New solution: 3351
9.99/10.09	o 3351
9.99/10.09	c Elapsed CPU time: 10.0495 s	Remaining CPU time: 169.951 s
9.99/10.09	c ===============================================================================
9.99/10.09	c |     13727 |      60      299    17940 |     5000     3596     40 |  0.028 % |
9.99/10.10	c ===============================================================================
9.99/10.10	c New solution: 3338
9.99/10.10	o 3338
9.99/10.10	c Elapsed CPU time: 10.0555 s	Remaining CPU time: 169.945 s
9.99/10.10	c ===============================================================================
9.99/10.10	c |     13728 |      60      300    18000 |     5000     3597     40 |  0.028 % |
10.09/10.20	c |     13829 |      60      300    18000 |     5500     3698     40 |  0.028 % |
10.29/10.33	c |     13980 |      60      300    18000 |     6050     3849     40 |  0.028 % |
10.49/10.52	c |     14205 |      60      300    18000 |     6655     4074     39 |  0.028 % |
10.79/10.87	c |     14542 |      60      300    18000 |     7320     4411     39 |  0.028 % |
11.19/11.26	c ===============================================================================
11.19/11.26	c New solution: 3316
11.19/11.26	o 3316
11.19/11.26	c Elapsed CPU time: 11.2173 s	Remaining CPU time: 168.783 s
11.19/11.26	c ===============================================================================
11.19/11.26	c |     14870 |      60      301    18060 |     5000     4739     39 |  0.028 % |
11.29/11.38	c |     14973 |      60      301    18060 |     5500     4842     39 |  0.028 % |
11.49/11.53	c |     15123 |      60      301    18060 |     6050     4992     39 |  0.028 % |
11.69/11.75	c |     15349 |      60      301    18060 |     6655     5218     39 |  0.028 % |
12.09/12.12	c |     15689 |      60      301    18060 |     7320     5558     39 |  0.028 % |
12.49/12.59	c |     16197 |      60      301    18060 |     8052     6066     39 |  0.028 % |
12.89/12.96	c ===============================================================================
12.89/12.96	c New solution: 3286
12.89/12.96	o 3286
12.89/12.96	c Elapsed CPU time: 12.914 s	Remaining CPU time: 167.086 s
12.89/12.96	c ===============================================================================
12.89/12.96	c |     16545 |      60      302    18120 |     5000     6414     39 |  0.028 % |
12.99/13.09	c |     16649 |      60      302    18120 |     5500     3311     38 |  0.028 % |
13.20/13.25	c |     16800 |      60      302    18120 |     6050     3462     38 |  0.028 % |
13.39/13.50	c |     17025 |      60      302    18120 |     6655     3687     38 |  0.028 % |
13.79/13.87	c |     17363 |      60      302    18120 |     7320     4025     37 |  0.028 % |
14.30/14.33	c |     17869 |      60      302    18120 |     8052     4531     37 |  0.028 % |
14.69/14.76	c ===============================================================================
14.69/14.76	c New solution: 3283
14.69/14.76	o 3283
14.69/14.76	c Elapsed CPU time: 14.7028 s	Remaining CPU time: 165.297 s
14.69/14.76	c ===============================================================================
14.69/14.76	c |     18334 |      60      303    18180 |     5000     4996     37 |  0.028 % |
14.79/14.80	c ===============================================================================
14.79/14.80	c New solution: 3278
14.79/14.80	o 3278
14.79/14.80	c Elapsed CPU time: 14.7418 s	Remaining CPU time: 165.258 s
14.79/14.80	c ===============================================================================
14.79/14.80	c |     18364 |      60      304    18240 |     5000     5026     37 |  0.028 % |
14.89/14.90	c ===============================================================================
14.89/14.90	c New solution: 3253
14.89/14.90	o 3253
14.89/14.90	c Elapsed CPU time: 14.8457 s	Remaining CPU time: 165.154 s
14.89/14.90	c ===============================================================================
14.89/14.90	c |     18439 |      60      305    18300 |     5000     2588     36 |  0.028 % |
14.89/14.95	c ===============================================================================
14.89/14.95	c New solution: 3247
14.89/14.95	o 3247
14.89/14.95	c Elapsed CPU time: 14.8937 s	Remaining CPU time: 165.106 s
14.89/14.95	c ===============================================================================
14.89/14.95	c |     18481 |      60      306    18360 |     5000     2630     37 |  0.028 % |
14.89/15.00	c ===============================================================================
14.89/15.00	c New solution: 3239
14.89/15.00	o 3239
14.89/15.00	c Elapsed CPU time: 14.9387 s	Remaining CPU time: 165.061 s
14.89/15.00	c ===============================================================================
14.89/15.00	c |     18510 |      60      307    18420 |     5000     2659     37 |  0.028 % |
14.98/15.00	c ===============================================================================
14.98/15.00	c New solution: 3206
14.98/15.00	o 3206
14.98/15.00	c Elapsed CPU time: 14.9437 s	Remaining CPU time: 165.056 s
14.98/15.00	c ===============================================================================
14.98/15.00	c |     18510 |      60      308    18480 |     5000     2659     37 |  0.028 % |
15.08/15.11	c |     18611 |      60      308    18480 |     5500     2760     37 |  0.028 % |
15.08/15.16	c ===============================================================================
15.08/15.16	c New solution: 3184
15.08/15.16	o 3184
15.08/15.16	c Elapsed CPU time: 15.0967 s	Remaining CPU time: 164.903 s
15.08/15.16	c ===============================================================================
15.08/15.16	c |     18648 |      60      309    18540 |     5000     2797     37 |  0.028 % |
15.18/15.29	c |     18750 |      60      309    18540 |     5500     2899     37 |  0.028 % |
15.39/15.42	c ===============================================================================
15.39/15.42	c New solution: 3172
15.39/15.42	o 3172
15.39/15.42	c Elapsed CPU time: 15.3577 s	Remaining CPU time: 164.642 s
15.39/15.42	c ===============================================================================
15.39/15.42	c |     18879 |      60      310    18600 |     5000     3028     37 |  0.028 % |
15.48/15.51	c |     18979 |      60      310    18600 |     5500     3128     37 |  0.028 % |
15.58/15.62	c ===============================================================================
15.58/15.62	c New solution: 3161
15.58/15.62	o 3161
15.58/15.62	c Elapsed CPU time: 15.5606 s	Remaining CPU time: 164.439 s
15.58/15.62	c ===============================================================================
15.58/15.62	c |     19079 |      60      311    18660 |     5000     3228     37 |  0.028 % |
15.58/15.66	c ===============================================================================
15.58/15.66	c New solution: 3160
15.58/15.66	o 3160
15.58/15.66	c Elapsed CPU time: 15.6016 s	Remaining CPU time: 164.398 s
15.58/15.66	c ===============================================================================
15.58/15.66	c |     19133 |      60      312    18720 |     5000     3282     37 |  0.028 % |
15.68/15.77	c |     19234 |      60      312    18720 |     5500     3383     37 |  0.028 % |
15.88/15.94	c |     19385 |      60      312    18720 |     6050     3534     37 |  0.028 % |
15.99/16.09	c ===============================================================================
15.99/16.09	c New solution: 3157
15.99/16.09	o 3157
15.99/16.09	c Elapsed CPU time: 16.0266 s	Remaining CPU time: 163.973 s
15.99/16.09	c ===============================================================================
15.99/16.09	c |     19529 |      60      313    18780 |     5000     3678     38 |  0.028 % |
16.09/16.19	c |     19630 |      60      313    18780 |     5500     3779     38 |  0.028 % |
16.29/16.33	c |     19781 |      60      313    18780 |     6050     3930     38 |  0.028 % |
16.29/16.40	c ===============================================================================
16.29/16.40	c New solution: 3146
16.29/16.40	o 3146
16.29/16.40	c Elapsed CPU time: 16.3305 s	Remaining CPU time: 163.669 s
16.29/16.40	c ===============================================================================
16.29/16.40	c |     19850 |      60      314    18840 |     5000     3999     38 |  0.028 % |
16.39/16.40	c ===============================================================================
16.39/16.40	c New solution: 3113
16.39/16.40	o 3113
16.39/16.40	c Elapsed CPU time: 16.3355 s	Remaining CPU time: 163.664 s
16.39/16.40	c ===============================================================================
16.39/16.40	c |     19850 |      60      315    18900 |     5000     3999     38 |  0.028 % |
16.39/16.43	c ===============================================================================
16.39/16.43	c New solution: 3108
16.39/16.43	o 3108
16.39/16.43	c Elapsed CPU time: 16.3685 s	Remaining CPU time: 163.631 s
16.39/16.43	c ===============================================================================
16.39/16.43	c |     19875 |      60      316    18960 |     5000     4024     38 |  0.028 % |
16.39/16.46	c ===============================================================================
16.39/16.46	c New solution: 3096
16.39/16.46	o 3096
16.39/16.46	c Elapsed CPU time: 16.3915 s	Remaining CPU time: 163.608 s
16.39/16.46	c ===============================================================================
16.39/16.46	c |     19892 |      60      317    19020 |     5000     4041     38 |  0.028 % |
16.39/16.46	c ===============================================================================
16.39/16.46	c New solution: 3090
16.39/16.46	o 3090
16.39/16.46	c Elapsed CPU time: 16.3955 s	Remaining CPU time: 163.604 s
16.39/16.46	c ===============================================================================
16.39/16.46	c |     19892 |      60      318    19080 |     5000     4041     38 |  0.028 % |
16.49/16.57	c |     19996 |      60      318    19080 |     5500     4145     38 |  0.028 % |
16.59/16.66	c |     20146 |      60      318    19080 |     6050     4295     38 |  0.028 % |
16.79/16.86	c |     20375 |      60      318    19080 |     6655     4524     38 |  0.028 % |
16.99/17.01	c ===============================================================================
16.99/17.01	c New solution: 3085
16.99/17.01	o 3085
16.99/17.01	c Elapsed CPU time: 16.9474 s	Remaining CPU time: 163.053 s
16.99/17.01	c ===============================================================================
16.99/17.01	c |     20490 |      60      319    19140 |     5000     4639     38 |  0.028 % |
17.09/17.12	c ===============================================================================
17.09/17.12	c New solution: 3084
17.09/17.12	o 3084
17.09/17.12	c Elapsed CPU time: 17.0534 s	Remaining CPU time: 162.947 s
17.09/17.12	c ===============================================================================
17.09/17.12	c |     20560 |      60      320    19200 |     5000     4709     38 |  0.028 % |
17.19/17.21	c |     20661 |      60      320    19200 |     5500     4810     38 |  0.028 % |
17.29/17.32	c ===============================================================================
17.29/17.32	c New solution: 3081
17.29/17.32	o 3081
17.29/17.32	c Elapsed CPU time: 17.2544 s	Remaining CPU time: 162.746 s
17.29/17.32	c ===============================================================================
17.29/17.32	c |     20762 |      60      321    19260 |     5000     4911     38 |  0.028 % |
17.29/17.33	c ===============================================================================
17.29/17.33	c New solution: 3080
17.29/17.33	o 3080
17.29/17.33	c Elapsed CPU time: 17.2664 s	Remaining CPU time: 162.734 s
17.29/17.33	c ===============================================================================
17.29/17.33	c |     20768 |      60      322    19320 |     5000     4917     38 |  0.028 % |
17.29/17.35	c ===============================================================================
17.29/17.35	c New solution: 3079
17.29/17.35	o 3079
17.29/17.35	c Elapsed CPU time: 17.2864 s	Remaining CPU time: 162.714 s
17.29/17.35	c ===============================================================================
17.29/17.35	c |     20777 |      60      323    19380 |     5000     4926     38 |  0.028 % |
17.29/17.36	c ===============================================================================
17.29/17.36	c New solution: 3073
17.29/17.36	o 3073
17.29/17.36	c Elapsed CPU time: 17.2914 s	Remaining CPU time: 162.709 s
17.29/17.36	c ===============================================================================
17.29/17.36	c |     20777 |      60      324    19440 |     5000     4926     38 |  0.028 % |
17.29/17.37	c ===============================================================================
17.29/17.37	c New solution: 3072
17.29/17.37	o 3072
17.29/17.37	c Elapsed CPU time: 17.2984 s	Remaining CPU time: 162.702 s
17.29/17.37	c ===============================================================================
17.29/17.37	c |     20778 |      60      325    19500 |     5000     4927     38 |  0.028 % |
17.29/17.37	c ===============================================================================
17.29/17.37	c New solution: 3066
17.29/17.37	o 3066
17.29/17.37	c Elapsed CPU time: 17.3044 s	Remaining CPU time: 162.696 s
17.29/17.37	c ===============================================================================
17.29/17.37	c |     20778 |      60      326    19560 |     5000     4927     38 |  0.028 % |
17.29/17.39	c ===============================================================================
17.29/17.39	c New solution: 3055
17.29/17.39	o 3055
17.29/17.39	c Elapsed CPU time: 17.3244 s	Remaining CPU time: 162.676 s
17.29/17.39	c ===============================================================================
17.29/17.39	c |     20787 |      60      327    19620 |     5000     4936     38 |  0.028 % |
17.38/17.45	c ===============================================================================
17.38/17.45	c New solution: 3050
17.38/17.45	o 3050
17.38/17.45	c Elapsed CPU time: 17.3804 s	Remaining CPU time: 162.62 s
17.38/17.45	c ===============================================================================
17.38/17.45	c |     20832 |      60      328    19680 |     5000     4981     38 |  0.028 % |
17.49/17.52	c ===============================================================================
17.49/17.52	c New solution: 3048
17.49/17.52	o 3048
17.49/17.52	c Elapsed CPU time: 17.4483 s	Remaining CPU time: 162.552 s
17.49/17.52	c ===============================================================================
17.49/17.52	c |     20877 |      60      329    19740 |     5000     5026     38 |  0.028 % |
17.49/17.55	c ===============================================================================
17.49/17.55	c New solution: 3046
17.49/17.55	o 3046
17.49/17.55	c Elapsed CPU time: 17.4853 s	Remaining CPU time: 162.515 s
17.49/17.55	c ===============================================================================
17.49/17.55	c |     20891 |      60      330    19800 |     5000     2527     40 |  0.028 % |
17.59/17.68	c |     20991 |      60      330    19800 |     5500     2627     40 |  0.028 % |
17.68/17.73	c ===============================================================================
17.68/17.73	c New solution: 3040
17.68/17.73	o 3040
17.68/17.73	c Elapsed CPU time: 17.6593 s	Remaining CPU time: 162.341 s
17.68/17.73	c ===============================================================================
17.68/17.73	c |     21013 |      60      331    19860 |     5000     2649     40 |  0.028 % |
17.68/17.77	c ===============================================================================
17.68/17.77	c New solution: 3039
17.68/17.77	o 3039
17.68/17.77	c Elapsed CPU time: 17.7043 s	Remaining CPU time: 162.296 s
17.68/17.77	c ===============================================================================
17.68/17.77	c |     21038 |      60      332    19920 |     5000     2674     40 |  0.028 % |
17.78/17.81	c ===============================================================================
17.78/17.81	c New solution: 3034
17.78/17.81	o 3034
17.78/17.81	c Elapsed CPU time: 17.7393 s	Remaining CPU time: 162.261 s
17.78/17.81	c ===============================================================================
17.78/17.81	c |     21057 |      60      333    19980 |     5000     2693     40 |  0.028 % |
17.78/17.81	c ===============================================================================
17.78/17.81	c New solution: 3028
17.78/17.81	o 3028
17.78/17.81	c Elapsed CPU time: 17.7453 s	Remaining CPU time: 162.255 s
17.78/17.81	c ===============================================================================
17.78/17.81	c |     21057 |      60      334    20040 |     5000     2693     40 |  0.028 % |
17.78/17.88	c ===============================================================================
17.78/17.88	c New solution: 3027
17.78/17.88	o 3027
17.78/17.88	c Elapsed CPU time: 17.8073 s	Remaining CPU time: 162.193 s
17.78/17.88	c ===============================================================================
17.78/17.88	c |     21089 |      60      335    20100 |     5000     2725     40 |  0.028 % |
17.88/17.93	c ===============================================================================
17.88/17.93	c New solution: 3017
17.88/17.93	o 3017
17.88/17.93	c Elapsed CPU time: 17.8573 s	Remaining CPU time: 162.143 s
17.88/17.93	c ===============================================================================
17.88/17.93	c |     21116 |      60      336    20160 |     5000     2752     40 |  0.028 % |
17.88/17.99	c ===============================================================================
17.88/17.99	c New solution: 3011
17.88/17.99	o 3011
17.88/17.99	c Elapsed CPU time: 17.9233 s	Remaining CPU time: 162.077 s
17.88/17.99	c ===============================================================================
17.88/17.99	c |     21153 |      60      337    20220 |     5000     2789     40 |  0.028 % |
17.98/18.05	c ===============================================================================
17.98/18.05	c New solution: 3007
17.98/18.05	o 3007
17.98/18.05	c Elapsed CPU time: 17.9783 s	Remaining CPU time: 162.022 s
17.98/18.05	c ===============================================================================
17.98/18.05	c |     21181 |      60      338    20280 |     5000     2817     40 |  0.028 % |
17.98/18.05	c ===============================================================================
17.98/18.05	c New solution: 2993
17.98/18.05	o 2993
17.98/18.05	c Elapsed CPU time: 17.9853 s	Remaining CPU time: 162.015 s
17.98/18.05	c ===============================================================================
17.98/18.05	c |     21182 |      60      339    20340 |     5000     2818     40 |  0.028 % |
17.98/18.09	c ===============================================================================
17.98/18.09	c New solution: 2992
17.98/18.09	o 2992
17.98/18.09	c Elapsed CPU time: 18.0203 s	Remaining CPU time: 161.98 s
17.98/18.09	c ===============================================================================
17.98/18.09	c |     21200 |      60      340    20400 |     5000     2836     40 |  0.028 % |
17.98/18.09	c ===============================================================================
17.98/18.09	c New solution: 2985
17.98/18.09	o 2985
17.98/18.09	c Elapsed CPU time: 18.0253 s	Remaining CPU time: 161.975 s
17.98/18.09	c ===============================================================================
17.98/18.09	c |     21200 |      60      341    20460 |     5000     2836     40 |  0.028 % |
18.08/18.11	c ===============================================================================
18.08/18.11	c New solution: 2979
18.08/18.11	o 2979
18.08/18.11	c Elapsed CPU time: 18.0443 s	Remaining CPU time: 161.956 s
18.08/18.11	c ===============================================================================
18.08/18.11	c |     21208 |      60      342    20520 |     5000     2844     40 |  0.028 % |
18.08/18.14	c ===============================================================================
18.08/18.14	c New solution: 2972
18.08/18.14	o 2972
18.08/18.14	c Elapsed CPU time: 18.0703 s	Remaining CPU time: 161.93 s
18.08/18.14	c ===============================================================================
18.08/18.14	c |     21221 |      60      343    20580 |     5000     2857     40 |  0.028 % |
18.18/18.22	c ===============================================================================
18.18/18.22	c New solution: 2959
18.18/18.22	o 2959
18.18/18.22	c Elapsed CPU time: 18.1502 s	Remaining CPU time: 161.85 s
18.18/18.22	c ===============================================================================
18.18/18.22	c |     21265 |      60      344    20640 |     5000     2901     41 |  0.028 % |
18.28/18.36	c |     21366 |      60      344    20640 |     5500     3002     41 |  0.028 % |
18.28/18.37	c ===============================================================================
18.28/18.37	c New solution: 2958
18.28/18.37	o 2958
18.28/18.37	c Elapsed CPU time: 18.3002 s	Remaining CPU time: 161.7 s
18.28/18.37	c ===============================================================================
18.28/18.37	c |     21368 |      60      345    20700 |     5000     3004     41 |  0.028 % |
18.28/18.38	c ===============================================================================
18.28/18.38	c New solution: 2952
18.28/18.38	o 2952
18.28/18.38	c Elapsed CPU time: 18.3092 s	Remaining CPU time: 161.691 s
18.28/18.38	c ===============================================================================
18.28/18.38	c |     21371 |      60      346    20760 |     5000     3007     41 |  0.028 % |
18.38/18.45	c |     21471 |      60      346    20760 |     5500     3107     40 |  0.028 % |
18.60/18.60	c |     21623 |      60      346    20760 |     6050     3259     40 |  0.028 % |
18.60/18.69	c ===============================================================================
18.60/18.69	c New solution: 2949
18.60/18.69	o 2949
18.60/18.69	c Elapsed CPU time: 18.6192 s	Remaining CPU time: 161.381 s
18.60/18.69	c ===============================================================================
18.60/18.69	c |     21696 |      60      347    20820 |     5000     3332     40 |  0.028 % |
18.79/18.83	c |     21797 |      60      347    20820 |     5500     3433     40 |  0.028 % |
18.89/18.99	c |     21947 |      60      347    20820 |     6050     3583     40 |  0.028 % |
18.99/19.03	c ===============================================================================
18.99/19.03	c New solution: 2946
18.99/19.03	o 2946
18.99/19.03	c Elapsed CPU time: 18.9551 s	Remaining CPU time: 161.045 s
18.99/19.03	c ===============================================================================
18.99/19.03	c |     21968 |      60      348    20880 |     5000     3604     40 |  0.028 % |
19.09/19.13	c |     22070 |      60      348    20880 |     5500     3706     40 |  0.028 % |
19.19/19.28	c |     22220 |      60      348    20880 |     6050     3856     40 |  0.028 % |
19.49/19.54	c |     22446 |      60      348    20880 |     6655     4082     40 |  0.028 % |
19.49/19.54	c ===============================================================================
19.49/19.54	c New solution: 2945
19.49/19.54	o 2945
19.49/19.54	c Elapsed CPU time: 19.468 s	Remaining CPU time: 160.532 s
19.49/19.54	c ===============================================================================
19.49/19.54	c |     22446 |      60      349    20940 |     5000     4082     40 |  0.028 % |
19.59/19.64	c |     22546 |      60      349    20940 |     5500     4182     40 |  0.028 % |
19.70/19.76	c ===============================================================================
19.70/19.76	c New solution: 2937
19.70/19.76	o 2937
19.70/19.76	c Elapsed CPU time: 19.69 s	Remaining CPU time: 160.31 s
19.70/19.76	c ===============================================================================
19.70/19.76	c |     22638 |      60      350    21000 |     5000     4274     40 |  0.028 % |
19.70/19.78	c ===============================================================================
19.70/19.78	c New solution: 2935
19.70/19.78	o 2935
19.70/19.78	c Elapsed CPU time: 19.71 s	Remaining CPU time: 160.29 s
19.70/19.78	c ===============================================================================
19.70/19.78	c |     22646 |      60      351    21060 |     5000     4282     40 |  0.028 % |
19.80/19.82	c ===============================================================================
19.80/19.82	c New solution: 2933
19.80/19.82	o 2933
19.80/19.82	c Elapsed CPU time: 19.749 s	Remaining CPU time: 160.251 s
19.80/19.82	c ===============================================================================
19.80/19.82	c |     22661 |      60      352    21120 |     5000     4297     40 |  0.028 % |
19.89/19.94	c |     22762 |      60      352    21120 |     5500     4398     40 |  0.028 % |
19.99/20.07	c ===============================================================================
19.99/20.07	c New solution: 2929
19.99/20.07	o 2929
19.99/20.07	c Elapsed CPU time: 19.991 s	Remaining CPU time: 160.009 s
19.99/20.07	c ===============================================================================
19.99/20.07	c |     22851 |      60      353    21180 |     5000     4487     40 |  0.028 % |
20.09/20.16	c ===============================================================================
20.09/20.16	c New solution: 2923
20.09/20.16	o 2923
20.09/20.16	c Elapsed CPU time: 20.0809 s	Remaining CPU time: 159.919 s
20.09/20.16	c ===============================================================================
20.09/20.16	c |     22912 |      60      354    21240 |     5000     4548     40 |  0.028 % |
20.19/20.30	c |     23013 |      60      354    21240 |     5500     4649     40 |  0.028 % |
20.39/20.46	c |     23163 |      60      354    21240 |     6050     4799     40 |  0.028 % |
20.59/20.66	c ===============================================================================
20.59/20.66	c New solution: 2918
20.59/20.66	o 2918
20.59/20.66	c Elapsed CPU time: 20.5819 s	Remaining CPU time: 159.418 s
20.59/20.66	c ===============================================================================
20.59/20.66	c |     23337 |      60      355    21300 |     5000     4973     40 |  0.028 % |
20.69/20.74	c |     23438 |      60      355    21300 |     5500     2557     40 |  0.028 % |
20.79/20.89	c ===============================================================================
20.79/20.89	c New solution: 2917
20.79/20.89	o 2917
20.79/20.89	c Elapsed CPU time: 20.8188 s	Remaining CPU time: 159.181 s
20.79/20.89	c ===============================================================================
20.79/20.89	c |     23551 |      60      356    21360 |     5000     2670     40 |  0.028 % |
20.89/20.98	c ===============================================================================
20.89/20.98	c New solution: 2916
20.89/20.98	o 2916
20.89/20.98	c Elapsed CPU time: 20.9018 s	Remaining CPU time: 159.098 s
20.89/20.98	c ===============================================================================
20.89/20.98	c |     23617 |      60      357    21420 |     5000     2736     40 |  0.028 % |
20.98/21.09	c ===============================================================================
20.98/21.09	c New solution: 2912
20.98/21.09	o 2912
20.98/21.09	c Elapsed CPU time: 21.0158 s	Remaining CPU time: 158.984 s
20.98/21.09	c ===============================================================================
20.98/21.09	c |     23691 |      60      358    21480 |     5000     2810     40 |  0.028 % |
21.08/21.13	c ===============================================================================
21.08/21.13	c New solution: 2911
21.08/21.13	o 2911
21.08/21.13	c Elapsed CPU time: 21.0568 s	Remaining CPU time: 158.943 s
21.08/21.13	c ===============================================================================
21.08/21.13	c |     23711 |      60      359    21540 |     5000     2830     40 |  0.028 % |
21.08/21.19	c ===============================================================================
21.08/21.19	c New solution: 2908
21.08/21.19	o 2908
21.08/21.19	c Elapsed CPU time: 21.1168 s	Remaining CPU time: 158.883 s
21.08/21.19	c ===============================================================================
21.08/21.19	c |     23738 |      60      360    21600 |     5000     2857     40 |  0.028 % |
21.18/21.21	c ===============================================================================
21.18/21.21	c New solution: 2902
21.18/21.21	o 2902
21.18/21.21	c Elapsed CPU time: 21.1318 s	Remaining CPU time: 158.868 s
21.18/21.21	c ===============================================================================
21.18/21.21	c |     23745 |      60      361    21660 |     5000     2864     40 |  0.028 % |
21.18/21.24	c ===============================================================================
21.18/21.24	c New solution: 2898
21.18/21.24	o 2898
21.18/21.24	c Elapsed CPU time: 21.1618 s	Remaining CPU time: 158.838 s
21.18/21.24	c ===============================================================================
21.18/21.24	c |     23759 |      60      362    21720 |     5000     2878     40 |  0.028 % |
21.18/21.26	c ===============================================================================
21.18/21.26	c New solution: 2882
21.18/21.26	o 2882
21.18/21.26	c Elapsed CPU time: 21.1768 s	Remaining CPU time: 158.823 s
21.18/21.26	c ===============================================================================
21.18/21.26	c |     23763 |      60      363    21780 |     5000     2882     40 |  0.028 % |
21.18/21.26	c ===============================================================================
21.18/21.26	c New solution: 2876
21.18/21.26	o 2876
21.18/21.26	c Elapsed CPU time: 21.1828 s	Remaining CPU time: 158.817 s
21.18/21.26	c ===============================================================================
21.18/21.26	c |     23767 |      60      364    21840 |     5000     2886     40 |  0.028 % |
21.38/21.40	c |     23869 |      60      364    21840 |     5500     2988     40 |  0.028 % |
21.48/21.53	c |     24019 |      60      364    21840 |     6050     3138     40 |  0.028 % |
21.58/21.69	c ===============================================================================
21.58/21.69	c New solution: 2873
21.58/21.69	o 2873
21.58/21.69	c Elapsed CPU time: 21.6097 s	Remaining CPU time: 158.39 s
21.58/21.69	c ===============================================================================
21.58/21.69	c |     24149 |      60      365    21900 |     5000     3268     40 |  0.028 % |
21.78/21.83	c |     24249 |      60      365    21900 |     5500     3368     40 |  0.028 % |
21.89/21.98	c ===============================================================================
21.89/21.98	c New solution: 2868
21.89/21.98	o 2868
21.89/21.98	c Elapsed CPU time: 21.9017 s	Remaining CPU time: 158.098 s
21.89/21.98	c ===============================================================================
21.89/21.98	c |     24339 |      60      366    21960 |     5000     3458     40 |  0.028 % |
21.89/21.99	c ===============================================================================
21.89/21.99	c New solution: 2866
21.89/21.99	o 2866
21.89/21.99	c Elapsed CPU time: 21.9067 s	Remaining CPU time: 158.093 s
21.89/21.99	c ===============================================================================
21.89/21.99	c |     24339 |      60      367    22020 |     5000     3458     40 |  0.028 % |
22.00/22.03	c ===============================================================================
22.00/22.03	c New solution: 2858
22.00/22.03	o 2858
22.00/22.03	c Elapsed CPU time: 21.9507 s	Remaining CPU time: 158.049 s
22.00/22.03	c ===============================================================================
22.00/22.03	c |     24360 |      60      368    22080 |     5000     3479     40 |  0.028 % |
22.09/22.16	c |     24463 |      60      368    22080 |     5500     3582     40 |  0.028 % |
22.19/22.26	c ===============================================================================
22.19/22.26	c New solution: 2856
22.19/22.26	o 2856
22.19/22.26	c Elapsed CPU time: 22.1786 s	Remaining CPU time: 157.821 s
22.19/22.26	c ===============================================================================
22.19/22.26	c |     24525 |      60      369    22140 |     5000     3644     40 |  0.028 % |
22.19/22.29	c ===============================================================================
22.19/22.29	c New solution: 2851
22.19/22.29	o 2851
22.19/22.29	c Elapsed CPU time: 22.2076 s	Remaining CPU time: 157.792 s
22.19/22.29	c ===============================================================================
22.19/22.29	c |     24541 |      60      370    22200 |     5000     3660     40 |  0.028 % |
22.29/22.30	c ===============================================================================
22.29/22.30	c New solution: 2850
22.29/22.30	o 2850
22.29/22.30	c Elapsed CPU time: 22.2136 s	Remaining CPU time: 157.786 s
22.29/22.30	c ===============================================================================
22.29/22.30	c |     24542 |      60      371    22260 |     5000     3661     40 |  0.028 % |
22.29/22.32	c ===============================================================================
22.29/22.32	c New solution: 2847
22.29/22.32	o 2847
22.29/22.32	c Elapsed CPU time: 22.2316 s	Remaining CPU time: 157.768 s
22.29/22.32	c ===============================================================================
22.29/22.32	c |     24551 |      60      372    22320 |     5000     3670     40 |  0.028 % |
22.29/22.32	c ===============================================================================
22.29/22.32	c New solution: 2844
22.29/22.32	o 2844
22.29/22.32	c Elapsed CPU time: 22.2376 s	Remaining CPU time: 157.762 s
22.29/22.32	c ===============================================================================
22.29/22.32	c |     24551 |      60      373    22380 |     5000     3670     40 |  0.028 % |
22.29/22.33	c ===============================================================================
22.29/22.33	c New solution: 2842
22.29/22.33	o 2842
22.29/22.33	c Elapsed CPU time: 22.2446 s	Remaining CPU time: 157.755 s
22.29/22.33	c ===============================================================================
22.29/22.33	c |     24552 |      60      374    22440 |     5000     3671     40 |  0.028 % |
22.39/22.44	c |     24653 |      60      374    22440 |     5500     3772     40 |  0.028 % |
22.49/22.54	c ===============================================================================
22.49/22.54	c New solution: 2841
22.49/22.54	o 2841
22.49/22.54	c Elapsed CPU time: 22.4566 s	Remaining CPU time: 157.543 s
22.49/22.54	c ===============================================================================
22.49/22.54	c |     24716 |      60      375    22500 |     5000     3835     40 |  0.028 % |
22.59/22.68	c ===============================================================================
22.59/22.68	c New solution: 2836
22.59/22.68	o 2836
22.59/22.68	c Elapsed CPU time: 22.5926 s	Remaining CPU time: 157.407 s
22.59/22.68	c ===============================================================================
22.59/22.68	c |     24815 |      60      376    22560 |     5000     3934     41 |  0.028 % |
22.79/22.81	c |     24916 |      60      376    22560 |     5500     4035     40 |  0.028 % |
22.89/22.97	c ===============================================================================
22.89/22.97	c New solution: 2833
22.89/22.97	o 2833
22.89/22.97	c Elapsed CPU time: 22.8835 s	Remaining CPU time: 157.116 s
22.89/22.97	c ===============================================================================
22.89/22.97	c |     25032 |      60      377    22620 |     5000     4151     40 |  0.028 % |
22.99/23.03	c ===============================================================================
22.99/23.03	c New solution: 2832
22.99/23.03	o 2832
22.99/23.03	c Elapsed CPU time: 22.9395 s	Remaining CPU time: 157.06 s
22.99/23.03	c ===============================================================================
22.99/23.03	c |     25064 |      60      378    22680 |     5000     4183     40 |  0.028 % |
23.09/23.15	c |     25165 |      60      378    22680 |     5500     4284     40 |  0.028 % |
23.28/23.34	c |     25316 |      60      378    22680 |     6050     4435     40 |  0.028 % |
23.48/23.54	c ===============================================================================
23.48/23.54	c New solution: 2824
23.48/23.54	o 2824
23.48/23.54	c Elapsed CPU time: 23.4454 s	Remaining CPU time: 156.555 s
23.48/23.54	c ===============================================================================
23.48/23.54	c |     25427 |      60      379    22740 |     5000     4546     40 |  0.028 % |
23.48/23.54	c ===============================================================================
23.48/23.54	c New solution: 2818
23.48/23.54	o 2818
23.48/23.54	c Elapsed CPU time: 23.4524 s	Remaining CPU time: 156.548 s
23.48/23.54	c ===============================================================================
23.48/23.54	c |     25427 |      60      380    22800 |     5000     4546     40 |  0.028 % |
23.48/23.59	c ===============================================================================
23.48/23.59	c New solution: 2814
23.48/23.59	o 2814
23.48/23.59	c Elapsed CPU time: 23.5034 s	Remaining CPU time: 156.497 s
23.48/23.59	c ===============================================================================
23.48/23.59	c |     25453 |      60      381    22860 |     5000     4572     40 |  0.028 % |
23.58/23.60	c ===============================================================================
23.58/23.60	c New solution: 2808
23.58/23.60	o 2808
23.58/23.60	c Elapsed CPU time: 23.5104 s	Remaining CPU time: 156.49 s
23.58/23.60	c ===============================================================================
23.58/23.60	c |     25453 |      60      382    22920 |     5000     4572     40 |  0.028 % |
23.58/23.66	c ===============================================================================
23.58/23.66	c New solution: 2796
23.58/23.66	o 2796
23.58/23.66	c Elapsed CPU time: 23.5654 s	Remaining CPU time: 156.435 s
23.58/23.66	c ===============================================================================
23.58/23.66	c |     25483 |      60      383    22980 |     5000     4602     40 |  0.028 % |
23.68/23.70	c ===============================================================================
23.68/23.70	c New solution: 2790
23.68/23.70	o 2790
23.68/23.70	c Elapsed CPU time: 23.6084 s	Remaining CPU time: 156.392 s
23.68/23.70	c ===============================================================================
23.68/23.70	c |     25502 |      60      384    23040 |     5000     4621     41 |  0.028 % |
23.68/23.71	c ===============================================================================
23.68/23.71	c New solution: 2784
23.68/23.71	o 2784
23.68/23.71	c Elapsed CPU time: 23.6154 s	Remaining CPU time: 156.385 s
23.68/23.71	c ===============================================================================
23.68/23.71	c |     25502 |      60      385    23100 |     5000     4621     41 |  0.028 % |
23.68/23.71	c ===============================================================================
23.68/23.71	c New solution: 2782
23.68/23.71	o 2782
23.68/23.71	c Elapsed CPU time: 23.6214 s	Remaining CPU time: 156.379 s
23.68/23.71	c ===============================================================================
23.68/23.71	c |     25502 |      60      386    23160 |     5000     4621     41 |  0.028 % |
23.78/23.87	c |     25604 |      60      386    23160 |     5500     4723     41 |  0.028 % |
23.88/23.97	c ===============================================================================
23.88/23.97	c New solution: 2776
23.88/23.97	o 2776
23.88/23.97	c Elapsed CPU time: 23.8804 s	Remaining CPU time: 156.12 s
23.88/23.97	c ===============================================================================
23.88/23.97	c |     25669 |      60      387    23220 |     5000     4788     41 |  0.028 % |
23.98/24.00	c ===============================================================================
23.98/24.00	c New solution: 2773
23.98/24.00	o 2773
23.98/24.00	c Elapsed CPU time: 23.9094 s	Remaining CPU time: 156.091 s
23.98/24.00	c ===============================================================================
23.98/24.00	c |     25684 |      60      388    23280 |     5000     4803     41 |  0.028 % |
23.98/24.02	c ===============================================================================
23.98/24.02	c New solution: 2767
23.98/24.02	o 2767
23.98/24.02	c Elapsed CPU time: 23.9294 s	Remaining CPU time: 156.071 s
23.98/24.02	c ===============================================================================
23.98/24.02	c |     25694 |      60      389    23340 |     5000     4813     41 |  0.028 % |
24.09/24.18	c |     25795 |      60      389    23340 |     5500     4914     41 |  0.028 % |
24.09/24.19	c ===============================================================================
24.09/24.19	c New solution: 2762
24.09/24.19	o 2762
24.09/24.19	c Elapsed CPU time: 24.1023 s	Remaining CPU time: 155.898 s
24.09/24.19	c ===============================================================================
24.09/24.19	c |     25801 |      60      390    23400 |     5000     4920     41 |  0.028 % |
24.19/24.22	c ===============================================================================
24.19/24.22	c New solution: 2761
24.19/24.22	o 2761
24.19/24.22	c Elapsed CPU time: 24.1253 s	Remaining CPU time: 155.875 s
24.19/24.22	c ===============================================================================
24.19/24.22	c |     25811 |      60      391    23460 |     5000     4930     41 |  0.028 % |
24.19/24.22	c ===============================================================================
24.19/24.22	c New solution: 2759
24.19/24.22	o 2759
24.19/24.22	c Elapsed CPU time: 24.1313 s	Remaining CPU time: 155.869 s
24.19/24.22	c ===============================================================================
24.19/24.22	c |     25811 |      60      392    23520 |     5000     4930     41 |  0.028 % |
24.19/24.24	c ===============================================================================
24.19/24.24	c New solution: 2757
24.19/24.24	o 2757
24.19/24.24	c Elapsed CPU time: 24.1443 s	Remaining CPU time: 155.856 s
24.19/24.24	c ===============================================================================
24.19/24.24	c |     25816 |      60      393    23580 |     5000     4935     41 |  0.028 % |
24.19/24.24	c ===============================================================================
24.19/24.24	c New solution: 2755
24.19/24.24	o 2755
24.19/24.24	c Elapsed CPU time: 24.1503 s	Remaining CPU time: 155.85 s
24.19/24.24	c ===============================================================================
24.19/24.24	c |     25816 |      60      394    23640 |     5000     4935     41 |  0.028 % |
24.19/24.25	c ===============================================================================
24.19/24.25	c New solution: 2749
24.19/24.25	o 2749
24.19/24.25	c Elapsed CPU time: 24.1593 s	Remaining CPU time: 155.841 s
24.19/24.25	c ===============================================================================
24.19/24.25	c |     25817 |      60      395    23700 |     5000     4936     41 |  0.028 % |
24.19/24.27	c ===============================================================================
24.19/24.27	c New solution: 2746
24.19/24.27	o 2746
24.19/24.27	c Elapsed CPU time: 24.1823 s	Remaining CPU time: 155.818 s
24.19/24.27	c ===============================================================================
24.19/24.27	c |     25827 |      60      396    23760 |     5000     4946     41 |  0.028 % |
24.19/24.28	c ===============================================================================
24.19/24.28	c New solution: 2742
24.19/24.28	o 2742
24.19/24.28	c Elapsed CPU time: 24.1883 s	Remaining CPU time: 155.812 s
24.19/24.28	c ===============================================================================
24.19/24.28	c |     25828 |      60      397    23820 |     5000     4947     41 |  0.028 % |
24.19/24.29	c ===============================================================================
24.19/24.29	c New solution: 2740
24.19/24.29	o 2740
24.19/24.29	c Elapsed CPU time: 24.1943 s	Remaining CPU time: 155.806 s
24.19/24.29	c ===============================================================================
24.19/24.29	c |     25828 |      60      398    23880 |     5000     4947     41 |  0.028 % |
24.29/24.36	c ===============================================================================
24.29/24.36	c New solution: 2739
24.29/24.36	o 2739
24.29/24.36	c Elapsed CPU time: 24.2633 s	Remaining CPU time: 155.737 s
24.29/24.36	c ===============================================================================
24.29/24.36	c |     25864 |      60      399    23940 |     5000     4983     41 |  0.028 % |
24.29/24.36	c ===============================================================================
24.29/24.36	c New solution: 2736
24.29/24.36	o 2736
24.29/24.36	c Elapsed CPU time: 24.2693 s	Remaining CPU time: 155.731 s
24.29/24.36	c ===============================================================================
24.29/24.36	c |     25864 |      60      400    24000 |     5000     4983     41 |  0.028 % |
24.29/24.39	c ===============================================================================
24.29/24.39	c New solution: 2726
24.29/24.39	o 2726
24.29/24.39	c Elapsed CPU time: 24.2983 s	Remaining CPU time: 155.702 s
24.29/24.39	c ===============================================================================
24.29/24.39	c |     25878 |      60      401    24060 |     5000     4997     41 |  0.028 % |
24.39/24.41	c ===============================================================================
24.39/24.41	c New solution: 2725
24.39/24.41	o 2725
24.39/24.41	c Elapsed CPU time: 24.3123 s	Remaining CPU time: 155.688 s
24.39/24.41	c ===============================================================================
24.39/24.41	c |     25884 |      60      402    24120 |     5000     5003     41 |  0.028 % |
24.39/24.42	c ===============================================================================
24.39/24.42	c New solution: 2724
24.39/24.42	o 2724
24.39/24.42	c Elapsed CPU time: 24.3283 s	Remaining CPU time: 155.672 s
24.39/24.42	c ===============================================================================
24.39/24.42	c |     25884 |      60      403    24180 |     5000     2502     41 |  0.028 % |
24.39/24.43	c ===============================================================================
24.39/24.43	c New solution: 2720
24.39/24.43	o 2720
24.39/24.43	c Elapsed CPU time: 24.3343 s	Remaining CPU time: 155.666 s
24.39/24.43	c ===============================================================================
24.39/24.43	c |     25884 |      60      404    24240 |     5000     2502     41 |  0.028 % |
24.39/24.43	c ===============================================================================
24.39/24.43	c New solution: 2718
24.39/24.43	o 2718
24.39/24.43	c Elapsed CPU time: 24.3403 s	Remaining CPU time: 155.66 s
24.39/24.43	c ===============================================================================
24.39/24.43	c |     25884 |      60      405    24300 |     5000     2502     41 |  0.028 % |
24.49/24.53	c ===============================================================================
24.49/24.53	c New solution: 2716
24.49/24.53	o 2716
24.49/24.53	c Elapsed CPU time: 24.4403 s	Remaining CPU time: 155.56 s
24.49/24.53	c ===============================================================================
24.49/24.53	c |     25936 |      60      406    24360 |     5000     2554     41 |  0.028 % |
24.49/24.54	c ===============================================================================
24.49/24.54	c New solution: 2712
24.49/24.54	o 2712
24.49/24.54	c Elapsed CPU time: 24.4463 s	Remaining CPU time: 155.554 s
24.49/24.54	c ===============================================================================
24.49/24.54	c |     25936 |      60      407    24420 |     5000     2554     41 |  0.028 % |
24.49/24.56	c ===============================================================================
24.49/24.56	c New solution: 2711
24.49/24.56	o 2711
24.49/24.56	c Elapsed CPU time: 24.4633 s	Remaining CPU time: 155.537 s
24.49/24.56	c ===============================================================================
24.49/24.56	c |     25943 |      60      408    24480 |     5000     2561     41 |  0.028 % |
24.49/24.56	c ===============================================================================
24.49/24.56	c New solution: 2707
24.49/24.56	o 2707
24.49/24.56	c Elapsed CPU time: 24.4693 s	Remaining CPU time: 155.531 s
24.49/24.56	c ===============================================================================
24.49/24.56	c |     25943 |      60      409    24540 |     5000     2561     41 |  0.028 % |
24.49/24.57	c ===============================================================================
24.49/24.57	c New solution: 2705
24.49/24.57	o 2705
24.49/24.57	c Elapsed CPU time: 24.4773 s	Remaining CPU time: 155.523 s
24.49/24.57	c ===============================================================================
24.49/24.57	c |     25944 |      60      410    24600 |     5000     2562     41 |  0.028 % |
24.49/24.58	c ===============================================================================
24.49/24.58	c New solution: 2699
24.49/24.58	o 2699
24.49/24.58	c Elapsed CPU time: 24.4833 s	Remaining CPU time: 155.517 s
24.49/24.58	c ===============================================================================
24.49/24.58	c |     25944 |      60      411    24660 |     5000     2562     41 |  0.028 % |
24.59/24.66	c ===============================================================================
24.59/24.66	c New solution: 2695
24.59/24.66	o 2695
24.59/24.66	c Elapsed CPU time: 24.5683 s	Remaining CPU time: 155.432 s
24.59/24.66	c ===============================================================================
24.59/24.66	c |     25988 |      60      412    24720 |     5000     2606     42 |  0.028 % |
24.59/24.67	c ===============================================================================
24.59/24.67	c New solution: 2693
24.59/24.67	o 2693
24.59/24.67	c Elapsed CPU time: 24.5803 s	Remaining CPU time: 155.42 s
24.59/24.67	c ===============================================================================
24.59/24.67	c |     25992 |      60      413    24780 |     5000     2610     42 |  0.028 % |
24.59/24.68	c ===============================================================================
24.59/24.68	c New solution: 2691
24.59/24.68	o 2691
24.59/24.68	c Elapsed CPU time: 24.5893 s	Remaining CPU time: 155.411 s
24.59/24.68	c ===============================================================================
24.59/24.68	c |     25995 |      60      414    24840 |     5000     2613     42 |  0.028 % |
24.59/24.69	c ===============================================================================
24.59/24.69	c New solution: 2690
24.59/24.69	o 2690
24.59/24.69	c Elapsed CPU time: 24.5953 s	Remaining CPU time: 155.405 s
24.59/24.69	c ===============================================================================
24.59/24.69	c |     25995 |      60      415    24900 |     5000     2613     42 |  0.028 % |
24.69/24.71	c ===============================================================================
24.69/24.71	c New solution: 2688
24.69/24.71	o 2688
24.69/24.71	c Elapsed CPU time: 24.6133 s	Remaining CPU time: 155.387 s
24.69/24.71	c ===============================================================================
24.69/24.71	c |     26004 |      60      416    24960 |     5000     2622     42 |  0.028 % |
24.69/24.72	c ===============================================================================
24.69/24.72	c New solution: 2686
24.69/24.72	o 2686
24.69/24.72	c Elapsed CPU time: 24.6223 s	Remaining CPU time: 155.378 s
24.69/24.72	c ===============================================================================
24.69/24.72	c |     26006 |      60      417    25020 |     5000     2624     42 |  0.028 % |
24.79/24.84	c |     26106 |      60      417    25020 |     5500     2724     41 |  0.028 % |
24.99/25.03	c |     26256 |      60      417    25020 |     6050     2874     41 |  0.028 % |
25.19/25.28	c ===============================================================================
25.19/25.28	c New solution: 2681
25.19/25.28	o 2681
25.19/25.28	c Elapsed CPU time: 25.1852 s	Remaining CPU time: 154.815 s
25.19/25.28	c ===============================================================================
25.19/25.28	c |     26443 |      60      418    25080 |     5000     3061     41 |  0.028 % |
25.29/25.32	c ===============================================================================
25.29/25.32	c New solution: 2675
25.29/25.32	o 2675
25.29/25.32	c Elapsed CPU time: 25.2282 s	Remaining CPU time: 154.772 s
25.29/25.32	c ===============================================================================
25.29/25.32	c |     26463 |      60      419    25140 |     5000     3081     41 |  0.028 % |
25.29/25.36	c ===============================================================================
25.29/25.36	c New solution: 2672
25.29/25.36	o 2672
25.29/25.36	c Elapsed CPU time: 25.2592 s	Remaining CPU time: 154.741 s
25.29/25.36	c ===============================================================================
25.29/25.36	c |     26475 |      60      420    25200 |     5000     3093     41 |  0.028 % |
25.39/25.40	c ===============================================================================
25.39/25.40	c New solution: 2669
25.39/25.40	o 2669
25.39/25.40	c Elapsed CPU time: 25.3032 s	Remaining CPU time: 154.697 s
25.39/25.40	c ===============================================================================
25.39/25.40	c |     26493 |      60      421    25260 |     5000     3111     41 |  0.028 % |
25.39/25.41	c ===============================================================================
25.39/25.41	c New solution: 2666
25.39/25.41	o 2666
25.39/25.41	c Elapsed CPU time: 25.3112 s	Remaining CPU time: 154.689 s
25.39/25.41	c ===============================================================================
25.39/25.41	c |     26494 |      60      422    25320 |     5000     3112     41 |  0.028 % |
25.39/25.42	c ===============================================================================
25.39/25.42	c New solution: 2660
25.39/25.42	o 2660
25.39/25.42	c Elapsed CPU time: 25.3182 s	Remaining CPU time: 154.682 s
25.39/25.42	c ===============================================================================
25.39/25.42	c |     26494 |      60      423    25380 |     5000     3112     41 |  0.028 % |
25.39/25.43	c ===============================================================================
25.39/25.43	c New solution: 2657
25.39/25.43	o 2657
25.39/25.43	c Elapsed CPU time: 25.3331 s	Remaining CPU time: 154.667 s
25.39/25.43	c ===============================================================================
25.39/25.43	c |     26497 |      60      424    25440 |     5000     3115     41 |  0.028 % |
25.39/25.46	c ===============================================================================
25.39/25.46	c New solution: 2656
25.39/25.46	o 2656
25.39/25.46	c Elapsed CPU time: 25.3641 s	Remaining CPU time: 154.636 s
25.39/25.46	c ===============================================================================
25.39/25.46	c |     26514 |      60      425    25500 |     5000     3132     41 |  0.028 % |
25.39/25.47	c ===============================================================================
25.39/25.47	c New solution: 2654
25.39/25.47	o 2654
25.39/25.47	c Elapsed CPU time: 25.3701 s	Remaining CPU time: 154.63 s
25.39/25.47	c ===============================================================================
25.39/25.47	c |     26514 |      60      426    25560 |     5000     3132     41 |  0.028 % |
25.39/25.49	c ===============================================================================
25.39/25.49	c New solution: 2653
25.39/25.49	o 2653
25.39/25.49	c Elapsed CPU time: 25.3901 s	Remaining CPU time: 154.61 s
25.39/25.49	c ===============================================================================
25.39/25.49	c |     26520 |      60      427    25620 |     5000     3138     41 |  0.028 % |
25.48/25.51	c ===============================================================================
25.48/25.51	c New solution: 2645
25.48/25.51	o 2645
25.48/25.51	c Elapsed CPU time: 25.4111 s	Remaining CPU time: 154.589 s
25.48/25.51	c ===============================================================================
25.48/25.51	c |     26528 |      60      428    25680 |     5000     3146     41 |  0.028 % |
25.48/25.52	c ===============================================================================
25.48/25.52	c New solution: 2643
25.48/25.52	o 2643
25.48/25.52	c Elapsed CPU time: 25.4181 s	Remaining CPU time: 154.582 s
25.48/25.52	c ===============================================================================
25.48/25.52	c |     26528 |      60      429    25740 |     5000     3146     41 |  0.028 % |
25.48/25.52	c ===============================================================================
25.48/25.52	c New solution: 2642
25.48/25.52	o 2642
25.48/25.52	c Elapsed CPU time: 25.4261 s	Remaining CPU time: 154.574 s
25.48/25.52	c ===============================================================================
25.48/25.52	c |     26528 |      60      430    25800 |     5000     3146     41 |  0.028 % |
25.48/25.55	c ===============================================================================
25.48/25.55	c New solution: 2639
25.48/25.55	o 2639
25.48/25.55	c Elapsed CPU time: 25.4471 s	Remaining CPU time: 154.553 s
25.48/25.55	c ===============================================================================
25.48/25.55	c |     26535 |      60      431    25860 |     5000     3153     41 |  0.028 % |
25.48/25.55	c ===============================================================================
25.48/25.55	c New solution: 2637
25.48/25.55	o 2637
25.48/25.55	c Elapsed CPU time: 25.4551 s	Remaining CPU time: 154.545 s
25.48/25.55	c ===============================================================================
25.48/25.55	c |     26535 |      60      432    25920 |     5000     3153     41 |  0.028 % |
25.48/25.56	c ===============================================================================
25.48/25.56	c New solution: 2636
25.48/25.56	o 2636
25.48/25.56	c Elapsed CPU time: 25.4621 s	Remaining CPU time: 154.538 s
25.48/25.56	c ===============================================================================
25.48/25.56	c |     26535 |      60      433    25980 |     5000     3153     41 |  0.028 % |
25.48/25.57	c ===============================================================================
25.48/25.57	c New solution: 2633
25.48/25.57	o 2633
25.48/25.57	c Elapsed CPU time: 25.4701 s	Remaining CPU time: 154.53 s
25.48/25.57	c ===============================================================================
25.48/25.57	c |     26536 |      60      434    26040 |     5000     3154     41 |  0.028 % |
25.48/25.58	c ===============================================================================
25.48/25.58	c New solution: 2631
25.48/25.58	o 2631
25.48/25.58	c Elapsed CPU time: 25.4771 s	Remaining CPU time: 154.523 s
25.48/25.58	c ===============================================================================
25.48/25.58	c |     26537 |      60      435    26100 |     5000     3155     41 |  0.028 % |
25.48/25.58	c ===============================================================================
25.48/25.58	c New solution: 2630
25.48/25.58	o 2630
25.48/25.58	c Elapsed CPU time: 25.4851 s	Remaining CPU time: 154.515 s
25.48/25.58	c ===============================================================================
25.48/25.58	c |     26537 |      60      436    26160 |     5000     3155     41 |  0.028 % |
25.48/25.59	c ===============================================================================
25.48/25.59	c New solution: 2627
25.48/25.59	o 2627
25.48/25.59	c Elapsed CPU time: 25.4931 s	Remaining CPU time: 154.507 s
25.48/25.59	c ===============================================================================
25.48/25.59	c |     26538 |      60      437    26220 |     5000     3156     41 |  0.028 % |
25.58/25.63	c ===============================================================================
25.58/25.63	c New solution: 2625
25.58/25.63	o 2625
25.58/25.63	c Elapsed CPU time: 25.5281 s	Remaining CPU time: 154.472 s
25.58/25.63	c ===============================================================================
25.58/25.63	c |     26549 |      60      438    26280 |     5000     3167     41 |  0.028 % |
25.58/25.64	c ===============================================================================
25.58/25.64	c New solution: 2619
25.58/25.64	o 2619
25.58/25.64	c Elapsed CPU time: 25.5441 s	Remaining CPU time: 154.456 s
25.58/25.64	c ===============================================================================
25.58/25.64	c |     26553 |      60      439    26340 |     5000     3171     41 |  0.028 % |
25.58/25.65	c ===============================================================================
25.58/25.65	c New solution: 2613
25.58/25.65	o 2613
25.58/25.65	c Elapsed CPU time: 25.5511 s	Remaining CPU time: 154.449 s
25.58/25.65	c ===============================================================================
25.58/25.65	c |     26553 |      60      440    26400 |     5000     3171     41 |  0.028 % |
25.58/25.69	c ===============================================================================
25.58/25.69	c New solution: 2606
25.58/25.69	o 2606
25.58/25.69	c Elapsed CPU time: 25.5861 s	Remaining CPU time: 154.414 s
25.58/25.69	c ===============================================================================
25.58/25.69	c |     26568 |      60      441    26460 |     5000     3186     41 |  0.028 % |
25.58/25.69	c ===============================================================================
25.58/25.69	c New solution: 2604
25.58/25.69	o 2604
25.58/25.69	c Elapsed CPU time: 25.5931 s	Remaining CPU time: 154.407 s
25.58/25.69	c ===============================================================================
25.58/25.69	c |     26568 |      60      442    26520 |     5000     3186     41 |  0.028 % |
25.78/25.82	c ===============================================================================
25.78/25.82	c New solution: 2598
25.78/25.83	o 2598
25.78/25.83	c Elapsed CPU time: 25.7251 s	Remaining CPU time: 154.275 s
25.78/25.83	c ===============================================================================
25.78/25.83	c |     26626 |      60      443    26580 |     5000     3244     41 |  0.028 % |
25.78/25.88	c ===============================================================================
25.78/25.88	c New solution: 2592
25.78/25.88	o 2592
25.78/25.88	c Elapsed CPU time: 25.7841 s	Remaining CPU time: 154.216 s
25.78/25.88	c ===============================================================================
25.78/25.88	c |     26653 |      60      444    26640 |     5000     3271     41 |  0.028 % |
25.88/25.91	c ===============================================================================
25.88/25.91	c New solution: 2590
25.88/25.91	o 2590
25.88/25.91	c Elapsed CPU time: 25.8111 s	Remaining CPU time: 154.189 s
25.88/25.91	c ===============================================================================
25.88/25.91	c |     26663 |      60      445    26700 |     5000     3281     41 |  0.028 % |
25.88/25.99	c ===============================================================================
25.88/25.99	c New solution: 2583
25.88/25.99	o 2583
25.88/25.99	c Elapsed CPU time: 25.8881 s	Remaining CPU time: 154.112 s
25.88/25.99	c ===============================================================================
25.88/25.99	c |     26698 |      60      446    26760 |     5000     3316     41 |  0.028 % |
25.98/26.01	c ===============================================================================
25.98/26.01	c New solution: 2581
25.98/26.01	o 2581
25.98/26.01	c Elapsed CPU time: 25.9061 s	Remaining CPU time: 154.094 s
25.98/26.01	c ===============================================================================
25.98/26.01	c |     26705 |      60      447    26820 |     5000     3323     41 |  0.028 % |
25.98/26.01	c ===============================================================================
25.98/26.01	c New solution: 2577
25.98/26.01	o 2577
25.98/26.01	c Elapsed CPU time: 25.9131 s	Remaining CPU time: 154.087 s
25.98/26.01	c ===============================================================================
25.98/26.01	c |     26706 |      60      448    26880 |     5000     3324     41 |  0.028 % |
25.98/26.03	c ===============================================================================
25.98/26.03	c New solution: 2575
25.98/26.03	o 2575
25.98/26.03	c Elapsed CPU time: 25.9261 s	Remaining CPU time: 154.074 s
25.98/26.03	c ===============================================================================
25.98/26.03	c |     26708 |      60      449    26940 |     5000     3326     41 |  0.028 % |
25.98/26.03	c ===============================================================================
25.98/26.03	c New solution: 2574
25.98/26.03	o 2574
25.98/26.03	c Elapsed CPU time: 25.9341 s	Remaining CPU time: 154.066 s
25.98/26.03	c ===============================================================================
25.98/26.03	c |     26709 |      60      450    27000 |     5000     3327     41 |  0.028 % |
25.98/26.05	c ===============================================================================
25.98/26.05	c New solution: 2561
25.98/26.05	o 2561
25.98/26.05	c Elapsed CPU time: 25.9431 s	Remaining CPU time: 154.057 s
25.98/26.05	c ===============================================================================
25.98/26.05	c |     26711 |      60      451    27060 |     5000     3329     41 |  0.028 % |
25.98/26.05	c ===============================================================================
25.98/26.05	c New solution: 2555
25.98/26.05	o 2555
25.98/26.05	c Elapsed CPU time: 25.9501 s	Remaining CPU time: 154.05 s
25.98/26.05	c ===============================================================================
25.98/26.05	c |     26711 |      60      452    27120 |     5000     3329     41 |  0.028 % |
25.98/26.06	c ===============================================================================
25.98/26.06	c New solution: 2553
25.98/26.06	o 2553
25.98/26.06	c Elapsed CPU time: 25.9581 s	Remaining CPU time: 154.042 s
25.98/26.06	c ===============================================================================
25.98/26.06	c |     26711 |      60      453    27180 |     5000     3329     41 |  0.028 % |
25.98/26.07	c ===============================================================================
25.98/26.07	c New solution: 2540
25.98/26.07	o 2540
25.98/26.07	c Elapsed CPU time: 25.9721 s	Remaining CPU time: 154.028 s
25.98/26.07	c ===============================================================================
25.98/26.07	c |     26715 |      60      454    27240 |     5000     3333     41 |  0.028 % |
25.98/26.10	c ===============================================================================
25.98/26.10	c New solution: 2532
25.98/26.10	o 2532
25.98/26.10	c Elapsed CPU time: 25.994 s	Remaining CPU time: 154.006 s
25.98/26.10	c ===============================================================================
25.98/26.10	c |     26722 |      60      455    27300 |     5000     3340     41 |  0.028 % |
26.08/26.12	c ===============================================================================
26.08/26.12	c New solution: 2528
26.08/26.12	o 2528
26.08/26.12	c Elapsed CPU time: 26.016 s	Remaining CPU time: 153.984 s
26.08/26.12	c ===============================================================================
26.08/26.12	c |     26729 |      60      456    27360 |     5000     3347     41 |  0.028 % |
26.08/26.13	c ===============================================================================
26.08/26.13	c New solution: 2520
26.08/26.13	o 2520
26.08/26.13	c Elapsed CPU time: 26.026 s	Remaining CPU time: 153.974 s
26.08/26.13	c ===============================================================================
26.08/26.13	c |     26730 |      60      457    27420 |     5000     3348     41 |  0.028 % |
26.08/26.15	c ===============================================================================
26.08/26.15	c New solution: 2510
26.08/26.15	o 2510
26.08/26.15	c Elapsed CPU time: 26.043 s	Remaining CPU time: 153.957 s
26.08/26.15	c ===============================================================================
26.08/26.15	c |     26733 |      60      458    27480 |     5000     3351     41 |  0.028 % |
26.08/26.16	c ===============================================================================
26.08/26.16	c New solution: 2499
26.08/26.16	o 2499
26.08/26.16	c Elapsed CPU time: 26.06 s	Remaining CPU time: 153.94 s
26.08/26.16	c ===============================================================================
26.08/26.16	c |     26739 |      60      459    27540 |     5000     3357     41 |  0.028 % |
26.19/26.20	c ===============================================================================
26.19/26.20	c New solution: 2497
26.19/26.20	o 2497
26.19/26.20	c Elapsed CPU time: 26.093 s	Remaining CPU time: 153.907 s
26.19/26.20	c ===============================================================================
26.19/26.20	c |     26751 |      60      460    27600 |     5000     3369     41 |  0.028 % |
26.19/26.20	c ===============================================================================
26.19/26.20	c New solution: 2496
26.19/26.20	o 2496
26.19/26.20	c Elapsed CPU time: 26.1 s	Remaining CPU time: 153.9 s
26.19/26.20	c ===============================================================================
26.19/26.20	c |     26751 |      60      461    27660 |     5000     3369     41 |  0.028 % |
26.19/26.21	c ===============================================================================
26.19/26.21	c New solution: 2493
26.19/26.21	o 2493
26.19/26.21	c Elapsed CPU time: 26.108 s	Remaining CPU time: 153.892 s
26.19/26.21	c ===============================================================================
26.19/26.21	c |     26752 |      60      462    27720 |     5000     3370     41 |  0.028 % |
26.19/26.22	c ===============================================================================
26.19/26.22	c New solution: 2488
26.19/26.22	o 2488
26.19/26.22	c Elapsed CPU time: 26.118 s	Remaining CPU time: 153.882 s
26.19/26.22	c ===============================================================================
26.19/26.22	c |     26753 |      60      463    27780 |     5000     3371     41 |  0.028 % |
26.19/26.23	c ===============================================================================
26.19/26.23	c New solution: 2486
26.19/26.23	o 2486
26.19/26.23	c Elapsed CPU time: 26.125 s	Remaining CPU time: 153.875 s
26.19/26.23	c ===============================================================================
26.19/26.23	c |     26753 |      60      464    27840 |     5000     3371     41 |  0.028 % |
26.19/26.24	c ===============================================================================
26.19/26.24	c New solution: 2482
26.19/26.24	o 2482
26.19/26.24	c Elapsed CPU time: 26.133 s	Remaining CPU time: 153.867 s
26.19/26.24	c ===============================================================================
26.19/26.24	c |     26753 |      60      465    27900 |     5000     3371     41 |  0.028 % |
26.19/26.24	c ===============================================================================
26.19/26.24	c New solution: 2480
26.19/26.24	o 2480
26.19/26.24	c Elapsed CPU time: 26.14 s	Remaining CPU time: 153.86 s
26.19/26.24	c ===============================================================================
26.19/26.24	c |     26753 |      60      466    27960 |     5000     3371     41 |  0.028 % |
26.19/26.26	c ===============================================================================
26.19/26.26	c New solution: 2468
26.19/26.26	o 2468
26.19/26.26	c Elapsed CPU time: 26.154 s	Remaining CPU time: 153.846 s
26.19/26.26	c ===============================================================================
26.19/26.26	c |     26758 |      60      467    28020 |     5000     3376     41 |  0.028 % |
26.19/26.27	c ===============================================================================
26.19/26.27	c New solution: 2462
26.19/26.27	o 2462
26.19/26.27	c Elapsed CPU time: 26.161 s	Remaining CPU time: 153.839 s
26.19/26.27	c ===============================================================================
26.19/26.27	c |     26758 |      60      468    28080 |     5000     3376     41 |  0.028 % |
26.19/26.27	c ===============================================================================
26.19/26.27	c New solution: 2446
26.19/26.27	o 2446
26.19/26.27	c Elapsed CPU time: 26.168 s	Remaining CPU time: 153.832 s
26.19/26.27	c ===============================================================================
26.19/26.27	c |     26758 |      60      469    28140 |     5000     3376     41 |  0.028 % |
26.19/26.29	c ===============================================================================
26.19/26.29	c New solution: 2441
26.19/26.29	o 2441
26.19/26.29	c Elapsed CPU time: 26.187 s	Remaining CPU time: 153.813 s
26.19/26.29	c ===============================================================================
26.19/26.29	c |     26763 |      60      470    28200 |     5000     3381     41 |  0.028 % |
26.30/26.36	c ===============================================================================
26.30/26.36	c New solution: 2436
26.30/26.36	o 2436
26.30/26.36	c Elapsed CPU time: 26.251 s	Remaining CPU time: 153.749 s
26.30/26.36	c ===============================================================================
26.30/26.36	c |     26804 |      60      471    28260 |     5000     3422     41 |  0.028 % |
26.40/26.45	c ===============================================================================
26.40/26.45	c New solution: 2425
26.40/26.45	o 2425
26.40/26.45	c Elapsed CPU time: 26.347 s	Remaining CPU time: 153.653 s
26.40/26.45	c ===============================================================================
26.40/26.45	c |     26852 |      60      472    28320 |     5000     3470     41 |  0.028 % |
26.40/26.46	c ===============================================================================
26.40/26.46	c New solution: 2423
26.40/26.46	o 2423
26.40/26.46	c Elapsed CPU time: 26.352 s	Remaining CPU time: 153.648 s
26.40/26.46	c ===============================================================================
26.40/26.46	c |     26852 |      60      473    28380 |     5000     3470     41 |  0.028 % |
26.40/26.47	c ===============================================================================
26.40/26.47	c New solution: 2398
26.40/26.47	o 2398
26.40/26.47	c Elapsed CPU time: 26.362 s	Remaining CPU time: 153.638 s
26.40/26.47	c ===============================================================================
26.40/26.47	c |     26855 |      60      474    28440 |     5000     3473     41 |  0.028 % |
26.40/26.47	c ===============================================================================
26.40/26.47	c New solution: 2396
26.40/26.47	o 2396
26.40/26.47	c Elapsed CPU time: 26.368 s	Remaining CPU time: 153.632 s
26.40/26.47	c ===============================================================================
26.40/26.47	c |     26855 |      60      475    28500 |     5000     3473     41 |  0.028 % |
26.49/26.58	c ===============================================================================
26.49/26.58	c New solution: 2393
26.49/26.58	o 2393
26.49/26.58	c Elapsed CPU time: 26.475 s	Remaining CPU time: 153.525 s
26.49/26.58	c ===============================================================================
26.49/26.58	c |     26911 |      60      476    28560 |     5000     3529     41 |  0.028 % |
26.69/26.76	c |     27014 |      60      476    28560 |     5500     3632     41 |  0.028 % |
26.69/26.79	c ===============================================================================
26.69/26.79	c New solution: 2391
26.69/26.79	o 2391
26.69/26.79	c Elapsed CPU time: 26.6829 s	Remaining CPU time: 153.317 s
26.69/26.79	c ===============================================================================
26.69/26.79	c |     27027 |      60      477    28620 |     5000     3645     41 |  0.028 % |
26.89/26.96	c ===============================================================================
26.89/26.96	c New solution: 2389
26.89/26.96	o 2389
26.89/26.96	c Elapsed CPU time: 26.8489 s	Remaining CPU time: 153.151 s
26.89/26.96	c ===============================================================================
26.89/26.96	c |     27122 |      60      478    28680 |     5000     3740     41 |  0.028 % |
27.09/27.14	c |     27224 |      60      478    28680 |     5500     3842     41 |  0.028 % |
27.19/27.21	c ===============================================================================
27.19/27.21	c New solution: 2370
27.19/27.21	o 2370
27.19/27.21	c Elapsed CPU time: 27.1049 s	Remaining CPU time: 152.895 s
27.19/27.21	c ===============================================================================
27.19/27.21	c |     27277 |      60      479    28740 |     5000     3895     41 |  0.028 % |
27.29/27.32	c ===============================================================================
27.29/27.32	c New solution: 2354
27.29/27.32	o 2354
27.29/27.32	c Elapsed CPU time: 27.2179 s	Remaining CPU time: 152.782 s
27.29/27.32	c ===============================================================================
27.29/27.32	c |     27334 |      60      480    28800 |     5000     3952     41 |  0.028 % |
27.39/27.44	c ===============================================================================
27.39/27.44	c New solution: 2350
27.39/27.44	o 2350
27.39/27.44	c Elapsed CPU time: 27.3328 s	Remaining CPU time: 152.667 s
27.39/27.44	c ===============================================================================
27.39/27.44	c |     27385 |      60      481    28860 |     5000     4003     41 |  0.028 % |
27.49/27.55	c ===============================================================================
27.49/27.55	c New solution: 2332
27.49/27.55	o 2332
27.49/27.55	c Elapsed CPU time: 27.4458 s	Remaining CPU time: 152.554 s
27.49/27.55	c ===============================================================================
27.49/27.55	c |     27433 |      60      482    28920 |     5000     4051     41 |  0.028 % |
27.68/27.73	c ===============================================================================
27.68/27.73	c New solution: 2322
27.68/27.73	o 2322
27.68/27.73	c Elapsed CPU time: 27.6228 s	Remaining CPU time: 152.377 s
27.68/27.73	c ===============================================================================
27.68/27.73	c |     27510 |      60      483    28980 |     5000     4128     41 |  0.028 % |
27.68/27.74	c ===============================================================================
27.68/27.74	c New solution: 2320
27.68/27.74	o 2320
27.68/27.74	c Elapsed CPU time: 27.6308 s	Remaining CPU time: 152.369 s
27.68/27.74	c ===============================================================================
27.68/27.74	c |     27510 |      60      484    29040 |     5000     4128     41 |  0.028 % |
27.68/27.76	c ===============================================================================
27.68/27.76	c New solution: 2301
27.68/27.76	o 2301
27.68/27.76	c Elapsed CPU time: 27.6548 s	Remaining CPU time: 152.345 s
27.68/27.76	c ===============================================================================
27.68/27.76	c |     27517 |      60      485    29100 |     5000     4135     41 |  0.028 % |
27.88/27.97	c |     27618 |      60      485    29100 |     5500     4236     41 |  0.028 % |
28.18/28.29	c |     27769 |      60      485    29100 |     6050     4387     41 |  0.028 % |
28.49/28.57	c ===============================================================================
28.49/28.57	c New solution: 2300
28.49/28.57	o 2300
28.49/28.57	c Elapsed CPU time: 28.4597 s	Remaining CPU time: 151.54 s
28.49/28.57	c ===============================================================================
28.49/28.57	c |     27896 |      60      486    29160 |     5000     4514     41 |  0.028 % |
28.68/28.77	c |     27998 |      60      486    29160 |     5500     4616     41 |  0.028 % |
28.88/28.90	c ===============================================================================
28.88/28.90	c New solution: 2299
28.88/28.90	o 2299
28.88/28.90	c Elapsed CPU time: 28.7906 s	Remaining CPU time: 151.209 s
28.88/28.90	c ===============================================================================
28.88/28.90	c |     28056 |      60      487    29220 |     5000     4674     41 |  0.028 % |
28.98/29.08	c ===============================================================================
28.98/29.08	c New solution: 2297
28.98/29.08	o 2297
28.98/29.08	c Elapsed CPU time: 28.9716 s	Remaining CPU time: 151.028 s
28.98/29.08	c ===============================================================================
28.98/29.08	c |     28133 |      60      488    29280 |     5000     4751     41 |  0.028 % |
29.08/29.10	c ===============================================================================
29.08/29.10	c New solution: 2279
29.08/29.10	o 2279
29.08/29.10	c Elapsed CPU time: 28.9876 s	Remaining CPU time: 151.012 s
29.08/29.10	c ===============================================================================
29.08/29.10	c |     28137 |      60      489    29340 |     5000     4755     41 |  0.028 % |
29.28/29.32	c |     28239 |      60      489    29340 |     5500     4857     41 |  0.028 % |
29.38/29.47	c ===============================================================================
29.38/29.47	c New solution: 2277
29.38/29.47	o 2277
29.38/29.47	c Elapsed CPU time: 29.3615 s	Remaining CPU time: 150.638 s
29.38/29.47	c ===============================================================================
29.38/29.47	c |     28304 |      60      490    29400 |     5000     4922     41 |  0.028 % |
29.59/29.65	c |     28404 |      60      490    29400 |     5500     5022     41 |  0.028 % |
29.59/29.68	c ===============================================================================
29.59/29.68	c New solution: 2274
29.59/29.68	o 2274
29.59/29.68	c Elapsed CPU time: 29.5675 s	Remaining CPU time: 150.432 s
29.59/29.68	c ===============================================================================
29.59/29.68	c |     28418 |      60      491    29460 |     5000     5036     41 |  0.028 % |
29.78/29.86	c ===============================================================================
29.78/29.86	c New solution: 2272
29.78/29.86	o 2272
29.78/29.86	c Elapsed CPU time: 29.7505 s	Remaining CPU time: 150.25 s
29.78/29.86	c ===============================================================================
29.78/29.86	c |     28517 |      60      492    29520 |     5000     2617     40 |  0.028 % |
29.98/30.05	c |     28619 |      60      492    29520 |     5500     2719     40 |  0.028 % |
30.18/30.22	c ===============================================================================
30.18/30.22	c New solution: 2252
30.18/30.22	o 2252
30.18/30.22	c Elapsed CPU time: 30.1104 s	Remaining CPU time: 149.89 s
30.18/30.22	c ===============================================================================
30.18/30.22	c |     28703 |      60      493    29580 |     5000     2803     40 |  0.028 % |
30.28/30.37	c |     28803 |      60      493    29580 |     5500     2903     40 |  0.028 % |
30.48/30.59	c |     28956 |      60      493    29580 |     6050     3056     40 |  0.028 % |
30.78/30.88	c ===============================================================================
30.78/30.88	c New solution: 2245
30.78/30.88	o 2245
30.78/30.88	c Elapsed CPU time: 30.7623 s	Remaining CPU time: 149.238 s
30.78/30.88	c ===============================================================================
30.78/30.88	c |     29109 |      60      494    29640 |     5000     3209     40 |  0.028 % |
30.78/30.89	c ===============================================================================
30.78/30.89	c New solution: 2243
30.78/30.89	o 2243
30.78/30.89	c Elapsed CPU time: 30.7713 s	Remaining CPU time: 149.229 s
30.78/30.89	c ===============================================================================
30.78/30.89	c |     29109 |      60      495    29700 |     5000     3209     40 |  0.028 % |
30.78/30.90	c ===============================================================================
30.78/30.90	c New solution: 2241
30.78/30.90	o 2241
30.78/30.90	c Elapsed CPU time: 30.7813 s	Remaining CPU time: 149.219 s
30.78/30.90	c ===============================================================================
30.78/30.90	c |     29111 |      60      496    29760 |     5000     3211     40 |  0.028 % |
30.88/30.91	c ===============================================================================
30.88/30.91	c New solution: 2220
30.88/30.91	o 2220
30.88/30.91	c Elapsed CPU time: 30.7923 s	Remaining CPU time: 149.208 s
30.88/30.91	c ===============================================================================
30.88/30.91	c |     29112 |      60      497    29820 |     5000     3212     40 |  0.028 % |
30.88/30.92	c ===============================================================================
30.88/30.92	c New solution: 2218
30.88/30.92	o 2218
30.88/30.92	c Elapsed CPU time: 30.8013 s	Remaining CPU time: 149.199 s
30.88/30.92	c ===============================================================================
30.88/30.92	c |     29112 |      60      498    29880 |     5000     3212     40 |  0.028 % |
30.88/30.92	c ===============================================================================
30.88/30.92	c New solution: 2214
30.88/30.92	o 2214
30.88/30.92	c Elapsed CPU time: 30.8103 s	Remaining CPU time: 149.19 s
30.88/30.92	c ===============================================================================
30.88/30.92	c |     29112 |      60      499    29940 |     5000     3212     40 |  0.028 % |
30.88/30.96	c ===============================================================================
30.88/30.96	c New solution: 2200
30.88/30.96	o 2200
30.88/30.96	c Elapsed CPU time: 30.8413 s	Remaining CPU time: 149.159 s
30.88/30.96	c ===============================================================================
30.88/30.96	c |     29127 |      60      500    30000 |     5000     3227     40 |  0.028 % |
31.09/31.12	c |     29229 |      60      500    30000 |     5500     3329     40 |  0.028 % |
31.28/31.33	c |     29380 |      60      500    30000 |     6050     3480     40 |  0.028 % |
31.68/31.73	c |     29607 |      60      500    30000 |     6655     3707     39 |  0.028 % |
32.08/32.11	c ===============================================================================
32.08/32.11	c New solution: 2193
32.08/32.11	o 2193
32.08/32.11	c Elapsed CPU time: 31.9881 s	Remaining CPU time: 148.012 s
32.08/32.11	c ===============================================================================
32.08/32.11	c |     29802 |      60      501    30060 |     5000     3902     39 |  0.028 % |
32.08/32.13	c ===============================================================================
32.08/32.13	c New solution: 2189
32.08/32.13	o 2189
32.08/32.13	c Elapsed CPU time: 32.0061 s	Remaining CPU time: 147.994 s
32.08/32.13	c ===============================================================================
32.08/32.13	c |     29811 |      60      502    30120 |     5000     3911     39 |  0.028 % |
32.08/32.14	c ===============================================================================
32.08/32.14	c New solution: 2169
32.08/32.14	o 2169
32.08/32.14	c Elapsed CPU time: 32.0191 s	Remaining CPU time: 147.981 s
32.08/32.14	c ===============================================================================
32.08/32.14	c |     29813 |      60      503    30180 |     5000     3913     39 |  0.028 % |
32.18/32.21	c ===============================================================================
32.18/32.21	c New solution: 2159
32.18/32.21	o 2159
32.18/32.21	c Elapsed CPU time: 32.0891 s	Remaining CPU time: 147.911 s
32.18/32.21	c ===============================================================================
32.18/32.21	c |     29843 |      60      504    30240 |     5000     3943     39 |  0.028 % |
32.18/32.24	c ===============================================================================
32.18/32.24	c New solution: 2153
32.18/32.24	o 2153
32.18/32.24	c Elapsed CPU time: 32.1201 s	Remaining CPU time: 147.88 s
32.18/32.24	c ===============================================================================
32.18/32.24	c |     29851 |      60      505    30300 |     5000     3951     40 |  0.028 % |
32.28/32.38	c |     29951 |      60      505    30300 |     5500     4051     39 |  0.028 % |
32.48/32.58	c |     30102 |      60      505    30300 |     6050     4202     39 |  0.028 % |
32.89/32.96	c |     30328 |      60      505    30300 |     6655     4428     39 |  0.028 % |
33.38/33.43	c ===============================================================================
33.38/33.43	c New solution: 2147
33.38/33.43	o 2147
33.38/33.43	c Elapsed CPU time: 33.3119 s	Remaining CPU time: 146.688 s
33.38/33.43	c ===============================================================================
33.38/33.43	c |     30583 |      60      506    30360 |     5000     4683     39 |  0.028 % |
33.58/33.63	c |     30683 |      60      506    30360 |     5500     4783     39 |  0.028 % |
33.78/33.89	c |     30833 |      60      506    30360 |     6050     4933     39 |  0.028 % |
34.18/34.26	c ===============================================================================
34.18/34.26	c New solution: 2126
34.18/34.26	o 2126
34.18/34.26	c Elapsed CPU time: 34.1358 s	Remaining CPU time: 145.864 s
34.18/34.26	c ===============================================================================
34.18/34.26	c |     31025 |      60      507    30420 |     5000     5125     39 |  0.028 % |
34.38/34.42	c |     31125 |      60      507    30420 |     5500     2663     37 |  0.028 % |
34.58/34.65	c |     31277 |      60      507    30420 |     6050     2815     37 |  0.028 % |
34.88/34.99	c |     31502 |      60      507    30420 |     6655     3040     36 |  0.028 % |
35.38/35.45	c |     31841 |      60      507    30420 |     7320     3379     36 |  0.028 % |
36.29/36.31	c |     32348 |      60      507    30420 |     8052     3886     36 |  0.028 % |
37.39/37.45	c |     33108 |      60      507    30420 |     8857     4646     37 |  0.028 % |
37.48/37.50	c ===============================================================================
37.48/37.50	c New solution: 2111
37.48/37.50	o 2111
37.48/37.50	c Elapsed CPU time: 37.3733 s	Remaining CPU time: 142.627 s
37.48/37.50	c ===============================================================================
37.48/37.50	c |     33148 |      60      508    30480 |     5000     4686     37 |  0.028 % |
37.58/37.67	c |     33253 |      60      508    30480 |     5500     4791     37 |  0.028 % |
37.78/37.83	c ===============================================================================
37.78/37.83	c New solution: 2105
37.78/37.83	o 2105
37.78/37.83	c Elapsed CPU time: 37.6923 s	Remaining CPU time: 142.308 s
37.78/37.83	c ===============================================================================
37.78/37.83	c |     33373 |      60      509    30540 |     5000     4911     37 |  0.028 % |
37.88/37.98	c |     33476 |      60      509    30540 |     5500     5014     37 |  0.028 % |
38.18/38.21	c |     33627 |      60      509    30540 |     6050     5165     37 |  0.028 % |
38.48/38.56	c |     33855 |      60      509    30540 |     6655     5393     37 |  0.028 % |
38.98/39.07	c |     34195 |      60      509    30540 |     7320     5733     37 |  0.028 % |
39.78/39.83	c |     34701 |      60      509    30540 |     8052     6239     36 |  0.028 % |
41.18/41.21	c |     35462 |      60      509    30540 |     8857     7000     36 |  0.028 % |
42.98/43.02	c |     36603 |      60      509    30540 |     9743     8141     36 |  0.028 % |
45.88/45.92	c |     38311 |      60      509    30540 |    10717     4957     35 |  0.028 % |
49.98/50.05	c |     40873 |      60      509    30540 |    11789     7519     36 |  0.028 % |
56.58/56.64	c |     44722 |      60      509    30540 |    12968    11368     35 |  0.028 % |
65.07/65.18	c |     50490 |      59      509    30540 |    14265     4971     33 |  1.696 % |
74.07/74.15	c ===============================================================================
74.07/74.15	c New solution: 2099
74.07/74.15	o 2099
74.07/74.15	c Elapsed CPU time: 73.9458 s	Remaining CPU time: 106.054 s
74.07/74.15	c ===============================================================================
74.07/74.15	c |     56566 |      59      510    30600 |     5000    11047     29 |  1.696 % |
74.27/74.37	c |     56666 |      59      510    30600 |     5500     2862     30 |  1.695 % |
74.57/74.62	c |     56820 |      59      510    30600 |     6050     3016     30 |  1.695 % |
74.97/75.00	c |     57046 |      59      510    30600 |     6655     3242     31 |  1.695 % |
75.07/75.15	c ===============================================================================
75.07/75.15	c New solution: 2097
75.07/75.15	o 2097
75.07/75.15	c Elapsed CPU time: 74.9396 s	Remaining CPU time: 105.06 s
75.07/75.15	c ===============================================================================
75.07/75.15	c |     57111 |      59      511    30660 |     5000     3307     31 |  1.695 % |
75.27/75.32	c |     57212 |      59      511    30660 |     5500     3408     31 |  1.695 % |
75.47/75.51	c |     57362 |      59      511    30660 |     6050     3558     31 |  1.695 % |
75.78/75.85	c |     57589 |      59      511    30660 |     6655     3785     31 |  1.695 % |
76.37/76.43	c |     57928 |      59      511    30660 |     7320     4124     31 |  1.695 % |
77.07/77.16	c |     58435 |      59      511    30660 |     8052     4631     32 |  1.695 % |
78.37/78.41	c |     59197 |      59      511    30660 |     8857     5393     32 |  1.695 % |
79.97/80.04	c |     60339 |      59      511    30660 |     9743     6535     31 |  1.695 % |
83.07/83.14	c |     62050 |      59      511    30660 |    10717     8246     32 |  1.695 % |
87.76/87.83	c |     64612 |      59      511    30660 |    11789     5432     34 |  1.695 % |
91.67/91.74	c ===============================================================================
91.67/91.74	c New solution: 2091
91.67/91.74	o 2091
91.67/91.74	c Elapsed CPU time: 91.5061 s	Remaining CPU time: 88.4939 s
91.67/91.74	c ===============================================================================
91.67/91.74	c |     66610 |      59      512    30720 |     5000     7430     34 |  1.695 % |
91.67/91.79	c ===============================================================================
91.67/91.79	c New solution: 2073
91.67/91.79	o 2073
91.67/91.79	c Elapsed CPU time: 91.5481 s	Remaining CPU time: 88.4519 s
91.67/91.79	c ===============================================================================
91.67/91.79	c |     66613 |      59      513    30780 |     5000     3718     35 |  1.695 % |
91.86/91.90	c |     66713 |      59      513    30780 |     5500     3818     34 |  1.695 % |
92.06/92.10	c |     66865 |      59      513    30780 |     6050     3970     34 |  1.695 % |
92.37/92.42	c |     67091 |      59      513    30780 |     6655     4196     33 |  1.695 % |
92.86/92.92	c |     67428 |      59      513    30780 |     7320     4533     32 |  1.695 % |
93.56/93.67	c |     67934 |      59      513    30780 |     8052     5039     32 |  1.695 % |
94.57/94.65	c |     68693 |      59      513    30780 |     8857     5798     31 |  1.695 % |
96.07/96.19	c |     69833 |      59      513    30780 |     9743     6938     32 |  1.695 % |
98.36/98.46	c |     71544 |      59      513    30780 |    10717     8649     32 |  1.695 % |
102.16/102.23	c |     74106 |      59      513    30780 |    11789     5838     32 |  1.695 % |
107.05/107.11	c ===============================================================================
107.05/107.11	c New solution: 2060
107.05/107.11	o 2060
107.05/107.11	c Elapsed CPU time: 106.825 s	Remaining CPU time: 73.1752 s
107.05/107.11	c ===============================================================================
107.05/107.11	c |     77219 |      59      514    30840 |     5000     8951     33 |  1.695 % |
107.25/107.30	c |     77320 |      59      514    30840 |     5500     4577     34 |  1.695 % |
107.45/107.51	c |     77470 |      59      514    30840 |     6050     4727     34 |  1.695 % |
107.76/107.85	c |     77695 |      59      514    30840 |     6655     4952     35 |  1.695 % |
108.15/108.28	c |     78032 |      59      514    30840 |     7320     5289     35 |  1.695 % |
108.86/108.91	c |     78540 |      59      514    30840 |     8052     5797     36 |  1.695 % |
109.86/109.97	c |     79299 |      59      514    30840 |     8857     6556     36 |  1.695 % |
111.65/111.71	c |     80438 |      59      514    30840 |     9743     7695     35 |  1.695 % |
114.26/114.39	c |     82146 |      59      514    30840 |    10717     9403     35 |  1.695 % |
118.45/118.56	c |     84709 |      59      514    30840 |    11789     6595     34 |  1.695 % |
119.25/119.37	c ===============================================================================
119.25/119.37	c New solution: 2050
119.25/119.37	o 2050
119.25/119.37	c Elapsed CPU time: 119.056 s	Remaining CPU time: 60.9441 s
119.25/119.37	c ===============================================================================
119.25/119.37	c |     85256 |      59      515    30900 |     5000     7142     35 |  1.695 % |
119.45/119.57	c |     85356 |      59      515    30900 |     5500     3671     34 |  1.695 % |
119.65/119.70	c ===============================================================================
119.65/119.70	c New solution: 2032
119.65/119.70	o 2032
119.65/119.70	c Elapsed CPU time: 119.39 s	Remaining CPU time: 60.6102 s
119.65/119.70	c ===============================================================================
119.65/119.70	c |     85421 |      59      516    30960 |     5000     3736     34 |  1.695 % |
119.65/119.71	c ===============================================================================
119.65/119.71	c New solution: 2025
119.65/119.71	o 2025
119.65/119.71	c Elapsed CPU time: 119.398 s	Remaining CPU time: 60.6022 s
119.65/119.71	c ===============================================================================
119.65/119.71	c |     85421 |      59      517    31020 |     5000     3736     34 |  1.695 % |
119.75/119.89	c |     85524 |      59      517    31020 |     5500     3839     34 |  1.695 % |
120.05/120.15	c |     85674 |      59      517    31020 |     6050     3989     34 |  1.695 % |
120.45/120.50	c |     85900 |      59      517    31020 |     6655     4215     35 |  1.695 % |
120.95/121.06	c |     86239 |      59      517    31020 |     7320     4554     35 |  1.695 % |
121.76/121.89	c |     86747 |      59      517    31020 |     8052     5062     35 |  1.695 % |
122.95/123.05	c |     87507 |      59      517    31020 |     8857     5822     34 |  1.695 % |
124.65/124.79	c |     88647 |      59      517    31020 |     9743     6962     34 |  1.695 % |
127.35/127.40	c |     90356 |      59      517    31020 |    10717     8671     35 |  1.695 % |
131.15/131.27	c |     92918 |      59      517    31020 |    11789     5859     33 |  1.695 % |
137.55/137.61	c |     96765 |      59      517    31020 |    12968     9706     32 |  1.695 % |
141.34/141.49	c ===============================================================================
141.34/141.49	c New solution: 2008
141.34/141.49	o 2008
141.34/141.49	c Elapsed CPU time: 141.143 s	Remaining CPU time: 38.8575 s
141.34/141.49	c ===============================================================================
141.34/141.49	c |     99060 |      59      518    31080 |     5000    12001     32 |  1.695 % |
141.54/141.69	c |     99162 |      59      518    31080 |     5500     3103     30 |  1.695 % |
141.75/141.88	c |     99313 |      59      518    31080 |     6050     3254     30 |  1.695 % |
142.04/142.11	c |     99538 |      59      518    31080 |     6655     3479     31 |  1.695 % |
142.34/142.40	c ===============================================================================
142.34/142.40	c New solution: 2004
142.34/142.40	o 2004
142.34/142.40	c Elapsed CPU time: 142.053 s	Remaining CPU time: 37.9466 s
142.34/142.40	c ===============================================================================
142.34/142.40	c |     99744 |      59      519    31140 |     5000     3685     31 |  1.695 % |
142.34/142.41	c ===============================================================================
142.34/142.41	c New solution: 1998
142.34/142.41	o 1998
142.34/142.41	c Elapsed CPU time: 142.063 s	Remaining CPU time: 37.9366 s
142.34/142.41	c ===============================================================================
142.34/142.41	c |     99745 |      59      520    31200 |     5000     3686     31 |  1.695 % |
142.44/142.52	c ===============================================================================
142.44/142.52	c New solution: 1993
142.44/142.52	o 1993
142.44/142.52	c Elapsed CPU time: 142.173 s	Remaining CPU time: 37.8266 s
142.44/142.52	c ===============================================================================
142.44/142.52	c |     99808 |      59      521    31260 |     5000     3749     31 |  1.695 % |
142.44/142.55	c ===============================================================================
142.44/142.55	c New solution: 1986
142.44/142.55	o 1986
142.44/142.55	c Elapsed CPU time: 142.204 s	Remaining CPU time: 37.7956 s
142.44/142.55	c ===============================================================================
142.44/142.55	c |     99825 |      59      522    31320 |     5000     3766     32 |  1.695 % |
142.44/142.58	c ===============================================================================
142.44/142.58	c New solution: 1980
142.44/142.58	o 1980
142.44/142.58	c Elapsed CPU time: 142.233 s	Remaining CPU time: 37.7666 s
142.44/142.58	c ===============================================================================
142.44/142.58	c |     99838 |      59      523    31380 |     5000     3779     32 |  1.695 % |
142.54/142.62	c ===============================================================================
142.54/142.62	c New solution: 1978
142.54/142.62	o 1978
142.54/142.62	c Elapsed CPU time: 142.274 s	Remaining CPU time: 37.7256 s
142.54/142.62	c ===============================================================================
142.54/142.62	c |     99862 |      59      524    31440 |     5000     3803     32 |  1.695 % |
142.64/142.74	c ===============================================================================
142.64/142.74	c New solution: 1976
142.64/142.74	o 1976
142.64/142.74	c Elapsed CPU time: 142.389 s	Remaining CPU time: 37.6106 s
142.64/142.74	c ===============================================================================
142.64/142.74	c |     99922 |      59      525    31500 |     5000     3863     32 |  1.695 % |
142.64/142.75	c ===============================================================================
142.64/142.75	c New solution: 1956
142.64/142.75	o 1956
142.64/142.75	c Elapsed CPU time: 142.402 s	Remaining CPU time: 37.5976 s
142.64/142.75	c ===============================================================================
142.64/142.75	c |     99924 |      59      526    31560 |     5000     3865     32 |  1.695 % |
142.64/142.76	c ===============================================================================
142.64/142.76	c New solution: 1954
142.64/142.76	o 1954
142.64/142.76	c Elapsed CPU time: 142.41 s	Remaining CPU time: 37.5897 s
142.64/142.76	c ===============================================================================
142.64/142.76	c |     99924 |      59      527    31620 |     5000     3865     32 |  1.695 % |
142.85/142.92	c |    100025 |      59      527    31620 |     5500     3966     32 |  1.695 % |
142.85/142.94	c ===============================================================================
142.85/142.94	c New solution: 1950
142.85/142.94	o 1950
142.85/142.94	c Elapsed CPU time: 142.587 s	Remaining CPU time: 37.4127 s
142.85/142.94	c ===============================================================================
142.85/142.94	c |    100028 |      59      528    31680 |     5000     3969     32 |  1.695 % |
142.85/142.95	c ===============================================================================
142.85/142.95	c New solution: 1948
142.85/142.95	o 1948
142.85/142.95	c Elapsed CPU time: 142.597 s	Remaining CPU time: 37.4027 s
142.85/142.95	c ===============================================================================
142.85/142.95	c |    100030 |      59      529    31740 |     5000     3971     32 |  1.695 % |
142.85/142.98	c ===============================================================================
142.85/142.98	c New solution: 1947
142.85/142.98	o 1947
142.85/142.98	c Elapsed CPU time: 142.631 s	Remaining CPU time: 37.3687 s
142.85/142.98	c ===============================================================================
142.85/142.98	c |    100043 |      59      530    31800 |     5000     3984     32 |  1.695 % |
142.95/143.06	c ===============================================================================
142.95/143.06	c New solution: 1942
142.95/143.06	o 1942
142.95/143.06	c Elapsed CPU time: 142.713 s	Remaining CPU time: 37.2867 s
142.95/143.06	c ===============================================================================
142.95/143.06	c |    100078 |      59      531    31860 |     5000     4019     32 |  1.695 % |
142.95/143.07	c ===============================================================================
142.95/143.07	c New solution: 1927
142.95/143.07	o 1927
142.95/143.07	c Elapsed CPU time: 142.721 s	Remaining CPU time: 37.2787 s
142.95/143.07	c ===============================================================================
142.95/143.07	c |    100078 |      59      532    31920 |     5000     4019     32 |  1.695 % |
143.14/143.20	c |    100178 |      59      532    31920 |     5500     4119     32 |  1.695 % |
143.34/143.42	c |    100329 |      59      532    31920 |     6050     4270     32 |  1.695 % |
143.64/143.78	c |    100554 |      59      532    31920 |     6655     4495     33 |  1.695 % |
144.14/144.21	c ===============================================================================
144.14/144.21	c New solution: 1921
144.14/144.21	o 1921
144.14/144.21	c Elapsed CPU time: 143.855 s	Remaining CPU time: 36.1449 s
144.14/144.21	c ===============================================================================
144.14/144.21	c |    100776 |      59      533    31980 |     5000     4717     33 |  1.695 % |
144.34/144.40	c |    100877 |      59      533    31980 |     5500     4818     33 |  1.695 % |
144.55/144.67	c |    101029 |      59      533    31980 |     6050     4970     34 |  1.695 % |
144.95/145.02	c ===============================================================================
144.95/145.02	c New solution: 1915
144.95/145.02	o 1915
144.95/145.02	c Elapsed CPU time: 144.67 s	Remaining CPU time: 35.33 s
144.95/145.02	c ===============================================================================
144.95/145.02	c |    101233 |      59      534    32040 |     5000     5174     34 |  1.695 % |
144.95/145.04	c ===============================================================================
144.95/145.04	c New solution: 1909
144.95/145.04	o 1909
144.95/145.04	c Elapsed CPU time: 144.692 s	Remaining CPU time: 35.308 s
144.95/145.04	c ===============================================================================
144.95/145.04	c |    101233 |      59      535    32100 |     5000     2587     40 |  1.695 % |
145.15/145.21	c |    101335 |      59      535    32100 |     5500     2689     40 |  1.695 % |
145.35/145.41	c |    101485 |      59      535    32100 |     6050     2839     39 |  1.695 % |
145.65/145.77	c |    101713 |      59      535    32100 |     6655     3067     39 |  1.695 % |
146.25/146.33	c |    102050 |      59      535    32100 |     7320     3404     39 |  1.695 % |
147.04/147.17	c |    102556 |      59      535    32100 |     8052     3910     39 |  1.695 % |
148.35/148.50	c |    103316 |      59      535    32100 |     8857     4670     39 |  1.695 % |
150.74/150.84	c |    104455 |      59      535    32100 |     9743     5809     39 |  1.695 % |
153.85/153.98	c |    106165 |      59      535    32100 |    10717     7519     38 |  1.695 % |
155.14/155.27	c ===============================================================================
155.14/155.27	c New solution: 1908
155.14/155.27	o 1908
155.14/155.27	c Elapsed CPU time: 154.878 s	Remaining CPU time: 25.1215 s
155.14/155.27	c ===============================================================================
155.14/155.27	c |    106869 |      59      536    32160 |     5000     8223     38 |  1.695 % |
155.24/155.31	c ===============================================================================
155.24/155.31	c New solution: 1901
155.24/155.31	o 1901
155.24/155.31	c Elapsed CPU time: 154.921 s	Remaining CPU time: 25.0786 s
155.24/155.31	c ===============================================================================
155.24/155.31	c |    106869 |      59      537    32220 |     5000     4112     36 |  1.695 % |
155.24/155.32	c ===============================================================================
155.24/155.32	c New solution: 1895
155.24/155.32	o 1895
155.24/155.32	c Elapsed CPU time: 154.929 s	Remaining CPU time: 25.0706 s
155.24/155.32	c ===============================================================================
155.24/155.32	c |    106869 |      59      538    32280 |     5000     4112     36 |  1.695 % |
155.24/155.33	c ===============================================================================
155.24/155.33	c New solution: 1887
155.24/155.33	o 1887
155.24/155.33	c Elapsed CPU time: 154.941 s	Remaining CPU time: 25.0586 s
155.24/155.33	c ===============================================================================
155.24/155.33	c |    106870 |      59      539    32340 |     5000     4113     36 |  1.695 % |
155.24/155.34	c ===============================================================================
155.24/155.34	c New solution: 1880
155.24/155.34	o 1880
155.24/155.34	c Elapsed CPU time: 154.949 s	Remaining CPU time: 25.0506 s
155.24/155.34	c ===============================================================================
155.24/155.34	c |    106870 |      59      540    32400 |     5000     4113     36 |  1.695 % |
155.44/155.52	c |    106971 |      59      540    32400 |     5500     4214     36 |  1.695 % |
155.64/155.79	c ===============================================================================
155.64/155.79	c New solution: 1862
155.64/155.79	o 1862
155.64/155.79	c Elapsed CPU time: 155.403 s	Remaining CPU time: 24.5966 s
155.64/155.79	c ===============================================================================
155.64/155.79	c |    107116 |      59      541    32460 |     5000     4359     36 |  1.695 % |
155.74/155.80	c ===============================================================================
155.74/155.80	c New solution: 1855
155.74/155.80	o 1855
155.74/155.80	c Elapsed CPU time: 155.411 s	Remaining CPU time: 24.5886 s
155.74/155.80	c ===============================================================================
155.74/155.80	c |    107116 |      59      542    32520 |     5000     4359     36 |  1.695 % |
155.94/156.00	c |    107218 |      59      542    32520 |     5500     4461     37 |  1.695 % |
156.15/156.27	c |    107375 |      59      542    32520 |     6050     4618     37 |  1.695 % |
156.64/156.72	c |    107600 |      59      542    32520 |     6655     4843     37 |  1.695 % |
157.24/157.31	c |    107938 |      59      542    32520 |     7320     5181     37 |  1.695 % |
158.25/158.30	c |    108448 |      59      542    32520 |     8052     5691     37 |  1.695 % |
159.64/159.76	c |    109208 |      59      542    32520 |     8857     6451     37 |  1.695 % |
161.54/161.67	c |    110347 |      59      542    32520 |     9743     7590     36 |  1.695 % |
162.94/163.08	c ===============================================================================
162.94/163.08	c New solution: 1853
162.94/163.08	o 1853
162.94/163.08	c Elapsed CPU time: 162.672 s	Remaining CPU time: 17.3277 s
162.94/163.08	c ===============================================================================
162.94/163.08	c |    111186 |      59      543    32580 |     5000     8429     36 |  1.695 % |
163.14/163.29	c |    111287 |      59      543    32580 |     5500     4316     36 |  1.695 % |
163.44/163.52	c |    111440 |      59      543    32580 |     6050     4469     35 |  1.695 % |
163.75/163.86	c |    111666 |      59      543    32580 |     6655     4695     35 |  1.695 % |
164.24/164.37	c |    112003 |      59      543    32580 |     7320     5032     34 |  1.695 % |
165.04/165.13	c |    112509 |      59      543    32580 |     8052     5538     34 |  1.695 % |
166.23/166.38	c |    113270 |      59      543    32580 |     8857     6299     34 |  1.695 % |
168.44/168.56	c |    114410 |      59      543    32580 |     9743     7439     34 |  1.695 % |
171.73/171.82	c |    116122 |      59      543    32580 |    10717     9151     34 |  1.695 % |
176.64/176.73	c |    118685 |      59      543    32580 |    11789     6341     36 |  1.695 % |
180.34/180.45	c There are 1 assigned variables. 1 in cost function.
180.43/180.57	c core #1
180.43/180.57	c #cores: 1
180.43/180.57	c Final Weight: 1853
180.43/180.57	o 1853
180.43/180.57	s OPTIMUM FOUND
180.43/180.57	v -x1 x12 -x23 -x34 x45 -x56 -x58 x59 -x60 -x2 -x3 -x4 x5 x6 -x7 x8 -x9 x10 -x11 x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 -x32 x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x46 -x47 -x48 x49 -x50 -x51 x52 x53 -x54 x55 -x57
180.43/180.57	c Total CPU time: 180.119 s

Verifier Data 

OK	-7607

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656093-1276354762/watcher-2656093-1276354762 -o /tmp/evaluation-result-2656093-1276354762/solver-2656093-1276354762 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656093-1276354762.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: 0.85 0.97 0.99 3/106 12137
/proc/meminfo: memFree=1882176/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=2568 CPUtime=0
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 11062612 2629632 201 1992294400 134512640 135751879 4288008352 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 642 201 146 303 0 337 0

[startup+0.074857 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 12137
/proc/meminfo: memFree=1882176/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=2696 CPUtime=0.06
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 326 0 0 0 6 0 0 0 25 0 1 0 11062612 2760704 241 1992294400 134512640 135751879 4288008352 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 674 241 147 303 0 369 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2696

[startup+0.100859 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 12137
/proc/meminfo: memFree=1882176/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=2696 CPUtime=0.09
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 337 0 0 0 9 0 0 0 25 0 1 0 11062612 2760704 252 1992294400 134512640 135751879 4288008352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 674 252 147 303 0 369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2696

[startup+0.300878 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 12137
/proc/meminfo: memFree=1882176/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=2960 CPUtime=0.29
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 396 0 0 0 28 1 0 0 25 0 1 0 11062612 3031040 311 1992294400 134512640 135751879 4288008352 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 740 311 147 303 0 435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2960

[startup+0.700919 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 12137
/proc/meminfo: memFree=1882176/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=3352 CPUtime=0.69
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 507 0 0 0 68 1 0 0 25 0 1 0 11062612 3432448 422 1992294400 134512640 135751879 4288008352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 838 422 147 303 0 533 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3352

[startup+1.501 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 12138
/proc/meminfo: memFree=1880556/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=4004 CPUtime=1.49
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 654 0 0 0 147 2 0 0 25 0 1 0 11062612 4100096 569 1992294400 134512640 135751879 4288008352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 1001 569 147 303 0 696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4004

[startup+3.10016 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 12138
/proc/meminfo: memFree=1879688/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=4660 CPUtime=3.09
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 829 0 0 0 307 2 0 0 25 0 1 0 11062612 4771840 744 1992294400 134512640 135751879 4288008352 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 1165 744 148 303 0 860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4660

[startup+6.30048 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 12138
/proc/meminfo: memFree=1878324/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=5828 CPUtime=6.29
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 1099 0 0 0 626 3 0 0 25 0 1 0 11062612 5967872 1014 1992294400 134512640 135751879 4288008352 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 1457 1014 148 303 0 1152 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5828

[startup+12.7011 s]
/proc/loadavg: 0.88 0.97 0.99 2/107 12140
/proc/meminfo: memFree=1876340/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=7648 CPUtime=12.69
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 1575 0 0 0 1264 5 0 0 25 0 1 0 11062612 7831552 1490 1992294400 134512640 135751879 4288008352 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 1912 1490 148 303 0 1607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7648

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 12140
/proc/meminfo: memFree=1873240/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=10764 CPUtime=25.48
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 2332 0 0 0 2539 9 0 0 25 0 1 0 11062612 11022336 2247 1992294400 134512640 135751879 4288008352 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 2691 2247 148 303 0 2386 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10764

[startup+51.101 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 12140
/proc/meminfo: memFree=1869024/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=14920 CPUtime=51.08
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 3383 0 0 0 5093 15 0 0 25 0 1 0 11062612 15278080 3298 1992294400 134512640 135751879 4288008352 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 3730 3298 148 303 0 3425 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14920

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 12151
/proc/meminfo: memFree=1859972/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=22956 CPUtime=102.26
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 5379 0 0 0 10203 23 0 0 25 0 1 0 11062612 23506944 5294 1992294400 134512640 135751879 4288008352 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 5739 5294 148 303 0 5434 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22956

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1850796/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=32304 CPUtime=162.24
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 7717 0 0 0 16189 35 0 0 25 0 1 0 11062612 33079296 7632 1992294400 134512640 135751879 4288008352 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8076 7632 148 303 0 7771 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 32304

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1850176/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=32960 CPUtime=166.23
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 7870 0 0 0 16587 36 0 0 25 0 1 0 11062612 33751040 7785 1992294400 134512640 135751879 4288008352 18446744073709551615 134611070 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8240 7785 148 303 0 7935 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 32960

[startup+172.709 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1849184/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=33740 CPUtime=172.64
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 8083 0 0 0 17227 37 0 0 25 0 1 0 11062612 34549760 7998 1992294400 134512640 135751879 4288008352 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8435 7998 148 303 0 8130 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 33740

[startup+175.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1848812/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=34256 CPUtime=175.84
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 8193 0 0 0 17546 38 0 0 25 0 1 0 11062612 35078144 8108 1992294400 134512640 135751879 4288008352 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8564 8108 148 303 0 8259 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 34256

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1848564/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=34644 CPUtime=179.03
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 8293 0 0 0 17864 39 0 0 25 0 1 0 11062612 35475456 8208 1992294400 134512640 135751879 4288008352 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8661 8208 148 303 0 8356 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 34644

[startup+179.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1848440/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=34644 CPUtime=179.83
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 8317 0 0 0 17944 39 0 0 25 0 1 0 11062612 35475456 8232 1992294400 134512640 135751879 4288008352 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8661 8232 148 303 0 8356 0
Current children cumulated CPU time (s) 179.83
Current children cumulated vsize (KiB) 34644

[startup+180.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1848192/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=34776 CPUtime=180.24
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 8330 0 0 0 17985 39 0 0 25 0 1 0 11062612 35610624 8245 1992294400 134512640 135751879 4288008352 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8694 8245 148 303 0 8389 0
Current children cumulated CPU time (s) 180.24
Current children cumulated vsize (KiB) 34776

[startup+180.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12153
/proc/meminfo: memFree=1848192/2059040 swapFree=4134488/4192956
[pid=12137] ppid=12135 vsize=35040 CPUtime=180.43
/proc/12137/stat : 12137 (wbo1.4b) R 12135 12137 12058 0 -1 4202496 8409 0 0 0 18004 39 0 0 25 0 1 0 11062612 35880960 8324 1992294400 134512640 135751879 4288008352 18446744073709551615 134521835 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12137/statm: 8760 8324 149 303 0 8455 0
Current children cumulated CPU time (s) 180.43
Current children cumulated vsize (KiB) 35040

Child status: 0
Real time (s): 180.575
CPU time (s): 180.519
CPU user time (s): 180.119
CPU system time (s): 0.399939
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 35040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.119
system time used= 0.399939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8410
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= 43
involuntary context switches= 502

runsolver used 0.311952 second user time and 0.926859 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-12 16:59:22
IDJOB=2656093
IDBENCH=1857
IDSOLVER=1161
FILE ID=node017/2656093-1276354762
PBS_JOBID= 11173211
Free space on /tmp= 62368 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656093-1276354762/watcher-2656093-1276354762 -o /tmp/evaluation-result-2656093-1276354762/solver-2656093-1276354762 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656093-1276354762.opb

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

MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c
RANDOM SEED=1020393022

node017.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.201
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.40
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.201
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1882580 kB
Buffers:          7360 kB
Cached:         103396 kB
SwapCached:      11172 kB
Active:          74268 kB
Inactive:        49772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1882580 kB
SwapTotal:     4192956 kB
SwapFree:      4134488 kB
Dirty:            2936 kB
Writeback:           0 kB
AnonPages:       12124 kB
Mapped:           9224 kB
Slab:            30728 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62368 MiB
End job on node017 at 2010-06-12 17:02:23