Trace number 2683499

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.4bOPT4821 184.243 184.292

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand767898.cudf.paranoid.opb
MD5SUM6efb1d8368fd5925c68cb6444d9e1cc2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4821
Best CPU time to get the best result obtained on this benchmark2.48662
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5530
Total number of constraints24745
Number of constraints which are clauses24476
Number of constraints which are cardinality constraints (but not clauses)269
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 2069
Biggest coefficient in the objective function 1520
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 839038
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1520
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 839038
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683499-1277510151.opb.
0.00/0.00	c Instance file HOME/instance-2683499-1277510151.opb
0.00/0.00	c File size is 787370 bytes.
0.09/0.11	c Highest Coefficient sum: 553
0.09/0.11	c ============================[ Problem Statistics ]=============================
0.09/0.11	c |                                                                             |
0.09/0.11	c |  Parsing time:          0.11         s                                      |
0.09/0.11	c |  Number Variables:      5530                                                |
0.09/0.11	c |  Number Clauses:        24476                                               |
0.09/0.11	c |  Number Cardinality:    269                                                 |
0.09/0.11	c |  Number PB Constraints: 0                                                   |
2.20/2.25	c ============================[ Search Statistics ]==============================
2.20/2.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.20/2.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.20/2.25	c ===============================================================================
2.20/2.25	c |         0 |    3721    26276    50213 |     8248        0    nan |  0.000 % |
2.20/2.26	c ===============================================================================
2.20/2.26	c New solution: 474882
2.20/2.26	o 474882
2.20/2.26	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 177.747 s
2.20/2.26	c ===============================================================================
2.20/2.26	c |        12 |    3721    26277    52182 |     8759       12      4 |  0.000 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: 458213
2.20/2.27	o 458213
2.20/2.27	c Elapsed CPU time: 2.26266 s	Remaining CPU time: 177.737 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |        18 |    3721    26278    54151 |     8759       18      4 |  0.000 % |
2.20/2.29	c ===============================================================================
2.20/2.29	c New solution: 398829
2.20/2.29	o 398829
2.20/2.29	c Elapsed CPU time: 2.27565 s	Remaining CPU time: 177.724 s
2.20/2.29	c ===============================================================================
2.20/2.29	c |        23 |    3721    26279    56120 |     8759       23      4 |  0.000 % |
2.29/2.32	c ===============================================================================
2.29/2.32	c New solution: 309178
2.29/2.32	o 309178
2.29/2.32	c Elapsed CPU time: 2.29865 s	Remaining CPU time: 177.701 s
2.29/2.32	c ===============================================================================
2.29/2.32	c |        61 |    3721    26280    58089 |     8760       61      4 |  0.000 % |
2.29/2.33	c ===============================================================================
2.29/2.33	c New solution: 309109
2.29/2.33	o 309109
2.29/2.33	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 177.691 s
2.29/2.33	c ===============================================================================
2.29/2.33	c |        70 |    3721    26281    60058 |     8760       70      4 |  0.000 % |
2.29/2.35	c ===============================================================================
2.29/2.35	c New solution: 289410
2.29/2.35	o 289410
2.29/2.35	c Elapsed CPU time: 2.31765 s	Remaining CPU time: 177.682 s
2.29/2.35	c ===============================================================================
2.29/2.35	c |        77 |    3721    26282    62027 |     8760       77      4 |  0.000 % |
2.29/2.36	c ===============================================================================
2.29/2.36	c New solution: 268099
2.29/2.36	o 268099
2.29/2.36	c Elapsed CPU time: 2.32765 s	Remaining CPU time: 177.672 s
2.29/2.36	c ===============================================================================
2.29/2.36	c |        90 |    3721    26283    63996 |     8761       90      4 |  0.000 % |
2.29/2.38	c ===============================================================================
2.29/2.38	c New solution: 268091
2.29/2.38	o 268091
2.29/2.38	c Elapsed CPU time: 2.34364 s	Remaining CPU time: 177.656 s
2.29/2.38	c ===============================================================================
2.29/2.38	c |        99 |    3721    26284    65965 |     8761       99      4 |  0.000 % |
2.39/2.40	c ===============================================================================
2.39/2.40	c New solution: 268090
2.39/2.40	o 268090
2.39/2.40	c Elapsed CPU time: 2.36164 s	Remaining CPU time: 177.638 s
2.39/2.40	c ===============================================================================
2.39/2.40	c |       118 |    3721    26285    67934 |     8761      118      4 |  0.000 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: 268080
2.39/2.41	o 268080
2.39/2.41	c Elapsed CPU time: 2.37164 s	Remaining CPU time: 177.628 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |       119 |    3721    26286    69903 |     8762      119      4 |  0.000 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: 266567
2.39/2.42	o 266567
2.39/2.42	c Elapsed CPU time: 2.38464 s	Remaining CPU time: 177.615 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |       126 |    3721    26287    71872 |     8762      126     15 |  0.000 % |
2.39/2.46	c ===============================================================================
2.39/2.46	c New solution: 173896
2.39/2.46	o 173896
2.39/2.46	c Elapsed CPU time: 2.41763 s	Remaining CPU time: 177.582 s
2.39/2.46	c ===============================================================================
2.39/2.46	c |       172 |    3721    26288    73841 |     8762      172     12 |  0.000 % |
2.39/2.48	c ===============================================================================
2.39/2.48	c New solution: 148080
2.39/2.48	o 148080
2.39/2.48	c Elapsed CPU time: 2.43563 s	Remaining CPU time: 177.564 s
2.39/2.48	c ===============================================================================
2.39/2.48	c |       196 |    3721    26289    75810 |     8763      196     11 |  0.000 % |
2.39/2.49	c ===============================================================================
2.39/2.49	c New solution: 148067
2.39/2.49	o 148067
2.39/2.49	c Elapsed CPU time: 2.44463 s	Remaining CPU time: 177.555 s
2.39/2.49	c ===============================================================================
2.39/2.49	c |       203 |    3721    26290    77779 |     8763      203     10 |  0.000 % |
2.49/2.52	c ===============================================================================
2.49/2.52	c New solution: 146600
2.49/2.52	o 146600
2.49/2.52	c Elapsed CPU time: 2.46762 s	Remaining CPU time: 177.532 s
2.49/2.52	c ===============================================================================
2.49/2.52	c |       211 |    3721    26291    79748 |     8763      211     10 |  0.000 % |
2.49/2.53	c ===============================================================================
2.49/2.53	c New solution: 145023
2.49/2.53	o 145023
2.49/2.53	c Elapsed CPU time: 2.47962 s	Remaining CPU time: 177.52 s
2.49/2.53	c ===============================================================================
2.49/2.53	c |       213 |    3721    26292    81717 |     8764      213     10 |  0.000 % |
2.49/2.56	c ===============================================================================
2.49/2.56	c New solution: 144998
2.49/2.56	o 144998
2.49/2.56	c Elapsed CPU time: 2.50762 s	Remaining CPU time: 177.492 s
2.49/2.56	c ===============================================================================
2.49/2.56	c |       224 |    3721    26293    83686 |     8764      224     10 |  0.000 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 144987
2.49/2.58	o 144987
2.49/2.58	c Elapsed CPU time: 2.52362 s	Remaining CPU time: 177.476 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |       225 |    3721    26294    85655 |     8764      225     10 |  0.000 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: 144983
2.49/2.59	o 144983
2.49/2.59	c Elapsed CPU time: 2.53661 s	Remaining CPU time: 177.463 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |       225 |    3721    26295    87624 |     8765      225     10 |  0.000 % |
2.60/2.61	c ===============================================================================
2.60/2.61	c New solution: 144979
2.60/2.61	o 144979
2.60/2.61	c Elapsed CPU time: 2.55261 s	Remaining CPU time: 177.447 s
2.60/2.61	c ===============================================================================
2.60/2.61	c |       226 |    3721    26296    89593 |     8765      226     12 |  0.000 % |
2.60/2.64	c ===============================================================================
2.60/2.64	c New solution: 128327
2.60/2.64	o 128327
2.60/2.64	c Elapsed CPU time: 2.57561 s	Remaining CPU time: 177.424 s
2.60/2.64	c ===============================================================================
2.60/2.64	c |       242 |    3721    26297    91562 |     8765      242     11 |  0.000 % |
2.60/2.68	c ===============================================================================
2.60/2.68	c New solution: 125291
2.60/2.68	o 125291
2.60/2.68	c Elapsed CPU time: 2.6146 s	Remaining CPU time: 177.385 s
2.60/2.68	c ===============================================================================
2.60/2.68	c |       272 |    3721    26298    93531 |     8766      272     13 |  0.000 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: 125268
2.69/2.70	o 125268
2.69/2.70	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 177.373 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |       279 |    3721    26299    95500 |     8766      279     12 |  0.000 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c New solution: 123762
2.69/2.71	o 123762
2.69/2.71	c Elapsed CPU time: 2.6406 s	Remaining CPU time: 177.359 s
2.69/2.71	c ===============================================================================
2.69/2.71	c |       281 |    3721    26300    97469 |     8766      281     15 |  0.000 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: 122257
2.69/2.74	o 122257
2.69/2.74	c Elapsed CPU time: 2.66659 s	Remaining CPU time: 177.333 s
2.69/2.74	c ===============================================================================
2.69/2.74	c |       300 |    3721    26301    99438 |     8767      300     14 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 119210
2.69/2.76	o 119210
2.69/2.76	c Elapsed CPU time: 2.68259 s	Remaining CPU time: 177.317 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |       306 |    3721    26302   101407 |     8767      306     14 |  0.000 % |
2.69/2.79	c ===============================================================================
2.69/2.79	c New solution: 119170
2.69/2.79	o 119170
2.69/2.79	c Elapsed CPU time: 2.71459 s	Remaining CPU time: 177.285 s
2.69/2.79	c ===============================================================================
2.69/2.79	c |       308 |    3721    26303   103376 |     8767      308     16 |  0.000 % |
2.80/2.81	c ===============================================================================
2.80/2.81	c New solution: 119169
2.80/2.81	o 119169
2.80/2.81	c Elapsed CPU time: 2.73558 s	Remaining CPU time: 177.264 s
2.80/2.81	c ===============================================================================
2.80/2.81	c |       321 |    3721    26304   105345 |     8768      321     15 |  0.000 % |
2.80/2.83	c ===============================================================================
2.80/2.83	c New solution: 119168
2.80/2.83	o 119168
2.80/2.83	c Elapsed CPU time: 2.74858 s	Remaining CPU time: 177.251 s
2.80/2.83	c ===============================================================================
2.80/2.83	c |       323 |    3721    26305   107314 |     8768      323     15 |  0.000 % |
2.80/2.84	c ===============================================================================
2.80/2.84	c New solution: 117669
2.80/2.84	o 117669
2.80/2.84	c Elapsed CPU time: 2.76558 s	Remaining CPU time: 177.234 s
2.80/2.84	c ===============================================================================
2.80/2.84	c |       323 |    3721    26306   109283 |     8768      323     15 |  0.000 % |
2.80/2.86	c ===============================================================================
2.80/2.86	c New solution: 117668
2.80/2.86	o 117668
2.80/2.86	c Elapsed CPU time: 2.77958 s	Remaining CPU time: 177.22 s
2.80/2.86	c ===============================================================================
2.80/2.86	c |       323 |    3721    26307   111252 |     8769      323     15 |  0.000 % |
2.80/2.88	c ===============================================================================
2.80/2.88	c New solution: 117662
2.80/2.88	o 117662
2.80/2.88	c Elapsed CPU time: 2.79657 s	Remaining CPU time: 177.203 s
2.80/2.88	c ===============================================================================
2.80/2.88	c |       323 |    3721    26308   113221 |     8769      323     15 |  0.000 % |
2.80/2.89	c ===============================================================================
2.80/2.89	c New solution: 116144
2.80/2.89	o 116144
2.80/2.89	c Elapsed CPU time: 2.81057 s	Remaining CPU time: 177.189 s
2.80/2.89	c ===============================================================================
2.80/2.89	c |       323 |    3721    26309   115190 |     8769      323     15 |  0.000 % |
2.89/2.90	c ===============================================================================
2.89/2.90	c New solution: 116143
2.89/2.90	o 116143
2.89/2.90	c Elapsed CPU time: 2.82257 s	Remaining CPU time: 177.177 s
2.89/2.90	c ===============================================================================
2.89/2.90	c |       325 |    3721    26310   117159 |     8770      325     18 |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 114707
2.89/2.93	o 114707
2.89/2.93	c Elapsed CPU time: 2.84957 s	Remaining CPU time: 177.15 s
2.89/2.93	c ===============================================================================
2.89/2.93	c |       328 |    3721    26311   119128 |     8770      328     18 |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c New solution: 114706
2.89/2.97	o 114706
2.89/2.97	c Elapsed CPU time: 2.89056 s	Remaining CPU time: 177.109 s
2.89/2.97	c ===============================================================================
2.89/2.97	c |       332 |    3721    26312   121097 |     8770      332     27 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 114655
3.09/3.10	o 114655
3.09/3.10	c Elapsed CPU time: 3.01654 s	Remaining CPU time: 176.983 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |       374 |    3721    26313   123066 |     8771      374     64 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 113198
3.09/3.15	o 113198
3.09/3.15	c Elapsed CPU time: 3.05854 s	Remaining CPU time: 176.941 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       391 |    3721    26314   125035 |     8771      391     62 |  0.000 % |
3.09/3.17	c ===============================================================================
3.09/3.17	c New solution: 113192
3.09/3.17	o 113192
3.09/3.17	c Elapsed CPU time: 3.07553 s	Remaining CPU time: 176.924 s
3.09/3.17	c ===============================================================================
3.09/3.17	c |       391 |    3721    26315   127004 |     8771      391     62 |  0.000 % |
3.09/3.18	c ===============================================================================
3.09/3.18	c New solution: 113191
3.09/3.18	o 113191
3.09/3.18	c Elapsed CPU time: 3.08953 s	Remaining CPU time: 176.91 s
3.09/3.18	c ===============================================================================
3.09/3.18	c |       391 |    3721    26316   128973 |     8772      391     62 |  0.000 % |
3.20/3.20	c ===============================================================================
3.20/3.20	c New solution: 111682
3.20/3.20	o 111682
3.20/3.20	c Elapsed CPU time: 3.10453 s	Remaining CPU time: 176.895 s
3.20/3.20	c ===============================================================================
3.20/3.20	c |       392 |    3721    26317   130942 |     8772      392     64 |  0.000 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: 111623
3.20/3.24	o 111623
3.20/3.24	c Elapsed CPU time: 3.14652 s	Remaining CPU time: 176.853 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |       398 |    3721    26318   132911 |     8772      398     63 |  0.000 % |
3.29/3.36	c ===============================================================================
3.29/3.36	c New solution: 111587
3.29/3.36	o 111587
3.29/3.36	c Elapsed CPU time: 3.2615 s	Remaining CPU time: 176.738 s
3.29/3.36	c ===============================================================================
3.29/3.36	c |       422 |    3721    26319   134880 |     8773      422     76 |  0.000 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: 96526
3.39/3.40	o 96526
3.39/3.40	c Elapsed CPU time: 3.3005 s	Remaining CPU time: 176.7 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |       434 |    3721    26320   136849 |     8773      434     76 |  0.000 % |
3.39/3.46	c ===============================================================================
3.39/3.46	c New solution: 96450
3.39/3.46	o 96450
3.39/3.46	c Elapsed CPU time: 3.36249 s	Remaining CPU time: 176.638 s
3.39/3.46	c ===============================================================================
3.39/3.46	c |       437 |    3721    26321   138818 |     8773      437     77 |  0.000 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: 94951
3.39/3.48	o 94951
3.39/3.48	c Elapsed CPU time: 3.38149 s	Remaining CPU time: 176.619 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |       441 |    3721    26322   140787 |     8774      441     76 |  0.000 % |
3.49/3.50	c ===============================================================================
3.49/3.50	c New solution: 91906
3.49/3.50	o 91906
3.49/3.50	c Elapsed CPU time: 3.39748 s	Remaining CPU time: 176.603 s
3.49/3.50	c ===============================================================================
3.49/3.50	c |       441 |    3721    26323   142756 |     8774      441     76 |  0.000 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c New solution: 90388
3.49/3.52	o 90388
3.49/3.52	c Elapsed CPU time: 3.41448 s	Remaining CPU time: 176.586 s
3.49/3.52	c ===============================================================================
3.49/3.52	c |       443 |    3721    26324   144725 |     8774      443     76 |  0.000 % |
3.49/3.54	c ===============================================================================
3.49/3.54	c New solution: 90384
3.49/3.54	o 90384
3.49/3.54	c Elapsed CPU time: 3.43048 s	Remaining CPU time: 176.57 s
3.49/3.54	c ===============================================================================
3.49/3.54	c |       443 |    3721    26325   146694 |     8775      443     76 |  0.000 % |
3.49/3.55	c ===============================================================================
3.49/3.55	c New solution: 88867
3.49/3.55	o 88867
3.49/3.55	c Elapsed CPU time: 3.44848 s	Remaining CPU time: 176.552 s
3.49/3.55	c ===============================================================================
3.49/3.55	c |       443 |    3721    26326   148663 |     8775      443     76 |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 88863
3.49/3.57	o 88863
3.49/3.57	c Elapsed CPU time: 3.46347 s	Remaining CPU time: 176.537 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       443 |    3721    26327   150632 |     8775      443     76 |  0.000 % |
3.49/3.59	c ===============================================================================
3.49/3.59	c New solution: 87350
3.49/3.59	o 87350
3.49/3.59	c Elapsed CPU time: 3.48147 s	Remaining CPU time: 176.519 s
3.49/3.59	c ===============================================================================
3.49/3.59	c |       443 |    3721    26328   152601 |     8776      443     76 |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c New solution: 87340
3.59/3.61	o 87340
3.59/3.61	c Elapsed CPU time: 3.49847 s	Remaining CPU time: 176.502 s
3.59/3.61	c ===============================================================================
3.59/3.61	c |       443 |    3721    26329   154570 |     8776      443     76 |  0.000 % |
3.59/3.63	c ===============================================================================
3.59/3.63	c New solution: 85832
3.59/3.63	o 85832
3.59/3.63	c Elapsed CPU time: 3.51546 s	Remaining CPU time: 176.485 s
3.59/3.63	c ===============================================================================
3.59/3.63	c |       444 |    3721    26330   156539 |     8776      444     76 |  0.000 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: 85830
3.59/3.65	o 85830
3.59/3.65	c Elapsed CPU time: 3.53946 s	Remaining CPU time: 176.461 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |       444 |    3721    26331   158508 |     8777      444     76 |  0.000 % |
3.79/3.84	c ===============================================================================
3.79/3.84	c New solution: 85783
3.79/3.84	o 85783
3.79/3.84	c Elapsed CPU time: 3.72243 s	Remaining CPU time: 176.278 s
3.79/3.84	c ===============================================================================
3.79/3.84	c |       456 |    3721    26332   160477 |     8777      456     81 |  0.000 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c New solution: 85761
3.99/4.03	o 85761
3.99/4.03	c Elapsed CPU time: 3.9164 s	Remaining CPU time: 176.084 s
3.99/4.03	c ===============================================================================
3.99/4.03	c |       478 |    3721    26333   162446 |     8777      478     94 |  0.000 % |
4.18/4.30	c |       578 |    3721    26333   162446 |     9655      578    188 | 32.713 % |
4.29/4.40	c ===============================================================================
4.29/4.40	c New solution: 85755
4.29/4.40	o 85755
4.29/4.40	c Elapsed CPU time: 4.27835 s	Remaining CPU time: 175.722 s
4.29/4.40	c ===============================================================================
4.29/4.40	c |       583 |    3721    26334   164415 |     8778      583    188 | 32.713 % |
4.49/4.56	c ===============================================================================
4.49/4.56	c New solution: 85754
4.49/4.56	o 85754
4.49/4.56	c Elapsed CPU time: 4.44432 s	Remaining CPU time: 175.556 s
4.49/4.56	c ===============================================================================
4.49/4.56	c |       594 |    3721    26335   166384 |     8778      594    193 | 32.713 % |
4.59/4.67	c ===============================================================================
4.59/4.67	c New solution: 85753
4.59/4.67	o 85753
4.59/4.67	c Elapsed CPU time: 4.54931 s	Remaining CPU time: 175.451 s
4.59/4.67	c ===============================================================================
4.59/4.67	c |       623 |    3721    26336   168353 |     8778      623    206 | 32.713 % |
4.89/4.96	c |       723 |    3721    26336   168353 |     9656      723    260 | 32.712 % |
4.99/5.04	c ===============================================================================
4.99/5.04	c New solution: 85720
4.99/5.04	o 85720
4.99/5.04	c Elapsed CPU time: 4.92025 s	Remaining CPU time: 175.08 s
4.99/5.04	c ===============================================================================
4.99/5.04	c |       726 |    3721    26337   170322 |     8779      726    261 | 32.712 % |
5.29/5.35	c |       827 |    3721    26337   170322 |     9656      827    302 | 32.712 % |
5.69/5.74	c |       980 |    3721    26337   170322 |    10622      980    349 | 32.712 % |
5.79/5.85	c ===============================================================================
5.79/5.85	c New solution: 85719
5.79/5.85	o 85719
5.79/5.85	c Elapsed CPU time: 5.72413 s	Remaining CPU time: 174.276 s
5.79/5.85	c ===============================================================================
5.79/5.85	c |       986 |    3721    26338   172291 |     8779      986    348 | 32.712 % |
5.99/6.03	c ===============================================================================
5.99/6.03	c New solution: 84317
5.99/6.03	o 84317
5.99/6.03	c Elapsed CPU time: 5.9021 s	Remaining CPU time: 174.098 s
5.99/6.03	c ===============================================================================
5.99/6.03	c |       988 |    3721    26339   174260 |     8779      988    348 | 32.712 % |
6.09/6.13	c ===============================================================================
6.09/6.13	c New solution: 84315
6.09/6.13	o 84315
6.09/6.13	c Elapsed CPU time: 6.00309 s	Remaining CPU time: 173.997 s
6.09/6.13	c ===============================================================================
6.09/6.13	c |       990 |    3721    26340   176229 |     8780      990    348 | 32.712 % |
6.19/6.26	c ===============================================================================
6.19/6.26	c New solution: 84277
6.19/6.26	o 84277
6.19/6.26	c Elapsed CPU time: 6.13007 s	Remaining CPU time: 173.87 s
6.19/6.26	c ===============================================================================
6.19/6.26	c |      1001 |    3721    26341   178198 |     8780     1001    347 | 32.712 % |
6.29/6.37	c ===============================================================================
6.29/6.37	c New solution: 84272
6.29/6.37	o 84272
6.29/6.37	c Elapsed CPU time: 6.24205 s	Remaining CPU time: 173.758 s
6.29/6.37	c ===============================================================================
6.29/6.37	c |      1004 |    3721    26342   180167 |     8780     1004    347 | 32.712 % |
6.50/6.50	c ===============================================================================
6.50/6.50	c New solution: 84238
6.50/6.50	o 84238
6.50/6.50	c Elapsed CPU time: 6.36703 s	Remaining CPU time: 173.633 s
6.50/6.50	c ===============================================================================
6.50/6.50	c |      1011 |    3721    26343   182136 |     8781     1011    348 | 32.712 % |
6.50/6.52	c ===============================================================================
6.50/6.52	c New solution: 82818
6.50/6.52	o 82818
6.50/6.52	c Elapsed CPU time: 6.39203 s	Remaining CPU time: 173.608 s
6.50/6.52	c ===============================================================================
6.50/6.52	c |      1011 |    3721    26344   184105 |     8781     1011    348 | 32.712 % |
6.50/6.56	c ===============================================================================
6.50/6.56	c New solution: 82809
6.50/6.56	o 82809
6.50/6.56	c Elapsed CPU time: 6.42202 s	Remaining CPU time: 173.578 s
6.50/6.56	c ===============================================================================
6.50/6.56	c |      1011 |    3721    26345   186074 |     8781     1011    348 | 32.712 % |
6.50/6.58	c ===============================================================================
6.50/6.58	c New solution: 82808
6.50/6.58	o 82808
6.50/6.58	c Elapsed CPU time: 6.44502 s	Remaining CPU time: 173.555 s
6.50/6.58	c ===============================================================================
6.50/6.58	c |      1013 |    3721    26346   188043 |     8782     1013    349 | 32.712 % |
6.60/6.66	c ===============================================================================
6.60/6.66	c New solution: 82695
6.60/6.66	o 82695
6.60/6.66	c Elapsed CPU time: 6.52601 s	Remaining CPU time: 173.474 s
6.60/6.66	c ===============================================================================
6.60/6.66	c |      1017 |    3721    26347   190012 |     8782     1017    350 | 32.712 % |
6.60/6.69	c ===============================================================================
6.60/6.69	c New solution: 81297
6.60/6.69	o 81297
6.60/6.69	c Elapsed CPU time: 6.552 s	Remaining CPU time: 173.448 s
6.60/6.69	c ===============================================================================
6.60/6.69	c |      1018 |    3721    26348   191981 |     8782     1018    350 | 32.712 % |
6.98/7.02	c ===============================================================================
6.98/7.02	c New solution: 81220
6.98/7.02	o 81220
6.98/7.02	c Elapsed CPU time: 6.88395 s	Remaining CPU time: 173.116 s
6.98/7.02	c ===============================================================================
6.98/7.02	c |      1097 |    3721    26349   193950 |     8783     1097    358 | 32.712 % |
6.98/7.07	c ===============================================================================
6.98/7.07	c New solution: 79771
6.98/7.07	o 79771
6.98/7.07	c Elapsed CPU time: 6.92995 s	Remaining CPU time: 173.07 s
6.98/7.07	c ===============================================================================
6.98/7.07	c |      1098 |    3721    26350   195919 |     8783     1098    358 | 32.712 % |
7.08/7.11	c ===============================================================================
7.08/7.11	c New solution: 79770
7.08/7.11	o 79770
7.08/7.11	c Elapsed CPU time: 6.96894 s	Remaining CPU time: 173.031 s
7.08/7.11	c ===============================================================================
7.08/7.11	c |      1100 |    3721    26351   197888 |     8783     1100    357 | 32.712 % |
7.08/7.15	c ===============================================================================
7.08/7.15	c New solution: 79765
7.08/7.15	o 79765
7.08/7.15	c Elapsed CPU time: 7.01193 s	Remaining CPU time: 172.988 s
7.08/7.15	c ===============================================================================
7.08/7.15	c |      1101 |    3721    26352   199857 |     8784     1101    357 | 32.712 % |
7.08/7.18	c ===============================================================================
7.08/7.18	c New solution: 78250
7.08/7.18	o 78250
7.08/7.18	c Elapsed CPU time: 7.03793 s	Remaining CPU time: 172.962 s
7.08/7.18	c ===============================================================================
7.08/7.18	c |      1102 |    3721    26353   201826 |     8784     1102    357 | 32.712 % |
7.19/7.26	c ===============================================================================
7.19/7.26	c New solution: 78222
7.19/7.26	o 78222
7.19/7.26	c Elapsed CPU time: 7.11792 s	Remaining CPU time: 172.882 s
7.19/7.26	c ===============================================================================
7.19/7.26	c |      1103 |    3721    26354   203795 |     8784     1103    357 | 32.712 % |
7.29/7.33	c ===============================================================================
7.29/7.33	c New solution: 78218
7.29/7.33	o 78218
7.29/7.33	c Elapsed CPU time: 7.18491 s	Remaining CPU time: 172.815 s
7.29/7.33	c ===============================================================================
7.29/7.33	c |      1105 |    3721    26355   205764 |     8785     1105    357 | 32.712 % |
7.60/7.63	c |      1206 |    3721    26355   205764 |     9663     1206    386 | 32.712 % |
7.70/7.76	c ===============================================================================
7.70/7.76	c New solution: 78133
7.70/7.76	o 78133
7.70/7.76	c Elapsed CPU time: 7.61984 s	Remaining CPU time: 172.38 s
7.70/7.76	c ===============================================================================
7.70/7.76	c |      1206 |    3721    26356   207733 |     8785     1206    386 | 32.712 % |
7.89/7.98	c ===============================================================================
7.89/7.98	c New solution: 78130
7.89/7.98	o 78130
7.89/7.98	c Elapsed CPU time: 7.83181 s	Remaining CPU time: 172.168 s
7.89/7.98	c ===============================================================================
7.89/7.98	c |      1207 |    3721    26357   209702 |     8785     1207    386 | 32.712 % |
8.29/8.36	c |      1307 |    3721    26357   209702 |     9664     1307    405 | 32.712 % |
8.39/8.49	c ===============================================================================
8.39/8.49	c New solution: 76753
8.39/8.49	o 76753
8.39/8.49	c Elapsed CPU time: 8.34773 s	Remaining CPU time: 171.652 s
8.39/8.49	c ===============================================================================
8.39/8.49	c |      1315 |    3721    26358   211671 |     8786     1315    405 | 32.712 % |
8.58/8.64	c ===============================================================================
8.58/8.64	c New solution: 76711
8.58/8.64	o 76711
8.58/8.64	c Elapsed CPU time: 8.49271 s	Remaining CPU time: 171.507 s
8.58/8.64	c ===============================================================================
8.58/8.64	c |      1316 |    3721    26359   213640 |     8786     1316    405 | 32.712 % |
8.69/8.77	c ===============================================================================
8.69/8.77	c New solution: 76651
8.69/8.77	o 76651
8.69/8.77	c Elapsed CPU time: 8.61669 s	Remaining CPU time: 171.383 s
8.69/8.77	c ===============================================================================
8.69/8.77	c |      1317 |    3721    26360   215609 |     8786     1317    405 | 32.712 % |
8.89/8.99	c |      1417 |    3721    26360   215609 |     9665     1417    423 | 32.712 % |
9.19/9.24	c ===============================================================================
9.19/9.24	c New solution: 76642
9.19/9.24	o 76642
9.19/9.24	c Elapsed CPU time: 9.09362 s	Remaining CPU time: 170.906 s
9.19/9.24	c ===============================================================================
9.19/9.24	c |      1429 |    3721    26361   217578 |     8787     1429    422 | 32.712 % |
9.39/9.45	c ===============================================================================
9.39/9.45	c New solution: 76641
9.39/9.45	o 76641
9.39/9.45	c Elapsed CPU time: 9.29359 s	Remaining CPU time: 170.706 s
9.39/9.45	c ===============================================================================
9.39/9.45	c |      1441 |    3721    26362   219547 |     8787     1441    422 | 32.712 % |
9.49/9.58	c ===============================================================================
9.49/9.58	c New solution: 76640
9.49/9.58	o 76640
9.49/9.58	c Elapsed CPU time: 9.42757 s	Remaining CPU time: 170.572 s
9.49/9.58	c ===============================================================================
9.49/9.58	c |      1453 |    3721    26363   221516 |     8787     1453    423 | 32.712 % |
9.69/9.72	c ===============================================================================
9.69/9.72	c New solution: 76628
9.69/9.72	o 76628
9.69/9.72	c Elapsed CPU time: 9.56255 s	Remaining CPU time: 170.437 s
9.69/9.72	c ===============================================================================
9.69/9.72	c |      1462 |    3721    26364   223485 |     8788     1462    424 | 32.712 % |
9.80/9.88	c ===============================================================================
9.80/9.88	c New solution: 75213
9.80/9.88	o 75213
9.80/9.88	c Elapsed CPU time: 9.72852 s	Remaining CPU time: 170.271 s
9.80/9.88	c ===============================================================================
9.80/9.88	c |      1463 |    3721    26365   225454 |     8788     1463    423 | 32.712 % |
9.99/10.00	c ===============================================================================
9.99/10.00	c New solution: 75212
9.99/10.00	o 75212
9.99/10.00	c Elapsed CPU time: 9.8465 s	Remaining CPU time: 170.153 s
9.99/10.00	c ===============================================================================
9.99/10.00	c |      1463 |    3721    26366   227423 |     8788     1463    423 | 32.712 % |
10.09/10.13	c ===============================================================================
10.09/10.13	c New solution: 75211
10.09/10.13	o 75211
10.09/10.13	c Elapsed CPU time: 9.96948 s	Remaining CPU time: 170.031 s
10.09/10.13	c ===============================================================================
10.09/10.13	c |      1463 |    3721    26367   229392 |     8789     1463    423 | 32.712 % |
10.19/10.24	c ===============================================================================
10.19/10.24	c New solution: 75210
10.19/10.24	o 75210
10.19/10.24	c Elapsed CPU time: 10.0865 s	Remaining CPU time: 169.914 s
10.19/10.24	c ===============================================================================
10.19/10.24	c |      1463 |    3721    26368   231361 |     8789     1463    423 | 32.712 % |
10.29/10.36	c ===============================================================================
10.29/10.36	c New solution: 75209
10.29/10.36	o 75209
10.29/10.36	c Elapsed CPU time: 10.2064 s	Remaining CPU time: 169.794 s
10.29/10.36	c ===============================================================================
10.29/10.36	c |      1463 |    3721    26369   233330 |     8789     1463    423 | 32.712 % |
10.39/10.48	c ===============================================================================
10.39/10.48	c New solution: 75208
10.39/10.48	o 75208
10.39/10.48	c Elapsed CPU time: 10.3244 s	Remaining CPU time: 169.676 s
10.39/10.48	c ===============================================================================
10.39/10.48	c |      1463 |    3721    26370   235299 |     8790     1463    423 | 32.712 % |
10.79/10.80	c ===============================================================================
10.79/10.80	c New solution: 75207
10.79/10.80	o 75207
10.79/10.80	c Elapsed CPU time: 10.6364 s	Remaining CPU time: 169.364 s
10.79/10.80	c ===============================================================================
10.79/10.80	c |      1465 |    3721    26371   237268 |     8790     1465    423 | 32.712 % |
10.90/10.97	c ===============================================================================
10.90/10.97	c New solution: 75206
10.90/10.97	o 75206
10.90/10.97	c Elapsed CPU time: 10.8094 s	Remaining CPU time: 169.191 s
10.90/10.97	c ===============================================================================
10.90/10.97	c |      1466 |    3721    26372   239237 |     8790     1466    423 | 32.712 % |
11.00/11.09	c ===============================================================================
11.00/11.09	c New solution: 75205
11.00/11.09	o 75205
11.00/11.09	c Elapsed CPU time: 10.9263 s	Remaining CPU time: 169.074 s
11.00/11.09	c ===============================================================================
11.00/11.09	c |      1466 |    3721    26373   241206 |     8791     1466    423 | 32.712 % |
11.19/11.21	c ===============================================================================
11.19/11.21	c New solution: 75204
11.19/11.21	o 75204
11.19/11.21	c Elapsed CPU time: 11.0453 s	Remaining CPU time: 168.955 s
11.19/11.21	c ===============================================================================
11.19/11.21	c |      1466 |    3721    26374   243175 |     8791     1466    423 | 32.712 % |
11.29/11.33	c ===============================================================================
11.29/11.33	c New solution: 75203
11.29/11.33	o 75203
11.29/11.33	c Elapsed CPU time: 11.1653 s	Remaining CPU time: 168.835 s
11.29/11.33	c ===============================================================================
11.29/11.33	c |      1466 |    3721    26375   245144 |     8791     1466    423 | 32.712 % |
11.39/11.45	c ===============================================================================
11.39/11.45	c New solution: 75202
11.39/11.45	o 75202
11.39/11.45	c Elapsed CPU time: 11.2863 s	Remaining CPU time: 168.714 s
11.39/11.45	c ===============================================================================
11.39/11.45	c |      1467 |    3721    26376   247113 |     8792     1467    423 | 32.712 % |
11.49/11.53	c ===============================================================================
11.49/11.53	c New solution: 75201
11.49/11.53	o 75201
11.49/11.53	c Elapsed CPU time: 11.3693 s	Remaining CPU time: 168.631 s
11.49/11.53	c ===============================================================================
11.49/11.53	c |      1477 |    3721    26377   249082 |     8792     1477    423 | 32.712 % |
11.59/11.67	c ===============================================================================
11.59/11.67	c New solution: 75131
11.59/11.67	o 75131
11.59/11.67	c Elapsed CPU time: 11.5113 s	Remaining CPU time: 168.489 s
11.59/11.68	c ===============================================================================
11.59/11.68	c |      1479 |    3721    26378   251051 |     8792     1479    423 | 32.712 % |
11.79/11.84	c ===============================================================================
11.79/11.84	c New solution: 75111
11.79/11.84	o 75111
11.79/11.84	c Elapsed CPU time: 11.6792 s	Remaining CPU time: 168.321 s
11.79/11.84	c ===============================================================================
11.79/11.84	c |      1487 |    3721    26379   253020 |     8793     1487    423 | 32.712 % |
11.99/12.02	c ===============================================================================
11.99/12.02	c New solution: 75110
11.99/12.02	o 75110
11.99/12.02	c Elapsed CPU time: 11.8572 s	Remaining CPU time: 168.143 s
11.99/12.02	c ===============================================================================
11.99/12.02	c |      1491 |    3721    26380   254989 |     8793     1491    423 | 32.712 % |
11.99/12.07	c ===============================================================================
11.99/12.07	c New solution: 73718
11.99/12.07	o 73718
11.99/12.07	c Elapsed CPU time: 11.9012 s	Remaining CPU time: 168.099 s
11.99/12.07	c ===============================================================================
11.99/12.07	c |      1491 |    3721    26381   256958 |     8793     1491    423 | 32.712 % |
12.09/12.11	c ===============================================================================
12.09/12.11	c New solution: 73717
12.09/12.11	o 73717
12.09/12.11	c Elapsed CPU time: 11.9382 s	Remaining CPU time: 168.062 s
12.09/12.11	c ===============================================================================
12.09/12.11	c |      1491 |    3721    26382   258927 |     8794     1491    423 | 32.712 % |
12.09/12.17	c ===============================================================================
12.09/12.17	c New solution: 73716
12.09/12.17	o 73716
12.09/12.17	c Elapsed CPU time: 11.9962 s	Remaining CPU time: 168.004 s
12.09/12.17	c ===============================================================================
12.09/12.17	c |      1491 |    3721    26383   260896 |     8794     1491    423 | 32.712 % |
12.19/12.21	c ===============================================================================
12.19/12.21	c New solution: 72208
12.19/12.21	o 72208
12.19/12.21	c Elapsed CPU time: 12.0362 s	Remaining CPU time: 167.964 s
12.19/12.21	c ===============================================================================
12.19/12.21	c |      1492 |    3721    26384   262865 |     8794     1492    423 | 32.712 % |
12.29/12.36	c ===============================================================================
12.29/12.36	c New solution: 72178
12.29/12.36	o 72178
12.29/12.36	c Elapsed CPU time: 12.1901 s	Remaining CPU time: 167.81 s
12.29/12.36	c ===============================================================================
12.29/12.36	c |      1494 |    3721    26385   264834 |     8795     1494    424 | 32.712 % |
12.39/12.44	c ===============================================================================
12.39/12.44	c New solution: 72132
12.39/12.44	o 72132
12.39/12.44	c Elapsed CPU time: 12.2641 s	Remaining CPU time: 167.736 s
12.39/12.44	c ===============================================================================
12.39/12.44	c |      1499 |    3721    26386   266803 |     8795     1499    424 | 32.712 % |
12.49/12.52	c ===============================================================================
12.49/12.52	c New solution: 72131
12.49/12.52	o 72131
12.49/12.52	c Elapsed CPU time: 12.3481 s	Remaining CPU time: 167.652 s
12.49/12.52	c ===============================================================================
12.49/12.52	c |      1500 |    3721    26387   268772 |     8795     1500    424 | 32.712 % |
12.69/12.72	c ===============================================================================
12.69/12.72	c New solution: 72087
12.69/12.72	o 72087
12.69/12.72	c Elapsed CPU time: 12.5451 s	Remaining CPU time: 167.455 s
12.69/12.72	c ===============================================================================
12.69/12.72	c |      1504 |    3721    26388   270741 |     8796     1504    424 | 32.712 % |
12.69/12.79	c ===============================================================================
12.69/12.79	c New solution: 70645
12.69/12.79	o 70645
12.69/12.79	c Elapsed CPU time: 12.6161 s	Remaining CPU time: 167.384 s
12.69/12.79	c ===============================================================================
12.69/12.79	c |      1505 |    3721    26389   272710 |     8796     1505    424 | 32.712 % |
12.88/12.96	c ===============================================================================
12.88/12.96	c New solution: 70597
12.88/12.96	o 70597
12.88/12.96	c Elapsed CPU time: 12.7781 s	Remaining CPU time: 167.222 s
12.88/12.96	c ===============================================================================
12.88/12.96	c |      1505 |    3721    26390   274679 |     8796     1505    424 | 32.712 % |
13.09/13.11	c ===============================================================================
13.09/13.11	c New solution: 70596
13.09/13.11	o 70596
13.09/13.11	c Elapsed CPU time: 12.934 s	Remaining CPU time: 167.066 s
13.09/13.11	c ===============================================================================
13.09/13.11	c |      1505 |    3721    26391   276648 |     8797     1505    424 | 32.712 % |
13.19/13.29	c ===============================================================================
13.19/13.29	c New solution: 70551
13.19/13.29	o 70551
13.19/13.29	c Elapsed CPU time: 13.109 s	Remaining CPU time: 166.891 s
13.19/13.29	c ===============================================================================
13.19/13.29	c |      1507 |    3721    26392   278617 |     8797     1507    424 | 32.712 % |
13.29/13.33	c ===============================================================================
13.29/13.33	c New solution: 69148
13.29/13.33	o 69148
13.29/13.33	c Elapsed CPU time: 13.149 s	Remaining CPU time: 166.851 s
13.29/13.33	c ===============================================================================
13.29/13.33	c |      1508 |    3721    26393   280586 |     8797     1508    424 | 32.712 % |
13.39/13.43	c ===============================================================================
13.39/13.43	c New solution: 69136
13.39/13.43	o 69136
13.39/13.43	c Elapsed CPU time: 13.247 s	Remaining CPU time: 166.753 s
13.39/13.43	c ===============================================================================
13.39/13.43	c |      1509 |    3721    26394   282555 |     8798     1509    424 | 32.712 % |
13.49/13.52	c ===============================================================================
13.49/13.52	c New solution: 69126
13.49/13.52	o 69126
13.49/13.52	c Elapsed CPU time: 13.334 s	Remaining CPU time: 166.666 s
13.49/13.52	c ===============================================================================
13.49/13.52	c |      1509 |    3721    26395   284524 |     8798     1509    424 | 32.712 % |
13.59/13.61	c ===============================================================================
13.59/13.61	c New solution: 69125
13.59/13.61	o 69125
13.59/13.61	c Elapsed CPU time: 13.424 s	Remaining CPU time: 166.576 s
13.59/13.61	c ===============================================================================
13.59/13.61	c |      1509 |    3721    26396   286493 |     8798     1509    424 | 32.712 % |
14.09/14.17	c |      1610 |    3721    26396   286493 |     9678     1610    443 | 32.712 % |
14.29/14.34	c ===============================================================================
14.29/14.34	c New solution: 69038
14.29/14.34	o 69038
14.29/14.34	c Elapsed CPU time: 14.1558 s	Remaining CPU time: 165.844 s
14.29/14.34	c ===============================================================================
14.29/14.34	c |      1614 |    3721    26397   288462 |     8799     1614    443 | 32.712 % |
14.49/14.52	c ===============================================================================
14.49/14.52	c New solution: 69023
14.49/14.52	o 69023
14.49/14.52	c Elapsed CPU time: 14.3368 s	Remaining CPU time: 165.663 s
14.49/14.52	c ===============================================================================
14.49/14.52	c |      1619 |    3721    26398   290431 |     8799     1619    443 | 32.712 % |
14.89/14.91	c |      1719 |    3721    26398   290431 |     9679     1719    454 | 32.712 % |
15.48/15.52	c |      1870 |    3721    26398   290431 |    10647     1870    469 | 32.712 % |
15.58/15.67	c ===============================================================================
15.58/15.67	c New solution: 69022
15.58/15.67	o 69022
15.58/15.67	c Elapsed CPU time: 15.4876 s	Remaining CPU time: 164.512 s
15.58/15.67	c ===============================================================================
15.58/15.67	c |      1896 |    3721    26399   292400 |     8799     1896    469 | 32.712 % |
15.78/15.86	c ===============================================================================
15.78/15.86	c New solution: 69021
15.78/15.86	o 69021
15.78/15.86	c Elapsed CPU time: 15.6716 s	Remaining CPU time: 164.328 s
15.78/15.86	c ===============================================================================
15.78/15.86	c |      1904 |    3721    26400   294369 |     8800     1904    470 | 32.712 % |
15.98/16.06	c ===============================================================================
15.98/16.06	c New solution: 69020
15.98/16.06	o 69020
15.98/16.06	c Elapsed CPU time: 15.8706 s	Remaining CPU time: 164.129 s
15.98/16.06	c ===============================================================================
15.98/16.06	c |      1918 |    3721    26401   296338 |     8800     1918    469 | 32.712 % |
16.28/16.31	c ===============================================================================
16.28/16.31	c New solution: 69019
16.28/16.31	o 69019
16.28/16.31	c Elapsed CPU time: 16.1175 s	Remaining CPU time: 163.882 s
16.28/16.31	c ===============================================================================
16.28/16.31	c |      1961 |    3721    26402   298307 |     8800     1961    473 | 32.712 % |
16.28/16.38	c ===============================================================================
16.28/16.38	c New solution: 69018
16.28/16.38	o 69018
16.28/16.38	c Elapsed CPU time: 16.1925 s	Remaining CPU time: 163.807 s
16.28/16.38	c ===============================================================================
16.28/16.38	c |      1984 |    3721    26403   300276 |     8801     1984    474 | 32.712 % |
16.69/16.70	c ===============================================================================
16.69/16.70	c New solution: 69017
16.69/16.70	o 69017
16.69/16.70	c Elapsed CPU time: 16.5075 s	Remaining CPU time: 163.493 s
16.69/16.70	c ===============================================================================
16.69/16.70	c |      2008 |    3721    26404   302245 |     8801     2008    473 | 32.712 % |
16.99/17.03	c |      2109 |    3721    26404   302245 |     9681     2109    480 | 32.712 % |
17.19/17.21	c ===============================================================================
17.19/17.21	c New solution: 69016
17.19/17.21	o 69016
17.19/17.21	c Elapsed CPU time: 17.0114 s	Remaining CPU time: 162.989 s
17.19/17.21	c ===============================================================================
17.19/17.21	c |      2113 |    3721    26405   304214 |     8801     2113    480 | 32.712 % |
17.29/17.37	c ===============================================================================
17.29/17.37	c New solution: 69015
17.29/17.37	o 69015
17.29/17.37	c Elapsed CPU time: 17.1694 s	Remaining CPU time: 162.831 s
17.29/17.37	c ===============================================================================
17.29/17.37	c |      2117 |    3721    26406   306183 |     8802     2117    480 | 32.712 % |
17.49/17.56	c ===============================================================================
17.49/17.56	c New solution: 69014
17.49/17.56	o 69014
17.49/17.56	c Elapsed CPU time: 17.3604 s	Remaining CPU time: 162.64 s
17.49/17.56	c ===============================================================================
17.49/17.56	c |      2125 |    3721    26407   308152 |     8802     2125    480 | 32.712 % |
17.59/17.67	c ===============================================================================
17.59/17.67	c New solution: 69013
17.59/17.67	o 69013
17.59/17.67	c Elapsed CPU time: 17.4713 s	Remaining CPU time: 162.529 s
17.59/17.67	c ===============================================================================
17.59/17.67	c |      2147 |    3721    26408   310121 |     8802     2147    481 | 32.712 % |
17.79/17.82	c ===============================================================================
17.79/17.82	c New solution: 69012
17.79/17.82	o 69012
17.79/17.82	c Elapsed CPU time: 17.6233 s	Remaining CPU time: 162.377 s
17.79/17.82	c ===============================================================================
17.79/17.82	c |      2159 |    3721    26409   312090 |     8803     2159    481 | 32.712 % |
17.98/18.07	c ===============================================================================
17.98/18.07	c New solution: 67631
17.98/18.07	o 67631
17.98/18.07	c Elapsed CPU time: 17.8693 s	Remaining CPU time: 162.131 s
17.98/18.07	c ===============================================================================
17.98/18.07	c |      2163 |    3721    26410   314059 |     8803     2163    481 | 32.712 % |
18.18/18.27	c ===============================================================================
18.18/18.27	c New solution: 67537
18.18/18.27	o 67537
18.18/18.27	c Elapsed CPU time: 18.0683 s	Remaining CPU time: 161.932 s
18.18/18.27	c ===============================================================================
18.18/18.27	c |      2171 |    3721    26411   316028 |     8803     2171    481 | 32.712 % |
18.88/19.00	c |      2271 |    3721    26411   316028 |     9684     2271    489 | 32.712 % |
19.18/19.22	c ===============================================================================
19.18/19.22	c New solution: 67525
19.18/19.22	o 67525
19.18/19.22	c Elapsed CPU time: 19.0201 s	Remaining CPU time: 160.98 s
19.18/19.22	c ===============================================================================
19.18/19.22	c |      2281 |    3721    26412   317997 |     8804     2281    489 | 32.712 % |
19.38/19.43	c ===============================================================================
19.38/19.43	c New solution: 67523
19.38/19.43	o 67523
19.38/19.43	c Elapsed CPU time: 19.2301 s	Remaining CPU time: 160.77 s
19.38/19.43	c ===============================================================================
19.38/19.43	c |      2310 |    3721    26413   319966 |     8804     2310    489 | 32.712 % |
19.58/19.64	c ===============================================================================
19.58/19.64	c New solution: 67522
19.58/19.64	o 67522
19.58/19.64	c Elapsed CPU time: 19.435 s	Remaining CPU time: 160.565 s
19.58/19.64	c ===============================================================================
19.58/19.64	c |      2318 |    3721    26414   321935 |     8804     2318    489 | 32.712 % |
19.80/19.83	c ===============================================================================
19.80/19.83	c New solution: 67521
19.80/19.83	o 67521
19.80/19.83	c Elapsed CPU time: 19.627 s	Remaining CPU time: 160.373 s
19.80/19.83	c ===============================================================================
19.80/19.83	c |      2321 |    3721    26415   323904 |     8805     2321    489 | 32.712 % |
19.99/20.00	c ===============================================================================
19.99/20.00	c New solution: 67520
19.99/20.00	o 67520
19.99/20.00	c Elapsed CPU time: 19.8 s	Remaining CPU time: 160.2 s
19.99/20.00	c ===============================================================================
19.99/20.00	c |      2324 |    3721    26416   325873 |     8805     2324    488 | 32.712 % |
20.89/20.96	c |      2424 |    3721    26416   325873 |     9685     2424    495 | 32.712 % |
21.08/21.18	c ===============================================================================
21.08/21.18	c New solution: 67519
21.08/21.18	o 67519
21.08/21.18	c Elapsed CPU time: 20.9678 s	Remaining CPU time: 159.032 s
21.08/21.18	c ===============================================================================
21.08/21.18	c |      2432 |    3721    26417   327842 |     8805     2432    495 | 32.712 % |
21.49/21.53	c ===============================================================================
21.49/21.53	c New solution: 67518
21.49/21.53	o 67518
21.49/21.53	c Elapsed CPU time: 21.3178 s	Remaining CPU time: 158.682 s
21.49/21.53	c ===============================================================================
21.49/21.53	c |      2488 |    3721    26418   329811 |     8806     2488    499 | 32.712 % |
21.69/21.76	c ===============================================================================
21.69/21.76	c New solution: 67517
21.69/21.76	o 67517
21.69/21.76	c Elapsed CPU time: 21.5487 s	Remaining CPU time: 158.451 s
21.69/21.76	c ===============================================================================
21.69/21.76	c |      2530 |    3721    26419   331780 |     8806     2530    500 | 32.712 % |
21.99/22.00	c ===============================================================================
21.99/22.00	c New solution: 67498
21.99/22.00	o 67498
21.99/22.00	c Elapsed CPU time: 21.7867 s	Remaining CPU time: 158.213 s
21.99/22.00	c ===============================================================================
21.99/22.00	c |      2541 |    3721    26420   333749 |     8806     2541    499 | 32.712 % |
22.18/22.21	c ===============================================================================
22.18/22.21	c New solution: 67497
22.18/22.21	o 67497
22.18/22.21	c Elapsed CPU time: 21.9967 s	Remaining CPU time: 158.003 s
22.18/22.21	c ===============================================================================
22.18/22.21	c |      2544 |    3721    26421   335718 |     8807     2544    499 | 32.712 % |
22.58/22.61	c |      2645 |    3721    26421   335718 |     9687     2645    504 | 32.712 % |
22.68/22.79	c ===============================================================================
22.68/22.79	c New solution: 67496
22.68/22.79	o 67496
22.68/22.79	c Elapsed CPU time: 22.5726 s	Remaining CPU time: 157.427 s
22.68/22.79	c ===============================================================================
22.68/22.79	c |      2647 |    3721    26422   337687 |     8807     2647    504 | 32.712 % |
22.88/22.97	c ===============================================================================
22.88/22.97	c New solution: 67495
22.88/22.97	o 67495
22.88/22.97	c Elapsed CPU time: 22.7565 s	Remaining CPU time: 157.243 s
22.88/22.97	c ===============================================================================
22.88/22.97	c |      2649 |    3721    26423   339656 |     8807     2649    504 | 32.712 % |
23.09/23.16	c ===============================================================================
23.09/23.16	c New solution: 67494
23.09/23.16	o 67494
23.09/23.16	c Elapsed CPU time: 22.9405 s	Remaining CPU time: 157.059 s
23.09/23.16	c ===============================================================================
23.09/23.16	c |      2655 |    3721    26424   341625 |     8808     2655    504 | 32.712 % |
23.28/23.36	c ===============================================================================
23.28/23.36	c New solution: 67491
23.28/23.36	o 67491
23.28/23.36	c Elapsed CPU time: 23.1455 s	Remaining CPU time: 156.855 s
23.28/23.36	c ===============================================================================
23.28/23.36	c |      2663 |    3721    26425   343594 |     8808     2663    504 | 32.712 % |
23.48/23.55	c ===============================================================================
23.48/23.55	c New solution: 67490
23.48/23.55	o 67490
23.48/23.55	c Elapsed CPU time: 23.3325 s	Remaining CPU time: 156.668 s
23.48/23.55	c ===============================================================================
23.48/23.55	c |      2680 |    3721    26426   345563 |     8808     2680    504 | 32.712 % |
23.58/23.67	c ===============================================================================
23.58/23.67	c New solution: 67489
23.58/23.67	o 67489
23.58/23.67	c Elapsed CPU time: 23.4464 s	Remaining CPU time: 156.554 s
23.58/23.67	c ===============================================================================
23.58/23.67	c |      2697 |    3721    26427   347532 |     8809     2697    505 | 32.712 % |
23.78/23.86	c ===============================================================================
23.78/23.86	c New solution: 67488
23.78/23.86	o 67488
23.78/23.86	c Elapsed CPU time: 23.6344 s	Remaining CPU time: 156.366 s
23.78/23.86	c ===============================================================================
23.78/23.86	c |      2698 |    3721    26428   349501 |     8809     2698    505 | 32.712 % |
24.38/24.40	c |      2798 |    3721    26428   349501 |     9690     2798    509 | 32.712 % |
25.89/25.90	c ===============================================================================
25.89/25.90	c New solution: 67487
25.89/25.90	o 67487
25.89/25.90	c Elapsed CPU time: 25.6771 s	Remaining CPU time: 154.323 s
25.89/25.90	c ===============================================================================
25.89/25.90	c |      2943 |    3721    26429   351470 |     8809     2943    514 | 32.712 % |
25.99/26.07	c ===============================================================================
25.99/26.07	c New solution: 67486
25.99/26.07	o 67486
25.99/26.07	c Elapsed CPU time: 25.8421 s	Remaining CPU time: 154.158 s
25.99/26.07	c ===============================================================================
25.99/26.07	c |      2945 |    3721    26430   353439 |     8810     2945    514 | 32.712 % |
26.19/26.25	c ===============================================================================
26.19/26.25	c New solution: 67485
26.19/26.25	o 67485
26.19/26.25	c Elapsed CPU time: 26.026 s	Remaining CPU time: 153.974 s
26.19/26.25	c ===============================================================================
26.19/26.25	c |      2952 |    3721    26431   355408 |     8810     2952    514 | 32.712 % |
27.08/27.14	c |      3053 |    3721    26431   355408 |     9691     3053    518 | 32.712 % |
27.18/27.27	c ===============================================================================
27.18/27.27	c New solution: 67484
27.18/27.27	o 67484
27.18/27.27	c Elapsed CPU time: 27.0399 s	Remaining CPU time: 152.96 s
27.18/27.27	c ===============================================================================
27.18/27.27	c |      3056 |    3721    26432   357377 |     8810     3056    518 | 32.712 % |
27.58/27.67	c |      3156 |    3721    26432   357377 |     9691     3156    521 | 32.712 % |
27.88/27.94	c ===============================================================================
27.88/27.94	c New solution: 67483
27.88/27.94	o 67483
27.88/27.94	c Elapsed CPU time: 27.7038 s	Remaining CPU time: 152.296 s
27.88/27.94	c ===============================================================================
27.88/27.94	c |      3169 |    3721    26433   359346 |     8811     3169    520 | 32.712 % |
28.08/28.16	c ===============================================================================
28.08/28.16	c New solution: 67482
28.08/28.16	o 67482
28.08/28.16	c Elapsed CPU time: 27.9228 s	Remaining CPU time: 152.077 s
28.08/28.16	c ===============================================================================
28.08/28.16	c |      3180 |    3721    26434   361315 |     8811     3180    520 | 32.712 % |
28.18/28.28	c ===============================================================================
28.18/28.28	c New solution: 67481
28.18/28.28	o 67481
28.18/28.28	c Elapsed CPU time: 28.0457 s	Remaining CPU time: 151.954 s
28.18/28.28	c ===============================================================================
28.18/28.28	c |      3185 |    3721    26435   363284 |     8811     3185    520 | 32.712 % |
28.78/28.83	c |      3285 |    3721    26435   363284 |     9692     3285    523 | 32.712 % |
29.38/29.43	c |      3436 |    3721    26435   363284 |    10662     3436    527 | 32.712 % |
29.59/29.60	c ===============================================================================
29.59/29.60	c New solution: 67480
29.59/29.60	o 67480
29.59/29.60	c Elapsed CPU time: 29.3665 s	Remaining CPU time: 150.633 s
29.59/29.60	c ===============================================================================
29.59/29.60	c |      3460 |    3721    26436   365253 |     8812     3460    527 | 32.712 % |
29.99/30.06	c |      3561 |    3721    26436   365253 |     9693     3561    527 | 32.712 % |
30.19/30.26	c ===============================================================================
30.19/30.26	c New solution: 66079
30.19/30.26	o 66079
30.19/30.26	c Elapsed CPU time: 30.0294 s	Remaining CPU time: 149.971 s
30.19/30.26	c ===============================================================================
30.19/30.26	c |      3564 |    3721    26437   367222 |     8812     3564    527 | 32.712 % |
30.39/30.47	c ===============================================================================
30.39/30.47	c New solution: 65975
30.39/30.47	o 65975
30.39/30.47	c Elapsed CPU time: 30.2324 s	Remaining CPU time: 149.768 s
30.39/30.47	c ===============================================================================
30.39/30.47	c |      3566 |    3721    26438   369191 |     8812     3566    527 | 32.712 % |
30.58/30.63	c ===============================================================================
30.58/30.63	c New solution: 65974
30.58/30.63	o 65974
30.58/30.63	c Elapsed CPU time: 30.3914 s	Remaining CPU time: 149.609 s
30.58/30.63	c ===============================================================================
30.58/30.63	c |      3575 |    3721    26439   371160 |     8813     3575    528 | 32.712 % |
30.69/30.74	c ===============================================================================
30.69/30.74	c New solution: 65973
30.69/30.74	o 65973
30.69/30.74	c Elapsed CPU time: 30.4984 s	Remaining CPU time: 149.502 s
30.69/30.74	c ===============================================================================
30.69/30.74	c |      3584 |    3721    26440   373129 |     8813     3584    527 | 32.712 % |
30.98/31.05	c ===============================================================================
30.98/31.05	c New solution: 65972
30.98/31.05	o 65972
30.98/31.05	c Elapsed CPU time: 30.8123 s	Remaining CPU time: 149.188 s
30.98/31.05	c ===============================================================================
30.98/31.05	c |      3614 |    3721    26441   375098 |     8813     3614    528 | 32.712 % |
31.28/31.36	c ===============================================================================
31.28/31.36	c New solution: 65971
31.28/31.36	o 65971
31.28/31.36	c Elapsed CPU time: 31.1173 s	Remaining CPU time: 148.883 s
31.28/31.36	c ===============================================================================
31.28/31.36	c |      3619 |    3721    26442   377067 |     8814     3619    528 | 32.712 % |
31.38/31.43	c ===============================================================================
31.38/31.43	c New solution: 65970
31.38/31.43	o 65970
31.38/31.43	c Elapsed CPU time: 31.1923 s	Remaining CPU time: 148.808 s
31.38/31.43	c ===============================================================================
31.38/31.43	c |      3630 |    3721    26443   379036 |     8814     3630    528 | 32.712 % |
31.58/31.67	c ===============================================================================
31.58/31.67	c New solution: 65969
31.58/31.67	o 65969
31.58/31.67	c Elapsed CPU time: 31.4322 s	Remaining CPU time: 148.568 s
31.58/31.67	c ===============================================================================
31.58/31.67	c |      3647 |    3721    26444   381005 |     8814     3647    528 | 32.712 % |
31.79/31.84	c ===============================================================================
31.79/31.84	c New solution: 64578
31.79/31.84	o 64578
31.79/31.84	c Elapsed CPU time: 31.6002 s	Remaining CPU time: 148.4 s
31.79/31.84	c ===============================================================================
31.79/31.84	c |      3649 |    3721    26445   382974 |     8815     3649    527 | 32.712 % |
31.98/32.04	c ===============================================================================
31.98/32.04	c New solution: 64444
31.98/32.04	o 64444
31.98/32.04	c Elapsed CPU time: 31.8002 s	Remaining CPU time: 148.2 s
31.98/32.04	c ===============================================================================
31.98/32.04	c |      3651 |    3721    26446   384943 |     8815     3651    527 | 32.712 % |
32.08/32.19	c ===============================================================================
32.08/32.19	c New solution: 63052
32.08/32.19	o 63052
32.08/32.19	c Elapsed CPU time: 31.9421 s	Remaining CPU time: 148.058 s
32.08/32.19	c ===============================================================================
32.08/32.19	c |      3655 |    3721    26447   386912 |     8815     3655    527 | 32.712 % |
32.29/32.40	c ===============================================================================
32.29/32.40	c New solution: 62928
32.29/32.40	o 62928
32.29/32.40	c Elapsed CPU time: 32.1481 s	Remaining CPU time: 147.852 s
32.29/32.40	c ===============================================================================
32.29/32.40	c |      3664 |    3721    26448   388881 |     8816     3664    527 | 32.712 % |
32.78/32.89	c |      3765 |    3721    26448   388881 |     9697     3765    530 | 32.712 % |
32.89/32.99	c ===============================================================================
32.89/32.99	c New solution: 62927
32.89/32.99	o 62927
32.89/32.99	c Elapsed CPU time: 32.733 s	Remaining CPU time: 147.267 s
32.89/32.99	c ===============================================================================
32.89/32.99	c |      3776 |    3721    26449   390850 |     8816     3776    530 | 32.712 % |
33.48/33.51	c ===============================================================================
33.48/33.51	c New solution: 62926
33.48/33.51	o 62926
33.48/33.51	c Elapsed CPU time: 33.2519 s	Remaining CPU time: 146.748 s
33.48/33.51	c ===============================================================================
33.48/33.51	c |      3870 |    3721    26450   392819 |     8816     3870    530 | 32.712 % |
33.58/33.69	c ===============================================================================
33.58/33.69	c New solution: 62925
33.58/33.69	o 62925
33.58/33.69	c Elapsed CPU time: 33.4359 s	Remaining CPU time: 146.564 s
33.58/33.69	c ===============================================================================
33.58/33.69	c |      3881 |    3721    26451   394788 |     8817     3881    530 | 32.712 % |
34.38/34.42	c |      3982 |    3721    26451   394788 |     9698     3982    532 | 32.712 % |
34.88/34.97	c |      4132 |    3721    26451   394788 |    10668     4132    535 | 32.712 % |
35.19/35.22	c ===============================================================================
35.19/35.22	c New solution: 62924
35.19/35.22	o 62924
35.19/35.22	c Elapsed CPU time: 34.9577 s	Remaining CPU time: 145.042 s
35.19/35.22	c ===============================================================================
35.19/35.22	c |      4137 |    3721    26452   396757 |     8817     4137    535 | 32.712 % |
35.78/35.80	c |      4238 |    3721    26452   396757 |     9699     4238    537 | 32.712 % |
35.98/36.06	c ===============================================================================
35.98/36.06	c New solution: 62923
35.98/36.06	o 62923
35.98/36.06	c Elapsed CPU time: 35.7926 s	Remaining CPU time: 144.207 s
35.98/36.06	c ===============================================================================
35.98/36.06	c |      4275 |    3721    26453   398726 |     8817     4275    537 | 32.712 % |
36.19/36.24	c ===============================================================================
36.19/36.24	c New solution: 62922
36.19/36.24	o 62922
36.19/36.24	c Elapsed CPU time: 35.9805 s	Remaining CPU time: 144.019 s
36.19/36.24	c ===============================================================================
36.19/36.24	c |      4278 |    3721    26454   400695 |     8818     4278    537 | 32.712 % |
36.78/36.81	c |      4378 |    3721    26454   400695 |     9699     4378    539 | 32.712 % |
36.98/37.04	c |      4528 |    3721    26454   400695 |    10669     4528    538 | 32.712 % |
37.18/37.28	c ===============================================================================
37.18/37.28	c New solution: 61537
37.18/37.28	o 61537
37.18/37.28	c Elapsed CPU time: 37.0054 s	Remaining CPU time: 142.995 s
37.18/37.28	c ===============================================================================
37.18/37.28	c |      4528 |    3721    26455   402664 |     8818     4528    538 | 32.712 % |
37.48/37.54	c ===============================================================================
37.48/37.54	c New solution: 61498
37.48/37.54	o 61498
37.48/37.54	c Elapsed CPU time: 37.2663 s	Remaining CPU time: 142.734 s
37.48/37.54	c ===============================================================================
37.48/37.54	c |      4546 |    3721    26456   404633 |     8818     4546    538 | 32.712 % |
37.78/37.86	c ===============================================================================
37.78/37.86	c New solution: 61446
37.78/37.86	o 61446
37.78/37.86	c Elapsed CPU time: 37.5833 s	Remaining CPU time: 142.417 s
37.78/37.86	c ===============================================================================
37.78/37.86	c |      4565 |    3721    26457   406602 |     8819     4565    538 | 32.712 % |
38.08/38.14	c ===============================================================================
38.08/38.14	c New solution: 61445
38.08/38.14	o 61445
38.08/38.14	c Elapsed CPU time: 37.8692 s	Remaining CPU time: 142.131 s
38.08/38.14	c ===============================================================================
38.08/38.14	c |      4570 |    3721    26458   408571 |     8819     4570    538 | 32.712 % |
38.49/38.59	c |      4670 |    3721    26458   408571 |     9701     4670    540 | 32.713 % |
38.88/38.94	c ===============================================================================
38.88/38.94	c New solution: 61425
38.88/38.94	o 61425
38.88/38.94	c Elapsed CPU time: 38.6641 s	Remaining CPU time: 141.336 s
38.88/38.94	c ===============================================================================
38.88/38.94	c |      4696 |    3721    26459   410540 |     8819     4696    540 | 32.713 % |
39.18/39.23	c ===============================================================================
39.18/39.23	c New solution: 61424
39.18/39.23	o 61424
39.18/39.23	c Elapsed CPU time: 38.9501 s	Remaining CPU time: 141.05 s
39.18/39.23	c ===============================================================================
39.18/39.23	c |      4718 |    3721    26460   412509 |     8820     4718    540 | 32.713 % |
39.28/39.37	c ===============================================================================
39.28/39.37	c New solution: 61423
39.28/39.37	o 61423
39.28/39.37	c Elapsed CPU time: 39.0931 s	Remaining CPU time: 140.907 s
39.28/39.37	c ===============================================================================
39.28/39.37	c |      4725 |    3721    26461   414478 |     8820     4725    540 | 32.713 % |
39.68/39.70	c ===============================================================================
39.68/39.70	c New solution: 61422
39.68/39.70	o 61422
39.68/39.70	c Elapsed CPU time: 39.418 s	Remaining CPU time: 140.582 s
39.68/39.70	c ===============================================================================
39.68/39.70	c |      4773 |    3721    26462   416447 |     8820     4773    540 | 32.713 % |
39.88/39.92	c ===============================================================================
39.88/39.92	c New solution: 61421
39.88/39.92	o 61421
39.88/39.92	c Elapsed CPU time: 39.642 s	Remaining CPU time: 140.358 s
39.88/39.92	c ===============================================================================
39.88/39.92	c |      4775 |    3721    26463   418416 |     8821     4775    540 | 32.713 % |
40.28/40.32	c ===============================================================================
40.28/40.32	c New solution: 60007
40.28/40.32	o 60007
40.28/40.32	c Elapsed CPU time: 40.0319 s	Remaining CPU time: 139.968 s
40.28/40.32	c ===============================================================================
40.28/40.32	c |      4779 |    3721    26464   420385 |     8821     4779    539 | 32.713 % |
40.38/40.48	c ===============================================================================
40.38/40.48	c New solution: 59979
40.38/40.48	o 59979
40.38/40.48	c Elapsed CPU time: 40.1929 s	Remaining CPU time: 139.807 s
40.38/40.48	c ===============================================================================
40.38/40.48	c |      4779 |    3721    26465   422354 |     8821     4779    539 | 32.713 % |
40.48/40.58	c ===============================================================================
40.48/40.58	c New solution: 59978
40.48/40.58	o 59978
40.48/40.58	c Elapsed CPU time: 40.2949 s	Remaining CPU time: 139.705 s
40.48/40.58	c ===============================================================================
40.48/40.58	c |      4779 |    3721    26466   424323 |     8822     4779    539 | 32.713 % |
40.58/40.69	c ===============================================================================
40.58/40.69	c New solution: 59977
40.58/40.69	o 59977
40.58/40.69	c Elapsed CPU time: 40.4049 s	Remaining CPU time: 139.595 s
40.58/40.69	c ===============================================================================
40.58/40.69	c |      4779 |    3721    26467   426292 |     8822     4779    539 | 32.713 % |
40.77/40.87	c ===============================================================================
40.77/40.87	c New solution: 59965
40.77/40.87	o 59965
40.77/40.87	c Elapsed CPU time: 40.5848 s	Remaining CPU time: 139.415 s
40.77/40.87	c ===============================================================================
40.77/40.87	c |      4780 |    3721    26468   428261 |     8822     4780    539 | 32.713 % |
40.98/41.04	c ===============================================================================
40.98/41.04	c New solution: 59964
40.98/41.04	o 59964
40.98/41.04	c Elapsed CPU time: 40.7498 s	Remaining CPU time: 139.25 s
40.98/41.04	c ===============================================================================
40.98/41.04	c |      4780 |    3721    26469   430230 |     8823     4780    539 | 32.713 % |
41.08/41.13	c ===============================================================================
41.08/41.13	c New solution: 59963
41.08/41.13	o 59963
41.08/41.13	c Elapsed CPU time: 40.8368 s	Remaining CPU time: 139.163 s
41.08/41.13	c ===============================================================================
41.08/41.13	c |      4781 |    3721    26470   432199 |     8823     4781    539 | 32.713 % |
41.08/41.19	c ===============================================================================
41.08/41.19	c New solution: 59962
41.08/41.19	o 59962
41.08/41.19	c Elapsed CPU time: 40.8998 s	Remaining CPU time: 139.1 s
41.08/41.19	c ===============================================================================
41.08/41.19	c |      4782 |    3721    26471   434168 |     8823     4782    539 | 32.713 % |
41.28/41.31	c ===============================================================================
41.28/41.31	c New solution: 58505
41.28/41.31	o 58505
41.28/41.31	c Elapsed CPU time: 41.0158 s	Remaining CPU time: 138.984 s
41.28/41.31	c ===============================================================================
41.28/41.31	c |      4782 |    3721    26472   436137 |     8824     4782    539 | 32.713 % |
41.38/41.42	c ===============================================================================
41.38/41.42	c New solution: 58503
41.38/41.42	o 58503
41.38/41.42	c Elapsed CPU time: 41.1287 s	Remaining CPU time: 138.871 s
41.38/41.42	c ===============================================================================
41.38/41.42	c |      4782 |    3721    26473   438106 |     8824     4782    539 | 32.713 % |
41.48/41.53	c ===============================================================================
41.48/41.53	c New solution: 58502
41.48/41.53	o 58502
41.48/41.53	c Elapsed CPU time: 41.2367 s	Remaining CPU time: 138.763 s
41.48/41.53	c ===============================================================================
41.48/41.53	c |      4783 |    3721    26474   440075 |     8824     4783    539 | 32.713 % |
41.79/41.82	c ===============================================================================
41.79/41.82	c New solution: 58414
41.79/41.82	o 58414
41.79/41.82	c Elapsed CPU time: 41.5317 s	Remaining CPU time: 138.468 s
41.79/41.82	c ===============================================================================
41.79/41.82	c |      4785 |    3721    26475   442044 |     8825     4785    539 | 32.713 % |
41.88/41.98	c ===============================================================================
41.88/41.98	c New solution: 58413
41.88/41.98	o 58413
41.88/41.98	c Elapsed CPU time: 41.6927 s	Remaining CPU time: 138.307 s
41.88/41.98	c ===============================================================================
41.88/41.98	c |      4793 |    3721    26476   444013 |     8825     4793    539 | 32.713 % |
42.18/42.28	c ===============================================================================
42.18/42.28	c New solution: 58399
42.18/42.28	o 58399
42.18/42.28	c Elapsed CPU time: 41.9916 s	Remaining CPU time: 138.008 s
42.18/42.28	c ===============================================================================
42.18/42.28	c |      4796 |    3721    26477   445982 |     8825     4796    539 | 32.713 % |
42.48/42.52	c ===============================================================================
42.48/42.52	c New solution: 58398
42.48/42.52	o 58398
42.48/42.52	c Elapsed CPU time: 42.2256 s	Remaining CPU time: 137.774 s
42.48/42.52	c ===============================================================================
42.48/42.52	c |      4798 |    3721    26478   447951 |     8826     4798    539 | 32.713 % |
42.98/43.02	c |      4898 |    3721    26478   447951 |     9708     4898    541 | 32.713 % |
43.58/43.63	c ===============================================================================
43.58/43.63	c New solution: 58397
43.58/43.63	o 58397
43.58/43.63	c Elapsed CPU time: 43.3334 s	Remaining CPU time: 136.667 s
43.58/43.63	c ===============================================================================
43.58/43.63	c |      4914 |    3721    26479   449920 |     8826     4914    540 | 32.713 % |
44.68/44.75	c |      5014 |    3721    26479   449920 |     9708     5014    542 | 32.712 % |
44.88/44.95	c ===============================================================================
44.88/44.95	c New solution: 58396
44.88/44.95	o 58396
44.88/44.95	c Elapsed CPU time: 44.6492 s	Remaining CPU time: 135.351 s
44.88/44.95	c ===============================================================================
44.88/44.95	c |      5018 |    3721    26480   451889 |     8826     5018    542 | 32.712 % |
45.18/45.20	c ===============================================================================
45.18/45.20	c New solution: 58379
45.18/45.20	o 58379
45.18/45.20	c Elapsed CPU time: 44.9012 s	Remaining CPU time: 135.099 s
45.18/45.20	c ===============================================================================
45.18/45.20	c |      5037 |    3721    26481   453858 |     8827     5037    542 | 32.712 % |
45.48/45.55	c |      5137 |    3721    26481   453858 |     9709     5137    541 | 32.712 % |
45.78/45.80	c ===============================================================================
45.78/45.80	c New solution: 58378
45.78/45.80	o 58378
45.78/45.80	c Elapsed CPU time: 45.5011 s	Remaining CPU time: 134.499 s
45.78/45.80	c ===============================================================================
45.78/45.80	c |      5138 |    3721    26482   455827 |     8827     5138    541 | 32.712 % |
45.98/46.06	c ===============================================================================
45.98/46.06	c New solution: 56977
45.98/46.06	o 56977
45.98/46.06	c Elapsed CPU time: 45.755 s	Remaining CPU time: 134.245 s
45.98/46.06	c ===============================================================================
45.98/46.06	c |      5139 |    3721    26483   457796 |     8827     5139    541 | 32.712 % |
46.28/46.31	c ===============================================================================
46.28/46.31	c New solution: 56976
46.28/46.31	o 56976
46.28/46.31	c Elapsed CPU time: 46.004 s	Remaining CPU time: 133.996 s
46.28/46.31	c ===============================================================================
46.28/46.31	c |      5139 |    3721    26484   459765 |     8828     5139    541 | 32.712 % |
46.48/46.53	c ===============================================================================
46.48/46.53	c New solution: 56973
46.48/46.53	o 56973
46.48/46.53	c Elapsed CPU time: 46.23 s	Remaining CPU time: 133.77 s
46.48/46.53	c ===============================================================================
46.48/46.53	c |      5142 |    3721    26485   461734 |     8828     5142    541 | 32.712 % |
46.68/46.79	c ===============================================================================
46.68/46.79	c New solution: 56884
46.68/46.79	o 56884
46.68/46.79	c Elapsed CPU time: 46.4879 s	Remaining CPU time: 133.512 s
46.68/46.79	c ===============================================================================
46.68/46.79	c |      5143 |    3721    26486   463703 |     8828     5143    541 | 32.712 % |
46.98/47.04	c ===============================================================================
46.98/47.04	c New solution: 56883
46.98/47.04	o 56883
46.98/47.04	c Elapsed CPU time: 46.7369 s	Remaining CPU time: 133.263 s
46.98/47.04	c ===============================================================================
46.98/47.04	c |      5143 |    3721    26487   465672 |     8829     5143    541 | 32.712 % |
47.87/47.92	c ===============================================================================
47.87/47.92	c New solution: 56879
47.87/47.92	o 56879
47.87/47.92	c Elapsed CPU time: 47.6138 s	Remaining CPU time: 132.386 s
47.87/47.92	c ===============================================================================
47.87/47.92	c |      5235 |    3721    26488   467641 |     8829     5235    540 | 32.712 % |
48.17/48.23	c ===============================================================================
48.17/48.23	c New solution: 56873
48.17/48.23	o 56873
48.17/48.23	c Elapsed CPU time: 47.9247 s	Remaining CPU time: 132.075 s
48.17/48.23	c ===============================================================================
48.17/48.23	c |      5241 |    3721    26489   469610 |     8829     5241    540 | 32.712 % |
48.38/48.47	c ===============================================================================
48.38/48.47	c New solution: 55458
48.38/48.47	o 55458
48.38/48.47	c Elapsed CPU time: 48.1667 s	Remaining CPU time: 131.833 s
48.38/48.47	c ===============================================================================
48.38/48.47	c |      5243 |    3721    26490   471579 |     8830     5243    540 | 32.712 % |
48.57/48.68	c ===============================================================================
48.57/48.68	c New solution: 55457
48.57/48.68	o 55457
48.57/48.68	c Elapsed CPU time: 48.3766 s	Remaining CPU time: 131.623 s
48.57/48.68	c ===============================================================================
48.57/48.68	c |      5244 |    3721    26491   473548 |     8830     5244    540 | 32.712 % |
48.97/49.02	c ===============================================================================
48.97/49.02	c New solution: 55394
48.97/49.02	o 55394
48.97/49.02	c Elapsed CPU time: 48.7106 s	Remaining CPU time: 131.289 s
48.97/49.02	c ===============================================================================
48.97/49.02	c |      5245 |    3721    26492   475517 |     8830     5245    540 | 32.712 % |
49.07/49.17	c ===============================================================================
49.07/49.17	c New solution: 55393
49.07/49.17	o 55393
49.07/49.17	c Elapsed CPU time: 48.8586 s	Remaining CPU time: 131.141 s
49.07/49.17	c ===============================================================================
49.07/49.17	c |      5256 |    3721    26493   477486 |     8831     5256    540 | 32.712 % |
49.49/49.51	c ===============================================================================
49.49/49.51	c New solution: 55331
49.49/49.51	o 55331
49.49/49.51	c Elapsed CPU time: 49.1965 s	Remaining CPU time: 130.803 s
49.49/49.51	c ===============================================================================
49.49/49.51	c |      5259 |    3721    26494   479455 |     8831     5259    540 | 32.712 % |
49.78/49.86	c ===============================================================================
49.78/49.86	c New solution: 55330
49.78/49.86	o 55330
49.78/49.86	c Elapsed CPU time: 49.5535 s	Remaining CPU time: 130.447 s
49.78/49.86	c ===============================================================================
49.78/49.86	c |      5277 |    3721    26495   481424 |     8831     5277    540 | 32.712 % |
49.98/50.09	c ===============================================================================
49.98/50.09	c New solution: 53944
49.98/50.09	o 53944
49.98/50.09	c Elapsed CPU time: 49.7804 s	Remaining CPU time: 130.22 s
49.98/50.09	c ===============================================================================
49.98/50.09	c |      5278 |    3721    26496   483393 |     8832     5278    540 | 32.712 % |
50.38/50.41	c ===============================================================================
50.38/50.41	c New solution: 53927
50.38/50.41	o 53927
50.38/50.41	c Elapsed CPU time: 50.0944 s	Remaining CPU time: 129.906 s
50.38/50.41	c ===============================================================================
50.38/50.41	c |      5278 |    3721    26497   485362 |     8832     5278    540 | 32.712 % |
50.67/50.73	c ===============================================================================
50.67/50.73	c New solution: 53926
50.67/50.73	o 53926
50.67/50.73	c Elapsed CPU time: 50.4153 s	Remaining CPU time: 129.585 s
50.67/50.73	c ===============================================================================
50.67/50.73	c |      5278 |    3721    26498   487331 |     8832     5278    540 | 32.712 % |
50.87/50.93	c ===============================================================================
50.87/50.93	c New solution: 53925
50.87/50.93	o 53925
50.87/50.93	c Elapsed CPU time: 50.6123 s	Remaining CPU time: 129.388 s
50.87/50.93	c ===============================================================================
50.87/50.93	c |      5278 |    3721    26499   489300 |     8833     5278    540 | 32.712 % |
51.17/51.25	c ===============================================================================
51.17/51.25	c New solution: 53924
51.17/51.25	o 53924
51.17/51.25	c Elapsed CPU time: 50.9273 s	Remaining CPU time: 129.073 s
51.17/51.25	c ===============================================================================
51.17/51.25	c |      5278 |    3721    26500   491269 |     8833     5278    540 | 32.712 % |
51.47/51.56	c ===============================================================================
51.47/51.56	c New solution: 53923
51.47/51.56	o 53923
51.47/51.56	c Elapsed CPU time: 51.2402 s	Remaining CPU time: 128.76 s
51.47/51.56	c ===============================================================================
51.47/51.56	c |      5278 |    3721    26501   493238 |     8833     5278    540 | 32.712 % |
51.88/51.96	c ===============================================================================
51.88/51.96	c New solution: 53880
51.88/51.96	o 53880
51.88/51.96	c Elapsed CPU time: 51.6431 s	Remaining CPU time: 128.357 s
51.88/51.96	c ===============================================================================
51.88/51.96	c |      5278 |    3721    26502   495207 |     8834     5278    540 | 32.712 % |
52.18/52.21	c ===============================================================================
52.18/52.21	c New solution: 53879
52.18/52.21	o 53879
52.18/52.21	c Elapsed CPU time: 51.8841 s	Remaining CPU time: 128.116 s
52.18/52.21	c ===============================================================================
52.18/52.21	c |      5280 |    3721    26503   497176 |     8834     5280    540 | 32.712 % |
52.48/52.53	c ===============================================================================
52.48/52.53	c New solution: 53818
52.48/52.53	o 53818
52.48/52.53	c Elapsed CPU time: 52.2041 s	Remaining CPU time: 127.796 s
52.48/52.53	c ===============================================================================
52.48/52.53	c |      5282 |    3721    26504   499145 |     8834     5282    540 | 32.712 % |
52.69/52.78	c ===============================================================================
52.69/52.78	c New solution: 52420
52.69/52.78	o 52420
52.69/52.78	c Elapsed CPU time: 52.459 s	Remaining CPU time: 127.541 s
52.69/52.78	c ===============================================================================
52.69/52.78	c |      5282 |    3721    26505   501114 |     8835     5282    540 | 32.712 % |
52.98/53.03	c ===============================================================================
52.98/53.03	c New solution: 52419
52.98/53.03	o 52419
52.98/53.03	c Elapsed CPU time: 52.711 s	Remaining CPU time: 127.289 s
52.98/53.03	c ===============================================================================
52.98/53.03	c |      5283 |    3721    26506   503083 |     8835     5283    540 | 32.712 % |
53.28/53.30	c ===============================================================================
53.28/53.30	c New solution: 52400
53.28/53.30	o 52400
53.28/53.30	c Elapsed CPU time: 52.9769 s	Remaining CPU time: 127.023 s
53.28/53.30	c ===============================================================================
53.28/53.30	c |      5283 |    3721    26507   505052 |     8835     5283    540 | 32.712 % |
53.48/53.50	c ===============================================================================
53.48/53.50	c New solution: 52399
53.48/53.50	o 52399
53.48/53.50	c Elapsed CPU time: 53.1809 s	Remaining CPU time: 126.819 s
53.48/53.50	c ===============================================================================
53.48/53.50	c |      5287 |    3721    26508   507021 |     8836     5287    540 | 32.712 % |
53.89/53.96	c ===============================================================================
53.89/53.96	c New solution: 52307
53.89/53.96	o 52307
53.89/53.96	c Elapsed CPU time: 53.6328 s	Remaining CPU time: 126.367 s
53.89/53.96	c ===============================================================================
53.89/53.96	c |      5293 |    3721    26509   508990 |     8836     5293    540 | 32.712 % |
54.28/54.30	c ===============================================================================
54.28/54.30	c New solution: 50897
54.28/54.30	o 50897
54.28/54.30	c Elapsed CPU time: 53.9708 s	Remaining CPU time: 126.029 s
54.28/54.30	c ===============================================================================
54.28/54.30	c |      5326 |    3721    26510   510959 |     8836     5326    539 | 32.712 % |
54.57/54.65	c ===============================================================================
54.57/54.65	c New solution: 50850
54.57/54.65	o 50850
54.57/54.65	c Elapsed CPU time: 54.3197 s	Remaining CPU time: 125.68 s
54.57/54.65	c ===============================================================================
54.57/54.65	c |      5327 |    3721    26511   512928 |     8837     5327    539 | 32.712 % |
54.77/54.87	c ===============================================================================
54.77/54.87	c New solution: 50849
54.77/54.87	o 50849
54.77/54.87	c Elapsed CPU time: 54.5377 s	Remaining CPU time: 125.462 s
54.77/54.87	c ===============================================================================
54.77/54.87	c |      5339 |    3721    26512   514897 |     8837     5339    540 | 32.712 % |
56.97/57.03	c ===============================================================================
56.97/57.03	c New solution: 50842
56.97/57.03	o 50842
56.97/57.03	c Elapsed CPU time: 56.6974 s	Remaining CPU time: 123.303 s
56.97/57.03	c ===============================================================================
56.97/57.03	c |      5400 |    3721    26513   516866 |     8837     5400    539 | 32.712 % |
57.27/57.33	c ===============================================================================
57.27/57.33	c New solution: 50841
57.27/57.33	o 50841
57.27/57.33	c Elapsed CPU time: 57.0033 s	Remaining CPU time: 122.997 s
57.27/57.33	c ===============================================================================
57.27/57.33	c |      5401 |    3721    26514   518835 |     8838     5401    539 | 32.712 % |
57.58/57.63	c ===============================================================================
57.58/57.63	c New solution: 50840
57.58/57.63	o 50840
57.58/57.63	c Elapsed CPU time: 57.2963 s	Remaining CPU time: 122.704 s
57.58/57.63	c ===============================================================================
57.58/57.63	c |      5401 |    3721    26515   520804 |     8838     5401    539 | 32.712 % |
57.88/57.92	c ===============================================================================
57.88/57.92	c New solution: 50839
57.88/57.92	o 50839
57.88/57.92	c Elapsed CPU time: 57.5892 s	Remaining CPU time: 122.411 s
57.88/57.92	c ===============================================================================
57.88/57.92	c |      5401 |    3721    26516   522773 |     8838     5401    539 | 32.712 % |
58.19/58.22	c ===============================================================================
58.19/58.22	c New solution: 50838
58.19/58.22	o 50838
58.19/58.22	c Elapsed CPU time: 57.8842 s	Remaining CPU time: 122.116 s
58.19/58.22	c ===============================================================================
58.19/58.22	c |      5401 |    3721    26517   524742 |     8839     5401    539 | 32.712 % |
58.38/58.46	c ===============================================================================
58.38/58.46	c New solution: 50837
58.38/58.46	o 50837
58.38/58.46	c Elapsed CPU time: 58.1222 s	Remaining CPU time: 121.878 s
58.38/58.46	c ===============================================================================
58.38/58.46	c |      5402 |    3721    26518   526711 |     8839     5402    539 | 32.712 % |
59.17/59.21	c |      5503 |    3721    26518   526711 |     9723     5503    542 | 32.712 % |
59.47/59.55	c ===============================================================================
59.47/59.55	c New solution: 50830
59.47/59.55	o 50830
59.47/59.55	c Elapsed CPU time: 59.213 s	Remaining CPU time: 120.787 s
59.47/59.55	c ===============================================================================
59.47/59.55	c |      5510 |    3721    26519   528680 |     8839     5510    542 | 32.712 % |
60.27/60.34	c |      5610 |    3721    26519   528680 |     9723     5610    544 | 32.712 % |
60.67/60.75	c ===============================================================================
60.67/60.75	c New solution: 50787
60.67/60.75	o 50787
60.67/60.75	c Elapsed CPU time: 60.4108 s	Remaining CPU time: 119.589 s
60.67/60.75	c ===============================================================================
60.67/60.75	c |      5613 |    3721    26520   530649 |     8840     5613    544 | 32.712 % |
61.07/61.17	c ===============================================================================
61.07/61.17	c New solution: 50769
61.07/61.17	o 50769
61.07/61.17	c Elapsed CPU time: 60.8298 s	Remaining CPU time: 119.17 s
61.07/61.17	c ===============================================================================
61.07/61.17	c |      5617 |    3721    26521   532618 |     8840     5617    544 | 32.712 % |
61.48/61.55	c ===============================================================================
61.48/61.55	c New solution: 50768
61.48/61.55	o 50768
61.48/61.55	c Elapsed CPU time: 61.2037 s	Remaining CPU time: 118.796 s
61.48/61.55	c ===============================================================================
61.48/61.55	c |      5623 |    3721    26522   534587 |     8840     5623    544 | 32.712 % |
61.78/61.89	c ===============================================================================
61.78/61.89	c New solution: 50767
61.78/61.89	o 50767
61.78/61.89	c Elapsed CPU time: 61.5466 s	Remaining CPU time: 118.453 s
61.78/61.89	c ===============================================================================
61.78/61.89	c |      5631 |    3721    26523   536556 |     8841     5631    543 | 32.712 % |
62.18/62.26	c ===============================================================================
62.18/62.26	c New solution: 50766
62.18/62.26	o 50766
62.18/62.26	c Elapsed CPU time: 61.9086 s	Remaining CPU time: 118.091 s
62.18/62.26	c ===============================================================================
62.18/62.26	c |      5640 |    3721    26524   538525 |     8841     5640    543 | 32.712 % |
62.58/62.63	c ===============================================================================
62.58/62.63	c New solution: 50765
62.58/62.63	o 50765
62.58/62.63	c Elapsed CPU time: 62.2815 s	Remaining CPU time: 117.718 s
62.58/62.63	c ===============================================================================
62.58/62.63	c |      5644 |    3721    26525   540494 |     8841     5644    543 | 32.712 % |
63.17/63.25	c ===============================================================================
63.17/63.25	c New solution: 49368
63.17/63.25	o 49368
63.17/63.25	c Elapsed CPU time: 62.8994 s	Remaining CPU time: 117.101 s
63.17/63.25	c ===============================================================================
63.17/63.25	c |      5664 |    3721    26526   542463 |     8842     5664    543 | 32.712 % |
63.57/63.62	c ===============================================================================
63.57/63.62	c New solution: 49250
63.57/63.62	o 49250
63.57/63.62	c Elapsed CPU time: 63.2714 s	Remaining CPU time: 116.729 s
63.57/63.62	c ===============================================================================
63.57/63.62	c |      5668 |    3721    26527   544432 |     8842     5668    543 | 32.712 % |
63.87/63.98	c ===============================================================================
63.87/63.98	c New solution: 49236
63.87/63.98	o 49236
63.87/63.98	c Elapsed CPU time: 63.6313 s	Remaining CPU time: 116.369 s
63.87/63.98	c ===============================================================================
63.87/63.98	c |      5669 |    3721    26528   546401 |     8842     5669    543 | 32.712 % |
64.28/64.34	c ===============================================================================
64.28/64.34	c New solution: 49235
64.28/64.34	o 49235
64.28/64.34	c Elapsed CPU time: 63.9843 s	Remaining CPU time: 116.016 s
64.28/64.34	c ===============================================================================
64.28/64.34	c |      5669 |    3721    26529   548370 |     8843     5669    543 | 32.712 % |
64.58/64.69	c ===============================================================================
64.58/64.69	c New solution: 49234
64.58/64.69	o 49234
64.58/64.69	c Elapsed CPU time: 64.3362 s	Remaining CPU time: 115.664 s
64.58/64.69	c ===============================================================================
64.58/64.69	c |      5669 |    3721    26530   550339 |     8843     5669    543 | 32.712 % |
64.98/65.04	c ===============================================================================
64.98/65.04	c New solution: 49233
64.98/65.04	o 49233
64.98/65.04	c Elapsed CPU time: 64.6852 s	Remaining CPU time: 115.315 s
64.98/65.04	c ===============================================================================
64.98/65.04	c |      5669 |    3721    26531   552308 |     8843     5669    543 | 32.712 % |
65.28/65.38	c ===============================================================================
65.28/65.38	c New solution: 49232
65.28/65.38	o 49232
65.28/65.38	c Elapsed CPU time: 65.0231 s	Remaining CPU time: 114.977 s
65.28/65.38	c ===============================================================================
65.28/65.38	c |      5675 |    3721    26532   554277 |     8844     5675    543 | 32.712 % |
65.67/65.70	c ===============================================================================
65.67/65.70	c New solution: 49231
65.67/65.70	o 49231
65.67/65.70	c Elapsed CPU time: 65.3391 s	Remaining CPU time: 114.661 s
65.67/65.70	c ===============================================================================
65.67/65.70	c |      5677 |    3721    26533   556246 |     8844     5677    543 | 32.712 % |
65.98/66.02	c ===============================================================================
65.98/66.02	c New solution: 49230
65.98/66.02	o 49230
65.98/66.02	c Elapsed CPU time: 65.663 s	Remaining CPU time: 114.337 s
65.98/66.02	c ===============================================================================
65.98/66.02	c |      5682 |    3721    26534   558215 |     8844     5682    543 | 32.712 % |
66.27/66.32	c ===============================================================================
66.27/66.32	c New solution: 49229
66.27/66.32	o 49229
66.27/66.32	c Elapsed CPU time: 65.962 s	Remaining CPU time: 114.038 s
66.27/66.32	c ===============================================================================
66.27/66.32	c |      5691 |    3721    26535   560184 |     8845     5691    543 | 32.712 % |
67.17/67.23	c |      5792 |    3721    26535   560184 |     9729     5792    544 | 32.712 % |
67.47/67.59	c ===============================================================================
67.47/67.59	c New solution: 49228
67.47/67.59	o 49228
67.47/67.59	c Elapsed CPU time: 67.2318 s	Remaining CPU time: 112.768 s
67.47/67.59	c ===============================================================================
67.47/67.59	c |      5795 |    3721    26536   562153 |     8845     5795    544 | 32.712 % |
67.77/67.82	c ===============================================================================
67.77/67.82	c New solution: 49227
67.77/67.82	o 49227
67.77/67.82	c Elapsed CPU time: 67.4597 s	Remaining CPU time: 112.54 s
67.77/67.82	c ===============================================================================
67.77/67.82	c |      5800 |    3721    26537   564122 |     8845     5800    544 | 32.712 % |
68.08/68.10	c ===============================================================================
68.08/68.10	c New solution: 49226
68.08/68.10	o 49226
68.08/68.10	c Elapsed CPU time: 67.7437 s	Remaining CPU time: 112.256 s
68.08/68.10	c ===============================================================================
68.08/68.10	c |      5811 |    3721    26538   566091 |     8846     5811    544 | 32.712 % |
68.27/68.38	c ===============================================================================
68.27/68.38	c New solution: 49225
68.27/68.38	o 49225
68.27/68.38	c Elapsed CPU time: 68.0127 s	Remaining CPU time: 111.987 s
68.27/68.38	c ===============================================================================
68.27/68.38	c |      5818 |    3721    26539   568060 |     8846     5818    544 | 32.712 % |
68.67/68.72	c ===============================================================================
68.67/68.72	c New solution: 49224
68.67/68.72	o 49224
68.67/68.72	c Elapsed CPU time: 68.3526 s	Remaining CPU time: 111.647 s
68.67/68.72	c ===============================================================================
68.67/68.72	c |      5823 |    3721    26540   570029 |     8846     5823    544 | 32.712 % |
68.87/69.00	c ===============================================================================
68.87/69.00	c New solution: 47848
68.87/69.00	o 47848
68.87/69.00	c Elapsed CPU time: 68.6306 s	Remaining CPU time: 111.369 s
68.87/69.00	c ===============================================================================
68.87/69.00	c |      5825 |    3721    26541   571998 |     8847     5825    544 | 32.712 % |
69.28/69.37	c ===============================================================================
69.28/69.37	c New solution: 47826
69.28/69.37	o 47826
69.28/69.37	c Elapsed CPU time: 69.0085 s	Remaining CPU time: 110.991 s
69.28/69.37	c ===============================================================================
69.28/69.37	c |      5827 |    3721    26542   573967 |     8847     5827    544 | 32.712 % |
69.68/69.79	c ===============================================================================
69.68/69.79	c New solution: 47783
69.68/69.79	o 47783
69.68/69.79	c Elapsed CPU time: 69.4234 s	Remaining CPU time: 110.577 s
69.68/69.79	c ===============================================================================
69.68/69.79	c |      5830 |    3721    26543   575936 |     8847     5830    544 | 32.712 % |
70.08/70.17	c ===============================================================================
70.08/70.17	c New solution: 47782
70.08/70.17	o 47782
70.08/70.17	c Elapsed CPU time: 69.8034 s	Remaining CPU time: 110.197 s
70.08/70.17	c ===============================================================================
70.08/70.17	c |      5832 |    3721    26544   577905 |     8848     5832    544 | 32.712 % |
70.38/70.44	c ===============================================================================
70.38/70.44	c New solution: 47781
70.38/70.44	o 47781
70.38/70.44	c Elapsed CPU time: 70.0693 s	Remaining CPU time: 109.931 s
70.38/70.44	c ===============================================================================
70.38/70.44	c |      5844 |    3721    26545   579874 |     8848     5844    544 | 32.712 % |
70.67/70.77	c ===============================================================================
70.67/70.77	c New solution: 47750
70.67/70.77	o 47750
70.67/70.77	c Elapsed CPU time: 70.3973 s	Remaining CPU time: 109.603 s
70.67/70.77	c ===============================================================================
70.67/70.77	c |      5852 |    3721    26546   581843 |     8848     5852    544 | 32.712 % |
71.07/71.13	c ===============================================================================
71.07/71.13	c New solution: 47712
71.07/71.13	o 47712
71.07/71.13	c Elapsed CPU time: 70.7592 s	Remaining CPU time: 109.241 s
71.07/71.13	c ===============================================================================
71.07/71.13	c |      5858 |    3721    26547   583812 |     8849     5858    544 | 32.712 % |
71.38/71.45	c ===============================================================================
71.38/71.45	c New solution: 47711
71.38/71.45	o 47711
71.38/71.45	c Elapsed CPU time: 71.0782 s	Remaining CPU time: 108.922 s
71.38/71.45	c ===============================================================================
71.38/71.45	c |      5866 |    3721    26548   585781 |     8849     5866    544 | 32.712 % |
71.57/71.65	c ===============================================================================
71.57/71.65	c New solution: 46317
71.57/71.65	o 46317
71.57/71.65	c Elapsed CPU time: 71.2792 s	Remaining CPU time: 108.721 s
71.57/71.65	c ===============================================================================
71.57/71.65	c |      5868 |    3721    26549   587750 |     8849     5868    544 | 32.712 % |
71.97/72.02	c ===============================================================================
71.97/72.02	c New solution: 46267
71.97/72.02	o 46267
71.97/72.02	c Elapsed CPU time: 71.6451 s	Remaining CPU time: 108.355 s
71.97/72.02	c ===============================================================================
71.97/72.02	c |      5873 |    3721    26550   589719 |     8850     5873    544 | 32.712 % |
72.37/72.41	c ===============================================================================
72.37/72.41	c New solution: 46266
72.37/72.41	o 46266
72.37/72.41	c Elapsed CPU time: 72.04 s	Remaining CPU time: 107.96 s
72.37/72.41	c ===============================================================================
72.37/72.41	c |      5880 |    3721    26551   591688 |     8850     5880    544 | 32.712 % |
72.67/72.75	c ===============================================================================
72.67/72.75	c New solution: 46245
72.67/72.75	o 46245
72.67/72.75	c Elapsed CPU time: 72.38 s	Remaining CPU time: 107.62 s
72.67/72.75	c ===============================================================================
72.67/72.75	c |      5886 |    3721    26552   593657 |     8850     5886    544 | 32.712 % |
73.07/73.14	c ===============================================================================
73.07/73.14	c New solution: 46239
73.07/73.14	o 46239
73.07/73.14	c Elapsed CPU time: 72.7689 s	Remaining CPU time: 107.231 s
73.07/73.14	c ===============================================================================
73.07/73.14	c |      5889 |    3721    26553   595626 |     8851     5889    544 | 32.712 % |
73.37/73.49	c ===============================================================================
73.37/73.49	c New solution: 46238
73.37/73.49	o 46238
73.37/73.49	c Elapsed CPU time: 73.1109 s	Remaining CPU time: 106.889 s
73.37/73.49	c ===============================================================================
73.37/73.49	c |      5900 |    3721    26554   597595 |     8851     5900    543 | 32.712 % |
73.77/73.80	c ===============================================================================
73.77/73.80	c New solution: 46237
73.77/73.80	o 46237
73.77/73.80	c Elapsed CPU time: 73.4218 s	Remaining CPU time: 106.578 s
73.77/73.80	c ===============================================================================
73.77/73.80	c |      5900 |    3721    26555   599564 |     8851     5900    543 | 32.712 % |
74.07/74.11	c ===============================================================================
74.07/74.11	c New solution: 46236
74.07/74.11	o 46236
74.07/74.11	c Elapsed CPU time: 73.7288 s	Remaining CPU time: 106.271 s
74.07/74.11	c ===============================================================================
74.07/74.11	c |      5900 |    3721    26556   601533 |     8852     5900    543 | 32.712 % |
74.37/74.42	c ===============================================================================
74.37/74.42	c New solution: 46235
74.37/74.42	o 46235
74.37/74.42	c Elapsed CPU time: 74.0327 s	Remaining CPU time: 105.967 s
74.37/74.42	c ===============================================================================
74.37/74.42	c |      5900 |    3721    26557   603502 |     8852     5900    543 | 32.712 % |
74.68/74.72	c ===============================================================================
74.68/74.72	c New solution: 46234
74.68/74.72	o 46234
74.68/74.72	c Elapsed CPU time: 74.3387 s	Remaining CPU time: 105.661 s
74.68/74.72	c ===============================================================================
74.68/74.72	c |      5900 |    3721    26558   605471 |     8852     5900    543 | 32.712 % |
75.47/75.52	c |      6000 |    3721    26558   605471 |     9737     6000    545 | 32.712 % |
75.77/75.90	c ===============================================================================
75.77/75.90	c New solution: 46225
75.77/75.90	o 46225
75.77/75.90	c Elapsed CPU time: 75.5135 s	Remaining CPU time: 104.486 s
75.77/75.90	c ===============================================================================
75.77/75.90	c |      6005 |    3721    26559   607440 |     8853     6005    545 | 32.712 % |
76.47/76.58	c ===============================================================================
76.47/76.58	c New solution: 46224
76.47/76.58	o 46224
76.47/76.58	c Elapsed CPU time: 76.1944 s	Remaining CPU time: 103.806 s
76.47/76.58	c ===============================================================================
76.47/76.58	c |      6020 |    3721    26560   609409 |     8853     6020    545 | 32.712 % |
77.27/77.38	c ===============================================================================
77.27/77.38	c New solution: 44831
77.27/77.38	o 44831
77.27/77.38	c Elapsed CPU time: 76.9973 s	Remaining CPU time: 103.003 s
77.27/77.38	c ===============================================================================
77.27/77.38	c |      6088 |    3721    26561   611378 |     8853     6088    544 | 32.712 % |
77.87/77.92	c ===============================================================================
77.87/77.92	c New solution: 44716
77.87/77.92	o 44716
77.87/77.92	c Elapsed CPU time: 77.5282 s	Remaining CPU time: 102.472 s
77.87/77.92	c ===============================================================================
77.87/77.92	c |      6097 |    3721    26562   613347 |     8854     6097    544 | 32.712 % |
78.27/78.39	c ===============================================================================
78.27/78.39	c New solution: 44702
78.27/78.39	o 44702
78.27/78.39	c Elapsed CPU time: 78.0011 s	Remaining CPU time: 101.999 s
78.27/78.39	c ===============================================================================
78.27/78.39	c |      6112 |    3721    26563   615316 |     8854     6112    544 | 32.712 % |
78.67/78.70	c ===============================================================================
78.67/78.70	c New solution: 44701
78.67/78.70	o 44701
78.67/78.70	c Elapsed CPU time: 78.3051 s	Remaining CPU time: 101.695 s
78.67/78.70	c ===============================================================================
78.67/78.70	c |      6136 |    3721    26564   617285 |     8854     6136    544 | 32.712 % |
79.67/79.74	c |      6237 |    3721    26564   617285 |     9740     6237    545 | 32.712 % |
80.07/80.13	c ===============================================================================
80.07/80.13	c New solution: 44700
80.07/80.13	o 44700
80.07/80.13	c Elapsed CPU time: 79.7399 s	Remaining CPU time: 100.26 s
80.07/80.13	c ===============================================================================
80.07/80.13	c |      6241 |    3721    26565   619254 |     8855     6241    545 | 32.712 % |
80.47/80.53	c ===============================================================================
80.47/80.53	c New solution: 44677
80.47/80.53	o 44677
80.47/80.53	c Elapsed CPU time: 80.1398 s	Remaining CPU time: 99.8602 s
80.47/80.53	c ===============================================================================
80.47/80.53	c |      6246 |    3721    26566   621223 |     8855     6246    545 | 32.712 % |
80.86/80.98	c ===============================================================================
80.86/80.98	c New solution: 44676
80.86/80.98	o 44676
80.86/80.98	c Elapsed CPU time: 80.5837 s	Remaining CPU time: 99.4163 s
80.86/80.98	c ===============================================================================
80.86/80.98	c |      6308 |    3721    26567   623192 |     8855     6308    545 | 32.712 % |
81.16/81.29	c ===============================================================================
81.16/81.29	c New solution: 44675
81.16/81.29	o 44675
81.16/81.29	c Elapsed CPU time: 80.8947 s	Remaining CPU time: 99.1053 s
81.16/81.29	c ===============================================================================
81.16/81.29	c |      6313 |    3721    26568   625161 |     8856     6313    545 | 32.712 % |
81.57/81.64	c ===============================================================================
81.57/81.64	c New solution: 44674
81.57/81.64	o 44674
81.57/81.64	c Elapsed CPU time: 81.2436 s	Remaining CPU time: 98.7564 s
81.57/81.64	c ===============================================================================
81.57/81.64	c |      6320 |    3721    26569   627130 |     8856     6320    545 | 32.712 % |
82.07/82.11	c ===============================================================================
82.07/82.11	c New solution: 44673
82.07/82.11	o 44673
82.07/82.11	c Elapsed CPU time: 81.7126 s	Remaining CPU time: 98.2874 s
82.07/82.11	c ===============================================================================
82.07/82.11	c |      6341 |    3721    26570   629099 |     8856     6341    545 | 32.712 % |
82.27/82.35	c ===============================================================================
82.27/82.35	c New solution: 44672
82.27/82.35	o 44672
82.27/82.35	c Elapsed CPU time: 81.9465 s	Remaining CPU time: 98.0535 s
82.27/82.35	c ===============================================================================
82.27/82.35	c |      6356 |    3721    26571   631068 |     8857     6356    545 | 32.712 % |
82.57/82.69	c ===============================================================================
82.57/82.69	c New solution: 44671
82.57/82.69	o 44671
82.57/82.69	c Elapsed CPU time: 82.2865 s	Remaining CPU time: 97.7135 s
82.57/82.69	c ===============================================================================
82.57/82.69	c |      6361 |    3721    26572   633037 |     8857     6361    545 | 32.712 % |
83.07/83.12	c ===============================================================================
83.07/83.12	c New solution: 44670
83.07/83.12	o 44670
83.07/83.12	c Elapsed CPU time: 82.7154 s	Remaining CPU time: 97.2846 s
83.07/83.12	c ===============================================================================
83.07/83.12	c |      6372 |    3721    26573   635006 |     8857     6372    545 | 32.712 % |
84.07/84.18	c |      6472 |    3721    26573   635006 |     9743     6472    546 | 32.712 % |
84.37/84.49	c ===============================================================================
84.37/84.49	c New solution: 44669
84.37/84.49	o 44669
84.37/84.49	c Elapsed CPU time: 84.0802 s	Remaining CPU time: 95.9198 s
84.37/84.49	c ===============================================================================
84.37/84.49	c |      6477 |    3721    26574   636975 |     8858     6477    546 | 32.712 % |
84.87/84.95	c ===============================================================================
84.87/84.95	c New solution: 44668
84.87/84.95	o 44668
84.87/84.95	c Elapsed CPU time: 84.5421 s	Remaining CPU time: 95.4579 s
84.87/84.95	c ===============================================================================
84.87/84.95	c |      6482 |    3721    26575   638944 |     8858     6482    545 | 32.712 % |
85.56/85.64	c ===============================================================================
85.56/85.64	c New solution: 44667
85.56/85.64	o 44667
85.56/85.64	c Elapsed CPU time: 85.231 s	Remaining CPU time: 94.769 s
85.56/85.64	c ===============================================================================
85.56/85.64	c |      6537 |    3721    26576   640913 |     8858     6537    546 | 32.712 % |
86.17/86.21	c ===============================================================================
86.17/86.21	c New solution: 43278
86.17/86.21	o 43278
86.17/86.21	c Elapsed CPU time: 85.799 s	Remaining CPU time: 94.201 s
86.17/86.21	c ===============================================================================
86.17/86.21	c |      6550 |    3721    26577   642882 |     8859     6550    546 | 32.712 % |
87.07/87.16	c ===============================================================================
87.07/87.16	c New solution: 43164
87.07/87.16	o 43164
87.07/87.16	c Elapsed CPU time: 86.7468 s	Remaining CPU time: 93.2532 s
87.07/87.16	c ===============================================================================
87.07/87.16	c |      6648 |    3721    26578   644851 |     8859     6648    544 | 32.712 % |
87.57/87.66	c ===============================================================================
87.57/87.66	c New solution: 43163
87.57/87.66	o 43163
87.57/87.66	c Elapsed CPU time: 87.2497 s	Remaining CPU time: 92.7503 s
87.57/87.66	c ===============================================================================
87.57/87.66	c |      6648 |    3721    26579   646820 |     8859     6648    544 | 32.712 % |
87.88/87.95	c ===============================================================================
87.88/87.95	c New solution: 43162
87.88/87.95	o 43162
87.88/87.95	c Elapsed CPU time: 87.5347 s	Remaining CPU time: 92.4653 s
87.88/87.95	c ===============================================================================
87.88/87.95	c |      6653 |    3721    26580   648789 |     8860     6653    544 | 32.712 % |
88.27/88.30	c ===============================================================================
88.27/88.30	c New solution: 43161
88.27/88.30	o 43161
88.27/88.30	c Elapsed CPU time: 87.8856 s	Remaining CPU time: 92.1144 s
88.27/88.30	c ===============================================================================
88.27/88.30	c |      6656 |    3721    26581   650758 |     8860     6656    544 | 32.712 % |
88.67/88.71	c ===============================================================================
88.67/88.71	c New solution: 43158
88.67/88.71	o 43158
88.67/88.71	c Elapsed CPU time: 88.2996 s	Remaining CPU time: 91.7004 s
88.67/88.71	c ===============================================================================
88.67/88.71	c |      6657 |    3721    26582   652727 |     8860     6657    544 | 32.712 % |
88.87/88.99	c ===============================================================================
88.87/88.99	c New solution: 43157
88.87/88.99	o 43157
88.87/88.99	c Elapsed CPU time: 88.5775 s	Remaining CPU time: 91.4225 s
88.87/88.99	c ===============================================================================
88.87/88.99	c |      6657 |    3721    26583   654696 |     8861     6657    544 | 32.712 % |
89.17/89.27	c ===============================================================================
89.17/89.27	c New solution: 43156
89.17/89.27	o 43156
89.17/89.27	c Elapsed CPU time: 88.8525 s	Remaining CPU time: 91.1475 s
89.17/89.27	c ===============================================================================
89.17/89.27	c |      6657 |    3721    26584   656665 |     8861     6657    544 | 32.712 % |
89.46/89.56	c ===============================================================================
89.46/89.56	c New solution: 43155
89.46/89.56	o 43155
89.46/89.56	c Elapsed CPU time: 89.1374 s	Remaining CPU time: 90.8626 s
89.46/89.56	c ===============================================================================
89.46/89.56	c |      6658 |    3721    26585   658634 |     8861     6658    544 | 32.712 % |
90.27/90.35	c |      6758 |    3721    26585   658634 |     9747     6758    545 | 32.712 % |
90.77/90.82	c ===============================================================================
90.77/90.82	c New solution: 43154
90.77/90.82	o 43154
90.77/90.82	c Elapsed CPU time: 90.3953 s	Remaining CPU time: 89.6047 s
90.77/90.82	c ===============================================================================
90.77/90.82	c |      6762 |    3721    26586   660603 |     8862     6762    545 | 32.712 % |
91.67/91.77	c |      6863 |    3721    26586   660603 |     9748     6863    546 | 32.712 % |
93.07/93.16	c |      7013 |    3721    26586   660603 |    10723     7013    547 | 32.712 % |
93.47/93.52	c ===============================================================================
93.47/93.52	c New solution: 43153
93.47/93.52	o 43153
93.47/93.52	c Elapsed CPU time: 93.0958 s	Remaining CPU time: 86.9042 s
93.47/93.52	c ===============================================================================
93.47/93.52	c |      7023 |    3721    26587   662572 |     8862     7023    547 | 32.712 % |
94.17/94.29	c ===============================================================================
94.17/94.29	c New solution: 43152
94.17/94.29	o 43152
94.17/94.29	c Elapsed CPU time: 93.8627 s	Remaining CPU time: 86.1373 s
94.17/94.29	c ===============================================================================
94.17/94.29	c |      7053 |    3721    26588   664541 |     8862     7053    546 | 32.712 % |
94.47/94.56	c ===============================================================================
94.47/94.56	c New solution: 43151
94.47/94.56	o 43151
94.47/94.56	c Elapsed CPU time: 94.1337 s	Remaining CPU time: 85.8663 s
94.47/94.56	c ===============================================================================
94.47/94.56	c |      7069 |    3721    26589   666510 |     8863     7069    546 | 32.712 % |
94.86/94.97	c ===============================================================================
94.86/94.97	c New solution: 43150
94.86/94.97	o 43150
94.86/94.97	c Elapsed CPU time: 94.5406 s	Remaining CPU time: 85.4594 s
94.86/94.97	c ===============================================================================
94.86/94.97	c |      7074 |    3721    26590   668479 |     8863     7074    546 | 32.712 % |
95.96/96.08	c |      7174 |    3721    26590   668479 |     9749     7174    547 | 32.712 % |
97.16/97.22	c |      7324 |    3721    26590   668479 |    10724     7324    548 | 32.712 % |
97.78/97.80	c ===============================================================================
97.78/97.80	c New solution: 43149
97.78/97.80	o 43149
97.78/97.80	c Elapsed CPU time: 97.3712 s	Remaining CPU time: 82.6288 s
97.78/97.80	c ===============================================================================
97.78/97.80	c |      7347 |    3721    26591   670448 |     8863     7347    547 | 32.712 % |
98.17/98.29	c ===============================================================================
98.17/98.29	c New solution: 43148
98.17/98.29	o 43148
98.17/98.29	c Elapsed CPU time: 97.8601 s	Remaining CPU time: 82.1399 s
98.17/98.29	c ===============================================================================
98.17/98.29	c |      7348 |    3721    26592   672417 |     8864     7348    547 | 32.712 % |
98.57/98.64	c ===============================================================================
98.57/98.64	c New solution: 43147
98.57/98.64	o 43147
98.57/98.64	c Elapsed CPU time: 98.2061 s	Remaining CPU time: 81.7939 s
98.57/98.64	c ===============================================================================
98.57/98.64	c |      7350 |    3721    26593   674386 |     8864     7350    547 | 32.712 % |
99.17/99.24	c ===============================================================================
99.17/99.24	c New solution: 43146
99.17/99.24	o 43146
99.17/99.24	c Elapsed CPU time: 98.805 s	Remaining CPU time: 81.195 s
99.17/99.24	c ===============================================================================
99.17/99.24	c |      7363 |    3721    26594   676355 |     8864     7363    547 | 32.712 % |
100.07/100.16	c |      7464 |    3721    26594   676355 |     9751     7464    548 | 32.712 % |
100.46/100.56	c ===============================================================================
100.46/100.56	c New solution: 43145
100.46/100.56	o 43145
100.46/100.56	c Elapsed CPU time: 100.127 s	Remaining CPU time: 79.8732 s
100.46/100.56	c ===============================================================================
100.46/100.56	c |      7467 |    3721    26595   678324 |     8865     7467    548 | 32.712 % |
101.76/101.86	c ===============================================================================
101.76/101.86	c New solution: 43144
101.76/101.86	o 43144
101.76/101.86	c Elapsed CPU time: 101.423 s	Remaining CPU time: 78.5774 s
101.76/101.86	c ===============================================================================
101.76/101.86	c |      7532 |    3721    26596   680293 |     8865     7532    548 | 32.712 % |
102.57/102.66	c |      7632 |    3721    26596   680293 |     9751     7632    547 | 32.712 % |
102.87/102.99	c ===============================================================================
102.87/102.99	c New solution: 43143
102.87/102.99	o 43143
102.87/102.99	c Elapsed CPU time: 102.545 s	Remaining CPU time: 77.4546 s
102.87/102.99	c ===============================================================================
102.87/102.99	c |      7633 |    3721    26597   682262 |     8865     7633    547 | 32.712 % |
103.46/103.59	c ===============================================================================
103.46/103.59	c New solution: 41760
103.46/103.59	o 41760
103.46/103.59	c Elapsed CPU time: 103.139 s	Remaining CPU time: 76.8607 s
103.46/103.59	c ===============================================================================
103.46/103.59	c |      7643 |    3721    26598   684231 |     8866     7643    547 | 32.712 % |
104.06/104.15	c ===============================================================================
104.06/104.15	c New solution: 41651
104.06/104.15	o 41651
104.06/104.15	c Elapsed CPU time: 103.698 s	Remaining CPU time: 76.3018 s
104.06/104.15	c ===============================================================================
104.06/104.15	c |      7653 |    3721    26599   686200 |     8866     7653    547 | 32.712 % |
105.27/105.32	c ===============================================================================
105.27/105.32	c New solution: 41650
105.27/105.32	o 41650
105.27/105.32	c Elapsed CPU time: 104.86 s	Remaining CPU time: 75.1399 s
105.27/105.32	c ===============================================================================
105.27/105.32	c |      7750 |    3721    26600   688169 |     8866     7750    547 | 32.712 % |
105.57/105.67	c ===============================================================================
105.57/105.67	c New solution: 41649
105.57/105.67	o 41649
105.57/105.67	c Elapsed CPU time: 105.214 s	Remaining CPU time: 74.786 s
105.57/105.67	c ===============================================================================
105.57/105.67	c |      7751 |    3721    26601   690138 |     8867     7751    547 | 32.712 % |
107.26/107.33	c |      7851 |    3721    26601   690138 |     9753     7851    547 | 32.712 % |
107.67/107.80	c ===============================================================================
107.67/107.80	c New solution: 41632
107.67/107.80	o 41632
107.67/107.80	c Elapsed CPU time: 107.339 s	Remaining CPU time: 72.6613 s
107.67/107.80	c ===============================================================================
107.67/107.80	c |      7855 |    3721    26602   692107 |     8867     7855    547 | 32.712 % |
109.36/109.47	c |      7956 |    3721    26602   692107 |     9754     7956    548 | 32.712 % |
109.76/109.83	c ===============================================================================
109.76/109.83	c New solution: 41631
109.76/109.83	o 41631
109.76/109.83	c Elapsed CPU time: 109.368 s	Remaining CPU time: 70.6316 s
109.76/109.83	c ===============================================================================
109.76/109.83	c |      7975 |    3721    26603   694076 |     8867     7975    548 | 32.712 % |
110.77/110.89	c |      8075 |    3721    26603   694076 |     9754     8075    548 | 32.712 % |
111.26/111.32	c ===============================================================================
111.26/111.32	c New solution: 41630
111.26/111.32	o 41630
111.26/111.32	c Elapsed CPU time: 110.856 s	Remaining CPU time: 69.1439 s
111.26/111.32	c ===============================================================================
111.26/111.32	c |      8083 |    3721    26604   696045 |     8868     8083    548 | 32.712 % |
111.76/111.88	c ===============================================================================
111.76/111.88	c New solution: 41629
111.76/111.88	o 41629
111.76/111.88	c Elapsed CPU time: 111.411 s	Remaining CPU time: 68.5889 s
111.76/111.88	c ===============================================================================
111.76/111.88	c |      8086 |    3721    26605   698014 |     8868     8086    548 | 32.712 % |
112.07/112.18	c ===============================================================================
112.07/112.18	c New solution: 41628
112.07/112.18	o 41628
112.07/112.18	c Elapsed CPU time: 111.713 s	Remaining CPU time: 68.287 s
112.07/112.18	c ===============================================================================
112.07/112.18	c |      8091 |    3721    26606   699983 |     8868     8091    548 | 32.712 % |
112.66/112.76	c ===============================================================================
112.66/112.76	c New solution: 41627
112.66/112.76	o 41627
112.66/112.76	c Elapsed CPU time: 112.29 s	Remaining CPU time: 67.7101 s
112.66/112.76	c ===============================================================================
112.66/112.76	c |      8112 |    3721    26607   701952 |     8869     8112    548 | 32.712 % |
112.96/113.09	c ===============================================================================
112.96/113.09	c New solution: 41626
112.96/113.09	o 41626
112.96/113.09	c Elapsed CPU time: 112.616 s	Remaining CPU time: 67.3841 s
112.96/113.09	c ===============================================================================
112.96/113.09	c |      8124 |    3721    26608   703921 |     8869     8124    547 | 32.712 % |
114.27/114.38	c |      8224 |    3721    26608   703921 |     9756     8224    547 | 32.712 % |
114.86/114.96	c ===============================================================================
114.86/114.96	c New solution: 40231
114.86/114.96	o 40231
114.86/114.96	c Elapsed CPU time: 114.482 s	Remaining CPU time: 65.5184 s
114.86/114.96	c ===============================================================================
114.86/114.96	c |      8238 |    3721    26609   705890 |     8869     8238    547 | 32.712 % |
115.56/115.61	c ===============================================================================
115.56/115.61	c New solution: 40161
115.56/115.61	o 40161
115.56/115.61	c Elapsed CPU time: 115.136 s	Remaining CPU time: 64.8635 s
115.56/115.61	c ===============================================================================
115.56/115.61	c |      8290 |    3721    26610   707859 |     8870     8290    546 | 32.712 % |
116.06/116.16	c ===============================================================================
116.06/116.16	c New solution: 40160
116.06/116.16	o 40160
116.06/116.16	c Elapsed CPU time: 115.676 s	Remaining CPU time: 64.3236 s
116.06/116.16	c ===============================================================================
116.06/116.16	c |      8304 |    3721    26611   709828 |     8870     8304    546 | 32.712 % |
116.47/116.59	c ===============================================================================
116.47/116.59	c New solution: 40159
116.47/116.59	o 40159
116.47/116.59	c Elapsed CPU time: 116.104 s	Remaining CPU time: 63.8957 s
116.47/116.59	c ===============================================================================
116.47/116.59	c |      8309 |    3721    26612   711797 |     8870     8309    546 | 32.712 % |
117.16/117.20	c ===============================================================================
117.16/117.20	c New solution: 40150
117.16/117.20	o 40150
117.16/117.20	c Elapsed CPU time: 116.716 s	Remaining CPU time: 63.2837 s
117.16/117.20	c ===============================================================================
117.16/117.20	c |      8324 |    3721    26613   713766 |     8871     8324    546 | 32.712 % |
118.96/119.10	c |      8424 |    3721    26613   713766 |     9758     8424    547 | 32.712 % |
119.66/119.74	c ===============================================================================
119.66/119.74	c New solution: 40128
119.66/119.74	o 40128
119.66/119.74	c Elapsed CPU time: 119.256 s	Remaining CPU time: 60.7441 s
119.66/119.74	c ===============================================================================
119.66/119.74	c |      8424 |    3721    26614   715735 |     8871     8424    547 | 32.712 % |
120.16/120.27	c ===============================================================================
120.16/120.27	c New solution: 40122
120.16/120.27	o 40122
120.16/120.27	c Elapsed CPU time: 119.79 s	Remaining CPU time: 60.2102 s
120.16/120.27	c ===============================================================================
120.16/120.27	c |      8427 |    3721    26615   717704 |     8871     8427    547 | 32.712 % |
120.66/120.72	c ===============================================================================
120.66/120.72	c New solution: 40121
120.66/120.72	o 40121
120.66/120.72	c Elapsed CPU time: 120.23 s	Remaining CPU time: 59.7703 s
120.66/120.72	c ===============================================================================
120.66/120.72	c |      8428 |    3721    26616   719673 |     8872     8428    547 | 32.712 % |
121.16/121.20	c ===============================================================================
121.16/121.20	c New solution: 40120
121.16/121.20	o 40120
121.16/121.20	c Elapsed CPU time: 120.715 s	Remaining CPU time: 59.2854 s
121.16/121.20	c ===============================================================================
121.16/121.20	c |      8429 |    3721    26617   721642 |     8872     8429    547 | 32.712 % |
121.56/121.68	c ===============================================================================
121.56/121.68	c New solution: 40119
121.56/121.68	o 40119
121.56/121.68	c Elapsed CPU time: 121.198 s	Remaining CPU time: 58.8024 s
121.56/121.68	c ===============================================================================
121.56/121.68	c |      8429 |    3721    26618   723611 |     8872     8429    547 | 32.712 % |
122.06/122.13	c ===============================================================================
122.06/122.13	c New solution: 40118
122.06/122.13	o 40118
122.06/122.13	c Elapsed CPU time: 121.647 s	Remaining CPU time: 58.3535 s
122.06/122.13	c ===============================================================================
122.06/122.13	c |      8436 |    3721    26619   725580 |     8873     8436    547 | 32.712 % |
122.45/122.50	c ===============================================================================
122.45/122.50	c New solution: 40117
122.45/122.50	o 40117
122.45/122.50	c Elapsed CPU time: 122.014 s	Remaining CPU time: 57.9856 s
122.45/122.50	c ===============================================================================
122.45/122.50	c |      8438 |    3721    26620   727549 |     8873     8438    547 | 32.712 % |
122.85/122.95	c ===============================================================================
122.85/122.95	c New solution: 40116
122.85/122.95	o 40116
122.85/122.95	c Elapsed CPU time: 122.459 s	Remaining CPU time: 57.5406 s
122.85/122.95	c ===============================================================================
122.85/122.95	c |      8447 |    3721    26621   729518 |     8873     8447    547 | 32.712 % |
123.17/123.28	c ===============================================================================
123.17/123.28	c New solution: 40115
123.17/123.28	o 40115
123.17/123.28	c Elapsed CPU time: 122.792 s	Remaining CPU time: 57.2077 s
123.17/123.28	c ===============================================================================
123.17/123.28	c |      8450 |    3721    26622   731487 |     8874     8450    547 | 32.712 % |
123.56/123.65	c ===============================================================================
123.56/123.65	c New solution: 40114
123.56/123.65	o 40114
123.56/123.65	c Elapsed CPU time: 123.161 s	Remaining CPU time: 56.8387 s
123.56/123.65	c ===============================================================================
123.56/123.65	c |      8452 |    3721    26623   733456 |     8874     8452    547 | 32.712 % |
123.96/124.03	c ===============================================================================
123.96/124.03	c New solution: 40113
123.96/124.03	o 40113
123.96/124.03	c Elapsed CPU time: 123.536 s	Remaining CPU time: 56.4638 s
123.96/124.03	c ===============================================================================
123.96/124.03	c |      8453 |    3721    26624   735425 |     8874     8453    547 | 32.712 % |
124.27/124.37	c ===============================================================================
124.27/124.37	c New solution: 40112
124.27/124.37	o 40112
124.27/124.37	c Elapsed CPU time: 123.876 s	Remaining CPU time: 56.1238 s
124.27/124.37	c ===============================================================================
124.27/124.37	c |      8453 |    3721    26625   737394 |     8875     8453    547 | 32.712 % |
124.66/124.71	c ===============================================================================
124.66/124.71	c New solution: 40111
124.66/124.71	o 40111
124.66/124.71	c Elapsed CPU time: 124.216 s	Remaining CPU time: 55.7839 s
124.66/124.71	c ===============================================================================
124.66/124.71	c |      8453 |    3721    26626   739363 |     8875     8453    547 | 32.712 % |
124.96/125.05	c ===============================================================================
124.96/125.05	c New solution: 40110
124.96/125.05	o 40110
124.96/125.05	c Elapsed CPU time: 124.554 s	Remaining CPU time: 55.4459 s
124.96/125.05	c ===============================================================================
124.96/125.05	c |      8454 |    3721    26627   741332 |     8875     8454    547 | 32.712 % |
125.56/125.64	c ===============================================================================
125.56/125.64	c New solution: 40109
125.56/125.64	o 40109
125.56/125.64	c Elapsed CPU time: 125.141 s	Remaining CPU time: 54.859 s
125.56/125.64	c ===============================================================================
125.56/125.64	c |      8475 |    3721    26628   743301 |     8876     8475    547 | 32.712 % |
125.86/125.97	c ===============================================================================
125.86/125.97	c New solution: 40108
125.86/125.97	o 40108
125.86/125.97	c Elapsed CPU time: 125.471 s	Remaining CPU time: 54.5291 s
125.86/125.97	c ===============================================================================
125.86/125.97	c |      8476 |    3721    26629   745270 |     8876     8476    547 | 32.712 % |
126.86/126.94	c |      8577 |    3721    26629   745270 |     9763     8577    547 | 32.712 % |
127.16/127.23	c ===============================================================================
127.16/127.23	c New solution: 40107
127.16/127.23	o 40107
127.16/127.23	c Elapsed CPU time: 126.735 s	Remaining CPU time: 53.2653 s
127.16/127.23	c ===============================================================================
127.16/127.23	c |      8581 |    3721    26630   747239 |     8876     8581    547 | 32.712 % |
127.65/127.75	c ===============================================================================
127.65/127.75	c New solution: 40106
127.65/127.75	o 40106
127.65/127.75	c Elapsed CPU time: 127.255 s	Remaining CPU time: 52.7453 s
127.65/127.75	c ===============================================================================
127.65/127.75	c |      8597 |    3721    26631   749208 |     8877     8597    547 | 32.712 % |
127.96/128.05	c ===============================================================================
127.96/128.05	c New solution: 40105
127.96/128.05	o 40105
127.96/128.05	c Elapsed CPU time: 127.545 s	Remaining CPU time: 52.4554 s
127.96/128.05	c ===============================================================================
127.96/128.05	c |      8606 |    3721    26632   751177 |     8877     8606    547 | 32.712 % |
128.86/128.92	c |      8707 |    3721    26632   751177 |     9765     8707    548 | 32.712 % |
129.06/129.19	c ===============================================================================
129.06/129.19	c New solution: 40104
129.06/129.19	o 40104
129.06/129.19	c Elapsed CPU time: 128.684 s	Remaining CPU time: 51.3156 s
129.06/129.19	c ===============================================================================
129.06/129.19	c |      8719 |    3721    26633   753146 |     8877     8719    548 | 32.712 % |
129.67/129.77	c ===============================================================================
129.67/129.77	c New solution: 40103
129.67/129.77	o 40103
129.67/129.77	c Elapsed CPU time: 129.263 s	Remaining CPU time: 50.7367 s
129.67/129.77	c ===============================================================================
129.67/129.77	c |      8759 |    3721    26634   755115 |     8878     8759    547 | 32.712 % |
130.06/130.15	c ===============================================================================
130.06/130.15	c New solution: 40102
130.06/130.15	o 40102
130.06/130.15	c Elapsed CPU time: 129.644 s	Remaining CPU time: 50.3557 s
130.06/130.15	c ===============================================================================
130.06/130.15	c |      8773 |    3721    26635   757084 |     8878     8773    547 | 32.712 % |
131.86/131.96	c |      8874 |    3721    26635   757084 |     9766     8874    548 | 32.712 % |
132.25/132.38	c ===============================================================================
132.25/132.38	c New solution: 40101
132.25/132.38	o 40101
132.25/132.38	c Elapsed CPU time: 131.876 s	Remaining CPU time: 48.124 s
132.25/132.38	c ===============================================================================
132.25/132.38	c |      8877 |    3721    26636   759053 |     8878     8877    547 | 32.712 % |
132.75/132.90	c ===============================================================================
132.75/132.90	c New solution: 40100
132.75/132.90	o 40100
132.75/132.90	c Elapsed CPU time: 132.386 s	Remaining CPU time: 47.6141 s
132.75/132.90	c ===============================================================================
132.75/132.90	c |      8884 |    3721    26637   761022 |     8879     8884    547 | 32.712 % |
133.15/133.30	c ===============================================================================
133.15/133.30	c New solution: 40099
133.15/133.30	o 40099
133.15/133.30	c Elapsed CPU time: 132.785 s	Remaining CPU time: 47.2152 s
133.15/133.30	c ===============================================================================
133.15/133.30	c |      8925 |    3721    26638   762991 |     8879     8925    547 | 32.712 % |
133.76/133.88	c ===============================================================================
133.76/133.88	c New solution: 38736
133.76/133.88	o 38736
133.76/133.88	c Elapsed CPU time: 133.363 s	Remaining CPU time: 46.6373 s
133.76/133.88	c ===============================================================================
133.76/133.88	c |      8926 |    3721    26639   764960 |     8879     8926    547 | 32.712 % |
134.36/134.45	c ===============================================================================
134.36/134.45	c New solution: 38727
134.36/134.45	o 38727
134.36/134.45	c Elapsed CPU time: 133.937 s	Remaining CPU time: 46.0634 s
134.36/134.45	c ===============================================================================
134.36/134.45	c |      8928 |    3721    26640   766929 |     8880     8928    547 | 32.712 % |
134.86/134.99	c ===============================================================================
134.86/134.99	c New solution: 38726
134.86/134.99	o 38726
134.86/134.99	c Elapsed CPU time: 134.471 s	Remaining CPU time: 45.5294 s
134.86/134.99	c ===============================================================================
134.86/134.99	c |      8928 |    3721    26641   768898 |     8880     8928    547 | 32.712 % |
135.45/135.56	c ===============================================================================
135.45/135.56	c New solution: 38712
135.45/135.56	o 38712
135.45/135.56	c Elapsed CPU time: 135.043 s	Remaining CPU time: 44.9565 s
135.45/135.56	c ===============================================================================
135.45/135.56	c |      8929 |    3721    26642   770867 |     8880     8929    547 | 32.712 % |
135.95/136.08	c ===============================================================================
135.95/136.08	c New solution: 38630
135.95/136.08	o 38630
135.95/136.08	c Elapsed CPU time: 135.565 s	Remaining CPU time: 44.4346 s
135.95/136.08	c ===============================================================================
135.95/136.08	c |      8930 |    3721    26643   772836 |     8881     8930    547 | 32.712 % |
136.45/136.50	c ===============================================================================
136.45/136.50	c New solution: 38629
136.45/136.50	o 38629
136.45/136.50	c Elapsed CPU time: 135.976 s	Remaining CPU time: 44.0237 s
136.45/136.50	c ===============================================================================
136.45/136.50	c |      8933 |    3721    26644   774805 |     8881     8933    547 | 32.712 % |
136.85/136.93	c ===============================================================================
136.85/136.93	c New solution: 38628
136.85/136.93	o 38628
136.85/136.93	c Elapsed CPU time: 136.414 s	Remaining CPU time: 43.5857 s
136.85/136.93	c ===============================================================================
136.85/136.93	c |      8941 |    3721    26645   776774 |     8881     8941    547 | 32.712 % |
137.36/137.45	c ===============================================================================
137.36/137.45	c New solution: 38627
137.36/137.45	o 38627
137.36/137.45	c Elapsed CPU time: 136.925 s	Remaining CPU time: 43.0748 s
137.36/137.45	c ===============================================================================
137.36/137.45	c |      8948 |    3721    26646   778743 |     8882     8948    547 | 32.712 % |
137.95/138.02	c ===============================================================================
137.95/138.02	c New solution: 38621
137.95/138.02	o 38621
137.95/138.02	c Elapsed CPU time: 137.498 s	Remaining CPU time: 42.5019 s
137.95/138.02	c ===============================================================================
137.95/138.02	c |      8955 |    3721    26647   780712 |     8882     8955    547 | 32.712 % |
138.57/138.61	c ===============================================================================
138.57/138.61	c New solution: 38620
138.57/138.61	o 38620
138.57/138.61	c Elapsed CPU time: 138.087 s	Remaining CPU time: 41.913 s
138.57/138.61	c ===============================================================================
138.57/138.61	c |      8964 |    3721    26648   782681 |     8882     8964    547 | 32.712 % |
139.16/139.22	c ===============================================================================
139.16/139.22	c New solution: 38619
139.16/139.22	o 38619
139.16/139.22	c Elapsed CPU time: 138.699 s	Remaining CPU time: 41.3011 s
139.16/139.22	c ===============================================================================
139.16/139.22	c |      8981 |    3721    26649   784650 |     8883     8981    546 | 32.712 % |
139.56/139.70	c ===============================================================================
139.56/139.70	c New solution: 38618
139.56/139.70	o 38618
139.56/139.70	c Elapsed CPU time: 139.17 s	Remaining CPU time: 40.8302 s
139.56/139.70	c ===============================================================================
139.56/139.70	c |      9010 |    3721    26650   786619 |     8883     9010    546 | 32.712 % |
140.05/140.13	c ===============================================================================
140.05/140.13	c New solution: 38617
140.05/140.13	o 38617
140.05/140.13	c Elapsed CPU time: 139.602 s	Remaining CPU time: 40.3982 s
140.05/140.13	c ===============================================================================
140.05/140.13	c |      9023 |    3721    26651   788588 |     8883     9023    546 | 32.712 % |
140.55/140.67	c ===============================================================================
140.55/140.67	c New solution: 38616
140.55/140.67	o 38616
140.55/140.67	c Elapsed CPU time: 140.147 s	Remaining CPU time: 39.8533 s
140.55/140.67	c ===============================================================================
140.55/140.67	c |      9035 |    3721    26652   790557 |     8884     9035    546 | 32.712 % |
141.15/141.27	c ===============================================================================
141.15/141.27	c New solution: 38615
141.15/141.27	o 38615
141.15/141.27	c Elapsed CPU time: 140.738 s	Remaining CPU time: 39.2624 s
141.15/141.27	c ===============================================================================
141.15/141.27	c |      9047 |    3721    26653   792526 |     8884     9047    546 | 32.712 % |
141.65/141.71	c ===============================================================================
141.65/141.71	c New solution: 38614
141.65/141.71	o 38614
141.65/141.71	c Elapsed CPU time: 141.179 s	Remaining CPU time: 38.8215 s
141.65/141.71	c ===============================================================================
141.65/141.71	c |      9055 |    3721    26654   794495 |     8884     9055    546 | 32.712 % |
142.05/142.14	c ===============================================================================
142.05/142.14	c New solution: 38613
142.05/142.14	o 38613
142.05/142.14	c Elapsed CPU time: 141.614 s	Remaining CPU time: 38.3855 s
142.05/142.14	c ===============================================================================
142.05/142.14	c |      9062 |    3721    26655   796464 |     8885     9062    546 | 32.712 % |
142.65/142.77	c ===============================================================================
142.65/142.77	c New solution: 38612
142.65/142.77	o 38612
142.65/142.77	c Elapsed CPU time: 142.24 s	Remaining CPU time: 37.7596 s
142.65/142.77	c ===============================================================================
142.65/142.77	c |      9082 |    3721    26656   798433 |     8885     9082    546 | 32.712 % |
143.75/143.89	c |      9182 |    3721    26656   798433 |     9773     9182    547 | 32.712 % |
144.55/144.64	c ===============================================================================
144.55/144.64	c New solution: 38611
144.55/144.64	o 38611
144.55/144.64	c Elapsed CPU time: 144.11 s	Remaining CPU time: 35.8899 s
144.55/144.64	c ===============================================================================
144.55/144.64	c |      9187 |    3721    26657   800402 |     8885     9187    547 | 32.712 % |
144.95/145.04	c ===============================================================================
144.95/145.04	c New solution: 38610
144.95/145.04	o 38610
144.95/145.04	c Elapsed CPU time: 144.508 s	Remaining CPU time: 35.492 s
144.95/145.04	c ===============================================================================
144.95/145.04	c |      9192 |    3721    26658   802371 |     8886     9192    547 | 32.712 % |
145.55/145.67	c ===============================================================================
145.55/145.67	c New solution: 38607
145.55/145.67	o 38607
145.55/145.67	c Elapsed CPU time: 145.136 s	Remaining CPU time: 34.8641 s
145.55/145.67	c ===============================================================================
145.55/145.67	c |      9202 |    3721    26659   804340 |     8886     9202    547 | 32.712 % |
146.05/146.15	c ===============================================================================
146.05/146.15	c New solution: 38606
146.05/146.15	o 38606
146.05/146.15	c Elapsed CPU time: 145.621 s	Remaining CPU time: 34.3791 s
146.05/146.15	c ===============================================================================
146.05/146.15	c |      9203 |    3721    26660   806309 |     8886     9203    547 | 32.712 % |
146.55/146.63	c ===============================================================================
146.55/146.63	c New solution: 38605
146.55/146.63	o 38605
146.55/146.63	c Elapsed CPU time: 146.099 s	Remaining CPU time: 33.9012 s
146.55/146.63	c ===============================================================================
146.55/146.63	c |      9203 |    3721    26661   808278 |     8887     9203    547 | 32.712 % |
147.05/147.10	c ===============================================================================
147.05/147.10	c New solution: 38604
147.05/147.10	o 38604
147.05/147.10	c Elapsed CPU time: 146.571 s	Remaining CPU time: 33.4293 s
147.05/147.10	c ===============================================================================
147.05/147.10	c |      9203 |    3721    26662   810247 |     8887     9203    547 | 32.712 % |
147.45/147.58	c ===============================================================================
147.45/147.58	c New solution: 38603
147.45/147.58	o 38603
147.45/147.58	c Elapsed CPU time: 147.045 s	Remaining CPU time: 32.9554 s
147.45/147.58	c ===============================================================================
147.45/147.58	c |      9203 |    3721    26663   812216 |     8887     9203    547 | 32.712 % |
147.86/147.96	c ===============================================================================
147.86/147.96	c New solution: 38602
147.86/147.96	o 38602
147.86/147.96	c Elapsed CPU time: 147.421 s	Remaining CPU time: 32.5794 s
147.86/147.96	c ===============================================================================
147.86/147.96	c |      9218 |    3721    26664   814185 |     8888     9218    546 | 32.712 % |
148.36/148.45	c ===============================================================================
148.36/148.45	c New solution: 38601
148.36/148.45	o 38601
148.36/148.45	c Elapsed CPU time: 147.91 s	Remaining CPU time: 32.0905 s
148.36/148.45	c ===============================================================================
148.36/148.45	c |      9233 |    3721    26665   816154 |     8888     9233    546 | 32.712 % |
149.05/149.15	c ===============================================================================
149.05/149.15	c New solution: 38600
149.05/149.15	o 38600
149.05/149.15	c Elapsed CPU time: 148.611 s	Remaining CPU time: 31.3886 s
149.05/149.15	c ===============================================================================
149.05/149.15	c |      9241 |    3721    26666   818123 |     8888     9241    546 | 32.712 % |
149.65/149.77	c ===============================================================================
149.65/149.77	c New solution: 38599
149.65/149.77	o 38599
149.65/149.77	c Elapsed CPU time: 149.232 s	Remaining CPU time: 30.7677 s
149.65/149.77	c ===============================================================================
149.65/149.77	c |      9249 |    3721    26667   820092 |     8889     9249    546 | 32.712 % |
151.15/151.21	c |      9349 |    3721    26667   820092 |     9777     9349    547 | 32.712 % |
153.86/154.00	c |      9500 |    3721    26667   820092 |    10755     9500    548 | 32.712 % |
154.55/154.62	c ===============================================================================
154.55/154.62	c New solution: 38598
154.55/154.62	o 38598
154.55/154.62	c Elapsed CPU time: 154.079 s	Remaining CPU time: 25.9214 s
154.55/154.62	c ===============================================================================
154.55/154.62	c |      9504 |    3721    26668   822061 |     8889     9504    548 | 32.712 % |
155.45/155.58	c ===============================================================================
155.45/155.58	c New solution: 38597
155.45/155.58	o 38597
155.45/155.58	c Elapsed CPU time: 155.039 s	Remaining CPU time: 24.9606 s
155.45/155.58	c ===============================================================================
155.45/155.58	c |      9539 |    3721    26669   824030 |     8889     9539    548 | 32.712 % |
155.95/156.09	c ===============================================================================
155.95/156.09	c New solution: 38596
155.95/156.09	o 38596
155.95/156.09	c Elapsed CPU time: 155.547 s	Remaining CPU time: 24.4526 s
155.95/156.09	c ===============================================================================
155.95/156.09	c |      9548 |    3721    26670   825999 |     8890     9548    548 | 32.712 % |
158.44/158.55	c |      9649 |    3721    26670   825999 |     9779     9649    548 | 32.712 % |
160.35/160.45	c |      9799 |    3721    26670   825999 |    10756     9799    546 | 32.712 % |
163.05/163.10	c |     10024 |    3721    26670   825999 |    11832    10024    548 | 32.712 % |
163.75/163.83	c ===============================================================================
163.75/163.83	c New solution: 38595
163.75/163.83	o 38595
163.75/163.83	c Elapsed CPU time: 163.279 s	Remaining CPU time: 16.7208 s
163.75/163.83	c ===============================================================================
163.75/163.83	c |     10031 |    3721    26671   827968 |     8890    10031    548 | 32.712 % |
164.35/164.43	c ===============================================================================
164.35/164.43	c New solution: 38594
164.35/164.43	o 38594
164.35/164.43	c Elapsed CPU time: 163.878 s	Remaining CPU time: 16.1219 s
164.35/164.43	c ===============================================================================
164.35/164.43	c |     10035 |    3721    26672   829937 |     8890    10035    547 | 32.712 % |
164.95/165.07	c ===============================================================================
164.95/165.07	c New solution: 38593
164.95/165.07	o 38593
164.95/165.07	c Elapsed CPU time: 164.519 s	Remaining CPU time: 15.481 s
164.95/165.07	c ===============================================================================
164.95/165.07	c |     10040 |    3721    26673   831906 |     8891    10040    547 | 32.712 % |
166.34/166.47	c |     10140 |    3721    26673   831906 |     9780    10140    548 | 32.712 % |
167.05/167.20	c ===============================================================================
167.05/167.20	c New solution: 38592
167.05/167.20	o 38592
167.05/167.20	c Elapsed CPU time: 166.64 s	Remaining CPU time: 13.3603 s
167.05/167.20	c ===============================================================================
167.05/167.20	c |     10144 |    3721    26674   833875 |     8891    10144    548 | 32.712 % |
167.74/167.88	c ===============================================================================
167.74/167.88	c New solution: 38591
167.74/167.88	o 38591
167.74/167.88	c Elapsed CPU time: 167.325 s	Remaining CPU time: 12.6754 s
167.74/167.88	c ===============================================================================
167.74/167.88	c |     10144 |    3721    26675   835844 |     8891    10144    548 | 32.712 % |
168.44/168.57	c ===============================================================================
168.44/168.57	c New solution: 38590
168.44/168.57	o 38590
168.44/168.57	c Elapsed CPU time: 168.006 s	Remaining CPU time: 11.9935 s
168.44/168.57	c ===============================================================================
168.44/168.57	c |     10144 |    3721    26676   837813 |     8892    10144    548 | 32.712 % |
169.14/169.25	c ===============================================================================
169.14/169.25	c New solution: 38589
169.14/169.25	o 38589
169.14/169.25	c Elapsed CPU time: 168.689 s	Remaining CPU time: 11.3106 s
169.14/169.25	c ===============================================================================
169.14/169.25	c |     10144 |    3721    26677   839782 |     8892    10144    548 | 32.712 % |
169.85/169.93	c ===============================================================================
169.85/169.93	c New solution: 38588
169.85/169.93	o 38588
169.85/169.93	c Elapsed CPU time: 169.373 s	Remaining CPU time: 10.6267 s
169.85/169.93	c ===============================================================================
169.85/169.93	c |     10144 |    3721    26678   841751 |     8892    10144    548 | 32.712 % |
170.55/170.61	c ===============================================================================
170.55/170.61	c New solution: 38587
170.55/170.61	o 38587
170.55/170.61	c Elapsed CPU time: 170.05 s	Remaining CPU time: 9.94985 s
170.55/170.61	c ===============================================================================
170.55/170.61	c |     10144 |    3721    26679   843720 |     8893    10144    548 | 32.712 % |
171.15/171.29	c ===============================================================================
171.15/171.29	c New solution: 38586
171.15/171.29	o 38586
171.15/171.29	c Elapsed CPU time: 170.726 s	Remaining CPU time: 9.27396 s
171.15/171.29	c ===============================================================================
171.15/171.29	c |     10144 |    3721    26680   845689 |     8893    10144    548 | 32.712 % |
171.85/171.96	c ===============================================================================
171.85/171.96	c New solution: 38585
171.85/171.96	o 38585
171.85/171.96	c Elapsed CPU time: 171.4 s	Remaining CPU time: 8.60006 s
171.85/171.96	c ===============================================================================
171.85/171.96	c |     10144 |    3721    26681   847658 |     8893    10144    548 | 32.712 % |
172.55/172.64	c ===============================================================================
172.55/172.64	c New solution: 38584
172.55/172.64	o 38584
172.55/172.64	c Elapsed CPU time: 172.074 s	Remaining CPU time: 7.92616 s
172.55/172.64	c ===============================================================================
172.55/172.64	c |     10144 |    3721    26682   849627 |     8894    10144    548 | 32.712 % |
173.24/173.31	c ===============================================================================
173.24/173.31	c New solution: 38583
173.24/173.31	o 38583
173.24/173.31	c Elapsed CPU time: 172.742 s	Remaining CPU time: 7.25826 s
173.24/173.31	c ===============================================================================
173.24/173.31	c |     10144 |    3721    26683   851596 |     8894    10144    548 | 32.712 % |
173.84/173.98	c ===============================================================================
173.84/173.98	c New solution: 38582
173.84/173.98	o 38582
173.84/173.98	c Elapsed CPU time: 173.41 s	Remaining CPU time: 6.59036 s
173.84/173.98	c ===============================================================================
173.84/173.98	c |     10144 |    3721    26684   853565 |     8894    10144    548 | 32.712 % |
174.44/174.54	c ===============================================================================
174.44/174.54	c New solution: 38581
174.44/174.54	o 38581
174.44/174.54	c Elapsed CPU time: 173.967 s	Remaining CPU time: 6.03345 s
174.44/174.54	c ===============================================================================
174.44/174.54	c |     10159 |    3721    26685   855534 |     8895    10159    548 | 32.712 % |
175.14/175.20	c ===============================================================================
175.14/175.20	c New solution: 38580
175.14/175.20	o 38580
175.14/175.20	c Elapsed CPU time: 174.633 s	Remaining CPU time: 5.36655 s
175.14/175.20	c ===============================================================================
175.14/175.20	c |     10169 |    3721    26686   857503 |     8895    10169    547 | 32.712 % |
175.74/175.82	c ===============================================================================
175.74/175.82	c New solution: 38579
175.74/175.82	o 38579
175.74/175.82	c Elapsed CPU time: 175.247 s	Remaining CPU time: 4.75264 s
175.74/175.82	c ===============================================================================
175.74/175.82	c |     10202 |    3721    26687   859472 |     8895    10202    548 | 32.712 % |
176.44/176.57	c ===============================================================================
176.44/176.57	c New solution: 38578
176.44/176.57	o 38578
176.44/176.57	c Elapsed CPU time: 175.993 s	Remaining CPU time: 4.00676 s
176.44/176.57	c ===============================================================================
176.44/176.57	c |     10208 |    3721    26688   861441 |     8896    10208    547 | 32.712 % |
177.06/177.12	c ===============================================================================
177.06/177.12	c New solution: 38577
177.06/177.12	o 38577
177.06/177.12	c Elapsed CPU time: 176.544 s	Remaining CPU time: 3.45584 s
177.06/177.12	c ===============================================================================
177.06/177.12	c |     10216 |    3721    26689   863410 |     8896    10216    547 | 32.712 % |
177.75/177.80	c ===============================================================================
177.75/177.80	c New solution: 38576
177.75/177.80	o 38576
177.75/177.80	c Elapsed CPU time: 177.226 s	Remaining CPU time: 2.77394 s
177.75/177.80	c ===============================================================================
177.75/177.80	c |     10219 |    3721    26690   865379 |     8896    10219    547 | 32.712 % |
178.15/178.27	c ===============================================================================
178.15/178.27	c New solution: 38575
178.15/178.27	o 38575
178.15/178.27	c Elapsed CPU time: 177.698 s	Remaining CPU time: 2.30202 s
178.15/178.27	c ===============================================================================
178.15/178.27	c |     10224 |    3721    26691   867348 |     8897    10224    547 | 32.712 % |
178.75/178.85	c ===============================================================================
178.75/178.85	c New solution: 38574
178.75/178.85	o 38574
178.75/178.85	c Elapsed CPU time: 178.278 s	Remaining CPU time: 1.7221 s
178.75/178.85	c ===============================================================================
178.75/178.85	c |     10229 |    3721    26692   869317 |     8897    10229    547 | 32.712 % |
179.15/179.26	c ===============================================================================
179.15/179.26	c New solution: 38573
179.15/179.26	o 38573
179.15/179.26	c Elapsed CPU time: 178.681 s	Remaining CPU time: 1.31916 s
179.15/179.26	c ===============================================================================
179.15/179.26	c |     10242 |    3721    26693   871286 |     8897    10242    547 | 32.712 % |
179.54/179.67	c ===============================================================================
179.54/179.67	c New solution: 38572
179.54/179.67	o 38572
179.54/179.67	c Elapsed CPU time: 179.097 s	Remaining CPU time: 0.903227 s
179.54/179.67	c ===============================================================================
179.54/179.67	c |     10249 |    3721    26694   873255 |     8898    10249    547 | 32.712 % |
180.04/180.18	c ===============================================================================
180.04/180.18	c New solution: 38571
180.04/180.18	o 38571
180.04/180.18	c Elapsed CPU time: 179.6 s	Remaining CPU time: 0.400304 s
180.04/180.18	c ===============================================================================
180.04/180.18	c |     10261 |    3721    26695   875224 |     8898    10261    547 | 32.712 % |
180.54/180.60	c There are 1809 assigned variables. 348 in cost function.
184.15/184.24	c core #1
184.15/184.24	c core #2
184.15/184.24	c core #3
184.15/184.24	c core #4
184.15/184.24	c core #5
184.15/184.24	c core #6
184.15/184.24	c core #7
184.15/184.24	c core #8
184.15/184.24	c core #9
184.15/184.24	c core #10
184.15/184.24	c core #11
184.15/184.24	c core #12
184.15/184.24	c core #13
184.15/184.24	c core #14
184.15/184.24	c core #15
184.15/184.24	c core #16
184.15/184.24	c core #17
184.15/184.24	c core #18
184.15/184.24	c core #19
184.15/184.24	c core #20
184.15/184.24	c core #21
184.15/184.24	c core #22
184.15/184.24	c core #23
184.15/184.24	c core #24
184.15/184.24	c core #25
184.15/184.24	c core #26
184.15/184.24	c core #27
184.15/184.24	c core #28
184.15/184.24	c core #29
184.15/184.24	c core #30
184.15/184.24	c core #31
184.15/184.24	c core #32
184.15/184.24	c core #33
184.15/184.24	c core #34
184.15/184.24	c core #35
184.15/184.24	c core #36
184.15/184.24	c core #37
184.15/184.24	c core #38
184.15/184.24	c core #39
184.15/184.24	c core #40
184.15/184.24	c core #41
184.15/184.24	c core #42
184.15/184.24	c core #43
184.15/184.24	c core #44
184.15/184.24	c core #45
184.15/184.24	c core #46
184.15/184.24	c core #47
184.15/184.24	c core #48
184.15/184.24	c core #49
184.15/184.24	c core #50
184.15/184.24	c core #51
184.15/184.24	c core #52
184.15/184.24	c core #53
184.15/184.24	c core #54
184.15/184.24	c core #55
184.15/184.24	c core #56
184.15/184.24	c core #57
184.15/184.24	c core #58
184.15/184.24	c core #59
184.15/184.24	c core #60
184.15/184.24	c core #61
184.15/184.24	c core #62
184.15/184.24	c ============================[ Search Statistics ]==============================
184.15/184.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.15/184.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.15/184.24	c ===============================================================================
184.15/184.24	c |         0 |     804    17312    10119 |     5770        0    nan |  0.000 % |
184.15/184.25	c ===============================================================================
184.15/184.27	c #cores: 62
184.15/184.27	c Final Weight: 4821
184.15/184.27	o 4821
184.15/184.27	s OPTIMUM FOUND
184.15/184.27	v -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 -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 x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 x13 -x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 x35 x36 -x37 x38 -x39 -x40 x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 x50 -x51 x52 x53 -x54 x55 -x56 x57 x58 -x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 x160 -x161 x162 -x163 x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x290 x291 -x292 x293 x294 x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 x315 -x316 x317 -x318 -x319 x320 x321 -x322 -x323 -x324 x325 x326 -x327 -x328 x329 x330 -x331 -x332 x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 x447 x448 x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 -x498 x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 x521 -x522 x523 -x524 -x525 -x526 x527 -x528 x529 -x530 -x531 x532 -x533 x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 x599 -x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 x616 -x617 x618 x619 -x620 x621 -x622 -x623 x624 -x625 x626 -x627 -x628 x629 x630 -x631 -x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 x646 -x647 -x648 x649 -x650 x651 x652 -x653 x654 -x655 -x656 -x657 x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 -x723 x724 -x725 x726 -x727 x728 x729 x730 -x731 -x732 x733 x734 -x735 -x736 -x737 x738 -x739 x740 -x741 x742 x743 -x744 -x745 x746 x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 -x766 x767 -x768 x769 -x770 x771 -x772 -x773 x774 x775 -x776 -x777 x778 -x779 x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 x790 -x791 -x792 x793 -x794 x795 -x796 -x797 -x798 -x799 x800 -x801 x802 x803 -x804 -x805 -x806 -x807 x808 -x809 x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 x824 -x825 x826 x827 -x828 x829 -x830 -x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 x840 x841 -x842 -x843 x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 x863 x864 -x865 x866 -x867 x868 -x869 x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 x924 -x925 x926 -x927 x928 -x929 x930 -x931 -x932 x933 x934 -x935 -x936 x937 -x938 -x939 x940 -x941 -x942 x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 x960 -x961 -x962 x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 x971 x972 -x973 -x974 x975 -x976 -x977 -x978 x979 -x980 x981 -x982 -x983 -x984 -x985 x986 -x987 x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 x1095 x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 x1188 -x1189 -x1190 x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 x1242 -x1243 -x1244 x1245 -x1246 x1247 -x1248 x1249 x1250 x1251 -x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 x1259 -x1260 -x1261 x1262 -x1263 x1264 -x1265 x1266 -x1267 x1268 -x1269 x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 x1288 x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 x1296 -x1297 x1298 -x1299 -x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 x1423 -x1424 -x1425 -x1426 x1427 x1428 x1429 -x1430 x1431 x1432 -x1433 x1434 -x1435 -x1436 x1437 x1438 x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 -x1447 -x1448 x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 x1465 x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 -x1480 -x1481 x1482 x1483 -x1484 x1485 -x1486 x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 x1613 x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 x1656 -x1657 -x1658 x1659 x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 x1669 -x1670 x1671 -x1672 x1673 x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 x1689 -x1690 -x1691 x1692 -x1693 -x1694 x1695 -x1696 x1697 -x1698 x1699 -x1700 x1701 x1702 -x1703 x1704 -x1705 x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 x1726 x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 x1747 -x1748 x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 x1769 -x1770 x1771 -x1772 -x1773 x1774 -x1775 x1776 -x1777 x1778 x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 x1793 x1794 -x1795 -x1796 x1797 -x1798 -x1799 x1800 -x1801 x1802 x1803 -x1804 -x1805 x1806 x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 x1834 x1835 -x1836 x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 x1873 x1874 -x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 x1882 x1883 x1884 -x1885 x1886 -x1887 -x1888 x1889 -x1890 -x1891 x1892 -x1893 x1894 -x1895 x1896 -x1897 x1898 -x1899 x1900 -x1901 x1902 x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 x1910 x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 x1940 -x1941 -x1942 x1943 x1944 -x1945 x1946 x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 x1986 -x1987 x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 x1995 x1996 x1997 x1998 x1999 -x2000 x2001 -x2002 x2003 -x2004 -x2005 -x2006 x2007 -x2008 x2009 -x2010 -x2011 x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 x2027 -x2028 x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 x2043 x2044 -x2045 -x2046 -x2047 x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 x2091 x2092 x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 x2122 -x2123 x2124 -x2125 x2126 x2127 x2128 x2129 x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 x2156 -x2157 x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 x2172 x2173 -x2174 x2175 x2176 -x2177 -x2178 x2179 -x2180 x2181 -x2182 -x2183 -x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 x2216 x2217 x2218 x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 x2248 -x2249 x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 x2257 -x2258 x2259 -x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 x2274 -x2275 -x2276 x2277 -x2278 -x2279 x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 x2307 x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 x2319 x2320 -x2321 -x2322 -x2323 -x2324 x2325 x2326 -x2327 -x2328 x2329 x2330 x2331 x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 x2360 -x2361 x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 x2420 -x2421 x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 x2435 x2436 x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 x2450 -x2451 x2452 -x2453 -x2454 x2455 -x2456 x2457 -x2458 x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 x2505 -x2506 -x2507 x2508 x2509 -x2510 x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 x2540 x2541 -x2542 -x2543 -x2544 -x2545 x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 x2595 x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 x2604 x2605 -x2606 -x2607 -x2608 x2609 x2610 x2611 x2612 -x2613 -x2614 x2615 -x2616 x2617 -x2618 -x2619 x2620 x2621 -x2622 -x2623 -x2624 x2625 -x2626 x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 x2651 x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 x2675 x2676 -x2677 x2678 x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 x2692 x2693 x2694 -x2695 -x2696 -x2697 x2698 -x2699 x2700 -x2701 -x2702 x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 x2749 x2750 -x2751 x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 x2759 x2760 -x2761 x2762 -x2763 x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 x2793 -x2794 x2795 -x2796 x2797 -x2798 x2799 x2800 x2801 -x2802 -x2803 x2804 -x2805 x2806 -x2807 x2808 -x2809 x2810 -x2811 x2812 x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 x2836 -x2837 -x2838 x2839 -x2840 x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 x2856 x2857 x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 x2874 -x2875 x2876 -x2877 -x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461
184.15/184.27	c Total CPU time: 183.588 s

