Trace number 2683265

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.4bOPT5106 183.86 183.918

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2683265-1277508520.opb.
0.00/0.01	c Instance file HOME/instance-2683265-1277508520.opb
0.00/0.01	c File size is 840057 bytes.
0.09/0.12	c Highest Coefficient sum: 553
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      5745                                                |
0.09/0.12	c |  Number Clauses:        26038                                               |
0.09/0.12	c |  Number Cardinality:    275                                                 |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
2.49/2.52	c ============================[ Search Statistics ]==============================
2.49/2.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.52	c ===============================================================================
2.49/2.52	c |         0 |    3720    27888    53328 |     8771        0    nan |  0.000 % |
2.49/2.53	c ===============================================================================
2.49/2.53	c New solution: 433434
2.49/2.53	o 433434
2.49/2.53	c Elapsed CPU time: 2.51062 s	Remaining CPU time: 177.489 s
2.49/2.53	c ===============================================================================
2.49/2.53	c |        14 |    3720    27889    55383 |     9296       14      6 |  0.000 % |
2.49/2.54	c ===============================================================================
2.49/2.54	c New solution: 431870
2.49/2.54	o 431870
2.49/2.54	c Elapsed CPU time: 2.51862 s	Remaining CPU time: 177.481 s
2.49/2.54	c ===============================================================================
2.49/2.54	c |        18 |    3720    27890    57438 |     9296       18      6 |  0.000 % |
2.49/2.56	c ===============================================================================
2.49/2.56	c New solution: 380783
2.49/2.56	o 380783
2.49/2.56	c Elapsed CPU time: 2.52761 s	Remaining CPU time: 177.472 s
2.49/2.56	c ===============================================================================
2.49/2.56	c |        33 |    3720    27891    59493 |     9297       33      7 |  0.000 % |
2.49/2.57	c ===============================================================================
2.49/2.57	c New solution: 329624
2.49/2.57	o 329624
2.49/2.57	c Elapsed CPU time: 2.53561 s	Remaining CPU time: 177.464 s
2.49/2.57	c ===============================================================================
2.49/2.57	c |        39 |    3720    27892    61548 |     9297       39      6 |  0.000 % |
2.49/2.57	c ===============================================================================
2.49/2.57	c New solution: 284874
2.49/2.57	o 284874
2.49/2.57	c Elapsed CPU time: 2.54361 s	Remaining CPU time: 177.456 s
2.49/2.57	c ===============================================================================
2.49/2.57	c |        41 |    3720    27893    63603 |     9297       41      7 |  0.000 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 257730
2.49/2.58	o 257730
2.49/2.58	c Elapsed CPU time: 2.54961 s	Remaining CPU time: 177.45 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |        42 |    3720    27894    65658 |     9298       42      7 |  0.000 % |
2.58/2.60	c ===============================================================================
2.58/2.60	c New solution: 257729
2.58/2.60	o 257729
2.58/2.60	c Elapsed CPU time: 2.56261 s	Remaining CPU time: 177.437 s
2.58/2.60	c ===============================================================================
2.58/2.60	c |        51 |    3720    27895    67713 |     9298       51      6 |  0.000 % |
2.58/2.61	c ===============================================================================
2.58/2.61	c New solution: 257728
2.58/2.61	o 257728
2.58/2.61	c Elapsed CPU time: 2.57361 s	Remaining CPU time: 177.426 s
2.58/2.61	c ===============================================================================
2.58/2.61	c |        58 |    3720    27896    69768 |     9298       58      6 |  0.000 % |
2.58/2.64	c ===============================================================================
2.58/2.64	c New solution: 219516
2.58/2.64	o 219516
2.58/2.64	c Elapsed CPU time: 2.59661 s	Remaining CPU time: 177.403 s
2.58/2.64	c ===============================================================================
2.58/2.64	c |        89 |    3720    27897    71823 |     9299       89      6 |  0.000 % |
2.58/2.66	c ===============================================================================
2.58/2.66	c New solution: 219401
2.58/2.66	o 219401
2.58/2.66	c Elapsed CPU time: 2.6166 s	Remaining CPU time: 177.383 s
2.58/2.66	c ===============================================================================
2.58/2.66	c |        98 |    3720    27898    73878 |     9299       98      5 |  0.000 % |
2.58/2.67	c ===============================================================================
2.58/2.67	c New solution: 219399
2.58/2.67	o 219399
2.58/2.67	c Elapsed CPU time: 2.6286 s	Remaining CPU time: 177.371 s
2.58/2.67	c ===============================================================================
2.58/2.67	c |       100 |    3720    27899    75933 |     9299      100      5 |  0.000 % |
2.58/2.69	c ===============================================================================
2.58/2.69	c New solution: 192356
2.58/2.69	o 192356
2.58/2.69	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 177.356 s
2.58/2.69	c ===============================================================================
2.58/2.69	c |       110 |    3720    27900    77988 |     9300      110      5 |  0.000 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c New solution: 192246
2.69/2.71	o 192246
2.69/2.71	c Elapsed CPU time: 2.6576 s	Remaining CPU time: 177.342 s
2.69/2.71	c ===============================================================================
2.69/2.71	c |       115 |    3720    27901    80043 |     9300      115      5 |  0.000 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: 192245
2.69/2.74	o 192245
2.69/2.74	c Elapsed CPU time: 2.68459 s	Remaining CPU time: 177.315 s
2.69/2.74	c ===============================================================================
2.69/2.74	c |       117 |    3720    27902    82098 |     9300      117      5 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 177856
2.69/2.76	o 177856
2.69/2.76	c Elapsed CPU time: 2.70459 s	Remaining CPU time: 177.295 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |       131 |    3720    27903    84153 |     9301      131      5 |  0.000 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: 161935
2.69/2.78	o 161935
2.69/2.78	c Elapsed CPU time: 2.72758 s	Remaining CPU time: 177.272 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |       142 |    3720    27904    86208 |     9301      142     19 |  0.000 % |
2.78/2.82	c ===============================================================================
2.78/2.82	c New solution: 161931
2.78/2.82	o 161931
2.78/2.82	c Elapsed CPU time: 2.75858 s	Remaining CPU time: 177.241 s
2.78/2.82	c ===============================================================================
2.78/2.82	c |       175 |    3720    27905    88263 |     9301      175     16 |  0.000 % |
2.78/2.83	c ===============================================================================
2.78/2.83	c New solution: 161930
2.78/2.83	o 161930
2.78/2.83	c Elapsed CPU time: 2.77058 s	Remaining CPU time: 177.229 s
2.78/2.83	c ===============================================================================
2.78/2.83	c |       178 |    3720    27906    90318 |     9302      178     16 |  0.000 % |
2.78/2.85	c ===============================================================================
2.78/2.85	c New solution: 161929
2.78/2.85	o 161929
2.78/2.85	c Elapsed CPU time: 2.78758 s	Remaining CPU time: 177.212 s
2.78/2.85	c ===============================================================================
2.78/2.85	c |       182 |    3720    27907    92373 |     9302      182     15 |  0.000 % |
2.78/2.88	c ===============================================================================
2.78/2.88	c New solution: 161917
2.78/2.88	o 161917
2.78/2.88	c Elapsed CPU time: 2.81957 s	Remaining CPU time: 177.18 s
2.78/2.88	c ===============================================================================
2.78/2.88	c |       189 |    3720    27908    94428 |     9302      189     15 |  0.000 % |
2.89/2.92	c ===============================================================================
2.89/2.92	c New solution: 161908
2.89/2.92	o 161908
2.89/2.92	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 177.146 s
2.89/2.92	c ===============================================================================
2.89/2.92	c |       190 |    3720    27909    96483 |     9303      190     15 |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 161907
2.89/2.93	o 161907
2.89/2.93	c Elapsed CPU time: 2.86956 s	Remaining CPU time: 177.13 s
2.89/2.93	c ===============================================================================
2.89/2.93	c |       190 |    3720    27910    98538 |     9303      190     15 |  0.000 % |
2.89/2.95	c ===============================================================================
2.89/2.95	c New solution: 161906
2.89/2.95	o 161906
2.89/2.95	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 177.112 s
2.89/2.95	c ===============================================================================
2.89/2.95	c |       190 |    3720    27911   100593 |     9303      190     15 |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c New solution: 161905
2.89/2.97	o 161905
2.89/2.97	c Elapsed CPU time: 2.90756 s	Remaining CPU time: 177.092 s
2.89/2.97	c ===============================================================================
2.89/2.97	c |       190 |    3720    27912   102648 |     9304      190     15 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 161904
2.89/2.99	o 161904
2.89/2.99	c Elapsed CPU time: 2.92855 s	Remaining CPU time: 177.071 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |       191 |    3720    27913   104703 |     9304      191     15 |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: 160360
2.99/3.03	o 160360
2.99/3.03	c Elapsed CPU time: 2.95855 s	Remaining CPU time: 177.041 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |       206 |    3720    27914   106758 |     9304      206     17 |  0.000 % |
3.08/3.13	c ===============================================================================
3.08/3.13	c New solution: 158894
3.08/3.13	o 158894
3.08/3.13	c Elapsed CPU time: 3.05154 s	Remaining CPU time: 176.948 s
3.08/3.13	c ===============================================================================
3.08/3.13	c |       252 |    3720    27915   108813 |     9305      252     14 |  0.000 % |
3.08/3.16	c ===============================================================================
3.08/3.16	c New solution: 158790
3.08/3.16	o 158790
3.08/3.16	c Elapsed CPU time: 3.07853 s	Remaining CPU time: 176.921 s
3.08/3.16	c ===============================================================================
3.08/3.16	c |       255 |    3720    27916   110868 |     9305      255     14 |  0.000 % |
3.08/3.18	c ===============================================================================
3.08/3.18	c New solution: 158789
3.08/3.18	o 158789
3.08/3.18	c Elapsed CPU time: 3.09853 s	Remaining CPU time: 176.901 s
3.08/3.18	c ===============================================================================
3.08/3.18	c |       256 |    3720    27917   112923 |     9305      256     14 |  0.000 % |
3.08/3.20	c ===============================================================================
3.08/3.20	c New solution: 153986
3.08/3.20	o 153986
3.08/3.20	c Elapsed CPU time: 3.11253 s	Remaining CPU time: 176.887 s
3.08/3.20	c ===============================================================================
3.08/3.20	c |       256 |    3720    27918   114978 |     9306      256     14 |  0.000 % |
3.19/3.22	c ===============================================================================
3.19/3.22	c New solution: 153985
3.19/3.22	o 153985
3.19/3.22	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 176.861 s
3.19/3.22	c ===============================================================================
3.19/3.22	c |       258 |    3720    27919   117033 |     9306      258     14 |  0.000 % |
3.19/3.25	c ===============================================================================
3.19/3.25	c New solution: 153984
3.19/3.25	o 153984
3.19/3.25	c Elapsed CPU time: 3.16152 s	Remaining CPU time: 176.838 s
3.19/3.25	c ===============================================================================
3.19/3.25	c |       259 |    3720    27920   119088 |     9306      259     14 |  0.000 % |
3.19/3.27	c ===============================================================================
3.19/3.27	c New solution: 153979
3.19/3.27	o 153979
3.19/3.27	c Elapsed CPU time: 3.18452 s	Remaining CPU time: 176.815 s
3.19/3.27	c ===============================================================================
3.19/3.27	c |       259 |    3720    27921   121143 |     9307      259     14 |  0.000 % |
3.19/3.29	c ===============================================================================
3.19/3.29	c New solution: 153978
3.19/3.29	o 153978
3.19/3.29	c Elapsed CPU time: 3.20151 s	Remaining CPU time: 176.798 s
3.19/3.29	c ===============================================================================
3.19/3.29	c |       261 |    3720    27922   123198 |     9307      261     14 |  0.000 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 152422
3.30/3.34	o 152422
3.30/3.34	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 176.745 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |       280 |    3720    27923   125253 |     9307      280     21 |  0.000 % |
3.30/3.37	c ===============================================================================
3.30/3.37	c New solution: 150836
3.30/3.37	o 150836
3.30/3.37	c Elapsed CPU time: 3.2785 s	Remaining CPU time: 176.721 s
3.30/3.37	c ===============================================================================
3.30/3.37	c |       291 |    3720    27924   127308 |     9308      291     21 |  0.000 % |
3.38/3.40	c ===============================================================================
3.38/3.40	c New solution: 150835
3.38/3.40	o 150835
3.38/3.40	c Elapsed CPU time: 3.3025 s	Remaining CPU time: 176.698 s
3.38/3.40	c ===============================================================================
3.38/3.40	c |       296 |    3720    27925   129363 |     9308      296     20 |  0.000 % |
3.38/3.47	c ===============================================================================
3.38/3.47	c New solution: 150822
3.38/3.47	o 150822
3.38/3.47	c Elapsed CPU time: 3.37349 s	Remaining CPU time: 176.627 s
3.38/3.47	c ===============================================================================
3.38/3.47	c |       304 |    3720    27926   131418 |     9308      304     20 |  0.000 % |
3.49/3.54	c ===============================================================================
3.49/3.54	c New solution: 150797
3.49/3.54	o 150797
3.49/3.54	c Elapsed CPU time: 3.43348 s	Remaining CPU time: 176.567 s
3.49/3.54	c ===============================================================================
3.49/3.54	c |       310 |    3720    27927   133473 |     9309      310     21 |  0.000 % |
3.59/3.60	c ===============================================================================
3.59/3.60	c New solution: 150769
3.59/3.60	o 150769
3.59/3.60	c Elapsed CPU time: 3.49947 s	Remaining CPU time: 176.501 s
3.59/3.60	c ===============================================================================
3.59/3.60	c |       319 |    3720    27928   135528 |     9309      319     21 |  0.000 % |
3.59/3.64	c ===============================================================================
3.59/3.64	c New solution: 150768
3.59/3.64	o 150768
3.59/3.64	c Elapsed CPU time: 3.54046 s	Remaining CPU time: 176.46 s
3.59/3.64	c ===============================================================================
3.59/3.64	c |       320 |    3720    27929   137583 |     9309      320     21 |  0.000 % |
3.59/3.67	c ===============================================================================
3.59/3.67	c New solution: 150757
3.59/3.67	o 150757
3.59/3.67	c Elapsed CPU time: 3.57046 s	Remaining CPU time: 176.43 s
3.59/3.67	c ===============================================================================
3.59/3.67	c |       320 |    3720    27930   139638 |     9310      320     21 |  0.000 % |
3.69/3.71	c ===============================================================================
3.69/3.71	c New solution: 150756
3.69/3.71	o 150756
3.69/3.71	c Elapsed CPU time: 3.60745 s	Remaining CPU time: 176.393 s
3.69/3.71	c ===============================================================================
3.69/3.71	c |       321 |    3720    27931   141693 |     9310      321     21 |  0.000 % |
3.69/3.76	c ===============================================================================
3.69/3.76	c New solution: 150755
3.69/3.76	o 150755
3.69/3.76	c Elapsed CPU time: 3.65644 s	Remaining CPU time: 176.344 s
3.69/3.76	c ===============================================================================
3.69/3.76	c |       322 |    3720    27932   143748 |     9310      322     21 |  0.000 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c New solution: 150754
3.79/3.82	o 150754
3.79/3.82	c Elapsed CPU time: 3.71544 s	Remaining CPU time: 176.285 s
3.79/3.82	c ===============================================================================
3.79/3.82	c |       323 |    3720    27933   145803 |     9311      323     22 |  0.000 % |
3.79/3.87	c ===============================================================================
3.79/3.87	c New solution: 128578
3.79/3.87	o 128578
3.79/3.87	c Elapsed CPU time: 3.75643 s	Remaining CPU time: 176.244 s
3.79/3.87	c ===============================================================================
3.79/3.87	c |       341 |    3720    27934   147858 |     9311      341     21 |  0.000 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 126984
3.79/3.89	o 126984
3.79/3.89	c Elapsed CPU time: 3.77543 s	Remaining CPU time: 176.225 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |       341 |    3720    27935   149913 |     9311      341     21 |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 126978
3.89/3.91	o 126978
3.89/3.91	c Elapsed CPU time: 3.80142 s	Remaining CPU time: 176.199 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |       343 |    3720    27936   151968 |     9312      343     24 |  0.000 % |
3.89/3.95	c ===============================================================================
3.89/3.95	c New solution: 125269
3.89/3.95	o 125269
3.89/3.95	c Elapsed CPU time: 3.83242 s	Remaining CPU time: 176.168 s
3.89/3.95	c ===============================================================================
3.89/3.95	c |       354 |    3720    27937   154023 |     9312      354     25 |  0.000 % |
4.08/4.14	c |       454 |    3720    27937   154023 |    10243      454    166 | 35.248 % |
4.08/4.18	c ===============================================================================
4.08/4.18	c New solution: 125219
4.08/4.18	o 125219
4.08/4.18	c Elapsed CPU time: 4.06438 s	Remaining CPU time: 175.936 s
4.08/4.18	c ===============================================================================
4.08/4.18	c |       465 |    3720    27938   156078 |     9312      465    175 | 35.248 % |
4.18/4.26	c ===============================================================================
4.18/4.26	c New solution: 123773
4.18/4.26	o 123773
4.18/4.26	c Elapsed CPU time: 4.13937 s	Remaining CPU time: 175.861 s
4.18/4.26	c ===============================================================================
4.18/4.26	c |       498 |    3720    27939   158133 |     9313      498    170 | 35.248 % |
4.30/4.35	c ===============================================================================
4.30/4.35	c New solution: 123653
4.30/4.35	o 123653
4.30/4.35	c Elapsed CPU time: 4.22536 s	Remaining CPU time: 175.775 s
4.30/4.35	c ===============================================================================
4.30/4.35	c |       508 |    3720    27940   160188 |     9313      508    171 | 35.248 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: 122190
4.30/4.38	o 122190
4.30/4.38	c Elapsed CPU time: 4.25835 s	Remaining CPU time: 175.742 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |       509 |    3720    27941   162243 |     9313      509    170 | 35.248 % |
4.30/4.40	c ===============================================================================
4.30/4.40	c New solution: 122189
4.30/4.40	o 122189
4.30/4.40	c Elapsed CPU time: 4.27935 s	Remaining CPU time: 175.721 s
4.30/4.40	c ===============================================================================
4.30/4.40	c |       510 |    3720    27942   164298 |     9314      510    170 | 35.248 % |
4.40/4.44	c ===============================================================================
4.40/4.44	c New solution: 122178
4.40/4.44	o 122178
4.40/4.44	c Elapsed CPU time: 4.31134 s	Remaining CPU time: 175.689 s
4.40/4.44	c ===============================================================================
4.40/4.44	c |       511 |    3720    27943   166353 |     9314      511    171 | 35.248 % |
4.40/4.46	c ===============================================================================
4.40/4.46	c New solution: 122051
4.40/4.46	o 122051
4.40/4.46	c Elapsed CPU time: 4.33934 s	Remaining CPU time: 175.661 s
4.40/4.46	c ===============================================================================
4.40/4.46	c |       515 |    3720    27944   168408 |     9314      515    170 | 35.248 % |
4.40/4.49	c ===============================================================================
4.40/4.49	c New solution: 122035
4.40/4.49	o 122035
4.40/4.49	c Elapsed CPU time: 4.36234 s	Remaining CPU time: 175.638 s
4.40/4.49	c ===============================================================================
4.40/4.49	c |       516 |    3720    27945   170463 |     9315      516    169 | 35.248 % |
4.49/4.51	c ===============================================================================
4.49/4.51	c New solution: 122034
4.49/4.51	o 122034
4.49/4.51	c Elapsed CPU time: 4.38833 s	Remaining CPU time: 175.612 s
4.49/4.51	c ===============================================================================
4.49/4.51	c |       517 |    3720    27946   172518 |     9315      517    169 | 35.248 % |
4.49/4.54	c ===============================================================================
4.49/4.54	c New solution: 122033
4.49/4.54	o 122033
4.49/4.54	c Elapsed CPU time: 4.41933 s	Remaining CPU time: 175.581 s
4.49/4.54	c ===============================================================================
4.49/4.54	c |       519 |    3720    27947   174573 |     9315      519    171 | 35.248 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c New solution: 120529
4.59/4.62	o 120529
4.59/4.62	c Elapsed CPU time: 4.49932 s	Remaining CPU time: 175.501 s
4.59/4.62	c ===============================================================================
4.59/4.62	c |       532 |    3720    27948   176628 |     9316      532    181 | 35.248 % |
4.59/4.66	c ===============================================================================
4.59/4.66	c New solution: 118987
4.59/4.66	o 118987
4.59/4.66	c Elapsed CPU time: 4.53331 s	Remaining CPU time: 175.467 s
4.59/4.66	c ===============================================================================
4.59/4.66	c |       536 |    3720    27949   178683 |     9316      536    181 | 35.248 % |
4.59/4.69	c ===============================================================================
4.59/4.69	c New solution: 118967
4.59/4.69	o 118967
4.59/4.69	c Elapsed CPU time: 4.56331 s	Remaining CPU time: 175.437 s
4.59/4.69	c ===============================================================================
4.59/4.69	c |       540 |    3720    27950   180738 |     9316      540    181 | 35.248 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: 118832
4.69/4.77	o 118832
4.69/4.77	c Elapsed CPU time: 4.63829 s	Remaining CPU time: 175.362 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |       541 |    3720    27951   182793 |     9317      541    181 | 35.248 % |
4.79/4.83	c ===============================================================================
4.79/4.83	c New solution: 118831
4.79/4.83	o 118831
4.79/4.83	c Elapsed CPU time: 4.69829 s	Remaining CPU time: 175.302 s
4.79/4.83	c ===============================================================================
4.79/4.83	c |       541 |    3720    27952   184848 |     9317      541    181 | 35.248 % |
4.79/4.89	c ===============================================================================
4.79/4.89	c New solution: 118830
4.79/4.89	o 118830
4.79/4.89	c Elapsed CPU time: 4.75928 s	Remaining CPU time: 175.241 s
4.79/4.89	c ===============================================================================
4.79/4.89	c |       541 |    3720    27953   186903 |     9317      541    181 | 35.248 % |
4.89/4.96	c ===============================================================================
4.89/4.96	c New solution: 118829
4.89/4.96	o 118829
4.89/4.96	c Elapsed CPU time: 4.82027 s	Remaining CPU time: 175.18 s
4.89/4.96	c ===============================================================================
4.89/4.96	c |       541 |    3720    27954   188958 |     9318      541    181 | 35.248 % |
4.98/5.03	c ===============================================================================
4.98/5.03	c New solution: 118828
4.98/5.03	o 118828
4.98/5.03	c Elapsed CPU time: 4.89426 s	Remaining CPU time: 175.106 s
4.98/5.03	c ===============================================================================
4.98/5.03	c |       544 |    3720    27955   191013 |     9318      544    183 | 35.248 % |
4.98/5.06	c ===============================================================================
4.98/5.06	c New solution: 117396
4.98/5.06	o 117396
4.98/5.06	c Elapsed CPU time: 4.92425 s	Remaining CPU time: 175.076 s
4.98/5.06	c ===============================================================================
4.98/5.06	c |       545 |    3720    27956   193068 |     9318      545    183 | 35.248 % |
4.98/5.09	c ===============================================================================
4.98/5.09	c New solution: 117395
4.98/5.09	o 117395
4.98/5.09	c Elapsed CPU time: 4.95325 s	Remaining CPU time: 175.047 s
4.98/5.09	c ===============================================================================
4.98/5.09	c |       545 |    3720    27957   195123 |     9319      545    183 | 35.248 % |
5.09/5.12	c ===============================================================================
5.09/5.12	c New solution: 117394
5.09/5.12	o 117394
5.09/5.12	c Elapsed CPU time: 4.98124 s	Remaining CPU time: 175.019 s
5.09/5.12	c ===============================================================================
5.09/5.12	c |       545 |    3720    27958   197178 |     9319      545    183 | 35.248 % |
5.09/5.15	c ===============================================================================
5.09/5.15	c New solution: 117393
5.09/5.15	o 117393
5.09/5.15	c Elapsed CPU time: 5.00524 s	Remaining CPU time: 174.995 s
5.09/5.15	c ===============================================================================
5.09/5.15	c |       545 |    3720    27959   199233 |     9319      545    183 | 35.248 % |
5.09/5.18	c ===============================================================================
5.09/5.18	c New solution: 117392
5.09/5.18	o 117392
5.09/5.18	c Elapsed CPU time: 5.03423 s	Remaining CPU time: 174.966 s
5.09/5.18	c ===============================================================================
5.09/5.18	c |       545 |    3720    27960   201288 |     9320      545    183 | 35.248 % |
5.19/5.21	c ===============================================================================
5.19/5.21	c New solution: 115811
5.19/5.21	o 115811
5.19/5.21	c Elapsed CPU time: 5.06923 s	Remaining CPU time: 174.931 s
5.19/5.21	c ===============================================================================
5.19/5.21	c |       546 |    3720    27961   203343 |     9320      546    182 | 35.248 % |
5.19/5.24	c ===============================================================================
5.19/5.24	c New solution: 115807
5.19/5.24	o 115807
5.19/5.24	c Elapsed CPU time: 5.09422 s	Remaining CPU time: 174.906 s
5.19/5.24	c ===============================================================================
5.19/5.24	c |       546 |    3720    27962   205398 |     9320      546    182 | 35.248 % |
5.19/5.27	c ===============================================================================
5.19/5.27	c New solution: 115804
5.19/5.27	o 115804
5.19/5.27	c Elapsed CPU time: 5.12322 s	Remaining CPU time: 174.877 s
5.19/5.27	c ===============================================================================
5.19/5.27	c |       546 |    3720    27963   207453 |     9321      546    182 | 35.248 % |
5.28/5.30	c ===============================================================================
5.28/5.30	c New solution: 115803
5.28/5.30	o 115803
5.28/5.30	c Elapsed CPU time: 5.15322 s	Remaining CPU time: 174.847 s
5.28/5.30	c ===============================================================================
5.28/5.30	c |       546 |    3720    27964   209508 |     9321      546    182 | 35.248 % |
5.28/5.33	c ===============================================================================
5.28/5.33	c New solution: 114220
5.28/5.33	o 114220
5.28/5.33	c Elapsed CPU time: 5.18221 s	Remaining CPU time: 174.818 s
5.28/5.33	c ===============================================================================
5.28/5.33	c |       546 |    3720    27965   211563 |     9321      546    182 | 35.248 % |
5.28/5.36	c ===============================================================================
5.28/5.36	c New solution: 111014
5.28/5.36	o 111014
5.28/5.36	c Elapsed CPU time: 5.20821 s	Remaining CPU time: 174.792 s
5.28/5.36	c ===============================================================================
5.28/5.36	c |       546 |    3720    27966   213618 |     9322      546    182 | 35.248 % |
5.28/5.39	c ===============================================================================
5.28/5.39	c New solution: 111013
5.28/5.39	o 111013
5.28/5.39	c Elapsed CPU time: 5.2382 s	Remaining CPU time: 174.762 s
5.28/5.39	c ===============================================================================
5.28/5.39	c |       546 |    3720    27967   215673 |     9322      546    182 | 35.248 % |
5.40/5.42	c ===============================================================================
5.40/5.42	c New solution: 111012
5.40/5.42	o 111012
5.40/5.42	c Elapsed CPU time: 5.2672 s	Remaining CPU time: 174.733 s
5.40/5.42	c ===============================================================================
5.40/5.42	c |       546 |    3720    27968   217728 |     9322      546    182 | 35.248 % |
5.40/5.45	c ===============================================================================
5.40/5.45	c New solution: 111011
5.40/5.45	o 111011
5.40/5.45	c Elapsed CPU time: 5.30019 s	Remaining CPU time: 174.7 s
5.40/5.45	c ===============================================================================
5.40/5.45	c |       547 |    3720    27969   219783 |     9323      547    182 | 35.248 % |
5.40/5.49	c ===============================================================================
5.40/5.49	c New solution: 111010
5.40/5.49	o 111010
5.40/5.49	c Elapsed CPU time: 5.33219 s	Remaining CPU time: 174.668 s
5.40/5.49	c ===============================================================================
5.40/5.49	c |       547 |    3720    27970   221838 |     9323      547    182 | 35.248 % |
5.49/5.52	c ===============================================================================
5.49/5.52	c New solution: 111009
5.49/5.52	o 111009
5.49/5.52	c Elapsed CPU time: 5.36018 s	Remaining CPU time: 174.64 s
5.49/5.52	c ===============================================================================
5.49/5.52	c |       548 |    3720    27971   223893 |     9323      548    182 | 35.248 % |
5.49/5.55	c ===============================================================================
5.49/5.55	c New solution: 111008
5.49/5.55	o 111008
5.49/5.55	c Elapsed CPU time: 5.39418 s	Remaining CPU time: 174.606 s
5.49/5.55	c ===============================================================================
5.49/5.55	c |       548 |    3720    27972   225948 |     9324      548    182 | 35.248 % |
5.49/5.58	c ===============================================================================
5.49/5.58	c New solution: 111007
5.49/5.58	o 111007
5.49/5.58	c Elapsed CPU time: 5.42317 s	Remaining CPU time: 174.577 s
5.49/5.58	c ===============================================================================
5.49/5.58	c |       550 |    3720    27973   228003 |     9324      550    184 | 35.248 % |
5.59/5.63	c ===============================================================================
5.59/5.63	c New solution: 111001
5.59/5.63	o 111001
5.59/5.63	c Elapsed CPU time: 5.46617 s	Remaining CPU time: 174.534 s
5.59/5.63	c ===============================================================================
5.59/5.63	c |       556 |    3720    27974   230058 |     9324      556    183 | 35.248 % |
5.59/5.67	c ===============================================================================
5.59/5.67	c New solution: 111000
5.59/5.67	o 111000
5.59/5.67	c Elapsed CPU time: 5.50616 s	Remaining CPU time: 174.494 s
5.59/5.67	c ===============================================================================
5.59/5.67	c |       557 |    3720    27975   232113 |     9325      557    182 | 35.248 % |
5.69/5.70	c ===============================================================================
5.69/5.70	c New solution: 109410
5.69/5.70	o 109410
5.69/5.70	c Elapsed CPU time: 5.53616 s	Remaining CPU time: 174.464 s
5.69/5.70	c ===============================================================================
5.69/5.70	c |       558 |    3720    27976   234168 |     9325      558    182 | 35.248 % |
5.69/5.73	c ===============================================================================
5.69/5.73	c New solution: 109408
5.69/5.73	o 109408
5.69/5.73	c Elapsed CPU time: 5.56515 s	Remaining CPU time: 174.435 s
5.69/5.73	c ===============================================================================
5.69/5.73	c |       558 |    3720    27977   236223 |     9325      558    182 | 35.248 % |
5.69/5.77	c ===============================================================================
5.69/5.77	c New solution: 109407
5.69/5.77	o 109407
5.69/5.77	c Elapsed CPU time: 5.60315 s	Remaining CPU time: 174.397 s
5.69/5.77	c ===============================================================================
5.69/5.77	c |       560 |    3720    27978   238278 |     9326      560    181 | 35.248 % |
5.79/5.81	c ===============================================================================
5.79/5.81	c New solution: 109406
5.79/5.81	o 109406
5.79/5.81	c Elapsed CPU time: 5.64014 s	Remaining CPU time: 174.36 s
5.79/5.81	c ===============================================================================
5.79/5.81	c |       560 |    3720    27979   240333 |     9326      560    181 | 35.248 % |
5.79/5.85	c ===============================================================================
5.79/5.85	c New solution: 109405
5.79/5.85	o 109405
5.79/5.85	c Elapsed CPU time: 5.67914 s	Remaining CPU time: 174.321 s
5.79/5.85	c ===============================================================================
5.79/5.85	c |       560 |    3720    27980   242388 |     9326      560    181 | 35.248 % |
5.79/5.88	c ===============================================================================
5.79/5.88	c New solution: 109404
5.79/5.88	o 109404
5.79/5.88	c Elapsed CPU time: 5.71613 s	Remaining CPU time: 174.284 s
5.79/5.88	c ===============================================================================
5.79/5.88	c |       561 |    3720    27981   244443 |     9327      561    182 | 35.248 % |
5.88/5.98	c ===============================================================================
5.88/5.98	c New solution: 109395
5.88/5.98	o 109395
5.88/5.98	c Elapsed CPU time: 5.81412 s	Remaining CPU time: 174.186 s
5.88/5.98	c ===============================================================================
5.88/5.98	c |       564 |    3720    27982   246498 |     9327      564    183 | 35.248 % |
6.09/6.13	c ===============================================================================
6.09/6.13	c New solution: 109234
6.09/6.13	o 109234
6.09/6.13	c Elapsed CPU time: 5.95409 s	Remaining CPU time: 174.046 s
6.09/6.13	c ===============================================================================
6.09/6.13	c |       568 |    3720    27983   248553 |     9327      568    183 | 35.248 % |
6.29/6.30	c ===============================================================================
6.29/6.30	c New solution: 109233
6.29/6.30	o 109233
6.29/6.30	c Elapsed CPU time: 6.13007 s	Remaining CPU time: 173.87 s
6.29/6.30	c ===============================================================================
6.29/6.30	c |       569 |    3720    27984   250608 |     9328      569    182 | 35.248 % |
6.29/6.38	c ===============================================================================
6.29/6.38	c New solution: 107752
6.29/6.38	o 107752
6.29/6.38	c Elapsed CPU time: 6.20606 s	Remaining CPU time: 173.794 s
6.29/6.38	c ===============================================================================
6.29/6.38	c |       571 |    3720    27985   252663 |     9328      571    182 | 35.248 % |
6.39/6.45	c ===============================================================================
6.39/6.45	c New solution: 107751
6.39/6.45	o 107751
6.39/6.45	c Elapsed CPU time: 6.27604 s	Remaining CPU time: 173.724 s
6.39/6.45	c ===============================================================================
6.39/6.45	c |       572 |    3720    27986   254718 |     9328      572    183 | 35.248 % |
6.49/6.60	c ===============================================================================
6.49/6.60	c New solution: 107630
6.49/6.60	o 107630
6.49/6.60	c Elapsed CPU time: 6.42602 s	Remaining CPU time: 173.574 s
6.49/6.60	c ===============================================================================
6.49/6.60	c |       572 |    3720    27987   256773 |     9329      572    183 | 35.248 % |
6.69/6.75	c ===============================================================================
6.69/6.75	c New solution: 107629
6.69/6.75	o 107629
6.69/6.75	c Elapsed CPU time: 6.575 s	Remaining CPU time: 173.425 s
6.69/6.75	c ===============================================================================
6.69/6.75	c |       572 |    3720    27988   258828 |     9329      572    183 | 35.248 % |
6.88/6.90	c ===============================================================================
6.88/6.90	c New solution: 107628
6.88/6.90	o 107628
6.88/6.90	c Elapsed CPU time: 6.72598 s	Remaining CPU time: 173.274 s
6.88/6.90	c ===============================================================================
6.88/6.90	c |       572 |    3720    27989   260883 |     9329      572    183 | 35.248 % |
6.98/7.05	c ===============================================================================
6.98/7.05	c New solution: 107627
6.98/7.05	o 107627
6.98/7.05	c Elapsed CPU time: 6.87595 s	Remaining CPU time: 173.124 s
6.98/7.05	c ===============================================================================
6.98/7.05	c |       572 |    3720    27990   262938 |     9330      572    183 | 35.248 % |
7.18/7.20	c ===============================================================================
7.18/7.20	c New solution: 107626
7.18/7.20	o 107626
7.18/7.20	c Elapsed CPU time: 7.02693 s	Remaining CPU time: 172.973 s
7.18/7.20	c ===============================================================================
7.18/7.20	c |       572 |    3720    27991   264993 |     9330      572    183 | 35.248 % |
7.28/7.36	c ===============================================================================
7.28/7.36	c New solution: 107625
7.28/7.36	o 107625
7.28/7.36	c Elapsed CPU time: 7.17991 s	Remaining CPU time: 172.82 s
7.28/7.36	c ===============================================================================
7.28/7.36	c |       572 |    3720    27992   267048 |     9330      572    183 | 35.248 % |
7.48/7.51	c ===============================================================================
7.48/7.51	c New solution: 107624
7.48/7.51	o 107624
7.48/7.51	c Elapsed CPU time: 7.33389 s	Remaining CPU time: 172.666 s
7.48/7.51	c ===============================================================================
7.48/7.51	c |       572 |    3720    27993   269103 |     9331      572    183 | 35.248 % |
7.59/7.69	c ===============================================================================
7.59/7.69	c New solution: 107623
7.59/7.69	o 107623
7.59/7.69	c Elapsed CPU time: 7.50686 s	Remaining CPU time: 172.493 s
7.59/7.69	c ===============================================================================
7.59/7.69	c |       574 |    3720    27994   271158 |     9331      574    182 | 35.248 % |
7.79/7.84	c ===============================================================================
7.79/7.84	c New solution: 107622
7.79/7.84	o 107622
7.79/7.84	c Elapsed CPU time: 7.65883 s	Remaining CPU time: 172.341 s
7.79/7.84	c ===============================================================================
7.79/7.84	c |       574 |    3720    27995   273213 |     9331      574    182 | 35.248 % |
7.89/7.99	c ===============================================================================
7.89/7.99	c New solution: 107621
7.89/7.99	o 107621
7.89/7.99	c Elapsed CPU time: 7.81081 s	Remaining CPU time: 172.189 s
7.89/7.99	c ===============================================================================
7.89/7.99	c |       574 |    3720    27996   275268 |     9332      574    182 | 35.248 % |
8.09/8.15	c ===============================================================================
8.09/8.15	c New solution: 107620
8.09/8.15	o 107620
8.09/8.15	c Elapsed CPU time: 7.96479 s	Remaining CPU time: 172.035 s
8.09/8.15	c ===============================================================================
8.09/8.15	c |       574 |    3720    27997   277323 |     9332      574    182 | 35.248 % |
8.29/8.31	c ===============================================================================
8.29/8.31	c New solution: 107619
8.29/8.31	o 107619
8.29/8.31	c Elapsed CPU time: 8.12576 s	Remaining CPU time: 171.874 s
8.29/8.31	c ===============================================================================
8.29/8.31	c |       576 |    3720    27998   279378 |     9332      576    184 | 35.248 % |
8.49/8.53	c ===============================================================================
8.49/8.53	c New solution: 106195
8.49/8.53	o 106195
8.49/8.53	c Elapsed CPU time: 8.34373 s	Remaining CPU time: 171.656 s
8.49/8.53	c ===============================================================================
8.49/8.53	c |       582 |    3720    27999   281433 |     9333      582    182 | 35.248 % |
8.59/8.65	c ===============================================================================
8.59/8.65	c New solution: 106194
8.59/8.65	o 106194
8.59/8.65	c Elapsed CPU time: 8.46371 s	Remaining CPU time: 171.536 s
8.59/8.65	c ===============================================================================
8.59/8.65	c |       583 |    3720    28000   283488 |     9333      583    182 | 35.248 % |
8.79/8.89	c ===============================================================================
8.79/8.89	c New solution: 106180
8.79/8.89	o 106180
8.79/8.89	c Elapsed CPU time: 8.70768 s	Remaining CPU time: 171.292 s
8.79/8.89	c ===============================================================================
8.79/8.89	c |       584 |    3720    28001   285543 |     9333      584    181 | 35.248 % |
9.38/9.46	c |       685 |    3720    28001   285543 |    10267      685    271 | 35.248 % |
9.59/9.66	c ===============================================================================
9.59/9.66	c New solution: 106145
9.59/9.66	o 106145
9.59/9.66	c Elapsed CPU time: 9.46556 s	Remaining CPU time: 170.534 s
9.59/9.66	c ===============================================================================
9.59/9.66	c |       686 |    3720    28002   287598 |     9334      686    271 | 35.248 % |
9.80/9.83	c ===============================================================================
9.80/9.83	c New solution: 106048
9.80/9.83	o 106048
9.80/9.83	c Elapsed CPU time: 9.63254 s	Remaining CPU time: 170.367 s
9.80/9.83	c ===============================================================================
9.80/9.83	c |       687 |    3720    28003   289653 |     9334      687    271 | 35.248 % |
9.90/9.99	c ===============================================================================
9.90/9.99	c New solution: 106047
9.90/9.99	o 106047
9.90/9.99	c Elapsed CPU time: 9.79651 s	Remaining CPU time: 170.203 s
9.90/9.99	c ===============================================================================
9.90/9.99	c |       687 |    3720    28004   291708 |     9334      687    271 | 35.248 % |
10.09/10.16	c ===============================================================================
10.09/10.16	c New solution: 106046
10.09/10.16	o 106046
10.09/10.16	c Elapsed CPU time: 9.96349 s	Remaining CPU time: 170.037 s
10.09/10.16	c ===============================================================================
10.09/10.16	c |       689 |    3720    28005   293763 |     9335      689    270 | 35.248 % |
10.29/10.32	c ===============================================================================
10.29/10.32	c New solution: 106040
10.29/10.32	o 106040
10.29/10.32	c Elapsed CPU time: 10.1255 s	Remaining CPU time: 169.875 s
10.29/10.32	c ===============================================================================
10.29/10.32	c |       689 |    3720    28006   295818 |     9335      689    270 | 35.248 % |
10.39/10.48	c ===============================================================================
10.39/10.48	c New solution: 106039
10.39/10.48	o 106039
10.39/10.48	c Elapsed CPU time: 10.2854 s	Remaining CPU time: 169.715 s
10.39/10.48	c ===============================================================================
10.39/10.48	c |       689 |    3720    28007   297873 |     9335      689    270 | 35.248 % |
10.58/10.64	c ===============================================================================
10.58/10.64	c New solution: 106038
10.58/10.64	o 106038
10.58/10.64	c Elapsed CPU time: 10.4474 s	Remaining CPU time: 169.553 s
10.58/10.64	c ===============================================================================
10.58/10.64	c |       689 |    3720    28008   299928 |     9336      689    270 | 35.248 % |
10.68/10.74	c ===============================================================================
10.68/10.74	c New solution: 106037
10.68/10.74	o 106037
10.68/10.74	c Elapsed CPU time: 10.5454 s	Remaining CPU time: 169.455 s
10.68/10.74	c ===============================================================================
10.68/10.74	c |       693 |    3720    28009   301983 |     9336      693    272 | 35.248 % |
10.78/10.87	c ===============================================================================
10.78/10.87	c New solution: 104548
10.78/10.87	o 104548
10.78/10.87	c Elapsed CPU time: 10.6714 s	Remaining CPU time: 169.329 s
10.78/10.87	c ===============================================================================
10.78/10.87	c |       695 |    3720    28010   304038 |     9336      695    273 | 35.248 % |
11.00/11.03	c ===============================================================================
11.00/11.03	c New solution: 104463
11.00/11.03	o 104463
11.00/11.03	c Elapsed CPU time: 10.8314 s	Remaining CPU time: 169.169 s
11.00/11.03	c ===============================================================================
11.00/11.03	c |       697 |    3720    28011   306093 |     9337      697    273 | 35.248 % |
11.39/11.49	c |       799 |    3720    28011   306093 |    10270      799    327 | 35.248 % |
11.59/11.69	c ===============================================================================
11.59/11.69	c New solution: 104462
11.59/11.69	o 104462
11.59/11.69	c Elapsed CPU time: 11.4853 s	Remaining CPU time: 168.515 s
11.59/11.69	c ===============================================================================
11.59/11.69	c |       816 |    3720    28012   308148 |     9337      816    332 | 35.248 % |
11.88/11.91	c ===============================================================================
11.88/11.91	c New solution: 103007
11.88/11.91	o 103007
11.88/11.91	c Elapsed CPU time: 11.7032 s	Remaining CPU time: 168.297 s
11.88/11.91	c ===============================================================================
11.88/11.91	c |       822 |    3720    28013   310203 |     9337      822    332 | 35.248 % |
11.99/12.03	c ===============================================================================
11.99/12.03	c New solution: 102870
11.99/12.03	o 102870
11.99/12.03	c Elapsed CPU time: 11.8212 s	Remaining CPU time: 168.179 s
11.99/12.03	c ===============================================================================
11.99/12.03	c |       824 |    3720    28014   312258 |     9338      824    332 | 35.248 % |
12.18/12.20	c ===============================================================================
12.18/12.20	c New solution: 101416
12.18/12.20	o 101416
12.18/12.20	c Elapsed CPU time: 11.9932 s	Remaining CPU time: 168.007 s
12.18/12.20	c ===============================================================================
12.18/12.20	c |       826 |    3720    28015   314313 |     9338      826    333 | 35.248 % |
12.29/12.34	c ===============================================================================
12.29/12.34	c New solution: 101291
12.29/12.34	o 101291
12.29/12.34	c Elapsed CPU time: 12.1332 s	Remaining CPU time: 167.867 s
12.29/12.34	c ===============================================================================
12.29/12.34	c |       826 |    3720    28016   316368 |     9338      826    333 | 35.248 % |
12.39/12.48	c ===============================================================================
12.39/12.48	c New solution: 101274
12.39/12.48	o 101274
12.39/12.48	c Elapsed CPU time: 12.2671 s	Remaining CPU time: 167.733 s
12.39/12.48	c ===============================================================================
12.39/12.48	c |       828 |    3720    28017   318423 |     9339      828    333 | 35.248 % |
12.69/12.71	c ===============================================================================
12.69/12.71	c New solution: 99825
12.69/12.71	o 99825
12.69/12.71	c Elapsed CPU time: 12.4951 s	Remaining CPU time: 167.505 s
12.69/12.71	c ===============================================================================
12.69/12.71	c |       831 |    3720    28018   320478 |     9339      831    333 | 35.248 % |
12.79/12.87	c ===============================================================================
12.79/12.87	c New solution: 99673
12.79/12.87	o 99673
12.79/12.87	c Elapsed CPU time: 12.6601 s	Remaining CPU time: 167.34 s
12.79/12.87	c ===============================================================================
12.79/12.87	c |       833 |    3720    28019   322533 |     9339      833    334 | 35.248 % |
12.99/13.03	c ===============================================================================
12.99/13.03	c New solution: 98182
12.99/13.03	o 98182
12.99/13.03	c Elapsed CPU time: 12.8161 s	Remaining CPU time: 167.184 s
12.99/13.03	c ===============================================================================
12.99/13.03	c |       835 |    3720    28020   324588 |     9340      835    334 | 35.248 % |
13.48/13.58	c |       935 |    3720    28020   324588 |    10274      935    380 | 35.248 % |
13.68/13.72	c ===============================================================================
13.68/13.72	c New solution: 98088
13.68/13.72	o 98088
13.68/13.72	c Elapsed CPU time: 13.5039 s	Remaining CPU time: 166.496 s
13.68/13.72	c ===============================================================================
13.68/13.72	c |       939 |    3720    28021   326643 |     9340      939    381 | 35.248 % |
13.88/13.94	c ===============================================================================
13.88/13.94	c New solution: 98087
13.88/13.94	o 98087
13.88/13.94	c Elapsed CPU time: 13.7239 s	Remaining CPU time: 166.276 s
13.88/13.94	c ===============================================================================
13.88/13.94	c |       951 |    3720    28022   328698 |     9340      951    379 | 35.248 % |
14.09/14.10	c ===============================================================================
14.09/14.10	c New solution: 98086
14.09/14.10	o 98086
14.09/14.10	c Elapsed CPU time: 13.8749 s	Remaining CPU time: 166.125 s
14.09/14.10	c ===============================================================================
14.09/14.10	c |       956 |    3720    28023   330753 |     9341      956    377 | 35.248 % |
14.49/14.59	c |      1056 |    3720    28023   330753 |    10275     1056    407 | 35.248 % |
14.79/14.81	c ===============================================================================
14.79/14.81	c New solution: 98085
14.79/14.81	o 98085
14.79/14.81	c Elapsed CPU time: 14.5888 s	Remaining CPU time: 165.411 s
14.79/14.81	c ===============================================================================
14.79/14.81	c |      1058 |    3720    28024   332808 |     9341     1058    407 | 35.248 % |
14.88/14.91	c ===============================================================================
14.88/14.91	c New solution: 98078
14.88/14.91	o 98078
14.88/14.91	c Elapsed CPU time: 14.6808 s	Remaining CPU time: 165.319 s
14.88/14.91	c ===============================================================================
14.88/14.91	c |      1063 |    3720    28025   334863 |     9341     1063    407 | 35.248 % |
15.29/15.35	c ===============================================================================
15.29/15.35	c New solution: 98077
15.29/15.35	o 98077
15.29/15.35	c Elapsed CPU time: 15.1257 s	Remaining CPU time: 164.874 s
15.29/15.35	c ===============================================================================
15.29/15.35	c |      1081 |    3720    28026   336918 |     9342     1081    409 | 35.248 % |
15.98/16.07	c |      1182 |    3720    28026   336918 |    10276     1182    430 | 35.248 % |
16.18/16.25	c ===============================================================================
16.18/16.25	c New solution: 98056
16.18/16.25	o 98056
16.18/16.25	c Elapsed CPU time: 16.0156 s	Remaining CPU time: 163.984 s
16.18/16.25	c ===============================================================================
16.18/16.25	c |      1182 |    3720    28027   338973 |     9342     1182    430 | 35.248 % |
16.39/16.45	c ===============================================================================
16.39/16.45	c New solution: 98055
16.39/16.45	o 98055
16.39/16.45	c Elapsed CPU time: 16.2155 s	Remaining CPU time: 163.784 s
16.39/16.45	c ===============================================================================
16.39/16.45	c |      1184 |    3720    28028   341028 |     9342     1184    430 | 35.248 % |
16.99/17.01	c |      1284 |    3720    28028   341028 |    10276     1284    447 | 35.248 % |
16.99/17.09	c ===============================================================================
16.99/17.09	c New solution: 98054
16.99/17.09	o 98054
16.99/17.09	c Elapsed CPU time: 16.8564 s	Remaining CPU time: 163.144 s
16.99/17.09	c ===============================================================================
16.99/17.09	c |      1289 |    3720    28029   343083 |     9343     1289    446 | 35.248 % |
17.59/17.62	c ===============================================================================
17.59/17.62	c New solution: 98053
17.59/17.62	o 98053
17.59/17.62	c Elapsed CPU time: 17.3864 s	Remaining CPU time: 162.614 s
17.59/17.62	c ===============================================================================
17.59/17.62	c |      1330 |    3720    28030   345138 |     9343     1330    448 | 35.248 % |
17.59/17.69	c ===============================================================================
17.59/17.69	c New solution: 96649
17.59/17.69	o 96649
17.59/17.69	c Elapsed CPU time: 17.4513 s	Remaining CPU time: 162.549 s
17.59/17.69	c ===============================================================================
17.59/17.69	c |      1332 |    3720    28031   347193 |     9343     1332    448 | 35.248 % |
17.68/17.77	c ===============================================================================
17.68/17.77	c New solution: 96494
17.68/17.77	o 96494
17.68/17.77	c Elapsed CPU time: 17.5333 s	Remaining CPU time: 162.467 s
17.68/17.77	c ===============================================================================
17.68/17.77	c |      1332 |    3720    28032   349248 |     9344     1332    448 | 35.248 % |
17.78/17.85	c ===============================================================================
17.78/17.85	c New solution: 96493
17.78/17.85	o 96493
17.78/17.85	c Elapsed CPU time: 17.6093 s	Remaining CPU time: 162.391 s
17.78/17.85	c ===============================================================================
17.78/17.85	c |      1332 |    3720    28033   351303 |     9344     1332    448 | 35.248 % |
17.88/17.90	c ===============================================================================
17.88/17.90	c New solution: 96492
17.88/17.90	o 96492
17.88/17.90	c Elapsed CPU time: 17.6583 s	Remaining CPU time: 162.342 s
17.88/17.90	c ===============================================================================
17.88/17.90	c |      1336 |    3720    28034   353358 |     9344     1336    448 | 35.248 % |
18.59/18.69	c |      1437 |    3720    28034   353358 |    10279     1437    464 | 35.248 % |
19.29/19.37	c |      1587 |    3720    28034   353358 |    11307     1587    479 | 35.248 % |
19.59/19.63	c ===============================================================================
19.59/19.63	c New solution: 96473
19.59/19.63	o 96473
19.59/19.63	c Elapsed CPU time: 19.3871 s	Remaining CPU time: 160.613 s
19.59/19.63	c ===============================================================================
19.59/19.63	c |      1591 |    3720    28035   355413 |     9345     1591    478 | 35.248 % |
19.98/20.06	c ===============================================================================
19.98/20.06	c New solution: 96472
19.98/20.06	o 96472
19.98/20.06	c Elapsed CPU time: 19.806 s	Remaining CPU time: 160.194 s
19.98/20.06	c ===============================================================================
19.98/20.06	c |      1612 |    3720    28036   357468 |     9345     1612    479 | 35.248 % |
20.38/20.41	c |      1712 |    3720    28036   357468 |    10279     1712    482 | 35.248 % |
21.18/21.24	c |      1863 |    3720    28036   357468 |    11307     1863    499 | 35.248 % |
21.49/21.50	c ===============================================================================
21.49/21.50	c New solution: 96471
21.49/21.50	o 96471
21.49/21.50	c Elapsed CPU time: 21.2478 s	Remaining CPU time: 158.752 s
21.49/21.50	c ===============================================================================
21.49/21.50	c |      1881 |    3720    28037   359523 |     9345     1881    499 | 35.248 % |
21.69/21.78	c ===============================================================================
21.69/21.78	c New solution: 96470
21.69/21.78	o 96470
21.69/21.78	c Elapsed CPU time: 21.5277 s	Remaining CPU time: 158.472 s
21.69/21.78	c ===============================================================================
21.69/21.78	c |      1882 |    3720    28038   361578 |     9346     1882    499 | 35.248 % |
21.89/21.99	c ===============================================================================
21.89/21.99	c New solution: 96469
21.89/21.99	o 96469
21.89/21.99	c Elapsed CPU time: 21.7327 s	Remaining CPU time: 158.267 s
21.89/21.99	c ===============================================================================
21.89/21.99	c |      1888 |    3720    28039   363633 |     9346     1888    498 | 35.248 % |
22.58/22.68	c ===============================================================================
22.58/22.68	c New solution: 96468
22.58/22.68	o 96468
22.58/22.68	c Elapsed CPU time: 22.4276 s	Remaining CPU time: 157.572 s
22.58/22.68	c ===============================================================================
22.58/22.68	c |      1894 |    3720    28040   365688 |     9346     1894    496 | 35.248 % |
22.78/22.86	c ===============================================================================
22.78/22.86	c New solution: 96467
22.78/22.86	o 96467
22.78/22.86	c Elapsed CPU time: 22.6036 s	Remaining CPU time: 157.396 s
22.78/22.86	c ===============================================================================
22.78/22.86	c |      1905 |    3720    28041   367743 |     9347     1905    497 | 35.248 % |
23.18/23.27	c ===============================================================================
23.18/23.27	c New solution: 96466
23.18/23.27	o 96466
23.18/23.27	c Elapsed CPU time: 23.0125 s	Remaining CPU time: 156.987 s
23.18/23.27	c ===============================================================================
23.18/23.27	c |      1909 |    3720    28042   369798 |     9347     1909    497 | 35.248 % |
23.38/23.42	c ===============================================================================
23.38/23.42	c New solution: 94965
23.38/23.42	o 94965
23.38/23.42	c Elapsed CPU time: 23.1655 s	Remaining CPU time: 156.835 s
23.38/23.42	c ===============================================================================
23.38/23.42	c |      1912 |    3720    28043   371853 |     9347     1912    496 | 35.248 % |
23.48/23.54	c ===============================================================================
23.48/23.54	c New solution: 94889
23.48/23.54	o 94889
23.48/23.54	c Elapsed CPU time: 23.2805 s	Remaining CPU time: 156.72 s
23.48/23.54	c ===============================================================================
23.48/23.54	c |      1912 |    3720    28044   373908 |     9348     1912    496 | 35.248 % |
23.58/23.65	c ===============================================================================
23.58/23.65	c New solution: 94888
23.58/23.65	o 94888
23.58/23.65	c Elapsed CPU time: 23.3824 s	Remaining CPU time: 156.618 s
23.58/23.65	c ===============================================================================
23.58/23.65	c |      1912 |    3720    28045   375963 |     9348     1912    496 | 35.248 % |
23.68/23.77	c ===============================================================================
23.68/23.77	c New solution: 93376
23.68/23.77	o 93376
23.68/23.77	c Elapsed CPU time: 23.5014 s	Remaining CPU time: 156.499 s
23.68/23.77	c ===============================================================================
23.68/23.77	c |      1913 |    3720    28046   378018 |     9348     1913    496 | 35.248 % |
23.79/23.88	c ===============================================================================
23.79/23.88	c New solution: 91832
23.79/23.88	o 91832
23.79/23.88	c Elapsed CPU time: 23.6124 s	Remaining CPU time: 156.388 s
23.79/23.88	c ===============================================================================
23.79/23.88	c |      1919 |    3720    28047   380073 |     9349     1919    495 | 35.248 % |
24.09/24.13	c ===============================================================================
24.09/24.13	c New solution: 91699
24.09/24.13	o 91699
24.09/24.13	c Elapsed CPU time: 23.8584 s	Remaining CPU time: 156.142 s
24.09/24.13	c ===============================================================================
24.09/24.13	c |      1928 |    3720    28048   382128 |     9349     1928    495 | 35.248 % |
24.19/24.23	c ===============================================================================
24.19/24.23	c New solution: 90197
24.19/24.23	o 90197
24.19/24.23	c Elapsed CPU time: 23.9604 s	Remaining CPU time: 156.04 s
24.19/24.23	c ===============================================================================
24.19/24.23	c |      1931 |    3720    28049   384183 |     9349     1931    494 | 35.248 % |
24.38/24.42	c ===============================================================================
24.38/24.42	c New solution: 90196
24.38/24.42	o 90196
24.38/24.42	c Elapsed CPU time: 24.1513 s	Remaining CPU time: 155.849 s
24.38/24.42	c ===============================================================================
24.38/24.42	c |      1957 |    3720    28050   386238 |     9350     1957    498 | 35.248 % |
24.68/24.77	c ===============================================================================
24.68/24.77	c New solution: 90187
24.68/24.77	o 90187
24.68/24.77	c Elapsed CPU time: 24.4993 s	Remaining CPU time: 155.501 s
24.68/24.77	c ===============================================================================
24.68/24.77	c |      1959 |    3720    28051   388293 |     9350     1959    497 | 35.248 % |
25.68/25.79	c |      2060 |    3720    28051   388293 |    10285     2060    502 | 35.248 % |
25.88/25.97	c ===============================================================================
25.88/25.97	c New solution: 90090
25.88/25.97	o 90090
25.88/25.97	c Elapsed CPU time: 25.7021 s	Remaining CPU time: 154.298 s
25.88/25.97	c ===============================================================================
25.88/25.97	c |      2064 |    3720    28052   390348 |     9350     2064    502 | 35.248 % |
25.98/26.05	c ===============================================================================
25.98/26.05	c New solution: 90089
25.98/26.05	o 90089
25.98/26.05	c Elapsed CPU time: 25.7811 s	Remaining CPU time: 154.219 s
25.98/26.05	c ===============================================================================
25.98/26.05	c |      2067 |    3720    28053   392403 |     9351     2067    501 | 35.248 % |
26.18/26.25	c ===============================================================================
26.18/26.25	c New solution: 88650
26.18/26.25	o 88650
26.18/26.25	c Elapsed CPU time: 25.9791 s	Remaining CPU time: 154.021 s
26.18/26.25	c ===============================================================================
26.18/26.25	c |      2074 |    3720    28054   394458 |     9351     2074    500 | 35.248 % |
26.29/26.40	c ===============================================================================
26.29/26.40	c New solution: 88649
26.29/26.40	o 88649
26.29/26.40	c Elapsed CPU time: 26.127 s	Remaining CPU time: 153.873 s
26.29/26.40	c ===============================================================================
26.29/26.40	c |      2075 |    3720    28055   396513 |     9351     2075    500 | 35.248 % |
26.39/26.48	c ===============================================================================
26.39/26.48	c New solution: 88648
26.39/26.48	o 88648
26.39/26.48	c Elapsed CPU time: 26.213 s	Remaining CPU time: 153.787 s
26.39/26.48	c ===============================================================================
26.39/26.48	c |      2076 |    3720    28056   398568 |     9352     2076    499 | 35.248 % |
26.58/26.63	c ===============================================================================
26.58/26.63	c New solution: 88646
26.58/26.63	o 88646
26.58/26.63	c Elapsed CPU time: 26.358 s	Remaining CPU time: 153.642 s
26.58/26.63	c ===============================================================================
26.58/26.63	c |      2076 |    3720    28057   400623 |     9352     2076    499 | 35.248 % |
26.68/26.77	c ===============================================================================
26.68/26.77	c New solution: 88645
26.68/26.77	o 88645
26.68/26.77	c Elapsed CPU time: 26.497 s	Remaining CPU time: 153.503 s
26.68/26.77	c ===============================================================================
26.68/26.77	c |      2077 |    3720    28058   402678 |     9352     2077    499 | 35.248 % |
26.88/26.94	c ===============================================================================
26.88/26.94	c New solution: 88630
26.88/26.94	o 88630
26.88/26.94	c Elapsed CPU time: 26.6669 s	Remaining CPU time: 153.333 s
26.88/26.94	c ===============================================================================
26.88/26.94	c |      2078 |    3720    28059   404733 |     9353     2078    499 | 35.248 % |
26.98/27.02	c ===============================================================================
26.98/27.02	c New solution: 88513
26.98/27.02	o 88513
26.98/27.02	c Elapsed CPU time: 26.7469 s	Remaining CPU time: 153.253 s
26.98/27.02	c ===============================================================================
26.98/27.02	c |      2078 |    3720    28060   406788 |     9353     2078    499 | 35.248 % |
27.08/27.11	c ===============================================================================
27.08/27.11	c New solution: 87052
27.08/27.11	o 87052
27.08/27.11	c Elapsed CPU time: 26.8299 s	Remaining CPU time: 153.17 s
27.08/27.11	c ===============================================================================
27.08/27.11	c |      2078 |    3720    28061   408843 |     9353     2078    499 | 35.248 % |
27.08/27.19	c ===============================================================================
27.08/27.19	c New solution: 87051
27.08/27.19	o 87051
27.08/27.19	c Elapsed CPU time: 26.9079 s	Remaining CPU time: 153.092 s
27.08/27.19	c ===============================================================================
27.08/27.19	c |      2078 |    3720    28062   410898 |     9354     2078    499 | 35.248 % |
27.18/27.29	c ===============================================================================
27.18/27.29	c New solution: 86916
27.18/27.29	o 86916
27.18/27.29	c Elapsed CPU time: 27.0079 s	Remaining CPU time: 152.992 s
27.18/27.29	c ===============================================================================
27.18/27.29	c |      2080 |    3720    28063   412953 |     9354     2080    499 | 35.248 % |
27.39/27.46	c ===============================================================================
27.39/27.46	c New solution: 85450
27.39/27.46	o 85450
27.39/27.46	c Elapsed CPU time: 27.1799 s	Remaining CPU time: 152.82 s
27.39/27.46	c ===============================================================================
27.39/27.46	c |      2081 |    3720    28064   415008 |     9354     2081    499 | 35.248 % |
27.49/27.56	c ===============================================================================
27.49/27.56	c New solution: 85331
27.49/27.56	o 85331
27.49/27.56	c Elapsed CPU time: 27.2769 s	Remaining CPU time: 152.723 s
27.49/27.56	c ===============================================================================
27.49/27.56	c |      2083 |    3720    28065   417063 |     9355     2083    499 | 35.248 % |
27.89/27.92	c ===============================================================================
27.89/27.92	c New solution: 85285
27.89/27.92	o 85285
27.89/27.92	c Elapsed CPU time: 27.6358 s	Remaining CPU time: 152.364 s
27.89/27.92	c ===============================================================================
27.89/27.92	c |      2088 |    3720    28066   419118 |     9355     2088    499 | 35.248 % |
27.99/28.08	c ===============================================================================
27.99/28.08	c New solution: 83861
27.99/28.08	o 83861
27.99/28.08	c Elapsed CPU time: 27.7918 s	Remaining CPU time: 152.208 s
27.99/28.08	c ===============================================================================
27.99/28.08	c |      2090 |    3720    28067   421173 |     9355     2090    499 | 35.248 % |
28.08/28.19	c ===============================================================================
28.08/28.19	c New solution: 83860
28.08/28.19	o 83860
28.08/28.19	c Elapsed CPU time: 27.9048 s	Remaining CPU time: 152.095 s
28.08/28.19	c ===============================================================================
28.08/28.19	c |      2096 |    3720    28068   423228 |     9356     2096    498 | 35.248 % |
28.49/28.50	c ===============================================================================
28.49/28.50	c New solution: 83699
28.49/28.50	o 83699
28.49/28.50	c Elapsed CPU time: 28.2057 s	Remaining CPU time: 151.794 s
28.49/28.50	c ===============================================================================
28.49/28.50	c |      2096 |    3720    28069   425283 |     9356     2096    498 | 35.248 % |
28.68/28.79	c ===============================================================================
28.68/28.79	c New solution: 83698
28.68/28.79	o 83698
28.68/28.79	c Elapsed CPU time: 28.4967 s	Remaining CPU time: 151.503 s
28.68/28.79	c ===============================================================================
28.68/28.79	c |      2096 |    3720    28070   427338 |     9356     2096    498 | 35.248 % |
28.98/29.09	c ===============================================================================
28.98/29.09	c New solution: 83697
28.98/29.09	o 83697
28.98/29.09	c Elapsed CPU time: 28.7926 s	Remaining CPU time: 151.207 s
28.98/29.09	c ===============================================================================
28.98/29.09	c |      2098 |    3720    28071   429393 |     9357     2098    498 | 35.248 % |
29.28/29.38	c ===============================================================================
29.28/29.38	c New solution: 83696
29.28/29.38	o 83696
29.28/29.38	c Elapsed CPU time: 29.0896 s	Remaining CPU time: 150.91 s
29.28/29.38	c ===============================================================================
29.28/29.38	c |      2098 |    3720    28072   431448 |     9357     2098    498 | 35.248 % |
29.59/29.69	c ===============================================================================
29.59/29.69	c New solution: 83695
29.59/29.69	o 83695
29.59/29.69	c Elapsed CPU time: 29.3875 s	Remaining CPU time: 150.612 s
29.59/29.69	c ===============================================================================
29.59/29.69	c |      2099 |    3720    28073   433503 |     9357     2099    498 | 35.248 % |
29.69/29.80	c ===============================================================================
29.69/29.80	c New solution: 82217
29.69/29.80	o 82217
29.69/29.80	c Elapsed CPU time: 29.4955 s	Remaining CPU time: 150.504 s
29.69/29.80	c ===============================================================================
29.69/29.80	c |      2101 |    3720    28074   435558 |     9358     2101    497 | 35.248 % |
29.98/30.00	c ===============================================================================
29.98/30.00	c New solution: 82193
29.98/30.00	o 82193
29.98/30.00	c Elapsed CPU time: 29.7015 s	Remaining CPU time: 150.299 s
29.98/30.00	c ===============================================================================
29.98/30.00	c |      2103 |    3720    28075   437613 |     9358     2103    497 | 35.248 % |
29.98/30.06	c ===============================================================================
29.98/30.07	c New solution: 82132
29.98/30.07	o 82132
29.98/30.07	c Elapsed CPU time: 29.7635 s	Remaining CPU time: 150.237 s
29.98/30.07	c ===============================================================================
29.98/30.07	c |      2103 |    3720    28076   439668 |     9358     2103    497 | 35.248 % |
30.08/30.13	c ===============================================================================
30.08/30.13	c New solution: 82131
30.08/30.13	o 82131
30.08/30.13	c Elapsed CPU time: 29.8255 s	Remaining CPU time: 150.175 s
30.08/30.13	c ===============================================================================
30.08/30.13	c |      2103 |    3720    28077   441723 |     9359     2103    497 | 35.248 % |
30.08/30.18	c ===============================================================================
30.08/30.18	c New solution: 82130
30.08/30.18	o 82130
30.08/30.18	c Elapsed CPU time: 29.8785 s	Remaining CPU time: 150.122 s
30.08/30.18	c ===============================================================================
30.08/30.18	c |      2103 |    3720    28078   443778 |     9359     2103    497 | 35.248 % |
30.18/30.24	c ===============================================================================
30.18/30.24	c New solution: 82129
30.18/30.24	o 82129
30.18/30.24	c Elapsed CPU time: 29.9354 s	Remaining CPU time: 150.065 s
30.18/30.24	c ===============================================================================
30.18/30.24	c |      2103 |    3720    28079   445833 |     9359     2103    497 | 35.248 % |
30.28/30.31	c ===============================================================================
30.28/30.31	c New solution: 80543
30.28/30.31	o 80543
30.28/30.31	c Elapsed CPU time: 30.0064 s	Remaining CPU time: 149.994 s
30.28/30.31	c ===============================================================================
30.28/30.31	c |      2105 |    3720    28080   447888 |     9360     2105    497 | 35.248 % |
30.48/30.57	c ===============================================================================
30.48/30.57	c New solution: 80515
30.48/30.57	o 80515
30.48/30.57	c Elapsed CPU time: 30.2624 s	Remaining CPU time: 149.738 s
30.48/30.57	c ===============================================================================
30.48/30.57	c |      2107 |    3720    28081   449943 |     9360     2107    497 | 35.248 % |
30.58/30.69	c ===============================================================================
30.58/30.69	c New solution: 79006
30.58/30.69	o 79006
30.58/30.69	c Elapsed CPU time: 30.3834 s	Remaining CPU time: 149.617 s
30.58/30.69	c ===============================================================================
30.58/30.69	c |      2108 |    3720    28082   451998 |     9360     2108    497 | 35.248 % |
30.68/30.78	c ===============================================================================
30.68/30.78	c New solution: 77476
30.68/30.78	o 77476
30.68/30.78	c Elapsed CPU time: 30.4734 s	Remaining CPU time: 149.527 s
30.68/30.78	c ===============================================================================
30.68/30.78	c |      2109 |    3720    28083   454053 |     9361     2109    497 | 35.248 % |
30.79/30.86	c ===============================================================================
30.79/30.86	c New solution: 77472
30.79/30.86	o 77472
30.79/30.86	c Elapsed CPU time: 30.5494 s	Remaining CPU time: 149.451 s
30.79/30.86	c ===============================================================================
30.79/30.86	c |      2109 |    3720    28084   456108 |     9361     2109    497 | 35.248 % |
30.88/30.92	c ===============================================================================
30.88/30.92	c New solution: 77471
30.88/30.92	o 77471
30.88/30.92	c Elapsed CPU time: 30.6063 s	Remaining CPU time: 149.394 s
30.88/30.92	c ===============================================================================
30.88/30.92	c |      2109 |    3720    28085   458163 |     9361     2109    497 | 35.248 % |
30.88/30.98	c ===============================================================================
30.88/30.98	c New solution: 77465
30.88/30.98	o 77465
30.88/30.98	c Elapsed CPU time: 30.6673 s	Remaining CPU time: 149.333 s
30.88/30.98	c ===============================================================================
30.88/30.98	c |      2109 |    3720    28086   460218 |     9362     2109    497 | 35.248 % |
30.98/31.05	c ===============================================================================
30.98/31.05	c New solution: 77338
30.98/31.05	o 77338
30.98/31.05	c Elapsed CPU time: 30.7363 s	Remaining CPU time: 149.264 s
30.98/31.05	c ===============================================================================
30.98/31.05	c |      2110 |    3720    28087   462273 |     9362     2110    497 | 35.248 % |
31.08/31.13	c ===============================================================================
31.08/31.13	c New solution: 75878
31.08/31.13	o 75878
31.08/31.13	c Elapsed CPU time: 30.8153 s	Remaining CPU time: 149.185 s
31.08/31.13	c ===============================================================================
31.08/31.13	c |      2110 |    3720    28088   464328 |     9362     2110    497 | 35.248 % |
31.18/31.20	c ===============================================================================
31.18/31.20	c New solution: 75870
31.18/31.20	o 75870
31.18/31.20	c Elapsed CPU time: 30.8893 s	Remaining CPU time: 149.111 s
31.18/31.20	c ===============================================================================
31.18/31.20	c |      2110 |    3720    28089   466383 |     9363     2110    497 | 35.248 % |
31.18/31.27	c ===============================================================================
31.18/31.27	c New solution: 75869
31.18/31.27	o 75869
31.18/31.27	c Elapsed CPU time: 30.9613 s	Remaining CPU time: 149.039 s
31.18/31.27	c ===============================================================================
31.18/31.27	c |      2110 |    3720    28090   468438 |     9363     2110    497 | 35.248 % |
31.28/31.34	c ===============================================================================
31.28/31.34	c New solution: 75868
31.28/31.34	o 75868
31.28/31.34	c Elapsed CPU time: 31.0273 s	Remaining CPU time: 148.973 s
31.28/31.34	c ===============================================================================
31.28/31.34	c |      2111 |    3720    28091   470493 |     9363     2111    497 | 35.248 % |
31.38/31.48	c ===============================================================================
31.38/31.48	c New solution: 75842
31.38/31.48	o 75842
31.38/31.48	c Elapsed CPU time: 31.1703 s	Remaining CPU time: 148.83 s
31.38/31.48	c ===============================================================================
31.38/31.48	c |      2119 |    3720    28092   472548 |     9364     2119    497 | 35.248 % |
31.68/31.78	c ===============================================================================
31.68/31.78	c New solution: 75721
31.68/31.78	o 75721
31.68/31.78	c Elapsed CPU time: 31.4622 s	Remaining CPU time: 148.538 s
31.68/31.78	c ===============================================================================
31.68/31.78	c |      2124 |    3720    28093   474603 |     9364     2124    497 | 35.248 % |
32.37/32.49	c |      2224 |    3720    28093   474603 |    10300     2224    505 | 35.248 % |
32.77/32.83	c ===============================================================================
32.77/32.83	c New solution: 75720
32.77/32.83	o 75720
32.77/32.83	c Elapsed CPU time: 32.5091 s	Remaining CPU time: 147.491 s
32.77/32.83	c ===============================================================================
32.77/32.83	c |      2226 |    3720    28094   476658 |     9364     2226    505 | 35.248 % |
33.78/33.80	c |      2329 |    3720    28094   476658 |    10301     2329    513 | 35.248 % |
33.99/34.07	c ===============================================================================
33.99/34.07	c New solution: 75719
33.99/34.07	o 75719
33.99/34.07	c Elapsed CPU time: 33.7539 s	Remaining CPU time: 146.246 s
33.99/34.07	c ===============================================================================
33.99/34.07	c |      2330 |    3720    28095   478713 |     9365     2330    513 | 35.248 % |
34.38/34.44	c ===============================================================================
34.38/34.44	c New solution: 75715
34.38/34.44	o 75715
34.38/34.44	c Elapsed CPU time: 34.1248 s	Remaining CPU time: 145.875 s
34.38/34.44	c ===============================================================================
34.38/34.44	c |      2337 |    3720    28096   480768 |     9365     2337    513 | 35.248 % |
35.38/35.40	c |      2437 |    3720    28096   480768 |    10301     2437    520 | 35.248 % |
35.58/35.68	c ===============================================================================
35.58/35.68	c New solution: 75712
35.58/35.68	o 75712
35.58/35.68	c Elapsed CPU time: 35.3536 s	Remaining CPU time: 144.646 s
35.58/35.68	c ===============================================================================
35.58/35.68	c |      2440 |    3720    28097   482823 |     9365     2440    520 | 35.248 % |
36.08/36.11	c ===============================================================================
36.08/36.11	c New solution: 75711
36.08/36.11	o 75711
36.08/36.11	c Elapsed CPU time: 35.7896 s	Remaining CPU time: 144.21 s
36.08/36.11	c ===============================================================================
36.08/36.11	c |      2442 |    3720    28098   484878 |     9366     2442    520 | 35.248 % |
36.48/36.53	c ===============================================================================
36.48/36.53	c New solution: 75710
36.48/36.53	o 75710
36.48/36.53	c Elapsed CPU time: 36.2025 s	Remaining CPU time: 143.798 s
36.48/36.53	c ===============================================================================
36.48/36.53	c |      2444 |    3720    28099   486933 |     9366     2444    520 | 35.248 % |
37.17/37.25	c |      2544 |    3720    28099   486933 |    10302     2544    526 | 35.248 % |
37.47/37.53	c ===============================================================================
37.47/37.53	c New solution: 75708
37.47/37.53	o 75708
37.47/37.53	c Elapsed CPU time: 37.2013 s	Remaining CPU time: 142.799 s
37.47/37.53	c ===============================================================================
37.47/37.53	c |      2544 |    3720    28100   488988 |     9366     2544    526 | 35.248 % |
37.88/37.90	c ===============================================================================
37.88/37.90	c New solution: 75707
37.88/37.90	o 75707
37.88/37.90	c Elapsed CPU time: 37.5683 s	Remaining CPU time: 142.432 s
37.88/37.90	c ===============================================================================
37.88/37.90	c |      2545 |    3720    28101   491043 |     9367     2545    526 | 35.248 % |
38.08/38.18	c ===============================================================================
38.08/38.18	c New solution: 75706
38.08/38.18	o 75706
38.08/38.18	c Elapsed CPU time: 37.8452 s	Remaining CPU time: 142.155 s
38.08/38.18	c ===============================================================================
38.08/38.18	c |      2546 |    3720    28102   493098 |     9367     2546    526 | 35.248 % |
39.08/39.11	c |      2646 |    3720    28102   493098 |    10304     2646    532 | 35.248 % |
39.38/39.44	c ===============================================================================
39.38/39.44	c New solution: 75705
39.38/39.44	o 75705
39.38/39.44	c Elapsed CPU time: 39.1101 s	Remaining CPU time: 140.89 s
39.38/39.44	c ===============================================================================
39.38/39.44	c |      2646 |    3720    28103   495153 |     9367     2646    532 | 35.248 % |
39.68/39.78	c ===============================================================================
39.68/39.78	c New solution: 75704
39.68/39.78	o 75704
39.68/39.78	c Elapsed CPU time: 39.442 s	Remaining CPU time: 140.558 s
39.68/39.78	c ===============================================================================
39.68/39.78	c |      2646 |    3720    28104   497208 |     9368     2646    532 | 35.248 % |
40.08/40.12	c ===============================================================================
40.08/40.12	c New solution: 75703
40.08/40.12	o 75703
40.08/40.12	c Elapsed CPU time: 39.784 s	Remaining CPU time: 140.216 s
40.08/40.12	c ===============================================================================
40.08/40.12	c |      2647 |    3720    28105   499263 |     9368     2647    532 | 35.248 % |
40.27/40.38	c ===============================================================================
40.27/40.38	c New solution: 75702
40.27/40.38	o 75702
40.27/40.38	c Elapsed CPU time: 40.0479 s	Remaining CPU time: 139.952 s
40.27/40.38	c ===============================================================================
40.27/40.38	c |      2654 |    3720    28106   501318 |     9368     2654    532 | 35.248 % |
40.68/40.74	c ===============================================================================
40.68/40.74	c New solution: 75701
40.68/40.74	o 75701
40.68/40.74	c Elapsed CPU time: 40.4049 s	Remaining CPU time: 139.595 s
40.68/40.74	c ===============================================================================
40.68/40.74	c |      2670 |    3720    28107   503373 |     9369     2670    532 | 35.248 % |
42.28/42.32	c ===============================================================================
42.28/42.32	c New solution: 74275
42.28/42.32	o 74275
42.28/42.32	c Elapsed CPU time: 41.9876 s	Remaining CPU time: 138.012 s
42.28/42.32	c ===============================================================================
42.28/42.32	c |      2749 |    3720    28108   505428 |     9369     2749    535 | 35.248 % |
42.68/42.71	c ===============================================================================
42.68/42.71	c New solution: 74106
42.68/42.71	o 74106
42.68/42.71	c Elapsed CPU time: 42.3726 s	Remaining CPU time: 137.627 s
42.68/42.71	c ===============================================================================
42.68/42.71	c |      2750 |    3720    28109   507483 |     9369     2750    535 | 35.248 % |
43.27/43.30	c |      2851 |    3720    28109   507483 |    10306     2851    539 | 35.248 % |
43.68/43.71	c ===============================================================================
43.68/43.71	c New solution: 74095
43.68/43.71	o 74095
43.68/43.71	c Elapsed CPU time: 43.3644 s	Remaining CPU time: 136.636 s
43.68/43.71	c ===============================================================================
43.68/43.71	c |      2851 |    3720    28110   509538 |     9370     2851    539 | 35.248 % |
44.08/44.12	c ===============================================================================
44.08/44.12	c New solution: 74094
44.08/44.12	o 74094
44.08/44.12	c Elapsed CPU time: 43.7773 s	Remaining CPU time: 136.223 s
44.08/44.12	c ===============================================================================
44.08/44.12	c |      2851 |    3720    28111   511593 |     9370     2851    539 | 35.248 % |
44.48/44.54	c ===============================================================================
44.48/44.54	c New solution: 74093
44.48/44.54	o 74093
44.48/44.54	c Elapsed CPU time: 44.1913 s	Remaining CPU time: 135.809 s
44.48/44.54	c ===============================================================================
44.48/44.54	c |      2851 |    3720    28112   513648 |     9370     2851    539 | 35.248 % |
44.88/44.95	c ===============================================================================
44.88/44.95	c New solution: 74092
44.88/44.95	o 74092
44.88/44.95	c Elapsed CPU time: 44.6052 s	Remaining CPU time: 135.395 s
44.88/44.95	c ===============================================================================
44.88/44.95	c |      2851 |    3720    28113   515703 |     9371     2851    539 | 35.248 % |
45.28/45.36	c ===============================================================================
45.28/45.36	c New solution: 74091
45.28/45.36	o 74091
45.28/45.36	c Elapsed CPU time: 45.0182 s	Remaining CPU time: 134.982 s
45.28/45.36	c ===============================================================================
45.28/45.36	c |      2851 |    3720    28114   517758 |     9371     2851    539 | 35.248 % |
45.68/45.77	c ===============================================================================
45.68/45.77	c New solution: 74090
45.68/45.77	o 74090
45.68/45.77	c Elapsed CPU time: 45.4271 s	Remaining CPU time: 134.573 s
45.68/45.77	c ===============================================================================
45.68/45.77	c |      2851 |    3720    28115   519813 |     9371     2851    539 | 35.248 % |
46.08/46.18	c ===============================================================================
46.08/46.18	c New solution: 74089
46.08/46.18	o 74089
46.08/46.18	c Elapsed CPU time: 45.836 s	Remaining CPU time: 134.164 s
46.08/46.18	c ===============================================================================
46.08/46.18	c |      2851 |    3720    28116   521868 |     9372     2851    539 | 35.248 % |
46.47/46.59	c ===============================================================================
46.47/46.59	c New solution: 74088
46.47/46.59	o 74088
46.47/46.59	c Elapsed CPU time: 46.246 s	Remaining CPU time: 133.754 s
46.47/46.59	c ===============================================================================
46.47/46.59	c |      2851 |    3720    28117   523923 |     9372     2851    539 | 35.248 % |
46.97/47.00	c ===============================================================================
46.97/47.00	c New solution: 74087
46.97/47.00	o 74087
46.97/47.00	c Elapsed CPU time: 46.6569 s	Remaining CPU time: 133.343 s
46.97/47.00	c ===============================================================================
46.97/47.00	c |      2851 |    3720    28118   525978 |     9372     2851    539 | 35.248 % |
47.37/47.42	c ===============================================================================
47.37/47.42	c New solution: 74086
47.37/47.42	o 74086
47.37/47.42	c Elapsed CPU time: 47.0688 s	Remaining CPU time: 132.931 s
47.37/47.42	c ===============================================================================
47.37/47.42	c |      2851 |    3720    28119   528033 |     9373     2851    539 | 35.248 % |
47.77/47.83	c ===============================================================================
47.77/47.83	c New solution: 74085
47.77/47.83	o 74085
47.77/47.83	c Elapsed CPU time: 47.4798 s	Remaining CPU time: 132.52 s
47.77/47.83	c ===============================================================================
47.77/47.83	c |      2851 |    3720    28120   530088 |     9373     2851    539 | 35.248 % |
48.17/48.24	c ===============================================================================
48.17/48.24	c New solution: 74084
48.17/48.24	o 74084
48.17/48.24	c Elapsed CPU time: 47.8907 s	Remaining CPU time: 132.109 s
48.17/48.24	c ===============================================================================
48.17/48.24	c |      2851 |    3720    28121   532143 |     9373     2851    539 | 35.248 % |
48.57/48.66	c ===============================================================================
48.57/48.66	c New solution: 74083
48.57/48.66	o 74083
48.57/48.66	c Elapsed CPU time: 48.3137 s	Remaining CPU time: 131.686 s
48.57/48.66	c ===============================================================================
48.57/48.66	c |      2851 |    3720    28122   534198 |     9374     2851    539 | 35.248 % |
48.97/49.08	c ===============================================================================
48.97/49.08	c New solution: 74082
48.97/49.08	o 74082
48.97/49.08	c Elapsed CPU time: 48.7256 s	Remaining CPU time: 131.274 s
48.97/49.08	c ===============================================================================
48.97/49.08	c |      2852 |    3720    28123   536253 |     9374     2852    539 | 35.248 % |
49.17/49.25	c ===============================================================================
49.17/49.25	c New solution: 72661
49.17/49.25	o 72661
49.17/49.25	c Elapsed CPU time: 48.8956 s	Remaining CPU time: 131.104 s
49.17/49.25	c ===============================================================================
49.17/49.25	c |      2854 |    3720    28124   538308 |     9374     2854    539 | 35.248 % |
49.58/49.69	c ===============================================================================
49.58/49.69	c New solution: 72521
49.58/49.69	o 72521
49.58/49.69	c Elapsed CPU time: 49.3385 s	Remaining CPU time: 130.662 s
49.58/49.69	c ===============================================================================
49.58/49.69	c |      2856 |    3720    28125   540363 |     9375     2856    539 | 35.248 % |
50.38/50.46	c ===============================================================================
50.38/50.46	c New solution: 72502
50.38/50.46	o 72502
50.38/50.46	c Elapsed CPU time: 50.1094 s	Remaining CPU time: 129.891 s
50.38/50.46	c ===============================================================================
50.38/50.46	c |      2862 |    3720    28126   542418 |     9375     2862    538 | 35.248 % |
50.78/50.87	c ===============================================================================
50.78/50.87	c New solution: 72501
50.78/50.87	o 72501
50.78/50.87	c Elapsed CPU time: 50.5173 s	Remaining CPU time: 129.483 s
50.78/50.87	c ===============================================================================
50.78/50.87	c |      2864 |    3720    28127   544473 |     9375     2864    538 | 35.248 % |
51.77/51.83	c ===============================================================================
51.77/51.83	c New solution: 71054
51.77/51.83	o 71054
51.77/51.83	c Elapsed CPU time: 51.4712 s	Remaining CPU time: 128.529 s
51.77/51.83	c ===============================================================================
51.77/51.83	c |      2899 |    3720    28128   546528 |     9376     2899    540 | 35.248 % |
52.17/52.25	c ===============================================================================
52.17/52.25	c New solution: 70918
52.17/52.25	o 70918
52.17/52.25	c Elapsed CPU time: 51.8941 s	Remaining CPU time: 128.106 s
52.17/52.25	c ===============================================================================
52.17/52.25	c |      2902 |    3720    28129   548583 |     9376     2902    539 | 35.248 % |
52.57/52.66	c ===============================================================================
52.57/52.66	c New solution: 70902
52.57/52.66	o 70902
52.57/52.66	c Elapsed CPU time: 52.299 s	Remaining CPU time: 127.701 s
52.57/52.66	c ===============================================================================
52.57/52.66	c |      2902 |    3720    28130   550638 |     9376     2902    539 | 35.248 % |
52.97/53.06	c ===============================================================================
52.97/53.06	c New solution: 70901
52.97/53.06	o 70901
52.97/53.06	c Elapsed CPU time: 52.702 s	Remaining CPU time: 127.298 s
52.97/53.06	c ===============================================================================
52.97/53.06	c |      2902 |    3720    28131   552693 |     9377     2902    539 | 35.248 % |
53.37/53.46	c ===============================================================================
53.37/53.46	c New solution: 70900
53.37/53.46	o 70900
53.37/53.46	c Elapsed CPU time: 53.1049 s	Remaining CPU time: 126.895 s
53.37/53.46	c ===============================================================================
53.37/53.46	c |      2902 |    3720    28132   554748 |     9377     2902    539 | 35.248 % |
53.78/53.87	c ===============================================================================
53.78/53.87	c New solution: 70899
53.78/53.87	o 70899
53.78/53.87	c Elapsed CPU time: 53.5069 s	Remaining CPU time: 126.493 s
53.78/53.87	c ===============================================================================
53.78/53.87	c |      2902 |    3720    28133   556803 |     9377     2902    539 | 35.248 % |
54.17/54.27	c ===============================================================================
54.17/54.27	c New solution: 70898
54.17/54.27	o 70898
54.17/54.27	c Elapsed CPU time: 53.9078 s	Remaining CPU time: 126.092 s
54.17/54.27	c ===============================================================================
54.17/54.27	c |      2902 |    3720    28134   558858 |     9378     2902    539 | 35.248 % |
54.57/54.67	c ===============================================================================
54.57/54.67	c New solution: 70897
54.57/54.67	o 70897
54.57/54.67	c Elapsed CPU time: 54.3077 s	Remaining CPU time: 125.692 s
54.57/54.67	c ===============================================================================
54.57/54.67	c |      2902 |    3720    28135   560913 |     9378     2902    539 | 35.248 % |
55.07/55.11	c ===============================================================================
55.07/55.11	c New solution: 70896
55.07/55.11	o 70896
55.07/55.11	c Elapsed CPU time: 54.7497 s	Remaining CPU time: 125.25 s
55.07/55.11	c ===============================================================================
55.07/55.11	c |      2904 |    3720    28136   562968 |     9378     2904    540 | 35.248 % |
55.98/56.01	c |      3004 |    3720    28136   562968 |    10316     3004    543 | 35.248 % |
56.28/56.38	c ===============================================================================
56.28/56.38	c New solution: 70895
56.28/56.39	o 70895
56.28/56.39	c Elapsed CPU time: 56.0195 s	Remaining CPU time: 123.981 s
56.28/56.39	c ===============================================================================
56.28/56.39	c |      3008 |    3720    28137   565023 |     9379     3008    543 | 35.248 % |
57.08/57.16	c ===============================================================================
57.08/57.16	c New solution: 70894
57.08/57.16	o 70894
57.08/57.16	c Elapsed CPU time: 56.7904 s	Remaining CPU time: 123.21 s
57.08/57.16	c ===============================================================================
57.08/57.16	c |      3037 |    3720    28138   567078 |     9379     3037    544 | 35.248 % |
57.87/57.99	c ===============================================================================
57.87/57.99	c New solution: 69447
57.87/57.99	o 69447
57.87/57.99	c Elapsed CPU time: 57.6162 s	Remaining CPU time: 122.384 s
57.87/57.99	c ===============================================================================
57.87/57.99	c |      3082 |    3720    28139   569133 |     9379     3082    545 | 35.248 % |
58.37/58.45	c ===============================================================================
58.37/58.45	c New solution: 69318
58.37/58.45	o 69318
58.37/58.45	c Elapsed CPU time: 58.0802 s	Remaining CPU time: 121.92 s
58.37/58.45	c ===============================================================================
58.37/58.45	c |      3089 |    3720    28140   571188 |     9380     3089    545 | 35.248 % |
59.47/59.58	c |      3189 |    3720    28140   571188 |    10318     3189    549 | 35.248 % |
59.97/60.08	c ===============================================================================
59.97/60.08	c New solution: 69311
59.97/60.08	o 69311
59.97/60.08	c Elapsed CPU time: 59.7059 s	Remaining CPU time: 120.294 s
59.97/60.08	c ===============================================================================
59.97/60.08	c |      3190 |    3720    28141   573243 |     9380     3190    548 | 35.248 % |
60.47/60.57	c ===============================================================================
60.47/60.57	c New solution: 69310
60.47/60.57	o 69310
60.47/60.57	c Elapsed CPU time: 60.1918 s	Remaining CPU time: 119.808 s
60.47/60.57	c ===============================================================================
60.47/60.57	c |      3190 |    3720    28142   575298 |     9380     3190    548 | 35.248 % |
60.96/61.05	c ===============================================================================
60.96/61.05	c New solution: 69309
60.96/61.05	o 69309
60.96/61.05	c Elapsed CPU time: 60.6758 s	Remaining CPU time: 119.324 s
60.96/61.05	c ===============================================================================
60.96/61.05	c |      3190 |    3720    28143   577353 |     9381     3190    548 | 35.248 % |
61.48/61.54	c ===============================================================================
61.48/61.54	c New solution: 69308
61.48/61.54	o 69308
61.48/61.54	c Elapsed CPU time: 61.1627 s	Remaining CPU time: 118.837 s
61.48/61.54	c ===============================================================================
61.48/61.54	c |      3190 |    3720    28144   579408 |     9381     3190    548 | 35.248 % |
61.97/62.03	c ===============================================================================
61.97/62.03	c New solution: 69307
61.97/62.03	o 69307
61.97/62.03	c Elapsed CPU time: 61.6476 s	Remaining CPU time: 118.352 s
61.97/62.03	c ===============================================================================
61.97/62.03	c |      3190 |    3720    28145   581463 |     9381     3190    548 | 35.248 % |
62.47/62.53	c ===============================================================================
62.47/62.53	c New solution: 69306
62.47/62.53	o 69306
62.47/62.53	c Elapsed CPU time: 62.1486 s	Remaining CPU time: 117.851 s
62.47/62.53	c ===============================================================================
62.47/62.53	c |      3192 |    3720    28146   583518 |     9382     3192    549 | 35.248 % |
62.77/62.85	c ===============================================================================
62.77/62.85	c New solution: 69305
62.77/62.85	o 69305
62.77/62.85	c Elapsed CPU time: 62.4725 s	Remaining CPU time: 117.527 s
62.77/62.85	c ===============================================================================
62.77/62.85	c |      3195 |    3720    28147   585573 |     9382     3195    549 | 35.248 % |
64.37/64.44	c ===============================================================================
64.37/64.44	c New solution: 67877
64.37/64.44	o 67877
64.37/64.44	c Elapsed CPU time: 64.0563 s	Remaining CPU time: 115.944 s
64.37/64.44	c ===============================================================================
64.37/64.44	c |      3271 |    3720    28148   587628 |     9382     3271    551 | 35.248 % |
64.77/64.90	c ===============================================================================
64.77/64.90	c New solution: 67728
64.77/64.90	o 67728
64.77/64.90	c Elapsed CPU time: 64.5182 s	Remaining CPU time: 115.482 s
64.77/64.90	c ===============================================================================
64.77/64.90	c |      3275 |    3720    28149   589683 |     9383     3275    550 | 35.248 % |
65.37/65.41	c ===============================================================================
65.37/65.41	c New solution: 67712
65.37/65.41	o 67712
65.37/65.41	c Elapsed CPU time: 65.0251 s	Remaining CPU time: 114.975 s
65.37/65.41	c ===============================================================================
65.37/65.41	c |      3277 |    3720    28150   591738 |     9383     3277    550 | 35.248 % |
65.76/65.88	c ===============================================================================
65.76/65.88	c New solution: 67711
65.76/65.88	o 67711
65.76/65.88	c Elapsed CPU time: 65.493 s	Remaining CPU time: 114.507 s
65.76/65.88	c ===============================================================================
65.76/65.88	c |      3279 |    3720    28151   593793 |     9383     3279    550 | 35.248 % |
66.86/66.93	c |      3380 |    3720    28151   593793 |    10322     3380    554 | 35.248 % |
67.27/67.35	c ===============================================================================
67.27/67.35	c New solution: 67710
67.27/67.35	o 67710
67.27/67.35	c Elapsed CPU time: 66.9578 s	Remaining CPU time: 113.042 s
67.27/67.35	c ===============================================================================
67.27/67.35	c |      3380 |    3720    28152   595848 |     9384     3380    554 | 35.248 % |
67.77/67.82	c ===============================================================================
67.77/67.82	c New solution: 67709
67.77/67.82	o 67709
67.77/67.82	c Elapsed CPU time: 67.4327 s	Remaining CPU time: 112.567 s
67.77/67.82	c ===============================================================================
67.77/67.82	c |      3382 |    3720    28153   597903 |     9384     3382    554 | 35.248 % |
68.18/68.25	c ===============================================================================
68.18/68.25	c New solution: 67708
68.18/68.25	o 67708
68.18/68.25	c Elapsed CPU time: 67.8587 s	Remaining CPU time: 112.141 s
68.18/68.25	c ===============================================================================
68.18/68.25	c |      3384 |    3720    28154   599958 |     9384     3384    554 | 35.248 % |
68.67/68.70	c ===============================================================================
68.67/68.70	c New solution: 66283
68.67/68.70	o 66283
68.67/68.70	c Elapsed CPU time: 68.3116 s	Remaining CPU time: 111.688 s
68.67/68.70	c ===============================================================================
68.67/68.70	c |      3385 |    3720    28155   602013 |     9385     3385    554 | 35.248 % |
69.17/69.22	c ===============================================================================
69.17/69.22	c New solution: 66282
69.17/69.22	o 66282
69.17/69.22	c Elapsed CPU time: 68.8305 s	Remaining CPU time: 111.169 s
69.17/69.22	c ===============================================================================
69.17/69.22	c |      3385 |    3720    28156   604068 |     9385     3385    554 | 35.248 % |
69.57/69.67	c ===============================================================================
69.57/69.67	c New solution: 66281
69.57/69.67	o 66281
69.57/69.67	c Elapsed CPU time: 69.2755 s	Remaining CPU time: 110.725 s
69.57/69.67	c ===============================================================================
69.57/69.67	c |      3385 |    3720    28157   606123 |     9385     3385    554 | 35.248 % |
70.06/70.19	c ===============================================================================
70.06/70.19	c New solution: 66280
70.06/70.19	o 66280
70.06/70.19	c Elapsed CPU time: 69.7974 s	Remaining CPU time: 110.203 s
70.06/70.19	c ===============================================================================
70.06/70.19	c |      3385 |    3720    28158   608178 |     9386     3385    554 | 35.248 % |
70.56/70.64	c ===============================================================================
70.56/70.64	c New solution: 66279
70.56/70.64	o 66279
70.56/70.64	c Elapsed CPU time: 70.2403 s	Remaining CPU time: 109.76 s
70.56/70.64	c ===============================================================================
70.56/70.64	c |      3385 |    3720    28159   610233 |     9386     3385    554 | 35.248 % |
71.07/71.16	c ===============================================================================
71.07/71.16	c New solution: 66278
71.07/71.16	o 66278
71.07/71.16	c Elapsed CPU time: 70.7552 s	Remaining CPU time: 109.245 s
71.07/71.16	c ===============================================================================
71.07/71.16	c |      3385 |    3720    28160   612288 |     9386     3385    554 | 35.248 % |
71.57/71.60	c ===============================================================================
71.57/71.60	c New solution: 66277
71.57/71.60	o 66277
71.57/71.60	c Elapsed CPU time: 71.2032 s	Remaining CPU time: 108.797 s
71.57/71.60	c ===============================================================================
71.57/71.60	c |      3386 |    3720    28161   614343 |     9387     3386    554 | 35.248 % |
72.07/72.12	c ===============================================================================
72.07/72.12	c New solution: 66276
72.07/72.12	o 66276
72.07/72.12	c Elapsed CPU time: 71.7191 s	Remaining CPU time: 108.281 s
72.07/72.12	c ===============================================================================
72.07/72.12	c |      3386 |    3720    28162   616398 |     9387     3386    554 | 35.248 % |
72.48/72.57	c ===============================================================================
72.48/72.57	c New solution: 66275
72.48/72.57	o 66275
72.48/72.57	c Elapsed CPU time: 72.165 s	Remaining CPU time: 107.835 s
72.48/72.57	c ===============================================================================
72.48/72.57	c |      3386 |    3720    28163   618453 |     9387     3386    554 | 35.248 % |
72.97/73.08	c ===============================================================================
72.97/73.08	c New solution: 66274
72.97/73.08	o 66274
72.97/73.08	c Elapsed CPU time: 72.676 s	Remaining CPU time: 107.324 s
72.97/73.08	c ===============================================================================
72.97/73.08	c |      3386 |    3720    28164   620508 |     9388     3386    554 | 35.248 % |
75.06/75.14	c ===============================================================================
75.06/75.14	c New solution: 66273
75.06/75.14	o 66273
75.06/75.14	c Elapsed CPU time: 74.7336 s	Remaining CPU time: 105.266 s
75.06/75.14	c ===============================================================================
75.06/75.14	c |      3394 |    3720    28165   622563 |     9388     3394    553 | 35.248 % |
75.87/75.98	c ===============================================================================
75.87/75.98	c New solution: 66128
75.87/75.98	o 66128
75.87/75.98	c Elapsed CPU time: 75.5695 s	Remaining CPU time: 104.43 s
75.87/75.98	c ===============================================================================
75.87/75.98	c |      3410 |    3720    28166   624618 |     9388     3410    552 | 35.248 % |
76.46/76.52	c ===============================================================================
76.46/76.52	c New solution: 64680
76.46/76.52	o 64680
76.46/76.52	c Elapsed CPU time: 76.1144 s	Remaining CPU time: 103.886 s
76.46/76.53	c ===============================================================================
76.46/76.53	c |      3422 |    3720    28167   626673 |     9389     3422    553 | 35.248 % |
76.77/76.89	c ===============================================================================
76.77/76.89	c New solution: 64537
76.77/76.89	o 64537
76.77/76.89	c Elapsed CPU time: 76.4774 s	Remaining CPU time: 103.523 s
76.77/76.89	c ===============================================================================
76.77/76.89	c |      3431 |    3720    28168   628728 |     9389     3431    552 | 35.248 % |
77.97/78.04	c |      3533 |    3720    28168   628728 |    10328     3533    556 | 35.248 % |
78.67/78.76	c ===============================================================================
78.67/78.76	c New solution: 64536
78.67/78.76	o 64536
78.67/78.76	c Elapsed CPU time: 78.3491 s	Remaining CPU time: 101.651 s
78.67/78.76	c ===============================================================================
78.67/78.76	c |      3543 |    3720    28169   630783 |     9389     3543    556 | 35.248 % |
80.46/80.54	c |      3645 |    3720    28169   630783 |    10328     3645    559 | 35.248 % |
80.86/80.91	c ===============================================================================
80.86/80.91	c New solution: 64520
80.86/80.91	o 64520
80.86/80.91	c Elapsed CPU time: 80.4888 s	Remaining CPU time: 99.5112 s
80.86/80.91	c ===============================================================================
80.86/80.91	c |      3646 |    3720    28170   632838 |     9390     3646    559 | 35.248 % |
81.16/81.22	c ===============================================================================
81.16/81.22	c New solution: 64519
81.16/81.22	o 64519
81.16/81.22	c Elapsed CPU time: 80.7987 s	Remaining CPU time: 99.2013 s
81.16/81.22	c ===============================================================================
81.16/81.22	c |      3649 |    3720    28171   634893 |     9390     3649    559 | 35.248 % |
82.16/82.22	c |      3749 |    3720    28171   634893 |    10329     3749    562 | 35.248 % |
82.47/82.55	c ===============================================================================
82.47/82.55	c New solution: 64509
82.47/82.55	o 64509
82.47/82.55	c Elapsed CPU time: 82.1345 s	Remaining CPU time: 97.8655 s
82.47/82.55	c ===============================================================================
82.47/82.55	c |      3753 |    3720    28172   636948 |     9390     3753    562 | 35.248 % |
82.86/82.99	c ===============================================================================
82.86/82.99	c New solution: 64508
82.86/82.99	o 64508
82.86/82.99	c Elapsed CPU time: 82.5694 s	Remaining CPU time: 97.4306 s
82.86/82.99	c ===============================================================================
82.86/82.99	c |      3765 |    3720    28173   639003 |     9391     3765    562 | 35.248 % |
83.36/83.41	c ===============================================================================
83.36/83.41	c New solution: 64507
83.36/83.41	o 64507
83.36/83.41	c Elapsed CPU time: 82.9914 s	Remaining CPU time: 97.0086 s
83.36/83.41	c ===============================================================================
83.36/83.41	c |      3783 |    3720    28174   641058 |     9391     3783    562 | 35.248 % |
83.76/83.81	c ===============================================================================
83.76/83.81	c New solution: 63070
83.76/83.81	o 63070
83.76/83.81	c Elapsed CPU time: 83.3863 s	Remaining CPU time: 96.6137 s
83.76/83.81	c ===============================================================================
83.76/83.81	c |      3785 |    3720    28175   643113 |     9391     3785    562 | 35.248 % |
84.16/84.27	c ===============================================================================
84.16/84.27	c New solution: 63058
84.16/84.27	o 63058
84.16/84.27	c Elapsed CPU time: 83.8523 s	Remaining CPU time: 96.1477 s
84.16/84.27	c ===============================================================================
84.16/84.27	c |      3791 |    3720    28176   645168 |     9392     3791    562 | 35.248 % |
84.57/84.68	c ===============================================================================
84.57/84.68	c New solution: 63026
84.57/84.68	o 63026
84.57/84.68	c Elapsed CPU time: 84.2582 s	Remaining CPU time: 95.7418 s
84.57/84.68	c ===============================================================================
84.57/84.68	c |      3791 |    3720    28177   647223 |     9392     3791    562 | 35.248 % |
85.06/85.10	c ===============================================================================
85.06/85.10	c New solution: 62936
85.06/85.10	o 62936
85.06/85.10	c Elapsed CPU time: 84.6821 s	Remaining CPU time: 95.3179 s
85.06/85.10	c ===============================================================================
85.06/85.10	c |      3792 |    3720    28178   649278 |     9392     3792    562 | 35.248 % |
86.06/86.19	c |      3892 |    3720    28178   649278 |    10331     3892    565 | 35.248 % |
86.46/86.58	c ===============================================================================
86.46/86.58	c New solution: 62918
86.46/86.58	o 62918
86.46/86.58	c Elapsed CPU time: 86.1529 s	Remaining CPU time: 93.8471 s
86.46/86.58	c ===============================================================================
86.46/86.58	c |      3894 |    3720    28179   651333 |     9393     3894    565 | 35.248 % |
86.87/86.93	c ===============================================================================
86.87/86.93	c New solution: 62917
86.87/86.93	o 62917
86.87/86.93	c Elapsed CPU time: 86.5058 s	Remaining CPU time: 93.4942 s
86.87/86.93	c ===============================================================================
86.87/86.93	c |      3901 |    3720    28180   653388 |     9393     3901    565 | 35.248 % |
87.06/87.12	c ===============================================================================
87.06/87.12	c New solution: 61465
87.06/87.12	o 61465
87.06/87.12	c Elapsed CPU time: 86.6908 s	Remaining CPU time: 93.3092 s
87.06/87.12	c ===============================================================================
87.06/87.12	c |      3903 |    3720    28181   655443 |     9393     3903    565 | 35.248 % |
90.07/90.16	c ===============================================================================
90.07/90.16	c New solution: 61464
90.07/90.16	o 61464
90.07/90.16	c Elapsed CPU time: 89.7234 s	Remaining CPU time: 90.2766 s
90.07/90.16	c ===============================================================================
90.07/90.16	c |      3976 |    3720    28182   657498 |     9394     3976    566 | 35.248 % |
90.46/90.55	c ===============================================================================
90.46/90.55	c New solution: 61345
90.46/90.55	o 61345
90.46/90.55	c Elapsed CPU time: 90.1173 s	Remaining CPU time: 89.8827 s
90.46/90.55	c ===============================================================================
90.46/90.55	c |      3980 |    3720    28183   659553 |     9394     3980    566 | 35.248 % |
91.66/91.73	c |      4080 |    3720    28183   659553 |    10333     4080    569 | 35.248 % |
92.16/92.29	c ===============================================================================
92.16/92.29	c New solution: 59888
92.16/92.29	o 59888
92.16/92.29	c Elapsed CPU time: 91.846 s	Remaining CPU time: 88.154 s
92.16/92.29	c ===============================================================================
92.16/92.29	c |      4086 |    3720    28184   661608 |     9394     4086    569 | 35.248 % |
93.06/93.17	c ===============================================================================
93.06/93.17	c New solution: 59734
93.06/93.17	o 59734
93.06/93.17	c Elapsed CPU time: 92.7269 s	Remaining CPU time: 87.2731 s
93.06/93.17	c ===============================================================================
93.06/93.17	c |      4102 |    3720    28185   663663 |     9395     4102    568 | 35.248 % |
93.47/93.52	c ===============================================================================
93.47/93.52	c New solution: 59729
93.47/93.52	o 59729
93.47/93.52	c Elapsed CPU time: 93.0838 s	Remaining CPU time: 86.9162 s
93.47/93.52	c ===============================================================================
93.47/93.52	c |      4102 |    3720    28186   665718 |     9395     4102    568 | 35.248 % |
93.76/93.87	c ===============================================================================
93.76/93.87	c New solution: 59728
93.76/93.87	o 59728
93.76/93.87	c Elapsed CPU time: 93.4278 s	Remaining CPU time: 86.5722 s
93.76/93.87	c ===============================================================================
93.76/93.87	c |      4103 |    3720    28187   667773 |     9395     4103    568 | 35.248 % |
94.16/94.21	c ===============================================================================
94.16/94.21	c New solution: 59727
94.16/94.21	o 59727
94.16/94.21	c Elapsed CPU time: 93.7707 s	Remaining CPU time: 86.2293 s
94.16/94.21	c ===============================================================================
94.16/94.21	c |      4103 |    3720    28188   669828 |     9396     4103    568 | 35.248 % |
94.47/94.56	c ===============================================================================
94.47/94.56	c New solution: 59726
94.47/94.56	o 59726
94.47/94.56	c Elapsed CPU time: 94.1147 s	Remaining CPU time: 85.8853 s
94.47/94.56	c ===============================================================================
94.47/94.56	c |      4103 |    3720    28189   671883 |     9396     4103    568 | 35.248 % |
94.86/94.90	c ===============================================================================
94.86/94.90	c New solution: 59725
94.86/94.90	o 59725
94.86/94.90	c Elapsed CPU time: 94.4586 s	Remaining CPU time: 85.5414 s
94.86/94.90	c ===============================================================================
94.86/94.90	c |      4104 |    3720    28190   673938 |     9396     4104    568 | 35.248 % |
95.36/95.46	c ===============================================================================
95.36/95.46	c New solution: 58274
95.36/95.46	o 58274
95.36/95.46	c Elapsed CPU time: 95.0186 s	Remaining CPU time: 84.9814 s
95.36/95.46	c ===============================================================================
95.36/95.46	c |      4112 |    3720    28191   675993 |     9397     4112    568 | 35.248 % |
95.86/95.96	c ===============================================================================
95.86/95.96	c New solution: 58133
95.86/95.96	o 58133
95.86/95.96	c Elapsed CPU time: 95.5145 s	Remaining CPU time: 84.4855 s
95.86/95.96	c ===============================================================================
95.86/95.96	c |      4115 |    3720    28192   678048 |     9397     4115    568 | 35.248 % |
96.26/96.36	c ===============================================================================
96.26/96.36	c New solution: 56639
96.26/96.36	o 56639
96.26/96.36	c Elapsed CPU time: 95.9104 s	Remaining CPU time: 84.0896 s
96.26/96.36	c ===============================================================================
96.26/96.36	c |      4122 |    3720    28193   680103 |     9397     4122    568 | 35.248 % |
96.67/96.73	c ===============================================================================
96.67/96.73	c New solution: 56539
96.67/96.73	o 56539
96.67/96.73	c Elapsed CPU time: 96.2834 s	Remaining CPU time: 83.7166 s
96.67/96.73	c ===============================================================================
96.67/96.73	c |      4125 |    3720    28194   682158 |     9398     4125    568 | 35.248 % |
97.77/97.81	c |      4225 |    3720    28194   682158 |    10337     4225    570 | 35.248 % |
98.46/98.50	c ===============================================================================
98.46/98.50	c New solution: 56538
98.46/98.50	o 56538
98.46/98.50	c Elapsed CPU time: 98.0511 s	Remaining CPU time: 81.9489 s
98.46/98.50	c ===============================================================================
98.46/98.50	c |      4263 |    3720    28195   684213 |     9398     4263    571 | 35.248 % |
98.86/98.92	c ===============================================================================
98.86/98.92	c New solution: 56537
98.86/98.92	o 56537
98.86/98.92	c Elapsed CPU time: 98.468 s	Remaining CPU time: 81.532 s
98.86/98.92	c ===============================================================================
98.86/98.92	c |      4263 |    3720    28196   686268 |     9398     4263    571 | 35.248 % |
99.26/99.32	c ===============================================================================
99.26/99.32	c New solution: 56536
99.26/99.32	o 56536
99.26/99.32	c Elapsed CPU time: 98.869 s	Remaining CPU time: 81.131 s
99.26/99.32	c ===============================================================================
99.26/99.32	c |      4266 |    3720    28197   688323 |     9399     4266    571 | 35.248 % |
99.56/99.62	c ===============================================================================
99.56/99.62	c New solution: 56535
99.56/99.62	o 56535
99.56/99.62	c Elapsed CPU time: 99.1619 s	Remaining CPU time: 80.8381 s
99.56/99.62	c ===============================================================================
99.56/99.62	c |      4268 |    3720    28198   690378 |     9399     4268    571 | 35.248 % |
101.17/101.24	c |      4368 |    3720    28198   690378 |    10339     4368    573 | 35.248 % |
101.66/101.71	c ===============================================================================
101.66/101.71	c New solution: 56534
101.66/101.71	o 56534
101.66/101.71	c Elapsed CPU time: 101.253 s	Remaining CPU time: 78.7474 s
101.66/101.71	c ===============================================================================
101.66/101.71	c |      4374 |    3720    28199   692433 |     9399     4374    573 | 35.248 % |
103.16/103.27	c |      4475 |    3720    28199   692433 |    10339     4475    574 | 35.248 % |
103.56/103.67	c ===============================================================================
103.56/103.67	c New solution: 56533
103.56/103.67	o 56533
103.56/103.67	c Elapsed CPU time: 103.208 s	Remaining CPU time: 76.7917 s
103.56/103.67	c ===============================================================================
103.56/103.67	c |      4476 |    3720    28200   694488 |     9400     4476    574 | 35.248 % |
107.56/107.62	c |      4578 |    3720    28200   694488 |    10340     4578    572 | 35.248 % |
108.36/108.42	c ===============================================================================
108.36/108.42	c New solution: 55114
108.36/108.42	o 55114
108.36/108.42	c Elapsed CPU time: 107.956 s	Remaining CPU time: 72.0444 s
108.36/108.42	c ===============================================================================
108.36/108.42	c |      4579 |    3720    28201   696543 |     9400     4579    572 | 35.248 % |
108.76/108.86	c ===============================================================================
108.76/108.86	c New solution: 55112
108.76/108.86	o 55112
108.76/108.86	c Elapsed CPU time: 108.393 s	Remaining CPU time: 71.6075 s
108.76/108.86	c ===============================================================================
108.76/108.86	c |      4579 |    3720    28202   698598 |     9400     4579    572 | 35.248 % |
109.15/109.29	c ===============================================================================
109.15/109.29	c New solution: 55110
109.15/109.29	o 55110
109.15/109.29	c Elapsed CPU time: 108.822 s	Remaining CPU time: 71.1775 s
109.15/109.29	c ===============================================================================
109.15/109.29	c |      4580 |    3720    28203   700653 |     9401     4580    572 | 35.248 % |
109.55/109.67	c ===============================================================================
109.55/109.67	c New solution: 55109
109.55/109.67	o 55109
109.55/109.67	c Elapsed CPU time: 109.203 s	Remaining CPU time: 70.7966 s
109.55/109.67	c ===============================================================================
109.55/109.67	c |      4583 |    3720    28204   702708 |     9401     4583    571 | 35.248 % |
109.96/110.09	c ===============================================================================
109.96/110.09	c New solution: 54949
109.96/110.09	o 54949
109.96/110.09	c Elapsed CPU time: 109.621 s	Remaining CPU time: 70.3787 s
109.96/110.09	c ===============================================================================
109.96/110.09	c |      4584 |    3720    28205   704763 |     9401     4584    571 | 35.248 % |
110.36/110.44	c ===============================================================================
110.36/110.44	c New solution: 54948
110.36/110.44	o 54948
110.36/110.44	c Elapsed CPU time: 109.965 s	Remaining CPU time: 70.0347 s
110.36/110.44	c ===============================================================================
110.36/110.44	c |      4586 |    3720    28206   706818 |     9402     4586    571 | 35.248 % |
110.97/111.08	c ===============================================================================
110.97/111.08	c New solution: 53513
110.97/111.08	o 53513
110.97/111.08	c Elapsed CPU time: 110.612 s	Remaining CPU time: 69.3878 s
110.97/111.08	c ===============================================================================
110.97/111.08	c |      4587 |    3720    28207   708873 |     9402     4587    571 | 35.248 % |
111.56/111.60	c ===============================================================================
111.56/111.60	c New solution: 53512
111.56/111.60	o 53512
111.56/111.60	c Elapsed CPU time: 111.123 s	Remaining CPU time: 68.8769 s
111.56/111.60	c ===============================================================================
111.56/111.60	c |      4587 |    3720    28208   710928 |     9402     4587    571 | 35.248 % |
112.06/112.10	c ===============================================================================
112.06/112.10	c New solution: 53511
112.06/112.10	o 53511
112.06/112.10	c Elapsed CPU time: 111.628 s	Remaining CPU time: 68.372 s
112.06/112.10	c ===============================================================================
112.06/112.10	c |      4587 |    3720    28209   712983 |     9403     4587    571 | 35.248 % |
112.55/112.61	c ===============================================================================
112.55/112.61	c New solution: 53510
112.55/112.61	o 53510
112.55/112.61	c Elapsed CPU time: 112.133 s	Remaining CPU time: 67.867 s
112.55/112.61	c ===============================================================================
112.55/112.61	c |      4587 |    3720    28210   715038 |     9403     4587    571 | 35.248 % |
113.05/113.12	c ===============================================================================
113.05/113.12	c New solution: 53509
113.05/113.12	o 53509
113.05/113.12	c Elapsed CPU time: 112.642 s	Remaining CPU time: 67.3581 s
113.05/113.12	c ===============================================================================
113.05/113.12	c |      4588 |    3720    28211   717093 |     9403     4588    571 | 35.248 % |
113.45/113.59	c ===============================================================================
113.45/113.59	c New solution: 53506
113.45/113.59	o 53506
113.45/113.59	c Elapsed CPU time: 113.115 s	Remaining CPU time: 66.8852 s
113.45/113.59	c ===============================================================================
113.45/113.59	c |      4588 |    3720    28212   719148 |     9404     4588    571 | 35.248 % |
113.95/114.07	c ===============================================================================
113.95/114.07	c New solution: 53505
113.95/114.07	o 53505
113.95/114.07	c Elapsed CPU time: 113.59 s	Remaining CPU time: 66.4103 s
113.95/114.07	c ===============================================================================
113.95/114.07	c |      4588 |    3720    28213   721203 |     9404     4588    571 | 35.248 % |
114.45/114.54	c ===============================================================================
114.45/114.54	c New solution: 53504
114.45/114.54	o 53504
114.45/114.54	c Elapsed CPU time: 114.058 s	Remaining CPU time: 65.9423 s
114.45/114.54	c ===============================================================================
114.45/114.54	c |      4588 |    3720    28214   723258 |     9404     4588    571 | 35.248 % |
114.95/115.01	c ===============================================================================
114.95/115.01	c New solution: 53503
114.95/115.01	o 53503
114.95/115.01	c Elapsed CPU time: 114.529 s	Remaining CPU time: 65.4714 s
114.95/115.01	c ===============================================================================
114.95/115.01	c |      4588 |    3720    28215   725313 |     9405     4588    571 | 35.248 % |
116.25/116.38	c ===============================================================================
116.25/116.38	c New solution: 53500
116.25/116.38	o 53500
116.25/116.38	c Elapsed CPU time: 115.904 s	Remaining CPU time: 64.0956 s
116.25/116.38	c ===============================================================================
116.25/116.38	c |      4592 |    3720    28216   727368 |     9405     4592    571 | 35.248 % |
116.95/117.09	c ===============================================================================
116.95/117.09	c New solution: 53499
116.95/117.09	o 53499
116.95/117.09	c Elapsed CPU time: 116.609 s	Remaining CPU time: 63.3907 s
116.95/117.09	c ===============================================================================
116.95/117.09	c |      4592 |    3720    28217   729423 |     9405     4592    571 | 35.248 % |
117.57/117.63	c ===============================================================================
117.57/117.63	c New solution: 53498
117.57/117.63	o 53498
117.57/117.63	c Elapsed CPU time: 117.148 s	Remaining CPU time: 62.8518 s
117.57/117.63	c ===============================================================================
117.57/117.63	c |      4594 |    3720    28218   731478 |     9406     4594    571 | 35.248 % |
118.06/118.12	c ===============================================================================
118.06/118.12	c New solution: 53466
118.06/118.12	o 53466
118.06/118.12	c Elapsed CPU time: 117.637 s	Remaining CPU time: 62.3629 s
118.06/118.12	c ===============================================================================
118.06/118.12	c |      4596 |    3720    28219   733533 |     9406     4596    571 | 35.248 % |
118.96/119.07	c ===============================================================================
118.96/119.07	c New solution: 53465
118.96/119.07	o 53465
118.96/119.07	c Elapsed CPU time: 118.583 s	Remaining CPU time: 61.417 s
118.96/119.07	c ===============================================================================
118.96/119.07	c |      4638 |    3720    28220   735588 |     9406     4638    572 | 35.248 % |
120.15/120.28	c ===============================================================================
120.15/120.28	c New solution: 53435
120.15/120.28	o 53435
120.15/120.28	c Elapsed CPU time: 119.79 s	Remaining CPU time: 60.2102 s
120.15/120.28	c ===============================================================================
120.15/120.28	c |      4646 |    3720    28221   737643 |     9407     4646    572 | 35.248 % |
120.86/120.91	c ===============================================================================
120.86/120.91	c New solution: 53358
120.86/120.91	o 53358
120.86/120.91	c Elapsed CPU time: 120.423 s	Remaining CPU time: 59.5773 s
120.86/120.91	c ===============================================================================
120.86/120.91	c |      4649 |    3720    28222   739698 |     9407     4649    572 | 35.248 % |
121.35/121.49	c ===============================================================================
121.35/121.49	c New solution: 53349
121.35/121.49	o 53349
121.35/121.49	c Elapsed CPU time: 121.004 s	Remaining CPU time: 58.9964 s
121.35/121.49	c ===============================================================================
121.35/121.49	c |      4652 |    3720    28223   741753 |     9407     4652    572 | 35.248 % |
122.55/122.63	c |      4752 |    3720    28223   741753 |    10348     4752    574 | 35.248 % |
122.95/123.06	c ===============================================================================
122.95/123.06	c New solution: 53348
122.95/123.06	o 53348
122.95/123.06	c Elapsed CPU time: 122.567 s	Remaining CPU time: 57.4326 s
122.95/123.06	c ===============================================================================
122.95/123.06	c |      4758 |    3720    28224   743808 |     9408     4758    574 | 35.248 % |
123.95/124.05	c ===============================================================================
123.95/124.05	c New solution: 53347
123.95/124.05	o 53347
123.95/124.05	c Elapsed CPU time: 123.556 s	Remaining CPU time: 56.4438 s
123.95/124.05	c ===============================================================================
123.95/124.05	c |      4795 |    3720    28225   745863 |     9408     4795    575 | 35.248 % |
125.55/125.64	c |      4895 |    3720    28225   745863 |    10349     4895    576 | 35.248 % |
128.15/128.20	c |      5047 |    3720    28225   745863 |    11384     5047    578 | 35.248 % |
128.66/128.79	c ===============================================================================
128.66/128.79	c New solution: 53346
128.66/128.79	o 53346
128.66/128.79	c Elapsed CPU time: 128.289 s	Remaining CPU time: 51.7105 s
128.66/128.79	c ===============================================================================
128.66/128.79	c |      5047 |    3720    28226   747918 |     9408     5047    578 | 35.248 % |
129.35/129.47	c ===============================================================================
129.35/129.47	c New solution: 53335
129.35/129.47	o 53335
129.35/129.47	c Elapsed CPU time: 128.966 s	Remaining CPU time: 51.0336 s
129.35/129.47	c ===============================================================================
129.35/129.47	c |      5050 |    3720    28227   749973 |     9409     5050    578 | 35.248 % |
129.95/130.09	c ===============================================================================
129.95/130.09	c New solution: 53334
129.95/130.09	o 53334
129.95/130.09	c Elapsed CPU time: 129.582 s	Remaining CPU time: 50.4177 s
129.95/130.09	c ===============================================================================
129.95/130.09	c |      5054 |    3720    28228   752028 |     9409     5054    578 | 35.248 % |
130.75/130.84	c ===============================================================================
130.75/130.84	c New solution: 51895
130.75/130.84	o 51895
130.75/130.84	c Elapsed CPU time: 130.334 s	Remaining CPU time: 49.6658 s
130.75/130.84	c ===============================================================================
130.75/130.84	c |      5073 |    3720    28229   754083 |     9409     5073    578 | 35.248 % |
131.45/131.52	c ===============================================================================
131.45/131.52	c New solution: 51748
131.45/131.52	o 51748
131.45/131.52	c Elapsed CPU time: 131.015 s	Remaining CPU time: 48.9849 s
131.45/131.52	c ===============================================================================
131.45/131.52	c |      5073 |    3720    28230   756138 |     9410     5073    578 | 35.248 % |
131.96/132.03	c ===============================================================================
131.96/132.03	c New solution: 51740
131.96/132.03	o 51740
131.96/132.03	c Elapsed CPU time: 131.518 s	Remaining CPU time: 48.482 s
131.96/132.03	c ===============================================================================
131.96/132.03	c |      5077 |    3720    28231   758193 |     9410     5077    578 | 35.248 % |
132.55/132.69	c ===============================================================================
132.55/132.69	c New solution: 51739
132.55/132.69	o 51739
132.55/132.69	c Elapsed CPU time: 132.179 s	Remaining CPU time: 47.8211 s
132.55/132.69	c ===============================================================================
132.55/132.69	c |      5078 |    3720    28232   760248 |     9410     5078    577 | 35.248 % |
133.15/133.21	c ===============================================================================
133.15/133.21	c New solution: 51738
133.15/133.21	o 51738
133.15/133.21	c Elapsed CPU time: 132.698 s	Remaining CPU time: 47.3022 s
133.15/133.21	c ===============================================================================
133.15/133.21	c |      5081 |    3720    28233   762303 |     9411     5081    577 | 35.248 % |
133.85/133.90	c ===============================================================================
133.85/133.90	c New solution: 51737
133.85/133.90	o 51737
133.85/133.90	c Elapsed CPU time: 133.386 s	Remaining CPU time: 46.6143 s
133.85/133.90	c ===============================================================================
133.85/133.90	c |      5084 |    3720    28234   764358 |     9411     5084    577 | 35.248 % |
135.16/135.30	c |      5185 |    3720    28234   764358 |    10352     5185    579 | 35.248 % |
136.15/136.22	c ===============================================================================
136.15/136.22	c New solution: 51736
136.15/136.22	o 51736
136.15/136.22	c Elapsed CPU time: 135.704 s	Remaining CPU time: 44.2956 s
136.15/136.22	c ===============================================================================
136.15/136.22	c |      5207 |    3720    28235   766413 |     9411     5207    579 | 35.248 % |
136.65/136.72	c ===============================================================================
136.65/136.72	c New solution: 50281
136.65/136.72	o 50281
136.65/136.72	c Elapsed CPU time: 136.204 s	Remaining CPU time: 43.7957 s
136.65/136.72	c ===============================================================================
136.65/136.72	c |      5208 |    3720    28236   768468 |     9412     5208    579 | 35.248 % |
137.35/137.41	c ===============================================================================
137.35/137.41	c New solution: 50148
137.35/137.41	o 50148
137.35/137.41	c Elapsed CPU time: 136.897 s	Remaining CPU time: 43.1028 s
137.35/137.41	c ===============================================================================
137.35/137.41	c |      5209 |    3720    28237   770523 |     9412     5209    579 | 35.248 % |
137.94/138.07	c ===============================================================================
137.94/138.07	c New solution: 48706
137.94/138.07	o 48706
137.94/138.07	c Elapsed CPU time: 137.552 s	Remaining CPU time: 42.4479 s
137.94/138.07	c ===============================================================================
137.94/138.07	c |      5211 |    3720    28238   772578 |     9412     5211    578 | 35.248 % |
138.45/138.56	c ===============================================================================
138.45/138.56	c New solution: 48654
138.45/138.56	o 48654
138.45/138.56	c Elapsed CPU time: 138.04 s	Remaining CPU time: 41.96 s
138.45/138.56	c ===============================================================================
138.45/138.56	c |      5214 |    3720    28239   774633 |     9413     5214    578 | 35.248 % |
140.95/141.06	c ===============================================================================
140.95/141.06	c New solution: 48653
140.95/141.06	o 48653
140.95/141.06	c Elapsed CPU time: 140.538 s	Remaining CPU time: 39.4624 s
140.95/141.06	c ===============================================================================
140.95/141.06	c |      5282 |    3720    28240   776688 |     9413     5282    580 | 35.248 % |
142.05/142.12	c ===============================================================================
142.05/142.12	c New solution: 48557
142.05/142.12	o 48557
142.05/142.12	c Elapsed CPU time: 141.598 s	Remaining CPU time: 38.4015 s
142.05/142.12	c ===============================================================================
142.05/142.12	c |      5290 |    3720    28241   778743 |     9413     5290    579 | 35.248 % |
143.45/143.53	c |      5390 |    3720    28241   778743 |    10355     5390    580 | 35.248 % |
144.25/144.32	c ===============================================================================
144.25/144.32	c New solution: 48548
144.25/144.32	o 48548
144.25/144.32	c Elapsed CPU time: 143.797 s	Remaining CPU time: 36.2029 s
144.25/144.32	c ===============================================================================
144.25/144.32	c |      5395 |    3720    28242   780798 |     9414     5395    580 | 35.248 % |
144.65/144.79	c ===============================================================================
144.65/144.79	c New solution: 47116
144.65/144.79	o 47116
144.65/144.79	c Elapsed CPU time: 144.266 s	Remaining CPU time: 35.7339 s
144.65/144.79	c ===============================================================================
144.65/144.79	c |      5400 |    3720    28243   782853 |     9414     5400    580 | 35.248 % |
145.05/145.19	c ===============================================================================
145.05/145.19	c New solution: 46957
145.05/145.19	o 46957
145.05/145.19	c Elapsed CPU time: 144.663 s	Remaining CPU time: 35.337 s
145.05/145.19	c ===============================================================================
145.05/145.19	c |      5400 |    3720    28244   784908 |     9414     5400    580 | 35.248 % |
145.44/145.55	c ===============================================================================
145.44/145.55	c New solution: 46956
145.44/145.55	o 46956
145.44/145.55	c Elapsed CPU time: 145.019 s	Remaining CPU time: 34.981 s
145.44/145.55	c ===============================================================================
145.44/145.55	c |      5405 |    3720    28245   786963 |     9415     5405    580 | 35.248 % |
145.94/146.01	c ===============================================================================
145.94/146.01	c New solution: 46955
145.94/146.01	o 46955
145.94/146.01	c Elapsed CPU time: 145.481 s	Remaining CPU time: 34.5191 s
145.94/146.01	c ===============================================================================
145.94/146.01	c |      5407 |    3720    28246   789018 |     9415     5407    580 | 35.248 % |
146.34/146.47	c ===============================================================================
146.34/146.47	c New solution: 45510
146.34/146.47	o 45510
146.34/146.47	c Elapsed CPU time: 145.937 s	Remaining CPU time: 34.0632 s
146.34/146.47	c ===============================================================================
146.34/146.47	c |      5412 |    3720    28247   791073 |     9415     5412    580 | 35.248 % |
146.85/146.95	c ===============================================================================
146.85/146.95	c New solution: 45371
146.85/146.95	o 45371
146.85/146.95	c Elapsed CPU time: 146.412 s	Remaining CPU time: 33.5883 s
146.85/146.95	c ===============================================================================
146.85/146.95	c |      5416 |    3720    28248   793128 |     9416     5416    580 | 35.248 % |
147.36/147.45	c ===============================================================================
147.36/147.45	c New solution: 43897
147.36/147.45	o 43897
147.36/147.45	c Elapsed CPU time: 146.914 s	Remaining CPU time: 33.0863 s
147.36/147.45	c ===============================================================================
147.36/147.45	c |      5421 |    3720    28249   795183 |     9416     5421    580 | 35.248 % |
147.65/147.79	c ===============================================================================
147.65/147.79	c New solution: 43785
147.65/147.79	o 43785
147.65/147.79	c Elapsed CPU time: 147.259 s	Remaining CPU time: 32.7414 s
147.65/147.79	c ===============================================================================
147.65/147.79	c |      5424 |    3720    28250   797238 |     9416     5424    580 | 35.248 % |
148.25/148.33	c ===============================================================================
148.25/148.33	c New solution: 43779
148.25/148.33	o 43779
148.25/148.33	c Elapsed CPU time: 147.797 s	Remaining CPU time: 32.2035 s
148.25/148.33	c ===============================================================================
148.25/148.33	c |      5424 |    3720    28251   799293 |     9417     5424    580 | 35.248 % |
148.75/148.80	c ===============================================================================
148.75/148.80	c New solution: 43778
148.75/148.80	o 43778
148.75/148.80	c Elapsed CPU time: 148.267 s	Remaining CPU time: 31.7325 s
148.75/148.80	c ===============================================================================
148.75/148.80	c |      5427 |    3720    28252   801348 |     9417     5427    580 | 35.248 % |
150.55/150.63	c |      5528 |    3720    28252   801348 |    10359     5528    582 | 35.248 % |
150.94/151.03	c ===============================================================================
150.94/151.03	c New solution: 43765
150.94/151.03	o 43765
150.94/151.03	c Elapsed CPU time: 150.486 s	Remaining CPU time: 29.5139 s
150.94/151.03	c ===============================================================================
150.94/151.03	c |      5530 |    3720    28253   803403 |     9417     5530    582 | 35.248 % |
151.44/151.53	c ===============================================================================
151.44/151.53	c New solution: 43764
151.44/151.53	o 43764
151.44/151.53	c Elapsed CPU time: 150.993 s	Remaining CPU time: 29.007 s
151.44/151.53	c ===============================================================================
151.44/151.53	c |      5533 |    3720    28254   805458 |     9418     5533    582 | 35.248 % |
152.14/152.27	c ===============================================================================
152.14/152.27	c New solution: 42315
152.14/152.27	o 42315
152.14/152.27	c Elapsed CPU time: 151.725 s	Remaining CPU time: 28.2751 s
152.14/152.27	c ===============================================================================
152.14/152.27	c |      5540 |    3720    28255   807513 |     9418     5540    582 | 35.248 % |
152.64/152.77	c ===============================================================================
152.64/152.77	c New solution: 42171
152.64/152.77	o 42171
152.64/152.77	c Elapsed CPU time: 152.232 s	Remaining CPU time: 27.7681 s
152.64/152.77	c ===============================================================================
152.64/152.77	c |      5544 |    3720    28256   809568 |     9418     5544    582 | 35.248 % |
153.14/153.27	c ===============================================================================
153.14/153.27	c New solution: 42170
153.14/153.27	o 42170
153.14/153.27	c Elapsed CPU time: 152.729 s	Remaining CPU time: 27.2712 s
153.14/153.27	c ===============================================================================
153.14/153.27	c |      5548 |    3720    28257   811623 |     9419     5548    582 | 35.248 % |
153.64/153.76	c ===============================================================================
153.64/153.76	c New solution: 42169
153.64/153.76	o 42169
153.64/153.76	c Elapsed CPU time: 153.221 s	Remaining CPU time: 26.7793 s
153.64/153.76	c ===============================================================================
153.64/153.76	c |      5550 |    3720    28258   813678 |     9419     5550    582 | 35.248 % |
154.15/154.25	c ===============================================================================
154.15/154.25	c New solution: 42168
154.15/154.25	o 42168
154.15/154.25	c Elapsed CPU time: 153.705 s	Remaining CPU time: 26.2954 s
154.15/154.25	c ===============================================================================
154.15/154.25	c |      5550 |    3720    28259   815733 |     9419     5550    582 | 35.248 % |
154.64/154.73	c ===============================================================================
154.64/154.73	c New solution: 42167
154.64/154.73	o 42167
154.64/154.73	c Elapsed CPU time: 154.183 s	Remaining CPU time: 25.8174 s
154.64/154.73	c ===============================================================================
154.64/154.73	c |      5550 |    3720    28260   817788 |     9420     5550    582 | 35.248 % |
155.14/155.21	c ===============================================================================
155.14/155.21	c New solution: 42166
155.14/155.21	o 42166
155.14/155.21	c Elapsed CPU time: 154.665 s	Remaining CPU time: 25.3345 s
155.14/155.21	c ===============================================================================
155.14/155.21	c |      5550 |    3720    28261   819843 |     9420     5550    582 | 35.248 % |
155.54/155.69	c ===============================================================================
155.54/155.69	c New solution: 42165
155.54/155.69	o 42165
155.54/155.69	c Elapsed CPU time: 155.145 s	Remaining CPU time: 24.8546 s
155.54/155.69	c ===============================================================================
155.54/155.70	c |      5550 |    3720    28262   821898 |     9420     5550    582 | 35.248 % |
156.05/156.17	c ===============================================================================
156.05/156.17	c New solution: 42164
156.05/156.17	o 42164
156.05/156.17	c Elapsed CPU time: 155.62 s	Remaining CPU time: 24.3797 s
156.05/156.17	c ===============================================================================
156.05/156.17	c |      5550 |    3720    28263   823953 |     9421     5550    582 | 35.248 % |
156.54/156.65	c ===============================================================================
156.54/156.65	c New solution: 42163
156.54/156.65	o 42163
156.54/156.65	c Elapsed CPU time: 156.096 s	Remaining CPU time: 23.9037 s
156.54/156.65	c ===============================================================================
156.54/156.65	c |      5550 |    3720    28264   826008 |     9421     5550    582 | 35.248 % |
159.24/159.30	c |      5650 |    3720    28264   826008 |    10363     5650    580 | 35.248 % |
159.84/159.91	c ===============================================================================
159.84/159.91	c New solution: 40736
159.84/159.91	o 40736
159.84/159.91	c Elapsed CPU time: 159.344 s	Remaining CPU time: 20.6562 s
159.84/159.91	c ===============================================================================
159.84/159.91	c |      5651 |    3720    28265   828063 |     9421     5651    580 | 35.248 % |
160.24/160.39	c ===============================================================================
160.24/160.39	c New solution: 40735
160.24/160.39	o 40735
160.24/160.39	c Elapsed CPU time: 159.826 s	Remaining CPU time: 20.1743 s
160.24/160.39	c ===============================================================================
160.24/160.39	c |      5651 |    3720    28266   830118 |     9422     5651    580 | 35.248 % |
160.74/160.86	c ===============================================================================
160.74/160.86	c New solution: 40728
160.74/160.86	o 40728
160.74/160.86	c Elapsed CPU time: 160.299 s	Remaining CPU time: 19.7014 s
160.74/160.86	c ===============================================================================
160.74/160.86	c |      5651 |    3720    28267   832173 |     9422     5651    580 | 35.248 % |
161.24/161.32	c ===============================================================================
161.24/161.32	c New solution: 40727
161.24/161.32	o 40727
161.24/161.32	c Elapsed CPU time: 160.763 s	Remaining CPU time: 19.2374 s
161.24/161.32	c ===============================================================================
161.24/161.32	c |      5651 |    3720    28268   834228 |     9422     5651    580 | 35.248 % |
161.65/161.79	c ===============================================================================
161.65/161.79	c New solution: 40719
161.65/161.79	o 40719
161.65/161.79	c Elapsed CPU time: 161.23 s	Remaining CPU time: 18.7695 s
161.65/161.79	c ===============================================================================
161.65/161.79	c |      5653 |    3720    28269   836283 |     9423     5653    580 | 35.248 % |
162.14/162.27	c ===============================================================================
162.14/162.27	c New solution: 40695
162.14/162.27	o 40695
162.14/162.27	c Elapsed CPU time: 161.703 s	Remaining CPU time: 18.2966 s
162.14/162.27	c ===============================================================================
162.14/162.27	c |      5653 |    3720    28270   838338 |     9423     5653    580 | 35.248 % |
162.65/162.74	c ===============================================================================
162.65/162.74	c New solution: 40694
162.65/162.74	o 40694
162.65/162.74	c Elapsed CPU time: 162.172 s	Remaining CPU time: 17.8277 s
162.65/162.74	c ===============================================================================
162.65/162.74	c |      5653 |    3720    28271   840393 |     9423     5653    580 | 35.248 % |
163.04/163.17	c ===============================================================================
163.04/163.17	c New solution: 40685
163.04/163.17	o 40685
163.04/163.17	c Elapsed CPU time: 162.61 s	Remaining CPU time: 17.3897 s
163.04/163.17	c ===============================================================================
163.04/163.17	c |      5653 |    3720    28272   842448 |     9424     5653    580 | 35.248 % |
163.54/163.60	c ===============================================================================
163.54/163.60	c New solution: 40684
163.54/163.60	o 40684
163.54/163.60	c Elapsed CPU time: 163.036 s	Remaining CPU time: 16.9638 s
163.54/163.60	c ===============================================================================
163.54/163.60	c |      5653 |    3720    28273   844503 |     9424     5653    580 | 35.248 % |
163.94/164.02	c ===============================================================================
163.94/164.02	c New solution: 40683
163.94/164.02	o 40683
163.94/164.02	c Elapsed CPU time: 163.459 s	Remaining CPU time: 16.5409 s
163.94/164.02	c ===============================================================================
163.94/164.02	c |      5653 |    3720    28274   846558 |     9424     5653    580 | 35.248 % |
164.34/164.44	c ===============================================================================
164.34/164.44	c New solution: 40682
164.34/164.44	o 40682
164.34/164.44	c Elapsed CPU time: 163.878 s	Remaining CPU time: 16.1219 s
164.34/164.44	c ===============================================================================
164.34/164.44	c |      5653 |    3720    28275   848613 |     9425     5653    580 | 35.248 % |
164.73/164.86	c ===============================================================================
164.73/164.86	c New solution: 40681
164.73/164.86	o 40681
164.73/164.86	c Elapsed CPU time: 164.294 s	Remaining CPU time: 15.706 s
164.73/164.86	c ===============================================================================
164.73/164.86	c |      5653 |    3720    28276   850668 |     9425     5653    580 | 35.248 % |
165.13/165.27	c ===============================================================================
165.13/165.27	c New solution: 40680
165.13/165.27	o 40680
165.13/165.27	c Elapsed CPU time: 164.708 s	Remaining CPU time: 15.292 s
165.13/165.27	c ===============================================================================
165.13/165.27	c |      5653 |    3720    28277   852723 |     9425     5653    580 | 35.248 % |
165.64/165.71	c ===============================================================================
165.64/165.71	c New solution: 40601
165.64/165.71	o 40601
165.64/165.71	c Elapsed CPU time: 165.141 s	Remaining CPU time: 14.8591 s
165.64/165.71	c ===============================================================================
165.64/165.71	c |      5653 |    3720    28278   854778 |     9426     5653    580 | 35.248 % |
166.44/166.50	c ===============================================================================
166.44/166.50	c New solution: 40600
166.44/166.50	o 40600
166.44/166.50	c Elapsed CPU time: 165.931 s	Remaining CPU time: 14.0692 s
166.44/166.50	c ===============================================================================
166.44/166.50	c |      5708 |    3720    28279   856833 |     9426     5708    581 | 35.248 % |
166.94/167.02	c ===============================================================================
166.94/167.02	c New solution: 40598
166.94/167.02	o 40598
166.94/167.02	c Elapsed CPU time: 166.452 s	Remaining CPU time: 13.5483 s
166.94/167.02	c ===============================================================================
166.94/167.02	c |      5708 |    3720    28280   858888 |     9426     5708    581 | 35.248 % |
167.54/167.60	c ===============================================================================
167.54/167.60	c New solution: 39135
167.54/167.60	o 39135
167.54/167.60	c Elapsed CPU time: 167.023 s	Remaining CPU time: 12.9774 s
167.54/167.60	c ===============================================================================
167.54/167.60	c |      5714 |    3720    28281   860943 |     9427     5714    581 | 35.248 % |
168.04/168.13	c ===============================================================================
168.04/168.13	c New solution: 38981
168.04/168.13	o 38981
168.04/168.13	c Elapsed CPU time: 167.557 s	Remaining CPU time: 12.4435 s
168.04/168.13	c ===============================================================================
168.04/168.13	c |      5721 |    3720    28282   862998 |     9427     5721    581 | 35.248 % |
169.14/169.23	c ===============================================================================
169.14/169.23	c New solution: 38980
169.14/169.23	o 38980
169.14/169.23	c Elapsed CPU time: 168.653 s	Remaining CPU time: 11.3466 s
169.14/169.23	c ===============================================================================
169.14/169.23	c |      5739 |    3720    28283   865053 |     9427     5739    580 | 35.248 % |
170.04/170.14	c ===============================================================================
170.04/170.14	c New solution: 38977
170.04/170.14	o 38977
170.04/170.14	c Elapsed CPU time: 169.562 s	Remaining CPU time: 10.4378 s
170.04/170.14	c ===============================================================================
170.04/170.14	c |      5741 |    3720    28284   867108 |     9428     5741    580 | 35.248 % |
170.64/170.75	c ===============================================================================
170.64/170.75	c New solution: 37525
170.64/170.75	o 37525
170.64/170.75	c Elapsed CPU time: 170.172 s	Remaining CPU time: 9.82787 s
170.64/170.75	c ===============================================================================
170.64/170.75	c |      5744 |    3720    28285   869163 |     9428     5744    580 | 35.248 % |
171.23/171.31	c ===============================================================================
171.23/171.31	c New solution: 37401
171.23/171.31	o 37401
171.23/171.31	c Elapsed CPU time: 170.736 s	Remaining CPU time: 9.26396 s
171.23/171.31	c ===============================================================================
171.23/171.31	c |      5749 |    3720    28286   871218 |     9428     5749    580 | 35.248 % |
172.83/172.91	c |      5851 |    3720    28286   871218 |    10371     5851    582 | 35.248 % |
176.34/176.42	c ===============================================================================
176.34/176.42	c New solution: 35930
176.34/176.42	o 35930
176.34/176.42	c Elapsed CPU time: 175.842 s	Remaining CPU time: 4.15773 s
176.34/176.42	c ===============================================================================
176.34/176.42	c |      5948 |    3720    28287   873273 |     9429     5948    583 | 35.248 % |
176.84/176.98	c ===============================================================================
176.84/176.98	c New solution: 35807
176.84/176.98	o 35807
176.84/176.98	c Elapsed CPU time: 176.398 s	Remaining CPU time: 3.60182 s
176.84/176.98	c ===============================================================================
176.84/176.98	c |      5960 |    3720    28288   875328 |     9429     5960    582 | 35.248 % |
177.24/177.36	c ===============================================================================
177.24/177.36	c New solution: 35806
177.24/177.36	o 35806
177.24/177.36	c Elapsed CPU time: 176.777 s	Remaining CPU time: 3.22287 s
177.24/177.36	c ===============================================================================
177.24/177.36	c |      5971 |    3720    28289   877383 |     9429     5971    582 | 35.248 % |
178.05/178.16	c ===============================================================================
178.05/178.16	c New solution: 35794
178.05/178.16	o 35794
178.05/178.16	c Elapsed CPU time: 177.574 s	Remaining CPU time: 2.426 s
178.05/178.16	c ===============================================================================
178.05/178.16	c |      5971 |    3720    28290   879438 |     9430     5971    582 | 35.248 % |
178.84/178.94	c ===============================================================================
178.84/178.94	c New solution: 35788
178.84/178.94	o 35788
178.84/178.94	c Elapsed CPU time: 178.351 s	Remaining CPU time: 1.64911 s
178.84/178.94	c ===============================================================================
178.84/178.94	c |      5971 |    3720    28291   881493 |     9430     5971    582 | 35.248 % |
179.64/179.71	c ===============================================================================
179.64/179.71	c New solution: 35787
179.64/179.71	o 35787
179.64/179.71	c Elapsed CPU time: 179.126 s	Remaining CPU time: 0.874232 s
179.64/179.71	c ===============================================================================
179.64/179.71	c |      5971 |    3720    28292   883548 |     9430     5971    582 | 35.248 % |
180.43/180.50	c ===============================================================================
180.43/180.50	c New solution: 35786
180.43/180.50	o 35786
180.43/180.50	c Elapsed CPU time: 179.909 s	Remaining CPU time: 0.091351 s
180.43/180.50	c ===============================================================================
180.43/180.50	c |      5971 |    3720    28293   885603 |     9431     5971    582 | 35.248 % |
180.53/180.64	c There are 2025 assigned variables. 434 in cost function.
183.73/183.87	c core #1
183.73/183.87	c core #2
183.73/183.87	c core #3
183.73/183.87	c core #4
183.73/183.87	c core #5
183.73/183.87	c core #6
183.73/183.87	c core #7
183.73/183.87	c core #8
183.73/183.87	c core #9
183.73/183.87	c core #10
183.73/183.87	c core #11
183.73/183.87	c core #12
183.73/183.87	c core #13
183.73/183.87	c core #14
183.73/183.87	c core #15
183.73/183.87	c core #16
183.73/183.87	c core #17
183.73/183.87	c core #18
183.73/183.87	c core #19
183.73/183.87	c core #20
183.73/183.87	c core #21
183.73/183.87	c core #22
183.73/183.87	c core #23
183.73/183.87	c core #24
183.73/183.87	c core #25
183.73/183.87	c core #26
183.73/183.87	c core #27
183.73/183.87	c core #28
183.73/183.87	c core #29
183.73/183.87	c core #30
183.73/183.87	c core #31
183.73/183.87	c core #32
183.73/183.87	c core #33
183.73/183.87	c core #34
183.73/183.87	c core #35
183.73/183.87	c core #36
183.73/183.87	c core #37
183.73/183.87	c core #38
183.73/183.87	c core #39
183.73/183.87	c core #40
183.73/183.87	c core #41
183.73/183.87	c core #42
183.73/183.87	c core #43
183.73/183.87	c core #44
183.73/183.87	c core #45
183.73/183.87	c core #46
183.73/183.87	c core #47
183.73/183.87	c core #48
183.73/183.87	c core #49
183.73/183.87	c core #50
183.73/183.87	c core #51
183.73/183.87	c core #52
183.73/183.87	c core #53
183.73/183.87	c core #54
183.73/183.87	c core #55
183.73/183.87	c core #56
183.73/183.87	c core #57
183.73/183.87	c core #58
183.73/183.87	c core #59
183.73/183.87	c ============================[ Search Statistics ]==============================
183.73/183.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.87	c ===============================================================================
183.73/183.87	c |         0 |     738    17000     8093 |     5666        0    nan |  0.000 % |
183.73/183.87	c ===============================================================================
183.73/183.89	c #cores: 59
183.73/183.89	c Final Weight: 5106
183.73/183.89	o 5106
183.73/183.89	s OPTIMUM FOUND
183.73/183.89	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 x4152 x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 x4177 x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 x4208 x4209 x4210 x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 x4371 x4372 x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 x4408 x4409 x4410 x4411 -x4412 -x4413 x4414 x4415 x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 x4434 -x4435 -x4436 x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 x4460 x4461 x4462 x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 -x4578 -x4579 x4580 x4581 x4582 x4583 x4584 x4585 -x4586 -x4587 -x4588 x4589 x4590 -x4591 x4592 -x4593 -x4594 -x4595 x4596 x4597 x4598 x4599 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 x4621 x4622 x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 x4631 x4632 x4633 x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 x4708 x4709 -x4710 -x4711 -x4712 -x4713 x4714 -x4715 -x4716 x4717 -x4718 x4719 -x4720 x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 x4801 x4802 x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 x4818 -x4819 x4820 x4821 x4822 -x4823 -x4824 x4825 x4826 -x4827 -x4828 -x4829 -x4830 x4831 x4832 x4833 x4834 x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 x4842 x4843 x4844 x4845 x4846 x4847 x4848 x4849 -x4850 -x4851 x4852 -x4853 x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 -x4869 x4870 x4871 -x4872 x4873 x4874 -x4875 -x4876 x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 x4918 x4919 -x4920 x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 x5007 x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 x5043 -x5044 -x5045 x5046 x5047 x5048 x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 x5063 x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 x5074 x5075 x5076 -x5077 x5078 -x5079 x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x5220 x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 x5230 -x5231 -x5232 x5233 x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 x5277 -x5278 -x5279 -x5280 x5281 x5282 -x5283 -x5284 -x5285 x5286 x5287 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 x5308 x5309 -x5310 x5311 x5312 -x5313 -x5314 x5315 -x5316 x5317 x5318 -x5319 x5320 -x5321 -x5322 -x5323 x5324 -x5325 x5326 x5327 x5328 x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 x5337 x5338 x5339 -x5340 x5341 x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 x5351 x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 x5455 x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 -x5511 x5512 x5513 x5514 -x5515 -x5516 -x5517 x5518 x5519 x5520 -x5521 x5522 -x5523 x5524 x5525 -x5526 -x5527 x5528 x5529 -x5530 x5531 -x5532 -x5533 x5534 x5535 x5536 x5537 x5538 x5539 x5540 -x5541 x5542 x5543 x5544 -x5545 -x5546 x5547 x5548 -x5549 -x5550 x5551 x5552 x5553 x5554 -x5555 x5556 x5557 -x5558 -x5559 x5560 x5561 -x5562 x5563 x5564 -x5565 x5566 -x5567 -x5568 x5569 x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 x5745 x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 x57 x58 -x59 x60 x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 x78 -x79 x80 -x81 x82 x83 -x84 x85 -x86 x87 x88 -x89 -x90 x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 -x307 x308 -x309 x310 x311 -x312 x313 -x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 x332 -x333 -x334 -x335 -x336 x337 x338 -x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 x365 -x366 x367 -x368 x369 x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 x420 x421 x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 x464 x465 x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 x503 x504 x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 x517 -x518 -x519 x520 -x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 x533 -x534 x535 -x536 x537 -x538 x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 x549 x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 x587 -x588 x589 -x590 -x591 x592 -x593 -x594 x595 x596 -x597 -x598 x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 x667 -x668 x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 x679 -x680 x681 x682 -x683 x684 -x685 -x686 x687 -x688 x689 -x690 -x691 x692 -x693 x694 -x695 x696 x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 x771 x772 -x773 -x774 x775 x776 -x777 -x778 -x779 x780 -x781 x782 -x783 x784 x785 -x786 -x787 x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 -x808 -x809 x810 -x811 x812 -x813 -x814 x815 -x816 x817 -x818 x819 -x820 -x821 x822 x823 x824 -x825 -x826 -x827 x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 x838 -x839 -x840 x841 -x842 x843 -x844 -x845 -x846 -x847 x848 -x849 x850 -x851 x852 -x853 x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 x869 x870 -x871 x872 -x873 x874 x875 -x876 x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 x911 x912 -x913 x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 x928 -x929 x930 -x931 -x932 x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 x952 x953 -x954 x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 -x972 x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 x990 -x991 -x992 x993 -x994 x995 x996 -x997 -x998 x999 -x1000 -x1001 x1002 -x1003 -x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 x1166 -x1167 x1168 x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 x1203 -x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 -x1214 x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 x1248 -x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 x1287 x1288 x1289 -x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 x1315 x1316 -x1317 x1318 -x1319 -x1320 x1321 -x1322 x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 x1417 x1418 x1419 -x1420 x1421 -x1422 x1423 x1424 -x1425 -x1426 x1427 -x1428 x1429 x1430 x1431 x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 x1439 -x1440 x1441 -x1442 x1443 -x1444 x1445 -x1446 x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 x1534 x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 x1554 -x1555 x1556 x1557 x1558 x1559 -x1560 -x1561 x1562 -x1563 x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 x1602 -x1603 x1604 -x1605 x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 x1639 -x1640 x1641 x1642 -x1643 -x1644 -x1645 x1646 x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 x1679 -x1680 x1681 x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 x1796 -x1797 -x1798 -x1799 x1800 x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 x1860 -x1861 x1862 -x1863 x1864 x1865 -x1866 x1867 -x1868 x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 x1884 -x1885 x1886 -x1887 x1888 x1889 x1890 -x1891 x1892 -x1893 x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 -x1912 -x1913 x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 x1948 -x1949 x1950 -x1951 x1952 x1953 -x1954 x1955 -x1956 -x1957 x1958 -x1959 x1960 -x1961 x1962 x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 x1977 x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 x1989 -x1990 x1991 -x1992 x1993 x1994 -x1995 x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 x2021 x2022 -x2023 x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 x2039 x2040 x2041 x2042 -x2043 x2044 -x2045 -x2046 x2047 -x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 -x2055 x2056 -x2057 x2058 -x2059 x2060 x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 x2068 x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 x2095 x2096 -x2097 x2098 x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 x2125 x2126 -x2127 x2128 x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 x2167 x2168 -x2169 -x2170 -x2171 x2172 -x2173 x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 x2245 x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 x2293 x2294 -x2295 x2296 x2297 -x2298 -x2299 x2300 -x2301 x2302 -x2303 -x2304 x2305 x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 x2326 -x2327 x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 x2343 -x2344 x2345 -x2346 -x2347 x2348 -x2349 x2350 x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 x2372 -x2373 x2374 -x2375 x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 x2391 -x2392 -x2393 x2394 -x2395 -x2396 x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 x2412 x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2454 -x2455 x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 x2470 -x2471 x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 x2550 -x2551 -x2552 x2553 x2554 x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 x2604 x2605 -x2606 -x2607 x2608 -x2609 x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 x2622 -x2623 -x2624 x2625 x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 x2691 -x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 x2713 x2714 -x2715 -x2716 x2717 -x2718 -x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 x2727 x2728 x2729 x2730 -x2731 -x2732 x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770 x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 x2798 -x2799 x2800 -x2801 -x2802 x2803 -x2804 -x2805 x2806 x2807 -x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 x2815 -x2816 -x2817 x2818 -x2819 x2820 x2821 -x2822 x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 x2831 x2832 -x2833 x2834 -x2835 -x2836 -x2837 x2838 -x2839 x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 x2849 -x2850 x2851 -x2852 x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 -x2890 x2891 -x2892 x2893 -x2894 x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 x2928 -x2929 x2930 -x2931 x2932 -x2933 x2934 x2935 x2936 -x2937 -x2938 x2939 -x2940 x2941 -x2942 -x2943 x2944 x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 x2985 x2986 x2987 x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 x3025 x3026 -x3027 x3028 -x3029 -x3030 -x3031 x3032 -x3033 x3034 -x3035 x3036 -x3037 x3038 x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
183.73/183.89	c Total CPU time: 183.196 s

