Trace number 2683549

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.4b (fixed)OPT8730 184.715 184.769

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2683549-1277510491.opb.
0.00/0.00	c Instance file HOME/instance-2683549-1277510491.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.39/2.40	c ============================[ Search Statistics ]==============================
2.39/2.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.40	c ===============================================================================
2.39/2.40	c |         0 |    3799    28624    54937 |     8970        0    nan |  0.000 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 464199
2.39/2.43	o 464199
2.39/2.43	c Elapsed CPU time: 2.42363 s	Remaining CPU time: 177.576 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |        33 |    3799    28625    57028 |     9541       33      3 |  0.000 % |
2.39/2.45	c ===============================================================================
2.39/2.45	c New solution: 422499
2.39/2.45	o 422499
2.39/2.45	c Elapsed CPU time: 2.43163 s	Remaining CPU time: 177.568 s
2.39/2.45	c ===============================================================================
2.39/2.45	c |        43 |    3799    28626    59119 |     9542       43      4 |  0.000 % |
2.39/2.48	c ===============================================================================
2.39/2.48	c New solution: 309116
2.39/2.48	o 309116
2.39/2.48	c Elapsed CPU time: 2.45863 s	Remaining CPU time: 177.541 s
2.39/2.48	c ===============================================================================
2.39/2.48	c |        75 |    3799    28627    61210 |     9542       75      4 |  0.000 % |
2.39/2.49	c ===============================================================================
2.39/2.49	c New solution: 309113
2.39/2.49	o 309113
2.39/2.49	c Elapsed CPU time: 2.47062 s	Remaining CPU time: 177.529 s
2.39/2.49	c ===============================================================================
2.39/2.49	c |        97 |    3799    28628    63301 |     9542       97      4 |  0.000 % |
2.49/2.51	c ===============================================================================
2.49/2.51	c New solution: 265725
2.49/2.51	o 265725
2.49/2.51	c Elapsed CPU time: 2.48362 s	Remaining CPU time: 177.516 s
2.49/2.51	c ===============================================================================
2.49/2.51	c |       104 |    3799    28629    65392 |     9543      104      4 |  0.000 % |
2.49/2.52	c ===============================================================================
2.49/2.52	c New solution: 255765
2.49/2.52	o 255765
2.49/2.52	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 177.503 s
2.49/2.52	c ===============================================================================
2.49/2.52	c |       115 |    3799    28630    67483 |     9543      115     11 |  0.000 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: 175812
2.49/2.59	o 175812
2.49/2.59	c Elapsed CPU time: 2.55561 s	Remaining CPU time: 177.444 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |       203 |    3799    28631    69574 |     9543      203      7 |  0.000 % |
2.59/2.61	c ===============================================================================
2.59/2.61	c New solution: 175805
2.59/2.61	o 175805
2.59/2.61	c Elapsed CPU time: 2.56761 s	Remaining CPU time: 177.432 s
2.59/2.61	c ===============================================================================
2.59/2.61	c |       210 |    3799    28632    71665 |     9544      210      7 |  0.000 % |
2.59/2.62	c ===============================================================================
2.59/2.62	c New solution: 175804
2.59/2.62	o 175804
2.59/2.62	c Elapsed CPU time: 2.57861 s	Remaining CPU time: 177.421 s
2.59/2.62	c ===============================================================================
2.59/2.62	c |       214 |    3799    28633    73756 |     9544      214      7 |  0.000 % |
2.59/2.64	c ===============================================================================
2.59/2.64	c New solution: 175799
2.59/2.64	o 175799
2.59/2.64	c Elapsed CPU time: 2.59161 s	Remaining CPU time: 177.408 s
2.59/2.64	c ===============================================================================
2.59/2.64	c |       219 |    3799    28634    75847 |     9544      219     10 |  0.000 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: 132388
2.59/2.66	o 132388
2.59/2.66	c Elapsed CPU time: 2.6166 s	Remaining CPU time: 177.383 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |       247 |    3799    28635    77938 |     9545      247      9 |  0.000 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 130746
2.59/2.69	o 130746
2.59/2.69	c Elapsed CPU time: 2.6406 s	Remaining CPU time: 177.359 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |       266 |    3799    28636    80029 |     9545      266     14 |  0.000 % |
2.69/2.75	c ===============================================================================
2.69/2.75	c New solution: 130740
2.69/2.75	o 130740
2.69/2.75	c Elapsed CPU time: 2.69159 s	Remaining CPU time: 177.308 s
2.69/2.75	c ===============================================================================
2.69/2.75	c |       308 |    3799    28637    82120 |     9545      308     30 |  0.000 % |
2.69/2.77	c ===============================================================================
2.69/2.77	c New solution: 130736
2.69/2.77	o 130736
2.69/2.77	c Elapsed CPU time: 2.71159 s	Remaining CPU time: 177.288 s
2.69/2.77	c ===============================================================================
2.69/2.77	c |       318 |    3799    28638    84211 |     9546      318     39 |  0.000 % |
2.79/2.82	c ===============================================================================
2.79/2.82	c New solution: 129130
2.79/2.82	o 129130
2.79/2.82	c Elapsed CPU time: 2.75558 s	Remaining CPU time: 177.244 s
2.79/2.82	c ===============================================================================
2.79/2.82	c |       341 |    3799    28639    86302 |     9546      341     38 |  0.000 % |
2.79/2.84	c ===============================================================================
2.79/2.84	c New solution: 125744
2.79/2.84	o 125744
2.79/2.84	c Elapsed CPU time: 2.77058 s	Remaining CPU time: 177.229 s
2.79/2.84	c ===============================================================================
2.79/2.84	c |       348 |    3799    28640    88393 |     9546      348     38 |  0.000 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: 125740
2.79/2.85	o 125740
2.79/2.85	c Elapsed CPU time: 2.78558 s	Remaining CPU time: 177.214 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |       352 |    3799    28641    90484 |     9547      352     39 |  0.000 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: 124141
2.79/2.89	o 124141
2.79/2.89	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 177.183 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |       362 |    3799    28642    92575 |     9547      362     38 |  0.000 % |
2.89/2.90	c ===============================================================================
2.89/2.90	c New solution: 124131
2.89/2.90	o 124131
2.89/2.90	c Elapsed CPU time: 2.83257 s	Remaining CPU time: 177.167 s
2.89/2.90	c ===============================================================================
2.89/2.90	c |       362 |    3799    28643    94666 |     9547      362     38 |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 124130
2.89/2.93	o 124130
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 |       362 |    3799    28644    96757 |     9548      362     38 |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 124129
2.89/2.94	o 124129
2.89/2.94	c Elapsed CPU time: 2.86756 s	Remaining CPU time: 177.132 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |       364 |    3799    28645    98848 |     9548      364     40 |  0.000 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: 124082
2.89/2.98	o 124082
2.89/2.98	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 177.099 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |       373 |    3799    28646   100939 |     9548      373     41 |  0.000 % |
2.99/3.00	c ===============================================================================
2.99/3.00	c New solution: 122478
2.99/3.00	o 122478
2.99/3.00	c Elapsed CPU time: 2.91956 s	Remaining CPU time: 177.08 s
2.99/3.00	c ===============================================================================
2.99/3.00	c |       380 |    3799    28647   103030 |     9549      380     40 |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 122474
2.99/3.01	o 122474
2.99/3.01	c Elapsed CPU time: 2.93355 s	Remaining CPU time: 177.066 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |       380 |    3799    28648   105121 |     9549      380     40 |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: 122472
2.99/3.03	o 122472
2.99/3.03	c Elapsed CPU time: 2.94955 s	Remaining CPU time: 177.05 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |       381 |    3799    28649   107212 |     9549      381     42 |  0.000 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: 122413
2.99/3.05	o 122413
2.99/3.05	c Elapsed CPU time: 2.97555 s	Remaining CPU time: 177.024 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |       386 |    3799    28650   109303 |     9550      386     42 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 122401
2.99/3.07	o 122401
2.99/3.07	c Elapsed CPU time: 2.99354 s	Remaining CPU time: 177.006 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       387 |    3799    28651   111394 |     9550      387     42 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 122400
3.09/3.10	o 122400
3.09/3.10	c Elapsed CPU time: 3.02154 s	Remaining CPU time: 176.978 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |       391 |    3799    28652   113485 |     9550      391     45 |  0.000 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: 120806
3.09/3.12	o 120806
3.09/3.12	c Elapsed CPU time: 3.04454 s	Remaining CPU time: 176.955 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |       396 |    3799    28653   115576 |     9551      396     45 |  0.000 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 120805
3.09/3.14	o 120805
3.09/3.14	c Elapsed CPU time: 3.05953 s	Remaining CPU time: 176.94 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |       397 |    3799    28654   117667 |     9551      397     45 |  0.000 % |
3.09/3.16	c ===============================================================================
3.09/3.16	c New solution: 120801
3.09/3.16	o 120801
3.09/3.16	c Elapsed CPU time: 3.07753 s	Remaining CPU time: 176.922 s
3.09/3.16	c ===============================================================================
3.09/3.16	c |       398 |    3799    28655   119758 |     9551      398     47 |  0.000 % |
3.09/3.19	c ===============================================================================
3.09/3.19	c New solution: 120800
3.09/3.19	o 120800
3.09/3.19	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 176.896 s
3.09/3.19	c ===============================================================================
3.09/3.19	c |       405 |    3799    28656   121849 |     9552      405     48 |  0.000 % |
3.20/3.26	c ===============================================================================
3.20/3.26	c New solution: 120799
3.20/3.26	o 120799
3.20/3.26	c Elapsed CPU time: 3.17552 s	Remaining CPU time: 176.824 s
3.20/3.26	c ===============================================================================
3.20/3.26	c |       425 |    3799    28657   123940 |     9552      425     59 |  0.000 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 120786
3.20/3.28	o 120786
3.20/3.28	c Elapsed CPU time: 3.19451 s	Remaining CPU time: 176.805 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |       427 |    3799    28658   126031 |     9552      427     59 |  0.000 % |
3.20/3.30	c ===============================================================================
3.20/3.30	c New solution: 120785
3.20/3.30	o 120785
3.20/3.30	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 176.788 s
3.20/3.30	c ===============================================================================
3.20/3.30	c |       428 |    3799    28659   128122 |     9553      428     61 |  0.000 % |
3.49/3.51	c ===============================================================================
3.49/3.51	c New solution: 120784
3.49/3.51	o 120784
3.49/3.51	c Elapsed CPU time: 3.42448 s	Remaining CPU time: 176.576 s
3.49/3.51	c ===============================================================================
3.49/3.51	c |       527 |    3799    28660   130213 |     9553      527    187 |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 120783
3.49/3.57	o 120783
3.49/3.57	c Elapsed CPU time: 3.47647 s	Remaining CPU time: 176.524 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       529 |    3799    28661   132304 |     9553      529    186 |  0.000 % |
3.59/3.60	c ===============================================================================
3.59/3.60	c New solution: 120782
3.59/3.60	o 120782
3.59/3.60	c Elapsed CPU time: 3.51347 s	Remaining CPU time: 176.487 s
3.59/3.60	c ===============================================================================
3.59/3.60	c |       531 |    3799    28662   134395 |     9554      531    186 |  0.000 % |
3.69/3.76	c |       633 |    3799    28662   134395 |    10509      633    277 | 36.662 % |
3.69/3.78	c ===============================================================================
3.69/3.78	c New solution: 120748
3.69/3.78	o 120748
3.69/3.78	c Elapsed CPU time: 3.68644 s	Remaining CPU time: 176.314 s
3.69/3.78	c ===============================================================================
3.69/3.78	c |       635 |    3799    28663   136486 |     9554      635    277 | 36.662 % |
3.79/3.81	c ===============================================================================
3.79/3.81	c New solution: 119137
3.79/3.81	o 119137
3.79/3.81	c Elapsed CPU time: 3.71443 s	Remaining CPU time: 176.286 s
3.79/3.81	c ===============================================================================
3.79/3.81	c |       643 |    3799    28664   138577 |     9554      643    282 | 36.662 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 119094
3.79/3.85	o 119094
3.79/3.85	c Elapsed CPU time: 3.75043 s	Remaining CPU time: 176.25 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |       648 |    3799    28665   140668 |     9555      648    282 | 36.662 % |
3.99/4.05	c |       749 |    3799    28665   140668 |    10510      749    341 | 36.662 % |
4.30/4.35	c |       900 |    3799    28665   140668 |    11561      900    410 | 36.662 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: 117439
4.30/4.38	o 117439
4.30/4.38	c Elapsed CPU time: 4.27635 s	Remaining CPU time: 175.724 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |       910 |    3799    28666   142759 |     9555      910    411 | 36.662 % |
4.30/4.40	c ===============================================================================
4.30/4.40	c New solution: 117425
4.30/4.40	o 117425
4.30/4.40	c Elapsed CPU time: 4.30135 s	Remaining CPU time: 175.699 s
4.30/4.40	c ===============================================================================
4.30/4.40	c |       913 |    3799    28667   144850 |     9555      913    409 | 36.662 % |
4.40/4.42	c ===============================================================================
4.40/4.42	c New solution: 117423
4.40/4.42	o 117423
4.40/4.42	c Elapsed CPU time: 4.32334 s	Remaining CPU time: 175.677 s
4.40/4.42	c ===============================================================================
4.40/4.42	c |       913 |    3799    28668   146941 |     9556      913    409 | 36.662 % |
4.59/4.63	c ===============================================================================
4.59/4.63	c New solution: 115792
4.59/4.63	o 115792
4.59/4.63	c Elapsed CPU time: 4.53031 s	Remaining CPU time: 175.47 s
4.59/4.63	c ===============================================================================
4.59/4.63	c |       978 |    3799    28669   149032 |     9556      978    426 | 36.662 % |
4.59/4.67	c ===============================================================================
4.59/4.67	c New solution: 115755
4.59/4.67	o 115755
4.59/4.67	c Elapsed CPU time: 4.56331 s	Remaining CPU time: 175.437 s
4.59/4.67	c ===============================================================================
4.59/4.67	c |       978 |    3799    28670   151123 |     9556      978    426 | 36.662 % |
4.69/4.71	c ===============================================================================
4.69/4.71	c New solution: 115754
4.69/4.71	o 115754
4.69/4.71	c Elapsed CPU time: 4.6013 s	Remaining CPU time: 175.399 s
4.69/4.71	c ===============================================================================
4.69/4.71	c |       979 |    3799    28671   153214 |     9557      979    426 | 36.662 % |
4.69/4.74	c ===============================================================================
4.69/4.74	c New solution: 115753
4.69/4.74	o 115753
4.69/4.74	c Elapsed CPU time: 4.6363 s	Remaining CPU time: 175.364 s
4.69/4.74	c ===============================================================================
4.69/4.74	c |       980 |    3799    28672   155305 |     9557      980    426 | 36.662 % |
4.69/4.76	c ===============================================================================
4.69/4.76	c New solution: 115752
4.69/4.76	o 115752
4.69/4.76	c Elapsed CPU time: 4.65529 s	Remaining CPU time: 175.345 s
4.69/4.76	c ===============================================================================
4.69/4.76	c |       983 |    3799    28673   157396 |     9557      983    425 | 36.662 % |
4.89/4.99	c ===============================================================================
4.89/4.99	c New solution: 115751
4.89/4.99	o 115751
4.89/4.99	c Elapsed CPU time: 4.88226 s	Remaining CPU time: 175.118 s
4.89/4.99	c ===============================================================================
4.89/4.99	c |      1066 |    3799    28674   159487 |     9558     1066    449 | 36.662 % |
4.99/5.02	c ===============================================================================
4.99/5.02	c New solution: 114116
4.99/5.02	o 114116
4.99/5.02	c Elapsed CPU time: 4.91225 s	Remaining CPU time: 175.088 s
4.99/5.02	c ===============================================================================
4.99/5.02	c |      1073 |    3799    28675   161578 |     9558     1073    447 | 36.662 % |
4.99/5.06	c ===============================================================================
4.99/5.06	c New solution: 114105
4.99/5.06	o 114105
4.99/5.06	c Elapsed CPU time: 4.95025 s	Remaining CPU time: 175.05 s
4.99/5.06	c ===============================================================================
4.99/5.06	c |      1074 |    3799    28676   163669 |     9558     1074    447 | 36.662 % |
4.99/5.09	c ===============================================================================
4.99/5.09	c New solution: 114104
4.99/5.09	o 114104
4.99/5.09	c Elapsed CPU time: 4.98324 s	Remaining CPU time: 175.017 s
4.99/5.09	c ===============================================================================
4.99/5.09	c |      1075 |    3799    28677   165760 |     9559     1075    447 | 36.662 % |
5.09/5.12	c ===============================================================================
5.09/5.12	c New solution: 112444
5.09/5.12	o 112444
5.09/5.12	c Elapsed CPU time: 5.01024 s	Remaining CPU time: 174.99 s
5.09/5.12	c ===============================================================================
5.09/5.12	c |      1077 |    3799    28678   167851 |     9559     1077    447 | 36.662 % |
5.09/5.17	c ===============================================================================
5.09/5.17	c New solution: 112442
5.09/5.17	o 112442
5.09/5.17	c Elapsed CPU time: 5.05323 s	Remaining CPU time: 174.947 s
5.09/5.17	c ===============================================================================
5.09/5.17	c |      1086 |    3799    28679   169942 |     9559     1086    446 | 36.662 % |
5.09/5.20	c ===============================================================================
5.09/5.20	c New solution: 112441
5.09/5.20	o 112441
5.09/5.20	c Elapsed CPU time: 5.08023 s	Remaining CPU time: 174.92 s
5.09/5.20	c ===============================================================================
5.09/5.20	c |      1091 |    3799    28680   172033 |     9560     1091    446 | 36.662 % |
5.19/5.26	c ===============================================================================
5.19/5.26	c New solution: 110789
5.19/5.26	o 110789
5.19/5.26	c Elapsed CPU time: 5.14122 s	Remaining CPU time: 174.859 s
5.19/5.26	c ===============================================================================
5.19/5.26	c |      1102 |    3799    28681   174124 |     9560     1102    443 | 36.662 % |
5.19/5.29	c ===============================================================================
5.19/5.29	c New solution: 109127
5.19/5.29	o 109127
5.19/5.29	c Elapsed CPU time: 5.16521 s	Remaining CPU time: 174.835 s
5.19/5.29	c ===============================================================================
5.19/5.29	c |      1107 |    3799    28682   176215 |     9560     1107    444 | 36.662 % |
5.29/5.35	c ===============================================================================
5.29/5.35	c New solution: 109117
5.29/5.35	o 109117
5.29/5.35	c Elapsed CPU time: 5.2282 s	Remaining CPU time: 174.772 s
5.29/5.35	c ===============================================================================
5.29/5.35	c |      1111 |    3799    28683   178306 |     9561     1111    444 | 36.662 % |
5.40/5.46	c ===============================================================================
5.40/5.46	c New solution: 109111
5.40/5.46	o 109111
5.40/5.46	c Elapsed CPU time: 5.33419 s	Remaining CPU time: 174.666 s
5.40/5.46	c ===============================================================================
5.40/5.46	c |      1125 |    3799    28684   180397 |     9561     1125    445 | 36.662 % |
5.40/5.50	c ===============================================================================
5.40/5.50	c New solution: 109109
5.40/5.50	o 109109
5.40/5.50	c Elapsed CPU time: 5.37618 s	Remaining CPU time: 174.624 s
5.40/5.50	c ===============================================================================
5.40/5.50	c |      1125 |    3799    28685   182488 |     9561     1125    445 | 36.662 % |
5.69/5.79	c |      1225 |    3799    28685   182488 |    10517     1225    472 | 36.662 % |
5.79/5.84	c ===============================================================================
5.79/5.84	c New solution: 109108
5.79/5.84	o 109108
5.79/5.84	c Elapsed CPU time: 5.71313 s	Remaining CPU time: 174.287 s
5.79/5.84	c ===============================================================================
5.79/5.84	c |      1226 |    3799    28686   184579 |     9562     1226    472 | 36.662 % |
5.79/5.88	c ===============================================================================
5.79/5.88	c New solution: 109069
5.79/5.88	o 109069
5.79/5.88	c Elapsed CPU time: 5.75612 s	Remaining CPU time: 174.244 s
5.79/5.88	c ===============================================================================
5.79/5.88	c |      1240 |    3799    28687   186670 |     9562     1240    474 | 36.662 % |
6.09/6.10	c |      1340 |    3799    28687   186670 |    10518     1340    494 | 36.662 % |
6.09/6.15	c ===============================================================================
6.09/6.15	c New solution: 107449
6.09/6.15	o 107449
6.09/6.15	c Elapsed CPU time: 6.01609 s	Remaining CPU time: 173.984 s
6.09/6.15	c ===============================================================================
6.09/6.15	c |      1349 |    3799    28688   188761 |     9562     1349    493 | 36.662 % |
6.19/6.21	c ===============================================================================
6.19/6.21	c New solution: 107423
6.19/6.21	o 107423
6.19/6.21	c Elapsed CPU time: 6.07608 s	Remaining CPU time: 173.924 s
6.19/6.21	c ===============================================================================
6.19/6.21	c |      1351 |    3799    28689   190852 |     9563     1351    493 | 36.662 % |
6.19/6.27	c ===============================================================================
6.19/6.27	c New solution: 107421
6.19/6.27	o 107421
6.19/6.27	c Elapsed CPU time: 6.13707 s	Remaining CPU time: 173.863 s
6.19/6.27	c ===============================================================================
6.19/6.27	c |      1352 |    3799    28690   192943 |     9563     1352    493 | 36.662 % |
6.50/6.56	c |      1452 |    3799    28690   192943 |    10519     1452    511 | 36.662 % |
6.60/6.62	c ===============================================================================
6.60/6.62	c New solution: 107420
6.60/6.62	o 107420
6.60/6.62	c Elapsed CPU time: 6.47802 s	Remaining CPU time: 173.522 s
6.60/6.62	c ===============================================================================
6.60/6.62	c |      1452 |    3799    28691   195034 |     9563     1452    511 | 36.662 % |
6.60/6.67	c ===============================================================================
6.60/6.67	c New solution: 107419
6.60/6.67	o 107419
6.60/6.67	c Elapsed CPU time: 6.53201 s	Remaining CPU time: 173.468 s
6.60/6.67	c ===============================================================================
6.60/6.67	c |      1455 |    3799    28692   197125 |     9564     1455    511 | 36.662 % |
6.79/6.85	c |      1557 |    3799    28692   197125 |    10520     1557    526 | 36.662 % |
6.79/6.90	c ===============================================================================
6.79/6.90	c New solution: 107402
6.79/6.90	o 107402
6.79/6.90	c Elapsed CPU time: 6.75597 s	Remaining CPU time: 173.244 s
6.79/6.90	c ===============================================================================
6.79/6.90	c |      1558 |    3799    28693   199216 |     9564     1558    526 | 36.662 % |
7.09/7.18	c |      1658 |    3799    28693   199216 |    10520     1658    540 | 36.662 % |
7.49/7.59	c |      1808 |    3799    28693   199216 |    11572     1808    558 | 36.662 % |
7.59/7.62	c ===============================================================================
7.59/7.62	c New solution: 105789
7.59/7.62	o 105789
7.59/7.62	c Elapsed CPU time: 7.47886 s	Remaining CPU time: 172.521 s
7.59/7.62	c ===============================================================================
7.59/7.62	c |      1809 |    3799    28694   201307 |     9564     1809    557 | 36.662 % |
7.59/7.66	c ===============================================================================
7.59/7.66	c New solution: 105781
7.59/7.66	o 105781
7.59/7.66	c Elapsed CPU time: 7.50986 s	Remaining CPU time: 172.49 s
7.59/7.66	c ===============================================================================
7.59/7.66	c |      1809 |    3799    28695   203398 |     9565     1809    557 | 36.662 % |
7.59/7.69	c ===============================================================================
7.59/7.69	c New solution: 105771
7.59/7.69	o 105771
7.59/7.69	c Elapsed CPU time: 7.53985 s	Remaining CPU time: 172.46 s
7.59/7.69	c ===============================================================================
7.59/7.69	c |      1809 |    3799    28696   205489 |     9565     1809    557 | 36.662 % |
7.69/7.72	c ===============================================================================
7.69/7.72	c New solution: 105770
7.69/7.72	o 105770
7.69/7.72	c Elapsed CPU time: 7.57285 s	Remaining CPU time: 172.427 s
7.69/7.72	c ===============================================================================
7.69/7.72	c |      1810 |    3799    28697   207580 |     9565     1810    558 | 36.662 % |
7.69/7.75	c ===============================================================================
7.69/7.75	c New solution: 105761
7.69/7.75	o 105761
7.69/7.75	c Elapsed CPU time: 7.60284 s	Remaining CPU time: 172.397 s
7.69/7.75	c ===============================================================================
7.69/7.75	c |      1812 |    3799    28698   209671 |     9566     1812    557 | 36.662 % |
7.79/7.82	c ===============================================================================
7.79/7.82	c New solution: 105760
7.79/7.82	o 105760
7.79/7.82	c Elapsed CPU time: 7.66983 s	Remaining CPU time: 172.33 s
7.79/7.82	c ===============================================================================
7.79/7.82	c |      1816 |    3799    28699   211762 |     9566     1816    557 | 36.662 % |
7.79/7.85	c ===============================================================================
7.79/7.85	c New solution: 104108
7.79/7.85	o 104108
7.79/7.85	c Elapsed CPU time: 7.69883 s	Remaining CPU time: 172.301 s
7.79/7.85	c ===============================================================================
7.79/7.85	c |      1818 |    3799    28700   213853 |     9566     1818    557 | 36.662 % |
7.79/7.88	c ===============================================================================
7.79/7.88	c New solution: 104107
7.79/7.88	o 104107
7.79/7.88	c Elapsed CPU time: 7.73482 s	Remaining CPU time: 172.265 s
7.79/7.88	c ===============================================================================
7.79/7.88	c |      1819 |    3799    28701   215944 |     9567     1819    557 | 36.662 % |
7.89/7.95	c ===============================================================================
7.89/7.95	c New solution: 104101
7.89/7.95	o 104101
7.89/7.95	c Elapsed CPU time: 7.79581 s	Remaining CPU time: 172.204 s
7.89/7.95	c ===============================================================================
7.89/7.95	c |      1821 |    3799    28702   218035 |     9567     1821    557 | 36.662 % |
7.89/7.99	c ===============================================================================
7.89/7.99	c New solution: 104100
7.89/7.99	o 104100
7.89/7.99	c Elapsed CPU time: 7.83981 s	Remaining CPU time: 172.16 s
7.89/7.99	c ===============================================================================
7.89/7.99	c |      1833 |    3799    28703   220126 |     9567     1833    558 | 36.662 % |
7.99/8.05	c ===============================================================================
7.99/8.05	c New solution: 104085
7.99/8.05	o 104085
7.99/8.05	c Elapsed CPU time: 7.8948 s	Remaining CPU time: 172.105 s
7.99/8.05	c ===============================================================================
7.99/8.05	c |      1834 |    3799    28704   222217 |     9568     1834    558 | 36.662 % |
8.09/8.10	c ===============================================================================
8.09/8.10	c New solution: 104077
8.09/8.10	o 104077
8.09/8.10	c Elapsed CPU time: 7.94979 s	Remaining CPU time: 172.05 s
8.09/8.10	c ===============================================================================
8.09/8.10	c |      1836 |    3799    28705   224308 |     9568     1836    557 | 36.662 % |
8.09/8.15	c ===============================================================================
8.09/8.15	c New solution: 104076
8.09/8.15	o 104076
8.09/8.15	c Elapsed CPU time: 8.00078 s	Remaining CPU time: 171.999 s
8.09/8.15	c ===============================================================================
8.09/8.15	c |      1837 |    3799    28706   226399 |     9568     1837    557 | 36.662 % |
8.19/8.20	c ===============================================================================
8.19/8.20	c New solution: 104075
8.19/8.20	o 104075
8.19/8.20	c Elapsed CPU time: 8.04878 s	Remaining CPU time: 171.951 s
8.19/8.20	c ===============================================================================
8.19/8.20	c |      1838 |    3799    28707   228490 |     9569     1838    557 | 36.662 % |
8.19/8.26	c ===============================================================================
8.19/8.26	c New solution: 104074
8.19/8.26	o 104074
8.19/8.26	c Elapsed CPU time: 8.10077 s	Remaining CPU time: 171.899 s
8.19/8.26	c ===============================================================================
8.19/8.26	c |      1841 |    3799    28708   230581 |     9569     1841    557 | 36.662 % |
8.19/8.29	c ===============================================================================
8.19/8.29	c New solution: 104073
8.19/8.29	o 104073
8.19/8.29	c Elapsed CPU time: 8.13076 s	Remaining CPU time: 171.869 s
8.19/8.29	c ===============================================================================
8.19/8.29	c |      1842 |    3799    28709   232672 |     9569     1842    557 | 36.662 % |
8.29/8.32	c ===============================================================================
8.29/8.32	c New solution: 104072
8.29/8.32	o 104072
8.29/8.32	c Elapsed CPU time: 8.16176 s	Remaining CPU time: 171.838 s
8.29/8.32	c ===============================================================================
8.29/8.32	c |      1845 |    3799    28710   234763 |     9570     1845    557 | 36.662 % |
8.59/8.64	c |      1946 |    3799    28710   234763 |    10527     1946    567 | 36.662 % |
8.59/8.67	c ===============================================================================
8.59/8.67	c New solution: 102431
8.59/8.67	o 102431
8.59/8.67	c Elapsed CPU time: 8.50871 s	Remaining CPU time: 171.491 s
8.59/8.67	c ===============================================================================
8.59/8.67	c |      1947 |    3799    28711   236854 |     9570     1947    567 | 36.662 % |
8.70/8.72	c ===============================================================================
8.70/8.72	c New solution: 102414
8.70/8.72	o 102414
8.70/8.72	c Elapsed CPU time: 8.5657 s	Remaining CPU time: 171.434 s
8.70/8.72	c ===============================================================================
8.70/8.72	c |      1947 |    3799    28712   238945 |     9570     1947    567 | 36.662 % |
8.70/8.79	c ===============================================================================
8.70/8.79	c New solution: 102412
8.70/8.79	o 102412
8.70/8.79	c Elapsed CPU time: 8.62869 s	Remaining CPU time: 171.371 s
8.70/8.79	c ===============================================================================
8.70/8.79	c |      1948 |    3799    28713   241036 |     9571     1948    567 | 36.662 % |
8.80/8.83	c ===============================================================================
8.80/8.83	c New solution: 100773
8.80/8.83	o 100773
8.80/8.83	c Elapsed CPU time: 8.66668 s	Remaining CPU time: 171.333 s
8.80/8.83	c ===============================================================================
8.80/8.83	c |      1949 |    3799    28714   243127 |     9571     1949    567 | 36.662 % |
8.80/8.86	c ===============================================================================
8.80/8.86	c New solution: 100769
8.80/8.86	o 100769
8.80/8.86	c Elapsed CPU time: 8.69968 s	Remaining CPU time: 171.3 s
8.80/8.86	c ===============================================================================
8.80/8.86	c |      1950 |    3799    28715   245218 |     9571     1950    567 | 36.662 % |
8.89/8.91	c ===============================================================================
8.89/8.91	c New solution: 100751
8.89/8.91	o 100751
8.89/8.91	c Elapsed CPU time: 8.74667 s	Remaining CPU time: 171.253 s
8.89/8.91	c ===============================================================================
8.89/8.91	c |      1955 |    3799    28716   247309 |     9572     1955    567 | 36.662 % |
8.89/8.94	c ===============================================================================
8.89/8.94	c New solution: 99103
8.89/8.94	o 99103
8.89/8.94	c Elapsed CPU time: 8.77367 s	Remaining CPU time: 171.226 s
8.89/8.94	c ===============================================================================
8.89/8.94	c |      1955 |    3799    28717   249400 |     9572     1955    567 | 36.662 % |
8.89/8.98	c ===============================================================================
8.89/8.98	c New solution: 99102
8.89/8.98	o 99102
8.89/8.98	c Elapsed CPU time: 8.81566 s	Remaining CPU time: 171.184 s
8.89/8.98	c ===============================================================================
8.89/8.98	c |      1958 |    3799    28718   251491 |     9572     1958    568 | 36.662 % |
8.99/9.03	c ===============================================================================
8.99/9.03	c New solution: 99075
8.99/9.03	o 99075
8.99/9.03	c Elapsed CPU time: 8.85665 s	Remaining CPU time: 171.143 s
8.99/9.03	c ===============================================================================
8.99/9.03	c |      1959 |    3799    28719   253582 |     9573     1959    568 | 36.662 % |
8.99/9.07	c ===============================================================================
8.99/9.07	c New solution: 97438
8.99/9.07	o 97438
8.99/9.07	c Elapsed CPU time: 8.89665 s	Remaining CPU time: 171.103 s
8.99/9.07	c ===============================================================================
8.99/9.07	c |      1962 |    3799    28720   255673 |     9573     1962    568 | 36.662 % |
9.09/9.13	c ===============================================================================
9.09/9.13	c New solution: 97421
9.09/9.13	o 97421
9.09/9.13	c Elapsed CPU time: 8.95864 s	Remaining CPU time: 171.041 s
9.09/9.13	c ===============================================================================
9.09/9.13	c |      1967 |    3799    28721   257764 |     9573     1967    568 | 36.662 % |
9.09/9.18	c ===============================================================================
9.09/9.18	c New solution: 97413
9.09/9.18	o 97413
9.09/9.18	c Elapsed CPU time: 9.01163 s	Remaining CPU time: 170.988 s
9.09/9.18	c ===============================================================================
9.09/9.18	c |      1967 |    3799    28722   259855 |     9574     1967    568 | 36.662 % |
9.39/9.48	c ===============================================================================
9.39/9.48	c New solution: 95771
9.39/9.48	o 95771
9.39/9.48	c Elapsed CPU time: 9.30758 s	Remaining CPU time: 170.692 s
9.39/9.48	c ===============================================================================
9.39/9.48	c |      2039 |    3799    28723   261946 |     9574     2039    574 | 36.662 % |
9.49/9.55	c ===============================================================================
9.49/9.55	c New solution: 95761
9.49/9.55	o 95761
9.49/9.55	c Elapsed CPU time: 9.37457 s	Remaining CPU time: 170.625 s
9.49/9.55	c ===============================================================================
9.49/9.55	c |      2041 |    3799    28724   264037 |     9574     2041    574 | 36.662 % |
9.58/9.65	c ===============================================================================
9.58/9.65	c New solution: 95743
9.58/9.65	o 95743
9.58/9.65	c Elapsed CPU time: 9.46956 s	Remaining CPU time: 170.53 s
9.58/9.65	c ===============================================================================
9.58/9.65	c |      2043 |    3799    28725   266128 |     9575     2043    574 | 36.662 % |
9.69/9.74	c ===============================================================================
9.69/9.74	c New solution: 95742
9.69/9.74	o 95742
9.69/9.74	c Elapsed CPU time: 9.55755 s	Remaining CPU time: 170.442 s
9.69/9.74	c ===============================================================================
9.69/9.74	c |      2052 |    3799    28726   268219 |     9575     2052    575 | 36.662 % |
9.80/9.81	c ===============================================================================
9.80/9.81	c New solution: 95736
9.80/9.81	o 95736
9.80/9.81	c Elapsed CPU time: 9.63254 s	Remaining CPU time: 170.367 s
9.80/9.81	c ===============================================================================
9.80/9.81	c |      2054 |    3799    28727   270310 |     9575     2054    575 | 36.662 % |
9.90/9.92	c ===============================================================================
9.90/9.92	c New solution: 95730
9.90/9.92	o 95730
9.90/9.92	c Elapsed CPU time: 9.74252 s	Remaining CPU time: 170.257 s
9.90/9.92	c ===============================================================================
9.90/9.92	c |      2057 |    3799    28728   272401 |     9576     2057    575 | 36.662 % |
9.99/10.01	c ===============================================================================
9.99/10.01	c New solution: 95729
9.99/10.01	o 95729
9.99/10.01	c Elapsed CPU time: 9.82651 s	Remaining CPU time: 170.173 s
9.99/10.01	c ===============================================================================
9.99/10.01	c |      2062 |    3799    28729   274492 |     9576     2062    575 | 36.662 % |
9.99/10.09	c ===============================================================================
9.99/10.09	c New solution: 94118
9.99/10.09	o 94118
9.99/10.09	c Elapsed CPU time: 9.91049 s	Remaining CPU time: 170.09 s
9.99/10.09	c ===============================================================================
9.99/10.09	c |      2064 |    3799    28730   276583 |     9576     2064    575 | 36.662 % |
10.09/10.18	c ===============================================================================
10.09/10.18	c New solution: 94117
10.09/10.18	o 94117
10.09/10.18	c Elapsed CPU time: 9.99348 s	Remaining CPU time: 170.007 s
10.09/10.18	c ===============================================================================
10.09/10.18	c |      2066 |    3799    28731   278674 |     9577     2066    575 | 36.662 % |
10.19/10.27	c ===============================================================================
10.19/10.27	c New solution: 94116
10.19/10.27	o 94116
10.19/10.27	c Elapsed CPU time: 10.0835 s	Remaining CPU time: 169.917 s
10.19/10.27	c ===============================================================================
10.19/10.27	c |      2068 |    3799    28732   280765 |     9577     2068    575 | 36.662 % |
10.29/10.33	c ===============================================================================
10.29/10.33	c New solution: 94091
10.29/10.33	o 94091
10.29/10.33	c Elapsed CPU time: 10.1495 s	Remaining CPU time: 169.851 s
10.29/10.33	c ===============================================================================
10.29/10.33	c |      2077 |    3799    28733   282856 |     9577     2077    575 | 36.662 % |
10.39/10.41	c ===============================================================================
10.39/10.41	c New solution: 94080
10.39/10.41	o 94080
10.39/10.41	c Elapsed CPU time: 10.2274 s	Remaining CPU time: 169.773 s
10.39/10.41	c ===============================================================================
10.39/10.41	c |      2080 |    3799    28734   284947 |     9578     2080    575 | 36.662 % |
10.79/10.82	c |      2180 |    3799    28734   284947 |    10535     2180    583 | 36.662 % |
10.89/10.91	c ===============================================================================
10.89/10.91	c New solution: 94079
10.89/10.91	o 94079
10.89/10.91	c Elapsed CPU time: 10.7294 s	Remaining CPU time: 169.271 s
10.89/10.91	c ===============================================================================
10.89/10.91	c |      2183 |    3799    28735   287038 |     9578     2183    583 | 36.662 % |
10.89/11.00	c ===============================================================================
10.89/11.00	c New solution: 94078
10.89/11.00	o 94078
10.89/11.00	c Elapsed CPU time: 10.8184 s	Remaining CPU time: 169.182 s
10.89/11.00	c ===============================================================================
10.89/11.00	c |      2184 |    3799    28736   289129 |     9578     2184    583 | 36.662 % |
11.00/11.05	c ===============================================================================
11.00/11.05	c New solution: 94077
11.00/11.05	o 94077
11.00/11.05	c Elapsed CPU time: 10.8683 s	Remaining CPU time: 169.132 s
11.00/11.05	c ===============================================================================
11.00/11.05	c |      2186 |    3799    28737   291220 |     9579     2186    583 | 36.662 % |
11.09/11.15	c ===============================================================================
11.09/11.15	c New solution: 94076
11.09/11.15	o 94076
11.09/11.15	c Elapsed CPU time: 10.9633 s	Remaining CPU time: 169.037 s
11.09/11.15	c ===============================================================================
11.09/11.15	c |      2188 |    3799    28738   293311 |     9579     2188    583 | 36.662 % |
11.69/11.73	c |      2289 |    3799    28738   293311 |    10537     2289    590 | 36.662 % |
11.78/11.81	c ===============================================================================
11.78/11.81	c New solution: 94064
11.78/11.81	o 94064
11.78/11.81	c Elapsed CPU time: 11.6252 s	Remaining CPU time: 168.375 s
11.78/11.81	c ===============================================================================
11.78/11.81	c |      2289 |    3799    28739   295402 |     9579     2289    590 | 36.662 % |
11.78/11.89	c ===============================================================================
11.78/11.89	c New solution: 94063
11.78/11.89	o 94063
11.78/11.89	c Elapsed CPU time: 11.7012 s	Remaining CPU time: 168.299 s
11.78/11.89	c ===============================================================================
11.78/11.89	c |      2290 |    3799    28740   297493 |     9580     2290    590 | 36.662 % |
12.19/12.29	c |      2391 |    3799    28740   297493 |    10538     2391    597 | 36.662 % |
12.89/12.99	c |      2541 |    3799    28740   297493 |    11591     2541    606 | 36.662 % |
14.09/14.17	c |      2766 |    3799    28740   297493 |    12750     2766    617 | 36.662 % |
14.29/14.31	c ===============================================================================
14.29/14.31	c New solution: 92445
14.29/14.31	o 92445
14.29/14.31	c Elapsed CPU time: 14.1109 s	Remaining CPU time: 165.889 s
14.29/14.31	c ===============================================================================
14.29/14.31	c |      2770 |    3799    28741   299584 |     9580     2770    616 | 36.662 % |
14.29/14.36	c ===============================================================================
14.29/14.36	c New solution: 92432
14.29/14.36	o 92432
14.29/14.36	c Elapsed CPU time: 14.1638 s	Remaining CPU time: 165.836 s
14.29/14.36	c ===============================================================================
14.29/14.36	c |      2771 |    3799    28742   301675 |     9580     2771    616 | 36.662 % |
14.38/14.45	c ===============================================================================
14.38/14.45	c New solution: 90788
14.38/14.45	o 90788
14.38/14.45	c Elapsed CPU time: 14.2538 s	Remaining CPU time: 165.746 s
14.38/14.45	c ===============================================================================
14.38/14.45	c |      2781 |    3799    28743   303766 |     9581     2781    615 | 36.662 % |
14.48/14.52	c ===============================================================================
14.48/14.52	c New solution: 90747
14.48/14.52	o 90747
14.48/14.52	c Elapsed CPU time: 14.3198 s	Remaining CPU time: 165.68 s
14.48/14.52	c ===============================================================================
14.48/14.52	c |      2785 |    3799    28744   305857 |     9581     2785    615 | 36.662 % |
14.88/14.91	c |      2885 |    3799    28744   305857 |    10539     2885    621 | 36.662 % |
14.98/15.00	c ===============================================================================
14.98/15.00	c New solution: 90737
14.98/15.00	o 90737
14.98/15.00	c Elapsed CPU time: 14.7988 s	Remaining CPU time: 165.201 s
14.98/15.00	c ===============================================================================
14.98/15.00	c |      2885 |    3799    28745   307948 |     9581     2885    621 | 36.662 % |
14.98/15.09	c ===============================================================================
14.98/15.09	c New solution: 90736
14.98/15.09	o 90736
14.98/15.09	c Elapsed CPU time: 14.8857 s	Remaining CPU time: 165.114 s
14.98/15.09	c ===============================================================================
14.98/15.09	c |      2886 |    3799    28746   310039 |     9582     2886    621 | 36.662 % |
15.09/15.17	c ===============================================================================
15.09/15.17	c New solution: 90735
15.09/15.17	o 90735
15.09/15.17	c Elapsed CPU time: 14.9707 s	Remaining CPU time: 165.029 s
15.09/15.17	c ===============================================================================
15.09/15.17	c |      2888 |    3799    28747   312130 |     9582     2888    621 | 36.662 % |
15.19/15.29	c ===============================================================================
15.19/15.29	c New solution: 90734
15.19/15.29	o 90734
15.19/15.29	c Elapsed CPU time: 15.0847 s	Remaining CPU time: 164.915 s
15.19/15.29	c ===============================================================================
15.19/15.29	c |      2893 |    3799    28748   314221 |     9582     2893    621 | 36.662 % |
15.30/15.35	c ===============================================================================
15.30/15.35	c New solution: 90733
15.30/15.35	o 90733
15.30/15.35	c Elapsed CPU time: 15.1527 s	Remaining CPU time: 164.847 s
15.30/15.35	c ===============================================================================
15.30/15.35	c |      2895 |    3799    28749   316312 |     9583     2895    621 | 36.662 % |
15.40/15.45	c ===============================================================================
15.40/15.45	c New solution: 90732
15.40/15.45	o 90732
15.40/15.45	c Elapsed CPU time: 15.2507 s	Remaining CPU time: 164.749 s
15.40/15.45	c ===============================================================================
15.40/15.45	c |      2897 |    3799    28750   318403 |     9583     2897    621 | 36.662 % |
15.49/15.55	c ===============================================================================
15.49/15.55	c New solution: 90720
15.49/15.55	o 90720
15.49/15.55	c Elapsed CPU time: 15.3427 s	Remaining CPU time: 164.657 s
15.49/15.55	c ===============================================================================
15.49/15.55	c |      2898 |    3799    28751   320494 |     9583     2898    621 | 36.662 % |
15.59/15.64	c ===============================================================================
15.59/15.64	c New solution: 90719
15.59/15.64	o 90719
15.59/15.64	c Elapsed CPU time: 15.4327 s	Remaining CPU time: 164.567 s
15.59/15.64	c ===============================================================================
15.59/15.64	c |      2903 |    3799    28752   322585 |     9584     2903    621 | 36.662 % |
15.69/15.71	c ===============================================================================
15.69/15.71	c New solution: 90718
15.69/15.71	o 90718
15.69/15.71	c Elapsed CPU time: 15.5036 s	Remaining CPU time: 164.496 s
15.69/15.71	c ===============================================================================
15.69/15.71	c |      2903 |    3799    28753   324676 |     9584     2903    621 | 36.662 % |
15.69/15.79	c ===============================================================================
15.69/15.79	c New solution: 90717
15.69/15.79	o 90717
15.69/15.79	c Elapsed CPU time: 15.5796 s	Remaining CPU time: 164.42 s
15.69/15.79	c ===============================================================================
15.69/15.79	c |      2903 |    3799    28754   326767 |     9584     2903    621 | 36.662 % |
15.78/15.86	c ===============================================================================
15.78/15.86	c New solution: 90716
15.78/15.86	o 90716
15.78/15.86	c Elapsed CPU time: 15.6536 s	Remaining CPU time: 164.346 s
15.78/15.86	c ===============================================================================
15.78/15.86	c |      2903 |    3799    28755   328858 |     9585     2903    621 | 36.662 % |
15.88/15.94	c ===============================================================================
15.88/15.94	c New solution: 90715
15.88/15.94	o 90715
15.88/15.94	c Elapsed CPU time: 15.7286 s	Remaining CPU time: 164.271 s
15.88/15.94	c ===============================================================================
15.88/15.94	c |      2903 |    3799    28756   330949 |     9585     2903    621 | 36.662 % |
15.99/16.01	c ===============================================================================
15.99/16.01	c New solution: 90714
15.99/16.01	o 90714
15.99/16.01	c Elapsed CPU time: 15.8026 s	Remaining CPU time: 164.197 s
15.99/16.01	c ===============================================================================
15.99/16.01	c |      2904 |    3799    28757   333040 |     9585     2904    621 | 36.662 % |
16.79/16.85	c |      3004 |    3799    28757   333040 |    10544     3004    624 | 36.662 % |
17.60/17.61	c |      3154 |    3799    28757   333040 |    11598     3154    629 | 36.662 % |
17.60/17.68	c ===============================================================================
17.60/17.68	c New solution: 89101
17.60/17.68	o 89101
17.60/17.68	c Elapsed CPU time: 17.4623 s	Remaining CPU time: 162.538 s
17.60/17.68	c ===============================================================================
17.60/17.68	c |      3154 |    3799    28758   335131 |     9586     3154    629 | 36.662 % |
17.69/17.74	c ===============================================================================
17.69/17.74	c New solution: 89099
17.69/17.74	o 89099
17.69/17.74	c Elapsed CPU time: 17.5223 s	Remaining CPU time: 162.478 s
17.69/17.74	c ===============================================================================
17.69/17.74	c |      3155 |    3799    28759   337222 |     9586     3155    629 | 36.662 % |
17.78/17.80	c ===============================================================================
17.78/17.80	c New solution: 89098
17.78/17.80	o 89098
17.78/17.80	c Elapsed CPU time: 17.5873 s	Remaining CPU time: 162.413 s
17.78/17.80	c ===============================================================================
17.78/17.80	c |      3155 |    3799    28760   339313 |     9586     3155    629 | 36.662 % |
17.78/17.87	c ===============================================================================
17.78/17.87	c New solution: 89097
17.78/17.87	o 89097
17.78/17.87	c Elapsed CPU time: 17.6533 s	Remaining CPU time: 162.347 s
17.78/17.87	c ===============================================================================
17.78/17.87	c |      3155 |    3799    28761   341404 |     9587     3155    629 | 36.662 % |
17.88/17.93	c ===============================================================================
17.88/17.93	c New solution: 89096
17.88/17.93	o 89096
17.88/17.93	c Elapsed CPU time: 17.7163 s	Remaining CPU time: 162.284 s
17.88/17.93	c ===============================================================================
17.88/17.93	c |      3155 |    3799    28762   343495 |     9587     3155    629 | 36.662 % |
17.98/18.00	c ===============================================================================
17.98/18.00	c New solution: 89095
17.98/18.00	o 89095
17.98/18.00	c Elapsed CPU time: 17.7803 s	Remaining CPU time: 162.22 s
17.98/18.00	c ===============================================================================
17.98/18.00	c |      3155 |    3799    28763   345586 |     9587     3155    629 | 36.662 % |
17.98/18.06	c ===============================================================================
17.98/18.06	c New solution: 89094
17.98/18.06	o 89094
17.98/18.06	c Elapsed CPU time: 17.8453 s	Remaining CPU time: 162.155 s
17.98/18.06	c ===============================================================================
17.98/18.06	c |      3156 |    3799    28764   347677 |     9588     3156    629 | 36.662 % |
18.08/18.19	c ===============================================================================
18.08/18.19	c New solution: 89091
18.08/18.19	o 89091
18.08/18.19	c Elapsed CPU time: 17.9743 s	Remaining CPU time: 162.026 s
18.08/18.19	c ===============================================================================
18.08/18.19	c |      3158 |    3799    28765   349768 |     9588     3158    629 | 36.662 % |
18.18/18.29	c ===============================================================================
18.18/18.29	c New solution: 89090
18.18/18.29	o 89090
18.18/18.29	c Elapsed CPU time: 18.0773 s	Remaining CPU time: 161.923 s
18.18/18.29	c ===============================================================================
18.18/18.29	c |      3170 |    3799    28766   351859 |     9588     3170    630 | 36.662 % |
18.38/18.42	c ===============================================================================
18.38/18.42	c New solution: 89089
18.38/18.42	o 89089
18.38/18.42	c Elapsed CPU time: 18.1952 s	Remaining CPU time: 161.805 s
18.38/18.42	c ===============================================================================
18.38/18.42	c |      3171 |    3799    28767   353950 |     9589     3171    630 | 36.662 % |
18.48/18.52	c ===============================================================================
18.48/18.52	c New solution: 89075
18.48/18.52	o 89075
18.48/18.52	c Elapsed CPU time: 18.2972 s	Remaining CPU time: 161.703 s
18.48/18.52	c ===============================================================================
18.48/18.52	c |      3172 |    3799    28768   356041 |     9589     3172    629 | 36.662 % |
18.59/18.65	c ===============================================================================
18.59/18.65	c New solution: 89074
18.59/18.65	o 89074
18.59/18.65	c Elapsed CPU time: 18.4272 s	Remaining CPU time: 161.573 s
18.59/18.65	c ===============================================================================
18.59/18.65	c |      3176 |    3799    28769   358132 |     9589     3176    629 | 36.662 % |
18.69/18.75	c ===============================================================================
18.69/18.75	c New solution: 89073
18.69/18.75	o 89073
18.69/18.75	c Elapsed CPU time: 18.5282 s	Remaining CPU time: 161.472 s
18.69/18.75	c ===============================================================================
18.69/18.75	c |      3181 |    3799    28770   360223 |     9590     3181    629 | 36.662 % |
18.78/18.85	c ===============================================================================
18.78/18.85	c New solution: 89072
18.78/18.85	o 89072
18.78/18.85	c Elapsed CPU time: 18.6292 s	Remaining CPU time: 161.371 s
18.78/18.85	c ===============================================================================
18.78/18.85	c |      3185 |    3799    28771   362314 |     9590     3185    630 | 36.662 % |
19.49/19.53	c |      3286 |    3799    28771   362314 |    10549     3286    633 | 36.662 % |
19.70/19.71	c ===============================================================================
19.70/19.71	c New solution: 89071
19.70/19.71	o 89071
19.70/19.71	c Elapsed CPU time: 19.49 s	Remaining CPU time: 160.51 s
19.70/19.71	c ===============================================================================
19.70/19.71	c |      3310 |    3799    28772   364405 |     9590     3310    634 | 36.662 % |
20.29/20.31	c ===============================================================================
20.29/20.31	c New solution: 89070
20.29/20.31	o 89070
20.29/20.31	c Elapsed CPU time: 20.0839 s	Remaining CPU time: 159.916 s
20.29/20.31	c ===============================================================================
20.29/20.31	c |      3398 |    3799    28773   366496 |     9591     3398    637 | 36.662 % |
20.29/20.38	c ===============================================================================
20.29/20.38	c New solution: 87429
20.29/20.38	o 87429
20.29/20.38	c Elapsed CPU time: 20.1599 s	Remaining CPU time: 159.84 s
20.29/20.38	c ===============================================================================
20.29/20.38	c |      3399 |    3799    28774   368587 |     9591     3399    637 | 36.662 % |
20.49/20.50	c ===============================================================================
20.49/20.50	c New solution: 87415
20.49/20.50	o 87415
20.49/20.50	c Elapsed CPU time: 20.2709 s	Remaining CPU time: 159.729 s
20.49/20.50	c ===============================================================================
20.49/20.50	c |      3400 |    3799    28775   370678 |     9591     3400    637 | 36.662 % |
20.79/20.83	c ===============================================================================
20.79/20.83	c New solution: 87414
20.79/20.83	o 87414
20.79/20.83	c Elapsed CPU time: 20.5979 s	Remaining CPU time: 159.402 s
20.79/20.83	c ===============================================================================
20.79/20.83	c |      3461 |    3799    28776   372769 |     9592     3461    640 | 36.662 % |
20.89/20.93	c ===============================================================================
20.89/20.93	c New solution: 87413
20.89/20.93	o 87413
20.89/20.93	c Elapsed CPU time: 20.7019 s	Remaining CPU time: 159.298 s
20.89/20.93	c ===============================================================================
20.89/20.93	c |      3463 |    3799    28777   374860 |     9592     3463    640 | 36.662 % |
20.98/21.04	c ===============================================================================
20.98/21.04	c New solution: 87412
20.98/21.04	o 87412
20.98/21.04	c Elapsed CPU time: 20.8078 s	Remaining CPU time: 159.192 s
20.98/21.04	c ===============================================================================
20.98/21.04	c |      3466 |    3799    28778   376951 |     9592     3466    640 | 36.662 % |
21.09/21.12	c ===============================================================================
21.09/21.12	c New solution: 87411
21.09/21.12	o 87411
21.09/21.12	c Elapsed CPU time: 20.8858 s	Remaining CPU time: 159.114 s
21.09/21.12	c ===============================================================================
21.09/21.12	c |      3479 |    3799    28779   379042 |     9593     3479    640 | 36.662 % |
21.19/21.20	c ===============================================================================
21.19/21.20	c New solution: 85757
21.19/21.20	o 85757
21.19/21.20	c Elapsed CPU time: 20.9658 s	Remaining CPU time: 159.034 s
21.19/21.20	c ===============================================================================
21.19/21.20	c |      3482 |    3799    28780   381133 |     9593     3482    640 | 36.662 % |
21.19/21.29	c ===============================================================================
21.19/21.29	c New solution: 85756
21.19/21.29	o 85756
21.19/21.29	c Elapsed CPU time: 21.0508 s	Remaining CPU time: 158.949 s
21.19/21.29	c ===============================================================================
21.19/21.29	c |      3485 |    3799    28781   383224 |     9593     3485    639 | 36.662 % |
21.29/21.35	c ===============================================================================
21.29/21.35	c New solution: 84106
21.29/21.35	o 84106
21.29/21.35	c Elapsed CPU time: 21.1138 s	Remaining CPU time: 158.886 s
21.29/21.35	c ===============================================================================
21.29/21.35	c |      3488 |    3799    28782   385315 |     9594     3488    639 | 36.662 % |
21.38/21.41	c ===============================================================================
21.38/21.41	c New solution: 84101
21.38/21.41	o 84101
21.38/21.41	c Elapsed CPU time: 21.1748 s	Remaining CPU time: 158.825 s
21.38/21.41	c ===============================================================================
21.38/21.41	c |      3488 |    3799    28783   387406 |     9594     3488    639 | 36.662 % |
21.48/21.53	c ===============================================================================
21.48/21.53	c New solution: 84096
21.48/21.53	o 84096
21.48/21.53	c Elapsed CPU time: 21.2938 s	Remaining CPU time: 158.706 s
21.48/21.53	c ===============================================================================
21.48/21.53	c |      3488 |    3799    28784   389497 |     9594     3488    639 | 36.662 % |
21.48/21.59	c ===============================================================================
21.48/21.59	c New solution: 84095
21.48/21.59	o 84095
21.48/21.59	c Elapsed CPU time: 21.3508 s	Remaining CPU time: 158.649 s
21.48/21.59	c ===============================================================================
21.48/21.59	c |      3489 |    3799    28785   391588 |     9595     3489    639 | 36.662 % |
21.68/21.73	c ===============================================================================
21.68/21.73	c New solution: 84094
21.68/21.73	o 84094
21.68/21.73	c Elapsed CPU time: 21.4957 s	Remaining CPU time: 158.504 s
21.68/21.73	c ===============================================================================
21.68/21.73	c |      3492 |    3799    28786   393679 |     9595     3492    639 | 36.662 % |
21.89/21.91	c ===============================================================================
21.89/21.91	c New solution: 84093
21.89/21.91	o 84093
21.89/21.91	c Elapsed CPU time: 21.6717 s	Remaining CPU time: 158.328 s
21.89/21.91	c ===============================================================================
21.89/21.91	c |      3500 |    3799    28787   395770 |     9595     3500    639 | 36.662 % |
22.08/22.14	c ===============================================================================
22.08/22.14	c New solution: 84092
22.08/22.14	o 84092
22.08/22.14	c Elapsed CPU time: 21.8977 s	Remaining CPU time: 158.102 s
22.08/22.14	c ===============================================================================
22.08/22.14	c |      3517 |    3799    28788   397861 |     9596     3517    638 | 36.662 % |
22.18/22.27	c ===============================================================================
22.18/22.27	c New solution: 84078
22.18/22.27	o 84078
22.18/22.27	c Elapsed CPU time: 22.0287 s	Remaining CPU time: 157.971 s
22.18/22.27	c ===============================================================================
22.18/22.27	c |      3517 |    3799    28789   399952 |     9596     3517    638 | 36.662 % |
22.39/22.40	c ===============================================================================
22.39/22.40	c New solution: 84072
22.39/22.40	o 84072
22.39/22.40	c Elapsed CPU time: 22.1526 s	Remaining CPU time: 157.847 s
22.39/22.40	c ===============================================================================
22.39/22.40	c |      3517 |    3799    28790   402043 |     9596     3517    638 | 36.662 % |
22.49/22.52	c ===============================================================================
22.49/22.52	c New solution: 84069
22.49/22.52	o 84069
22.49/22.52	c Elapsed CPU time: 22.2706 s	Remaining CPU time: 157.729 s
22.49/22.52	c ===============================================================================
22.49/22.52	c |      3517 |    3799    28791   404134 |     9597     3517    638 | 36.662 % |
22.59/22.64	c ===============================================================================
22.59/22.64	c New solution: 84068
22.59/22.64	o 84068
22.59/22.64	c Elapsed CPU time: 22.3866 s	Remaining CPU time: 157.613 s
22.59/22.64	c ===============================================================================
22.59/22.64	c |      3517 |    3799    28792   406225 |     9597     3517    638 | 36.662 % |
22.78/22.82	c ===============================================================================
22.78/22.82	c New solution: 84067
22.78/22.82	o 84067
22.78/22.82	c Elapsed CPU time: 22.5656 s	Remaining CPU time: 157.434 s
22.78/22.82	c ===============================================================================
22.78/22.82	c |      3524 |    3799    28793   408316 |     9597     3524    638 | 36.662 % |
23.58/23.60	c |      3625 |    3799    28793   408316 |    10557     3625    641 | 36.662 % |
23.98/24.06	c ===============================================================================
23.98/24.06	c New solution: 84066
23.98/24.06	o 84066
23.98/24.06	c Elapsed CPU time: 23.8044 s	Remaining CPU time: 156.196 s
23.98/24.06	c ===============================================================================
23.98/24.06	c |      3695 |    3799    28794   410407 |     9598     3695    642 | 36.662 % |
24.48/24.52	c ===============================================================================
24.48/24.52	c New solution: 82443
24.48/24.52	o 82443
24.48/24.52	c Elapsed CPU time: 24.2703 s	Remaining CPU time: 155.73 s
24.48/24.52	c ===============================================================================
24.48/24.52	c |      3742 |    3799    28795   412498 |     9598     3742    642 | 36.662 % |
24.79/24.84	c ===============================================================================
24.79/24.84	c New solution: 82384
24.79/24.84	o 82384
24.79/24.84	c Elapsed CPU time: 24.5833 s	Remaining CPU time: 155.417 s
24.79/24.84	c ===============================================================================
24.79/24.84	c |      3742 |    3799    28796   414589 |     9598     3742    642 | 36.662 % |
25.59/25.61	c |      3843 |    3799    28796   414589 |    10558     3843    644 | 36.662 % |
26.78/26.81	c |      3993 |    3799    28796   414589 |    11614     3993    648 | 36.662 % |
26.99/27.00	c ===============================================================================
26.99/27.00	c New solution: 80758
26.99/27.00	o 80758
26.99/27.00	c Elapsed CPU time: 26.7399 s	Remaining CPU time: 153.26 s
26.99/27.00	c ===============================================================================
26.99/27.00	c |      4004 |    3799    28797   416680 |     9599     4004    648 | 36.662 % |
27.09/27.15	c ===============================================================================
27.09/27.15	c New solution: 80754
27.09/27.15	o 80754
27.09/27.15	c Elapsed CPU time: 26.8879 s	Remaining CPU time: 153.112 s
27.09/27.15	c ===============================================================================
27.09/27.15	c |      4005 |    3799    28798   418771 |     9599     4005    648 | 36.662 % |
27.29/27.32	c ===============================================================================
27.29/27.32	c New solution: 80751
27.29/27.32	o 80751
27.29/27.32	c Elapsed CPU time: 27.0569 s	Remaining CPU time: 152.943 s
27.29/27.32	c ===============================================================================
27.29/27.32	c |      4007 |    3799    28799   420862 |     9599     4007    648 | 36.662 % |
27.49/27.53	c ===============================================================================
27.49/27.53	c New solution: 80744
27.49/27.53	o 80744
27.49/27.53	c Elapsed CPU time: 27.2619 s	Remaining CPU time: 152.738 s
27.49/27.53	c ===============================================================================
27.49/27.53	c |      4014 |    3799    28800   422953 |     9600     4014    647 | 36.662 % |
27.59/27.64	c ===============================================================================
27.59/27.64	c New solution: 80743
27.59/27.64	o 80743
27.59/27.64	c Elapsed CPU time: 27.3788 s	Remaining CPU time: 152.621 s
27.59/27.64	c ===============================================================================
27.59/27.64	c |      4014 |    3799    28801   425044 |     9600     4014    647 | 36.662 % |
27.69/27.76	c ===============================================================================
27.69/27.76	c New solution: 80742
27.69/27.76	o 80742
27.69/27.76	c Elapsed CPU time: 27.4958 s	Remaining CPU time: 152.504 s
27.69/27.76	c ===============================================================================
27.69/27.76	c |      4014 |    3799    28802   427135 |     9600     4014    647 | 36.662 % |
27.79/27.88	c ===============================================================================
27.79/27.88	c New solution: 80741
27.79/27.88	o 80741
27.79/27.88	c Elapsed CPU time: 27.6128 s	Remaining CPU time: 152.387 s
27.79/27.88	c ===============================================================================
27.79/27.88	c |      4014 |    3799    28803   429226 |     9601     4014    647 | 36.662 % |
27.89/27.99	c ===============================================================================
27.89/27.99	c New solution: 80740
27.89/27.99	o 80740
27.89/27.99	c Elapsed CPU time: 27.7258 s	Remaining CPU time: 152.274 s
27.89/27.99	c ===============================================================================
27.89/27.99	c |      4014 |    3799    28804   431317 |     9601     4014    647 | 36.662 % |
28.08/28.10	c ===============================================================================
28.08/28.10	c New solution: 80739
28.08/28.10	o 80739
28.08/28.10	c Elapsed CPU time: 27.8378 s	Remaining CPU time: 152.162 s
28.08/28.10	c ===============================================================================
28.08/28.10	c |      4014 |    3799    28805   433408 |     9601     4014    647 | 36.662 % |
28.18/28.23	c ===============================================================================
28.18/28.23	c New solution: 80738
28.18/28.23	o 80738
28.18/28.23	c Elapsed CPU time: 27.9637 s	Remaining CPU time: 152.036 s
28.18/28.23	c ===============================================================================
28.18/28.23	c |      4017 |    3799    28806   435499 |     9602     4017    647 | 36.662 % |
28.98/29.05	c |      4117 |    3799    28806   435499 |    10562     4117    649 | 36.662 % |
29.18/29.21	c ===============================================================================
29.18/29.21	c New solution: 80725
29.18/29.21	o 80725
29.18/29.21	c Elapsed CPU time: 28.9416 s	Remaining CPU time: 151.058 s
29.18/29.21	c ===============================================================================
29.18/29.21	c |      4118 |    3799    28807   437590 |     9602     4118    649 | 36.662 % |
29.28/29.36	c ===============================================================================
29.28/29.36	c New solution: 80724
29.28/29.36	o 80724
29.28/29.36	c Elapsed CPU time: 29.0856 s	Remaining CPU time: 150.914 s
29.28/29.36	c ===============================================================================
29.28/29.36	c |      4118 |    3799    28808   439681 |     9602     4118    649 | 36.662 % |
29.48/29.50	c ===============================================================================
29.48/29.50	c New solution: 80723
29.48/29.50	o 80723
29.48/29.50	c Elapsed CPU time: 29.2306 s	Remaining CPU time: 150.769 s
29.48/29.50	c ===============================================================================
29.48/29.50	c |      4129 |    3799    28809   441772 |     9603     4129    649 | 36.662 % |
29.59/29.65	c ===============================================================================
29.59/29.65	c New solution: 80722
29.59/29.65	o 80722
29.59/29.65	c Elapsed CPU time: 29.3785 s	Remaining CPU time: 150.621 s
29.59/29.65	c ===============================================================================
29.59/29.65	c |      4131 |    3799    28810   443863 |     9603     4131    649 | 36.662 % |
29.69/29.76	c ===============================================================================
29.69/29.76	c New solution: 80721
29.69/29.76	o 80721
29.69/29.76	c Elapsed CPU time: 29.4825 s	Remaining CPU time: 150.517 s
29.69/29.76	c ===============================================================================
29.69/29.76	c |      4139 |    3799    28811   445954 |     9603     4139    649 | 36.662 % |
29.88/29.96	c ===============================================================================
29.88/29.96	c New solution: 79099
29.88/29.96	o 79099
29.88/29.96	c Elapsed CPU time: 29.6855 s	Remaining CPU time: 150.315 s
29.88/29.96	c ===============================================================================
29.88/29.96	c |      4151 |    3799    28812   448045 |     9604     4151    649 | 36.662 % |
30.09/30.13	c ===============================================================================
30.09/30.13	c New solution: 79093
30.09/30.13	o 79093
30.09/30.13	c Elapsed CPU time: 29.8575 s	Remaining CPU time: 150.143 s
30.09/30.13	c ===============================================================================
30.09/30.13	c |      4151 |    3799    28813   450136 |     9604     4151    649 | 36.662 % |
30.19/30.29	c ===============================================================================
30.19/30.29	c New solution: 79079
30.19/30.29	o 79079
30.19/30.29	c Elapsed CPU time: 30.0194 s	Remaining CPU time: 149.981 s
30.19/30.29	c ===============================================================================
30.19/30.29	c |      4152 |    3799    28814   452227 |     9604     4152    649 | 36.662 % |
30.39/30.45	c ===============================================================================
30.39/30.45	c New solution: 79066
30.39/30.45	o 79066
30.39/30.45	c Elapsed CPU time: 30.1684 s	Remaining CPU time: 149.832 s
30.39/30.45	c ===============================================================================
30.39/30.45	c |      4154 |    3799    28815   454318 |     9605     4154    649 | 36.662 % |
30.48/30.59	c ===============================================================================
30.48/30.59	c New solution: 79065
30.48/30.59	o 79065
30.48/30.59	c Elapsed CPU time: 30.3084 s	Remaining CPU time: 149.692 s
30.48/30.59	c ===============================================================================
30.48/30.59	c |      4165 |    3799    28816   456409 |     9605     4165    649 | 36.662 % |
30.88/30.94	c ===============================================================================
30.88/30.94	c New solution: 79060
30.88/30.94	o 79060
30.88/30.94	c Elapsed CPU time: 30.6553 s	Remaining CPU time: 149.345 s
30.88/30.94	c ===============================================================================
30.88/30.94	c |      4166 |    3799    28817   458500 |     9605     4166    649 | 36.662 % |
31.18/31.25	c ===============================================================================
31.18/31.25	c New solution: 79059
31.18/31.25	o 79059
31.18/31.25	c Elapsed CPU time: 30.9663 s	Remaining CPU time: 149.034 s
31.18/31.25	c ===============================================================================
31.18/31.25	c |      4170 |    3799    28818   460591 |     9606     4170    649 | 36.662 % |
31.89/31.92	c |      4270 |    3799    28818   460591 |    10566     4270    651 | 36.662 % |
32.19/32.21	c ===============================================================================
32.19/32.21	c New solution: 79054
32.19/32.21	o 79054
32.19/32.21	c Elapsed CPU time: 31.9261 s	Remaining CPU time: 148.074 s
32.19/32.21	c ===============================================================================
32.19/32.21	c |      4270 |    3799    28819   462682 |     9606     4270    651 | 36.662 % |
32.29/32.35	c ===============================================================================
32.29/32.35	c New solution: 79053
32.29/32.35	o 79053
32.29/32.35	c Elapsed CPU time: 32.0661 s	Remaining CPU time: 147.934 s
32.29/32.35	c ===============================================================================
32.29/32.35	c |      4272 |    3799    28820   464773 |     9606     4272    651 | 36.662 % |
32.49/32.55	c ===============================================================================
32.49/32.55	c New solution: 79052
32.49/32.55	o 79052
32.49/32.55	c Elapsed CPU time: 32.2671 s	Remaining CPU time: 147.733 s
32.49/32.55	c ===============================================================================
32.49/32.55	c |      4281 |    3799    28821   466864 |     9607     4281    651 | 36.662 % |
32.59/32.65	c ===============================================================================
32.59/32.65	c New solution: 79049
32.59/32.65	o 79049
32.59/32.65	c Elapsed CPU time: 32.3671 s	Remaining CPU time: 147.633 s
32.59/32.65	c ===============================================================================
32.59/32.65	c |      4291 |    3799    28822   468955 |     9607     4291    651 | 36.662 % |
32.89/32.94	c ===============================================================================
32.89/32.94	c New solution: 79048
32.89/32.94	o 79048
32.89/32.94	c Elapsed CPU time: 32.649 s	Remaining CPU time: 147.351 s
32.89/32.94	c ===============================================================================
32.89/32.94	c |      4320 |    3799    28823   471046 |     9607     4320    651 | 36.662 % |
33.99/34.01	c |      4421 |    3799    28823   471046 |    10568     4421    653 | 36.662 % |
34.88/34.92	c ===============================================================================
34.88/34.92	c New solution: 79047
34.88/34.92	o 79047
34.88/34.92	c Elapsed CPU time: 34.6327 s	Remaining CPU time: 145.367 s
34.88/34.92	c ===============================================================================
34.88/34.92	c |      4484 |    3799    28824   473137 |     9608     4484    654 | 36.662 % |
34.88/34.98	c ===============================================================================
34.88/34.98	c New solution: 79046
34.88/34.98	o 79046
34.88/34.98	c Elapsed CPU time: 34.6857 s	Remaining CPU time: 145.314 s
34.88/34.98	c ===============================================================================
34.88/34.98	c |      4486 |    3799    28825   475228 |     9608     4486    654 | 36.662 % |
34.98/35.08	c ===============================================================================
34.98/35.08	c New solution: 77423
34.98/35.08	o 77423
34.98/35.08	c Elapsed CPU time: 34.7907 s	Remaining CPU time: 145.209 s
34.98/35.08	c ===============================================================================
34.98/35.08	c |      4487 |    3799    28826   477319 |     9608     4487    654 | 36.662 % |
35.28/35.31	c ===============================================================================
35.28/35.31	c New solution: 77412
35.28/35.31	o 77412
35.28/35.31	c Elapsed CPU time: 35.0157 s	Remaining CPU time: 144.984 s
35.28/35.31	c ===============================================================================
35.28/35.31	c |      4501 |    3799    28827   479410 |     9609     4501    653 | 36.662 % |
35.38/35.46	c ===============================================================================
35.38/35.46	c New solution: 77388
35.38/35.46	o 77388
35.38/35.46	c Elapsed CPU time: 35.1647 s	Remaining CPU time: 144.835 s
35.38/35.46	c ===============================================================================
35.38/35.46	c |      4502 |    3799    28828   481501 |     9609     4502    653 | 36.662 % |
35.68/35.77	c ===============================================================================
35.68/35.77	c New solution: 77387
35.68/35.77	o 77387
35.68/35.77	c Elapsed CPU time: 35.4776 s	Remaining CPU time: 144.522 s
35.68/35.77	c ===============================================================================
35.68/35.77	c |      4518 |    3799    28829   483592 |     9609     4518    653 | 36.662 % |
35.88/35.92	c ===============================================================================
35.88/35.92	c New solution: 77386
35.88/35.92	o 77386
35.88/35.92	c Elapsed CPU time: 35.6296 s	Remaining CPU time: 144.37 s
35.88/35.92	c ===============================================================================
35.88/35.92	c |      4522 |    3799    28830   485683 |     9610     4522    653 | 36.662 % |
36.59/36.60	c |      4622 |    3799    28830   485683 |    10571     4622    654 | 36.662 % |
36.69/36.73	c ===============================================================================
36.69/36.73	c New solution: 77385
36.69/36.73	o 77385
36.69/36.73	c Elapsed CPU time: 36.4335 s	Remaining CPU time: 143.567 s
36.69/36.73	c ===============================================================================
36.69/36.73	c |      4623 |    3799    28831   487774 |     9610     4623    654 | 36.662 % |
37.09/37.11	c ===============================================================================
37.09/37.11	c New solution: 75755
37.09/37.11	o 75755
37.09/37.11	c Elapsed CPU time: 36.8154 s	Remaining CPU time: 143.185 s
37.09/37.11	c ===============================================================================
37.09/37.11	c |      4657 |    3799    28832   489865 |     9610     4657    655 | 36.662 % |
37.19/37.25	c ===============================================================================
37.19/37.25	c New solution: 75738
37.19/37.25	o 75738
37.19/37.25	c Elapsed CPU time: 36.9554 s	Remaining CPU time: 143.045 s
37.19/37.25	c ===============================================================================
37.19/37.25	c |      4657 |    3799    28833   491956 |     9611     4657    655 | 36.662 % |
37.29/37.33	c ===============================================================================
37.29/37.33	c New solution: 75737
37.29/37.33	o 75737
37.29/37.33	c Elapsed CPU time: 37.0314 s	Remaining CPU time: 142.969 s
37.29/37.33	c ===============================================================================
37.29/37.33	c |      4659 |    3799    28834   494047 |     9611     4659    655 | 36.662 % |
37.39/37.50	c ===============================================================================
37.39/37.50	c New solution: 75721
37.39/37.50	o 75721
37.39/37.50	c Elapsed CPU time: 37.1973 s	Remaining CPU time: 142.803 s
37.39/37.50	c ===============================================================================
37.39/37.50	c |      4659 |    3799    28835   496138 |     9611     4659    655 | 36.662 % |
37.58/37.62	c ===============================================================================
37.58/37.62	c New solution: 75713
37.58/37.62	o 75713
37.58/37.62	c Elapsed CPU time: 37.3223 s	Remaining CPU time: 142.678 s
37.58/37.62	c ===============================================================================
37.58/37.62	c |      4663 |    3799    28836   498229 |     9612     4663    655 | 36.662 % |
37.68/37.73	c ===============================================================================
37.68/37.73	c New solution: 74103
37.68/37.73	o 74103
37.68/37.73	c Elapsed CPU time: 37.4313 s	Remaining CPU time: 142.569 s
37.68/37.73	c ===============================================================================
37.68/37.73	c |      4666 |    3799    28837   500320 |     9612     4666    655 | 36.662 % |
37.88/37.90	c ===============================================================================
37.88/37.90	c New solution: 74065
37.88/37.90	o 74065
37.88/37.90	c Elapsed CPU time: 37.6033 s	Remaining CPU time: 142.397 s
37.88/37.90	c ===============================================================================
37.88/37.90	c |      4666 |    3799    28838   502411 |     9612     4666    655 | 36.662 % |
37.98/38.06	c ===============================================================================
37.98/38.06	c New solution: 74053
37.98/38.06	o 74053
37.98/38.06	c Elapsed CPU time: 37.7533 s	Remaining CPU time: 142.247 s
37.98/38.06	c ===============================================================================
37.98/38.06	c |      4666 |    3799    28839   504502 |     9613     4666    655 | 36.662 % |
38.18/38.21	c ===============================================================================
38.18/38.21	c New solution: 74052
38.18/38.21	o 74052
38.18/38.21	c Elapsed CPU time: 37.9022 s	Remaining CPU time: 142.098 s
38.18/38.21	c ===============================================================================
38.18/38.21	c |      4666 |    3799    28840   506593 |     9613     4666    655 | 36.662 % |
38.28/38.38	c ===============================================================================
38.28/38.38	c New solution: 74051
38.28/38.38	o 74051
38.28/38.38	c Elapsed CPU time: 38.0702 s	Remaining CPU time: 141.93 s
38.28/38.38	c ===============================================================================
38.28/38.38	c |      4669 |    3799    28841   508684 |     9613     4669    655 | 36.662 % |
38.49/38.52	c ===============================================================================
38.49/38.52	c New solution: 74050
38.49/38.52	o 74050
38.49/38.52	c Elapsed CPU time: 38.2162 s	Remaining CPU time: 141.784 s
38.49/38.52	c ===============================================================================
38.49/38.52	c |      4674 |    3799    28842   510775 |     9614     4674    655 | 36.662 % |
38.59/38.68	c ===============================================================================
38.59/38.68	c New solution: 72437
38.59/38.68	o 72437
38.59/38.68	c Elapsed CPU time: 38.3732 s	Remaining CPU time: 141.627 s
38.59/38.68	c ===============================================================================
38.59/38.68	c |      4676 |    3799    28843   512866 |     9614     4676    655 | 36.662 % |
38.78/38.83	c ===============================================================================
38.78/38.83	c New solution: 72433
38.78/38.83	o 72433
38.78/38.83	c Elapsed CPU time: 38.5221 s	Remaining CPU time: 141.478 s
38.78/38.83	c ===============================================================================
38.78/38.83	c |      4682 |    3799    28844   514957 |     9614     4682    654 | 36.662 % |
39.18/39.28	c ===============================================================================
39.18/39.28	c New solution: 72432
39.18/39.28	o 72432
39.18/39.28	c Elapsed CPU time: 38.9671 s	Remaining CPU time: 141.033 s
39.18/39.28	c ===============================================================================
39.18/39.28	c |      4693 |    3799    28845   517048 |     9615     4693    654 | 36.662 % |
39.39/39.45	c ===============================================================================
39.39/39.45	c New solution: 72400
39.39/39.45	o 72400
39.39/39.45	c Elapsed CPU time: 39.138 s	Remaining CPU time: 140.862 s
39.39/39.45	c ===============================================================================
39.39/39.45	c |      4697 |    3799    28846   519139 |     9615     4697    654 | 36.662 % |
39.59/39.61	c ===============================================================================
39.59/39.61	c New solution: 72386
39.59/39.61	o 72386
39.59/39.61	c Elapsed CPU time: 39.293 s	Remaining CPU time: 140.707 s
39.59/39.61	c ===============================================================================
39.59/39.61	c |      4697 |    3799    28847   521230 |     9615     4697    654 | 36.662 % |
39.69/39.76	c ===============================================================================
39.69/39.76	c New solution: 72385
39.69/39.76	o 72385
39.69/39.76	c Elapsed CPU time: 39.449 s	Remaining CPU time: 140.551 s
39.69/39.76	c ===============================================================================
39.69/39.76	c |      4699 |    3799    28848   523321 |     9616     4699    654 | 36.662 % |
40.59/40.60	c |      4799 |    3799    28848   523321 |    10577     4799    656 | 36.662 % |
41.09/41.19	c ===============================================================================
41.09/41.19	c New solution: 70764
41.09/41.19	o 70764
41.09/41.19	c Elapsed CPU time: 40.8768 s	Remaining CPU time: 139.123 s
41.09/41.19	c ===============================================================================
41.09/41.19	c |      4899 |    3799    28849   525412 |     9616     4899    656 | 36.662 % |
41.48/41.51	c ===============================================================================
41.48/41.51	c New solution: 70710
41.48/41.51	o 70710
41.48/41.51	c Elapsed CPU time: 41.1937 s	Remaining CPU time: 138.806 s
41.48/41.51	c ===============================================================================
41.48/41.51	c |      4901 |    3799    28850   527503 |     9616     4901    656 | 36.662 % |
42.48/42.55	c |      5002 |    3799    28850   527503 |    10578     5002    657 | 36.662 % |
42.98/43.07	c ===============================================================================
42.98/43.07	c New solution: 70709
42.98/43.07	o 70709
42.98/43.07	c Elapsed CPU time: 42.7485 s	Remaining CPU time: 137.251 s
42.98/43.07	c ===============================================================================
42.98/43.07	c |      5003 |    3799    28851   529594 |     9617     5003    657 | 36.662 % |
43.18/43.29	c ===============================================================================
43.18/43.29	c New solution: 70707
43.18/43.29	o 70707
43.18/43.29	c Elapsed CPU time: 42.9695 s	Remaining CPU time: 137.031 s
43.18/43.29	c ===============================================================================
43.18/43.29	c |      5003 |    3799    28852   531685 |     9617     5003    657 | 36.662 % |
43.58/43.63	c ===============================================================================
43.58/43.63	c New solution: 70706
43.58/43.63	o 70706
43.58/43.63	c Elapsed CPU time: 43.3034 s	Remaining CPU time: 136.697 s
43.58/43.63	c ===============================================================================
43.58/43.63	c |      5003 |    3799    28853   533776 |     9617     5003    657 | 36.662 % |
43.78/43.82	c ===============================================================================
43.78/43.82	c New solution: 70705
43.78/43.82	o 70705
43.78/43.82	c Elapsed CPU time: 43.4934 s	Remaining CPU time: 136.507 s
43.78/43.82	c ===============================================================================
43.78/43.82	c |      5004 |    3799    28854   535867 |     9618     5004    657 | 36.662 % |
44.58/44.61	c |      5104 |    3799    28854   535867 |    10579     5104    658 | 36.662 % |
44.78/44.80	c ===============================================================================
44.78/44.80	c New solution: 70704
44.78/44.80	o 70704
44.78/44.80	c Elapsed CPU time: 44.4752 s	Remaining CPU time: 135.525 s
44.78/44.80	c ===============================================================================
44.78/44.80	c |      5108 |    3799    28855   537958 |     9618     5108    658 | 36.662 % |
44.88/44.91	c ===============================================================================
44.88/44.91	c New solution: 69055
44.88/44.91	o 69055
44.88/44.91	c Elapsed CPU time: 44.5772 s	Remaining CPU time: 135.423 s
44.88/44.91	c ===============================================================================
44.88/44.91	c |      5114 |    3799    28856   540049 |     9618     5114    658 | 36.662 % |
45.09/45.11	c ===============================================================================
45.09/45.11	c New solution: 67430
45.09/45.11	o 67430
45.09/45.11	c Elapsed CPU time: 44.7822 s	Remaining CPU time: 135.218 s
45.09/45.11	c ===============================================================================
45.09/45.11	c |      5118 |    3799    28857   542140 |     9619     5118    658 | 36.662 % |
45.28/45.35	c ===============================================================================
45.28/45.35	c New solution: 67394
45.28/45.35	o 67394
45.28/45.35	c Elapsed CPU time: 45.0162 s	Remaining CPU time: 134.984 s
45.28/45.35	c ===============================================================================
45.28/45.35	c |      5119 |    3799    28858   544231 |     9619     5119    658 | 36.662 % |
45.68/45.76	c ===============================================================================
45.68/45.76	c New solution: 67393
45.68/45.76	o 67393
45.68/45.76	c Elapsed CPU time: 45.4221 s	Remaining CPU time: 134.578 s
45.68/45.76	c ===============================================================================
45.68/45.76	c |      5160 |    3799    28859   546322 |     9619     5160    658 | 36.662 % |
45.88/45.96	c ===============================================================================
45.88/45.96	c New solution: 67392
45.88/45.96	o 67392
45.88/45.96	c Elapsed CPU time: 45.6241 s	Remaining CPU time: 134.376 s
45.88/45.96	c ===============================================================================
45.88/45.96	c |      5163 |    3799    28860   548413 |     9620     5163    658 | 36.662 % |
46.28/46.34	c ===============================================================================
46.28/46.34	c New solution: 67375
46.28/46.34	o 67375
46.28/46.34	c Elapsed CPU time: 46.001 s	Remaining CPU time: 133.999 s
46.28/46.34	c ===============================================================================
46.28/46.34	c |      5163 |    3799    28861   550504 |     9620     5163    658 | 36.662 % |
46.68/46.71	c ===============================================================================
46.68/46.71	c New solution: 67374
46.68/46.71	o 67374
46.68/46.71	c Elapsed CPU time: 46.3749 s	Remaining CPU time: 133.625 s
46.68/46.71	c ===============================================================================
46.68/46.71	c |      5163 |    3799    28862   552595 |     9620     5163    658 | 36.662 % |
46.98/47.09	c ===============================================================================
46.98/47.09	c New solution: 67373
46.98/47.09	o 67373
46.98/47.09	c Elapsed CPU time: 46.7479 s	Remaining CPU time: 133.252 s
46.98/47.09	c ===============================================================================
46.98/47.09	c |      5163 |    3799    28863   554686 |     9621     5163    658 | 36.662 % |
47.38/47.49	c ===============================================================================
47.38/47.49	c New solution: 67371
47.38/47.49	o 67371
47.38/47.49	c Elapsed CPU time: 47.1518 s	Remaining CPU time: 132.848 s
47.38/47.49	c ===============================================================================
47.38/47.49	c |      5165 |    3799    28864   556777 |     9621     5165    658 | 36.662 % |
47.68/47.72	c ===============================================================================
47.68/47.72	c New solution: 67370
47.68/47.72	o 67370
47.68/47.72	c Elapsed CPU time: 47.3828 s	Remaining CPU time: 132.617 s
47.68/47.72	c ===============================================================================
47.68/47.72	c |      5170 |    3799    28865   558868 |     9621     5170    658 | 36.662 % |
48.28/48.31	c ===============================================================================
48.28/48.31	c New solution: 67369
48.28/48.31	o 67369
48.28/48.31	c Elapsed CPU time: 47.9637 s	Remaining CPU time: 132.036 s
48.28/48.31	c ===============================================================================
48.28/48.31	c |      5237 |    3799    28866   560959 |     9622     5237    659 | 36.662 % |
48.38/48.48	c ===============================================================================
48.38/48.48	c New solution: 67368
48.38/48.48	o 67368
48.38/48.48	c Elapsed CPU time: 48.1367 s	Remaining CPU time: 131.863 s
48.38/48.48	c ===============================================================================
48.38/48.48	c |      5237 |    3799    28867   563050 |     9622     5237    659 | 36.662 % |
48.58/48.68	c ===============================================================================
48.58/48.68	c New solution: 67367
48.58/48.68	o 67367
48.58/48.68	c Elapsed CPU time: 48.3337 s	Remaining CPU time: 131.666 s
48.58/48.68	c ===============================================================================
48.58/48.68	c |      5239 |    3799    28868   565141 |     9622     5239    659 | 36.662 % |
49.28/49.30	c ===============================================================================
49.28/49.30	c New solution: 65774
49.28/49.30	o 65774
49.28/49.30	c Elapsed CPU time: 48.9536 s	Remaining CPU time: 131.046 s
49.28/49.30	c ===============================================================================
49.28/49.30	c |      5281 |    3799    28869   567232 |     9623     5281    659 | 36.662 % |
49.68/49.72	c ===============================================================================
49.68/49.72	c New solution: 65700
49.68/49.72	o 65700
49.68/49.72	c Elapsed CPU time: 49.3755 s	Remaining CPU time: 130.625 s
49.68/49.72	c ===============================================================================
49.68/49.72	c |      5283 |    3799    28870   569323 |     9623     5283    659 | 36.662 % |
50.08/50.16	c ===============================================================================
50.08/50.16	c New solution: 65699
50.08/50.16	o 65699
50.08/50.16	c Elapsed CPU time: 49.8104 s	Remaining CPU time: 130.19 s
50.08/50.16	c ===============================================================================
50.08/50.16	c |      5284 |    3799    28871   571414 |     9623     5284    659 | 36.662 % |
50.28/50.31	c ===============================================================================
50.28/50.31	c New solution: 65698
50.28/50.31	o 65698
50.28/50.31	c Elapsed CPU time: 49.9534 s	Remaining CPU time: 130.047 s
50.28/50.31	c ===============================================================================
50.28/50.31	c |      5285 |    3799    28872   573505 |     9624     5285    659 | 36.662 % |
51.48/51.53	c ===============================================================================
51.48/51.53	c New solution: 65697
51.48/51.53	o 65697
51.48/51.53	c Elapsed CPU time: 51.1792 s	Remaining CPU time: 128.821 s
51.48/51.53	c ===============================================================================
51.48/51.53	c |      5356 |    3799    28873   575596 |     9624     5356    659 | 36.662 % |
51.77/51.88	c ===============================================================================
51.77/51.88	c New solution: 65696
51.77/51.88	o 65696
51.77/51.88	c Elapsed CPU time: 51.5282 s	Remaining CPU time: 128.472 s
51.77/51.88	c ===============================================================================
51.77/51.88	c |      5391 |    3799    28874   577687 |     9624     5391    660 | 36.662 % |
53.37/53.48	c |      5493 |    3799    28874   577687 |    10587     5493    660 | 36.662 % |
54.99/55.09	c |      5644 |    3799    28874   577687 |    11645     5644    661 | 36.662 % |
55.18/55.20	c ===============================================================================
55.18/55.20	c New solution: 65695
55.18/55.20	o 65695
55.18/55.20	c Elapsed CPU time: 54.8327 s	Remaining CPU time: 125.167 s
55.18/55.20	c ===============================================================================
55.18/55.20	c |      5651 |    3799    28875   579778 |     9625     5651    661 | 36.662 % |
56.18/56.27	c |      5751 |    3799    28875   579778 |    10587     5751    661 | 36.662 % |
56.38/56.44	c ===============================================================================
56.38/56.44	c New solution: 65694
56.38/56.44	o 65694
56.38/56.44	c Elapsed CPU time: 56.0795 s	Remaining CPU time: 123.921 s
56.38/56.44	c ===============================================================================
56.38/56.44	c |      5755 |    3799    28876   581869 |     9625     5755    661 | 36.662 % |
57.68/57.71	c |      5855 |    3799    28876   581869 |    10587     5855    662 | 36.662 % |
57.87/57.91	c ===============================================================================
57.87/57.91	c New solution: 65693
57.87/57.91	o 65693
57.87/57.91	c Elapsed CPU time: 57.5423 s	Remaining CPU time: 122.458 s
57.87/57.91	c ===============================================================================
57.87/57.91	c |      5855 |    3799    28877   583960 |     9625     5855    662 | 36.662 % |
57.98/58.09	c ===============================================================================
57.98/58.09	c New solution: 65692
57.98/58.09	o 65692
57.98/58.09	c Elapsed CPU time: 57.7212 s	Remaining CPU time: 122.279 s
57.98/58.09	c ===============================================================================
57.98/58.09	c |      5855 |    3799    28878   586051 |     9626     5855    662 | 36.662 % |
58.19/58.27	c ===============================================================================
58.19/58.27	c New solution: 65691
58.19/58.27	o 65691
58.19/58.27	c Elapsed CPU time: 57.9002 s	Remaining CPU time: 122.1 s
58.19/58.27	c ===============================================================================
58.19/58.27	c |      5855 |    3799    28879   588142 |     9626     5855    662 | 36.662 % |
58.38/58.46	c ===============================================================================
58.38/58.46	c New solution: 65690
58.38/58.46	o 65690
58.38/58.46	c Elapsed CPU time: 58.0832 s	Remaining CPU time: 121.917 s
58.38/58.46	c ===============================================================================
58.38/58.46	c |      5855 |    3799    28880   590233 |     9626     5855    662 | 36.662 % |
58.58/58.65	c ===============================================================================
58.58/58.65	c New solution: 65689
58.58/58.65	o 65689
58.58/58.65	c Elapsed CPU time: 58.2781 s	Remaining CPU time: 121.722 s
58.58/58.65	c ===============================================================================
58.58/58.65	c |      5856 |    3799    28881   592324 |     9627     5856    662 | 36.662 % |
59.18/59.20	c |      5957 |    3799    28881   592324 |    10589     5957    662 | 36.662 % |
60.28/60.38	c ===============================================================================
60.28/60.38	c New solution: 64069
60.28/60.38	o 64069
60.28/60.38	c Elapsed CPU time: 60.0119 s	Remaining CPU time: 119.988 s
60.28/60.38	c ===============================================================================
60.28/60.38	c |      6089 |    3799    28882   594415 |     9627     6089    663 | 36.662 % |
60.78/60.84	c ===============================================================================
60.78/60.84	c New solution: 64046
60.78/60.84	o 64046
60.78/60.84	c Elapsed CPU time: 60.4678 s	Remaining CPU time: 119.532 s
60.78/60.84	c ===============================================================================
60.78/60.84	c |      6092 |    3799    28883   596506 |     9627     6092    663 | 36.662 % |
61.18/61.27	c ===============================================================================
61.18/61.27	c New solution: 64045
61.18/61.27	o 64045
61.18/61.27	c Elapsed CPU time: 60.8957 s	Remaining CPU time: 119.104 s
61.18/61.27	c ===============================================================================
61.18/61.27	c |      6096 |    3799    28884   598597 |     9628     6096    663 | 36.662 % |
61.38/61.44	c ===============================================================================
61.38/61.44	c New solution: 64044
61.38/61.44	o 64044
61.38/61.44	c Elapsed CPU time: 61.0667 s	Remaining CPU time: 118.933 s
61.38/61.44	c ===============================================================================
61.38/61.44	c |      6102 |    3799    28885   600688 |     9628     6102    663 | 36.662 % |
62.28/62.38	c |      6202 |    3799    28885   600688 |    10591     6202    663 | 36.662 % |
62.58/62.62	c ===============================================================================
62.58/62.62	c New solution: 64035
62.58/62.62	o 64035
62.58/62.62	c Elapsed CPU time: 62.2445 s	Remaining CPU time: 117.755 s
62.58/62.62	c ===============================================================================
62.58/62.62	c |      6202 |    3799    28886   602779 |     9628     6202    663 | 36.662 % |
62.77/62.86	c ===============================================================================
62.77/62.86	c New solution: 64034
62.77/62.86	o 64034
62.77/62.86	c Elapsed CPU time: 62.4795 s	Remaining CPU time: 117.52 s
62.77/62.86	c ===============================================================================
62.77/62.86	c |      6202 |    3799    28887   604870 |     9629     6202    663 | 36.662 % |
62.97/63.07	c ===============================================================================
62.97/63.07	c New solution: 64021
62.97/63.07	o 64021
62.97/63.07	c Elapsed CPU time: 62.6905 s	Remaining CPU time: 117.31 s
62.97/63.07	c ===============================================================================
62.97/63.07	c |      6202 |    3799    28888   606961 |     9629     6202    663 | 36.662 % |
63.28/63.31	c ===============================================================================
63.28/63.31	c New solution: 64019
63.28/63.31	o 64019
63.28/63.31	c Elapsed CPU time: 62.9264 s	Remaining CPU time: 117.074 s
63.28/63.31	c ===============================================================================
63.28/63.31	c |      6205 |    3799    28889   609052 |     9629     6205    663 | 36.662 % |
65.28/65.35	c |      6305 |    3799    28889   609052 |    10592     6305    664 | 36.662 % |
65.38/65.48	c ===============================================================================
65.38/65.48	c New solution: 64018
65.38/65.48	o 64018
65.38/65.48	c Elapsed CPU time: 65.0981 s	Remaining CPU time: 114.902 s
65.38/65.48	c ===============================================================================
65.38/65.48	c |      6310 |    3799    28890   611143 |     9630     6310    664 | 36.662 % |
67.28/67.35	c ===============================================================================
67.28/67.35	c New solution: 62500
67.28/67.35	o 62500
67.28/67.35	c Elapsed CPU time: 66.9538 s	Remaining CPU time: 113.046 s
67.28/67.35	c ===============================================================================
67.28/67.35	c |      6374 |    3799    28891   613234 |     9630     6374    662 | 36.662 % |
67.58/67.66	c ===============================================================================
67.58/67.66	c New solution: 62377
67.58/67.66	o 62377
67.58/67.66	c Elapsed CPU time: 67.2718 s	Remaining CPU time: 112.728 s
67.58/67.66	c ===============================================================================
67.58/67.66	c |      6379 |    3799    28892   615325 |     9630     6379    662 | 36.662 % |
67.88/67.93	c ===============================================================================
67.88/67.93	c New solution: 62376
67.88/67.93	o 62376
67.88/67.93	c Elapsed CPU time: 67.5327 s	Remaining CPU time: 112.467 s
67.88/67.93	c ===============================================================================
67.88/67.93	c |      6387 |    3799    28893   617416 |     9631     6387    662 | 36.662 % |
68.08/68.15	c ===============================================================================
68.08/68.15	c New solution: 62375
68.08/68.15	o 62375
68.08/68.15	c Elapsed CPU time: 67.7547 s	Remaining CPU time: 112.245 s
68.08/68.15	c ===============================================================================
68.08/68.15	c |      6389 |    3799    28894   619507 |     9631     6389    662 | 36.662 % |
68.28/68.38	c ===============================================================================
68.28/68.38	c New solution: 62374
68.28/68.38	o 62374
68.28/68.38	c Elapsed CPU time: 67.9797 s	Remaining CPU time: 112.02 s
68.28/68.38	c ===============================================================================
68.28/68.38	c |      6390 |    3799    28895   621598 |     9631     6390    662 | 36.662 % |
69.47/69.56	c |      6490 |    3799    28895   621598 |    10594     6490    663 | 36.662 % |
69.67/69.72	c ===============================================================================
69.67/69.72	c New solution: 62373
69.67/69.72	o 62373
69.67/69.72	c Elapsed CPU time: 69.3145 s	Remaining CPU time: 110.686 s
69.67/69.72	c ===============================================================================
69.67/69.72	c |      6502 |    3799    28896   623689 |     9632     6502    663 | 36.662 % |
70.78/70.83	c |      6603 |    3799    28896   623689 |    10595     6603    663 | 36.662 % |
71.38/71.40	c ===============================================================================
71.38/71.40	c New solution: 62372
71.38/71.40	o 62372
71.38/71.40	c Elapsed CPU time: 70.9992 s	Remaining CPU time: 109.001 s
71.38/71.40	c ===============================================================================
71.38/71.40	c |      6608 |    3799    28897   625780 |     9632     6608    663 | 36.662 % |
72.48/72.60	c |      6708 |    3799    28897   625780 |    10595     6708    664 | 36.662 % |
72.77/72.83	c ===============================================================================
72.77/72.83	c New solution: 62371
72.77/72.83	o 62371
72.77/72.83	c Elapsed CPU time: 72.421 s	Remaining CPU time: 107.579 s
72.77/72.83	c ===============================================================================
72.77/72.83	c |      6713 |    3799    28898   627871 |     9632     6713    664 | 36.662 % |
73.87/73.96	c |      6813 |    3799    28898   627871 |    10595     6813    664 | 36.662 % |
74.07/74.16	c ===============================================================================
74.07/74.16	c New solution: 62370
74.07/74.16	o 62370
74.07/74.16	c Elapsed CPU time: 73.7538 s	Remaining CPU time: 106.246 s
74.07/74.16	c ===============================================================================
74.07/74.16	c |      6837 |    3799    28899   629962 |     9633     6837    664 | 36.662 % |
75.67/75.74	c |      6937 |    3799    28899   629962 |    10596     6937    665 | 36.662 % |
77.07/77.11	c |      7087 |    3799    28899   629962 |    11655     7087    666 | 36.662 % |
77.57/77.67	c ===============================================================================
77.57/77.67	c New solution: 62369
77.57/77.67	o 62369
77.57/77.67	c Elapsed CPU time: 77.2573 s	Remaining CPU time: 102.743 s
77.57/77.67	c ===============================================================================
77.57/77.67	c |      7094 |    3799    28900   632053 |     9633     7094    666 | 36.662 % |
77.97/78.02	c ===============================================================================
77.97/78.02	c New solution: 62368
77.97/78.02	o 62368
77.97/78.02	c Elapsed CPU time: 77.6032 s	Remaining CPU time: 102.397 s
77.97/78.02	c ===============================================================================
77.97/78.02	c |      7131 |    3799    28901   634144 |     9633     7131    665 | 36.662 % |
78.37/78.49	c ===============================================================================
78.37/78.49	c New solution: 60766
78.37/78.49	o 60766
78.37/78.49	c Elapsed CPU time: 78.0771 s	Remaining CPU time: 101.923 s
78.37/78.49	c ===============================================================================
78.37/78.49	c |      7169 |    3799    28902   636235 |     9634     7169    665 | 36.662 % |
78.67/78.71	c ===============================================================================
78.67/78.71	c New solution: 60738
78.67/78.71	o 60738
78.67/78.71	c Elapsed CPU time: 78.2951 s	Remaining CPU time: 101.705 s
78.67/78.71	c ===============================================================================
78.67/78.71	c |      7170 |    3799    28903   638326 |     9634     7170    665 | 36.662 % |
79.18/79.27	c ===============================================================================
79.18/79.27	c New solution: 60737
79.18/79.27	o 60737
79.18/79.27	c Elapsed CPU time: 78.848 s	Remaining CPU time: 101.152 s
79.18/79.27	c ===============================================================================
79.18/79.27	c |      7174 |    3799    28904   640417 |     9634     7174    665 | 36.662 % |
79.37/79.50	c ===============================================================================
79.37/79.50	c New solution: 60705
79.37/79.50	o 60705
79.37/79.50	c Elapsed CPU time: 79.076 s	Remaining CPU time: 100.924 s
79.37/79.50	c ===============================================================================
79.37/79.50	c |      7174 |    3799    28905   642508 |     9635     7174    665 | 36.662 % |
79.67/79.72	c ===============================================================================
79.67/79.72	c New solution: 60702
79.67/79.72	o 60702
79.67/79.72	c Elapsed CPU time: 79.2989 s	Remaining CPU time: 100.701 s
79.67/79.72	c ===============================================================================
79.67/79.72	c |      7174 |    3799    28906   644599 |     9635     7174    665 | 36.662 % |
79.87/79.94	c ===============================================================================
79.87/79.94	c New solution: 60701
79.87/79.94	o 60701
79.87/79.94	c Elapsed CPU time: 79.5189 s	Remaining CPU time: 100.481 s
79.87/79.94	c ===============================================================================
79.87/79.94	c |      7174 |    3799    28907   646690 |     9635     7174    665 | 36.662 % |
80.07/80.16	c ===============================================================================
80.07/80.16	c New solution: 60700
80.07/80.16	o 60700
80.07/80.16	c Elapsed CPU time: 79.7379 s	Remaining CPU time: 100.262 s
80.07/80.16	c ===============================================================================
80.07/80.16	c |      7174 |    3799    28908   648781 |     9636     7174    665 | 36.662 % |
80.28/80.39	c ===============================================================================
80.28/80.39	c New solution: 60699
80.28/80.39	o 60699
80.28/80.39	c Elapsed CPU time: 79.9668 s	Remaining CPU time: 100.033 s
80.28/80.39	c ===============================================================================
80.28/80.39	c |      7174 |    3799    28909   650872 |     9636     7174    665 | 36.662 % |
80.68/80.72	c ===============================================================================
80.68/80.72	c New solution: 60698
80.68/80.72	o 60698
80.68/80.72	c Elapsed CPU time: 80.2908 s	Remaining CPU time: 99.7092 s
80.68/80.72	c ===============================================================================
80.68/80.72	c |      7190 |    3799    28910   652963 |     9636     7190    665 | 36.662 % |
81.87/81.99	c |      7290 |    3799    28910   652963 |    10600     7290    666 | 36.662 % |
83.67/83.71	c |      7441 |    3799    28910   652963 |    11660     7441    667 | 36.662 % |
86.66/86.79	c |      7666 |    3799    28910   652963 |    12826     7666    668 | 36.662 % |
86.96/87.04	c ===============================================================================
86.96/87.04	c New solution: 60697
86.96/87.04	o 60697
86.96/87.04	c Elapsed CPU time: 86.6048 s	Remaining CPU time: 93.3952 s
86.96/87.04	c ===============================================================================
86.96/87.04	c |      7669 |    3799    28911   655054 |     9637     7669    667 | 36.662 % |
88.27/88.35	c |      7770 |    3799    28911   655054 |    10600     7770    668 | 36.662 % |
88.57/88.61	c ===============================================================================
88.57/88.61	c New solution: 60696
88.57/88.61	o 60696
88.57/88.61	c Elapsed CPU time: 88.1746 s	Remaining CPU time: 91.8254 s
88.57/88.61	c ===============================================================================
88.57/88.61	c |      7771 |    3799    28912   657145 |     9637     7771    668 | 36.662 % |
90.97/91.03	c |      7872 |    3799    28912   657145 |    10601     7872    668 | 36.662 % |
91.37/91.49	c ===============================================================================
91.37/91.49	c New solution: 60695
91.37/91.49	o 60695
91.37/91.49	c Elapsed CPU time: 91.0452 s	Remaining CPU time: 88.9548 s
91.37/91.49	c ===============================================================================
91.37/91.49	c |      7873 |    3799    28913   659236 |     9637     7873    668 | 36.662 % |
93.87/93.90	c |      7974 |    3799    28913   659236 |    10601     7974    668 | 36.662 % |
94.27/94.38	c ===============================================================================
94.27/94.38	c New solution: 60694
94.27/94.38	o 60694
94.27/94.38	c Elapsed CPU time: 93.9277 s	Remaining CPU time: 86.0723 s
94.27/94.38	c ===============================================================================
94.27/94.38	c |      7995 |    3799    28914   661327 |     9638     7995    668 | 36.662 % |
96.07/96.11	c |      8095 |    3799    28914   661327 |    10601     8095    668 | 36.662 % |
97.97/98.04	c |      8246 |    3799    28914   661327 |    11661     8246    669 | 36.662 % |
98.16/98.24	c ===============================================================================
98.16/98.24	c New solution: 60693
98.16/98.24	o 60693
98.16/98.24	c Elapsed CPU time: 97.7811 s	Remaining CPU time: 82.2189 s
98.16/98.24	c ===============================================================================
98.16/98.24	c |      8257 |    3799    28915   663418 |     9638     8257    669 | 36.662 % |
99.46/99.58	c |      8357 |    3799    28915   663418 |    10602     8357    669 | 36.662 % |
100.26/100.32	c ===============================================================================
100.26/100.32	c New solution: 60692
100.26/100.32	o 60692
100.26/100.32	c Elapsed CPU time: 99.8578 s	Remaining CPU time: 80.1422 s
100.26/100.32	c ===============================================================================
100.26/100.32	c |      8391 |    3799    28916   665509 |     9638     8391    669 | 36.662 % |
100.46/100.58	c ===============================================================================
100.46/100.58	c New solution: 60691
100.46/100.58	o 60691
100.46/100.58	c Elapsed CPU time: 100.123 s	Remaining CPU time: 79.8772 s
100.46/100.58	c ===============================================================================
100.46/100.58	c |      8393 |    3799    28917   667600 |     9639     8393    669 | 36.662 % |
100.77/100.82	c ===============================================================================
100.77/100.82	c New solution: 60690
100.77/100.82	o 60690
100.77/100.82	c Elapsed CPU time: 100.364 s	Remaining CPU time: 79.6363 s
100.77/100.82	c ===============================================================================
100.77/100.82	c |      8393 |    3799    28918   669691 |     9639     8393    669 | 36.662 % |
100.97/101.06	c ===============================================================================
100.97/101.06	c New solution: 60689
100.97/101.06	o 60689
100.97/101.06	c Elapsed CPU time: 100.603 s	Remaining CPU time: 79.3973 s
100.97/101.06	c ===============================================================================
100.97/101.06	c |      8393 |    3799    28919   671782 |     9639     8393    669 | 36.662 % |
101.27/101.30	c ===============================================================================
101.27/101.30	c New solution: 60688
101.27/101.30	o 60688
101.27/101.30	c Elapsed CPU time: 100.839 s	Remaining CPU time: 79.1613 s
101.27/101.30	c ===============================================================================
101.27/101.30	c |      8393 |    3799    28920   673873 |     9640     8393    669 | 36.662 % |
101.47/101.53	c ===============================================================================
101.47/101.53	c New solution: 60687
101.47/101.53	o 60687
101.47/101.53	c Elapsed CPU time: 101.071 s	Remaining CPU time: 78.9294 s
101.47/101.53	c ===============================================================================
101.47/101.53	c |      8394 |    3799    28921   675964 |     9640     8394    669 | 36.662 % |
101.67/101.76	c ===============================================================================
101.67/101.76	c New solution: 60686
101.67/101.76	o 60686
101.67/101.76	c Elapsed CPU time: 101.301 s	Remaining CPU time: 78.6994 s
101.67/101.76	c ===============================================================================
101.67/101.76	c |      8394 |    3799    28922   678055 |     9640     8394    669 | 36.662 % |
103.17/103.24	c |      8495 |    3799    28922   678055 |    10604     8495    669 | 36.662 % |
103.37/103.49	c ===============================================================================
103.37/103.49	c New solution: 60685
103.37/103.49	o 60685
103.37/103.49	c Elapsed CPU time: 103.019 s	Remaining CPU time: 76.9807 s
103.37/103.49	c ===============================================================================
103.37/103.49	c |      8496 |    3799    28923   680146 |     9641     8496    669 | 36.662 % |
104.96/105.09	c |      8597 |    3799    28923   680146 |    10605     8597    669 | 36.662 % |
105.57/105.61	c ===============================================================================
105.57/105.61	c New solution: 60684
105.57/105.61	o 60684
105.57/105.61	c Elapsed CPU time: 105.136 s	Remaining CPU time: 74.864 s
105.57/105.61	c ===============================================================================
105.57/105.61	c |      8619 |    3799    28924   682237 |     9641     8619    669 | 36.662 % |
108.16/108.26	c |      8721 |    3799    28924   682237 |    10605     8721    669 | 36.662 % |
109.98/110.03	c |      8871 |    3799    28924   682237 |    11666     8871    670 | 36.662 % |
110.17/110.21	c ===============================================================================
110.17/110.21	c New solution: 60683
110.17/110.21	o 60683
110.17/110.21	c Elapsed CPU time: 109.735 s	Remaining CPU time: 70.2647 s
110.17/110.21	c ===============================================================================
110.17/110.21	c |      8871 |    3799    28925   684328 |     9641     8871    670 | 36.662 % |
111.17/111.26	c |      8972 |    3799    28925   684328 |    10605     8972    670 | 36.662 % |
111.66/111.72	c ===============================================================================
111.66/111.72	c New solution: 60682
111.66/111.72	o 60682
111.66/111.72	c Elapsed CPU time: 111.24 s	Remaining CPU time: 68.7599 s
111.66/111.72	c ===============================================================================
111.66/111.72	c |      8986 |    3799    28926   686419 |     9642     8986    670 | 36.662 % |
111.86/111.91	c ===============================================================================
111.86/111.91	c New solution: 60681
111.86/111.91	o 60681
111.86/111.91	c Elapsed CPU time: 111.428 s	Remaining CPU time: 68.5719 s
111.86/111.91	c ===============================================================================
111.86/111.91	c |      9001 |    3799    28927   688510 |     9642     9001    670 | 36.662 % |
112.26/112.37	c ===============================================================================
112.26/112.37	c New solution: 59100
112.26/112.37	o 59100
112.26/112.37	c Elapsed CPU time: 111.89 s	Remaining CPU time: 68.11 s
112.26/112.37	c ===============================================================================
112.26/112.37	c |      9003 |    3799    28928   690601 |     9642     9003    670 | 36.662 % |
112.66/112.70	c ===============================================================================
112.66/112.70	c New solution: 59099
112.66/112.70	o 59099
112.66/112.70	c Elapsed CPU time: 112.219 s	Remaining CPU time: 67.7811 s
112.66/112.70	c ===============================================================================
112.66/112.70	c |      9005 |    3799    28929   692692 |     9643     9005    670 | 36.662 % |
112.86/112.92	c ===============================================================================
112.86/112.92	c New solution: 59097
112.86/112.92	o 59097
112.86/112.92	c Elapsed CPU time: 112.437 s	Remaining CPU time: 67.5631 s
112.86/112.92	c ===============================================================================
112.86/112.92	c |      9007 |    3799    28930   694783 |     9643     9007    669 | 36.662 % |
113.17/113.28	c ===============================================================================
113.17/113.28	c New solution: 59096
113.17/113.28	o 59096
113.17/113.28	c Elapsed CPU time: 112.801 s	Remaining CPU time: 67.1991 s
113.17/113.28	c ===============================================================================
113.17/113.28	c |      9016 |    3799    28931   696874 |     9643     9016    670 | 36.662 % |
113.56/113.60	c ===============================================================================
113.56/113.60	c New solution: 59062
113.56/113.60	o 59062
113.56/113.60	c Elapsed CPU time: 113.121 s	Remaining CPU time: 66.8792 s
113.56/113.60	c ===============================================================================
113.56/113.60	c |      9016 |    3799    28932   698965 |     9644     9016    670 | 36.662 % |
113.77/113.88	c ===============================================================================
113.77/113.88	c New solution: 59045
113.77/113.88	o 59045
113.77/113.88	c Elapsed CPU time: 113.396 s	Remaining CPU time: 66.6042 s
113.77/113.88	c ===============================================================================
113.77/113.88	c |      9016 |    3799    28933   701056 |     9644     9016    670 | 36.662 % |
114.07/114.15	c ===============================================================================
114.07/114.15	c New solution: 59043
114.07/114.15	o 59043
114.07/114.15	c Elapsed CPU time: 113.664 s	Remaining CPU time: 66.3363 s
114.07/114.15	c ===============================================================================
114.07/114.15	c |      9016 |    3799    28934   703147 |     9644     9016    670 | 36.662 % |
114.37/114.46	c ===============================================================================
114.37/114.46	c New solution: 59042
114.37/114.46	o 59042
114.37/114.46	c Elapsed CPU time: 113.979 s	Remaining CPU time: 66.0213 s
114.37/114.46	c ===============================================================================
114.37/114.46	c |      9018 |    3799    28935   705238 |     9645     9018    670 | 36.662 % |
114.67/114.71	c ===============================================================================
114.67/114.71	c New solution: 59041
114.67/114.71	o 59041
114.67/114.71	c Elapsed CPU time: 114.224 s	Remaining CPU time: 65.7764 s
114.67/114.71	c ===============================================================================
114.67/114.71	c |      9021 |    3799    28936   707329 |     9645     9021    670 | 36.662 % |
114.97/115.03	c ===============================================================================
114.97/115.03	c New solution: 59040
114.97/115.03	o 59040
114.97/115.03	c Elapsed CPU time: 114.547 s	Remaining CPU time: 65.4534 s
114.97/115.03	c ===============================================================================
114.97/115.03	c |      9031 |    3799    28937   709420 |     9645     9031    670 | 36.662 % |
115.17/115.25	c ===============================================================================
115.17/115.25	c New solution: 59039
115.17/115.25	o 59039
115.17/115.25	c Elapsed CPU time: 114.762 s	Remaining CPU time: 65.2384 s
115.17/115.25	c ===============================================================================
115.17/115.25	c |      9034 |    3799    28938   711511 |     9646     9034    669 | 36.662 % |
116.16/116.25	c |      9135 |    3799    28938   711511 |    10610     9135    670 | 36.662 % |
116.47/116.53	c ===============================================================================
116.47/116.53	c New solution: 59034
116.47/116.53	o 59034
116.47/116.53	c Elapsed CPU time: 116.038 s	Remaining CPU time: 63.9616 s
116.47/116.53	c ===============================================================================
116.47/116.53	c |      9135 |    3799    28939   713602 |     9646     9135    670 | 36.662 % |
116.76/116.80	c ===============================================================================
116.76/116.80	c New solution: 59033
116.76/116.80	o 59033
116.76/116.80	c Elapsed CPU time: 116.303 s	Remaining CPU time: 63.6967 s
116.76/116.80	c ===============================================================================
116.76/116.80	c |      9135 |    3799    28940   715693 |     9646     9135    670 | 36.662 % |
117.07/117.11	c ===============================================================================
117.07/117.11	c New solution: 59032
117.07/117.11	o 59032
117.07/117.11	c Elapsed CPU time: 116.618 s	Remaining CPU time: 63.3817 s
117.07/117.11	c ===============================================================================
117.07/117.11	c |      9141 |    3799    28941   717784 |     9647     9141    670 | 36.662 % |
117.27/117.40	c ===============================================================================
117.27/117.40	c New solution: 59031
117.27/117.40	o 59031
117.27/117.40	c Elapsed CPU time: 116.899 s	Remaining CPU time: 63.1008 s
117.27/117.40	c ===============================================================================
117.27/117.40	c |      9143 |    3799    28942   719875 |     9647     9143    670 | 36.662 % |
117.57/117.70	c ===============================================================================
117.57/117.70	c New solution: 59030
117.57/117.70	o 59030
117.57/117.70	c Elapsed CPU time: 117.205 s	Remaining CPU time: 62.7948 s
117.57/117.70	c ===============================================================================
117.57/117.70	c |      9167 |    3799    28943   721966 |     9647     9167    670 | 36.662 % |
119.36/119.45	c |      9268 |    3799    28943   721966 |    10612     9268    670 | 36.662 % |
119.77/119.84	c ===============================================================================
119.77/119.84	c New solution: 59029
119.77/119.84	o 59029
119.77/119.84	c Elapsed CPU time: 119.343 s	Remaining CPU time: 60.6571 s
119.77/119.84	c ===============================================================================
119.77/119.84	c |      9278 |    3799    28944   724057 |     9648     9278    670 | 36.662 % |
122.46/122.57	c |      9378 |    3799    28944   724057 |    10612     9378    670 | 36.662 % |
122.76/122.86	c ===============================================================================
122.76/122.86	c New solution: 59028
122.76/122.86	o 59028
122.76/122.86	c Elapsed CPU time: 122.353 s	Remaining CPU time: 57.6466 s
122.76/122.86	c ===============================================================================
122.76/122.86	c |      9389 |    3799    28945   726148 |     9648     9389    670 | 36.662 % |
124.06/124.19	c |      9490 |    3799    28945   726148 |    10613     9490    671 | 36.662 % |
126.06/126.16	c |      9640 |    3799    28945   726148 |    11674     9640    671 | 36.662 % |
126.37/126.43	c ===============================================================================
126.37/126.43	c New solution: 59027
126.37/126.43	o 59027
126.37/126.43	c Elapsed CPU time: 125.916 s	Remaining CPU time: 54.0841 s
126.37/126.43	c ===============================================================================
126.37/126.43	c |      9648 |    3799    28946   728239 |     9648     9648    671 | 36.662 % |
128.57/128.63	c |      9748 |    3799    28946   728239 |    10613     9748    671 | 36.662 % |
129.06/129.17	c ===============================================================================
129.06/129.17	c New solution: 59026
129.06/129.17	o 59026
129.06/129.17	c Elapsed CPU time: 128.655 s	Remaining CPU time: 51.3446 s
129.06/129.17	c ===============================================================================
129.06/129.17	c |      9749 |    3799    28947   730330 |     9649     9749    671 | 36.662 % |
129.56/129.70	c ===============================================================================
129.56/129.70	c New solution: 59025
129.56/129.70	o 59025
129.56/129.70	c Elapsed CPU time: 129.187 s	Remaining CPU time: 50.8126 s
129.56/129.70	c ===============================================================================
129.56/129.70	c |      9749 |    3799    28948   732421 |     9649     9749    671 | 36.662 % |
130.16/130.24	c ===============================================================================
130.16/130.24	c New solution: 59024
130.16/130.24	o 59024
130.16/130.24	c Elapsed CPU time: 129.723 s	Remaining CPU time: 50.2767 s
130.16/130.24	c ===============================================================================
130.16/130.24	c |      9751 |    3799    28949   734512 |     9649     9751    671 | 36.662 % |
131.36/131.43	c |      9851 |    3799    28949   734512 |    10614     9851    671 | 36.662 % |
133.65/133.79	c |     10001 |    3799    28949   734512 |    11676    10001    671 | 36.662 % |
134.36/134.45	c ===============================================================================
134.36/134.45	c New solution: 59023
134.36/134.45	o 59023
134.36/134.45	c Elapsed CPU time: 133.934 s	Remaining CPU time: 46.0664 s
134.36/134.45	c ===============================================================================
134.36/134.45	c |     10096 |    3799    28950   736603 |     9650    10096    671 | 36.662 % |
134.66/134.77	c ===============================================================================
134.66/134.77	c New solution: 57435
134.66/134.77	o 57435
134.66/134.77	c Elapsed CPU time: 134.246 s	Remaining CPU time: 45.7544 s
134.66/134.77	c ===============================================================================
134.66/134.77	c |     10097 |    3799    28951   738694 |     9650    10097    671 | 36.662 % |
134.96/135.04	c ===============================================================================
134.96/135.04	c New solution: 57425
134.96/135.04	o 57425
134.96/135.04	c Elapsed CPU time: 134.519 s	Remaining CPU time: 45.4814 s
134.96/135.04	c ===============================================================================
134.96/135.04	c |     10097 |    3799    28952   740785 |     9650    10097    671 | 36.662 % |
135.27/135.33	c ===============================================================================
135.27/135.33	c New solution: 57424
135.27/135.33	o 57424
135.27/135.33	c Elapsed CPU time: 134.804 s	Remaining CPU time: 45.1965 s
135.27/135.33	c ===============================================================================
135.27/135.33	c |     10098 |    3799    28953   742876 |     9651    10098    671 | 36.662 % |
135.56/135.66	c ===============================================================================
135.56/135.66	c New solution: 57416
135.56/135.66	o 57416
135.56/135.66	c Elapsed CPU time: 135.132 s	Remaining CPU time: 44.8675 s
135.56/135.66	c ===============================================================================
135.56/135.66	c |     10100 |    3799    28954   744967 |     9651    10100    671 | 36.662 % |
135.96/136.07	c ===============================================================================
135.96/136.07	c New solution: 57415
135.96/136.07	o 57415
135.96/136.07	c Elapsed CPU time: 135.542 s	Remaining CPU time: 44.4576 s
135.96/136.07	c ===============================================================================
135.96/136.07	c |     10116 |    3799    28955   747058 |     9651    10116    671 | 36.662 % |
136.66/136.72	c ===============================================================================
136.66/136.72	c New solution: 57408
136.66/136.72	o 57408
136.66/136.72	c Elapsed CPU time: 136.195 s	Remaining CPU time: 43.8047 s
136.66/136.72	c ===============================================================================
136.66/136.72	c |     10117 |    3799    28956   749149 |     9652    10117    671 | 36.662 % |
136.96/137.01	c ===============================================================================
136.96/137.01	c New solution: 57396
136.96/137.01	o 57396
136.96/137.01	c Elapsed CPU time: 136.483 s	Remaining CPU time: 43.5167 s
136.96/137.01	c ===============================================================================
136.96/137.01	c |     10128 |    3799    28957   751240 |     9652    10128    671 | 36.662 % |
137.26/137.31	c ===============================================================================
137.26/137.31	c New solution: 57380
137.26/137.31	o 57380
137.26/137.31	c Elapsed CPU time: 136.782 s	Remaining CPU time: 43.2178 s
137.26/137.31	c ===============================================================================
137.26/137.31	c |     10130 |    3799    28958   753331 |     9652    10130    671 | 36.662 % |
137.56/137.65	c ===============================================================================
137.56/137.65	c New solution: 57358
137.56/137.65	o 57358
137.56/137.65	c Elapsed CPU time: 137.124 s	Remaining CPU time: 42.8758 s
137.56/137.65	c ===============================================================================
137.56/137.65	c |     10134 |    3799    28959   755422 |     9653    10134    671 | 36.662 % |
139.46/139.55	c |     10235 |    3799    28959   755422 |    10618    10235    671 | 36.662 % |
141.06/141.11	c |     10385 |    3799    28959   755422 |    11680    10385    671 | 36.662 % |
141.66/141.71	c ===============================================================================
141.66/141.71	c New solution: 57357
141.66/141.71	o 57357
141.66/141.71	c Elapsed CPU time: 141.17 s	Remaining CPU time: 38.8305 s
141.66/141.71	c ===============================================================================
141.66/141.71	c |     10452 |    3799    28960   757513 |     9653    10452    671 | 36.662 % |
142.15/142.24	c ===============================================================================
142.15/142.24	c New solution: 57356
142.15/142.24	o 57356
142.15/142.24	c Elapsed CPU time: 141.699 s	Remaining CPU time: 38.3005 s
142.15/142.24	c ===============================================================================
142.15/142.24	c |     10456 |    3799    28961   759604 |     9653    10456    671 | 36.662 % |
143.45/143.59	c |     10558 |    3799    28961   759604 |    10619    10558    671 | 36.662 % |
145.75/145.83	c |     10708 |    3799    28961   759604 |    11680    10708    672 | 36.662 % |
146.05/146.19	c ===============================================================================
146.05/146.19	c New solution: 57355
146.05/146.19	o 57355
146.05/146.19	c Elapsed CPU time: 145.649 s	Remaining CPU time: 34.3511 s
146.05/146.19	c ===============================================================================
146.05/146.19	c |     10730 |    3799    28962   761695 |     9654    10730    672 | 36.662 % |
147.55/147.63	c |     10830 |    3799    28962   761695 |    10619    10830    672 | 36.662 % |
149.56/149.63	c |     10981 |    3799    28962   761695 |    11681    10981    672 | 36.662 % |
150.75/150.85	c ===============================================================================
150.75/150.85	c New solution: 57354
150.75/150.85	o 57354
150.75/150.85	c Elapsed CPU time: 150.304 s	Remaining CPU time: 29.6959 s
150.75/150.85	c ===============================================================================
150.75/150.85	c |     11087 |    3799    28963   763786 |     9654    11087    672 | 36.662 % |
152.35/152.49	c |     11188 |    3799    28963   763786 |    10619    11188    673 | 36.662 % |
152.76/152.81	c ===============================================================================
152.76/152.81	c New solution: 57353
152.76/152.81	o 57353
152.76/152.81	c Elapsed CPU time: 152.254 s	Remaining CPU time: 27.7461 s
152.76/152.81	c ===============================================================================
152.76/152.81	c |     11190 |    3799    28964   765877 |     9654    11190    673 | 36.662 % |
153.66/153.70	c ===============================================================================
153.66/153.70	c New solution: 57352
153.66/153.70	o 57352
153.66/153.70	c Elapsed CPU time: 153.15 s	Remaining CPU time: 26.8503 s
153.66/153.70	c ===============================================================================
153.66/153.70	c |     11239 |    3799    28965   767968 |     9655    11239    673 | 36.662 % |
153.96/154.06	c ===============================================================================
153.96/154.06	c New solution: 57351
153.96/154.06	o 57351
153.96/154.06	c Elapsed CPU time: 153.511 s	Remaining CPU time: 26.4893 s
153.96/154.06	c ===============================================================================
153.96/154.06	c |     11270 |    3799    28966   770059 |     9655    11270    672 | 36.662 % |
154.36/154.45	c ===============================================================================
154.36/154.45	c New solution: 55766
154.36/154.45	o 55766
154.36/154.45	c Elapsed CPU time: 153.897 s	Remaining CPU time: 26.1034 s
154.36/154.45	c ===============================================================================
154.36/154.45	c |     11278 |    3799    28967   772150 |     9655    11278    672 | 36.662 % |
154.75/154.80	c ===============================================================================
154.75/154.80	c New solution: 55720
154.75/154.80	o 55720
154.75/154.80	c Elapsed CPU time: 154.245 s	Remaining CPU time: 25.7554 s
154.75/154.80	c ===============================================================================
154.75/154.80	c |     11284 |    3799    28968   774241 |     9656    11284    672 | 36.662 % |
155.06/155.16	c ===============================================================================
155.06/155.16	c New solution: 55710
155.06/155.16	o 55710
155.06/155.16	c Elapsed CPU time: 154.597 s	Remaining CPU time: 25.4025 s
155.06/155.16	c ===============================================================================
155.06/155.16	c |     11285 |    3799    28969   776332 |     9656    11285    672 | 36.662 % |
155.45/155.50	c ===============================================================================
155.45/155.50	c New solution: 55698
155.45/155.50	o 55698
155.45/155.50	c Elapsed CPU time: 154.936 s	Remaining CPU time: 25.0636 s
155.45/155.50	c ===============================================================================
155.45/155.50	c |     11286 |    3799    28970   778423 |     9656    11286    672 | 36.662 % |
155.85/155.93	c ===============================================================================
155.85/155.93	c New solution: 55697
155.85/155.93	o 55697
155.85/155.93	c Elapsed CPU time: 155.369 s	Remaining CPU time: 24.6306 s
155.85/155.93	c ===============================================================================
155.85/155.93	c |     11296 |    3799    28971   780514 |     9657    11296    672 | 36.662 % |
156.25/156.39	c ===============================================================================
156.25/156.39	c New solution: 55696
156.25/156.39	o 55696
156.25/156.39	c Elapsed CPU time: 155.83 s	Remaining CPU time: 24.1697 s
156.25/156.39	c ===============================================================================
156.25/156.39	c |     11298 |    3799    28972   782605 |     9657    11298    672 | 36.662 % |
156.85/156.91	c ===============================================================================
156.85/156.91	c New solution: 55695
156.85/156.91	o 55695
156.85/156.91	c Elapsed CPU time: 156.347 s	Remaining CPU time: 23.6528 s
156.85/156.91	c ===============================================================================
156.85/156.91	c |     11298 |    3799    28973   784696 |     9657    11298    672 | 36.662 % |
157.35/157.41	c ===============================================================================
157.35/157.41	c New solution: 55694
157.35/157.41	o 55694
157.35/157.41	c Elapsed CPU time: 156.849 s	Remaining CPU time: 23.1508 s
157.35/157.41	c ===============================================================================
157.35/157.41	c |     11298 |    3799    28974   786787 |     9658    11298    672 | 36.662 % |
157.86/157.93	c ===============================================================================
157.86/157.93	c New solution: 55693
157.86/157.93	o 55693
157.86/157.93	c Elapsed CPU time: 157.365 s	Remaining CPU time: 22.6349 s
157.86/157.93	c ===============================================================================
157.86/157.93	c |     11298 |    3799    28975   788878 |     9658    11298    672 | 36.662 % |
158.36/158.44	c ===============================================================================
158.36/158.44	c New solution: 55692
158.36/158.44	o 55692
158.36/158.44	c Elapsed CPU time: 157.875 s	Remaining CPU time: 22.125 s
158.36/158.44	c ===============================================================================
158.36/158.44	c |     11299 |    3799    28976   790969 |     9658    11299    672 | 36.662 % |
159.65/159.74	c |     11399 |    3799    28976   790969 |    10624    11399    673 | 36.662 % |
159.95/160.03	c ===============================================================================
159.95/160.03	c New solution: 55691
159.95/160.03	o 55691
159.95/160.03	c Elapsed CPU time: 159.458 s	Remaining CPU time: 20.5422 s
159.95/160.03	c ===============================================================================
159.95/160.03	c |     11400 |    3799    28977   793060 |     9659    11400    672 | 36.662 % |
160.25/160.35	c ===============================================================================
160.25/160.35	c New solution: 55690
160.25/160.35	o 55690
160.25/160.35	c Elapsed CPU time: 159.782 s	Remaining CPU time: 20.2183 s
160.25/160.35	c ===============================================================================
160.25/160.35	c |     11400 |    3799    28978   795151 |     9659    11400    672 | 36.662 % |
160.56/160.64	c ===============================================================================
160.56/160.64	c New solution: 55689
160.56/160.64	o 55689
160.56/160.64	c Elapsed CPU time: 160.069 s	Remaining CPU time: 19.9313 s
160.56/160.64	c ===============================================================================
160.56/160.64	c |     11403 |    3799    28979   797242 |     9659    11403    672 | 36.662 % |
160.95/161.07	c ===============================================================================
160.95/161.07	c New solution: 55688
160.95/161.07	o 55688
160.95/161.07	c Elapsed CPU time: 160.495 s	Remaining CPU time: 19.5054 s
160.95/161.07	c ===============================================================================
160.95/161.07	c |     11420 |    3799    28980   799333 |     9660    11420    673 | 36.662 % |
161.25/161.35	c ===============================================================================
161.25/161.35	c New solution: 55687
161.25/161.35	o 55687
161.25/161.35	c Elapsed CPU time: 160.778 s	Remaining CPU time: 19.2224 s
161.25/161.35	c ===============================================================================
161.25/161.35	c |     11420 |    3799    28981   801424 |     9660    11420    673 | 36.662 % |
163.15/163.27	c |     11520 |    3799    28981   801424 |    10626    11520    672 | 36.662 % |
163.45/163.59	c ===============================================================================
163.45/163.59	c New solution: 55686
163.45/163.59	o 55686
163.45/163.59	c Elapsed CPU time: 163.015 s	Remaining CPU time: 16.9848 s
163.45/163.59	c ===============================================================================
163.45/163.59	c |     11521 |    3799    28982   803515 |     9660    11521    672 | 36.662 % |
163.65/163.80	c ===============================================================================
163.65/163.80	c New solution: 55685
163.65/163.80	o 55685
163.65/163.80	c Elapsed CPU time: 163.218 s	Remaining CPU time: 16.7818 s
163.65/163.80	c ===============================================================================
163.65/163.80	c |     11523 |    3799    28983   805606 |     9661    11523    672 | 36.662 % |
163.95/164.07	c ===============================================================================
163.95/164.07	c New solution: 55684
163.95/164.07	o 55684
163.95/164.07	c Elapsed CPU time: 163.493 s	Remaining CPU time: 16.5069 s
163.95/164.07	c ===============================================================================
163.95/164.07	c |     11525 |    3799    28984   807697 |     9661    11525    672 | 36.662 % |
164.65/164.71	c ===============================================================================
164.65/164.71	c New solution: 55683
164.65/164.71	o 55683
164.65/164.71	c Elapsed CPU time: 164.13 s	Remaining CPU time: 15.87 s
164.65/164.71	c ===============================================================================
164.65/164.71	c |     11551 |    3799    28985   809788 |     9661    11551    672 | 36.662 % |
165.65/165.71	c ===============================================================================
165.65/165.71	c New solution: 55682
165.65/165.71	o 55682
165.65/165.71	c Elapsed CPU time: 165.126 s	Remaining CPU time: 14.8741 s
165.65/165.71	c ===============================================================================
165.65/165.71	c |     11586 |    3799    28986   811879 |     9662    11586    673 | 36.662 % |
165.95/166.07	c ===============================================================================
165.95/166.07	c New solution: 54082
165.95/166.07	o 54082
165.95/166.07	c Elapsed CPU time: 165.482 s	Remaining CPU time: 14.5182 s
165.95/166.07	c ===============================================================================
165.95/166.07	c |     11610 |    3799    28987   813970 |     9662    11610    672 | 36.662 % |
166.44/166.59	c ===============================================================================
166.44/166.59	c New solution: 54034
166.44/166.59	o 54034
166.44/166.59	c Elapsed CPU time: 166.005 s	Remaining CPU time: 13.9952 s
166.44/166.59	c ===============================================================================
166.44/166.59	c |     11612 |    3799    28988   816061 |     9662    11612    672 | 36.662 % |
167.35/167.41	c ===============================================================================
167.35/167.41	c New solution: 54033
167.35/167.41	o 54033
167.35/167.41	c Elapsed CPU time: 166.816 s	Remaining CPU time: 13.1844 s
167.35/167.41	c ===============================================================================
167.35/167.41	c |     11612 |    3799    28989   818152 |     9663    11612    672 | 36.662 % |
168.05/168.20	c ===============================================================================
168.05/168.20	c New solution: 54032
168.05/168.20	o 54032
168.05/168.20	c Elapsed CPU time: 167.605 s	Remaining CPU time: 12.3955 s
168.05/168.20	c ===============================================================================
168.05/168.20	c |     11612 |    3799    28990   820243 |     9663    11612    672 | 36.662 % |
168.95/169.00	c ===============================================================================
168.95/169.00	c New solution: 54031
168.95/169.00	o 54031
168.95/169.00	c Elapsed CPU time: 168.403 s	Remaining CPU time: 11.5966 s
168.95/169.00	c ===============================================================================
168.95/169.00	c |     11612 |    3799    28991   822334 |     9663    11612    672 | 36.662 % |
169.85/169.94	c ===============================================================================
169.85/169.94	c New solution: 54030
169.85/169.94	o 54030
169.85/169.94	c Elapsed CPU time: 169.347 s	Remaining CPU time: 10.6527 s
169.85/169.94	c ===============================================================================
169.85/169.94	c |     11613 |    3799    28992   824425 |     9664    11613    672 | 36.662 % |
170.65/170.78	c ===============================================================================
170.65/170.78	c New solution: 54029
170.65/170.78	o 54029
170.65/170.78	c Elapsed CPU time: 170.18 s	Remaining CPU time: 9.81987 s
170.65/170.78	c ===============================================================================
170.65/170.78	c |     11616 |    3799    28993   826516 |     9664    11616    672 | 36.662 % |
171.04/171.19	c ===============================================================================
171.04/171.19	c New solution: 54028
171.04/171.19	o 54028
171.04/171.19	c Elapsed CPU time: 170.592 s	Remaining CPU time: 9.40793 s
171.04/171.19	c ===============================================================================
171.04/171.19	c |     11618 |    3799    28994   828607 |     9664    11618    672 | 36.662 % |
171.45/171.52	c ===============================================================================
171.45/171.52	c New solution: 54027
171.45/171.52	o 54027
171.45/171.52	c Elapsed CPU time: 170.92 s	Remaining CPU time: 9.07998 s
171.45/171.52	c ===============================================================================
171.45/171.52	c |     11627 |    3799    28995   830698 |     9665    11627    672 | 36.662 % |
171.75/171.86	c ===============================================================================
171.75/171.86	c New solution: 54026
171.75/171.86	o 54026
171.75/171.86	c Elapsed CPU time: 171.254 s	Remaining CPU time: 8.74604 s
171.75/171.86	c ===============================================================================
171.75/171.86	c |     11640 |    3799    28996   832789 |     9665    11640    672 | 36.662 % |
173.25/173.33	c |     11741 |    3799    28996   832789 |    10631    11741    673 | 36.662 % |
175.54/175.66	c |     11891 |    3799    28996   832789 |    11695    11891    673 | 36.662 % |
176.04/176.13	c ===============================================================================
176.04/176.13	c New solution: 54025
176.04/176.13	o 54025
176.04/176.13	c Elapsed CPU time: 175.516 s	Remaining CPU time: 4.48368 s
176.04/176.13	c ===============================================================================
176.04/176.13	c |     11906 |    3799    28997   834880 |     9665    11906    673 | 36.662 % |
178.44/178.50	c |     12007 |    3799    28997   834880 |    10632     6054    642 | 36.662 % |
180.54/180.65	c There are 2199 assigned variables. 478 in cost function.
183.84/183.95	c core #1
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 2	Core Weight: 1	Total Weight: 8661
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #2
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8662
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #3
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 3	Core Weight: 1	Total Weight: 8663
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #4
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 8	Core Weight: 1	Total Weight: 8664
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #5
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 9	Core Weight: 1	Total Weight: 8665
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #6
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8666
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #7
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 3	Core Weight: 1	Total Weight: 8667
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #8
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8668
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #9
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8669
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #10
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 5	Core Weight: 1	Total Weight: 8670
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #11
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 9	Core Weight: 1	Total Weight: 8671
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #12
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 12	Core Weight: 1	Total Weight: 8672
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #13
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 16	Core Weight: 1	Total Weight: 8673
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #14
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8674
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #15
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8675
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #16
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 5	Core Weight: 1	Total Weight: 8676
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #17
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 3	Core Weight: 1	Total Weight: 8677
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #18
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8678
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #19
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 5	Core Weight: 1	Total Weight: 8679
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #20
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 10	Core Weight: 1	Total Weight: 8680
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #21
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 15	Core Weight: 1	Total Weight: 8681
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #22
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 4	Core Weight: 1	Total Weight: 8682
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #23
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 6	Core Weight: 1	Total Weight: 8683
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #24
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 6	Core Weight: 1	Total Weight: 8684
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #25
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8685
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #26
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 6	Core Weight: 1	Total Weight: 8686
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #27
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 13	Core Weight: 1	Total Weight: 8687
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #28
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 16	Core Weight: 1	Total Weight: 8688
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #29
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 8	Core Weight: 1	Total Weight: 8689
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #30
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 11	Core Weight: 1	Total Weight: 8690
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #31
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 17	Core Weight: 1	Total Weight: 8691
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #32
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 18	Core Weight: 1	Total Weight: 8692
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #33
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 12	Core Weight: 1	Total Weight: 8693
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #34
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 15	Core Weight: 1	Total Weight: 8694
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #35
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8695
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #36
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 13	Core Weight: 1	Total Weight: 8696
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #37
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8697
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #38
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 16	Core Weight: 1	Total Weight: 8698
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #39
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 16	Core Weight: 1	Total Weight: 8699
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #40
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 9	Core Weight: 1	Total Weight: 8700
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #41
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8701
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #42
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 16	Core Weight: 1	Total Weight: 8702
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #43
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 21	Core Weight: 1	Total Weight: 8703
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #44
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8704
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #45
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8705
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #46
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 21	Core Weight: 1	Total Weight: 8706
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #47
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 11	Core Weight: 1	Total Weight: 8707
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #48
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 11	Core Weight: 1	Total Weight: 8708
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #49
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 14	Core Weight: 1	Total Weight: 8709
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #50
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 12	Core Weight: 1	Total Weight: 8710
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #51
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 16	Core Weight: 1	Total Weight: 8711
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #52
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 17	Core Weight: 1	Total Weight: 8712
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #53
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 10	Core Weight: 1	Total Weight: 8713
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #54
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 17	Core Weight: 1	Total Weight: 8714
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #55
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 17	Core Weight: 1	Total Weight: 8715
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #56
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 18	Core Weight: 1	Total Weight: 8716
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #57
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 19	Core Weight: 1	Total Weight: 8717
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #58
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 5	Core Weight: 1	Total Weight: 8718
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c core #59
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 87	Core Weight: 1	Total Weight: 8719
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #60
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 14	Core Weight: 1	Total Weight: 8720
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #61
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 8	Core Weight: 1	Total Weight: 8721
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #62
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 11	Core Weight: 1	Total Weight: 8722
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #63
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 20	Core Weight: 1	Total Weight: 8723
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #64
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 14	Core Weight: 1	Total Weight: 8724
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #65
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 18	Core Weight: 1	Total Weight: 8725
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #66
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 8	Core Weight: 1	Total Weight: 8726
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #67
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 19	Core Weight: 1	Total Weight: 8727
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #68
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 20	Core Weight: 1	Total Weight: 8728
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #69
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 12	Core Weight: 1	Total Weight: 8729
184.65/184.71	c
184.65/184.71	c
184.65/184.71	c core #70
184.65/184.71	c 
184.65/184.71	c 
184.65/184.71	c Core size: 10	Core Weight: 1	Total Weight: 8730
184.65/184.71	c
184.65/184.71	c
184.65/184.72	c ============================[ Search Statistics ]==============================
184.65/184.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.65/184.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.65/184.72	c ===============================================================================
184.65/184.72	c |         0 |    1004    17196    13213 |     5732        0    nan |  0.000 % |
184.65/184.72	c ===============================================================================
184.65/184.74	c #cores: 70
184.65/184.74	c Final Weight: 8730
184.65/184.74	o 8730
184.65/184.74	s OPTIMUM FOUND
184.65/184.74	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.65/184.74	c Total CPU time: 183.999 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-2683549-1277510491/watcher-2683549-1277510491 -o /tmp/evaluation-result-2683549-1277510491/solver-2683549-1277510491 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683549-1277510491.opb 

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


