Trace number 2683538

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.4bOPT8730 185.049 185.107

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb
MD5SUM80d4beb6552975b1ad66516326ec7dfd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8730
Best CPU time to get the best result obtained on this benchmark2.6486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5998
Total number of constraints26912
Number of constraints which are clauses26598
Number of constraints which are cardinality constraints (but not clauses)314
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 2216
Biggest coefficient in the objective function 1667
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 920182
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1667
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 920182
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683538-1277510433.opb.
0.00/0.00	c Instance file HOME/instance-2683538-1277510433.opb
0.00/0.00	c File size is 861334 bytes.
0.10/0.13	c Highest Coefficient sum: 553
0.10/0.13	c ============================[ Problem Statistics ]=============================
0.10/0.13	c |                                                                             |
0.10/0.13	c |  Parsing time:          0.13         s                                      |
0.10/0.13	c |  Number Variables:      5998                                                |
0.10/0.13	c |  Number Clauses:        26598                                               |
0.10/0.13	c |  Number Cardinality:    314                                                 |
0.10/0.13	c |  Number PB Constraints: 0                                                   |
2.29/2.38	c ============================[ Search Statistics ]==============================
2.29/2.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.38	c ===============================================================================
2.29/2.38	c |         0 |    3799    28624    54937 |     8970        0    nan |  0.000 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: 464199
2.39/2.41	o 464199
2.39/2.41	c Elapsed CPU time: 2.39663 s	Remaining CPU time: 177.603 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |        33 |    3799    28625    57030 |     9541       33      3 |  0.000 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: 422499
2.39/2.42	o 422499
2.39/2.42	c Elapsed CPU time: 2.40763 s	Remaining CPU time: 177.592 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |        43 |    3799    28626    59123 |     9542       43      4 |  0.000 % |
2.39/2.46	c ===============================================================================
2.39/2.46	c New solution: 309116
2.39/2.46	o 309116
2.39/2.46	c Elapsed CPU time: 2.43363 s	Remaining CPU time: 177.566 s
2.39/2.46	c ===============================================================================
2.39/2.46	c |        75 |    3799    28627    61216 |     9542       75      4 |  0.000 % |
2.39/2.47	c ===============================================================================
2.39/2.47	c New solution: 309113
2.39/2.47	o 309113
2.39/2.47	c Elapsed CPU time: 2.44463 s	Remaining CPU time: 177.555 s
2.39/2.47	c ===============================================================================
2.39/2.47	c |        97 |    3799    28628    63309 |     9542       97      4 |  0.000 % |
2.39/2.49	c ===============================================================================
2.39/2.49	c New solution: 265725
2.39/2.49	o 265725
2.39/2.49	c Elapsed CPU time: 2.45863 s	Remaining CPU time: 177.541 s
2.39/2.49	c ===============================================================================
2.39/2.49	c |       104 |    3799    28629    65402 |     9543      104      4 |  0.000 % |
2.49/2.50	c ===============================================================================
2.49/2.50	c New solution: 255765
2.49/2.50	o 255765
2.49/2.50	c Elapsed CPU time: 2.47062 s	Remaining CPU time: 177.529 s
2.49/2.50	c ===============================================================================
2.49/2.50	c |       115 |    3799    28630    67495 |     9543      115     11 |  0.000 % |
2.49/2.55	c ===============================================================================
2.49/2.55	c New solution: 125804
2.49/2.55	o 125804
2.49/2.55	c Elapsed CPU time: 2.50462 s	Remaining CPU time: 177.495 s
2.49/2.55	c ===============================================================================
2.49/2.55	c |       168 |    3799    28631    69588 |     9543      168      8 |  0.000 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 125740
2.49/2.58	o 125740
2.49/2.58	c Elapsed CPU time: 2.53861 s	Remaining CPU time: 177.461 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |       195 |    3799    28632    71681 |     9544      195     10 |  0.000 % |
2.59/2.61	c ===============================================================================
2.59/2.61	c New solution: 124094
2.59/2.61	o 124094
2.59/2.61	c Elapsed CPU time: 2.55661 s	Remaining CPU time: 177.443 s
2.59/2.61	c ===============================================================================
2.59/2.61	c |       227 |    3799    28633    73774 |     9544      227     12 |  0.000 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: 124085
2.59/2.66	o 124085
2.59/2.66	c Elapsed CPU time: 2.6066 s	Remaining CPU time: 177.393 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |       277 |    3799    28634    75867 |     9544      277     21 |  0.000 % |
2.59/2.68	c ===============================================================================
2.59/2.68	c New solution: 115770
2.59/2.68	o 115770
2.59/2.68	c Elapsed CPU time: 2.6206 s	Remaining CPU time: 177.379 s
2.59/2.68	c ===============================================================================
2.59/2.68	c |       289 |    3799    28635    77960 |     9545      289     20 |  0.000 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 115747
2.59/2.69	o 115747
2.59/2.69	c Elapsed CPU time: 2.6296 s	Remaining CPU time: 177.37 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |       291 |    3799    28636    80053 |     9545      291     20 |  0.000 % |
2.79/2.81	c ===============================================================================
2.79/2.81	c New solution: 114137
2.79/2.81	o 114137
2.79/2.81	c Elapsed CPU time: 2.74358 s	Remaining CPU time: 177.256 s
2.79/2.81	c ===============================================================================
2.79/2.81	c |       338 |    3799    28637    82146 |     9545      338     31 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 114127
2.79/2.83	o 114127
2.79/2.83	c Elapsed CPU time: 2.76158 s	Remaining CPU time: 177.238 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |       343 |    3799    28638    84239 |     9546      343     33 |  0.000 % |
2.79/2.86	c ===============================================================================
2.79/2.86	c New solution: 114072
2.79/2.86	o 114072
2.79/2.86	c Elapsed CPU time: 2.78658 s	Remaining CPU time: 177.213 s
2.79/2.86	c ===============================================================================
2.79/2.86	c |       345 |    3799    28639    86332 |     9546      345     33 |  0.000 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: 114071
2.79/2.89	o 114071
2.79/2.89	c Elapsed CPU time: 2.81457 s	Remaining CPU time: 177.185 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |       346 |    3799    28640    88425 |     9546      346     33 |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c New solution: 114070
2.89/2.91	o 114070
2.89/2.91	c Elapsed CPU time: 2.83257 s	Remaining CPU time: 177.167 s
2.89/2.91	c ===============================================================================
2.89/2.91	c |       346 |    3799    28641    90518 |     9547      346     33 |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 114064
2.89/2.93	o 114064
2.89/2.93	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 177.146 s
2.89/2.93	c ===============================================================================
2.89/2.93	c |       347 |    3799    28642    92611 |     9547      347     34 |  0.000 % |
2.89/2.95	c ===============================================================================
2.89/2.95	c New solution: 112447
2.89/2.95	o 112447
2.89/2.95	c Elapsed CPU time: 2.87156 s	Remaining CPU time: 177.128 s
2.89/2.95	c ===============================================================================
2.89/2.95	c |       351 |    3799    28643    94704 |     9547      351     34 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 112425
2.89/2.96	o 112425
2.89/2.96	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 177.112 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |       354 |    3799    28644    96797 |     9548      354     38 |  0.000 % |
3.00/3.01	c ===============================================================================
3.00/3.01	c New solution: 112424
3.00/3.01	o 112424
3.00/3.01	c Elapsed CPU time: 2.92955 s	Remaining CPU time: 177.07 s
3.00/3.01	c ===============================================================================
3.00/3.01	c |       367 |    3799    28645    98890 |     9548      367     42 |  0.000 % |
3.00/3.04	c ===============================================================================
3.00/3.04	c New solution: 112409
3.00/3.04	o 112409
3.00/3.04	c Elapsed CPU time: 2.95655 s	Remaining CPU time: 177.043 s
3.00/3.04	c ===============================================================================
3.00/3.04	c |       371 |    3799    28646   100983 |     9548      371     45 |  0.000 % |
3.00/3.06	c ===============================================================================
3.00/3.06	c New solution: 110790
3.00/3.06	o 110790
3.00/3.06	c Elapsed CPU time: 2.97855 s	Remaining CPU time: 177.021 s
3.00/3.06	c ===============================================================================
3.00/3.06	c |       377 |    3799    28647   103076 |     9549      377     44 |  0.000 % |
3.00/3.08	c ===============================================================================
3.00/3.08	c New solution: 110757
3.00/3.08	o 110757
3.00/3.08	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 177.001 s
3.00/3.08	c ===============================================================================
3.00/3.08	c |       378 |    3799    28648   105169 |     9549      378     44 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 110754
3.09/3.10	o 110754
3.09/3.10	c Elapsed CPU time: 3.01754 s	Remaining CPU time: 176.982 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |       379 |    3799    28649   107262 |     9549      379     44 |  0.000 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: 109143
3.09/3.12	o 109143
3.09/3.12	c Elapsed CPU time: 3.04054 s	Remaining CPU time: 176.959 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |       386 |    3799    28650   109355 |     9550      386     52 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 109077
3.09/3.15	o 109077
3.09/3.15	c Elapsed CPU time: 3.06953 s	Remaining CPU time: 176.93 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       389 |    3799    28651   111448 |     9550      389     53 |  0.000 % |
3.09/3.18	c ===============================================================================
3.09/3.18	c New solution: 109054
3.09/3.18	o 109054
3.09/3.18	c Elapsed CPU time: 3.09353 s	Remaining CPU time: 176.906 s
3.09/3.18	c ===============================================================================
3.09/3.18	c |       389 |    3799    28652   113541 |     9550      389     53 |  0.000 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: 109053
3.20/3.21	o 109053
3.20/3.21	c Elapsed CPU time: 3.12153 s	Remaining CPU time: 176.878 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |       389 |    3799    28653   115634 |     9551      389     53 |  0.000 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: 109052
3.20/3.24	o 109052
3.20/3.24	c Elapsed CPU time: 3.15452 s	Remaining CPU time: 176.845 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |       390 |    3799    28654   117727 |     9551      390     53 |  0.000 % |
3.20/3.30	c ===============================================================================
3.20/3.30	c New solution: 109051
3.20/3.30	o 109051
3.20/3.30	c Elapsed CPU time: 3.20951 s	Remaining CPU time: 176.79 s
3.20/3.30	c ===============================================================================
3.20/3.30	c |       391 |    3799    28655   119820 |     9551      391     53 |  0.000 % |
3.30/3.32	c ===============================================================================
3.30/3.32	c New solution: 109050
3.30/3.32	o 109050
3.30/3.32	c Elapsed CPU time: 3.23551 s	Remaining CPU time: 176.764 s
3.30/3.32	c ===============================================================================
3.30/3.32	c |       391 |    3799    28656   121913 |     9552      391     53 |  0.000 % |
3.30/3.35	c ===============================================================================
3.30/3.36	c New solution: 109049
3.30/3.36	o 109049
3.30/3.36	c Elapsed CPU time: 3.2675 s	Remaining CPU time: 176.732 s
3.30/3.36	c ===============================================================================
3.30/3.36	c |       392 |    3799    28657   124006 |     9552      392     55 |  0.000 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c New solution: 107448
3.39/3.44	o 107448
3.39/3.44	c Elapsed CPU time: 3.35449 s	Remaining CPU time: 176.646 s
3.39/3.44	c ===============================================================================
3.39/3.44	c |       408 |    3799    28658   126099 |     9552      408     67 |  0.000 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: 107413
3.39/3.48	o 107413
3.39/3.48	c Elapsed CPU time: 3.39148 s	Remaining CPU time: 176.609 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |       411 |    3799    28659   128192 |     9553      411     68 |  0.000 % |
3.49/3.53	c ===============================================================================
3.49/3.53	c New solution: 105807
3.49/3.53	o 105807
3.49/3.53	c Elapsed CPU time: 3.43248 s	Remaining CPU time: 176.568 s
3.49/3.53	c ===============================================================================
3.49/3.53	c |       419 |    3799    28660   130285 |     9553      419     67 |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 105801
3.49/3.57	o 105801
3.49/3.57	c Elapsed CPU time: 3.47247 s	Remaining CPU time: 176.528 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       419 |    3799    28661   132378 |     9553      419     67 |  0.000 % |
3.59/3.62	c ===============================================================================
3.59/3.62	c New solution: 105744
3.59/3.62	o 105744
3.59/3.62	c Elapsed CPU time: 3.52846 s	Remaining CPU time: 176.472 s
3.59/3.62	c ===============================================================================
3.59/3.62	c |       431 |    3799    28662   134471 |     9554      431     72 |  0.000 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: 105743
3.59/3.65	o 105743
3.59/3.65	c Elapsed CPU time: 3.55546 s	Remaining CPU time: 176.445 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |       435 |    3799    28663   136564 |     9554      435     77 |  0.000 % |
3.70/3.79	c ===============================================================================
3.70/3.79	c New solution: 105742
3.70/3.79	o 105742
3.70/3.79	c Elapsed CPU time: 3.69244 s	Remaining CPU time: 176.308 s
3.70/3.79	c ===============================================================================
3.70/3.79	c |       478 |    3799    28664   138657 |     9554      478    132 |  0.000 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c New solution: 104096
3.79/3.83	o 104096
3.79/3.83	c Elapsed CPU time: 3.73243 s	Remaining CPU time: 176.268 s
3.79/3.83	c ===============================================================================
3.79/3.83	c |       487 |    3799    28665   140750 |     9555      487    138 |  0.000 % |
3.79/3.88	c ===============================================================================
3.79/3.88	c New solution: 104095
3.79/3.88	o 104095
3.79/3.88	c Elapsed CPU time: 3.78242 s	Remaining CPU time: 176.218 s
3.79/3.88	c ===============================================================================
3.79/3.88	c |       495 |    3799    28666   142843 |     9555      495    143 |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 102455
3.89/3.91	o 102455
3.89/3.91	c Elapsed CPU time: 3.80942 s	Remaining CPU time: 176.191 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |       499 |    3799    28667   144936 |     9555      499    145 |  0.000 % |
3.89/3.96	c ===============================================================================
3.89/3.96	c New solution: 102440
3.89/3.96	o 102440
3.89/3.96	c Elapsed CPU time: 3.85841 s	Remaining CPU time: 176.142 s
3.89/3.96	c ===============================================================================
3.89/3.96	c |       505 |    3799    28668   147029 |     9556      505    145 |  0.000 % |
3.99/4.00	c ===============================================================================
3.99/4.00	c New solution: 102433
3.99/4.00	o 102433
3.99/4.00	c Elapsed CPU time: 3.89341 s	Remaining CPU time: 176.107 s
3.99/4.00	c ===============================================================================
3.99/4.00	c |       509 |    3799    28669   149122 |     9556      509    149 |  0.000 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c New solution: 102419
3.99/4.04	o 102419
3.99/4.04	c Elapsed CPU time: 3.9314 s	Remaining CPU time: 176.069 s
3.99/4.04	c ===============================================================================
3.99/4.04	c |       509 |    3799    28670   151215 |     9556      509    149 |  0.000 % |
3.99/4.08	c ===============================================================================
3.99/4.08	c New solution: 102418
3.99/4.08	o 102418
3.99/4.08	c Elapsed CPU time: 3.9674 s	Remaining CPU time: 176.033 s
3.99/4.08	c ===============================================================================
3.99/4.08	c |       511 |    3799    28671   153308 |     9557      511    151 |  0.000 % |
4.09/4.13	c ===============================================================================
4.09/4.13	c New solution: 100821
4.09/4.13	o 100821
4.09/4.13	c Elapsed CPU time: 4.01739 s	Remaining CPU time: 175.983 s
4.09/4.13	c ===============================================================================
4.09/4.13	c |       527 |    3799    28672   155401 |     9557      527    159 |  0.000 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c New solution: 100715
4.09/4.17	o 100715
4.09/4.17	c Elapsed CPU time: 4.05738 s	Remaining CPU time: 175.943 s
4.09/4.17	c ===============================================================================
4.09/4.17	c |       528 |    3799    28673   157494 |     9557      528    160 |  0.000 % |
4.19/4.21	c ===============================================================================
4.19/4.21	c New solution: 100714
4.19/4.21	o 100714
4.19/4.21	c Elapsed CPU time: 4.09438 s	Remaining CPU time: 175.906 s
4.19/4.21	c ===============================================================================
4.19/4.21	c |       528 |    3799    28674   159587 |     9558      528    160 |  0.000 % |
4.19/4.25	c ===============================================================================
4.19/4.25	c New solution: 100713
4.19/4.25	o 100713
4.19/4.25	c Elapsed CPU time: 4.13737 s	Remaining CPU time: 175.863 s
4.19/4.25	c ===============================================================================
4.19/4.25	c |       531 |    3799    28675   161680 |     9558      531    162 |  0.000 % |
4.40/4.49	c |       631 |    3799    28675   161680 |    10514      631    244 | 36.662 % |
4.59/4.67	c ===============================================================================
4.59/4.67	c New solution: 100712
4.59/4.67	o 100712
4.59/4.67	c Elapsed CPU time: 4.56031 s	Remaining CPU time: 175.44 s
4.59/4.67	c ===============================================================================
4.59/4.67	c |       684 |    3799    28676   163773 |     9558      684    280 | 36.662 % |
4.69/4.75	c ===============================================================================
4.69/4.75	c New solution: 99145
4.69/4.75	o 99145
4.69/4.75	c Elapsed CPU time: 4.63729 s	Remaining CPU time: 175.363 s
4.69/4.75	c ===============================================================================
4.69/4.75	c |       703 |    3799    28677   165866 |     9559      703    287 | 36.662 % |
4.79/4.81	c ===============================================================================
4.79/4.81	c New solution: 99109
4.79/4.81	o 99109
4.79/4.81	c Elapsed CPU time: 4.69329 s	Remaining CPU time: 175.307 s
4.79/4.81	c ===============================================================================
4.79/4.81	c |       708 |    3799    28678   167959 |     9559      708    289 | 36.662 % |
4.79/4.87	c ===============================================================================
4.79/4.87	c New solution: 99099
4.79/4.87	o 99099
4.79/4.87	c Elapsed CPU time: 4.75728 s	Remaining CPU time: 175.243 s
4.79/4.88	c ===============================================================================
4.79/4.88	c |       711 |    3799    28679   170052 |     9559      711    289 | 36.662 % |
4.89/4.92	c ===============================================================================
4.89/4.92	c New solution: 99061
4.89/4.92	o 99061
4.89/4.92	c Elapsed CPU time: 4.79927 s	Remaining CPU time: 175.201 s
4.89/4.92	c ===============================================================================
4.89/4.92	c |       714 |    3799    28680   172145 |     9560      714    290 | 36.662 % |
4.99/5.00	c ===============================================================================
4.99/5.00	c New solution: 97468
4.99/5.00	o 97468
4.99/5.00	c Elapsed CPU time: 4.88326 s	Remaining CPU time: 175.117 s
4.99/5.00	c ===============================================================================
4.99/5.00	c |       718 |    3799    28681   174238 |     9560      718    291 | 36.662 % |
4.99/5.06	c ===============================================================================
4.99/5.06	c New solution: 97415
4.99/5.06	o 97415
4.99/5.06	c Elapsed CPU time: 4.93525 s	Remaining CPU time: 175.065 s
4.99/5.06	c ===============================================================================
4.99/5.06	c |       718 |    3799    28682   176331 |     9560      718    291 | 36.662 % |
5.09/5.11	c ===============================================================================
5.09/5.11	c New solution: 97414
5.09/5.11	o 97414
5.09/5.11	c Elapsed CPU time: 4.98624 s	Remaining CPU time: 175.014 s
5.09/5.11	c ===============================================================================
5.09/5.11	c |       718 |    3799    28683   178424 |     9561      718    291 | 36.662 % |
5.09/5.16	c ===============================================================================
5.09/5.16	c New solution: 97413
5.09/5.16	o 97413
5.09/5.16	c Elapsed CPU time: 5.03423 s	Remaining CPU time: 174.966 s
5.09/5.16	c ===============================================================================
5.09/5.16	c |       718 |    3799    28684   180517 |     9561      718    291 | 36.662 % |
5.19/5.21	c ===============================================================================
5.19/5.21	c New solution: 97407
5.19/5.21	o 97407
5.19/5.21	c Elapsed CPU time: 5.08323 s	Remaining CPU time: 174.917 s
5.19/5.21	c ===============================================================================
5.19/5.21	c |       718 |    3799    28685   182610 |     9561      718    291 | 36.662 % |
5.19/5.28	c ===============================================================================
5.19/5.28	c New solution: 97406
5.19/5.28	o 97406
5.19/5.28	c Elapsed CPU time: 5.15921 s	Remaining CPU time: 174.841 s
5.19/5.28	c ===============================================================================
5.19/5.28	c |       719 |    3799    28686   184703 |     9562      719    291 | 36.662 % |
5.69/5.71	c |       819 |    3799    28686   184703 |    10518      819    342 | 36.662 % |
5.99/6.06	c |       971 |    3799    28686   184703 |    11570      971    402 | 36.662 % |
6.09/6.10	c ===============================================================================
6.09/6.10	c New solution: 97387
6.09/6.10	o 97387
6.09/6.10	c Elapsed CPU time: 5.97109 s	Remaining CPU time: 174.029 s
6.09/6.10	c ===============================================================================
6.09/6.10	c |       972 |    3799    28687   186796 |     9562      972    402 | 36.662 % |
6.09/6.14	c ===============================================================================
6.09/6.14	c New solution: 97386
6.09/6.14	o 97386
6.09/6.14	c Elapsed CPU time: 6.01109 s	Remaining CPU time: 173.989 s
6.09/6.14	c ===============================================================================
6.09/6.14	c |       973 |    3799    28688   188889 |     9562      973    402 | 36.662 % |
6.19/6.22	c ===============================================================================
6.19/6.22	c New solution: 95790
6.19/6.22	o 95790
6.19/6.22	c Elapsed CPU time: 6.08308 s	Remaining CPU time: 173.917 s
6.19/6.22	c ===============================================================================
6.19/6.22	c |       975 |    3799    28689   190982 |     9563      975    402 | 36.662 % |
6.19/6.27	c ===============================================================================
6.19/6.27	c New solution: 95722
6.19/6.27	o 95722
6.19/6.27	c Elapsed CPU time: 6.13407 s	Remaining CPU time: 173.866 s
6.19/6.27	c ===============================================================================
6.19/6.27	c |       981 |    3799    28690   193075 |     9563      981    403 | 36.662 % |
6.50/6.52	c |      1081 |    3799    28690   193075 |    10519     1081    432 | 36.662 % |
6.69/6.72	c ===============================================================================
6.69/6.72	c New solution: 95716
6.69/6.72	o 95716
6.69/6.72	c Elapsed CPU time: 6.585 s	Remaining CPU time: 173.415 s
6.69/6.72	c ===============================================================================
6.69/6.72	c |      1082 |    3799    28691   195168 |     9563     1082    432 | 36.662 % |
6.79/6.81	c ===============================================================================
6.79/6.81	c New solution: 95711
6.79/6.81	o 95711
6.79/6.81	c Elapsed CPU time: 6.67698 s	Remaining CPU time: 173.323 s
6.79/6.81	c ===============================================================================
6.79/6.81	c |      1082 |    3799    28692   197261 |     9564     1082    432 | 36.662 % |
6.89/6.93	c ===============================================================================
6.89/6.93	c New solution: 95710
6.89/6.93	o 95710
6.89/6.93	c Elapsed CPU time: 6.79197 s	Remaining CPU time: 173.208 s
6.89/6.93	c ===============================================================================
6.89/6.93	c |      1083 |    3799    28693   199354 |     9564     1083    432 | 36.662 % |
7.19/7.29	c |      1185 |    3799    28693   199354 |    10520     1185    456 | 36.662 % |
7.38/7.43	c ===============================================================================
7.38/7.43	c New solution: 95709
7.38/7.43	o 95709
7.38/7.43	c Elapsed CPU time: 7.29389 s	Remaining CPU time: 172.706 s
7.38/7.43	c ===============================================================================
7.38/7.43	c |      1213 |    3799    28694   201447 |     9564     1213    461 | 36.662 % |
7.38/7.49	c ===============================================================================
7.38/7.49	c New solution: 94096
7.38/7.49	o 94096
7.38/7.49	c Elapsed CPU time: 7.35088 s	Remaining CPU time: 172.649 s
7.38/7.49	c ===============================================================================
7.38/7.49	c |      1219 |    3799    28695   203540 |     9565     1219    462 | 36.662 % |
7.48/7.56	c ===============================================================================
7.48/7.56	c New solution: 94074
7.48/7.56	o 94074
7.48/7.56	c Elapsed CPU time: 7.41987 s	Remaining CPU time: 172.58 s
7.48/7.56	c ===============================================================================
7.48/7.56	c |      1222 |    3799    28696   205633 |     9565     1222    462 | 36.662 % |
7.60/7.66	c ===============================================================================
7.60/7.66	c New solution: 94073
7.60/7.66	o 94073
7.60/7.66	c Elapsed CPU time: 7.52486 s	Remaining CPU time: 172.475 s
7.60/7.66	c ===============================================================================
7.60/7.66	c |      1247 |    3799    28697   207726 |     9565     1247    467 | 36.662 % |
7.70/7.74	c ===============================================================================
7.70/7.74	c New solution: 94072
7.70/7.74	o 94072
7.70/7.74	c Elapsed CPU time: 7.59784 s	Remaining CPU time: 172.402 s
7.70/7.74	c ===============================================================================
7.70/7.74	c |      1250 |    3799    28698   209819 |     9566     1250    467 | 36.662 % |
7.79/7.80	c ===============================================================================
7.79/7.80	c New solution: 94071
7.79/7.80	o 94071
7.79/7.80	c Elapsed CPU time: 7.65784 s	Remaining CPU time: 172.342 s
7.79/7.80	c ===============================================================================
7.79/7.80	c |      1256 |    3799    28699   211912 |     9566     1256    467 | 36.662 % |
7.79/7.86	c ===============================================================================
7.79/7.86	c New solution: 94047
7.79/7.86	o 94047
7.79/7.86	c Elapsed CPU time: 7.71983 s	Remaining CPU time: 172.28 s
7.79/7.86	c ===============================================================================
7.79/7.86	c |      1256 |    3799    28700   214005 |     9566     1256    467 | 36.662 % |
7.89/7.92	c ===============================================================================
7.89/7.92	c New solution: 94046
7.89/7.92	o 94046
7.89/7.92	c Elapsed CPU time: 7.77482 s	Remaining CPU time: 172.225 s
7.89/7.92	c ===============================================================================
7.89/7.92	c |      1262 |    3799    28701   216098 |     9567     1262    467 | 36.662 % |
7.89/8.00	c ===============================================================================
7.89/8.00	c New solution: 92430
7.89/8.00	o 92430
7.89/8.00	c Elapsed CPU time: 7.84881 s	Remaining CPU time: 172.151 s
7.89/8.00	c ===============================================================================
7.89/8.00	c |      1265 |    3799    28702   218191 |     9567     1265    468 | 36.662 % |
7.98/8.05	c ===============================================================================
7.98/8.05	c New solution: 92415
7.98/8.05	o 92415
7.98/8.05	c Elapsed CPU time: 7.9018 s	Remaining CPU time: 172.098 s
7.98/8.05	c ===============================================================================
7.98/8.05	c |      1265 |    3799    28703   220284 |     9567     1265    468 | 36.662 % |
8.09/8.10	c ===============================================================================
8.09/8.10	c New solution: 92414
8.09/8.10	o 92414
8.09/8.10	c Elapsed CPU time: 7.95479 s	Remaining CPU time: 172.045 s
8.09/8.10	c ===============================================================================
8.09/8.10	c |      1265 |    3799    28704   222377 |     9568     1265    468 | 36.662 % |
8.09/8.16	c ===============================================================================
8.09/8.16	c New solution: 92413
8.09/8.16	o 92413
8.09/8.16	c Elapsed CPU time: 8.01478 s	Remaining CPU time: 171.985 s
8.09/8.16	c ===============================================================================
8.09/8.16	c |      1265 |    3799    28705   224470 |     9568     1265    468 | 36.662 % |
8.19/8.22	c ===============================================================================
8.19/8.22	c New solution: 92412
8.19/8.22	o 92412
8.19/8.22	c Elapsed CPU time: 8.06777 s	Remaining CPU time: 171.932 s
8.19/8.22	c ===============================================================================
8.19/8.22	c |      1265 |    3799    28706   226563 |     9568     1265    468 | 36.662 % |
8.19/8.25	c ===============================================================================
8.19/8.25	c New solution: 92411
8.19/8.25	o 92411
8.19/8.25	c Elapsed CPU time: 8.09777 s	Remaining CPU time: 171.902 s
8.19/8.25	c ===============================================================================
8.19/8.25	c |      1267 |    3799    28707   228656 |     9569     1267    467 | 36.662 % |
8.29/8.31	c ===============================================================================
8.29/8.31	c New solution: 92410
8.29/8.31	o 92410
8.29/8.31	c Elapsed CPU time: 8.16376 s	Remaining CPU time: 171.836 s
8.29/8.31	c ===============================================================================
8.29/8.31	c |      1267 |    3799    28708   230749 |     9569     1267    467 | 36.662 % |
8.29/8.39	c ===============================================================================
8.29/8.39	c New solution: 92409
8.29/8.39	o 92409
8.29/8.39	c Elapsed CPU time: 8.24075 s	Remaining CPU time: 171.759 s
8.29/8.39	c ===============================================================================
8.29/8.39	c |      1268 |    3799    28709   232842 |     9569     1268    467 | 36.662 % |
8.39/8.46	c ===============================================================================
8.39/8.46	c New solution: 92408
8.39/8.46	o 92408
8.39/8.46	c Elapsed CPU time: 8.30474 s	Remaining CPU time: 171.695 s
8.39/8.46	c ===============================================================================
8.39/8.46	c |      1268 |    3799    28710   234935 |     9570     1268    467 | 36.662 % |
8.49/8.55	c ===============================================================================
8.49/8.55	c New solution: 92407
8.49/8.55	o 92407
8.49/8.55	c Elapsed CPU time: 8.39572 s	Remaining CPU time: 171.604 s
8.49/8.55	c ===============================================================================
8.49/8.55	c |      1271 |    3799    28711   237028 |     9570     1271    467 | 36.662 % |
8.58/8.63	c ===============================================================================
8.58/8.63	c New solution: 92406
8.58/8.63	o 92406
8.58/8.63	c Elapsed CPU time: 8.47171 s	Remaining CPU time: 171.528 s
8.58/8.63	c ===============================================================================
8.58/8.63	c |      1273 |    3799    28712   239121 |     9570     1273    467 | 36.662 % |
8.80/8.85	c ===============================================================================
8.80/8.85	c New solution: 92405
8.80/8.85	o 92405
8.80/8.85	c Elapsed CPU time: 8.68668 s	Remaining CPU time: 171.313 s
8.80/8.85	c ===============================================================================
8.80/8.85	c |      1331 |    3799    28713   241214 |     9571     1331    478 | 36.662 % |
8.89/9.00	c ===============================================================================
8.89/9.00	c New solution: 92382
8.89/9.00	o 92382
8.89/9.00	c Elapsed CPU time: 8.83466 s	Remaining CPU time: 171.165 s
8.89/9.00	c ===============================================================================
8.89/9.00	c |      1332 |    3799    28714   243307 |     9571     1332    478 | 36.662 % |
9.09/9.13	c ===============================================================================
9.09/9.13	c New solution: 92381
9.09/9.13	o 92381
9.09/9.13	c Elapsed CPU time: 8.96764 s	Remaining CPU time: 171.032 s
9.09/9.13	c ===============================================================================
9.09/9.13	c |      1332 |    3799    28715   245400 |     9571     1332    478 | 36.662 % |
9.19/9.26	c ===============================================================================
9.19/9.26	c New solution: 92380
9.19/9.26	o 92380
9.19/9.26	c Elapsed CPU time: 9.10062 s	Remaining CPU time: 170.899 s
9.19/9.26	c ===============================================================================
9.19/9.26	c |      1332 |    3799    28716   247493 |     9572     1332    478 | 36.662 % |
9.39/9.40	c ===============================================================================
9.39/9.40	c New solution: 92379
9.39/9.40	o 92379
9.39/9.40	c Elapsed CPU time: 9.2336 s	Remaining CPU time: 170.766 s
9.39/9.40	c ===============================================================================
9.39/9.40	c |      1332 |    3799    28717   249586 |     9572     1332    478 | 36.662 % |
9.49/9.53	c ===============================================================================
9.49/9.53	c New solution: 92378
9.49/9.53	o 92378
9.49/9.53	c Elapsed CPU time: 9.37058 s	Remaining CPU time: 170.629 s
9.49/9.53	c ===============================================================================
9.49/9.53	c |      1332 |    3799    28718   251679 |     9572     1332    478 | 36.662 % |
9.59/9.67	c ===============================================================================
9.59/9.67	c New solution: 92377
9.59/9.67	o 92377
9.59/9.67	c Elapsed CPU time: 9.50655 s	Remaining CPU time: 170.493 s
9.59/9.67	c ===============================================================================
9.59/9.67	c |      1332 |    3799    28719   253772 |     9573     1332    478 | 36.662 % |
9.79/9.83	c ===============================================================================
9.79/9.83	c New solution: 92376
9.79/9.83	o 92376
9.79/9.83	c Elapsed CPU time: 9.66253 s	Remaining CPU time: 170.337 s
9.79/9.83	c ===============================================================================
9.79/9.83	c |      1337 |    3799    28720   255865 |     9573     1337    479 | 36.662 % |
9.79/9.87	c ===============================================================================
9.79/9.87	c New solution: 92375
9.79/9.87	o 92375
9.79/9.87	c Elapsed CPU time: 9.70652 s	Remaining CPU time: 170.293 s
9.79/9.87	c ===============================================================================
9.79/9.87	c |      1343 |    3799    28721   257958 |     9573     1343    479 | 36.662 % |
10.19/10.21	c |      1443 |    3799    28721   257958 |    10531     1443    495 | 36.662 % |
10.19/10.28	c ===============================================================================
10.19/10.28	c New solution: 92374
10.19/10.28	o 92374
10.19/10.28	c Elapsed CPU time: 10.1105 s	Remaining CPU time: 169.89 s
10.19/10.28	c ===============================================================================
10.19/10.28	c |      1444 |    3799    28722   260051 |     9574     1444    495 | 36.662 % |
10.29/10.39	c ===============================================================================
10.29/10.39	c New solution: 90759
10.29/10.39	o 90759
10.29/10.39	c Elapsed CPU time: 10.2174 s	Remaining CPU time: 169.783 s
10.29/10.39	c ===============================================================================
10.29/10.39	c |      1452 |    3799    28723   262144 |     9574     1452    496 | 36.662 % |
10.39/10.48	c ===============================================================================
10.39/10.48	c New solution: 90722
10.39/10.48	o 90722
10.39/10.48	c Elapsed CPU time: 10.3124 s	Remaining CPU time: 169.688 s
10.39/10.48	c ===============================================================================
10.39/10.48	c |      1452 |    3799    28724   264237 |     9574     1452    496 | 36.662 % |
10.49/10.58	c ===============================================================================
10.49/10.58	c New solution: 90720
10.49/10.58	o 90720
10.49/10.58	c Elapsed CPU time: 10.4084 s	Remaining CPU time: 169.592 s
10.49/10.58	c ===============================================================================
10.49/10.58	c |      1452 |    3799    28725   266330 |     9575     1452    496 | 36.662 % |
10.59/10.66	c ===============================================================================
10.59/10.66	c New solution: 90717
10.59/10.66	o 90717
10.59/10.66	c Elapsed CPU time: 10.4914 s	Remaining CPU time: 169.509 s
10.59/10.66	c ===============================================================================
10.59/10.66	c |      1453 |    3799    28726   268423 |     9575     1453    496 | 36.662 % |
10.69/10.75	c ===============================================================================
10.69/10.75	c New solution: 90716
10.69/10.75	o 90716
10.69/10.75	c Elapsed CPU time: 10.5824 s	Remaining CPU time: 169.418 s
10.69/10.75	c ===============================================================================
10.69/10.75	c |      1453 |    3799    28727   270516 |     9575     1453    496 | 36.662 % |
10.79/10.85	c ===============================================================================
10.79/10.85	c New solution: 90715
10.79/10.85	o 90715
10.79/10.85	c Elapsed CPU time: 10.6784 s	Remaining CPU time: 169.322 s
10.79/10.85	c ===============================================================================
10.79/10.85	c |      1454 |    3799    28728   272609 |     9576     1454    496 | 36.662 % |
10.90/10.95	c ===============================================================================
10.90/10.95	c New solution: 90714
10.90/10.95	o 90714
10.90/10.95	c Elapsed CPU time: 10.7784 s	Remaining CPU time: 169.222 s
10.90/10.95	c ===============================================================================
10.90/10.95	c |      1454 |    3799    28729   274702 |     9576     1454    496 | 36.662 % |
11.00/11.01	c ===============================================================================
11.00/11.01	c New solution: 90712
11.00/11.01	o 90712
11.00/11.01	c Elapsed CPU time: 10.8354 s	Remaining CPU time: 169.165 s
11.00/11.01	c ===============================================================================
11.00/11.01	c |      1462 |    3799    28730   276795 |     9576     1462    496 | 36.662 % |
11.29/11.32	c ===============================================================================
11.29/11.32	c New solution: 89104
11.29/11.32	o 89104
11.29/11.32	c Elapsed CPU time: 11.1453 s	Remaining CPU time: 168.855 s
11.29/11.32	c ===============================================================================
11.29/11.32	c |      1504 |    3799    28731   278888 |     9577     1504    501 | 36.662 % |
11.49/11.52	c ===============================================================================
11.49/11.52	c New solution: 89059
11.49/11.52	o 89059
11.49/11.52	c Elapsed CPU time: 11.3443 s	Remaining CPU time: 168.656 s
11.49/11.52	c ===============================================================================
11.49/11.52	c |      1504 |    3799    28732   280981 |     9577     1504    501 | 36.662 % |
11.59/11.67	c ===============================================================================
11.59/11.67	c New solution: 89058
11.59/11.67	o 89058
11.59/11.67	c Elapsed CPU time: 11.4913 s	Remaining CPU time: 168.509 s
11.59/11.67	c ===============================================================================
11.59/11.67	c |      1506 |    3799    28733   283074 |     9577     1506    501 | 36.662 % |
11.69/11.74	c ===============================================================================
11.69/11.74	c New solution: 89054
11.69/11.74	o 89054
11.69/11.74	c Elapsed CPU time: 11.5682 s	Remaining CPU time: 168.432 s
11.69/11.74	c ===============================================================================
11.69/11.74	c |      1507 |    3799    28734   285167 |     9578     1507    501 | 36.662 % |
11.79/11.82	c ===============================================================================
11.79/11.82	c New solution: 89052
11.79/11.82	o 89052
11.79/11.82	c Elapsed CPU time: 11.6442 s	Remaining CPU time: 168.356 s
11.79/11.82	c ===============================================================================
11.79/11.82	c |      1507 |    3799    28735   287260 |     9578     1507    501 | 36.662 % |
11.88/11.90	c ===============================================================================
11.88/11.90	c New solution: 89051
11.88/11.90	o 89051
11.88/11.90	c Elapsed CPU time: 11.7222 s	Remaining CPU time: 168.278 s
11.88/11.90	c ===============================================================================
11.88/11.90	c |      1507 |    3799    28736   289353 |     9578     1507    501 | 36.662 % |
11.88/11.97	c ===============================================================================
11.88/11.97	c New solution: 89050
11.88/11.97	o 89050
11.88/11.97	c Elapsed CPU time: 11.7962 s	Remaining CPU time: 168.204 s
11.88/11.97	c ===============================================================================
11.88/11.97	c |      1507 |    3799    28737   291446 |     9579     1507    501 | 36.662 % |
12.00/12.05	c ===============================================================================
12.00/12.05	c New solution: 89049
12.00/12.05	o 89049
12.00/12.05	c Elapsed CPU time: 11.8692 s	Remaining CPU time: 168.131 s
12.00/12.05	c ===============================================================================
12.00/12.05	c |      1507 |    3799    28738   293539 |     9579     1507    501 | 36.662 % |
12.10/12.12	c ===============================================================================
12.10/12.12	c New solution: 89048
12.10/12.12	o 89048
12.10/12.12	c Elapsed CPU time: 11.9432 s	Remaining CPU time: 168.057 s
12.10/12.12	c ===============================================================================
12.10/12.12	c |      1507 |    3799    28739   295632 |     9579     1507    501 | 36.662 % |
12.19/12.20	c ===============================================================================
12.19/12.20	c New solution: 89047
12.19/12.20	o 89047
12.19/12.20	c Elapsed CPU time: 12.0162 s	Remaining CPU time: 167.984 s
12.19/12.20	c ===============================================================================
12.19/12.20	c |      1507 |    3799    28740   297725 |     9580     1507    501 | 36.662 % |
12.19/12.27	c ===============================================================================
12.19/12.27	c New solution: 89046
12.19/12.27	o 89046
12.19/12.27	c Elapsed CPU time: 12.0872 s	Remaining CPU time: 167.913 s
12.19/12.27	c ===============================================================================
12.19/12.27	c |      1507 |    3799    28741   299818 |     9580     1507    501 | 36.662 % |
12.29/12.39	c ===============================================================================
12.29/12.39	c New solution: 89045
12.29/12.39	o 89045
12.29/12.39	c Elapsed CPU time: 12.2081 s	Remaining CPU time: 167.792 s
12.29/12.39	c ===============================================================================
12.29/12.39	c |      1522 |    3799    28742   301911 |     9580     1522    503 | 36.662 % |
12.39/12.49	c ===============================================================================
12.39/12.49	c New solution: 87433
12.39/12.49	o 87433
12.39/12.49	c Elapsed CPU time: 12.3051 s	Remaining CPU time: 167.695 s
12.39/12.49	c ===============================================================================
12.39/12.49	c |      1533 |    3799    28743   304004 |     9581     1533    504 | 36.662 % |
12.59/12.62	c ===============================================================================
12.59/12.62	c New solution: 87413
12.59/12.62	o 87413
12.59/12.62	c Elapsed CPU time: 12.4341 s	Remaining CPU time: 167.566 s
12.59/12.62	c ===============================================================================
12.59/12.62	c |      1541 |    3799    28744   306097 |     9581     1541    505 | 36.662 % |
12.69/12.72	c ===============================================================================
12.69/12.72	c New solution: 87400
12.69/12.72	o 87400
12.69/12.72	c Elapsed CPU time: 12.5311 s	Remaining CPU time: 167.469 s
12.69/12.72	c ===============================================================================
12.69/12.72	c |      1545 |    3799    28745   308190 |     9581     1545    504 | 36.662 % |
13.19/13.24	c |      1646 |    3799    28745   308190 |    10539     1646    519 | 36.662 % |
14.19/14.23	c |      1797 |    3799    28745   308190 |    11593     1797    537 | 36.662 % |
14.29/14.34	c ===============================================================================
14.29/14.34	c New solution: 87394
14.29/14.34	o 87394
14.29/14.34	c Elapsed CPU time: 14.1528 s	Remaining CPU time: 165.847 s
14.29/14.34	c ===============================================================================
14.29/14.34	c |      1797 |    3799    28746   310283 |     9582     1797    537 | 36.662 % |
14.38/14.42	c ===============================================================================
14.38/14.42	c New solution: 87393
14.38/14.42	o 87393
14.38/14.42	c Elapsed CPU time: 14.2348 s	Remaining CPU time: 165.765 s
14.38/14.42	c ===============================================================================
14.38/14.42	c |      1807 |    3799    28747   312376 |     9582     1807    537 | 36.662 % |
14.98/15.01	c |      1907 |    3799    28747   312376 |    10540     1907    546 | 36.662 % |
14.98/15.09	c ===============================================================================
14.98/15.09	c New solution: 87388
14.98/15.09	o 87388
14.98/15.09	c Elapsed CPU time: 14.9027 s	Remaining CPU time: 165.097 s
14.98/15.09	c ===============================================================================
14.98/15.09	c |      1907 |    3799    28748   314469 |     9582     1907    546 | 36.662 % |
15.09/15.18	c ===============================================================================
15.09/15.18	c New solution: 87387
15.09/15.18	o 87387
15.09/15.18	c Elapsed CPU time: 14.9847 s	Remaining CPU time: 165.015 s
15.09/15.18	c ===============================================================================
15.09/15.18	c |      1907 |    3799    28749   316562 |     9583     1907    546 | 36.662 % |
15.19/15.25	c ===============================================================================
15.19/15.25	c New solution: 87386
15.19/15.25	o 87386
15.19/15.25	c Elapsed CPU time: 15.0617 s	Remaining CPU time: 164.938 s
15.19/15.25	c ===============================================================================
15.19/15.25	c |      1907 |    3799    28750   318655 |     9583     1907    546 | 36.662 % |
15.30/15.34	c ===============================================================================
15.30/15.34	c New solution: 87385
15.30/15.34	o 87385
15.30/15.34	c Elapsed CPU time: 15.1427 s	Remaining CPU time: 164.857 s
15.30/15.34	c ===============================================================================
15.30/15.34	c |      1907 |    3799    28751   320748 |     9583     1907    546 | 36.662 % |
15.39/15.42	c ===============================================================================
15.39/15.42	c New solution: 87384
15.39/15.42	o 87384
15.39/15.42	c Elapsed CPU time: 15.2237 s	Remaining CPU time: 164.776 s
15.39/15.42	c ===============================================================================
15.39/15.42	c |      1907 |    3799    28752   322841 |     9584     1907    546 | 36.662 % |
15.48/15.50	c ===============================================================================
15.48/15.50	c New solution: 87383
15.48/15.50	o 87383
15.48/15.50	c Elapsed CPU time: 15.3037 s	Remaining CPU time: 164.696 s
15.48/15.50	c ===============================================================================
15.48/15.50	c |      1907 |    3799    28753   324934 |     9584     1907    546 | 36.662 % |
15.88/15.99	c |      2008 |    3799    28753   324934 |    10542     2008    554 | 36.662 % |
17.08/17.18	c |      2159 |    3799    28753   324934 |    11597     2159    566 | 36.662 % |
17.99/18.09	c |      2385 |    3799    28753   324934 |    12756     2385    580 | 36.662 % |
18.09/18.18	c ===============================================================================
18.09/18.18	c New solution: 87382
18.09/18.18	o 87382
18.09/18.18	c Elapsed CPU time: 17.9753 s	Remaining CPU time: 162.025 s
18.09/18.18	c ===============================================================================
18.09/18.18	c |      2394 |    3799    28754   327027 |     9584     2394    580 | 36.662 % |
18.70/18.72	c |      2496 |    3799    28754   327027 |    10543     2496    586 | 36.662 % |
18.79/18.84	c ===============================================================================
18.79/18.84	c New solution: 87381
18.79/18.84	o 87381
18.79/18.84	c Elapsed CPU time: 18.6292 s	Remaining CPU time: 161.371 s
18.79/18.84	c ===============================================================================
18.79/18.84	c |      2499 |    3799    28755   329120 |     9585     2499    586 | 36.662 % |
19.49/19.53	c |      2600 |    3799    28755   329120 |    10543     2600    590 | 36.662 % |
19.59/19.65	c ===============================================================================
19.59/19.65	c New solution: 87380
19.59/19.65	o 87380
19.59/19.65	c Elapsed CPU time: 19.438 s	Remaining CPU time: 160.562 s
19.59/19.65	c ===============================================================================
19.59/19.65	c |      2609 |    3799    28756   331213 |     9585     2609    589 | 36.662 % |
20.08/20.17	c |      2710 |    3799    28756   331213 |    10543     2710    594 | 36.662 % |
20.18/20.26	c ===============================================================================
20.18/20.26	c New solution: 87379
20.18/20.26	o 87379
20.18/20.26	c Elapsed CPU time: 20.047 s	Remaining CPU time: 159.953 s
20.18/20.26	c ===============================================================================
20.18/20.26	c |      2713 |    3799    28757   333306 |     9585     2713    594 | 36.662 % |
20.28/20.36	c ===============================================================================
20.28/20.36	c New solution: 87378
20.28/20.36	o 87378
20.28/20.36	c Elapsed CPU time: 20.1479 s	Remaining CPU time: 159.852 s
20.28/20.36	c ===============================================================================
20.28/20.36	c |      2718 |    3799    28758   335399 |     9586     2718    594 | 36.662 % |
20.39/20.47	c ===============================================================================
20.39/20.47	c New solution: 87377
20.39/20.47	o 87377
20.39/20.47	c Elapsed CPU time: 20.2559 s	Remaining CPU time: 159.744 s
20.39/20.47	c ===============================================================================
20.39/20.47	c |      2719 |    3799    28759   337492 |     9586     2719    594 | 36.662 % |
20.49/20.58	c ===============================================================================
20.49/20.58	c New solution: 87376
20.49/20.58	o 87376
20.49/20.58	c Elapsed CPU time: 20.3719 s	Remaining CPU time: 159.628 s
20.49/20.58	c ===============================================================================
20.49/20.58	c |      2720 |    3799    28760   339585 |     9586     2720    594 | 36.662 % |
20.69/20.70	c ===============================================================================
20.69/20.70	c New solution: 87375
20.69/20.70	o 87375
20.69/20.70	c Elapsed CPU time: 20.4879 s	Remaining CPU time: 159.512 s
20.69/20.70	c ===============================================================================
20.69/20.70	c |      2720 |    3799    28761   341678 |     9587     2720    594 | 36.662 % |
20.79/20.82	c ===============================================================================
20.79/20.82	c New solution: 87374
20.79/20.82	o 87374
20.79/20.82	c Elapsed CPU time: 20.6029 s	Remaining CPU time: 159.397 s
20.79/20.82	c ===============================================================================
20.79/20.82	c |      2720 |    3799    28762   343771 |     9587     2720    594 | 36.662 % |
20.89/20.93	c ===============================================================================
20.89/20.93	c New solution: 87373
20.89/20.93	o 87373
20.89/20.93	c Elapsed CPU time: 20.7099 s	Remaining CPU time: 159.29 s
20.89/20.93	c ===============================================================================
20.89/20.93	c |      2722 |    3799    28763   345864 |     9587     2722    594 | 36.662 % |
21.19/21.22	c ===============================================================================
21.19/21.22	c New solution: 85799
21.19/21.22	o 85799
21.19/21.22	c Elapsed CPU time: 20.9988 s	Remaining CPU time: 159.001 s
21.19/21.22	c ===============================================================================
21.19/21.22	c |      2734 |    3799    28764   347957 |     9588     2734    594 | 36.662 % |
21.39/21.41	c ===============================================================================
21.39/21.41	c New solution: 85782
21.39/21.41	o 85782
21.39/21.41	c Elapsed CPU time: 21.1908 s	Remaining CPU time: 158.809 s
21.39/21.41	c ===============================================================================
21.39/21.41	c |      2735 |    3799    28765   350050 |     9588     2735    594 | 36.662 % |
21.59/21.64	c ===============================================================================
21.59/21.64	c New solution: 85765
21.59/21.64	o 85765
21.59/21.64	c Elapsed CPU time: 21.4157 s	Remaining CPU time: 158.584 s
21.59/21.64	c ===============================================================================
21.59/21.64	c |      2736 |    3799    28766   352143 |     9588     2736    593 | 36.662 % |
21.69/21.75	c ===============================================================================
21.69/21.75	c New solution: 85733
21.69/21.75	o 85733
21.69/21.75	c Elapsed CPU time: 21.5247 s	Remaining CPU time: 158.475 s
21.69/21.75	c ===============================================================================
21.69/21.75	c |      2737 |    3799    28767   354236 |     9589     2737    593 | 36.662 % |
21.79/21.87	c ===============================================================================
21.79/21.87	c New solution: 85732
21.79/21.87	o 85732
21.79/21.87	c Elapsed CPU time: 21.6417 s	Remaining CPU time: 158.358 s
21.79/21.87	c ===============================================================================
21.79/21.87	c |      2738 |    3799    28768   356329 |     9589     2738    593 | 36.662 % |
21.89/21.98	c ===============================================================================
21.89/21.98	c New solution: 85731
21.89/21.98	o 85731
21.89/21.98	c Elapsed CPU time: 21.7577 s	Remaining CPU time: 158.242 s
21.89/21.98	c ===============================================================================
21.89/21.98	c |      2739 |    3799    28769   358422 |     9589     2739    593 | 36.662 % |
22.08/22.14	c ===============================================================================
22.08/22.14	c New solution: 85730
22.08/22.14	o 85730
22.08/22.14	c Elapsed CPU time: 21.9157 s	Remaining CPU time: 158.084 s
22.08/22.14	c ===============================================================================
22.08/22.14	c |      2740 |    3799    28770   360515 |     9590     2740    593 | 36.662 % |
22.18/22.22	c ===============================================================================
22.18/22.22	c New solution: 84116
22.18/22.22	o 84116
22.18/22.22	c Elapsed CPU time: 21.9897 s	Remaining CPU time: 158.01 s
22.18/22.22	c ===============================================================================
22.18/22.22	c |      2741 |    3799    28771   362608 |     9590     2741    593 | 36.662 % |
22.38/22.44	c ===============================================================================
22.38/22.44	c New solution: 84076
22.38/22.44	o 84076
22.38/22.44	c Elapsed CPU time: 22.2096 s	Remaining CPU time: 157.79 s
22.38/22.44	c ===============================================================================
22.38/22.44	c |      2742 |    3799    28772   364701 |     9590     2742    593 | 36.662 % |
22.48/22.56	c ===============================================================================
22.48/22.56	c New solution: 84075
22.48/22.56	o 84075
22.48/22.56	c Elapsed CPU time: 22.3336 s	Remaining CPU time: 157.666 s
22.48/22.56	c ===============================================================================
22.48/22.56	c |      2744 |    3799    28773   366794 |     9591     2744    593 | 36.662 % |
22.69/22.71	c ===============================================================================
22.69/22.71	c New solution: 84052
22.69/22.71	o 84052
22.69/22.71	c Elapsed CPU time: 22.4756 s	Remaining CPU time: 157.524 s
22.69/22.71	c ===============================================================================
22.69/22.71	c |      2744 |    3799    28774   368887 |     9591     2744    593 | 36.662 % |
22.79/22.84	c ===============================================================================
22.79/22.84	c New solution: 84051
22.79/22.84	o 84051
22.79/22.84	c Elapsed CPU time: 22.6066 s	Remaining CPU time: 157.393 s
22.79/22.84	c ===============================================================================
22.79/22.84	c |      2744 |    3799    28775   370980 |     9591     2744    593 | 36.662 % |
22.89/22.98	c ===============================================================================
22.89/22.98	c New solution: 84047
22.89/22.98	o 84047
22.89/22.98	c Elapsed CPU time: 22.7455 s	Remaining CPU time: 157.254 s
22.89/22.98	c ===============================================================================
22.89/22.98	c |      2744 |    3799    28776   373073 |     9592     2744    593 | 36.662 % |
23.09/23.11	c ===============================================================================
23.09/23.11	c New solution: 84046
23.09/23.11	o 84046
23.09/23.11	c Elapsed CPU time: 22.8765 s	Remaining CPU time: 157.123 s
23.09/23.11	c ===============================================================================
23.09/23.11	c |      2744 |    3799    28777   375166 |     9592     2744    593 | 36.662 % |
23.19/23.24	c ===============================================================================
23.19/23.24	c New solution: 84045
23.19/23.24	o 84045
23.19/23.24	c Elapsed CPU time: 23.0075 s	Remaining CPU time: 156.992 s
23.19/23.24	c ===============================================================================
23.19/23.24	c |      2744 |    3799    28778   377259 |     9592     2744    593 | 36.662 % |
23.28/23.39	c ===============================================================================
23.28/23.39	c New solution: 84044
23.28/23.39	o 84044
23.28/23.39	c Elapsed CPU time: 23.1495 s	Remaining CPU time: 156.851 s
23.28/23.39	c ===============================================================================
23.28/23.39	c |      2745 |    3799    28779   379352 |     9593     2745    593 | 36.662 % |
24.19/24.23	c |      2846 |    3799    28779   379352 |    10552     2846    598 | 36.662 % |
25.19/25.30	c |      2996 |    3799    28779   379352 |    11607     2996    603 | 36.662 % |
25.38/25.42	c ===============================================================================
25.38/25.42	c New solution: 84043
25.38/25.42	o 84043
25.38/25.42	c Elapsed CPU time: 25.1732 s	Remaining CPU time: 154.827 s
25.38/25.42	c ===============================================================================
25.38/25.42	c |      3005 |    3799    28780   381445 |     9593     3005    603 | 36.662 % |
25.58/25.69	c ===============================================================================
25.58/25.69	c New solution: 84042
25.58/25.70	o 84042
25.58/25.70	c Elapsed CPU time: 25.4521 s	Remaining CPU time: 154.548 s
25.58/25.70	c ===============================================================================
25.58/25.70	c |      3070 |    3799    28781   383538 |     9593     3070    605 | 36.662 % |
25.79/25.82	c ===============================================================================
25.79/25.82	c New solution: 84041
25.79/25.82	o 84041
25.79/25.82	c Elapsed CPU time: 25.5721 s	Remaining CPU time: 154.428 s
25.79/25.82	c ===============================================================================
25.79/25.82	c |      3071 |    3799    28782   385631 |     9594     3071    605 | 36.662 % |
25.89/25.92	c ===============================================================================
25.89/25.92	c New solution: 84040
25.89/25.92	o 84040
25.89/25.92	c Elapsed CPU time: 25.6811 s	Remaining CPU time: 154.319 s
25.89/25.92	c ===============================================================================
25.89/25.93	c |      3074 |    3799    28783   387724 |     9594     3074    605 | 36.662 % |
25.99/26.00	c ===============================================================================
25.99/26.00	c New solution: 82394
25.99/26.00	o 82394
25.99/26.00	c Elapsed CPU time: 25.7561 s	Remaining CPU time: 154.244 s
25.99/26.00	c ===============================================================================
25.99/26.00	c |      3076 |    3799    28784   389817 |     9594     3076    605 | 36.662 % |
26.09/26.10	c ===============================================================================
26.09/26.10	c New solution: 82388
26.09/26.10	o 82388
26.09/26.10	c Elapsed CPU time: 25.8571 s	Remaining CPU time: 154.143 s
26.09/26.10	c ===============================================================================
26.09/26.10	c |      3079 |    3799    28785   391910 |     9595     3079    605 | 36.662 % |
26.29/26.38	c ===============================================================================
26.29/26.38	c New solution: 82387
26.29/26.38	o 82387
26.29/26.38	c Elapsed CPU time: 26.131 s	Remaining CPU time: 153.869 s
26.29/26.38	c ===============================================================================
26.29/26.38	c |      3080 |    3799    28786   394003 |     9595     3080    605 | 36.662 % |
26.59/26.64	c ===============================================================================
26.59/26.64	c New solution: 82386
26.59/26.64	o 82386
26.59/26.64	c Elapsed CPU time: 26.398 s	Remaining CPU time: 153.602 s
26.59/26.64	c ===============================================================================
26.59/26.64	c |      3080 |    3799    28787   396096 |     9595     3080    605 | 36.662 % |
26.89/26.91	c ===============================================================================
26.89/26.91	c New solution: 82385
26.89/26.91	o 82385
26.89/26.91	c Elapsed CPU time: 26.6679 s	Remaining CPU time: 153.332 s
26.89/26.91	c ===============================================================================
26.89/26.91	c |      3080 |    3799    28788   398189 |     9596     3080    605 | 36.662 % |
27.09/27.18	c ===============================================================================
27.09/27.18	c New solution: 82384
27.09/27.18	o 82384
27.09/27.18	c Elapsed CPU time: 26.9379 s	Remaining CPU time: 153.062 s
27.09/27.18	c ===============================================================================
27.09/27.18	c |      3080 |    3799    28789   400282 |     9596     3080    605 | 36.662 % |
27.39/27.46	c ===============================================================================
27.39/27.46	c New solution: 82383
27.39/27.46	o 82383
27.39/27.46	c Elapsed CPU time: 27.2069 s	Remaining CPU time: 152.793 s
27.39/27.46	c ===============================================================================
27.39/27.46	c |      3080 |    3799    28790   402375 |     9596     3080    605 | 36.662 % |
27.68/27.72	c ===============================================================================
27.68/27.72	c New solution: 82382
27.68/27.72	o 82382
27.68/27.72	c Elapsed CPU time: 27.4658 s	Remaining CPU time: 152.534 s
27.68/27.72	c ===============================================================================
27.68/27.72	c |      3081 |    3799    28791   404468 |     9597     3081    605 | 36.662 % |
27.78/27.87	c ===============================================================================
27.78/27.87	c New solution: 82381
27.78/27.87	o 82381
27.78/27.87	c Elapsed CPU time: 27.6138 s	Remaining CPU time: 152.386 s
27.78/27.87	c ===============================================================================
27.78/27.87	c |      3082 |    3799    28792   406561 |     9597     3082    605 | 36.662 % |
27.97/28.05	c ===============================================================================
27.97/28.05	c New solution: 82380
27.97/28.05	o 82380
27.97/28.05	c Elapsed CPU time: 27.7878 s	Remaining CPU time: 152.212 s
27.97/28.05	c ===============================================================================
27.97/28.05	c |      3087 |    3799    28793   408654 |     9597     3087    604 | 36.662 % |
28.18/28.20	c ===============================================================================
28.18/28.20	c New solution: 82379
28.18/28.20	o 82379
28.18/28.20	c Elapsed CPU time: 27.9358 s	Remaining CPU time: 152.064 s
28.18/28.20	c ===============================================================================
28.18/28.20	c |      3089 |    3799    28794   410747 |     9598     3089    604 | 36.662 % |
28.28/28.35	c ===============================================================================
28.28/28.35	c New solution: 82378
28.28/28.35	o 82378
28.28/28.35	c Elapsed CPU time: 28.0817 s	Remaining CPU time: 151.918 s
28.28/28.35	c ===============================================================================
28.28/28.35	c |      3090 |    3799    28795   412840 |     9598     3090    604 | 36.662 % |
28.58/28.62	c ===============================================================================
28.58/28.62	c New solution: 82377
28.58/28.62	o 82377
28.58/28.62	c Elapsed CPU time: 28.3447 s	Remaining CPU time: 151.655 s
28.58/28.62	c ===============================================================================
28.58/28.62	c |      3090 |    3799    28796   414933 |     9598     3090    604 | 36.662 % |
28.77/28.89	c ===============================================================================
28.77/28.89	c New solution: 82376
28.77/28.89	o 82376
28.77/28.89	c Elapsed CPU time: 28.6186 s	Remaining CPU time: 151.381 s
28.77/28.89	c ===============================================================================
28.77/28.89	c |      3090 |    3799    28797   417026 |     9599     3090    604 | 36.662 % |
30.17/30.27	c |      3190 |    3799    28797   417026 |    10558     3190    607 | 36.662 % |
30.47/30.53	c ===============================================================================
30.47/30.53	c New solution: 82375
30.47/30.53	o 82375
30.47/30.53	c Elapsed CPU time: 30.2624 s	Remaining CPU time: 149.738 s
30.47/30.53	c ===============================================================================
30.47/30.53	c |      3190 |    3799    28798   419119 |     9599     3190    607 | 36.662 % |
30.68/30.80	c ===============================================================================
30.68/30.80	c New solution: 82374
30.68/30.80	o 82374
30.68/30.80	c Elapsed CPU time: 30.5274 s	Remaining CPU time: 149.473 s
30.68/30.80	c ===============================================================================
30.68/30.80	c |      3190 |    3799    28799   421212 |     9599     3190    607 | 36.662 % |
30.97/31.07	c ===============================================================================
30.97/31.07	c New solution: 82373
30.97/31.07	o 82373
30.97/31.07	c Elapsed CPU time: 30.7923 s	Remaining CPU time: 149.208 s
30.97/31.07	c ===============================================================================
30.97/31.07	c |      3190 |    3799    28800   423305 |     9600     3190    607 | 36.662 % |
31.27/31.33	c ===============================================================================
31.27/31.33	c New solution: 82372
31.27/31.33	o 82372
31.27/31.33	c Elapsed CPU time: 31.0553 s	Remaining CPU time: 148.945 s
31.27/31.33	c ===============================================================================
31.27/31.33	c |      3190 |    3799    28801   425398 |     9600     3190    607 | 36.662 % |
31.47/31.60	c ===============================================================================
31.47/31.60	c New solution: 82371
31.47/31.60	o 82371
31.47/31.60	c Elapsed CPU time: 31.3202 s	Remaining CPU time: 148.68 s
31.47/31.60	c ===============================================================================
31.47/31.60	c |      3190 |    3799    28802   427491 |     9600     3190    607 | 36.662 % |
31.77/31.90	c ===============================================================================
31.77/31.90	c New solution: 82370
31.77/31.90	o 82370
31.77/31.90	c Elapsed CPU time: 31.6232 s	Remaining CPU time: 148.377 s
31.77/31.90	c ===============================================================================
31.77/31.90	c |      3192 |    3799    28803   429584 |     9601     3192    607 | 36.662 % |
32.66/32.77	c |      3292 |    3799    28803   429584 |    10561     3292    610 | 36.662 % |
32.88/32.94	c ===============================================================================
32.88/32.94	c New solution: 82369
32.88/32.94	o 82369
32.88/32.94	c Elapsed CPU time: 32.659 s	Remaining CPU time: 147.341 s
32.88/32.94	c ===============================================================================
32.88/32.94	c |      3294 |    3799    28804   431677 |     9601     3294    610 | 36.662 % |
33.37/33.42	c |      3394 |    3799    28804   431677 |    10561     3394    613 | 36.662 % |
33.37/33.49	c ===============================================================================
33.37/33.49	c New solution: 82368
33.37/33.49	o 82368
33.37/33.49	c Elapsed CPU time: 33.206 s	Remaining CPU time: 146.794 s
33.37/33.49	c ===============================================================================
33.37/33.49	c |      3396 |    3799    28805   433770 |     9601     3396    613 | 36.662 % |
33.47/33.60	c ===============================================================================
33.47/33.60	c New solution: 82367
33.47/33.60	o 82367
33.47/33.60	c Elapsed CPU time: 33.3119 s	Remaining CPU time: 146.688 s
33.47/33.60	c ===============================================================================
33.47/33.60	c |      3403 |    3799    28806   435863 |     9602     3403    613 | 36.662 % |
34.67/34.70	c |      3504 |    3799    28806   435863 |    10562     3504    615 | 36.662 % |
34.77/34.82	c ===============================================================================
34.77/34.82	c New solution: 82366
34.77/34.82	o 82366
34.77/34.82	c Elapsed CPU time: 34.5367 s	Remaining CPU time: 145.463 s
34.77/34.82	c ===============================================================================
34.77/34.82	c |      3506 |    3799    28807   437956 |     9602     3506    615 | 36.662 % |
35.57/35.68	c |      3607 |    3799    28807   437956 |    10562     3607    618 | 36.662 % |
35.76/35.89	c ===============================================================================
35.76/35.89	c New solution: 82365
35.76/35.89	o 82365
35.76/35.89	c Elapsed CPU time: 35.6026 s	Remaining CPU time: 144.397 s
35.76/35.89	c ===============================================================================
35.76/35.89	c |      3626 |    3799    28808   440049 |     9602     3626    618 | 36.662 % |
36.07/36.15	c ===============================================================================
36.07/36.15	c New solution: 80765
36.07/36.15	o 80765
36.07/36.15	c Elapsed CPU time: 35.8625 s	Remaining CPU time: 144.137 s
36.07/36.15	c ===============================================================================
36.07/36.15	c |      3633 |    3799    28809   442142 |     9603     3633    618 | 36.662 % |
36.28/36.34	c ===============================================================================
36.28/36.34	c New solution: 80764
36.28/36.34	o 80764
36.28/36.34	c Elapsed CPU time: 36.0505 s	Remaining CPU time: 143.949 s
36.28/36.34	c ===============================================================================
36.28/36.34	c |      3635 |    3799    28810   444235 |     9603     3635    618 | 36.662 % |
36.47/36.53	c ===============================================================================
36.47/36.53	c New solution: 80746
36.47/36.53	o 80746
36.47/36.53	c Elapsed CPU time: 36.2405 s	Remaining CPU time: 143.76 s
36.47/36.53	c ===============================================================================
36.47/36.53	c |      3636 |    3799    28811   446328 |     9603     3636    617 | 36.662 % |
36.67/36.72	c ===============================================================================
36.67/36.72	c New solution: 80745
36.67/36.72	o 80745
36.67/36.72	c Elapsed CPU time: 36.4225 s	Remaining CPU time: 143.578 s
36.67/36.72	c ===============================================================================
36.67/36.72	c |      3637 |    3799    28812   448421 |     9604     3637    617 | 36.662 % |
36.77/36.90	c ===============================================================================
36.77/36.90	c New solution: 80744
36.77/36.90	o 80744
36.77/36.90	c Elapsed CPU time: 36.6014 s	Remaining CPU time: 143.399 s
36.77/36.90	c ===============================================================================
36.77/36.90	c |      3637 |    3799    28813   450514 |     9604     3637    617 | 36.662 % |
36.97/37.07	c ===============================================================================
36.97/37.07	c New solution: 80743
36.97/37.07	o 80743
36.97/37.07	c Elapsed CPU time: 36.7744 s	Remaining CPU time: 143.226 s
36.97/37.07	c ===============================================================================
36.97/37.07	c |      3638 |    3799    28814   452607 |     9604     3638    617 | 36.662 % |
37.27/37.33	c ===============================================================================
37.27/37.33	c New solution: 80742
37.27/37.33	o 80742
37.27/37.33	c Elapsed CPU time: 37.0384 s	Remaining CPU time: 142.962 s
37.27/37.33	c ===============================================================================
37.27/37.33	c |      3643 |    3799    28815   454700 |     9605     3643    617 | 36.662 % |
37.47/37.52	c ===============================================================================
37.47/37.52	c New solution: 80741
37.47/37.52	o 80741
37.47/37.52	c Elapsed CPU time: 37.2223 s	Remaining CPU time: 142.778 s
37.47/37.52	c ===============================================================================
37.47/37.52	c |      3643 |    3799    28816   456793 |     9605     3643    617 | 36.662 % |
37.67/37.74	c ===============================================================================
37.67/37.74	c New solution: 80740
37.67/37.74	o 80740
37.67/37.74	c Elapsed CPU time: 37.4473 s	Remaining CPU time: 142.553 s
37.67/37.74	c ===============================================================================
37.67/37.74	c |      3644 |    3799    28817   458886 |     9605     3644    617 | 36.662 % |
37.87/37.93	c ===============================================================================
37.87/37.93	c New solution: 80739
37.87/37.93	o 80739
37.87/37.93	c Elapsed CPU time: 37.6283 s	Remaining CPU time: 142.372 s
37.87/37.93	c ===============================================================================
37.87/37.93	c |      3644 |    3799    28818   460979 |     9606     3644    617 | 36.662 % |
38.06/38.11	c ===============================================================================
38.06/38.11	c New solution: 80738
38.06/38.11	o 80738
38.06/38.11	c Elapsed CPU time: 37.8093 s	Remaining CPU time: 142.191 s
38.06/38.11	c ===============================================================================
38.06/38.11	c |      3644 |    3799    28819   463072 |     9606     3644    617 | 36.662 % |
38.16/38.29	c ===============================================================================
38.16/38.29	c New solution: 80737
38.16/38.29	o 80737
38.16/38.29	c Elapsed CPU time: 37.9902 s	Remaining CPU time: 142.01 s
38.16/38.29	c ===============================================================================
38.16/38.29	c |      3644 |    3799    28820   465165 |     9606     3644    617 | 36.662 % |
38.37/38.47	c ===============================================================================
38.37/38.47	c New solution: 80736
38.37/38.47	o 80736
38.37/38.47	c Elapsed CPU time: 38.1702 s	Remaining CPU time: 141.83 s
38.37/38.47	c ===============================================================================
38.37/38.47	c |      3644 |    3799    28821   467258 |     9607     3644    617 | 36.662 % |
38.56/38.66	c ===============================================================================
38.56/38.66	c New solution: 80735
38.56/38.66	o 80735
38.56/38.66	c Elapsed CPU time: 38.3612 s	Remaining CPU time: 141.639 s
38.56/38.66	c ===============================================================================
38.56/38.66	c |      3646 |    3799    28822   469351 |     9607     3646    617 | 36.662 % |
38.76/38.83	c ===============================================================================
38.76/38.83	c New solution: 80734
38.76/38.83	o 80734
38.76/38.83	c Elapsed CPU time: 38.5321 s	Remaining CPU time: 141.468 s
38.76/38.83	c ===============================================================================
38.76/38.83	c |      3654 |    3799    28823   471444 |     9607     3654    617 | 36.662 % |
38.97/39.06	c ===============================================================================
38.97/39.06	c New solution: 80733
38.97/39.06	o 80733
38.97/39.06	c Elapsed CPU time: 38.7551 s	Remaining CPU time: 141.245 s
38.97/39.06	c ===============================================================================
38.97/39.06	c |      3662 |    3799    28824   473537 |     9608     3662    617 | 36.662 % |
39.17/39.25	c ===============================================================================
39.17/39.25	c New solution: 80731
39.17/39.25	o 80731
39.17/39.25	c Elapsed CPU time: 38.9501 s	Remaining CPU time: 141.05 s
39.17/39.25	c ===============================================================================
39.17/39.25	c |      3672 |    3799    28825   475630 |     9608     3672    617 | 36.662 % |
39.87/39.99	c |      3772 |    3799    28825   475630 |    10569     3772    620 | 36.662 % |
40.07/40.13	c ===============================================================================
40.07/40.13	c New solution: 80730
40.07/40.13	o 80730
40.07/40.13	c Elapsed CPU time: 39.8259 s	Remaining CPU time: 140.174 s
40.07/40.13	c ===============================================================================
40.07/40.13	c |      3775 |    3799    28826   477723 |     9608     3775    620 | 36.662 % |
40.27/40.33	c ===============================================================================
40.27/40.33	c New solution: 80729
40.27/40.33	o 80729
40.27/40.33	c Elapsed CPU time: 40.0219 s	Remaining CPU time: 139.978 s
40.27/40.33	c ===============================================================================
40.27/40.33	c |      3775 |    3799    28827   479816 |     9609     3775    620 | 36.662 % |
40.47/40.52	c ===============================================================================
40.47/40.52	c New solution: 80728
40.47/40.52	o 80728
40.47/40.52	c Elapsed CPU time: 40.2169 s	Remaining CPU time: 139.783 s
40.47/40.52	c ===============================================================================
40.47/40.52	c |      3775 |    3799    28828   481909 |     9609     3775    620 | 36.662 % |
40.67/40.72	c ===============================================================================
40.67/40.72	c New solution: 80727
40.67/40.72	o 80727
40.67/40.72	c Elapsed CPU time: 40.4109 s	Remaining CPU time: 139.589 s
40.67/40.72	c ===============================================================================
40.67/40.72	c |      3775 |    3799    28829   484002 |     9609     3775    620 | 36.662 % |
40.86/40.91	c ===============================================================================
40.86/40.91	c New solution: 80726
40.86/40.91	o 80726
40.86/40.91	c Elapsed CPU time: 40.6028 s	Remaining CPU time: 139.397 s
40.86/40.91	c ===============================================================================
40.86/40.91	c |      3775 |    3799    28830   486095 |     9610     3775    620 | 36.662 % |
41.06/41.16	c ===============================================================================
41.06/41.16	c New solution: 80725
41.06/41.16	o 80725
41.06/41.16	c Elapsed CPU time: 40.8478 s	Remaining CPU time: 139.152 s
41.06/41.16	c ===============================================================================
41.06/41.16	c |      3779 |    3799    28831   488188 |     9610     3779    620 | 36.662 % |
41.26/41.32	c ===============================================================================
41.26/41.32	c New solution: 80724
41.26/41.32	o 80724
41.26/41.32	c Elapsed CPU time: 41.0118 s	Remaining CPU time: 138.988 s
41.26/41.32	c ===============================================================================
41.26/41.32	c |      3779 |    3799    28832   490281 |     9610     3779    620 | 36.662 % |
41.36/41.48	c ===============================================================================
41.36/41.48	c New solution: 80723
41.36/41.48	o 80723
41.36/41.48	c Elapsed CPU time: 41.1737 s	Remaining CPU time: 138.826 s
41.36/41.48	c ===============================================================================
41.36/41.48	c |      3779 |    3799    28833   492374 |     9611     3779    620 | 36.662 % |
41.56/41.65	c ===============================================================================
41.56/41.65	c New solution: 80722
41.56/41.65	o 80722
41.56/41.65	c Elapsed CPU time: 41.3397 s	Remaining CPU time: 138.66 s
41.56/41.65	c ===============================================================================
41.56/41.65	c |      3780 |    3799    28834   494467 |     9611     3780    620 | 36.662 % |
41.77/41.84	c ===============================================================================
41.77/41.84	c New solution: 80721
41.77/41.84	o 80721
41.77/41.84	c Elapsed CPU time: 41.5257 s	Remaining CPU time: 138.474 s
41.77/41.84	c ===============================================================================
41.77/41.84	c |      3780 |    3799    28835   496560 |     9611     3780    620 | 36.662 % |
41.97/42.02	c ===============================================================================
41.97/42.02	c New solution: 80720
41.97/42.02	o 80720
41.97/42.02	c Elapsed CPU time: 41.7097 s	Remaining CPU time: 138.29 s
41.97/42.03	c ===============================================================================
41.97/42.03	c |      3780 |    3799    28836   498653 |     9612     3780    620 | 36.662 % |
42.57/42.64	c ===============================================================================
42.57/42.64	c New solution: 80719
42.57/42.64	o 80719
42.57/42.64	c Elapsed CPU time: 42.3236 s	Remaining CPU time: 137.676 s
42.57/42.64	c ===============================================================================
42.57/42.64	c |      3846 |    3799    28837   500746 |     9612     3846    622 | 36.662 % |
42.77/42.84	c ===============================================================================
42.77/42.84	c New solution: 80718
42.77/42.84	o 80718
42.77/42.84	c Elapsed CPU time: 42.5175 s	Remaining CPU time: 137.482 s
42.77/42.84	c ===============================================================================
42.77/42.84	c |      3846 |    3799    28838   502839 |     9612     3846    622 | 36.662 % |
42.96/43.02	c ===============================================================================
42.96/43.02	c New solution: 80717
42.96/43.02	o 80717
42.96/43.02	c Elapsed CPU time: 42.7035 s	Remaining CPU time: 137.296 s
42.96/43.02	c ===============================================================================
42.96/43.02	c |      3848 |    3799    28839   504932 |     9613     3848    622 | 36.662 % |
43.97/44.02	c |      3948 |    3799    28839   504932 |    10574     3948    625 | 36.662 % |
44.06/44.13	c ===============================================================================
44.06/44.13	c New solution: 80716
44.06/44.13	o 80716
44.06/44.13	c Elapsed CPU time: 43.8093 s	Remaining CPU time: 136.191 s
44.06/44.13	c ===============================================================================
44.06/44.13	c |      3959 |    3799    28840   507025 |     9613     3959    625 | 36.662 % |
44.46/44.55	c ===============================================================================
44.46/44.55	c New solution: 80715
44.46/44.55	o 80715
44.46/44.55	c Elapsed CPU time: 44.2253 s	Remaining CPU time: 135.775 s
44.46/44.55	c ===============================================================================
44.46/44.55	c |      3962 |    3799    28841   509118 |     9613     3962    625 | 36.662 % |
44.66/44.75	c ===============================================================================
44.66/44.75	c New solution: 80714
44.66/44.75	o 80714
44.66/44.75	c Elapsed CPU time: 44.4302 s	Remaining CPU time: 135.57 s
44.66/44.75	c ===============================================================================
44.66/44.75	c |      3976 |    3799    28842   511211 |     9614     3976    625 | 36.662 % |
45.27/45.36	c ===============================================================================
45.27/45.36	c New solution: 79108
45.27/45.36	o 79108
45.27/45.36	c Elapsed CPU time: 45.0342 s	Remaining CPU time: 134.966 s
45.27/45.36	c ===============================================================================
45.27/45.36	c |      4016 |    3799    28843   513304 |     9614     4016    625 | 36.662 % |
45.47/45.56	c ===============================================================================
45.47/45.56	c New solution: 79051
45.47/45.56	o 79051
45.47/45.56	c Elapsed CPU time: 45.2321 s	Remaining CPU time: 134.768 s
45.47/45.56	c ===============================================================================
45.47/45.56	c |      4016 |    3799    28844   515397 |     9614     4016    625 | 36.662 % |
45.67/45.75	c ===============================================================================
45.67/45.75	c New solution: 79050
45.67/45.75	o 79050
45.67/45.75	c Elapsed CPU time: 45.4261 s	Remaining CPU time: 134.574 s
45.67/45.75	c ===============================================================================
45.67/45.75	c |      4016 |    3799    28845   517490 |     9615     4016    625 | 36.662 % |
45.87/45.96	c ===============================================================================
45.87/45.96	c New solution: 79049
45.87/45.96	o 79049
45.87/45.96	c Elapsed CPU time: 45.6321 s	Remaining CPU time: 134.368 s
45.87/45.96	c ===============================================================================
45.87/45.96	c |      4019 |    3799    28846   519583 |     9615     4019    625 | 36.662 % |
46.66/46.79	c |      4119 |    3799    28846   519583 |    10576     4119    627 | 36.662 % |
47.96/48.00	c |      4269 |    3799    28846   519583 |    11634     4269    630 | 36.662 % |
49.77/49.88	c |      4495 |    3799    28846   519583 |    12798     4495    635 | 36.662 % |
49.97/50.01	c ===============================================================================
49.97/50.01	c New solution: 79048
49.97/50.01	o 79048
49.97/50.01	c Elapsed CPU time: 49.6784 s	Remaining CPU time: 130.322 s
49.97/50.01	c ===============================================================================
49.97/50.01	c |      4508 |    3799    28847   521676 |     9615     4508    635 | 36.662 % |
51.17/51.24	c |      4609 |    3799    28847   521676 |    10577     4609    637 | 36.662 % |
51.27/51.34	c ===============================================================================
51.27/51.34	c New solution: 79047
51.27/51.34	o 79047
51.27/51.34	c Elapsed CPU time: 51.0052 s	Remaining CPU time: 128.995 s
51.27/51.34	c ===============================================================================
51.27/51.34	c |      4623 |    3799    28848   523769 |     9616     4623    637 | 36.662 % |
52.47/52.53	c |      4724 |    3799    28848   523769 |    10577     4724    638 | 36.662 % |
52.56/52.68	c ===============================================================================
52.56/52.68	c New solution: 79046
52.56/52.68	o 79046
52.56/52.68	c Elapsed CPU time: 52.343 s	Remaining CPU time: 127.657 s
52.56/52.68	c ===============================================================================
52.56/52.68	c |      4733 |    3799    28849   525862 |     9616     4733    638 | 36.662 % |
53.26/53.36	c ===============================================================================
53.26/53.36	c New solution: 79045
53.26/53.36	o 79045
53.26/53.36	c Elapsed CPU time: 53.0209 s	Remaining CPU time: 126.979 s
53.26/53.36	c ===============================================================================
53.26/53.36	c |      4779 |    3799    28850   527955 |     9616     4779    639 | 36.662 % |
53.46/53.55	c ===============================================================================
53.46/53.55	c New solution: 79044
53.46/53.55	o 79044
53.46/53.55	c Elapsed CPU time: 53.2069 s	Remaining CPU time: 126.793 s
53.46/53.55	c ===============================================================================
53.46/53.55	c |      4780 |    3799    28851   530048 |     9617     4780    639 | 36.662 % |
54.57/54.67	c |      4881 |    3799    28851   530048 |    10578     4881    641 | 36.662 % |
54.66/54.76	c ===============================================================================
54.66/54.76	c New solution: 79043
54.66/54.76	o 79043
54.66/54.76	c Elapsed CPU time: 54.4137 s	Remaining CPU time: 125.586 s
54.66/54.76	c ===============================================================================
54.66/54.76	c |      4893 |    3799    28852   532141 |     9617     4893    640 | 36.662 % |
55.06/55.15	c ===============================================================================
55.06/55.15	c New solution: 79042
55.06/55.15	o 79042
55.06/55.15	c Elapsed CPU time: 54.8007 s	Remaining CPU time: 125.199 s
55.06/55.15	c ===============================================================================
55.06/55.15	c |      4893 |    3799    28853   534234 |     9617     4893    640 | 36.662 % |
55.56/55.60	c ===============================================================================
55.56/55.60	c New solution: 79041
55.56/55.60	o 79041
55.56/55.60	c Elapsed CPU time: 55.2526 s	Remaining CPU time: 124.747 s
55.56/55.60	c ===============================================================================
55.56/55.60	c |      4895 |    3799    28854   536327 |     9618     4895    640 | 36.662 % |
55.86/55.94	c ===============================================================================
55.86/55.94	c New solution: 79040
55.86/55.94	o 79040
55.86/55.94	c Elapsed CPU time: 55.5855 s	Remaining CPU time: 124.414 s
55.86/55.94	c ===============================================================================
55.86/55.94	c |      4915 |    3799    28855   538420 |     9618     4915    641 | 36.662 % |
56.36/56.46	c |      5015 |    3799    28855   538420 |    10580     5015    639 | 36.662 % |
57.76/57.86	c |      5165 |    3799    28855   538420 |    11638     5165    641 | 36.662 % |
58.17/58.25	c ===============================================================================
58.17/58.25	c New solution: 79039
58.17/58.25	o 79039
58.17/58.25	c Elapsed CPU time: 57.8952 s	Remaining CPU time: 122.105 s
58.17/58.25	c ===============================================================================
58.17/58.25	c |      5167 |    3799    28856   540513 |     9618     5167    641 | 36.662 % |
58.36/58.46	c ===============================================================================
58.36/58.46	c New solution: 79038
58.36/58.46	o 79038
58.36/58.46	c Elapsed CPU time: 58.1082 s	Remaining CPU time: 121.892 s
58.36/58.46	c ===============================================================================
58.36/58.46	c |      5169 |    3799    28857   542606 |     9619     5169    641 | 36.662 % |
58.56/58.67	c ===============================================================================
58.56/58.67	c New solution: 79037
58.56/58.67	o 79037
58.56/58.67	c Elapsed CPU time: 58.3171 s	Remaining CPU time: 121.683 s
58.56/58.67	c ===============================================================================
58.56/58.67	c |      5174 |    3799    28858   544699 |     9619     5174    641 | 36.662 % |
58.77/58.83	c ===============================================================================
58.77/58.83	c New solution: 79036
58.77/58.83	o 79036
58.77/58.83	c Elapsed CPU time: 58.4761 s	Remaining CPU time: 121.524 s
58.77/58.83	c ===============================================================================
58.77/58.83	c |      5194 |    3799    28859   546792 |     9619     5194    641 | 36.662 % |
58.96/59.01	c ===============================================================================
58.96/59.01	c New solution: 79035
58.96/59.01	o 79035
58.96/59.01	c Elapsed CPU time: 58.6561 s	Remaining CPU time: 121.344 s
58.96/59.01	c ===============================================================================
58.96/59.01	c |      5195 |    3799    28860   548885 |     9620     5195    641 | 36.662 % |
59.06/59.14	c ===============================================================================
59.06/59.14	c New solution: 79034
59.06/59.14	o 79034
59.06/59.14	c Elapsed CPU time: 58.7811 s	Remaining CPU time: 121.219 s
59.06/59.14	c ===============================================================================
59.06/59.14	c |      5196 |    3799    28861   550978 |     9620     5196    641 | 36.662 % |
59.16/59.29	c ===============================================================================
59.16/59.29	c New solution: 79033
59.16/59.29	o 79033
59.16/59.29	c Elapsed CPU time: 58.926 s	Remaining CPU time: 121.074 s
59.16/59.29	c ===============================================================================
59.16/59.29	c |      5196 |    3799    28862   553071 |     9620     5196    641 | 36.662 % |
59.37/59.44	c ===============================================================================
59.37/59.44	c New solution: 79032
59.37/59.44	o 79032
59.37/59.44	c Elapsed CPU time: 59.074 s	Remaining CPU time: 120.926 s
59.37/59.44	c ===============================================================================
59.37/59.44	c |      5196 |    3799    28863   555164 |     9621     5196    641 | 36.662 % |
59.46/59.58	c ===============================================================================
59.46/59.58	c New solution: 79031
59.46/59.58	o 79031
59.46/59.58	c Elapsed CPU time: 59.217 s	Remaining CPU time: 120.783 s
59.46/59.58	c ===============================================================================
59.46/59.58	c |      5196 |    3799    28864   557257 |     9621     5196    641 | 36.662 % |
59.66/59.71	c ===============================================================================
59.66/59.71	c New solution: 79030
59.66/59.71	o 79030
59.66/59.71	c Elapsed CPU time: 59.349 s	Remaining CPU time: 120.651 s
59.66/59.71	c ===============================================================================
59.66/59.71	c |      5197 |    3799    28865   559350 |     9621     5197    641 | 36.662 % |
60.26/60.35	c ===============================================================================
60.26/60.35	c New solution: 77435
60.26/60.35	o 77435
60.26/60.35	c Elapsed CPU time: 59.9799 s	Remaining CPU time: 120.02 s
60.26/60.35	c ===============================================================================
60.26/60.35	c |      5229 |    3799    28866   561443 |     9622     5229    641 | 36.662 % |
60.47/60.57	c ===============================================================================
60.47/60.57	c New solution: 77402
60.47/60.57	o 77402
60.47/60.57	c Elapsed CPU time: 60.1978 s	Remaining CPU time: 119.802 s
60.47/60.57	c ===============================================================================
60.47/60.57	c |      5230 |    3799    28867   563536 |     9622     5230    641 | 36.662 % |
60.96/61.00	c ===============================================================================
60.96/61.00	c New solution: 77401
60.96/61.00	o 77401
60.96/61.00	c Elapsed CPU time: 60.6298 s	Remaining CPU time: 119.37 s
60.96/61.00	c ===============================================================================
60.96/61.00	c |      5235 |    3799    28868   565629 |     9622     5235    640 | 36.662 % |
61.36/61.48	c ===============================================================================
61.36/61.48	c New solution: 77391
61.36/61.48	o 77391
61.36/61.48	c Elapsed CPU time: 61.1037 s	Remaining CPU time: 118.896 s
61.36/61.48	c ===============================================================================
61.36/61.48	c |      5235 |    3799    28869   567722 |     9623     5235    640 | 36.662 % |
61.86/61.94	c ===============================================================================
61.86/61.94	c New solution: 77386
61.86/61.94	o 77386
61.86/61.94	c Elapsed CPU time: 61.5706 s	Remaining CPU time: 118.429 s
61.86/61.94	c ===============================================================================
61.86/61.94	c |      5235 |    3799    28870   569815 |     9623     5235    640 | 36.662 % |
62.37/62.41	c ===============================================================================
62.37/62.41	c New solution: 77383
62.37/62.41	o 77383
62.37/62.41	c Elapsed CPU time: 62.0306 s	Remaining CPU time: 117.969 s
62.37/62.41	c ===============================================================================
62.37/62.41	c |      5235 |    3799    28871   571908 |     9623     5235    640 | 36.662 % |
62.76/62.87	c ===============================================================================
62.76/62.87	c New solution: 77382
62.76/62.87	o 77382
62.76/62.87	c Elapsed CPU time: 62.4885 s	Remaining CPU time: 117.511 s
62.76/62.87	c ===============================================================================
62.76/62.87	c |      5235 |    3799    28872   574001 |     9624     5235    640 | 36.662 % |
63.26/63.33	c ===============================================================================
63.26/63.33	c New solution: 77381
63.26/63.33	o 77381
63.26/63.33	c Elapsed CPU time: 62.9464 s	Remaining CPU time: 117.054 s
63.26/63.33	c ===============================================================================
63.26/63.33	c |      5235 |    3799    28873   576094 |     9624     5235    640 | 36.662 % |
63.67/63.79	c ===============================================================================
63.67/63.79	c New solution: 77380
63.67/63.79	o 77380
63.67/63.79	c Elapsed CPU time: 63.4074 s	Remaining CPU time: 116.593 s
63.67/63.79	c ===============================================================================
63.67/63.79	c |      5235 |    3799    28874   578187 |     9624     5235    640 | 36.662 % |
64.16/64.25	c ===============================================================================
64.16/64.25	c New solution: 77379
64.16/64.25	o 77379
64.16/64.25	c Elapsed CPU time: 63.8663 s	Remaining CPU time: 116.134 s
64.16/64.25	c ===============================================================================
64.16/64.25	c |      5235 |    3799    28875   580280 |     9625     5235    640 | 36.662 % |
64.66/64.71	c ===============================================================================
64.66/64.71	c New solution: 77378
64.66/64.71	o 77378
64.66/64.71	c Elapsed CPU time: 64.3272 s	Remaining CPU time: 115.673 s
64.66/64.71	c ===============================================================================
64.66/64.71	c |      5235 |    3799    28876   582373 |     9625     5235    640 | 36.662 % |
65.06/65.16	c ===============================================================================
65.06/65.16	c New solution: 77377
65.06/65.16	o 77377
65.06/65.16	c Elapsed CPU time: 64.7772 s	Remaining CPU time: 115.223 s
65.06/65.16	c ===============================================================================
65.06/65.16	c |      5236 |    3799    28877   584466 |     9625     5236    640 | 36.662 % |
65.46/65.56	c ===============================================================================
65.46/65.56	c New solution: 77376
65.46/65.56	o 77376
65.46/65.56	c Elapsed CPU time: 65.1801 s	Remaining CPU time: 114.82 s
65.46/65.56	c ===============================================================================
65.46/65.56	c |      5237 |    3799    28878   586559 |     9626     5237    640 | 36.662 % |
65.86/65.93	c ===============================================================================
65.86/65.93	c New solution: 77375
65.86/65.93	o 77375
65.86/65.93	c Elapsed CPU time: 65.543 s	Remaining CPU time: 114.457 s
65.86/65.93	c ===============================================================================
65.86/65.93	c |      5237 |    3799    28879   588652 |     9626     5237    640 | 36.662 % |
66.16/66.29	c ===============================================================================
66.16/66.29	c New solution: 77374
66.16/66.29	o 77374
66.16/66.29	c Elapsed CPU time: 65.906 s	Remaining CPU time: 114.094 s
66.16/66.29	c ===============================================================================
66.16/66.29	c |      5237 |    3799    28880   590745 |     9626     5237    640 | 36.662 % |
66.56/66.65	c ===============================================================================
66.56/66.65	c New solution: 77373
66.56/66.65	o 77373
66.56/66.65	c Elapsed CPU time: 66.2669 s	Remaining CPU time: 113.733 s
66.56/66.65	c ===============================================================================
66.56/66.65	c |      5237 |    3799    28881   592838 |     9627     5237    640 | 36.662 % |
66.97/67.02	c ===============================================================================
66.97/67.02	c New solution: 77372
66.97/67.02	o 77372
66.97/67.02	c Elapsed CPU time: 66.6279 s	Remaining CPU time: 113.372 s
66.97/67.02	c ===============================================================================
66.97/67.02	c |      5237 |    3799    28882   594931 |     9627     5237    640 | 36.662 % |
67.26/67.38	c ===============================================================================
67.26/67.38	c New solution: 77371
67.26/67.38	o 77371
67.26/67.38	c Elapsed CPU time: 66.9878 s	Remaining CPU time: 113.012 s
67.26/67.38	c ===============================================================================
67.26/67.38	c |      5237 |    3799    28883   597024 |     9627     5237    640 | 36.662 % |
67.66/67.74	c ===============================================================================
67.66/67.74	c New solution: 77370
67.66/67.74	o 77370
67.66/67.74	c Elapsed CPU time: 67.3468 s	Remaining CPU time: 112.653 s
67.66/67.74	c ===============================================================================
67.66/67.74	c |      5237 |    3799    28884   599117 |     9628     5237    640 | 36.662 % |
68.07/68.10	c ===============================================================================
68.07/68.10	c New solution: 77369
68.07/68.10	o 77369
68.07/68.10	c Elapsed CPU time: 67.7047 s	Remaining CPU time: 112.295 s
68.07/68.10	c ===============================================================================
68.07/68.10	c |      5237 |    3799    28885   601210 |     9628     5237    640 | 36.662 % |
68.36/68.45	c ===============================================================================
68.36/68.45	c New solution: 77368
68.36/68.45	o 77368
68.36/68.45	c Elapsed CPU time: 68.0627 s	Remaining CPU time: 111.937 s
68.36/68.45	c ===============================================================================
68.36/68.45	c |      5237 |    3799    28886   603303 |     9628     5237    640 | 36.662 % |
68.76/68.81	c ===============================================================================
68.76/68.81	c New solution: 77367
68.76/68.81	o 77367
68.76/68.81	c Elapsed CPU time: 68.4196 s	Remaining CPU time: 111.58 s
68.76/68.81	c ===============================================================================
68.76/68.81	c |      5237 |    3799    28887   605396 |     9629     5237    640 | 36.662 % |
69.06/69.16	c ===============================================================================
69.06/69.16	c New solution: 77366
69.06/69.16	o 77366
69.06/69.16	c Elapsed CPU time: 68.7705 s	Remaining CPU time: 111.229 s
69.06/69.16	c ===============================================================================
69.06/69.16	c |      5237 |    3799    28888   607489 |     9629     5237    640 | 36.662 % |
69.46/69.52	c ===============================================================================
69.46/69.52	c New solution: 77365
69.46/69.52	o 77365
69.46/69.52	c Elapsed CPU time: 69.1235 s	Remaining CPU time: 110.877 s
69.46/69.52	c ===============================================================================
69.46/69.52	c |      5237 |    3799    28889   609582 |     9629     5237    640 | 36.662 % |
69.76/69.87	c ===============================================================================
69.76/69.87	c New solution: 77364
69.76/69.87	o 77364
69.76/69.87	c Elapsed CPU time: 69.4784 s	Remaining CPU time: 110.522 s
69.76/69.87	c ===============================================================================
69.76/69.87	c |      5238 |    3799    28890   611675 |     9630     5238    640 | 36.662 % |
70.66/70.74	c |      5339 |    3799    28890   611675 |    10593     5339    641 | 36.662 % |
70.86/70.97	c ===============================================================================
70.86/70.97	c New solution: 77363
70.86/70.97	o 77363
70.86/70.97	c Elapsed CPU time: 70.5683 s	Remaining CPU time: 109.432 s
70.86/70.97	c ===============================================================================
70.86/70.97	c |      5341 |    3799    28891   613768 |     9630     5341    642 | 36.662 % |
71.06/71.15	c ===============================================================================
71.06/71.15	c New solution: 75748
71.06/71.15	o 75748
71.06/71.15	c Elapsed CPU time: 70.7512 s	Remaining CPU time: 109.249 s
71.06/71.15	c ===============================================================================
71.06/71.15	c |      5346 |    3799    28892   615861 |     9630     5346    641 | 36.662 % |
71.37/71.42	c ===============================================================================
71.37/71.42	c New solution: 75725
71.37/71.42	o 75725
71.37/71.42	c Elapsed CPU time: 71.0172 s	Remaining CPU time: 108.983 s
71.37/71.42	c ===============================================================================
71.37/71.42	c |      5346 |    3799    28893   617954 |     9631     5346    641 | 36.662 % |
71.56/71.69	c ===============================================================================
71.56/71.69	c New solution: 75724
71.56/71.69	o 75724
71.56/71.69	c Elapsed CPU time: 71.2812 s	Remaining CPU time: 108.719 s
71.56/71.69	c ===============================================================================
71.56/71.69	c |      5346 |    3799    28894   620047 |     9631     5346    641 | 36.662 % |
71.86/71.97	c ===============================================================================
71.86/71.97	c New solution: 75723
71.86/71.97	o 75723
71.86/71.97	c Elapsed CPU time: 71.5671 s	Remaining CPU time: 108.433 s
71.86/71.97	c ===============================================================================
71.86/71.97	c |      5347 |    3799    28895   622140 |     9631     5347    641 | 36.662 % |
72.15/72.24	c ===============================================================================
72.15/72.24	c New solution: 75722
72.15/72.24	o 75722
72.15/72.24	c Elapsed CPU time: 71.8321 s	Remaining CPU time: 108.168 s
72.15/72.24	c ===============================================================================
72.15/72.24	c |      5347 |    3799    28896   624233 |     9632     5347    641 | 36.662 % |
72.36/72.48	c ===============================================================================
72.36/72.48	c New solution: 75714
72.36/72.48	o 75714
72.36/72.48	c Elapsed CPU time: 72.075 s	Remaining CPU time: 107.925 s
72.36/72.48	c ===============================================================================
72.36/72.48	c |      5347 |    3799    28897   626326 |     9632     5347    641 | 36.662 % |
72.66/72.73	c ===============================================================================
72.66/72.73	c New solution: 75713
72.66/72.73	o 75713
72.66/72.73	c Elapsed CPU time: 72.315 s	Remaining CPU time: 107.685 s
72.66/72.73	c ===============================================================================
72.66/72.73	c |      5347 |    3799    28898   628419 |     9632     5347    641 | 36.662 % |
72.86/72.97	c ===============================================================================
72.86/72.97	c New solution: 75712
72.86/72.97	o 75712
72.86/72.97	c Elapsed CPU time: 72.558 s	Remaining CPU time: 107.442 s
72.86/72.97	c ===============================================================================
72.86/72.97	c |      5348 |    3799    28899   630512 |     9633     5348    641 | 36.662 % |
73.26/73.31	c ===============================================================================
73.26/73.31	c New solution: 75711
73.26/73.31	o 75711
73.26/73.31	c Elapsed CPU time: 72.8969 s	Remaining CPU time: 107.103 s
73.26/73.31	c ===============================================================================
73.26/73.31	c |      5360 |    3799    28900   632605 |     9633     5360    641 | 36.662 % |
74.16/74.29	c |      5460 |    3799    28900   632605 |    10596     5460    643 | 36.662 % |
74.66/74.72	c ===============================================================================
74.66/74.72	c New solution: 75710
74.66/74.72	o 75710
74.66/74.72	c Elapsed CPU time: 74.3037 s	Remaining CPU time: 105.696 s
74.66/74.72	c ===============================================================================
74.66/74.72	c |      5478 |    3799    28901   634698 |     9633     5478    643 | 36.662 % |
74.86/74.97	c ===============================================================================
74.86/74.97	c New solution: 75709
74.86/74.97	o 75709
74.86/74.97	c Elapsed CPU time: 74.5577 s	Remaining CPU time: 105.442 s
74.86/74.97	c ===============================================================================
74.86/74.97	c |      5478 |    3799    28902   636791 |     9634     5478    643 | 36.662 % |
75.15/75.23	c ===============================================================================
75.15/75.23	c New solution: 75708
75.15/75.23	o 75708
75.15/75.23	c Elapsed CPU time: 74.8166 s	Remaining CPU time: 105.183 s
75.15/75.23	c ===============================================================================
75.15/75.23	c |      5478 |    3799    28903   638884 |     9634     5478    643 | 36.662 % |
75.35/75.49	c ===============================================================================
75.35/75.49	c New solution: 75707
75.35/75.49	o 75707
75.35/75.49	c Elapsed CPU time: 75.0706 s	Remaining CPU time: 104.929 s
75.35/75.49	c ===============================================================================
75.35/75.49	c |      5479 |    3799    28904   640977 |     9634     5479    643 | 36.662 % |
75.65/75.73	c ===============================================================================
75.65/75.73	c New solution: 75706
75.65/75.73	o 75706
75.65/75.73	c Elapsed CPU time: 75.3126 s	Remaining CPU time: 104.687 s
75.65/75.73	c ===============================================================================
75.65/75.73	c |      5479 |    3799    28905   643070 |     9635     5479    643 | 36.662 % |
75.76/75.86	c ===============================================================================
75.76/75.86	c New solution: 75705
75.76/75.86	o 75705
75.76/75.86	c Elapsed CPU time: 75.4395 s	Remaining CPU time: 104.56 s
75.76/75.86	c ===============================================================================
75.76/75.86	c |      5489 |    3799    28906   645163 |     9635     5489    643 | 36.662 % |
76.26/76.35	c ===============================================================================
76.26/76.35	c New solution: 74095
76.26/76.35	o 74095
76.26/76.35	c Elapsed CPU time: 75.9255 s	Remaining CPU time: 104.075 s
76.26/76.35	c ===============================================================================
76.26/76.35	c |      5515 |    3799    28907   647256 |     9635     5515    643 | 36.662 % |
76.56/76.60	c ===============================================================================
76.56/76.60	c New solution: 74072
76.56/76.60	o 74072
76.56/76.60	c Elapsed CPU time: 76.1754 s	Remaining CPU time: 103.825 s
76.56/76.60	c ===============================================================================
76.56/76.60	c |      5516 |    3799    28908   649349 |     9636     5516    643 | 36.662 % |
76.76/76.80	c ===============================================================================
76.76/76.80	c New solution: 74054
76.76/76.80	o 74054
76.76/76.80	c Elapsed CPU time: 76.3774 s	Remaining CPU time: 103.623 s
76.76/76.80	c ===============================================================================
76.76/76.80	c |      5519 |    3799    28909   651442 |     9636     5519    643 | 36.662 % |
78.26/78.36	c |      5620 |    3799    28909   651442 |    10599     5620    645 | 36.662 % |
78.46/78.60	c ===============================================================================
78.46/78.60	c New solution: 74053
78.46/78.60	o 74053
78.46/78.60	c Elapsed CPU time: 78.1701 s	Remaining CPU time: 101.83 s
78.46/78.60	c ===============================================================================
78.46/78.60	c |      5620 |    3799    28910   653535 |     9636     5620    645 | 36.662 % |
78.75/78.80	c ===============================================================================
78.75/78.80	c New solution: 74027
78.75/78.80	o 74027
78.75/78.80	c Elapsed CPU time: 78.3731 s	Remaining CPU time: 101.627 s
78.75/78.80	c ===============================================================================
78.75/78.80	c |      5622 |    3799    28911   655628 |     9637     5622    645 | 36.662 % |
79.06/79.15	c ===============================================================================
79.06/79.15	c New solution: 72439
79.06/79.15	o 72439
79.06/79.15	c Elapsed CPU time: 78.723 s	Remaining CPU time: 101.277 s
79.06/79.15	c ===============================================================================
79.06/79.15	c |      5627 |    3799    28912   657721 |     9637     5627    645 | 36.662 % |
79.26/79.38	c ===============================================================================
79.26/79.38	c New solution: 72376
79.26/79.38	o 72376
79.26/79.38	c Elapsed CPU time: 78.949 s	Remaining CPU time: 101.051 s
79.26/79.38	c ===============================================================================
79.26/79.38	c |      5631 |    3799    28913   659814 |     9637     5631    645 | 36.662 % |
80.26/80.39	c |      5732 |    3799    28913   659814 |    10601     5732    646 | 36.662 % |
80.55/80.65	c ===============================================================================
80.55/80.65	c New solution: 72375
80.55/80.65	o 72375
80.55/80.65	c Elapsed CPU time: 80.2148 s	Remaining CPU time: 99.7852 s
80.55/80.65	c ===============================================================================
80.55/80.65	c |      5734 |    3799    28914   661907 |     9638     5734    646 | 36.662 % |
80.65/80.78	c ===============================================================================
80.65/80.78	c New solution: 72374
80.65/80.78	o 72374
80.65/80.78	c Elapsed CPU time: 80.3388 s	Remaining CPU time: 99.6612 s
80.65/80.78	c ===============================================================================
80.65/80.78	c |      5741 |    3799    28915   664000 |     9638     5741    646 | 36.662 % |
81.26/81.30	c ===============================================================================
81.26/81.30	c New solution: 72373
81.26/81.30	o 72373
81.26/81.30	c Elapsed CPU time: 80.8597 s	Remaining CPU time: 99.1403 s
81.26/81.30	c ===============================================================================
81.26/81.30	c |      5743 |    3799    28916   666093 |     9638     5743    646 | 36.662 % |
81.46/81.54	c ===============================================================================
81.46/81.54	c New solution: 72372
81.46/81.54	o 72372
81.46/81.54	c Elapsed CPU time: 81.0997 s	Remaining CPU time: 98.9003 s
81.46/81.54	c ===============================================================================
81.46/81.54	c |      5746 |    3799    28917   668186 |     9639     5746    646 | 36.662 % |
81.96/82.04	c ===============================================================================
81.96/82.04	c New solution: 72371
81.96/82.04	o 72371
81.96/82.04	c Elapsed CPU time: 81.5946 s	Remaining CPU time: 98.4054 s
81.96/82.04	c ===============================================================================
81.96/82.04	c |      5746 |    3799    28918   670279 |     9639     5746    646 | 36.662 % |
82.47/82.54	c ===============================================================================
82.47/82.54	c New solution: 72370
82.47/82.54	o 72370
82.47/82.54	c Elapsed CPU time: 82.0945 s	Remaining CPU time: 97.9055 s
82.47/82.54	c ===============================================================================
82.47/82.54	c |      5747 |    3799    28919   672372 |     9639     5747    646 | 36.662 % |
82.66/82.77	c ===============================================================================
82.66/82.77	c New solution: 72369
82.66/82.77	o 72369
82.66/82.77	c Elapsed CPU time: 82.3225 s	Remaining CPU time: 97.6775 s
82.66/82.77	c ===============================================================================
82.66/82.77	c |      5747 |    3799    28920   674465 |     9640     5747    646 | 36.662 % |
82.96/83.00	c ===============================================================================
82.96/83.00	c New solution: 72368
82.96/83.00	o 72368
82.96/83.00	c Elapsed CPU time: 82.5554 s	Remaining CPU time: 97.4446 s
82.96/83.00	c ===============================================================================
82.96/83.00	c |      5747 |    3799    28921   676558 |     9640     5747    646 | 36.662 % |
83.16/83.22	c ===============================================================================
83.16/83.22	c New solution: 72367
83.16/83.22	o 72367
83.16/83.22	c Elapsed CPU time: 82.7804 s	Remaining CPU time: 97.2196 s
83.16/83.22	c ===============================================================================
83.16/83.22	c |      5747 |    3799    28922   678651 |     9640     5747    646 | 36.662 % |
83.35/83.46	c ===============================================================================
83.35/83.46	c New solution: 72366
83.35/83.46	o 72366
83.35/83.46	c Elapsed CPU time: 83.0114 s	Remaining CPU time: 96.9886 s
83.35/83.46	c ===============================================================================
83.35/83.46	c |      5748 |    3799    28923   680744 |     9641     5748    646 | 36.662 % |
83.56/83.69	c ===============================================================================
83.56/83.69	c New solution: 72365
83.56/83.69	o 72365
83.56/83.69	c Elapsed CPU time: 83.2383 s	Remaining CPU time: 96.7617 s
83.56/83.69	c ===============================================================================
83.56/83.69	c |      5748 |    3799    28924   682837 |     9641     5748    646 | 36.662 % |
84.95/85.03	c |      5849 |    3799    28924   682837 |    10605     5849    647 | 36.662 % |
85.15/85.27	c ===============================================================================
85.15/85.27	c New solution: 72364
85.15/85.27	o 72364
85.15/85.27	c Elapsed CPU time: 84.8201 s	Remaining CPU time: 95.1799 s
85.15/85.27	c ===============================================================================
85.15/85.27	c |      5852 |    3799    28925   684930 |     9641     5852    647 | 36.662 % |
85.66/85.73	c ===============================================================================
85.66/85.73	c New solution: 70774
85.66/85.73	o 70774
85.66/85.73	c Elapsed CPU time: 85.282 s	Remaining CPU time: 94.718 s
85.66/85.73	c ===============================================================================
85.66/85.73	c |      5863 |    3799    28926   687023 |     9642     5863    647 | 36.662 % |
85.96/86.01	c ===============================================================================
85.96/86.01	c New solution: 70705
85.96/86.01	o 70705
85.96/86.01	c Elapsed CPU time: 85.555 s	Remaining CPU time: 94.445 s
85.96/86.01	c ===============================================================================
85.96/86.01	c |      5863 |    3799    28927   689116 |     9642     5863    647 | 36.662 % |
86.06/86.17	c ===============================================================================
86.06/86.17	c New solution: 70704
86.06/86.17	o 70704
86.06/86.17	c Elapsed CPU time: 85.715 s	Remaining CPU time: 94.285 s
86.06/86.17	c ===============================================================================
86.06/86.17	c |      5871 |    3799    28928   691209 |     9642     5871    646 | 36.662 % |
86.36/86.40	c ===============================================================================
86.36/86.40	c New solution: 70702
86.36/86.40	o 70702
86.36/86.40	c Elapsed CPU time: 85.9519 s	Remaining CPU time: 94.0481 s
86.36/86.40	c ===============================================================================
86.36/86.40	c |      5878 |    3799    28929   693302 |     9643     5878    646 | 36.662 % |
86.77/86.87	c ===============================================================================
86.77/86.87	c New solution: 69111
86.77/86.87	o 69111
86.77/86.87	c Elapsed CPU time: 86.4139 s	Remaining CPU time: 93.5861 s
86.77/86.87	c ===============================================================================
86.77/86.87	c |      5883 |    3799    28930   695395 |     9643     5883    646 | 36.662 % |
87.06/87.16	c ===============================================================================
87.06/87.16	c New solution: 69076
87.06/87.16	o 69076
87.06/87.16	c Elapsed CPU time: 86.7018 s	Remaining CPU time: 93.2982 s
87.06/87.16	c ===============================================================================
87.06/87.16	c |      5889 |    3799    28931   697488 |     9643     5889    646 | 36.662 % |
87.66/87.71	c ===============================================================================
87.66/87.71	c New solution: 69066
87.66/87.71	o 69066
87.66/87.71	c Elapsed CPU time: 87.2557 s	Remaining CPU time: 92.7443 s
87.66/87.71	c ===============================================================================
87.66/87.71	c |      5889 |    3799    28932   699581 |     9644     5889    646 | 36.662 % |
87.86/87.96	c ===============================================================================
87.86/87.96	c New solution: 69045
87.86/87.96	o 69045
87.86/87.96	c Elapsed CPU time: 87.5007 s	Remaining CPU time: 92.4993 s
87.86/87.96	c ===============================================================================
87.86/87.96	c |      5890 |    3799    28933   701674 |     9644     5890    646 | 36.662 % |
88.36/88.48	c ===============================================================================
88.36/88.48	c New solution: 69044
88.36/88.48	o 69044
88.36/88.48	c Elapsed CPU time: 88.0206 s	Remaining CPU time: 91.9794 s
88.36/88.48	c ===============================================================================
88.36/88.48	c |      5927 |    3799    28934   703767 |     9644     5927    646 | 36.662 % |
88.66/88.75	c ===============================================================================
88.66/88.75	c New solution: 69043
88.66/88.75	o 69043
88.66/88.75	c Elapsed CPU time: 88.2906 s	Remaining CPU time: 91.7094 s
88.66/88.75	c ===============================================================================
88.66/88.75	c |      5928 |    3799    28935   705860 |     9645     5928    646 | 36.662 % |
88.86/88.95	c ===============================================================================
88.86/88.95	c New solution: 69042
88.86/88.95	o 69042
88.86/88.95	c Elapsed CPU time: 88.4985 s	Remaining CPU time: 91.5015 s
88.86/88.95	c ===============================================================================
88.86/88.95	c |      5928 |    3799    28936   707953 |     9645     5928    646 | 36.662 % |
89.06/89.16	c ===============================================================================
89.06/89.16	c New solution: 69041
89.06/89.16	o 69041
89.06/89.16	c Elapsed CPU time: 88.7015 s	Remaining CPU time: 91.2985 s
89.06/89.16	c ===============================================================================
89.06/89.16	c |      5928 |    3799    28937   710046 |     9645     5928    646 | 36.662 % |
89.25/89.37	c ===============================================================================
89.25/89.37	c New solution: 69040
89.25/89.37	o 69040
89.25/89.37	c Elapsed CPU time: 88.9115 s	Remaining CPU time: 91.0885 s
89.25/89.37	c ===============================================================================
89.25/89.37	c |      5930 |    3799    28938   712139 |     9646     5930    646 | 36.662 % |
89.55/89.60	c ===============================================================================
89.55/89.60	c New solution: 69039
89.55/89.60	o 69039
89.55/89.60	c Elapsed CPU time: 89.1434 s	Remaining CPU time: 90.8566 s
89.55/89.60	c ===============================================================================
89.55/89.60	c |      5934 |    3799    28939   714232 |     9646     5934    646 | 36.662 % |
89.75/89.84	c ===============================================================================
89.75/89.84	c New solution: 69038
89.75/89.84	o 69038
89.75/89.84	c Elapsed CPU time: 89.3804 s	Remaining CPU time: 90.6196 s
89.75/89.84	c ===============================================================================
89.75/89.84	c |      5936 |    3799    28940   716325 |     9646     5936    646 | 36.662 % |
89.95/90.07	c ===============================================================================
89.95/90.07	c New solution: 69037
89.95/90.07	o 69037
89.95/90.07	c Elapsed CPU time: 89.6104 s	Remaining CPU time: 90.3896 s
89.95/90.07	c ===============================================================================
89.95/90.07	c |      5937 |    3799    28941   718418 |     9647     5937    646 | 36.662 % |
90.46/90.58	c ===============================================================================
90.46/90.58	c New solution: 69036
90.46/90.58	o 69036
90.46/90.58	c Elapsed CPU time: 90.1203 s	Remaining CPU time: 89.8797 s
90.46/90.58	c ===============================================================================
90.46/90.58	c |      5937 |    3799    28942   720511 |     9647     5937    646 | 36.662 % |
91.06/91.10	c ===============================================================================
91.06/91.10	c New solution: 69035
91.06/91.10	o 69035
91.06/91.10	c Elapsed CPU time: 90.6322 s	Remaining CPU time: 89.3678 s
91.06/91.10	c ===============================================================================
91.06/91.10	c |      5937 |    3799    28943   722604 |     9647     5937    646 | 36.662 % |
91.56/91.61	c ===============================================================================
91.56/91.61	c New solution: 69034
91.56/91.61	o 69034
91.56/91.61	c Elapsed CPU time: 91.1441 s	Remaining CPU time: 88.8559 s
91.56/91.61	c ===============================================================================
91.56/91.61	c |      5937 |    3799    28944   724697 |     9648     5937    646 | 36.662 % |
92.05/92.12	c ===============================================================================
92.05/92.12	c New solution: 69033
92.05/92.12	o 69033
92.05/92.12	c Elapsed CPU time: 91.6501 s	Remaining CPU time: 88.3499 s
92.05/92.12	c ===============================================================================
92.05/92.12	c |      5937 |    3799    28945   726790 |     9648     5937    646 | 36.662 % |
92.45/92.59	c ===============================================================================
92.45/92.59	c New solution: 69032
92.45/92.59	o 69032
92.45/92.59	c Elapsed CPU time: 92.125 s	Remaining CPU time: 87.875 s
92.45/92.59	c ===============================================================================
92.45/92.59	c |      5939 |    3799    28946   728883 |     9648     5939    646 | 36.662 % |
93.05/93.18	c ===============================================================================
93.05/93.18	c New solution: 69031
93.05/93.18	o 69031
93.05/93.18	c Elapsed CPU time: 92.7119 s	Remaining CPU time: 87.2881 s
93.05/93.18	c ===============================================================================
93.05/93.18	c |      5951 |    3799    28947   730976 |     9649     5951    646 | 36.662 % |
93.36/93.46	c ===============================================================================
93.36/93.46	c New solution: 69030
93.36/93.46	o 69030
93.36/93.46	c Elapsed CPU time: 92.9879 s	Remaining CPU time: 87.0121 s
93.36/93.46	c ===============================================================================
93.36/93.46	c |      5951 |    3799    28948   733069 |     9649     5951    646 | 36.662 % |
93.65/93.73	c ===============================================================================
93.65/93.73	c New solution: 69029
93.65/93.73	o 69029
93.65/93.73	c Elapsed CPU time: 93.2628 s	Remaining CPU time: 86.7372 s
93.65/93.73	c ===============================================================================
93.65/93.73	c |      5951 |    3799    28949   735162 |     9649     5951    646 | 36.662 % |
93.95/94.01	c ===============================================================================
93.95/94.01	c New solution: 69028
93.95/94.01	o 69028
93.95/94.01	c Elapsed CPU time: 93.5378 s	Remaining CPU time: 86.4622 s
93.95/94.01	c ===============================================================================
93.95/94.01	c |      5951 |    3799    28950   737255 |     9650     5951    646 | 36.662 % |
94.15/94.28	c ===============================================================================
94.15/94.28	c New solution: 69027
94.15/94.28	o 69027
94.15/94.28	c Elapsed CPU time: 93.8107 s	Remaining CPU time: 86.1893 s
94.15/94.28	c ===============================================================================
94.15/94.28	c |      5951 |    3799    28951   739348 |     9650     5951    646 | 36.662 % |
94.35/94.42	c ===============================================================================
94.35/94.42	c New solution: 69026
94.35/94.42	o 69026
94.35/94.42	c Elapsed CPU time: 93.9517 s	Remaining CPU time: 86.0483 s
94.35/94.42	c ===============================================================================
94.35/94.42	c |      5957 |    3799    28952   741441 |     9650     5957    646 | 36.662 % |
95.05/95.11	c ===============================================================================
95.05/95.11	c New solution: 67452
95.05/95.11	o 67452
95.05/95.11	c Elapsed CPU time: 94.6396 s	Remaining CPU time: 85.3604 s
95.05/95.11	c ===============================================================================
95.05/95.11	c |      5980 |    3799    28953   743534 |     9651     5980    646 | 36.662 % |
95.66/95.73	c ===============================================================================
95.66/95.73	c New solution: 67367
95.66/95.73	o 67367
95.66/95.73	c Elapsed CPU time: 95.2555 s	Remaining CPU time: 84.7445 s
95.66/95.73	c ===============================================================================
95.66/95.73	c |      5981 |    3799    28954   745627 |     9651     5981    646 | 36.662 % |
96.15/96.22	c ===============================================================================
96.15/96.22	c New solution: 67366
96.15/96.22	o 67366
96.15/96.22	c Elapsed CPU time: 95.7434 s	Remaining CPU time: 84.2566 s
96.15/96.22	c ===============================================================================
96.15/96.22	c |      5986 |    3799    28955   747720 |     9651     5986    646 | 36.662 % |
96.36/96.44	c ===============================================================================
96.36/96.44	c New solution: 67365
96.36/96.44	o 67365
96.36/96.44	c Elapsed CPU time: 95.9624 s	Remaining CPU time: 84.0376 s
96.36/96.44	c ===============================================================================
96.36/96.44	c |      5991 |    3799    28956   749813 |     9652     5991    646 | 36.662 % |
97.96/98.03	c |      6091 |    3799    28956   749813 |    10617     6091    647 | 36.662 % |
98.46/98.50	c ===============================================================================
98.46/98.50	c New solution: 67364
98.46/98.50	o 67364
98.46/98.50	c Elapsed CPU time: 98.0221 s	Remaining CPU time: 81.9779 s
98.46/98.50	c ===============================================================================
98.46/98.50	c |      6091 |    3799    28957   751906 |     9652     6091    647 | 36.662 % |
98.86/98.94	c ===============================================================================
98.86/98.94	c New solution: 67363
98.86/98.94	o 67363
98.86/98.94	c Elapsed CPU time: 98.458 s	Remaining CPU time: 81.542 s
98.86/98.94	c ===============================================================================
98.86/98.94	c |      6091 |    3799    28958   753999 |     9652     6091    647 | 36.662 % |
99.35/99.40	c ===============================================================================
99.35/99.40	c New solution: 67362
99.35/99.40	o 67362
99.35/99.40	c Elapsed CPU time: 98.922 s	Remaining CPU time: 81.078 s
99.35/99.40	c ===============================================================================
99.35/99.40	c |      6091 |    3799    28959   756092 |     9653     6091    647 | 36.662 % |
99.75/99.86	c ===============================================================================
99.75/99.86	c New solution: 67361
99.75/99.86	o 67361
99.75/99.86	c Elapsed CPU time: 99.3849 s	Remaining CPU time: 80.6151 s
99.75/99.86	c ===============================================================================
99.75/99.86	c |      6091 |    3799    28960   758185 |     9653     6091    647 | 36.662 % |
100.25/100.34	c ===============================================================================
100.25/100.34	c New solution: 67360
100.25/100.34	o 67360
100.25/100.34	c Elapsed CPU time: 99.8578 s	Remaining CPU time: 80.1422 s
100.25/100.34	c ===============================================================================
100.25/100.34	c |      6091 |    3799    28961   760278 |     9653     6091    647 | 36.662 % |
100.75/100.80	c ===============================================================================
100.75/100.80	c New solution: 67359
100.75/100.80	o 67359
100.75/100.80	c Elapsed CPU time: 100.319 s	Remaining CPU time: 79.6813 s
100.75/100.80	c ===============================================================================
100.75/100.80	c |      6091 |    3799    28962   762371 |     9654     6091    647 | 36.662 % |
101.15/101.26	c ===============================================================================
101.15/101.26	c New solution: 67358
101.15/101.26	o 67358
101.15/101.26	c Elapsed CPU time: 100.773 s	Remaining CPU time: 79.2273 s
101.15/101.26	c ===============================================================================
101.15/101.26	c |      6091 |    3799    28963   764464 |     9654     6091    647 | 36.662 % |
101.65/101.71	c ===============================================================================
101.65/101.71	c New solution: 67357
101.65/101.71	o 67357
101.65/101.71	c Elapsed CPU time: 101.226 s	Remaining CPU time: 78.7744 s
101.65/101.71	c ===============================================================================
101.65/101.71	c |      6091 |    3799    28964   766557 |     9654     6091    647 | 36.662 % |
103.36/103.42	c |      6191 |    3799    28964   766557 |    10620     6191    647 | 36.662 % |
103.65/103.77	c ===============================================================================
103.65/103.77	c New solution: 65761
103.65/103.77	o 65761
103.65/103.77	c Elapsed CPU time: 103.275 s	Remaining CPU time: 76.7247 s
103.65/103.77	c ===============================================================================
103.65/103.77	c |      6209 |    3799    28965   768650 |     9655     6209    648 | 36.662 % |
104.26/104.33	c ===============================================================================
104.26/104.33	c New solution: 65740
104.26/104.33	o 65740
104.26/104.33	c Elapsed CPU time: 103.832 s	Remaining CPU time: 76.1678 s
104.26/104.33	c ===============================================================================
104.26/104.33	c |      6214 |    3799    28966   770743 |     9655     6214    648 | 36.662 % |
104.65/104.79	c ===============================================================================
104.65/104.79	c New solution: 65739
104.65/104.79	o 65739
104.65/104.79	c Elapsed CPU time: 104.294 s	Remaining CPU time: 75.7059 s
104.65/104.79	c ===============================================================================
104.65/104.79	c |      6214 |    3799    28967   772836 |     9655     6214    648 | 36.662 % |
105.05/105.12	c ===============================================================================
105.05/105.12	c New solution: 65720
105.05/105.12	o 65720
105.05/105.12	c Elapsed CPU time: 104.618 s	Remaining CPU time: 75.3819 s
105.05/105.12	c ===============================================================================
105.05/105.12	c |      6215 |    3799    28968   774929 |     9656     6215    647 | 36.662 % |
105.46/105.55	c ===============================================================================
105.46/105.55	c New solution: 65719
105.46/105.55	o 65719
105.46/105.55	c Elapsed CPU time: 105.049 s	Remaining CPU time: 74.951 s
105.46/105.55	c ===============================================================================
105.46/105.55	c |      6230 |    3799    28969   777022 |     9656     6230    647 | 36.662 % |
105.75/105.82	c ===============================================================================
105.75/105.82	c New solution: 65718
105.75/105.82	o 65718
105.75/105.82	c Elapsed CPU time: 105.321 s	Remaining CPU time: 74.679 s
105.75/105.82	c ===============================================================================
105.75/105.82	c |      6230 |    3799    28970   779115 |     9656     6230    647 | 36.662 % |
105.95/106.00	c ===============================================================================
105.95/106.00	c New solution: 65717
105.95/106.00	o 65717
105.95/106.00	c Elapsed CPU time: 105.502 s	Remaining CPU time: 74.498 s
105.95/106.00	c ===============================================================================
105.95/106.00	c |      6243 |    3799    28971   781208 |     9657     6243    647 | 36.662 % |
107.35/107.43	c |      6344 |    3799    28971   781208 |    10622     6344    649 | 36.662 % |
107.75/107.83	c ===============================================================================
107.75/107.83	c New solution: 65716
107.75/107.83	o 65716
107.75/107.83	c Elapsed CPU time: 107.329 s	Remaining CPU time: 72.6713 s
107.75/107.83	c ===============================================================================
107.75/107.83	c |      6350 |    3799    28972   783301 |     9657     6350    649 | 36.662 % |
107.85/107.97	c ===============================================================================
107.85/107.97	c New solution: 65715
107.85/107.97	o 65715
107.85/107.97	c Elapsed CPU time: 107.464 s	Remaining CPU time: 72.5363 s
107.85/107.97	c ===============================================================================
107.85/107.97	c |      6357 |    3799    28973   785394 |     9657     6357    648 | 36.662 % |
108.45/108.53	c ===============================================================================
108.45/108.53	c New solution: 65714
108.45/108.53	o 65714
108.45/108.53	c Elapsed CPU time: 108.025 s	Remaining CPU time: 71.9754 s
108.45/108.53	c ===============================================================================
108.45/108.53	c |      6359 |    3799    28974   787487 |     9658     6359    648 | 36.662 % |
109.05/109.17	c ===============================================================================
109.05/109.17	c New solution: 65713
109.05/109.17	o 65713
109.05/109.17	c Elapsed CPU time: 108.659 s	Remaining CPU time: 71.3405 s
109.05/109.17	c ===============================================================================
109.05/109.17	c |      6365 |    3799    28975   789580 |     9658     6365    648 | 36.662 % |
109.35/109.49	c ===============================================================================
109.35/109.49	c New solution: 65697
109.35/109.49	o 65697
109.35/109.49	c Elapsed CPU time: 108.976 s	Remaining CPU time: 71.0236 s
109.35/109.49	c ===============================================================================
109.35/109.49	c |      6366 |    3799    28976   791673 |     9658     6366    648 | 36.662 % |
109.65/109.79	c ===============================================================================
109.65/109.79	c New solution: 65696
109.65/109.79	o 65696
109.65/109.79	c Elapsed CPU time: 109.273 s	Remaining CPU time: 70.7266 s
109.65/109.79	c ===============================================================================
109.65/109.79	c |      6368 |    3799    28977   793766 |     9659     6368    648 | 36.662 % |
111.05/111.12	c |      6468 |    3799    28977   793766 |    10624     6468    649 | 36.662 % |
111.35/111.43	c ===============================================================================
111.35/111.43	c New solution: 65695
111.35/111.43	o 65695
111.35/111.43	c Elapsed CPU time: 110.913 s	Remaining CPU time: 69.0869 s
111.35/111.43	c ===============================================================================
111.35/111.43	c |      6473 |    3799    28978   795859 |     9659     6473    649 | 36.662 % |
114.05/114.10	c |      6574 |    3799    28978   795859 |    10625     6574    650 | 36.662 % |
114.35/114.48	c ===============================================================================
114.35/114.48	c New solution: 65694
114.35/114.48	o 65694
114.35/114.48	c Elapsed CPU time: 113.957 s	Remaining CPU time: 66.0433 s
114.35/114.48	c ===============================================================================
114.35/114.48	c |      6583 |    3799    28979   797952 |     9659     6583    650 | 36.662 % |
117.65/117.76	c |      6683 |    3799    28979   797952 |    10625     6683    650 | 36.662 % |
118.54/118.64	c ===============================================================================
118.54/118.64	c New solution: 65693
118.54/118.64	o 65693
118.54/118.64	c Elapsed CPU time: 118.109 s	Remaining CPU time: 61.891 s
118.54/118.64	c ===============================================================================
118.54/118.64	c |      6737 |    3799    28980   800045 |     9660     6737    650 | 36.662 % |
119.15/119.29	c ===============================================================================
119.15/119.29	c New solution: 65692
119.15/119.29	o 65692
119.15/119.29	c Elapsed CPU time: 118.759 s	Remaining CPU time: 61.2411 s
119.15/119.29	c ===============================================================================
119.15/119.29	c |      6757 |    3799    28981   802138 |     9660     6757    650 | 36.662 % |
120.25/120.35	c |      6857 |    3799    28981   802138 |    10626     6857    650 | 36.662 % |
120.75/120.83	c ===============================================================================
120.75/120.83	c New solution: 65691
120.75/120.83	o 65691
120.75/120.83	c Elapsed CPU time: 120.293 s	Remaining CPU time: 59.7073 s
120.75/120.83	c ===============================================================================
120.75/120.83	c |      6858 |    3799    28982   804231 |     9660     6858    650 | 36.662 % |
121.15/121.28	c ===============================================================================
121.15/121.28	c New solution: 65690
121.15/121.28	o 65690
121.15/121.28	c Elapsed CPU time: 120.739 s	Remaining CPU time: 59.2614 s
121.15/121.28	c ===============================================================================
121.15/121.28	c |      6858 |    3799    28983   806324 |     9661     6858    650 | 36.662 % |
121.95/122.04	c ===============================================================================
121.95/122.04	c New solution: 65689
121.95/122.04	o 65689
121.95/122.04	c Elapsed CPU time: 121.501 s	Remaining CPU time: 58.4995 s
121.95/122.04	c ===============================================================================
121.95/122.04	c |      6859 |    3799    28984   808417 |     9661     6859    650 | 36.662 % |
122.85/122.99	c ===============================================================================
122.85/122.99	c New solution: 65688
122.85/122.99	o 65688
122.85/122.99	c Elapsed CPU time: 122.45 s	Remaining CPU time: 57.5496 s
122.85/122.99	c ===============================================================================
122.85/122.99	c |      6878 |    3799    28985   810510 |     9661     6878    650 | 36.662 % |
124.75/124.88	c |      6978 |    3799    28985   810510 |    10627     6978    650 | 36.662 % |
127.35/127.43	c |      7128 |    3799    28985   810510 |    11690     7128    651 | 36.662 % |
127.85/127.93	c ===============================================================================
127.85/127.93	c New solution: 65687
127.85/127.93	o 65687
127.85/127.93	c Elapsed CPU time: 127.389 s	Remaining CPU time: 52.6114 s
127.85/127.93	c ===============================================================================
127.85/127.93	c |      7147 |    3799    28986   812603 |     9662     7147    651 | 36.662 % |
128.15/128.22	c ===============================================================================
128.15/128.22	c New solution: 64106
128.15/128.22	o 64106
128.15/128.22	c Elapsed CPU time: 127.673 s	Remaining CPU time: 52.3274 s
128.15/128.22	c ===============================================================================
128.15/128.22	c |      7158 |    3799    28987   814696 |     9662     7158    651 | 36.662 % |
128.45/128.58	c ===============================================================================
128.45/128.58	c New solution: 64080
128.45/128.58	o 64080
128.45/128.58	c Elapsed CPU time: 128.036 s	Remaining CPU time: 51.9645 s
128.45/128.58	c ===============================================================================
128.45/128.58	c |      7188 |    3799    28988   816789 |     9662     7188    651 | 36.662 % |
129.14/129.25	c ===============================================================================
129.14/129.25	c New solution: 64070
129.14/129.25	o 64070
129.14/129.25	c Elapsed CPU time: 128.704 s	Remaining CPU time: 51.2956 s
129.14/129.25	c ===============================================================================
129.14/129.25	c |      7192 |    3799    28989   818882 |     9663     7192    651 | 36.662 % |
129.65/129.77	c ===============================================================================
129.65/129.77	c New solution: 64069
129.65/129.77	o 64069
129.65/129.77	c Elapsed CPU time: 129.226 s	Remaining CPU time: 50.7736 s
129.65/129.77	c ===============================================================================
129.65/129.77	c |      7193 |    3799    28990   820975 |     9663     7193    651 | 36.662 % |
129.94/130.08	c ===============================================================================
129.94/130.08	c New solution: 64068
129.94/130.08	o 64068
129.94/130.08	c Elapsed CPU time: 129.53 s	Remaining CPU time: 50.4697 s
129.94/130.08	c ===============================================================================
129.94/130.08	c |      7193 |    3799    28991   823068 |     9663     7193    651 | 36.662 % |
130.94/131.01	c ===============================================================================
130.94/131.01	c New solution: 64067
130.94/131.01	o 64067
130.94/131.01	c Elapsed CPU time: 130.464 s	Remaining CPU time: 49.5358 s
130.94/131.01	c ===============================================================================
130.94/131.01	c |      7231 |    3799    28992   825161 |     9664     7231    652 | 36.662 % |
131.24/131.39	c ===============================================================================
131.24/131.39	c New solution: 64062
131.24/131.39	o 64062
131.24/131.39	c Elapsed CPU time: 130.842 s	Remaining CPU time: 49.1579 s
131.24/131.39	c ===============================================================================
131.24/131.39	c |      7231 |    3799    28993   827254 |     9664     7231    652 | 36.662 % |
131.65/131.75	c ===============================================================================
131.65/131.75	c New solution: 64060
131.65/131.75	o 64060
131.65/131.75	c Elapsed CPU time: 131.192 s	Remaining CPU time: 48.8079 s
131.65/131.75	c ===============================================================================
131.65/131.75	c |      7231 |    3799    28994   829347 |     9664     7231    652 | 36.662 % |
132.04/132.11	c ===============================================================================
132.04/132.11	c New solution: 64057
132.04/132.11	o 64057
132.04/132.11	c Elapsed CPU time: 131.555 s	Remaining CPU time: 48.445 s
132.04/132.11	c ===============================================================================
132.04/132.11	c |      7231 |    3799    28995   831440 |     9665     7231    652 | 36.662 % |
132.34/132.47	c ===============================================================================
132.34/132.47	c New solution: 64054
132.34/132.47	o 64054
132.34/132.47	c Elapsed CPU time: 131.909 s	Remaining CPU time: 48.0911 s
132.34/132.47	c ===============================================================================
132.34/132.47	c |      7231 |    3799    28996   833533 |     9665     7231    652 | 36.662 % |
132.75/132.82	c ===============================================================================
132.75/132.82	c New solution: 64053
132.75/132.82	o 64053
132.75/132.82	c Elapsed CPU time: 132.262 s	Remaining CPU time: 47.7381 s
132.75/132.82	c ===============================================================================
132.75/132.82	c |      7231 |    3799    28997   835626 |     9665     7231    652 | 36.662 % |
133.06/133.16	c ===============================================================================
133.06/133.16	c New solution: 64052
133.06/133.16	o 64052
133.06/133.16	c Elapsed CPU time: 132.601 s	Remaining CPU time: 47.3992 s
133.06/133.16	c ===============================================================================
133.06/133.16	c |      7231 |    3799    28998   837719 |     9666     7231    652 | 36.662 % |
133.45/133.51	c ===============================================================================
133.45/133.51	c New solution: 64051
133.45/133.51	o 64051
133.45/133.51	c Elapsed CPU time: 132.948 s	Remaining CPU time: 47.0522 s
133.45/133.51	c ===============================================================================
133.45/133.51	c |      7231 |    3799    28999   839812 |     9666     7231    652 | 36.662 % |
133.75/133.85	c ===============================================================================
133.75/133.85	c New solution: 64050
133.75/133.85	o 64050
133.75/133.85	c Elapsed CPU time: 133.288 s	Remaining CPU time: 46.7123 s
133.75/133.85	c ===============================================================================
133.75/133.85	c |      7231 |    3799    29000   841905 |     9666     7231    652 | 36.662 % |
134.05/134.15	c ===============================================================================
134.05/134.15	c New solution: 64049
134.05/134.15	o 64049
134.05/134.15	c Elapsed CPU time: 133.587 s	Remaining CPU time: 46.4133 s
134.05/134.15	c ===============================================================================
134.05/134.15	c |      7235 |    3799    29001   843998 |     9667     7235    652 | 36.662 % |
134.64/134.78	c ===============================================================================
134.64/134.78	c New solution: 64048
134.64/134.78	o 64048
134.64/134.78	c Elapsed CPU time: 134.218 s	Remaining CPU time: 45.7824 s
134.64/134.78	c ===============================================================================
134.64/134.78	c |      7235 |    3799    29002   846091 |     9667     7235    652 | 36.662 % |
135.44/135.51	c ===============================================================================
135.44/135.51	c New solution: 64047
135.44/135.51	o 64047
135.44/135.51	c Elapsed CPU time: 134.943 s	Remaining CPU time: 45.0565 s
135.44/135.51	c ===============================================================================
135.44/135.51	c |      7235 |    3799    29003   848184 |     9667     7235    652 | 36.662 % |
136.04/136.14	c ===============================================================================
136.04/136.14	c New solution: 64046
136.04/136.14	o 64046
136.04/136.14	c Elapsed CPU time: 135.574 s	Remaining CPU time: 44.4256 s
136.04/136.14	c ===============================================================================
136.04/136.14	c |      7236 |    3799    29004   850277 |     9668     7236    652 | 36.662 % |
136.25/136.40	c ===============================================================================
136.25/136.40	c New solution: 64045
136.25/136.40	o 64045
136.25/136.40	c Elapsed CPU time: 135.829 s	Remaining CPU time: 44.1706 s
136.25/136.40	c ===============================================================================
136.25/136.40	c |      7238 |    3799    29005   852370 |     9668     7238    652 | 36.662 % |
136.64/136.70	c ===============================================================================
136.64/136.70	c New solution: 64044
136.64/136.70	o 64044
136.64/136.70	c Elapsed CPU time: 136.135 s	Remaining CPU time: 43.8647 s
136.64/136.70	c ===============================================================================
136.64/136.70	c |      7242 |    3799    29006   854463 |     9668     7242    652 | 36.662 % |
136.84/136.97	c ===============================================================================
136.84/136.97	c New solution: 64043
136.84/136.97	o 64043
136.84/136.97	c Elapsed CPU time: 136.4 s	Remaining CPU time: 43.5997 s
136.84/136.97	c ===============================================================================
136.84/136.97	c |      7242 |    3799    29007   856556 |     9669     7242    652 | 36.662 % |
137.14/137.22	c ===============================================================================
137.14/137.22	c New solution: 64042
137.14/137.22	o 64042
137.14/137.22	c Elapsed CPU time: 136.646 s	Remaining CPU time: 43.3538 s
137.14/137.22	c ===============================================================================
137.14/137.22	c |      7243 |    3799    29008   858649 |     9669     7243    652 | 36.662 % |
137.35/137.46	c ===============================================================================
137.35/137.46	c New solution: 64041
137.35/137.46	o 64041
137.35/137.46	c Elapsed CPU time: 136.893 s	Remaining CPU time: 43.1068 s
137.35/137.46	c ===============================================================================
137.35/137.46	c |      7243 |    3799    29009   860742 |     9669     7243    652 | 36.662 % |
137.64/137.70	c ===============================================================================
137.64/137.70	c New solution: 64040
137.64/137.70	o 64040
137.64/137.70	c Elapsed CPU time: 137.125 s	Remaining CPU time: 42.8748 s
137.64/137.70	c ===============================================================================
137.64/137.70	c |      7247 |    3799    29010   862835 |     9670     7247    652 | 36.662 % |
139.15/139.25	c |      7348 |    3799    29010   862835 |    10637     7348    652 | 36.662 % |
139.85/139.90	c ===============================================================================
139.85/139.90	c New solution: 64039
139.85/139.90	o 64039
139.85/139.90	c Elapsed CPU time: 139.328 s	Remaining CPU time: 40.6722 s
139.85/139.90	c ===============================================================================
139.85/139.90	c |      7348 |    3799    29011   864928 |     9670     7348    652 | 36.662 % |
140.45/140.55	c ===============================================================================
140.45/140.55	c New solution: 64038
140.45/140.55	o 64038
140.45/140.55	c Elapsed CPU time: 139.974 s	Remaining CPU time: 40.0263 s
140.45/140.55	c ===============================================================================
140.45/140.55	c |      7348 |    3799    29012   867021 |     9670     7348    652 | 36.662 % |
141.14/141.20	c ===============================================================================
141.14/141.20	c New solution: 64037
141.14/141.20	o 64037
141.14/141.20	c Elapsed CPU time: 140.62 s	Remaining CPU time: 39.3804 s
141.14/141.20	c ===============================================================================
141.14/141.20	c |      7348 |    3799    29013   869114 |     9671     7348    652 | 36.662 % |
141.75/141.84	c ===============================================================================
141.75/141.84	c New solution: 64036
141.75/141.84	o 64036
141.75/141.84	c Elapsed CPU time: 141.264 s	Remaining CPU time: 38.7365 s
141.75/141.84	c ===============================================================================
141.75/141.84	c |      7348 |    3799    29014   871207 |     9671     7348    652 | 36.662 % |
142.34/142.48	c ===============================================================================
142.34/142.48	c New solution: 64035
142.34/142.48	o 64035
142.34/142.48	c Elapsed CPU time: 141.901 s	Remaining CPU time: 38.0986 s
142.34/142.48	c ===============================================================================
142.34/142.48	c |      7348 |    3799    29015   873300 |     9671     7348    652 | 36.662 % |
143.04/143.10	c ===============================================================================
143.04/143.10	c New solution: 64034
143.04/143.10	o 64034
143.04/143.10	c Elapsed CPU time: 142.521 s	Remaining CPU time: 37.4787 s
143.04/143.10	c ===============================================================================
143.04/143.10	c |      7348 |    3799    29016   875393 |     9672     7348    652 | 36.662 % |
143.64/143.74	c ===============================================================================
143.64/143.74	c New solution: 64033
143.64/143.74	o 64033
143.64/143.74	c Elapsed CPU time: 143.161 s	Remaining CPU time: 36.8388 s
143.64/143.74	c ===============================================================================
143.64/143.74	c |      7348 |    3799    29017   877486 |     9672     7348    652 | 36.662 % |
144.34/144.40	c ===============================================================================
144.34/144.40	c New solution: 64032
144.34/144.40	o 64032
144.34/144.40	c Elapsed CPU time: 143.824 s	Remaining CPU time: 36.1759 s
144.34/144.40	c ===============================================================================
144.34/144.40	c |      7351 |    3799    29018   879579 |     9672     7351    652 | 36.662 % |
145.74/145.89	c |      7452 |    3799    29018   879579 |    10639     7452    653 | 36.662 % |
146.84/146.93	c |      7602 |    3799    29018   879579 |    11703     7602    653 | 36.662 % |
147.54/147.66	c ===============================================================================
147.54/147.66	c New solution: 64031
147.54/147.66	o 64031
147.54/147.66	c Elapsed CPU time: 147.079 s	Remaining CPU time: 32.9214 s
147.54/147.66	c ===============================================================================
147.54/147.66	c |      7608 |    3799    29019   881672 |     9673     7608    653 | 36.662 % |
148.94/149.05	c |      7708 |    3799    29019   881672 |    10640     7708    653 | 36.662 % |
149.64/149.78	c ===============================================================================
149.64/149.78	c New solution: 64030
149.64/149.78	o 64030
149.64/149.78	c Elapsed CPU time: 149.192 s	Remaining CPU time: 30.8077 s
149.64/149.78	c ===============================================================================
149.64/149.78	c |      7709 |    3799    29020   883765 |     9673     7709    653 | 36.662 % |
150.44/150.50	c ===============================================================================
150.44/150.50	c New solution: 64029
150.44/150.50	o 64029
150.44/150.50	c Elapsed CPU time: 149.917 s	Remaining CPU time: 30.0828 s
150.44/150.50	c ===============================================================================
150.44/150.50	c |      7710 |    3799    29021   885858 |     9673     7710    653 | 36.662 % |
152.24/152.32	c |      7810 |    3799    29021   885858 |    10641     7810    654 | 36.662 % |
152.54/152.69	c ===============================================================================
152.54/152.69	c New solution: 64028
152.54/152.69	o 64028
152.54/152.69	c Elapsed CPU time: 152.1 s	Remaining CPU time: 27.9001 s
152.54/152.69	c ===============================================================================
152.54/152.69	c |      7810 |    3799    29022   887951 |     9674     7810    654 | 36.662 % |
153.14/153.24	c ===============================================================================
153.14/153.24	c New solution: 64027
153.14/153.24	o 64027
153.14/153.24	c Elapsed CPU time: 152.651 s	Remaining CPU time: 27.3492 s
153.14/153.24	c ===============================================================================
153.14/153.24	c |      7836 |    3799    29023   890044 |     9674     7836    654 | 36.662 % |
154.94/155.02	c |      7937 |    3799    29023   890044 |    10641     7937    654 | 36.662 % |
157.34/157.40	c |      8087 |    3799    29023   890044 |    11705     8087    655 | 36.663 % |
162.93/163.06	c |      8313 |    3799    29023   890044 |    12876     8313    656 | 36.662 % |
163.24/163.31	c ===============================================================================
163.24/163.31	c New solution: 64026
163.24/163.31	o 64026
163.24/163.31	c Elapsed CPU time: 162.702 s	Remaining CPU time: 17.2977 s
163.24/163.31	c ===============================================================================
163.24/163.31	c |      8325 |    3799    29024   892137 |     9674     8325    656 | 36.662 % |
163.54/163.70	c ===============================================================================
163.54/163.70	c New solution: 64025
163.54/163.70	o 64025
163.54/163.70	c Elapsed CPU time: 163.084 s	Remaining CPU time: 16.9158 s
163.54/163.70	c ===============================================================================
163.54/163.70	c |      8334 |    3799    29025   894230 |     9675     8334    656 | 36.662 % |
164.04/164.20	c ===============================================================================
164.04/164.20	c New solution: 64024
164.04/164.20	o 64024
164.04/164.20	c Elapsed CPU time: 163.584 s	Remaining CPU time: 16.4159 s
164.04/164.20	c ===============================================================================
164.04/164.20	c |      8363 |    3799    29026   896323 |     9675     8363    656 | 36.662 % |
165.74/165.81	c |      8464 |    3799    29026   896323 |    10642     8464    657 | 36.662 % |
168.04/168.11	c |      8615 |    3799    29026   896323 |    11707     8615    658 | 36.662 % |
168.43/168.56	c ===============================================================================
168.43/168.56	c New solution: 64023
168.43/168.56	o 64023
168.43/168.56	c Elapsed CPU time: 167.94 s	Remaining CPU time: 12.0595 s
168.43/168.56	c ===============================================================================
168.43/168.56	c |      8628 |    3799    29027   898416 |     9675     8628    658 | 36.662 % |
169.03/169.18	c ===============================================================================
169.03/169.18	c New solution: 64022
169.03/169.18	o 64022
169.03/169.18	c Elapsed CPU time: 168.558 s	Remaining CPU time: 11.4416 s
169.03/169.18	c ===============================================================================
169.03/169.18	c |      8628 |    3799    29028   900509 |     9676     8628    658 | 36.662 % |
169.73/169.80	c ===============================================================================
169.73/169.80	c New solution: 64021
169.73/169.80	o 64021
169.73/169.80	c Elapsed CPU time: 169.177 s	Remaining CPU time: 10.8227 s
169.73/169.80	c ===============================================================================
169.73/169.80	c |      8628 |    3799    29029   902602 |     9676     8628    658 | 36.662 % |
170.34/170.41	c ===============================================================================
170.34/170.41	c New solution: 64020
170.34/170.41	o 64020
170.34/170.41	c Elapsed CPU time: 169.794 s	Remaining CPU time: 10.2058 s
170.34/170.41	c ===============================================================================
170.34/170.41	c |      8628 |    3799    29030   904695 |     9676     8628    658 | 36.662 % |
170.93/171.02	c ===============================================================================
170.93/171.02	c New solution: 64019
170.93/171.02	o 64019
170.93/171.02	c Elapsed CPU time: 170.404 s	Remaining CPU time: 9.59591 s
170.93/171.02	c ===============================================================================
170.93/171.02	c |      8628 |    3799    29031   906788 |     9677     8628    658 | 36.662 % |
171.54/171.63	c ===============================================================================
171.54/171.63	c New solution: 64018
171.54/171.63	o 64018
171.54/171.63	c Elapsed CPU time: 171.011 s	Remaining CPU time: 8.989 s
171.54/171.63	c ===============================================================================
171.54/171.63	c |      8628 |    3799    29032   908881 |     9677     8628    658 | 36.662 % |
172.14/172.24	c ===============================================================================
172.14/172.24	c New solution: 64017
172.14/172.24	o 64017
172.14/172.24	c Elapsed CPU time: 171.618 s	Remaining CPU time: 8.38209 s
172.14/172.24	c ===============================================================================
172.14/172.24	c |      8628 |    3799    29033   910974 |     9677     8628    658 | 36.662 % |
172.55/172.66	c ===============================================================================
172.55/172.66	c New solution: 64016
172.55/172.66	o 64016
172.55/172.66	c Elapsed CPU time: 172.042 s	Remaining CPU time: 7.95816 s
172.55/172.66	c ===============================================================================
172.55/172.66	c |      8642 |    3799    29034   913067 |     9678     8642    658 | 36.662 % |
173.04/173.11	c ===============================================================================
173.04/173.11	c New solution: 62442
173.04/173.11	o 62442
173.04/173.11	c Elapsed CPU time: 172.483 s	Remaining CPU time: 7.51722 s
173.04/173.11	c ===============================================================================
173.04/173.11	c |      8643 |    3799    29035   915160 |     9678     8643    658 | 36.662 % |
173.44/173.57	c ===============================================================================
173.44/173.57	c New solution: 62432
173.44/173.57	o 62432
173.44/173.57	c Elapsed CPU time: 172.952 s	Remaining CPU time: 7.04829 s
173.44/173.57	c ===============================================================================
173.44/173.57	c |      8644 |    3799    29036   917253 |     9678     8644    658 | 36.662 % |
173.94/174.04	c ===============================================================================
173.94/174.04	c New solution: 62431
173.94/174.04	o 62431
173.94/174.04	c Elapsed CPU time: 173.414 s	Remaining CPU time: 6.58636 s
173.94/174.04	c ===============================================================================
173.94/174.04	c |      8644 |    3799    29037   919346 |     9679     8644    658 | 36.662 % |
174.44/174.50	c ===============================================================================
174.44/174.50	c New solution: 62428
174.44/174.50	o 62428
174.44/174.50	c Elapsed CPU time: 173.873 s	Remaining CPU time: 6.12743 s
174.44/174.50	c ===============================================================================
174.44/174.50	c |      8644 |    3799    29038   921439 |     9679     8644    658 | 36.662 % |
174.84/174.95	c ===============================================================================
174.84/174.95	c New solution: 62427
174.84/174.95	o 62427
174.84/174.95	c Elapsed CPU time: 174.323 s	Remaining CPU time: 5.6765 s
174.84/174.95	c ===============================================================================
174.84/174.95	c |      8644 |    3799    29039   923532 |     9679     8644    658 | 36.662 % |
175.33/175.41	c ===============================================================================
175.33/175.41	c New solution: 62426
175.33/175.41	o 62426
175.33/175.41	c Elapsed CPU time: 174.774 s	Remaining CPU time: 5.22557 s
175.33/175.41	c ===============================================================================
175.33/175.41	c |      8644 |    3799    29040   925625 |     9680     8644    658 | 36.662 % |
175.73/175.85	c ===============================================================================
175.73/175.85	c New solution: 62425
175.73/175.85	o 62425
175.73/175.85	c Elapsed CPU time: 175.212 s	Remaining CPU time: 4.78764 s
175.73/175.85	c ===============================================================================
175.73/175.85	c |      8644 |    3799    29041   927718 |     9680     8644    658 | 36.662 % |
176.14/176.23	c ===============================================================================
176.14/176.23	c New solution: 62424
176.14/176.23	o 62424
176.14/176.23	c Elapsed CPU time: 175.597 s	Remaining CPU time: 4.40269 s
176.14/176.23	c ===============================================================================
176.14/176.23	c |      8647 |    3799    29042   929811 |     9680     8647    658 | 36.662 % |
176.94/177.04	c ===============================================================================
176.94/177.04	c New solution: 62394
176.94/177.04	o 62394
176.94/177.04	c Elapsed CPU time: 176.409 s	Remaining CPU time: 3.59082 s
176.94/177.04	c ===============================================================================
176.94/177.04	c |      8647 |    3799    29043   931904 |     9681     8647    658 | 36.662 % |
177.74/177.85	c ===============================================================================
177.74/177.85	c New solution: 62393
177.74/177.85	o 62393
177.74/177.85	c Elapsed CPU time: 177.216 s	Remaining CPU time: 2.78394 s
177.74/177.85	c ===============================================================================
177.74/177.85	c |      8647 |    3799    29044   933997 |     9681     8647    658 | 36.662 % |
178.34/178.44	c ===============================================================================
178.34/178.44	c New solution: 62392
178.34/178.44	o 62392
178.34/178.44	c Elapsed CPU time: 177.809 s	Remaining CPU time: 2.19103 s
178.34/178.44	c ===============================================================================
178.34/178.44	c |      8649 |    3799    29045   936090 |     9681     8649    658 | 36.662 % |
179.14/179.29	c ===============================================================================
179.14/179.29	c New solution: 62391
179.14/179.29	o 62391
179.14/179.29	c Elapsed CPU time: 178.656 s	Remaining CPU time: 1.34416 s
179.14/179.29	c ===============================================================================
179.14/179.29	c |      8655 |    3799    29046   938183 |     9682     8655    658 | 36.662 % |
180.13/180.27	c ===============================================================================
180.13/180.27	c New solution: 62390
180.13/180.27	o 62390
180.13/180.27	c Elapsed CPU time: 179.635 s	Remaining CPU time: 0.365309 s
180.13/180.27	c ===============================================================================
180.13/180.27	c |      8700 |    3799    29047   940276 |     9682     8700    658 | 36.662 % |
180.53/180.66	c There are 2199 assigned variables. 478 in cost function.
184.93/185.05	c core #1
184.93/185.05	c core #2
184.93/185.05	c core #3
184.93/185.05	c core #4
184.93/185.05	c core #5
184.93/185.05	c core #6
184.93/185.05	c core #7
184.93/185.05	c core #8
184.93/185.05	c core #9
184.93/185.05	c core #10
184.93/185.05	c core #11
184.93/185.05	c core #12
184.93/185.05	c core #13
184.93/185.05	c core #14
184.93/185.05	c core #15
184.93/185.05	c core #16
184.93/185.05	c core #17
184.93/185.05	c core #18
184.93/185.05	c core #19
184.93/185.05	c core #20
184.93/185.05	c core #21
184.93/185.05	c core #22
184.93/185.05	c core #23
184.93/185.05	c core #24
184.93/185.05	c core #25
184.93/185.05	c core #26
184.93/185.05	c core #27
184.93/185.05	c core #28
184.93/185.05	c core #29
184.93/185.05	c core #30
184.93/185.05	c core #31
184.93/185.05	c core #32
184.93/185.05	c core #33
184.93/185.05	c core #34
184.93/185.05	c core #35
184.93/185.05	c core #36
184.93/185.05	c core #37
184.93/185.05	c core #38
184.93/185.05	c core #39
184.93/185.05	c core #40
184.93/185.05	c core #41
184.93/185.05	c core #42
184.93/185.05	c core #43
184.93/185.05	c core #44
184.93/185.05	c core #45
184.93/185.05	c core #46
184.93/185.05	c core #47
184.93/185.05	c core #48
184.93/185.05	c core #49
184.93/185.05	c core #50
184.93/185.05	c core #51
184.93/185.05	c core #52
184.93/185.05	c core #53
184.93/185.05	c core #54
184.93/185.05	c core #55
184.93/185.05	c core #56
184.93/185.05	c core #57
184.93/185.05	c core #58
184.93/185.05	c core #59
184.93/185.05	c core #60
184.93/185.05	c core #61
184.93/185.05	c core #62
184.93/185.05	c core #63
184.93/185.05	c core #64
184.93/185.05	c core #65
184.93/185.05	c core #66
184.93/185.05	c core #67
184.93/185.05	c core #68
184.93/185.05	c core #69
184.93/185.05	c core #70
184.93/185.05	c ============================[ Search Statistics ]==============================
184.93/185.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.93/185.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.93/185.05	c ===============================================================================
184.93/185.05	c |         0 |     996    17432    13536 |     5810        0    nan |  0.000 % |
184.93/185.06	c ===============================================================================
184.93/185.08	c #cores: 70
184.93/185.08	c Final Weight: 8730
184.93/185.08	o 8730
184.93/185.08	s OPTIMUM FOUND
184.93/185.08	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 x4358 x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 x4372 -x4373 -x4374 -x4375 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 x4459 -x4460 -x4461 x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 x4483 x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 x4589 x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 x4634 x4635 -x4636 x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 x4644 x4645 x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 x4728 -x4729 x4730 -x4731 -x4732 x4733 x4734 x4735 x4736 -x4737 x4738 -x4739 -x4740 -x4741 x4742 x4743 x4744 x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 x4765 x4766 x4767 x4768 -x4769 -x4770 x4771 -x4772 -x4773 x4774 -x4775 -x4776 x4777 x4778 x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 x4793 x4794 x4795 x4796 x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 x4853 -x4854 x4855 x4856 x4857 x4858 -x4859 x4860 x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 x4875 -x4876 -x4877 x4878 x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x4902 x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4933 -x4934 -x4935 x4936 x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 x4944 -x4945 -x4946 -x4947 x4948 -x4949 x4950 x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 x4969 x4970 x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 x4982 x4983 x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 x4992 x4993 x4994 x4995 -x4996 x4997 x4998 x4999 -x5000 -x5001 x5002 x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 x5012 x5013 x5014 -x5015 -x5016 x5017 x5018 x5019 x5020 x5021 x5022 x5023 -x5024 x5025 x5026 -x5027 x5028 x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 x5036 x5037 -x5038 x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 x5047 x5048 x5049 x5050 x5051 -x5052 x5053 -x5054 x5055 -x5056 x5057 x5058 -x5059 x5060 x5061 -x5062 -x5063 -x5064 -x5065 x5066 -x5067 x5068 -x5069 -x5070 x5071 x5072 x5073 x5074 -x5075 -x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 x5091 -x5092 -x5093 -x5094 x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 x5140 x5141 -x5142 -x5143 x5144 -x5145 -x5146 x5147 -x5148 -x5149 x5150 -x5151 x5152 -x5153 x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 x5163 -x5164 -x5165 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 x5198 x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 x5208 x5209 -x5210 x5211 -x5212 x5213 -x5214 x5215 -x5216 x5217 x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 x5235 x5236 x5237 x5238 x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 x5279 -x5280 x5281 -x5282 x5283 x5284 x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 x5292 x5293 -x5294 -x5295 x5296 -x5297 -x5298 -x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 x5309 x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 x5317 -x5318 -x5319 x5320 x5321 -x5322 x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 x5377 x5378 x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 x5414 -x5415 x5416 x5417 x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 x5430 x5431 -x5432 -x5433 x5434 x5435 x5436 -x5437 x5438 -x5439 -x5440 x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 x5454 x5455 -x5456 x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5499 -x5500 -x5501 x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 x5511 -x5512 -x5513 x5514 -x5515 x5516 x5517 -x5518 x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 x5529 -x5530 -x5531 -x5532 -x5533 x5534 -x5535 -x5536 x5537 -x5538 -x5539 x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 x5552 -x5553 x5554 x5555 x5556 x5557 -x5558 -x5559 -x5560 x5561 x5562 x5563 -x5564 x5565 -x5566 -x5567 -x5568 x5569 -x5570 x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 x5579 x5580 -x5581 x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 -x5624 x5625 x5626 -x5627 x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 x5677 x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 x5688 x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 x5746 -x5747 -x5748 -x5749 x5750 -x5751 x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758 x5759 -x5760 x5761 -x5762 x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 x5774 x5775 x5776 -x5777 x5778 x5779 -x5780 x5781 x5782 -x5783 x5784 x5785 x5786 x5787 x5788 x5789 x5790 x5791 x5792 x5793 x5794 x5795 x5796 -x5797 -x5798 -x5799 -x5800 x5801 x5802 x5803 -x5804 -x5805 x5806 x5807 x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 x5873 x5874 x5875 -x5876 -x5877 -x5878 x5879 -x5880 x5881 x5882 x5883 x5884 x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 x5897 x5898 -x5899 x5900 x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 x5917 x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 x5941 -x5942 -x5943 -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 x5957 x5958 x5959 x5960 -x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 x5976 x5977 x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 x5996 x5997 x5998 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 x2187 -x2186 -x2188 -x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 x2213 -x2214 x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 x2229 x2230 -x2231 -x2232 x2233 -x2234 -x2235 x2236 x2237 -x2238 x2239 -x2240 x2241 -x2242 x2243 -x2244 x2245 -x2246 x2247 -x2248 x2249 -x2250 x2251 -x2252 -x2253 x2254 -x2255 x2256 x2257 x2258 x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 x2272 -x2273 x2274 -x2275 x2276 x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 x2284 -x2285 x2286 -x2287 x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 -x2312 x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 x2330 -x2331 x2332 -x2333 x2334 x2335 -x2336 x2337 x2338 -x2339 -x2340 x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 x2445 x2446 -x2447 -x2448 -x2449 x2450 -x2451 x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 x2464 x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 x2474 -x2475 x2476 x2477 -x2478 -x2479 x2480 -x2481 -x2482 x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 x2506 -x2507 x2508 x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 x2539 -x2540 -x2541 -x2542 x2543 x2544 x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 x2562 -x2563 -x2564 x2565 -x2566 -x2567 x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 x2578 -x2579 x2580 -x2581 x2582 -x2583 x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623 x2624 -x2625 x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 x2666 x2667 -x2668 x2669 -x2670 -x2671 -x2672 x2673 x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 x2687 -x2688 x2689 x2690 -x2691 x2692 x2693 -x2694 -x2695 x2696 -x2697 x2698 -x2699 x2700 -x2701 x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 x2751 -x2752 -x2753 x2754 x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 x2784 x2785 -x2786 -x2787 -x2788 -x2789 x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 x2812 -x2813 -x2814 x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 x2848 x2849 -x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 x2857 x2858 -x2859 -x2860 -x2861 x2862 x2863 x2864 x2865 -x2866 -x2867 x2868 -x2869 x2870 -x2871 -x2872 x2873 x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 x2882 x2883 x2884 x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 x2924 -x2925 x2926 -x2927 x2928 x2929 -x2930 -x2931 -x2932 x2933 x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 x2943 -x2944 x2945 x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 x2958 x2959 -x2960 -x2961 x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 x2970 x2971 -x2972 -x2973 x2974 x2975 x2976 -x2977 -x2978 x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 -x2994 -x2995 -x2996 x2997 x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 x3005 -x3006 x3007 -x3008 -x3009 x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 x3023 -x3024 -x3025 x3026 -x3027 x3028 x3029 x3030 x3031 -x3032 x3033 -x3034 -x3035 -x3036 x3037 -x3038 x3039 x3040 x3041 x3042 -x3043 x3044 -x3045 x3046 x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 x3059 x3060 -x3061 -x3062 x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 x3071 -x3072 x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 x3097 -x3098 x3099 -x3100 x3101 -x3102 x3103 x3104 x3105 -x3106 -x3107 x3108 -x3109 x3110 -x3111 x3112 -x3113 x3114 -x3115 -x3116 x3117 x3118 x3119 -x3120 x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 x3157 -x3158 -x3159 x3160 x3161 x3162 x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 x3178 -x3179 -x3180 x3181 x3182 -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 x3205 x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 x3215 x3216 -x3217 -x3218 x3219 -x3220 -x3221 x3222 -x3223 -x3224 x3225 -x3226 x3227 x3228 x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -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
184.93/185.08	c Total CPU time: 184.317 s