Verifier Data 

OK	5106

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.15 1.04 1.01 2/106 30143
/proc/meminfo: memFree=1820232/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=3888 CPUtime=0
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 1 0 92140046 3981312 325 1992294400 134512640 135751879 4294901696 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 972 325 145 303 0 461 0

[startup+0.031001 s]
/proc/loadavg: 1.15 1.04 1.01 2/106 30143
/proc/meminfo: memFree=1820232/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=4156 CPUtime=0.02
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 522 0 0 0 2 0 0 0 18 0 1 0 92140046 4255744 441 1992294400 134512640 135751879 4294901696 18446744073709551615 134560564 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 1039 441 183 303 0 528 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4156

[startup+0.100003 s]
/proc/loadavg: 1.15 1.04 1.01 2/106 30143
/proc/meminfo: memFree=1820232/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=5344 CPUtime=0.09
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 906 0 0 0 9 0 0 0 21 0 1 0 92140046 5472256 825 1992294400 134512640 135751879 4294901696 18446744073709551615 135206635 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 1336 825 303 303 0 825 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5344

[startup+0.300008 s]
/proc/loadavg: 1.15 1.04 1.01 2/106 30143
/proc/meminfo: memFree=1820232/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=6576 CPUtime=0.29
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 1492 0 0 0 29 0 0 0 18 0 1 0 92140046 6733824 1205 1992294400 134512640 135751879 4294901696 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 1644 1205 146 303 0 1339 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6576