[startup+0 s]
/proc/loadavg: 1.29 1.05 1.01 3/106 31271
/proc/meminfo: memFree=1836472/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=3720 CPUtime=0
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 92340555 3809280 282 1992294400 134512640 135752675 4293822992 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 930 282 139 303 0 414 0

[startup+0.058771 s]
/proc/loadavg: 1.29 1.05 1.01 3/106 31271
/proc/meminfo: memFree=1836472/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=4588 CPUtime=0.05
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 653 0 0 0 5 0 0 0 20 0 1 0 92340555 4698112 571 1992294400 134512640 135752675 4293822992 18446744073709551615 135225955 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 1147 571 221 303 0 631 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4588

[startup+0.101774 s]
/proc/loadavg: 1.29 1.05 1.01 3/106 31271
/proc/meminfo: memFree=1836472/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=5308 CPUtime=0.1
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 880 0 0 0 10 0 0 0 20 0 1 0 92340555 5435392 798 1992294400 134512640 135752675 4293822992 18446744073709551615 134562551 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 1327 798 289 303 0 811 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5308

[startup+0.300793 s]
/proc/loadavg: 1.29 1.05 1.01 3/106 31271
/proc/meminfo: memFree=1836472/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=6800 CPUtime=0.29
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 1535 0 0 0 29 0 0 0 20 0 1 0 92340555 6963200 1242 1992294400 134512640 135752675 4293822992 18446744073709551615 134580203 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 1700 1242 142 303 0 1395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6800