Verifier Data 

OK	4821

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 30018
/proc/meminfo: memFree=1815756/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=3648 CPUtime=0
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 92309264 3735552 290 1992294400 134512640 135751879 4291654272 18446744073709551615 134559686 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 912 290 145 303 0 414 0

[startup+0.0825869 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 30018
/proc/meminfo: memFree=1815756/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=4932 CPUtime=0.08
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 805 0 0 0 8 0 0 0 25 0 1 0 92309264 5050368 724 1992294400 134512640 135751879 4291654272 18446744073709551615 135201606 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 1233 725 277 303 0 735 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4932

[startup+0.101587 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 30018
/proc/meminfo: memFree=1815756/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=5296 CPUtime=0.09
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 922 0 0 0 9 0 0 0 25 0 1 0 92309264 5423104 841 1992294400 134512640 135751879 4291654272 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 1324 841 309 303 0 826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5296

[startup+0.301608 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 30018
/proc/meminfo: memFree=1815756/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=6664 CPUtime=0.29
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 1465 0 0 0 29 0 0 0 18 0 1 0 92309264 6823936 1191 1992294400 134512640 135751879 4291654272 18446744073709551615 134580005 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 1666 1191 146 303 0 1361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6664

[startup+0.701651 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 30018
/proc/meminfo: memFree=1815756/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=6928 CPUtime=0.69
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 1535 0 0 0 69 0 0 0 18 0 1 0 92309264 7094272 1261 1992294400 134512640 135751879 4291654272 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 1732 1261 146 303 0 1427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6928

[startup+1.50174 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 30019
/proc/meminfo: memFree=1811160/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=7852 CPUtime=1.49
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 1760 0 0 0 149 0 0 0 19 0 1 0 92309264 8040448 1486 1992294400 134512640 135751879 4291654272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 1963 1486 146 303 0 1658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7852

[startup+3.10191 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 30019
/proc/meminfo: memFree=1808680/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=9304 CPUtime=3.09
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 2145 0 0 0 300 9 0 0 18 0 1 0 92309264 9527296 1871 1992294400 134512640 135751879 4291654272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 2326 1871 146 303 0 2021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9304

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 30019
/proc/meminfo: memFree=1808308/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=10348 CPUtime=6.29
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 2393 0 0 0 616 13 0 0 18 0 1 0 92309264 10596352 2119 1992294400 134512640 135751879 4291654272 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 2587 2119 147 303 0 2282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10348

[startup+12.7009 s]
/proc/loadavg: 0.94 0.98 0.99 2/106 30019
/proc/meminfo: memFree=1804216/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=14032 CPUtime=12.69
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 3320 0 0 0 1252 17 0 0 18 0 1 0 92309264 14368768 3046 1992294400 134512640 135751879 4291654272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 3508 3046 147 303 0 3203 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14032

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 30019
/proc/meminfo: memFree=1798016/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=19908 CPUtime=25.49
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 4812 0 0 0 2527 22 0 0 20 0 1 0 92309264 20385792 4538 1992294400 134512640 135751879 4291654272 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 4977 4538 147 303 0 4672 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19908

[startup+51.101 s]
/proc/loadavg: 0.97 0.98 0.99 2/106 30019
/proc/meminfo: memFree=1788344/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=29784 CPUtime=51.07
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 7250 0 0 0 5077 30 0 0 25 0 1 0 92309264 30498816 6976 1992294400 134512640 135751879 4291654272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 7446 6976 147 303 0 7141 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29784

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 30021
/proc/meminfo: memFree=1776688/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=41036 CPUtime=102.27
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 10085 0 0 0 10186 41 0 0 25 0 1 0 92309264 42020864 9811 1992294400 134512640 135751879 4291654272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 10259 9811 147 303 0 9954 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41036

[startup+162.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1768008/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=49664 CPUtime=162.25
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 12235 0 0 0 16174 51 0 0 25 0 1 0 92309264 50855936 11961 1992294400 134512640 135751879 4291654272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 12416 11961 147 303 0 12111 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49664

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

[startup+166.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1767388/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=50188 CPUtime=166.24
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 12370 0 0 0 16573 51 0 0 20 0 1 0 92309264 51392512 12096 1992294400 134512640 135751879 4291654272 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 12547 12096 147 303 0 12242 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 50188

[startup+172.709 s]
/proc/loadavg: 1.04 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1766892/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=50712 CPUtime=172.65
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 12490 0 0 0 17213 52 0 0 25 0 1 0 92309264 51929088 12216 1992294400 134512640 135751879 4291654272 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 12678 12216 147 303 0 12373 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 50712

[startup+179.102 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1766272/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=51372 CPUtime=179.05
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 12650 0 0 0 17852 53 0 0 25 0 1 0 92309264 52604928 12376 1992294400 134512640 135751879 4291654272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 12843 12376 147 303 0 12538 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 51372

[startup+182.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1759204/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=98184 CPUtime=182.24
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 24459 0 0 0 18168 56 0 0 25 0 1 0 92309264 100540416 24086 1992294400 134512640 135751879 4291654272 18446744073709551615 134617351 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 24546 24086 150 303 0 24241 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 98184

[startup+183.101 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1708612/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=135600 CPUtime=183.04
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 33816 0 0 0 18245 59 0 0 25 0 1 0 92309264 138854400 33443 1992294400 134512640 135751879 4291654272 18446744073709551615 134541843 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 33900 33443 150 303 0 33595 0
Current children cumulated CPU time (s) 183.04
Current children cumulated vsize (KiB) 135600

[startup+183.901 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1662732/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=168484 CPUtime=183.85
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 42046 0 0 0 18323 62 0 0 25 0 1 0 92309264 172527616 41673 1992294400 134512640 135751879 4291654272 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 42121 41675 150 303 0 41816 0
Current children cumulated CPU time (s) 183.85
Current children cumulated vsize (KiB) 168484

[startup+184.101 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1662732/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=178320 CPUtime=184.05
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 44509 0 0 0 18342 63 0 0 25 0 1 0 92309264 182599680 44136 1992294400 134512640 135751879 4291654272 18446744073709551615 135204161 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 44580 44136 150 303 0 44275 0
Current children cumulated CPU time (s) 184.05
Current children cumulated vsize (KiB) 178320

[startup+184.201 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 30023
/proc/meminfo: memFree=1662732/2059040 swapFree=4139416/4192956
[pid=30018] ppid=30016 vsize=181044 CPUtime=184.15
/proc/30018/stat : 30018 (wbo1.4b) R 30016 30018 29252 0 -1 4202496 45179 0 0 0 18352 63 0 0 25 0 1 0 92309264 185389056 44806 1992294400 134512640 135751879 4291654272 18446744073709551615 134541851 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30018/statm: 45261 44806 150 303 0 44956 0
Current children cumulated CPU time (s) 184.15
Current children cumulated vsize (KiB) 181044

Child status: 0
Real time (s): 184.292
CPU time (s): 184.243
CPU user time (s): 183.588
CPU system time (s): 0.6549
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 181044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.588
system time used= 0.6549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45812
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= 97
involuntary context switches= 175

runsolver used 0.314952 second user time and 0.92086 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-26 01:55:52
IDJOB=2683499
IDBENCH=72117
IDSOLVER=1161
FILE ID=node081/2683499-1277510151
PBS_JOBID= 11190612
Free space on /tmp= 121784 MiB

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

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

MD5SUM BENCH= 6efb1d8368fd5925c68cb6444d9e1cc2
RANDOM SEED=865218663

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816408 kB
Buffers:         40308 kB
Cached:         105636 kB
SwapCached:       5932 kB
Active:          80628 kB
Inactive:        78116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816408 kB
SwapTotal:     4192956 kB
SwapFree:      4139416 kB
Dirty:            3760 kB
Writeback:           8 kB
AnonPages:       11592 kB
Mapped:          11948 kB
Slab:            62064 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180620 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683499-1277510151.opb

Free space on /tmp at the end= 121784 MiB
End job on node081 at 2010-06-26 01:58:56