[startup+0.700018 s]
/proc/loadavg: 1.15 1.04 1.01 2/106 30143
/proc/meminfo: memFree=1820232/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=6840 CPUtime=0.69
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 1531 0 0 0 69 0 0 0 18 0 1 0 92140046 7004160 1244 1992294400 134512640 135751879 4294901696 18446744073709551615 134579870 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 1710 1244 146 303 0 1405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6840

[startup+1.50004 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 30144
/proc/meminfo: memFree=1815760/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=7500 CPUtime=1.49
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 1692 0 0 0 149 0 0 0 19 0 1 0 92140046 7680000 1405 1992294400 134512640 135751879 4294901696 18446744073709551615 135211148 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 1875 1405 146 303 0 1570 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7500

[startup+3.10008 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 30144
/proc/meminfo: memFree=1813156/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=9380 CPUtime=3.08
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 2186 0 0 0 301 7 0 0 18 0 1 0 92140046 9605120 1899 1992294400 134512640 135751879 4294901696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 2345 1899 146 303 0 2040 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9380

[startup+6.30016 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 30144
/proc/meminfo: memFree=1812288/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=11628 CPUtime=6.29
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 2721 0 0 0 612 17 0 0 18 0 1 0 92140046 11907072 2434 1992294400 134512640 135751879 4294901696 18446744073709551615 134518467 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 2907 2434 147 303 0 2602 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11628

[startup+12.7003 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 30146
/proc/meminfo: memFree=1808940/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=13724 CPUtime=12.69
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 3268 0 0 0 1248 21 0 0 18 0 1 0 92140046 14053376 2981 1992294400 134512640 135751879 4294901696 18446744073709551615 134598870 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 3431 2981 147 303 0 3126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13724

[startup+25.5016 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 30146
/proc/meminfo: memFree=1803732/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=18952 CPUtime=25.48
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 4571 0 0 0 2522 26 0 0 18 0 1 0 92140046 19406848 4284 1992294400 134512640 135751879 4294901696 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 4738 4284 147 303 0 4433 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18952

[startup+51.1013 s]
/proc/loadavg: 1.06 1.03 1.01 2/107 30146
/proc/meminfo: memFree=1797036/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=25648 CPUtime=51.08
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 6251 0 0 0 5074 34 0 0 20 0 1 0 92140046 26263552 5964 1992294400 134512640 135751879 4294901696 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 6412 5964 147 303 0 6107 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25648

[startup+102.309 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 30148
/proc/meminfo: memFree=1789224/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=33212 CPUtime=102.27
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 8126 0 0 0 10184 43 0 0 25 0 1 0 92140046 34009088 7839 1992294400 134512640 135751879 4294901696 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 8303 7839 147 303 0 7998 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33212

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1781288/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=40964 CPUtime=162.24
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 10081 0 0 0 16173 51 0 0 25 0 1 0 92140046 41947136 9794 1992294400 134512640 135751879 4294901696 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 10241 9794 147 303 0 9936 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40964

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

[startup+166.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1780668/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=41488 CPUtime=166.24
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 10201 0 0 0 16572 52 0 0 18 0 1 0 92140046 42483712 9914 1992294400 134512640 135751879 4294901696 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 10372 9914 147 303 0 10067 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 41488

[startup+172.708 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1779924/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=42280 CPUtime=172.64
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 10388 0 0 0 17212 52 0 0 25 0 1 0 92140046 43294720 10101 1992294400 134512640 135751879 4294901696 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 10570 10101 147 303 0 10265 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 42280

[startup+179.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1779428/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=42804 CPUtime=179.04
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 10539 0 0 0 17851 53 0 0 18 0 1 0 92140046 43831296 10252 1992294400 134512640 135751879 4294901696 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 10701 10252 147 303 0 10396 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 42804

[startup+182.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1772732/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=92768 CPUtime=182.23
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 23159 0 0 0 18165 58 0 0 25 0 1 0 92140046 94994432 22742 1992294400 134512640 135751879 4294901696 18446744073709551615 134639814 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 23192 22742 150 303 0 22887 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 92768

[startup+183.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1718916/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=133692 CPUtime=183.03
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 33400 0 0 0 18243 60 0 0 25 0 1 0 92140046 136900608 32983 1992294400 134512640 135751879 4294901696 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 33423 32986 150 303 0 33118 0
Current children cumulated CPU time (s) 183.03
Current children cumulated vsize (KiB) 133692

[startup+183.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1718916/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=152260 CPUtime=183.43
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202496 38033 0 0 0 18282 61 0 0 25 0 1 0 92140046 155914240 37616 1992294400 134512640 135751879 4294901696 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30143/statm: 38065 37616 150 303 0 37760 0
Current children cumulated CPU time (s) 183.43
Current children cumulated vsize (KiB) 152260

[startup+183.901 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30150
/proc/meminfo: memFree=1664480/2059040 swapFree=4139696/4192956
[pid=30143] ppid=30141 vsize=0 CPUtime=183.83
/proc/30143/stat : 30143 (wbo1.4b) R 30141 30143 29624 0 -1 4202500 42532 0 0 0 18319 64 0 0 18 0 1 0 92140046 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/30143/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 183.918
CPU time (s): 183.86
CPU user time (s): 183.196
CPU system time (s): 0.663899
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 165756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.196
system time used= 0.663899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42532
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= 118
involuntary context switches= 3294

runsolver used 0.380942 second user time and 0.956854 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-26 01:28:40
IDJOB=2683265
IDBENCH=72099
IDSOLVER=1161
FILE ID=node049/2683265-1277508520
PBS_JOBID= 11190642
Free space on /tmp= 62456 MiB

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

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

MD5SUM BENCH= d362b0878aae0270b57b34b0bb6d5f96
RANDOM SEED=238173142

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1820884 kB
Buffers:         28908 kB
Cached:         111776 kB
SwapCached:       6360 kB
Active:          43808 kB
Inactive:       110236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820884 kB
SwapTotal:     4192956 kB
SwapFree:      4139696 kB
Dirty:            3776 kB
Writeback:           0 kB
AnonPages:       11868 kB
Mapped:          11916 kB
Slab:            61932 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683265-1277508520.opb

Free space on /tmp at the end= 62452 MiB
End job on node049 at 2010-06-26 01:31:44