[startup+0.700828 s]
/proc/loadavg: 1.29 1.05 1.01 3/106 31271
/proc/meminfo: memFree=1836472/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=6932 CPUtime=0.69
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 1563 0 0 0 69 0 0 0 21 0 1 0 92340555 7098368 1270 1992294400 134512640 135752675 4293822992 18446744073709551615 134580248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 1733 1270 142 303 0 1428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6932

[startup+1.5009 s]
/proc/loadavg: 1.29 1.05 1.01 2/107 31272
/proc/meminfo: memFree=1831628/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=7196 CPUtime=1.49
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 1627 0 0 0 149 0 0 0 23 0 1 0 92340555 7368704 1334 1992294400 134512640 135752675 4293822992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 1799 1334 142 303 0 1494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7196

[startup+3.10104 s]
/proc/loadavg: 1.29 1.05 1.01 2/107 31272
/proc/meminfo: memFree=1829272/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=9076 CPUtime=3.09
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 2107 0 0 0 301 8 0 0 25 0 1 0 92340555 9293824 1814 1992294400 134512640 135752675 4293822992 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 2269 1814 144 303 0 1964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9076

[startup+6.30133 s]
/proc/loadavg: 1.26 1.05 1.01 2/107 31272
/proc/meminfo: memFree=1827660/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=12088 CPUtime=6.29
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 2854 0 0 0 616 13 0 0 25 0 1 0 92340555 12378112 2561 1992294400 134512640 135752675 4293822992 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 3022 2561 145 303 0 2717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12088