Verifier Data 

OK	8730

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23086
/proc/meminfo: memFree=1806580/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=3724 CPUtime=0
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 126647299 3813376 288 1992294400 134512640 135751879 4291426192 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 931 288 144 303 0 415 0

[startup+0.0693411 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23086
/proc/meminfo: memFree=1806580/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=4724 CPUtime=0.06
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 711 0 0 0 6 0 0 0 20 0 1 0 126647299 4837376 630 1992294400 134512640 135751879 4291426192 18446744073709551615 135225264 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 1181 631 244 303 0 665 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4724

[startup+0.101342 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23086
/proc/meminfo: memFree=1806580/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=5312 CPUtime=0.1
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 895 0 0 0 10 0 0 0 20 0 1 0 126647299 5439488 814 1992294400 134512640 135751879 4291426192 18446744073709551615 134613639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 1328 814 296 303 0 812 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5312

[startup+0.301358 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23086
/proc/meminfo: memFree=1806580/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=6804 CPUtime=0.29
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 1538 0 0 0 29 0 0 0 20 0 1 0 126647299 6967296 1246 1992294400 134512640 135751879 4291426192 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 1701 1246 146 303 0 1396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6804

[startup+0.701391 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23086
/proc/meminfo: memFree=1806580/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=6936 CPUtime=0.69
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 1567 0 0 0 69 0 0 0 21 0 1 0 126647299 7102464 1275 1992294400 134512640 135751879 4291426192 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 1734 1275 146 303 0 1429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6936

[startup+1.50146 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 23087
/proc/meminfo: memFree=1801984/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=7200 CPUtime=1.49
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 1633 0 0 0 149 0 0 0 23 0 1 0 126647299 7372800 1341 1992294400 134512640 135751879 4291426192 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 1800 1342 146 303 0 1495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7200

[startup+3.10159 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 23087
/proc/meminfo: memFree=1799752/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=9080 CPUtime=3.09
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 2108 0 0 0 301 8 0 0 25 0 1 0 126647299 9297920 1816 1992294400 134512640 135751879 4291426192 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 2270 1816 146 303 0 1965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9080

[startup+6.30085 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 23087
/proc/meminfo: memFree=1798884/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=10904 CPUtime=6.29
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 2578 0 0 0 616 13 0 0 25 0 1 0 126647299 11165696 2286 1992294400 134512640 135751879 4291426192 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 2726 2286 147 303 0 2421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10904

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 23087
/proc/meminfo: memFree=1793676/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=15620 CPUtime=12.69
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 3734 0 0 0 1251 18 0 0 25 0 1 0 126647299 15994880 3442 1992294400 134512640 135751879 4291426192 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 3905 3442 147 303 0 3600 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15620

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 23087
/proc/meminfo: memFree=1786856/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=22244 CPUtime=25.48
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 5393 0 0 0 2525 23 0 0 25 0 1 0 126647299 22777856 5101 1992294400 134512640 135751879 4291426192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 5561 5101 147 303 0 5256 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22244

[startup+51.1005 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 23096
/proc/meminfo: memFree=1778052/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=30856 CPUtime=51.07
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 7561 0 0 0 5076 31 0 0 25 0 1 0 126647299 31596544 7269 1992294400 134512640 135751879 4291426192 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 7714 7269 147 303 0 7409 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30856

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 23098
/proc/meminfo: memFree=1766396/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=42144 CPUtime=102.26
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 10378 0 0 0 10181 45 0 0 25 0 1 0 126647299 43155456 10086 1992294400 134512640 135751879 4291426192 18446744073709551615 134607141 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 10536 10086 147 303 0 10231 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42144

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1757344/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=51128 CPUtime=162.23
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 12623 0 0 0 16168 55 0 0 25 0 1 0 126647299 52355072 12331 1992294400 134512640 135751879 4291426192 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 12782 12331 147 303 0 12477 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 51128

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

[startup+166.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1756600/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=51904 CPUtime=166.24
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 12809 0 0 0 16568 56 0 0 25 0 1 0 126647299 53149696 12517 1992294400 134512640 135751879 4291426192 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 12976 12517 147 303 0 12671 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 51904

[startup+172.708 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1755608/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=52688 CPUtime=172.65
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 13021 0 0 0 17208 57 0 0 25 0 1 0 126647299 53952512 12729 1992294400 134512640 135751879 4291426192 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 13172 12729 147 303 0 12867 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 52688

[startup+179.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1755112/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=53352 CPUtime=179.04
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 13160 0 0 0 17846 58 0 0 25 0 1 0 126647299 54632448 12868 1992294400 134512640 135751879 4291426192 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 13338 12868 147 303 0 13033 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 53352

[startup+182.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1748044/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=87084 CPUtime=182.23
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 21723 0 0 0 18162 61 0 0 25 0 1 0 126647299 89174016 21294 1992294400 134512640 135751879 4291426192 18446744073709551615 134639859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 21771 21297 150 303 0 21466 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 87084

[startup+183.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1662980/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=158048 CPUtime=183.84
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 39474 0 0 0 18317 67 0 0 25 0 1 0 126647299 161841152 39009 1992294400 134512640 135751879 4291426192 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 39512 39011 150 303 0 39207 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 158048

[startup+184.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1617224/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=191416 CPUtime=184.64
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202496 47823 0 0 0 18395 69 0 0 25 0 1 0 126647299 196009984 47358 1992294400 134512640 135751879 4291426192 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23086/statm: 47854 47361 150 303 0 47549 0
Current children cumulated CPU time (s) 184.64
Current children cumulated vsize (KiB) 191416

[startup+185.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23100
/proc/meminfo: memFree=1617224/2059040 swapFree=4135660/4192956
[pid=23086] ppid=23084 vsize=0 CPUtime=185.03
/proc/23086/stat : 23086 (wbo1.4b) R 23084 23086 22398 0 -1 4202500 51706 0 0 0 18431 72 0 0 25 0 1 0 126647299 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/23086/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 185.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 185.107
CPU time (s): 185.049
CPU user time (s): 184.317
CPU system time (s): 0.731888
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 204464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.317
system time used= 0.731888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 2368

runsolver used 0.318951 second user time and 0.921859 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-26 02:00:34
IDJOB=2683538
IDBENCH=72120
IDSOLVER=1161
FILE ID=node003/2683538-1277510433
PBS_JOBID= 11190602
Free space on /tmp= 62392 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand0c02bc.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-2683538-1277510433/watcher-2683538-1277510433 -o /tmp/evaluation-result-2683538-1277510433/solver-2683538-1277510433 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683538-1277510433.opb

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

MD5SUM BENCH= 80d4beb6552975b1ad66516326ec7dfd
RANDOM SEED=716955622

node003.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.251
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.50
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.251
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:       1807108 kB
Buffers:         42776 kB
Cached:         109516 kB
SwapCached:       9732 kB
Active:          86868 kB
Inactive:        78408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1807108 kB
SwapTotal:     4192956 kB
SwapFree:      4135660 kB
Dirty:            3784 kB
Writeback:           8 kB
AnonPages:       11640 kB
Mapped:           8296 kB
Slab:            64700 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183440 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683538-1277510433.opb

Free space on /tmp at the end= 62392 MiB
End job on node003 at 2010-06-26 02:03:39