[startup+12.7009 s]
/proc/loadavg: 1.24 1.05 1.01 2/107 31274
/proc/meminfo: memFree=1820468/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=18352 CPUtime=12.69
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 4412 0 0 0 1250 19 0 0 25 0 1 0 92340555 18792448 4119 1992294400 134512640 135752675 4293822992 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 4588 4119 145 303 0 4283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18352

[startup+25.5011 s]
/proc/loadavg: 1.25 1.06 1.02 2/107 31274
/proc/meminfo: memFree=1812904/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=25652 CPUtime=25.48
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 6238 0 0 0 2523 25 0 0 25 0 1 0 92340555 26267648 5945 1992294400 134512640 135752675 4293822992 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 6413 5945 145 303 0 6108 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25652

[startup+51.1014 s]
/proc/loadavg: 1.17 1.05 1.01 2/107 31274
/proc/meminfo: memFree=1803852/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=34444 CPUtime=51.08
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 8454 0 0 0 5074 34 0 0 25 0 1 0 92340555 35270656 8161 1992294400 134512640 135752675 4293822992 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 8611 8161 145 303 0 8306 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34444

[startup+102.309 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 31276
/proc/meminfo: memFree=1792320/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=45632 CPUtime=102.27
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 11245 0 0 0 10183 44 0 0 25 0 1 0 92340555 46727168 10952 1992294400 134512640 135752675 4293822992 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 11408 10952 145 303 0 11103 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45632

[startup+162.301 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 31278
/proc/meminfo: memFree=1779424/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=58364 CPUtime=162.25
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 14430 0 0 0 16172 53 0 0 25 0 1 0 92340555 59764736 14137 1992294400 134512640 135752675 4293822992 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 14591 14137 145 303 0 14286 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 58364

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

[startup+166.301 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 31278
/proc/meminfo: memFree=1778680/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=59152 CPUtime=166.24
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 14614 0 0 0 16570 54 0 0 25 0 1 0 92340555 60571648 14321 1992294400 134512640 135752675 4293822992 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 14788 14321 145 303 0 14483 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 59152

[startup+172.708 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 31278
/proc/meminfo: memFree=1777936/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=59812 CPUtime=172.65
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 14776 0 0 0 17209 56 0 0 25 0 1 0 92340555 61247488 14483 1992294400 134512640 135752675 4293822992 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 14953 14483 145 303 0 14648 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 59812

[startup+179.102 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 31278
/proc/meminfo: memFree=1777068/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=60716 CPUtime=179.04
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 15029 0 0 0 17848 56 0 0 25 0 1 0 92340555 62173184 14736 1992294400 134512640 135752675 4293822992 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 15179 14736 145 303 0 14874 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 60716

[startup+182.301 s]
/proc/loadavg: 1.14 1.07 1.02 2/107 31278
/proc/meminfo: memFree=1770744/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=103820 CPUtime=182.24
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 25916 0 0 0 18163 61 0 0 25 0 1 0 92340555 106311680 25486 1992294400 134512640 135752675 4293822992 18446744073709551615 134635471 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 25955 25487 146 303 0 25650 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 103820

[startup+183.901 s]
/proc/loadavg: 1.14 1.07 1.02 2/107 31278
/proc/meminfo: memFree=1679108/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=170484 CPUtime=183.84
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 42634 0 0 0 18318 66 0 0 25 0 1 0 92340555 174575616 42132 1992294400 134512640 135752675 4293822992 18446744073709551615 135206853 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 42621 42132 146 303 0 42316 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 170484

[startup+184.301 s]
/proc/loadavg: 1.14 1.07 1.02 2/107 31278
/proc/meminfo: memFree=1679108/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=185360 CPUtime=184.24
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 46344 0 0 0 18357 67 0 0 25 0 1 0 92340555 189808640 45842 1992294400 134512640 135752675 4293822992 18446744073709551615 134635471 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 46340 45842 146 303 0 46035 0
Current children cumulated CPU time (s) 184.24
Current children cumulated vsize (KiB) 185360

[startup+184.701 s]
/proc/loadavg: 1.13 1.07 1.02 2/107 31278
/proc/meminfo: memFree=1637940/2059040 swapFree=4140316/4192956
[pid=31271] ppid=31269 vsize=200636 CPUtime=184.65
/proc/31271/stat : 31271 (wbo1.4b) R 31269 31271 30798 0 -1 4202496 50162 0 0 0 18396 69 0 0 25 0 1 0 92340555 205451264 49660 1992294400 134512640 135752675 4293822992 18446744073709551615 134635488 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31271/statm: 50159 49663 146 303 0 49854 0
Current children cumulated CPU time (s) 184.65
Current children cumulated vsize (KiB) 200636

Child status: 0
Real time (s): 184.769
CPU time (s): 184.715
CPU user time (s): 183.999
CPU system time (s): 0.715891
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 200636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.999
system time used= 0.715891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50283
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= 88
involuntary context switches= 499

runsolver used 0.32495 second user time and 0.921859 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-26 02:01:31
IDJOB=2683549
IDBENCH=72120
IDSOLVER=1190
FILE ID=node051/2683549-1277510491
PBS_JOBID= 11190621
Free space on /tmp= 62556 MiB

SOLVER NAME= wbo 1.4b (fixed)
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
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683549-1277510491/watcher-2683549-1277510491 -o /tmp/evaluation-result-2683549-1277510491/solver-2683549-1277510491 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683549-1277510491.opb

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

MD5SUM BENCH= 80d4beb6552975b1ad66516326ec7dfd
RANDOM SEED=1771778314

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1837000 kB
Buffers:         28324 kB
Cached:         100532 kB
SwapCached:       5500 kB
Active:          67244 kB
Inactive:        74672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1837000 kB
SwapTotal:     4192956 kB
SwapFree:      4140316 kB
Dirty:            3608 kB
Writeback:           0 kB
AnonPages:       11680 kB
Mapped:          11948 kB
Slab:            58196 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node051 at 2010-06-26 02:04:36