Trace number 2683224

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)OPT4750 184.791 184.846

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2683224-1277508311.opb.
0.00/0.00	c Instance file HOME/instance-2683224-1277508311.opb
0.00/0.00	c File size is 802569 bytes.
0.09/0.12	c Highest Coefficient sum: 553
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      5571                                                |
0.09/0.12	c |  Number Clauses:        24721                                               |
0.09/0.12	c |  Number Cardinality:    289                                                 |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
2.59/2.65	c ============================[ Search Statistics ]==============================
2.59/2.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.65	c ===============================================================================
2.59/2.65	c |         0 |    3833    26472    53471 |     8336        0    nan |  0.000 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: 516358
2.59/2.66	o 516358
2.59/2.66	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 177.366 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |         6 |    3833    26473    55423 |     8824        6      5 |  0.000 % |
2.59/2.67	c ===============================================================================
2.59/2.67	c New solution: 514843
2.59/2.67	o 514843
2.59/2.67	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 177.356 s
2.59/2.67	c ===============================================================================
2.59/2.67	c |         9 |    3833    26474    57375 |     8824        9      4 |  0.000 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 451137
2.59/2.69	o 451137
2.59/2.69	c Elapsed CPU time: 2.6586 s	Remaining CPU time: 177.341 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |        27 |    3833    26475    59327 |     8825       27      4 |  0.000 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: 355546
2.69/2.70	o 355546
2.69/2.70	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 177.334 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |        30 |    3833    26476    61279 |     8825       30      4 |  0.000 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c New solution: 279674
2.69/2.71	o 279674
2.69/2.71	c Elapsed CPU time: 2.67659 s	Remaining CPU time: 177.323 s
2.69/2.71	c ===============================================================================
2.69/2.71	c |        43 |    3833    26477    63231 |     8825       43      4 |  0.000 % |
2.69/2.72	c ===============================================================================
2.69/2.72	c New solution: 279668
2.69/2.72	o 279668
2.69/2.72	c Elapsed CPU time: 2.68759 s	Remaining CPU time: 177.312 s
2.69/2.72	c ===============================================================================
2.69/2.72	c |        49 |    3833    26478    65183 |     8826       49      4 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 190203
2.69/2.76	o 190203
2.69/2.76	c Elapsed CPU time: 2.72358 s	Remaining CPU time: 177.276 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |        94 |    3833    26479    67135 |     8826       94     22 |  0.000 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: 190202
2.69/2.78	o 190202
2.69/2.78	c Elapsed CPU time: 2.73958 s	Remaining CPU time: 177.26 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |        99 |    3833    26480    69087 |     8826       99     22 |  0.000 % |
2.79/2.81	c ===============================================================================
2.79/2.81	c New solution: 162939
2.79/2.81	o 162939
2.79/2.81	c Elapsed CPU time: 2.76358 s	Remaining CPU time: 177.236 s
2.79/2.81	c ===============================================================================
2.79/2.81	c |       131 |    3833    26481    71039 |     8827      131     22 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 162914
2.79/2.83	o 162914
2.79/2.83	c Elapsed CPU time: 2.77458 s	Remaining CPU time: 177.225 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |       137 |    3833    26482    72991 |     8827      137     22 |  0.000 % |
2.79/2.84	c ===============================================================================
2.79/2.84	c New solution: 162907
2.79/2.84	o 162907
2.79/2.84	c Elapsed CPU time: 2.78458 s	Remaining CPU time: 177.215 s
2.79/2.84	c ===============================================================================
2.79/2.84	c |       137 |    3833    26483    74943 |     8827      137     22 |  0.000 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: 162900
2.79/2.85	o 162900
2.79/2.85	c Elapsed CPU time: 2.79458 s	Remaining CPU time: 177.205 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |       137 |    3833    26484    76895 |     8828      137     22 |  0.000 % |
2.79/2.86	c ===============================================================================
2.79/2.86	c New solution: 162899
2.79/2.86	o 162899
2.79/2.86	c Elapsed CPU time: 2.80657 s	Remaining CPU time: 177.193 s
2.79/2.86	c ===============================================================================
2.79/2.86	c |       137 |    3833    26485    78847 |     8828      137     22 |  0.000 % |
2.79/2.88	c ===============================================================================
2.79/2.88	c New solution: 144712
2.79/2.88	o 144712
2.79/2.88	c Elapsed CPU time: 2.82557 s	Remaining CPU time: 177.174 s
2.79/2.88	c ===============================================================================
2.79/2.88	c |       152 |    3833    26486    80799 |     8828      152     23 |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c New solution: 144711
2.89/2.91	o 144711
2.89/2.91	c Elapsed CPU time: 2.85157 s	Remaining CPU time: 177.148 s
2.89/2.91	c ===============================================================================
2.89/2.91	c |       164 |    3833    26487    82751 |     8829      164     26 |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 144710
2.89/2.94	o 144710
2.89/2.94	c Elapsed CPU time: 2.87856 s	Remaining CPU time: 177.121 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |       175 |    3833    26488    84703 |     8829      175     40 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 108364
2.89/2.96	o 108364
2.89/2.96	c Elapsed CPU time: 2.89856 s	Remaining CPU time: 177.101 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |       188 |    3833    26489    86655 |     8829      188     37 |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c New solution: 99256
2.89/2.97	o 99256
2.89/2.97	c Elapsed CPU time: 2.91056 s	Remaining CPU time: 177.089 s
2.89/2.97	c ===============================================================================
2.89/2.97	c |       192 |    3833    26490    88607 |     8830      192     37 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 99242
2.89/2.99	o 99242
2.89/2.99	c Elapsed CPU time: 2.92855 s	Remaining CPU time: 177.071 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |       193 |    3833    26491    90559 |     8830      193     37 |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 99241
2.99/3.01	o 99241
2.99/3.01	c Elapsed CPU time: 2.94255 s	Remaining CPU time: 177.057 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |       193 |    3833    26492    92511 |     8830      193     37 |  0.000 % |
2.99/3.02	c ===============================================================================
2.99/3.02	c New solution: 99235
2.99/3.02	o 99235
2.99/3.02	c Elapsed CPU time: 2.95655 s	Remaining CPU time: 177.043 s
2.99/3.02	c ===============================================================================
2.99/3.02	c |       193 |    3833    26493    94463 |     8831      193     37 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: 99234
2.99/3.04	o 99234
2.99/3.04	c Elapsed CPU time: 2.97155 s	Remaining CPU time: 177.028 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |       193 |    3833    26494    96415 |     8831      193     37 |  0.000 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: 99233
2.99/3.05	o 99233
2.99/3.05	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 177.015 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |       193 |    3833    26495    98367 |     8831      193     37 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 97737
2.99/3.07	o 97737
2.99/3.07	c Elapsed CPU time: 2.99954 s	Remaining CPU time: 177 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       195 |    3833    26496   100319 |     8832      195     40 |  0.000 % |
3.09/3.19	c ===============================================================================
3.09/3.19	c New solution: 97726
3.09/3.19	o 97726
3.09/3.19	c Elapsed CPU time: 3.12453 s	Remaining CPU time: 176.875 s
3.09/3.19	c ===============================================================================
3.09/3.19	c |       216 |    3833    26497   102271 |     8832      216     59 |  0.000 % |
3.20/3.26	c ===============================================================================
3.20/3.26	c New solution: 97723
3.20/3.26	o 97723
3.20/3.26	c Elapsed CPU time: 3.18952 s	Remaining CPU time: 176.81 s
3.20/3.26	c ===============================================================================
3.20/3.26	c |       221 |    3833    26498   104223 |     8832      221     58 |  0.000 % |
3.20/3.30	c ===============================================================================
3.20/3.30	c New solution: 97722
3.20/3.30	o 97722
3.20/3.30	c Elapsed CPU time: 3.23151 s	Remaining CPU time: 176.768 s
3.20/3.30	c ===============================================================================
3.20/3.30	c |       221 |    3833    26499   106175 |     8833      221     58 |  0.000 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 97721
3.30/3.34	o 97721
3.30/3.34	c Elapsed CPU time: 3.2705 s	Remaining CPU time: 176.729 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |       221 |    3833    26500   108127 |     8833      221     58 |  0.000 % |
3.30/3.38	c ===============================================================================
3.30/3.38	c New solution: 97720
3.30/3.38	o 97720
3.30/3.38	c Elapsed CPU time: 3.3095 s	Remaining CPU time: 176.691 s
3.30/3.38	c ===============================================================================
3.30/3.38	c |       222 |    3833    26501   110079 |     8833      222     58 |  0.000 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c New solution: 97713
3.39/3.44	o 97713
3.39/3.44	c Elapsed CPU time: 3.36449 s	Remaining CPU time: 176.636 s
3.39/3.44	c ===============================================================================
3.39/3.44	c |       224 |    3833    26502   112031 |     8834      224     59 |  0.000 % |
3.39/3.49	c ===============================================================================
3.39/3.49	c New solution: 97712
3.39/3.49	o 97712
3.39/3.49	c Elapsed CPU time: 3.41648 s	Remaining CPU time: 176.584 s
3.39/3.49	c ===============================================================================
3.39/3.49	c |       228 |    3833    26503   113983 |     8834      228     63 |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c New solution: 97711
3.59/3.61	o 97711
3.59/3.61	c Elapsed CPU time: 3.53446 s	Remaining CPU time: 176.466 s
3.59/3.61	c ===============================================================================
3.59/3.61	c |       246 |    3833    26504   115935 |     8834      246     72 |  0.000 % |
3.59/3.69	c ===============================================================================
3.59/3.69	c New solution: 97709
3.59/3.69	o 97709
3.59/3.69	c Elapsed CPU time: 3.60345 s	Remaining CPU time: 176.397 s
3.59/3.69	c ===============================================================================
3.59/3.69	c |       255 |    3833    26505   117887 |     8835      255     85 |  0.000 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c New solution: 97708
3.69/3.74	o 97708
3.69/3.74	c Elapsed CPU time: 3.65244 s	Remaining CPU time: 176.348 s
3.69/3.74	c ===============================================================================
3.69/3.74	c |       256 |    3833    26506   119839 |     8835      256     87 |  0.000 % |
3.69/3.78	c ===============================================================================
3.69/3.78	c New solution: 97707
3.69/3.78	o 97707
3.69/3.78	c Elapsed CPU time: 3.69444 s	Remaining CPU time: 176.306 s
3.69/3.78	c ===============================================================================
3.69/3.78	c |       259 |    3833    26507   121791 |     8835      259     91 |  0.000 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c New solution: 97698
3.79/3.82	o 97698
3.79/3.82	c Elapsed CPU time: 3.73943 s	Remaining CPU time: 176.261 s
3.79/3.82	c ===============================================================================
3.79/3.82	c |       266 |    3833    26508   123743 |     8836      266     93 |  0.000 % |
3.89/3.99	c |       367 |    3833    26508   123743 |     9719      367    210 | 31.197 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c New solution: 97697
3.99/4.05	o 97697
3.99/4.05	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 176.036 s
3.99/4.05	c ===============================================================================
3.99/4.05	c |       372 |    3833    26509   125695 |     8836      372    209 | 31.197 % |
4.09/4.14	c ===============================================================================
4.09/4.14	c New solution: 97696
4.09/4.14	o 97696
4.09/4.14	c Elapsed CPU time: 4.05438 s	Remaining CPU time: 175.946 s
4.09/4.14	c ===============================================================================
4.09/4.14	c |       382 |    3833    26510   127647 |     8836      382    211 | 31.197 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c New solution: 97695
4.09/4.19	o 97695
4.09/4.19	c Elapsed CPU time: 4.09938 s	Remaining CPU time: 175.901 s
4.09/4.19	c ===============================================================================
4.09/4.19	c |       418 |    3833    26511   129599 |     8837      418    233 | 31.197 % |
4.30/4.34	c ===============================================================================
4.30/4.34	c New solution: 97694
4.30/4.34	o 97694
4.30/4.34	c Elapsed CPU time: 4.25735 s	Remaining CPU time: 175.743 s
4.30/4.34	c ===============================================================================
4.30/4.34	c |       466 |    3833    26512   131551 |     8837      466    253 | 31.197 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: 97693
4.30/4.38	o 97693
4.30/4.38	c Elapsed CPU time: 4.29135 s	Remaining CPU time: 175.709 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |       466 |    3833    26513   133503 |     8837      466    253 | 31.197 % |
4.40/4.42	c ===============================================================================
4.40/4.42	c New solution: 97692
4.40/4.42	o 97692
4.40/4.42	c Elapsed CPU time: 4.32934 s	Remaining CPU time: 175.671 s
4.40/4.42	c ===============================================================================
4.40/4.42	c |       466 |    3833    26514   135455 |     8838      466    253 | 31.197 % |
4.40/4.46	c ===============================================================================
4.40/4.46	c New solution: 97691
4.40/4.46	o 97691
4.40/4.46	c Elapsed CPU time: 4.36734 s	Remaining CPU time: 175.633 s
4.40/4.46	c ===============================================================================
4.40/4.46	c |       466 |    3833    26515   137407 |     8838      466    253 | 31.197 % |
4.49/4.50	c ===============================================================================
4.49/4.50	c New solution: 97690
4.49/4.50	o 97690
4.49/4.50	c Elapsed CPU time: 4.40333 s	Remaining CPU time: 175.597 s
4.49/4.50	c ===============================================================================
4.49/4.50	c |       466 |    3833    26516   139359 |     8838      466    253 | 31.197 % |
4.49/4.53	c ===============================================================================
4.49/4.53	c New solution: 97689
4.49/4.53	o 97689
4.49/4.53	c Elapsed CPU time: 4.43832 s	Remaining CPU time: 175.562 s
4.49/4.53	c ===============================================================================
4.49/4.53	c |       466 |    3833    26517   141311 |     8839      466    253 | 31.197 % |
4.49/4.59	c ===============================================================================
4.49/4.59	c New solution: 97688
4.49/4.59	o 97688
4.49/4.59	c Elapsed CPU time: 4.49432 s	Remaining CPU time: 175.506 s
4.49/4.59	c ===============================================================================
4.49/4.59	c |       476 |    3833    26518   143263 |     8839      476    257 | 31.197 % |
4.59/4.65	c ===============================================================================
4.59/4.65	c New solution: 97687
4.59/4.65	o 97687
4.59/4.65	c Elapsed CPU time: 4.55631 s	Remaining CPU time: 175.444 s
4.59/4.65	c ===============================================================================
4.59/4.65	c |       481 |    3833    26519   145215 |     8839      481    254 | 31.197 % |
4.69/4.70	c ===============================================================================
4.69/4.70	c New solution: 97686
4.69/4.70	o 97686
4.69/4.70	c Elapsed CPU time: 4.6063 s	Remaining CPU time: 175.394 s
4.69/4.70	c ===============================================================================
4.69/4.70	c |       483 |    3833    26520   147167 |     8840      483    254 | 31.197 % |
4.69/4.76	c ===============================================================================
4.69/4.76	c New solution: 97685
4.69/4.76	o 97685
4.69/4.76	c Elapsed CPU time: 4.66329 s	Remaining CPU time: 175.337 s
4.69/4.76	c ===============================================================================
4.69/4.76	c |       489 |    3833    26521   149119 |     8840      489    258 | 31.197 % |
4.88/4.94	c ===============================================================================
4.88/4.94	c New solution: 97684
4.88/4.94	o 97684
4.88/4.94	c Elapsed CPU time: 4.84526 s	Remaining CPU time: 175.155 s
4.88/4.94	c ===============================================================================
4.88/4.94	c |       539 |    3833    26522   151071 |     8840      539    287 | 31.197 % |
4.98/5.00	c ===============================================================================
4.98/5.00	c New solution: 97683
4.98/5.00	o 97683
4.98/5.00	c Elapsed CPU time: 4.90325 s	Remaining CPU time: 175.097 s
4.98/5.00	c ===============================================================================
4.98/5.00	c |       540 |    3833    26523   153023 |     8841      540    288 | 31.197 % |
5.28/5.39	c |       640 |    3833    26523   153023 |     9725      640    331 | 31.197 % |
5.39/5.48	c ===============================================================================
5.39/5.48	c New solution: 97682
5.39/5.48	o 97682
5.39/5.48	c Elapsed CPU time: 5.38118 s	Remaining CPU time: 174.619 s
5.39/5.48	c ===============================================================================
5.39/5.48	c |       653 |    3833    26524   154975 |     8841      653    333 | 31.197 % |
5.59/5.69	c |       753 |    3833    26524   154975 |     9725      753    366 | 31.197 % |
5.89/5.95	c |       903 |    3833    26524   154975 |    10698      903    401 | 31.197 % |
6.09/6.13	c ===============================================================================
6.09/6.13	c New solution: 97681
6.09/6.13	o 97681
6.09/6.13	c Elapsed CPU time: 6.02808 s	Remaining CPU time: 173.972 s
6.09/6.13	c ===============================================================================
6.09/6.13	c |       912 |    3833    26525   156927 |     8841      912    400 | 31.197 % |
6.49/6.52	c |      1012 |    3833    26525   156927 |     9725     1012    418 | 31.197 % |
6.49/6.59	c ===============================================================================
6.49/6.59	c New solution: 97680
6.49/6.59	o 97680
6.49/6.59	c Elapsed CPU time: 6.47701 s	Remaining CPU time: 173.523 s
6.49/6.59	c ===============================================================================
6.49/6.59	c |      1020 |    3833    26526   158879 |     8842     1020    419 | 31.197 % |
6.69/6.79	c |      1121 |    3833    26526   158879 |     9726     1121    436 | 31.197 % |
6.79/6.85	c ===============================================================================
6.79/6.85	c New solution: 97679
6.79/6.85	o 97679
6.79/6.85	c Elapsed CPU time: 6.73998 s	Remaining CPU time: 173.26 s
6.79/6.85	c ===============================================================================
6.79/6.85	c |      1124 |    3833    26527   160831 |     8842     1124    436 | 31.197 % |
6.89/6.92	c ===============================================================================
6.89/6.92	c New solution: 97678
6.89/6.92	o 97678
6.89/6.92	c Elapsed CPU time: 6.81296 s	Remaining CPU time: 173.187 s
6.89/6.92	c ===============================================================================
6.89/6.92	c |      1127 |    3833    26528   162783 |     8842     1127    436 | 31.197 % |
6.89/6.98	c ===============================================================================
6.89/6.98	c New solution: 97677
6.89/6.98	o 97677
6.89/6.98	c Elapsed CPU time: 6.86696 s	Remaining CPU time: 173.133 s
6.89/6.98	c ===============================================================================
6.89/6.98	c |      1127 |    3833    26529   164735 |     8843     1127    436 | 31.197 % |
6.99/7.04	c ===============================================================================
6.99/7.04	c New solution: 97676
6.99/7.04	o 97676
6.99/7.04	c Elapsed CPU time: 6.92195 s	Remaining CPU time: 173.078 s
6.99/7.04	c ===============================================================================
6.99/7.04	c |      1131 |    3833    26530   166687 |     8843     1131    436 | 31.197 % |
7.09/7.11	c ===============================================================================
7.09/7.11	c New solution: 97675
7.09/7.11	o 97675
7.09/7.11	c Elapsed CPU time: 6.99094 s	Remaining CPU time: 173.009 s
7.09/7.11	c ===============================================================================
7.09/7.11	c |      1136 |    3833    26531   168639 |     8843     1136    437 | 31.197 % |
7.19/7.23	c ===============================================================================
7.19/7.23	c New solution: 97674
7.19/7.23	o 97674
7.19/7.23	c Elapsed CPU time: 7.11792 s	Remaining CPU time: 172.882 s
7.19/7.23	c ===============================================================================
7.19/7.23	c |      1173 |    3833    26532   170591 |     8844     1173    441 | 31.197 % |
7.29/7.30	c ===============================================================================
7.29/7.30	c New solution: 97673
7.29/7.30	o 97673
7.29/7.30	c Elapsed CPU time: 7.18491 s	Remaining CPU time: 172.815 s
7.29/7.30	c ===============================================================================
7.29/7.30	c |      1184 |    3833    26533   172543 |     8844     1184    442 | 31.197 % |
7.39/7.44	c ===============================================================================
7.39/7.44	c New solution: 97672
7.39/7.44	o 97672
7.39/7.44	c Elapsed CPU time: 7.32189 s	Remaining CPU time: 172.678 s
7.39/7.44	c ===============================================================================
7.39/7.44	c |      1213 |    3833    26534   174495 |     8844     1213    442 | 31.197 % |
7.69/7.77	c |      1315 |    3833    26534   174495 |     9729     1315    453 | 31.197 % |
7.79/7.82	c ===============================================================================
7.79/7.82	c New solution: 97671
7.79/7.82	o 97671
7.79/7.82	c Elapsed CPU time: 7.70683 s	Remaining CPU time: 172.293 s
7.79/7.82	c ===============================================================================
7.79/7.82	c |      1317 |    3833    26535   176447 |     8845     1317    453 | 31.197 % |
7.79/7.88	c ===============================================================================
7.79/7.88	c New solution: 97670
7.79/7.88	o 97670
7.79/7.88	c Elapsed CPU time: 7.75782 s	Remaining CPU time: 172.242 s
7.79/7.88	c ===============================================================================
7.79/7.88	c |      1321 |    3833    26536   178399 |     8845     1321    453 | 31.197 % |
8.29/8.32	c |      1421 |    3833    26536   178399 |     9729     1421    460 | 31.197 % |
8.29/8.39	c ===============================================================================
8.29/8.39	c New solution: 97669
8.29/8.39	o 97669
8.29/8.39	c Elapsed CPU time: 8.26874 s	Remaining CPU time: 171.731 s
8.29/8.39	c ===============================================================================
8.29/8.39	c |      1439 |    3833    26537   180351 |     8845     1439    461 | 31.197 % |
8.39/8.46	c ===============================================================================
8.39/8.46	c New solution: 97668
8.39/8.46	o 97668
8.39/8.46	c Elapsed CPU time: 8.33773 s	Remaining CPU time: 171.662 s
8.39/8.46	c ===============================================================================
8.39/8.46	c |      1458 |    3833    26538   182303 |     8846     1458    462 | 31.197 % |
8.70/8.74	c |      1561 |    3833    26538   182303 |     9730     1561    470 | 31.197 % |
8.70/8.80	c ===============================================================================
8.70/8.80	c New solution: 97667
8.70/8.80	o 97667
8.70/8.80	c Elapsed CPU time: 8.67468 s	Remaining CPU time: 171.325 s
8.70/8.80	c ===============================================================================
8.70/8.80	c |      1569 |    3833    26539   184255 |     8846     1569    470 | 31.197 % |
8.89/8.97	c ===============================================================================
8.89/8.97	c New solution: 97666
8.89/8.97	o 97666
8.89/8.97	c Elapsed CPU time: 8.84366 s	Remaining CPU time: 171.156 s
8.89/8.97	c ===============================================================================
8.89/8.97	c |      1618 |    3833    26540   186207 |     8846     1618    472 | 31.197 % |
8.99/9.03	c ===============================================================================
8.99/9.03	c New solution: 97665
8.99/9.03	o 97665
8.99/9.03	c Elapsed CPU time: 8.90265 s	Remaining CPU time: 171.097 s
8.99/9.03	c ===============================================================================
8.99/9.03	c |      1620 |    3833    26541   188159 |     8847     1620    473 | 31.197 % |
8.99/9.09	c ===============================================================================
8.99/9.09	c New solution: 97664
8.99/9.09	o 97664
8.99/9.09	c Elapsed CPU time: 8.96064 s	Remaining CPU time: 171.039 s
8.99/9.09	c ===============================================================================
8.99/9.09	c |      1628 |    3833    26542   190111 |     8847     1628    473 | 31.197 % |
9.09/9.16	c ===============================================================================
9.09/9.16	c New solution: 97663
9.09/9.16	o 97663
9.09/9.16	c Elapsed CPU time: 9.03163 s	Remaining CPU time: 170.968 s
9.09/9.16	c ===============================================================================
9.09/9.16	c |      1651 |    3833    26543   192063 |     8847     1651    474 | 31.197 % |
9.49/9.59	c |      1752 |    3833    26543   192063 |     9732     1752    481 | 31.197 % |
9.59/9.64	c ===============================================================================
9.59/9.64	c New solution: 97662
9.59/9.64	o 97662
9.59/9.64	c Elapsed CPU time: 9.50855 s	Remaining CPU time: 170.491 s
9.59/9.64	c ===============================================================================
9.59/9.64	c |      1759 |    3833    26544   194015 |     8848     1759    481 | 31.197 % |
10.59/10.69	c |      1860 |    3833    26544   194015 |     9732     1860    484 | 31.197 % |
10.69/10.78	c ===============================================================================
10.69/10.78	c New solution: 97661
10.69/10.78	o 97661
10.69/10.78	c Elapsed CPU time: 10.6504 s	Remaining CPU time: 169.35 s
10.69/10.78	c ===============================================================================
10.69/10.78	c |      1868 |    3833    26545   195967 |     8848     1868    483 | 31.197 % |
10.79/10.87	c ===============================================================================
10.79/10.87	c New solution: 97660
10.79/10.87	o 97660
10.79/10.87	c Elapsed CPU time: 10.7384 s	Remaining CPU time: 169.262 s
10.79/10.87	c ===============================================================================
10.79/10.87	c |      1876 |    3833    26546   197919 |     8848     1876    483 | 31.197 % |
10.90/10.94	c ===============================================================================
10.90/10.94	c New solution: 97659
10.90/10.94	o 97659
10.90/10.94	c Elapsed CPU time: 10.8044 s	Remaining CPU time: 169.196 s
10.90/10.94	c ===============================================================================
10.90/10.94	c |      1877 |    3833    26547   199871 |     8849     1877    483 | 31.197 % |
11.19/11.22	c |      1978 |    3833    26547   199871 |     9733     1978    489 | 31.197 % |
11.19/11.28	c ===============================================================================
11.19/11.28	c New solution: 97658
11.19/11.28	o 97658
11.19/11.28	c Elapsed CPU time: 11.1433 s	Remaining CPU time: 168.857 s
11.19/11.28	c ===============================================================================
11.19/11.28	c |      1978 |    3833    26548   201823 |     8849     1978    489 | 31.197 % |
11.29/11.34	c ===============================================================================
11.29/11.34	c New solution: 97657
11.29/11.34	o 97657
11.29/11.34	c Elapsed CPU time: 11.2003 s	Remaining CPU time: 168.8 s
11.29/11.34	c ===============================================================================
11.29/11.34	c |      1978 |    3833    26549   203775 |     8849     1978    489 | 31.197 % |
11.29/11.39	c ===============================================================================
11.29/11.39	c New solution: 97656
11.29/11.39	o 97656
11.29/11.39	c Elapsed CPU time: 11.2543 s	Remaining CPU time: 168.746 s
11.29/11.39	c ===============================================================================
11.29/11.39	c |      1978 |    3833    26550   205727 |     8850     1978    489 | 31.197 % |
11.38/11.45	c ===============================================================================
11.38/11.45	c New solution: 97655
11.38/11.45	o 97655
11.38/11.45	c Elapsed CPU time: 11.3163 s	Remaining CPU time: 168.684 s
11.38/11.45	c ===============================================================================
11.38/11.45	c |      1981 |    3833    26551   207679 |     8850     1981    489 | 31.197 % |
11.68/11.77	c |      2083 |    3833    26551   207679 |     9735     2083    492 | 31.197 % |
11.89/11.95	c ===============================================================================
11.89/11.95	c New solution: 97654
11.89/11.95	o 97654
11.89/11.95	c Elapsed CPU time: 11.8082 s	Remaining CPU time: 168.192 s
11.89/11.95	c ===============================================================================
11.89/11.95	c |      2132 |    3833    26552   209631 |     8850     2132    494 | 31.197 % |
12.10/12.18	c ===============================================================================
12.10/12.18	c New solution: 97653
12.10/12.18	o 97653
12.10/12.18	c Elapsed CPU time: 12.0402 s	Remaining CPU time: 167.96 s
12.10/12.18	c ===============================================================================
12.10/12.18	c |      2187 |    3833    26553   211583 |     8851     2187    495 | 31.197 % |
12.49/12.51	c ===============================================================================
12.49/12.51	c New solution: 97652
12.49/12.51	o 97652
12.49/12.51	c Elapsed CPU time: 12.3661 s	Remaining CPU time: 167.634 s
12.49/12.51	c ===============================================================================
12.49/12.51	c |      2278 |    3833    26554   213535 |     8851     2278    498 | 31.197 % |
12.49/12.57	c ===============================================================================
12.49/12.57	c New solution: 97651
12.49/12.57	o 97651
12.49/12.57	c Elapsed CPU time: 12.4311 s	Remaining CPU time: 167.569 s
12.49/12.57	c ===============================================================================
12.49/12.57	c |      2278 |    3833    26555   215487 |     8851     2278    498 | 31.197 % |
12.89/12.97	c |      2379 |    3833    26555   215487 |     9736     2379    501 | 31.197 % |
12.99/13.03	c ===============================================================================
12.99/13.03	c New solution: 97650
12.99/13.03	o 97650
12.99/13.03	c Elapsed CPU time: 12.885 s	Remaining CPU time: 167.115 s
12.99/13.03	c ===============================================================================
12.99/13.03	c |      2381 |    3833    26556   217439 |     8852     2381    501 | 31.197 % |
13.19/13.22	c ===============================================================================
13.19/13.22	c New solution: 97649
13.19/13.22	o 97649
13.19/13.22	c Elapsed CPU time: 13.07 s	Remaining CPU time: 166.93 s
13.19/13.22	c ===============================================================================
13.19/13.22	c |      2474 |    3833    26557   219391 |     8852     2474    500 | 31.197 % |
13.59/13.62	c |      2574 |    3833    26557   219391 |     9737     2574    504 | 31.197 % |
13.68/13.75	c ===============================================================================
13.68/13.75	c New solution: 97648
13.68/13.75	o 97648
13.68/13.75	c Elapsed CPU time: 13.5989 s	Remaining CPU time: 166.401 s
13.68/13.75	c ===============================================================================
13.68/13.75	c |      2589 |    3833    26558   221343 |     8852     2589    504 | 31.197 % |
13.78/13.80	c ===============================================================================
13.78/13.80	c New solution: 97647
13.78/13.80	o 97647
13.78/13.80	c Elapsed CPU time: 13.6509 s	Remaining CPU time: 166.349 s
13.78/13.80	c ===============================================================================
13.78/13.80	c |      2593 |    3833    26559   223295 |     8853     2593    504 | 31.197 % |
14.08/14.14	c ===============================================================================
14.08/14.14	c New solution: 97646
14.08/14.14	o 97646
14.08/14.14	c Elapsed CPU time: 13.9939 s	Remaining CPU time: 166.006 s
14.08/14.14	c ===============================================================================
14.08/14.14	c |      2648 |    3833    26560   225247 |     8853     2648    504 | 31.197 % |
14.08/14.19	c ===============================================================================
14.08/14.19	c New solution: 97645
14.08/14.19	o 97645
14.08/14.19	c Elapsed CPU time: 14.0389 s	Remaining CPU time: 165.961 s
14.08/14.19	c ===============================================================================
14.08/14.19	c |      2659 |    3833    26561   227199 |     8853     2659    504 | 31.197 % |
14.49/14.54	c ===============================================================================
14.49/14.54	c New solution: 97644
14.49/14.54	o 97644
14.49/14.54	c Elapsed CPU time: 14.3858 s	Remaining CPU time: 165.614 s
14.49/14.54	c ===============================================================================
14.49/14.54	c |      2734 |    3833    26562   229151 |     8854     2734    506 | 31.197 % |
14.89/14.99	c |      2834 |    3833    26562   229151 |     9739     2834    509 | 31.197 % |
14.99/15.05	c ===============================================================================
14.99/15.05	c New solution: 97643
14.99/15.05	o 97643
14.99/15.05	c Elapsed CPU time: 14.8917 s	Remaining CPU time: 165.108 s
14.99/15.05	c ===============================================================================
14.99/15.05	c |      2845 |    3833    26563   231103 |     8854     2845    509 | 31.197 % |
15.19/15.21	c ===============================================================================
15.19/15.21	c New solution: 97642
15.19/15.21	o 97642
15.19/15.21	c Elapsed CPU time: 15.0557 s	Remaining CPU time: 164.944 s
15.19/15.21	c ===============================================================================
15.19/15.21	c |      2898 |    3833    26564   233055 |     8854     2898    508 | 31.197 % |
15.29/15.37	c ===============================================================================
15.29/15.37	c New solution: 97641
15.29/15.37	o 97641
15.29/15.37	c Elapsed CPU time: 15.2187 s	Remaining CPU time: 164.781 s
15.29/15.37	c ===============================================================================
15.29/15.37	c |      2900 |    3833    26565   235007 |     8855     2900    508 | 31.197 % |
15.39/15.44	c ===============================================================================
15.39/15.44	c New solution: 97636
15.39/15.44	o 97636
15.39/15.44	c Elapsed CPU time: 15.2867 s	Remaining CPU time: 164.713 s
15.39/15.44	c ===============================================================================
15.39/15.44	c |      2900 |    3833    26566   236959 |     8855     2900    508 | 31.197 % |
15.39/15.49	c ===============================================================================
15.39/15.49	c New solution: 97635
15.39/15.49	o 97635
15.39/15.49	c Elapsed CPU time: 15.3347 s	Remaining CPU time: 164.665 s
15.39/15.49	c ===============================================================================
15.39/15.49	c |      2900 |    3833    26567   238911 |     8855     2900    508 | 31.197 % |
15.68/15.76	c ===============================================================================
15.68/15.76	c New solution: 96188
15.68/15.76	o 96188
15.68/15.76	c Elapsed CPU time: 15.6006 s	Remaining CPU time: 164.399 s
15.68/15.76	c ===============================================================================
15.68/15.76	c |      2939 |    3833    26568   240863 |     8856     2939    508 | 31.197 % |
15.89/15.93	c ===============================================================================
15.89/15.93	c New solution: 96187
15.89/15.93	o 96187
15.89/15.93	c Elapsed CPU time: 15.7636 s	Remaining CPU time: 164.236 s
15.89/15.93	c ===============================================================================
15.89/15.93	c |      2943 |    3833    26569   242815 |     8856     2943    508 | 31.197 % |
15.99/16.08	c ===============================================================================
15.99/16.08	c New solution: 96184
15.99/16.08	o 96184
15.99/16.08	c Elapsed CPU time: 15.9206 s	Remaining CPU time: 164.079 s
15.99/16.08	c ===============================================================================
15.99/16.08	c |      2949 |    3833    26570   244767 |     8856     2949    508 | 31.197 % |
16.19/16.23	c ===============================================================================
16.19/16.23	c New solution: 96151
16.19/16.23	o 96151
16.19/16.23	c Elapsed CPU time: 16.0656 s	Remaining CPU time: 163.934 s
16.19/16.23	c ===============================================================================
16.19/16.23	c |      2951 |    3833    26571   246719 |     8857     2951    508 | 31.197 % |
16.29/16.35	c ===============================================================================
16.29/16.35	c New solution: 96150
16.29/16.35	o 96150
16.29/16.35	c Elapsed CPU time: 16.1925 s	Remaining CPU time: 163.807 s
16.29/16.35	c ===============================================================================
16.29/16.35	c |      2952 |    3833    26572   248671 |     8857     2952    508 | 31.197 % |
16.40/16.48	c ===============================================================================
16.40/16.48	c New solution: 96149
16.40/16.48	o 96149
16.40/16.48	c Elapsed CPU time: 16.3185 s	Remaining CPU time: 163.681 s
16.40/16.48	c ===============================================================================
16.40/16.48	c |      2952 |    3833    26573   250623 |     8857     2952    508 | 31.197 % |
16.59/16.61	c ===============================================================================
16.59/16.61	c New solution: 96148
16.59/16.61	o 96148
16.59/16.61	c Elapsed CPU time: 16.4455 s	Remaining CPU time: 163.555 s
16.59/16.61	c ===============================================================================
16.59/16.61	c |      2952 |    3833    26574   252575 |     8858     2952    508 | 31.197 % |
16.59/16.69	c ===============================================================================
16.59/16.69	c New solution: 96147
16.59/16.69	o 96147
16.59/16.69	c Elapsed CPU time: 16.5275 s	Remaining CPU time: 163.473 s
16.59/16.69	c ===============================================================================
16.59/16.69	c |      2960 |    3833    26575   254527 |     8858     2960    508 | 31.197 % |
16.79/16.85	c ===============================================================================
16.79/16.85	c New solution: 96146
16.79/16.85	o 96146
16.79/16.85	c Elapsed CPU time: 16.6845 s	Remaining CPU time: 163.316 s
16.79/16.85	c ===============================================================================
16.79/16.85	c |      2983 |    3833    26576   256479 |     8858     2983    507 | 31.197 % |
16.89/16.97	c ===============================================================================
16.89/16.97	c New solution: 96145
16.89/16.97	o 96145
16.89/16.97	c Elapsed CPU time: 16.8024 s	Remaining CPU time: 163.198 s
16.89/16.97	c ===============================================================================
16.89/16.97	c |      2984 |    3833    26577   258431 |     8859     2984    507 | 31.197 % |
16.99/17.03	c ===============================================================================
16.99/17.03	c New solution: 96144
16.99/17.03	o 96144
16.99/17.03	c Elapsed CPU time: 16.8624 s	Remaining CPU time: 163.138 s
16.99/17.03	c ===============================================================================
16.99/17.03	c |      2985 |    3833    26578   260383 |     8859     2985    507 | 31.197 % |
17.09/17.10	c ===============================================================================
17.09/17.10	c New solution: 96143
17.09/17.10	o 96143
17.09/17.10	c Elapsed CPU time: 16.9364 s	Remaining CPU time: 163.064 s
17.09/17.10	c ===============================================================================
17.09/17.10	c |      2986 |    3833    26579   262335 |     8859     2986    507 | 31.197 % |
17.09/17.18	c ===============================================================================
17.09/17.18	c New solution: 96142
17.09/17.18	o 96142
17.09/17.18	c Elapsed CPU time: 17.0164 s	Remaining CPU time: 162.984 s
17.09/17.18	c ===============================================================================
17.09/17.18	c |      2987 |    3833    26580   264287 |     8860     2987    507 | 31.197 % |
17.38/17.48	c ===============================================================================
17.38/17.48	c New solution: 96141
17.38/17.48	o 96141
17.38/17.48	c Elapsed CPU time: 17.3054 s	Remaining CPU time: 162.695 s
17.38/17.48	c ===============================================================================
17.38/17.48	c |      3030 |    3833    26581   266239 |     8860     3030    508 | 31.197 % |
17.59/17.64	c ===============================================================================
17.59/17.64	c New solution: 96140
17.59/17.64	o 96140
17.59/17.64	c Elapsed CPU time: 17.4663 s	Remaining CPU time: 162.534 s
17.59/17.64	c ===============================================================================
17.59/17.64	c |      3044 |    3833    26582   268191 |     8860     3044    509 | 31.197 % |
17.69/17.71	c ===============================================================================
17.69/17.71	c New solution: 96136
17.69/17.71	o 96136
17.69/17.71	c Elapsed CPU time: 17.5363 s	Remaining CPU time: 162.464 s
17.69/17.71	c ===============================================================================
17.69/17.71	c |      3044 |    3833    26583   270143 |     8861     3044    509 | 31.197 % |
17.79/17.80	c ===============================================================================
17.79/17.80	c New solution: 94666
17.79/17.80	o 94666
17.79/17.80	c Elapsed CPU time: 17.6253 s	Remaining CPU time: 162.375 s
17.79/17.80	c ===============================================================================
17.79/17.80	c |      3048 |    3833    26584   272095 |     8861     3048    508 | 31.197 % |
17.79/17.89	c |      3149 |    3833    26584   272095 |     9747     3149    508 | 31.197 % |
17.89/17.96	c ===============================================================================
17.89/17.96	c New solution: 94631
17.89/17.96	o 94631
17.89/17.96	c Elapsed CPU time: 17.7873 s	Remaining CPU time: 162.213 s
17.89/17.96	c ===============================================================================
17.89/17.96	c |      3149 |    3833    26585   274047 |     8861     3149    508 | 31.197 % |
17.99/18.05	c ===============================================================================
17.99/18.05	c New solution: 94630
17.99/18.05	o 94630
17.99/18.05	c Elapsed CPU time: 17.8773 s	Remaining CPU time: 162.123 s
17.99/18.05	c ===============================================================================
17.99/18.05	c |      3153 |    3833    26586   275999 |     8862     3153    508 | 31.197 % |
18.08/18.14	c ===============================================================================
18.08/18.14	c New solution: 94629
18.08/18.14	o 94629
18.08/18.14	c Elapsed CPU time: 17.9653 s	Remaining CPU time: 162.035 s
18.08/18.14	c ===============================================================================
18.08/18.14	c |      3158 |    3833    26587   277951 |     8862     3158    508 | 31.197 % |
18.18/18.25	c ===============================================================================
18.18/18.25	c New solution: 94628
18.18/18.25	o 94628
18.18/18.25	c Elapsed CPU time: 18.0743 s	Remaining CPU time: 161.926 s
18.18/18.25	c ===============================================================================
18.18/18.25	c |      3168 |    3833    26588   279903 |     8862     3168    508 | 31.197 % |
18.69/18.79	c |      3269 |    3833    26588   279903 |     9748     3269    511 | 31.197 % |
18.88/18.94	c ===============================================================================
18.88/18.94	c New solution: 94627
18.88/18.94	o 94627
18.88/18.94	c Elapsed CPU time: 18.7641 s	Remaining CPU time: 161.236 s
18.88/18.94	c ===============================================================================
18.88/18.94	c |      3300 |    3833    26589   281855 |     8863     3300    512 | 31.197 % |
18.98/19.05	c ===============================================================================
18.98/19.05	c New solution: 94626
18.98/19.05	o 94626
18.98/19.05	c Elapsed CPU time: 18.8661 s	Remaining CPU time: 161.134 s
18.98/19.05	c ===============================================================================
18.98/19.05	c |      3306 |    3833    26590   283807 |     8863     3306    512 | 31.197 % |
19.48/19.57	c ===============================================================================
19.48/19.57	c New solution: 94625
19.48/19.57	o 94625
19.48/19.57	c Elapsed CPU time: 19.3881 s	Remaining CPU time: 160.612 s
19.48/19.57	c ===============================================================================
19.48/19.57	c |      3404 |    3833    26591   285759 |     8863     3404    515 | 31.197 % |
19.58/19.63	c ===============================================================================
19.58/19.63	c New solution: 94624
19.58/19.63	o 94624
19.58/19.63	c Elapsed CPU time: 19.444 s	Remaining CPU time: 160.556 s
19.58/19.63	c ===============================================================================
19.58/19.63	c |      3408 |    3833    26592   287711 |     8864     3408    515 | 31.197 % |
19.99/20.03	c ===============================================================================
19.99/20.03	c New solution: 93161
19.99/20.03	o 93161
19.99/20.03	c Elapsed CPU time: 19.848 s	Remaining CPU time: 160.152 s
19.99/20.03	c ===============================================================================
19.99/20.03	c |      3434 |    3833    26593   289663 |     8864     3434    515 | 31.197 % |
20.09/20.19	c ===============================================================================
20.09/20.19	c New solution: 93136
20.09/20.19	o 93136
20.09/20.19	c Elapsed CPU time: 20.006 s	Remaining CPU time: 159.994 s
20.09/20.19	c ===============================================================================
20.09/20.19	c |      3456 |    3833    26594   291615 |     8864     3456    515 | 31.197 % |
20.19/20.25	c ===============================================================================
20.19/20.25	c New solution: 91645
20.19/20.25	o 91645
20.19/20.25	c Elapsed CPU time: 20.0659 s	Remaining CPU time: 159.934 s
20.19/20.25	c ===============================================================================
20.19/20.25	c |      3460 |    3833    26595   293567 |     8865     3460    515 | 31.197 % |
20.29/20.30	c ===============================================================================
20.29/20.30	c New solution: 91644
20.29/20.30	o 91644
20.29/20.30	c Elapsed CPU time: 20.1199 s	Remaining CPU time: 159.88 s
20.29/20.30	c ===============================================================================
20.29/20.30	c |      3461 |    3833    26596   295519 |     8865     3461    515 | 31.197 % |
20.38/20.48	c ===============================================================================
20.38/20.48	c New solution: 91637
20.38/20.48	o 91637
20.38/20.48	c Elapsed CPU time: 20.2929 s	Remaining CPU time: 159.707 s
20.38/20.48	c ===============================================================================
20.38/20.48	c |      3488 |    3833    26597   297471 |     8865     3488    515 | 31.197 % |
20.48/20.54	c ===============================================================================
20.48/20.54	c New solution: 91636
20.48/20.54	o 91636
20.48/20.54	c Elapsed CPU time: 20.3479 s	Remaining CPU time: 159.652 s
20.48/20.54	c ===============================================================================
20.48/20.54	c |      3489 |    3833    26598   299423 |     8866     3489    515 | 31.197 % |
20.68/20.71	c ===============================================================================
20.68/20.71	c New solution: 91635
20.68/20.71	o 91635
20.68/20.71	c Elapsed CPU time: 20.5269 s	Remaining CPU time: 159.473 s
20.68/20.71	c ===============================================================================
20.68/20.71	c |      3521 |    3833    26599   301375 |     8866     3521    515 | 31.197 % |
20.79/20.86	c ===============================================================================
20.79/20.86	c New solution: 91624
20.79/20.86	o 91624
20.79/20.86	c Elapsed CPU time: 20.6699 s	Remaining CPU time: 159.33 s
20.79/20.86	c ===============================================================================
20.79/20.86	c |      3522 |    3833    26600   303327 |     8866     3522    515 | 31.197 % |
20.89/20.99	c ===============================================================================
20.89/20.99	c New solution: 91623
20.89/20.99	o 91623
20.89/20.99	c Elapsed CPU time: 20.8028 s	Remaining CPU time: 159.197 s
20.89/20.99	c ===============================================================================
20.89/20.99	c |      3524 |    3833    26601   305279 |     8867     3524    515 | 31.197 % |
21.08/21.13	c ===============================================================================
21.08/21.13	c New solution: 91622
21.08/21.13	o 91622
21.08/21.13	c Elapsed CPU time: 20.9448 s	Remaining CPU time: 159.055 s
21.08/21.13	c ===============================================================================
21.08/21.13	c |      3524 |    3833    26602   307231 |     8867     3524    515 | 31.197 % |
21.18/21.27	c ===============================================================================
21.18/21.27	c New solution: 91621
21.18/21.27	o 91621
21.18/21.27	c Elapsed CPU time: 21.0828 s	Remaining CPU time: 158.917 s
21.18/21.27	c ===============================================================================
21.18/21.27	c |      3525 |    3833    26603   309183 |     8867     3525    515 | 31.197 % |
21.29/21.37	c ===============================================================================
21.29/21.37	c New solution: 91620
21.29/21.37	o 91620
21.29/21.37	c Elapsed CPU time: 21.1778 s	Remaining CPU time: 158.822 s
21.29/21.37	c ===============================================================================
21.29/21.37	c |      3527 |    3833    26604   311135 |     8868     3527    515 | 31.197 % |
21.49/21.53	c ===============================================================================
21.49/21.53	c New solution: 91619
21.49/21.53	o 91619
21.49/21.53	c Elapsed CPU time: 21.3418 s	Remaining CPU time: 158.658 s
21.49/21.54	c ===============================================================================
21.49/21.54	c |      3558 |    3833    26605   313087 |     8868     3558    515 | 31.197 % |
21.68/21.70	c ===============================================================================
21.68/21.70	c New solution: 91618
21.68/21.70	o 91618
21.68/21.70	c Elapsed CPU time: 21.5037 s	Remaining CPU time: 158.496 s
21.68/21.70	c ===============================================================================
21.68/21.70	c |      3563 |    3833    26606   315039 |     8868     3563    515 | 31.197 % |
21.78/21.82	c ===============================================================================
21.78/21.82	c New solution: 91617
21.78/21.82	o 91617
21.78/21.82	c Elapsed CPU time: 21.6277 s	Remaining CPU time: 158.372 s
21.78/21.82	c ===============================================================================
21.78/21.82	c |      3563 |    3833    26607   316991 |     8869     3563    515 | 31.197 % |
21.89/21.94	c ===============================================================================
21.89/21.94	c New solution: 91616
21.89/21.94	o 91616
21.89/21.94	c Elapsed CPU time: 21.7467 s	Remaining CPU time: 158.253 s
21.89/21.94	c ===============================================================================
21.89/21.94	c |      3563 |    3833    26608   318943 |     8869     3563    515 | 31.197 % |
21.99/22.07	c ===============================================================================
21.99/22.07	c New solution: 91615
21.99/22.07	o 91615
21.99/22.07	c Elapsed CPU time: 21.8687 s	Remaining CPU time: 158.131 s
21.99/22.07	c ===============================================================================
21.99/22.07	c |      3563 |    3833    26609   320895 |     8869     3563    515 | 31.197 % |
22.08/22.16	c ===============================================================================
22.08/22.16	c New solution: 91614
22.08/22.16	o 91614
22.08/22.16	c Elapsed CPU time: 21.9607 s	Remaining CPU time: 158.039 s
22.08/22.16	c ===============================================================================
22.08/22.16	c |      3563 |    3833    26610   322847 |     8870     3563    515 | 31.197 % |
22.18/22.28	c ===============================================================================
22.18/22.28	c New solution: 91613
22.18/22.28	o 91613
22.18/22.28	c Elapsed CPU time: 22.0826 s	Remaining CPU time: 157.917 s
22.18/22.28	c ===============================================================================
22.18/22.28	c |      3563 |    3833    26611   324799 |     8870     3563    515 | 31.197 % |
22.38/22.40	c ===============================================================================
22.38/22.40	c New solution: 91612
22.38/22.40	o 91612
22.38/22.40	c Elapsed CPU time: 22.2026 s	Remaining CPU time: 157.797 s
22.38/22.40	c ===============================================================================
22.38/22.40	c |      3564 |    3833    26612   326751 |     8870     3564    515 | 31.197 % |
22.38/22.48	c ===============================================================================
22.38/22.48	c New solution: 91611
22.38/22.48	o 91611
22.38/22.48	c Elapsed CPU time: 22.2806 s	Remaining CPU time: 157.719 s
22.38/22.48	c ===============================================================================
22.38/22.48	c |      3564 |    3833    26613   328703 |     8871     3564    515 | 31.197 % |
22.48/22.56	c ===============================================================================
22.48/22.56	c New solution: 91610
22.48/22.56	o 91610
22.48/22.56	c Elapsed CPU time: 22.3536 s	Remaining CPU time: 157.646 s
22.48/22.56	c ===============================================================================
22.48/22.56	c |      3564 |    3833    26614   330655 |     8871     3564    515 | 31.197 % |
22.59/22.61	c ===============================================================================
22.59/22.61	c New solution: 91609
22.59/22.61	o 91609
22.59/22.61	c Elapsed CPU time: 22.4056 s	Remaining CPU time: 157.594 s
22.59/22.61	c ===============================================================================
22.59/22.61	c |      3565 |    3833    26615   332607 |     8871     3565    515 | 31.197 % |
22.59/22.67	c ===============================================================================
22.59/22.67	c New solution: 90108
22.59/22.67	o 90108
22.59/22.67	c Elapsed CPU time: 22.4686 s	Remaining CPU time: 157.531 s
22.59/22.67	c ===============================================================================
22.59/22.67	c |      3567 |    3833    26616   334559 |     8872     3567    515 | 31.197 % |
22.89/22.94	c ===============================================================================
22.89/22.94	c New solution: 90107
22.89/22.94	o 90107
22.89/22.94	c Elapsed CPU time: 22.7325 s	Remaining CPU time: 157.267 s
22.89/22.94	c ===============================================================================
22.89/22.94	c |      3605 |    3833    26617   336511 |     8872     3605    515 | 31.197 % |
22.99/23.08	c ===============================================================================
22.99/23.08	c New solution: 90093
22.99/23.08	o 90093
22.99/23.08	c Elapsed CPU time: 22.8705 s	Remaining CPU time: 157.129 s
22.99/23.08	c ===============================================================================
22.99/23.08	c |      3607 |    3833    26618   338463 |     8872     3607    515 | 31.197 % |
23.19/23.24	c ===============================================================================
23.19/23.24	c New solution: 90092
23.19/23.24	o 90092
23.19/23.24	c Elapsed CPU time: 23.0295 s	Remaining CPU time: 156.971 s
23.19/23.24	c ===============================================================================
23.19/23.24	c |      3616 |    3833    26619   340415 |     8873     3616    515 | 31.197 % |
23.29/23.31	c ===============================================================================
23.29/23.31	c New solution: 90091
23.29/23.31	o 90091
23.29/23.31	c Elapsed CPU time: 23.1015 s	Remaining CPU time: 156.899 s
23.29/23.31	c ===============================================================================
23.29/23.31	c |      3619 |    3833    26620   342367 |     8873     3619    515 | 31.197 % |
23.29/23.37	c ===============================================================================
23.29/23.37	c New solution: 88623
23.29/23.37	o 88623
23.29/23.37	c Elapsed CPU time: 23.1575 s	Remaining CPU time: 156.843 s
23.29/23.37	c ===============================================================================
23.29/23.37	c |      3619 |    3833    26621   344319 |     8873     3619    515 | 31.197 % |
23.38/23.43	c ===============================================================================
23.38/23.43	c New solution: 88593
23.38/23.43	o 88593
23.38/23.43	c Elapsed CPU time: 23.2225 s	Remaining CPU time: 156.778 s
23.38/23.43	c ===============================================================================
23.38/23.43	c |      3620 |    3833    26622   346271 |     8874     3620    515 | 31.197 % |
23.38/23.49	c ===============================================================================
23.38/23.49	c New solution: 88592
23.38/23.49	o 88592
23.38/23.49	c Elapsed CPU time: 23.2785 s	Remaining CPU time: 156.722 s
23.38/23.49	c ===============================================================================
23.38/23.49	c |      3620 |    3833    26623   348223 |     8874     3620    515 | 31.197 % |
23.48/23.55	c ===============================================================================
23.48/23.55	c New solution: 88591
23.48/23.55	o 88591
23.48/23.55	c Elapsed CPU time: 23.3375 s	Remaining CPU time: 156.663 s
23.48/23.55	c ===============================================================================
23.48/23.55	c |      3620 |    3833    26624   350175 |     8874     3620    515 | 31.197 % |
23.58/23.62	c ===============================================================================
23.58/23.62	c New solution: 88583
23.58/23.62	o 88583
23.58/23.62	c Elapsed CPU time: 23.4084 s	Remaining CPU time: 156.592 s
23.58/23.62	c ===============================================================================
23.58/23.62	c |      3620 |    3833    26625   352127 |     8875     3620    515 | 31.197 % |
23.58/23.67	c ===============================================================================
23.58/23.67	c New solution: 87105
23.58/23.67	o 87105
23.58/23.67	c Elapsed CPU time: 23.4614 s	Remaining CPU time: 156.539 s
23.58/23.67	c ===============================================================================
23.58/23.67	c |      3621 |    3833    26626   354079 |     8875     3621    515 | 31.197 % |
23.89/23.94	c ===============================================================================
23.89/23.94	c New solution: 87094
23.89/23.94	o 87094
23.89/23.94	c Elapsed CPU time: 23.7254 s	Remaining CPU time: 156.275 s
23.89/23.94	c ===============================================================================
23.89/23.94	c |      3697 |    3833    26627   356031 |     8875     3697    515 | 31.197 % |
23.99/24.00	c ===============================================================================
23.99/24.00	c New solution: 87086
23.99/24.00	o 87086
23.99/24.00	c Elapsed CPU time: 23.7854 s	Remaining CPU time: 156.215 s
23.99/24.00	c ===============================================================================
23.99/24.00	c |      3699 |    3833    26628   357983 |     8876     3699    514 | 31.197 % |
24.20/24.21	c ===============================================================================
24.20/24.21	c New solution: 87072
24.20/24.21	o 87072
24.20/24.21	c Elapsed CPU time: 23.9964 s	Remaining CPU time: 156.004 s
24.20/24.21	c ===============================================================================
24.20/24.21	c |      3701 |    3833    26629   359935 |     8876     3701    514 | 31.197 % |
24.20/24.28	c ===============================================================================
24.20/24.28	c New solution: 87071
24.20/24.28	o 87071
24.20/24.28	c Elapsed CPU time: 24.0663 s	Remaining CPU time: 155.934 s
24.20/24.28	c ===============================================================================
24.20/24.28	c |      3702 |    3833    26630   361887 |     8876     3702    514 | 31.197 % |
24.29/24.33	c ===============================================================================
24.29/24.33	c New solution: 85572
24.29/24.33	o 85572
24.29/24.33	c Elapsed CPU time: 24.1103 s	Remaining CPU time: 155.89 s
24.29/24.33	c ===============================================================================
24.29/24.33	c |      3703 |    3833    26631   363839 |     8877     3703    514 | 31.197 % |
24.39/24.42	c ===============================================================================
24.39/24.42	c New solution: 85571
24.39/24.42	o 85571
24.39/24.42	c Elapsed CPU time: 24.1993 s	Remaining CPU time: 155.801 s
24.39/24.42	c ===============================================================================
24.39/24.42	c |      3704 |    3833    26632   365791 |     8877     3704    514 | 31.197 % |
24.59/24.62	c ===============================================================================
24.59/24.62	c New solution: 85560
24.59/24.62	o 85560
24.59/24.62	c Elapsed CPU time: 24.4053 s	Remaining CPU time: 155.595 s
24.59/24.62	c ===============================================================================
24.59/24.62	c |      3707 |    3833    26633   367743 |     8877     3707    514 | 31.197 % |
24.68/24.70	c ===============================================================================
24.68/24.70	c New solution: 84066
24.68/24.70	o 84066
24.68/24.70	c Elapsed CPU time: 24.4863 s	Remaining CPU time: 155.514 s
24.68/24.70	c ===============================================================================
24.68/24.70	c |      3712 |    3833    26634   369695 |     8878     3712    514 | 31.197 % |
24.88/24.90	c ===============================================================================
24.88/24.90	c New solution: 84050
24.88/24.90	o 84050
24.88/24.90	c Elapsed CPU time: 24.6782 s	Remaining CPU time: 155.322 s
24.88/24.90	c ===============================================================================
24.88/24.90	c |      3712 |    3833    26635   371647 |     8878     3712    514 | 31.197 % |
24.98/25.09	c ===============================================================================
24.98/25.09	c New solution: 84049
24.98/25.09	o 84049
24.98/25.09	c Elapsed CPU time: 24.8702 s	Remaining CPU time: 155.13 s
24.98/25.09	c ===============================================================================
24.98/25.09	c |      3712 |    3833    26636   373599 |     8878     3712    514 | 31.197 % |
25.19/25.28	c ===============================================================================
25.19/25.28	c New solution: 84048
25.19/25.28	o 84048
25.19/25.28	c Elapsed CPU time: 25.0612 s	Remaining CPU time: 154.939 s
25.19/25.28	c ===============================================================================
25.19/25.28	c |      3713 |    3833    26637   375551 |     8879     3713    514 | 31.197 % |
25.38/25.41	c ===============================================================================
25.38/25.41	c New solution: 84047
25.38/25.41	o 84047
25.38/25.41	c Elapsed CPU time: 25.1922 s	Remaining CPU time: 154.808 s
25.38/25.41	c ===============================================================================
25.38/25.41	c |      3724 |    3833    26638   377503 |     8879     3724    514 | 31.197 % |
25.58/25.63	c ===============================================================================
25.58/25.63	c New solution: 84046
25.58/25.63	o 84046
25.58/25.63	c Elapsed CPU time: 25.4071 s	Remaining CPU time: 154.593 s
25.58/25.63	c ===============================================================================
25.58/25.63	c |      3730 |    3833    26639   379455 |     8879     3730    514 | 31.197 % |
25.88/25.91	c ===============================================================================
25.88/25.91	c New solution: 84045
25.88/25.91	o 84045
25.88/25.91	c Elapsed CPU time: 25.6861 s	Remaining CPU time: 154.314 s
25.88/25.91	c ===============================================================================
25.88/25.91	c |      3757 |    3833    26640   381407 |     8880     3757    515 | 31.197 % |
25.98/26.06	c ===============================================================================
25.98/26.06	c New solution: 84035
25.98/26.06	o 84035
25.98/26.06	c Elapsed CPU time: 25.8351 s	Remaining CPU time: 154.165 s
25.98/26.06	c ===============================================================================
25.98/26.06	c |      3771 |    3833    26641   383359 |     8880     3771    515 | 31.197 % |
26.08/26.19	c |      3871 |    3833    26641   383359 |     9768     3871    516 | 31.197 % |
26.29/26.39	c ===============================================================================
26.29/26.39	c New solution: 84034
26.29/26.39	o 84034
26.29/26.39	c Elapsed CPU time: 26.166 s	Remaining CPU time: 153.834 s
26.29/26.39	c ===============================================================================
26.29/26.39	c |      3887 |    3833    26642   385311 |     8880     3887    516 | 31.197 % |
26.48/26.56	c ===============================================================================
26.48/26.56	c New solution: 84022
26.48/26.56	o 84022
26.48/26.56	c Elapsed CPU time: 26.337 s	Remaining CPU time: 153.663 s
26.48/26.56	c ===============================================================================
26.48/26.56	c |      3902 |    3833    26643   387263 |     8881     3902    516 | 31.197 % |
27.29/27.32	c |      4002 |    3833    26643   387263 |     9769     4002    518 | 31.197 % |
27.39/27.46	c ===============================================================================
27.39/27.46	c New solution: 84021
27.39/27.46	o 84021
27.39/27.46	c Elapsed CPU time: 27.2329 s	Remaining CPU time: 152.767 s
27.39/27.46	c ===============================================================================
27.39/27.46	c |      4005 |    3833    26644   389215 |     8881     4005    518 | 31.197 % |
27.78/27.85	c |      4106 |    3833    26644   389215 |     9769     4106    518 | 31.197 % |
27.98/28.07	c ===============================================================================
27.98/28.07	c New solution: 84020
27.98/28.07	o 84020
27.98/28.07	c Elapsed CPU time: 27.8368 s	Remaining CPU time: 152.163 s
27.98/28.07	c ===============================================================================
27.98/28.07	c |      4136 |    3833    26645   391167 |     8881     4136    518 | 31.197 % |
28.28/28.39	c ===============================================================================
28.28/28.39	c New solution: 84019
28.28/28.39	o 84019
28.28/28.39	c Elapsed CPU time: 28.1587 s	Remaining CPU time: 151.841 s
28.28/28.39	c ===============================================================================
28.28/28.39	c |      4167 |    3833    26646   393119 |     8882     4167    519 | 31.197 % |
28.49/28.52	c ===============================================================================
28.49/28.52	c New solution: 84018
28.49/28.52	o 84018
28.49/28.52	c Elapsed CPU time: 28.2937 s	Remaining CPU time: 151.706 s
28.49/28.52	c ===============================================================================
28.49/28.52	c |      4172 |    3833    26647   395071 |     8882     4172    519 | 31.197 % |
28.59/28.65	c |      4272 |    3833    26647   395071 |     9770     4272    519 | 31.197 % |
28.68/28.78	c ===============================================================================
28.68/28.78	c New solution: 84017
28.68/28.78	o 84017
28.68/28.78	c Elapsed CPU time: 28.5537 s	Remaining CPU time: 151.446 s
28.68/28.78	c ===============================================================================
28.68/28.78	c |      4273 |    3833    26648   397023 |     8882     4273    519 | 31.197 % |
28.78/28.89	c ===============================================================================
28.78/28.89	c New solution: 84016
28.78/28.89	o 84016
28.78/28.89	c Elapsed CPU time: 28.6626 s	Remaining CPU time: 151.337 s
28.78/28.89	c ===============================================================================
28.78/28.89	c |      4273 |    3833    26649   398975 |     8883     4273    519 | 31.197 % |
28.98/29.00	c ===============================================================================
28.98/29.00	c New solution: 84015
28.98/29.00	o 84015
28.98/29.00	c Elapsed CPU time: 28.7696 s	Remaining CPU time: 151.23 s
28.98/29.00	c ===============================================================================
28.98/29.00	c |      4274 |    3833    26650   400927 |     8883     4274    519 | 31.197 % |
29.49/29.59	c ===============================================================================
29.49/29.59	c New solution: 84014
29.49/29.59	o 84014
29.49/29.59	c Elapsed CPU time: 29.3525 s	Remaining CPU time: 150.647 s
29.49/29.59	c ===============================================================================
29.49/29.59	c |      4360 |    3833    26651   402879 |     8883     4360    520 | 31.197 % |
30.48/30.59	c ===============================================================================
30.48/30.59	c New solution: 84013
30.48/30.59	o 84013
30.48/30.59	c Elapsed CPU time: 30.3534 s	Remaining CPU time: 149.647 s
30.48/30.59	c ===============================================================================
30.48/30.59	c |      4410 |    3833    26652   404831 |     8884     4410    521 | 31.197 % |
31.08/31.13	c ===============================================================================
31.08/31.13	c New solution: 84012
31.08/31.13	o 84012
31.08/31.13	c Elapsed CPU time: 30.8883 s	Remaining CPU time: 149.112 s
31.08/31.13	c ===============================================================================
31.08/31.13	c |      4473 |    3833    26653   406783 |     8884     4473    522 | 31.197 % |
31.58/31.62	c ===============================================================================
31.58/31.62	c New solution: 84011
31.58/31.62	o 84011
31.58/31.62	c Elapsed CPU time: 31.3762 s	Remaining CPU time: 148.624 s
31.58/31.62	c ===============================================================================
31.58/31.62	c |      4521 |    3833    26654   408735 |     8884     4521    522 | 31.197 % |
32.48/32.52	c |      4621 |    3833    26654   408735 |     9773     4621    522 | 31.197 % |
32.78/32.80	c ===============================================================================
32.78/32.80	c New solution: 84010
32.78/32.80	o 84010
32.78/32.80	c Elapsed CPU time: 32.556 s	Remaining CPU time: 147.444 s
32.78/32.80	c ===============================================================================
32.78/32.80	c |      4655 |    3833    26655   410687 |     8885     4655    523 | 31.197 % |
32.89/32.96	c ===============================================================================
32.89/32.96	c New solution: 84009
32.89/32.96	o 84009
32.89/32.96	c Elapsed CPU time: 32.71 s	Remaining CPU time: 147.29 s
32.89/32.96	c ===============================================================================
32.89/32.96	c |      4657 |    3833    26656   412639 |     8885     4657    523 | 31.197 % |
33.58/33.66	c |      4757 |    3833    26656   412639 |     9773     4757    523 | 31.197 % |
33.88/33.91	c ===============================================================================
33.88/33.91	c New solution: 84008
33.88/33.91	o 84008
33.88/33.91	c Elapsed CPU time: 33.6579 s	Remaining CPU time: 146.342 s
33.88/33.91	c ===============================================================================
33.88/33.91	c |      4780 |    3833    26657   414591 |     8885     4780    524 | 31.197 % |
34.18/34.23	c ===============================================================================
34.18/34.23	c New solution: 84007
34.18/34.23	o 84007
34.18/34.23	c Elapsed CPU time: 33.9768 s	Remaining CPU time: 146.023 s
34.18/34.23	c ===============================================================================
34.18/34.23	c |      4808 |    3833    26658   416543 |     8886     4808    524 | 31.197 % |
34.68/34.71	c ===============================================================================
34.68/34.71	c New solution: 84006
34.68/34.71	o 84006
34.68/34.71	c Elapsed CPU time: 34.4588 s	Remaining CPU time: 145.541 s
34.68/34.71	c ===============================================================================
34.68/34.71	c |      4891 |    3833    26659   418495 |     8886     4891    524 | 31.197 % |
34.98/35.10	c ===============================================================================
34.98/35.10	c New solution: 84005
34.98/35.10	o 84005
34.98/35.10	c Elapsed CPU time: 34.8417 s	Remaining CPU time: 145.158 s
34.98/35.10	c ===============================================================================
34.98/35.10	c |      4900 |    3833    26660   420447 |     8886     4900    524 | 31.197 % |
35.19/35.24	c ===============================================================================
35.19/35.24	c New solution: 84004
35.19/35.24	o 84004
35.19/35.24	c Elapsed CPU time: 34.9827 s	Remaining CPU time: 145.017 s
35.19/35.24	c ===============================================================================
35.19/35.24	c |      4904 |    3833    26661   422399 |     8887     4904    524 | 31.197 % |
36.19/36.30	c |      5004 |    3833    26661   422399 |     9775     5004    525 | 31.197 % |
36.29/36.39	c ===============================================================================
36.29/36.39	c New solution: 84003
36.29/36.39	o 84003
36.29/36.39	c Elapsed CPU time: 36.1305 s	Remaining CPU time: 143.869 s
36.29/36.39	c ===============================================================================
36.29/36.39	c |      5005 |    3833    26662   424351 |     8887     5005    525 | 31.197 % |
37.18/37.29	c |      5106 |    3833    26662   424351 |     9776     5106    527 | 31.197 % |
37.39/37.47	c ===============================================================================
37.39/37.47	c New solution: 84002
37.39/37.47	o 84002
37.39/37.47	c Elapsed CPU time: 37.2143 s	Remaining CPU time: 142.786 s
37.39/37.47	c ===============================================================================
37.39/37.47	c |      5112 |    3833    26663   426303 |     8887     5112    527 | 31.197 % |
37.48/37.58	c ===============================================================================
37.48/37.58	c New solution: 84001
37.48/37.58	o 84001
37.48/37.58	c Elapsed CPU time: 37.3243 s	Remaining CPU time: 142.676 s
37.48/37.58	c ===============================================================================
37.48/37.58	c |      5112 |    3833    26664   428255 |     8888     5112    527 | 31.197 % |
38.18/38.26	c |      5213 |    3833    26664   428255 |     9776     5213    528 | 31.197 % |
38.28/38.34	c ===============================================================================
38.28/38.34	c New solution: 84000
38.28/38.34	o 84000
38.28/38.34	c Elapsed CPU time: 38.0852 s	Remaining CPU time: 141.915 s
38.28/38.34	c ===============================================================================
38.28/38.34	c |      5216 |    3833    26665   430207 |     8888     5216    528 | 31.197 % |
38.98/39.03	c ===============================================================================
38.98/39.03	c New solution: 82561
38.98/39.03	o 82561
38.98/39.03	c Elapsed CPU time: 38.7681 s	Remaining CPU time: 141.232 s
38.98/39.03	c ===============================================================================
38.98/39.03	c |      5244 |    3833    26666   432159 |     8888     5244    527 | 31.197 % |
39.38/39.41	c ===============================================================================
39.38/39.41	c New solution: 82543
39.38/39.41	o 82543
39.38/39.41	c Elapsed CPU time: 39.154 s	Remaining CPU time: 140.846 s
39.38/39.41	c ===============================================================================
39.38/39.41	c |      5310 |    3833    26667   434111 |     8889     5310    527 | 31.197 % |
39.59/39.62	c ===============================================================================
39.59/39.62	c New solution: 82542
39.59/39.62	o 82542
39.59/39.62	c Elapsed CPU time: 39.36 s	Remaining CPU time: 140.64 s
39.59/39.62	c ===============================================================================
39.59/39.62	c |      5311 |    3833    26668   436063 |     8889     5311    527 | 31.197 % |
39.78/39.86	c ===============================================================================
39.78/39.86	c New solution: 82541
39.78/39.86	o 82541
39.78/39.86	c Elapsed CPU time: 39.599 s	Remaining CPU time: 140.401 s
39.78/39.86	c ===============================================================================
39.78/39.86	c |      5314 |    3833    26669   438015 |     8889     5314    527 | 31.197 % |
40.08/40.10	c ===============================================================================
40.08/40.10	c New solution: 82522
40.08/40.10	o 82522
40.08/40.10	c Elapsed CPU time: 39.8339 s	Remaining CPU time: 140.166 s
40.08/40.10	c ===============================================================================
40.08/40.10	c |      5315 |    3833    26670   439967 |     8890     5315    527 | 31.197 % |
40.28/40.35	c ===============================================================================
40.28/40.35	c New solution: 82521
40.28/40.35	o 82521
40.28/40.35	c Elapsed CPU time: 40.0829 s	Remaining CPU time: 139.917 s
40.28/40.35	c ===============================================================================
40.28/40.35	c |      5319 |    3833    26671   441919 |     8890     5319    526 | 31.197 % |
40.48/40.54	c ===============================================================================
40.48/40.54	c New solution: 82520
40.48/40.54	o 82520
40.48/40.54	c Elapsed CPU time: 40.2729 s	Remaining CPU time: 139.727 s
40.48/40.54	c ===============================================================================
40.48/40.54	c |      5320 |    3833    26672   443871 |     8890     5320    526 | 31.197 % |
40.68/40.73	c ===============================================================================
40.68/40.73	c New solution: 82519
40.68/40.73	o 82519
40.68/40.73	c Elapsed CPU time: 40.4608 s	Remaining CPU time: 139.539 s
40.68/40.73	c ===============================================================================
40.68/40.73	c |      5325 |    3833    26673   445823 |     8891     5325    526 | 31.197 % |
40.87/40.97	c ===============================================================================
40.87/40.97	c New solution: 82516
40.87/40.97	o 82516
40.87/40.97	c Elapsed CPU time: 40.7068 s	Remaining CPU time: 139.293 s
40.87/40.97	c ===============================================================================
40.87/40.97	c |      5339 |    3833    26674   447775 |     8891     5339    526 | 31.197 % |
41.08/41.13	c ===============================================================================
41.08/41.13	c New solution: 82515
41.08/41.13	o 82515
41.08/41.13	c Elapsed CPU time: 40.8598 s	Remaining CPU time: 139.14 s
41.08/41.13	c ===============================================================================
41.08/41.13	c |      5339 |    3833    26675   449727 |     8891     5339    526 | 31.197 % |
41.18/41.26	c ===============================================================================
41.18/41.26	c New solution: 82502
41.18/41.26	o 82502
41.18/41.26	c Elapsed CPU time: 40.9918 s	Remaining CPU time: 139.008 s
41.18/41.26	c ===============================================================================
41.18/41.26	c |      5339 |    3833    26676   451679 |     8892     5339    526 | 31.197 % |
41.28/41.39	c ===============================================================================
41.28/41.39	c New solution: 82501
41.28/41.39	o 82501
41.28/41.39	c Elapsed CPU time: 41.1227 s	Remaining CPU time: 138.877 s
41.28/41.39	c ===============================================================================
41.28/41.39	c |      5339 |    3833    26677   453631 |     8892     5339    526 | 31.197 % |
41.48/41.52	c ===============================================================================
41.48/41.52	c New solution: 82500
41.48/41.52	o 82500
41.48/41.52	c Elapsed CPU time: 41.2517 s	Remaining CPU time: 138.748 s
41.48/41.52	c ===============================================================================
41.48/41.52	c |      5339 |    3833    26678   455583 |     8892     5339    526 | 31.197 % |
41.58/41.65	c ===============================================================================
41.58/41.65	c New solution: 82499
41.58/41.65	o 82499
41.58/41.65	c Elapsed CPU time: 41.3797 s	Remaining CPU time: 138.62 s
41.58/41.65	c ===============================================================================
41.58/41.65	c |      5339 |    3833    26679   457535 |     8893     5339    526 | 31.197 % |
41.69/41.78	c ===============================================================================
41.69/41.78	c New solution: 82498
41.69/41.78	o 82498
41.69/41.78	c Elapsed CPU time: 41.5067 s	Remaining CPU time: 138.493 s
41.69/41.78	c ===============================================================================
41.69/41.78	c |      5339 |    3833    26680   459487 |     8893     5339    526 | 31.197 % |
41.88/41.96	c ===============================================================================
41.88/41.96	c New solution: 82497
41.88/41.96	o 82497
41.88/41.96	c Elapsed CPU time: 41.6907 s	Remaining CPU time: 138.309 s
41.88/41.96	c ===============================================================================
41.88/41.96	c |      5342 |    3833    26681   461439 |     8893     5342    526 | 31.197 % |
42.08/42.15	c ===============================================================================
42.08/42.15	c New solution: 82496
42.08/42.15	o 82496
42.08/42.15	c Elapsed CPU time: 41.8746 s	Remaining CPU time: 138.125 s
42.08/42.15	c ===============================================================================
42.08/42.15	c |      5342 |    3833    26682   463391 |     8894     5342    526 | 31.197 % |
42.28/42.33	c ===============================================================================
42.28/42.33	c New solution: 82495
42.28/42.33	o 82495
42.28/42.33	c Elapsed CPU time: 42.0586 s	Remaining CPU time: 137.941 s
42.28/42.33	c ===============================================================================
42.28/42.33	c |      5342 |    3833    26683   465343 |     8894     5342    526 | 31.197 % |
42.38/42.49	c ===============================================================================
42.38/42.49	c New solution: 82494
42.38/42.49	o 82494
42.38/42.49	c Elapsed CPU time: 42.2166 s	Remaining CPU time: 137.783 s
42.38/42.49	c ===============================================================================
42.38/42.49	c |      5344 |    3833    26684   467295 |     8894     5344    526 | 31.197 % |
42.68/42.76	c ===============================================================================
42.68/42.76	c New solution: 82493
42.68/42.76	o 82493
42.68/42.76	c Elapsed CPU time: 42.4805 s	Remaining CPU time: 137.519 s
42.68/42.76	c ===============================================================================
42.68/42.76	c |      5353 |    3833    26685   469247 |     8895     5353    526 | 31.197 % |
43.58/43.67	c |      5453 |    3833    26685   469247 |     9784     5453    527 | 31.197 % |
43.78/43.89	c ===============================================================================
43.78/43.89	c New solution: 82492
43.78/43.89	o 82492
43.78/43.89	c Elapsed CPU time: 43.6094 s	Remaining CPU time: 136.391 s
43.78/43.89	c ===============================================================================
43.78/43.89	c |      5454 |    3833    26686   471199 |     8895     5454    527 | 31.197 % |
43.98/44.04	c |      5555 |    3833    26686   471199 |     9784     5555    527 | 31.197 % |
44.17/44.26	c ===============================================================================
44.17/44.26	c New solution: 82491
44.17/44.26	o 82491
44.17/44.26	c Elapsed CPU time: 43.9833 s	Remaining CPU time: 136.017 s
44.17/44.26	c ===============================================================================
44.17/44.26	c |      5560 |    3833    26687   473151 |     8895     5560    527 | 31.197 % |
44.48/44.51	c ===============================================================================
44.48/44.51	c New solution: 82490
44.48/44.51	o 82490
44.48/44.51	c Elapsed CPU time: 44.2313 s	Remaining CPU time: 135.769 s
44.48/44.51	c ===============================================================================
44.48/44.51	c |      5565 |    3833    26688   475103 |     8896     5565    527 | 31.197 % |
44.68/44.79	c ===============================================================================
44.68/44.79	c New solution: 82489
44.68/44.79	o 82489
44.68/44.79	c Elapsed CPU time: 44.5122 s	Remaining CPU time: 135.488 s
44.68/44.79	c ===============================================================================
44.68/44.79	c |      5581 |    3833    26689   477055 |     8896     5581    527 | 31.197 % |
45.09/45.17	c ===============================================================================
45.09/45.17	c New solution: 82488
45.09/45.17	o 82488
45.09/45.17	c Elapsed CPU time: 44.8892 s	Remaining CPU time: 135.111 s
45.09/45.17	c ===============================================================================
45.09/45.17	c |      5606 |    3833    26690   479007 |     8896     5606    527 | 31.197 % |
45.28/45.33	c |      5706 |    3833    26690   479007 |     9786     5706    527 | 31.197 % |
46.88/46.91	c |      5857 |    3833    26690   479007 |    10764     5857    529 | 31.197 % |
48.87/48.97	c |      6082 |    3833    26690   479007 |    11841     6082    531 | 31.197 % |
49.48/49.56	c ===============================================================================
49.48/49.56	c New solution: 82487
49.48/49.56	o 82487
49.48/49.56	c Elapsed CPU time: 49.2695 s	Remaining CPU time: 130.73 s
49.48/49.56	c ===============================================================================
49.48/49.56	c |      6151 |    3833    26691   480959 |     8897     6151    532 | 31.197 % |
49.57/49.68	c ===============================================================================
49.57/49.68	c New solution: 82486
49.57/49.68	o 82486
49.57/49.68	c Elapsed CPU time: 49.3945 s	Remaining CPU time: 130.606 s
49.57/49.68	c ===============================================================================
49.57/49.68	c |      6165 |    3833    26692   482911 |     8897     6165    532 | 31.197 % |
49.98/50.01	c ===============================================================================
49.98/50.01	c New solution: 81019
49.98/50.01	o 81019
49.98/50.01	c Elapsed CPU time: 49.7184 s	Remaining CPU time: 130.282 s
49.98/50.01	c ===============================================================================
49.98/50.01	c |      6183 |    3833    26693   484863 |     8897     6183    532 | 31.197 % |
50.18/50.21	c |      6283 |    3833    26693   484863 |     9787     6283    531 | 31.197 % |
50.58/50.60	c ===============================================================================
50.58/50.60	c New solution: 81012
50.58/50.60	o 81012
50.58/50.60	c Elapsed CPU time: 50.3074 s	Remaining CPU time: 129.693 s
50.58/50.60	c ===============================================================================
50.58/50.60	c |      6336 |    3833    26694   486815 |     8898     6336    531 | 31.197 % |
50.77/50.83	c |      6436 |    3833    26694   486815 |     9787     6436    530 | 31.197 % |
50.97/51.08	c ===============================================================================
50.97/51.08	c New solution: 81011
50.97/51.08	o 81011
50.97/51.08	c Elapsed CPU time: 50.7763 s	Remaining CPU time: 129.224 s
50.97/51.08	c ===============================================================================
50.97/51.08	c |      6438 |    3833    26695   488767 |     8898     6438    530 | 31.197 % |
51.17/51.29	c ===============================================================================
51.17/51.29	c New solution: 81010
51.17/51.29	o 81010
51.17/51.29	c Elapsed CPU time: 50.9912 s	Remaining CPU time: 129.009 s
51.17/51.29	c ===============================================================================
51.17/51.29	c |      6441 |    3833    26696   490719 |     8898     6441    530 | 31.197 % |
51.58/51.60	c ===============================================================================
51.58/51.60	c New solution: 80990
51.58/51.60	o 80990
51.58/51.60	c Elapsed CPU time: 51.2962 s	Remaining CPU time: 128.704 s
51.58/51.60	c ===============================================================================
51.58/51.60	c |      6447 |    3833    26697   492671 |     8899     6447    530 | 31.197 % |
52.87/52.98	c |      6547 |    3833    26697   492671 |     9788     6547    531 | 31.197 % |
53.79/53.85	c ===============================================================================
53.79/53.85	c New solution: 80989
53.79/53.85	o 80989
53.79/53.85	c Elapsed CPU time: 53.5329 s	Remaining CPU time: 126.467 s
53.79/53.85	c ===============================================================================
53.79/53.85	c |      6673 |    3833    26698   494623 |     8899     6673    533 | 31.197 % |
54.18/54.22	c ===============================================================================
54.18/54.22	c New solution: 80988
54.18/54.22	o 80988
54.18/54.22	c Elapsed CPU time: 53.9028 s	Remaining CPU time: 126.097 s
54.18/54.22	c ===============================================================================
54.18/54.22	c |      6683 |    3833    26699   496575 |     8899     6683    533 | 31.197 % |
54.47/54.52	c ===============================================================================
54.47/54.52	c New solution: 80987
54.47/54.52	o 80987
54.47/54.52	c Elapsed CPU time: 54.2058 s	Remaining CPU time: 125.794 s
54.47/54.52	c ===============================================================================
54.47/54.52	c |      6689 |    3833    26700   498527 |     8900     6689    533 | 31.197 % |
54.67/54.77	c ===============================================================================
54.67/54.77	c New solution: 80986
54.67/54.77	o 80986
54.67/54.77	c Elapsed CPU time: 54.4567 s	Remaining CPU time: 125.543 s
54.67/54.77	c ===============================================================================
54.67/54.77	c |      6691 |    3833    26701   500479 |     8900     6691    533 | 31.197 % |
54.98/55.05	c ===============================================================================
54.98/55.05	c New solution: 80985
54.98/55.05	o 80985
54.98/55.05	c Elapsed CPU time: 54.7307 s	Remaining CPU time: 125.269 s
54.98/55.05	c ===============================================================================
54.98/55.05	c |      6708 |    3833    26702   502431 |     8900     6708    533 | 31.197 % |
55.37/55.41	c ===============================================================================
55.37/55.41	c New solution: 80984
55.37/55.41	o 80984
55.37/55.41	c Elapsed CPU time: 55.0876 s	Remaining CPU time: 124.912 s
55.37/55.41	c ===============================================================================
55.37/55.41	c |      6785 |    3833    26703   504383 |     8901     6785    533 | 31.197 % |
55.57/55.60	c |      6885 |    3833    26703   504383 |     9791     6885    533 | 31.197 % |
55.77/55.87	c ===============================================================================
55.77/55.87	c New solution: 80983
55.77/55.87	o 80983
55.77/55.87	c Elapsed CPU time: 55.5486 s	Remaining CPU time: 124.451 s
55.77/55.87	c ===============================================================================
55.77/55.87	c |      6916 |    3833    26704   506335 |     8901     6916    533 | 31.197 % |
56.18/56.23	c ===============================================================================
56.18/56.23	c New solution: 80982
56.18/56.23	o 80982
56.18/56.23	c Elapsed CPU time: 55.9045 s	Remaining CPU time: 124.095 s
56.18/56.23	c ===============================================================================
56.18/56.23	c |      6997 |    3833    26705   508287 |     8901     6997    533 | 31.197 % |
56.38/56.41	c ===============================================================================
56.38/56.41	c New solution: 80981
56.38/56.41	o 80981
56.38/56.41	c Elapsed CPU time: 56.0845 s	Remaining CPU time: 123.916 s
56.38/56.41	c ===============================================================================
56.38/56.41	c |      7000 |    3833    26706   510239 |     8902     7000    533 | 31.197 % |
56.68/56.76	c ===============================================================================
56.68/56.76	c New solution: 80980
56.68/56.76	o 80980
56.68/56.76	c Elapsed CPU time: 56.4364 s	Remaining CPU time: 123.564 s
56.68/56.76	c ===============================================================================
56.68/56.76	c |      7049 |    3833    26707   512191 |     8902     7049    533 | 31.197 % |
56.77/56.86	c ===============================================================================
56.77/56.86	c New solution: 80979
56.77/56.86	o 80979
56.77/56.86	c Elapsed CPU time: 56.5324 s	Remaining CPU time: 123.468 s
56.77/56.86	c ===============================================================================
56.77/56.86	c |      7051 |    3833    26708   514143 |     8902     7051    533 | 31.197 % |
56.87/56.98	c ===============================================================================
56.87/56.98	c New solution: 79531
56.87/56.98	o 79531
56.87/56.98	c Elapsed CPU time: 56.6464 s	Remaining CPU time: 123.354 s
56.87/56.98	c ===============================================================================
56.87/56.98	c |      7051 |    3833    26709   516095 |     8903     7051    533 | 31.197 % |
56.97/57.09	c ===============================================================================
56.97/57.09	c New solution: 79528
56.97/57.09	o 79528
56.97/57.09	c Elapsed CPU time: 56.7554 s	Remaining CPU time: 123.245 s
56.97/57.09	c ===============================================================================
56.97/57.09	c |      7051 |    3833    26710   518047 |     8903     7051    533 | 31.197 % |
57.08/57.18	c ===============================================================================
57.08/57.18	c New solution: 79527
57.08/57.18	o 79527
57.08/57.18	c Elapsed CPU time: 56.8504 s	Remaining CPU time: 123.15 s
57.08/57.18	c ===============================================================================
57.08/57.18	c |      7051 |    3833    26711   519999 |     8903     7051    533 | 31.197 % |
57.18/57.28	c ===============================================================================
57.18/57.28	c New solution: 79526
57.18/57.28	o 79526
57.18/57.28	c Elapsed CPU time: 56.9453 s	Remaining CPU time: 123.055 s
57.18/57.28	c ===============================================================================
57.18/57.28	c |      7051 |    3833    26712   521951 |     8904     7051    533 | 31.197 % |
57.27/57.38	c ===============================================================================
57.27/57.38	c New solution: 79525
57.27/57.38	o 79525
57.27/57.38	c Elapsed CPU time: 57.0493 s	Remaining CPU time: 122.951 s
57.27/57.38	c ===============================================================================
57.27/57.38	c |      7052 |    3833    26713   523903 |     8904     7052    533 | 31.197 % |
57.37/57.47	c ===============================================================================
57.37/57.47	c New solution: 79524
57.37/57.47	o 79524
57.37/57.47	c Elapsed CPU time: 57.1403 s	Remaining CPU time: 122.86 s
57.37/57.47	c ===============================================================================
57.37/57.47	c |      7053 |    3833    26714   525855 |     8904     7053    533 | 31.197 % |
57.58/57.60	c ===============================================================================
57.58/57.60	c New solution: 79523
57.58/57.60	o 79523
57.58/57.60	c Elapsed CPU time: 57.2643 s	Remaining CPU time: 122.736 s
57.58/57.60	c ===============================================================================
57.58/57.60	c |      7055 |    3833    26715   527807 |     8905     7055    533 | 31.197 % |
57.88/57.93	c ===============================================================================
57.88/57.93	c New solution: 79518
57.88/57.93	o 79518
57.88/57.93	c Elapsed CPU time: 57.5932 s	Remaining CPU time: 122.407 s
57.88/57.93	c ===============================================================================
57.88/57.93	c |      7056 |    3833    26716   529759 |     8905     7056    533 | 31.197 % |
58.18/58.23	c ===============================================================================
58.18/58.23	c New solution: 79517
58.18/58.23	o 79517
58.18/58.23	c Elapsed CPU time: 57.8952 s	Remaining CPU time: 122.105 s
58.18/58.23	c ===============================================================================
58.18/58.23	c |      7059 |    3833    26717   531711 |     8905     7059    533 | 31.197 % |
58.37/58.42	c ===============================================================================
58.37/58.42	c New solution: 79485
58.37/58.42	o 79485
58.37/58.42	c Elapsed CPU time: 58.0782 s	Remaining CPU time: 121.922 s
58.37/58.42	c ===============================================================================
58.37/58.42	c |      7060 |    3833    26718   533663 |     8906     7060    533 | 31.197 % |
58.47/58.56	c ===============================================================================
58.47/58.56	c New solution: 79484
58.47/58.56	o 79484
58.47/58.56	c Elapsed CPU time: 58.2161 s	Remaining CPU time: 121.784 s
58.47/58.56	c ===============================================================================
58.47/58.56	c |      7065 |    3833    26719   535615 |     8906     7065    533 | 31.197 % |
58.77/58.83	c |      7165 |    3833    26719   535615 |     9796     7165    532 | 31.197 % |
58.97/59.06	c ===============================================================================
58.97/59.06	c New solution: 79483
58.97/59.06	o 79483
58.97/59.06	c Elapsed CPU time: 58.7221 s	Remaining CPU time: 121.278 s
58.97/59.06	c ===============================================================================
58.97/59.06	c |      7168 |    3833    26720   537567 |     8906     7168    532 | 31.197 % |
59.07/59.20	c ===============================================================================
59.07/59.20	c New solution: 79482
59.07/59.20	o 79482
59.07/59.20	c Elapsed CPU time: 58.8541 s	Remaining CPU time: 121.146 s
59.07/59.20	c ===============================================================================
59.07/59.20	c |      7169 |    3833    26721   539519 |     8907     7169    532 | 31.197 % |
59.29/59.31	c ===============================================================================
59.29/59.31	c New solution: 79481
59.29/59.31	o 79481
59.29/59.31	c Elapsed CPU time: 58.968 s	Remaining CPU time: 121.032 s
59.29/59.31	c ===============================================================================
59.29/59.31	c |      7171 |    3833    26722   541471 |     8907     7171    532 | 31.197 % |
59.48/59.57	c ===============================================================================
59.48/59.57	c New solution: 79480
59.48/59.57	o 79480
59.48/59.57	c Elapsed CPU time: 59.225 s	Remaining CPU time: 120.775 s
59.48/59.57	c ===============================================================================
59.48/59.57	c |      7175 |    3833    26723   543423 |     8907     7175    532 | 31.197 % |
59.67/59.71	c ===============================================================================
59.67/59.71	c New solution: 79479
59.67/59.71	o 79479
59.67/59.71	c Elapsed CPU time: 59.36 s	Remaining CPU time: 120.64 s
59.67/59.71	c ===============================================================================
59.67/59.71	c |      7181 |    3833    26724   545375 |     8908     7181    532 | 31.197 % |
60.17/60.27	c ===============================================================================
60.17/60.27	c New solution: 79478
60.17/60.27	o 79478
60.17/60.27	c Elapsed CPU time: 59.9239 s	Remaining CPU time: 120.076 s
60.17/60.27	c ===============================================================================
60.17/60.27	c |      7236 |    3833    26725   547327 |     8908     7236    532 | 31.197 % |
61.27/61.39	c |      7337 |    3833    26725   547327 |     9799     7337    533 | 31.197 % |
61.48/61.60	c ===============================================================================
61.48/61.60	c New solution: 79477
61.48/61.60	o 79477
61.48/61.60	c Elapsed CPU time: 61.2547 s	Remaining CPU time: 118.745 s
61.48/61.60	c ===============================================================================
61.48/61.60	c |      7340 |    3833    26726   549279 |     8908     7340    533 | 31.197 % |
61.77/61.83	c ===============================================================================
61.77/61.83	c New solution: 79476
61.77/61.83	o 79476
61.77/61.83	c Elapsed CPU time: 61.4827 s	Remaining CPU time: 118.517 s
61.77/61.83	c ===============================================================================
61.77/61.83	c |      7343 |    3833    26727   551231 |     8909     7343    533 | 31.197 % |
62.17/62.25	c ===============================================================================
62.17/62.25	c New solution: 79475
62.17/62.25	o 79475
62.17/62.25	c Elapsed CPU time: 61.8946 s	Remaining CPU time: 118.105 s
62.17/62.25	c ===============================================================================
62.17/62.25	c |      7437 |    3833    26728   553183 |     8909     7437    533 | 31.197 % |
62.58/62.61	c ===============================================================================
62.58/62.61	c New solution: 79474
62.58/62.61	o 79474
62.58/62.61	c Elapsed CPU time: 62.2615 s	Remaining CPU time: 117.738 s
62.58/62.61	c ===============================================================================
62.58/62.61	c |      7442 |    3833    26729   555135 |     8909     7442    533 | 31.197 % |
62.77/62.86	c ===============================================================================
62.77/62.86	c New solution: 79473
62.77/62.86	o 79473
62.77/62.86	c Elapsed CPU time: 62.5025 s	Remaining CPU time: 117.498 s
62.77/62.86	c ===============================================================================
62.77/62.86	c |      7442 |    3833    26730   557087 |     8910     7442    533 | 31.197 % |
63.07/63.19	c ===============================================================================
63.07/63.19	c New solution: 79472
63.07/63.19	o 79472
63.07/63.19	c Elapsed CPU time: 62.8354 s	Remaining CPU time: 117.165 s
63.07/63.19	c ===============================================================================
63.07/63.19	c |      7447 |    3833    26731   559039 |     8910     7447    533 | 31.197 % |
63.28/63.36	c ===============================================================================
63.28/63.36	c New solution: 79471
63.28/63.36	o 79471
63.28/63.36	c Elapsed CPU time: 63.0044 s	Remaining CPU time: 116.996 s
63.28/63.36	c ===============================================================================
63.28/63.36	c |      7447 |    3833    26732   560991 |     8910     7447    533 | 31.197 % |
63.48/63.55	c ===============================================================================
63.48/63.55	c New solution: 79454
63.48/63.55	o 79454
63.48/63.55	c Elapsed CPU time: 63.1914 s	Remaining CPU time: 116.809 s
63.48/63.55	c ===============================================================================
63.48/63.55	c |      7447 |    3833    26733   562943 |     8911     7447    533 | 31.197 % |
63.57/63.70	c ===============================================================================
63.57/63.70	c New solution: 79453
63.57/63.70	o 79453
63.57/63.70	c Elapsed CPU time: 63.3394 s	Remaining CPU time: 116.661 s
63.57/63.70	c ===============================================================================
63.57/63.70	c |      7448 |    3833    26734   564895 |     8911     7448    533 | 31.197 % |
63.87/63.96	c ===============================================================================
63.87/63.96	c New solution: 79452
63.87/63.96	o 79452
63.87/63.96	c Elapsed CPU time: 63.5993 s	Remaining CPU time: 116.401 s
63.87/63.96	c ===============================================================================
63.87/63.96	c |      7463 |    3833    26735   566847 |     8911     7463    533 | 31.197 % |
64.47/64.53	c ===============================================================================
64.47/64.53	c New solution: 77984
64.47/64.53	o 77984
64.47/64.53	c Elapsed CPU time: 64.1672 s	Remaining CPU time: 115.833 s
64.47/64.53	c ===============================================================================
64.47/64.53	c |      7484 |    3833    26736   568799 |     8912     7484    533 | 31.197 % |
64.78/64.88	c ===============================================================================
64.78/64.88	c New solution: 77969
64.78/64.88	o 77969
64.78/64.88	c Elapsed CPU time: 64.5172 s	Remaining CPU time: 115.483 s
64.78/64.88	c ===============================================================================
64.78/64.88	c |      7517 |    3833    26737   570751 |     8912     7517    533 | 31.197 % |
65.17/65.24	c ===============================================================================
65.17/65.24	c New solution: 77968
65.17/65.25	o 77968
65.17/65.25	c Elapsed CPU time: 64.8831 s	Remaining CPU time: 115.117 s
65.17/65.25	c ===============================================================================
65.17/65.25	c |      7558 |    3833    26738   572703 |     8912     7558    533 | 31.197 % |
65.47/65.50	c ===============================================================================
65.47/65.50	c New solution: 77967
65.47/65.50	o 77967
65.47/65.50	c Elapsed CPU time: 65.1331 s	Remaining CPU time: 114.867 s
65.47/65.50	c ===============================================================================
65.47/65.50	c |      7559 |    3833    26739   574655 |     8913     7559    533 | 31.197 % |
65.67/65.75	c ===============================================================================
65.67/65.75	c New solution: 77966
65.67/65.75	o 77966
65.67/65.75	c Elapsed CPU time: 65.3821 s	Remaining CPU time: 114.618 s
65.67/65.75	c ===============================================================================
65.67/65.75	c |      7559 |    3833    26740   576607 |     8913     7559    533 | 31.197 % |
65.98/66.06	c ===============================================================================
65.98/66.06	c New solution: 77965
65.98/66.06	o 77965
65.98/66.06	c Elapsed CPU time: 65.693 s	Remaining CPU time: 114.307 s
65.98/66.06	c ===============================================================================
65.98/66.06	c |      7567 |    3833    26741   578559 |     8913     7567    533 | 31.197 % |
66.27/66.33	c ===============================================================================
66.27/66.33	c New solution: 77964
66.27/66.33	o 77964
66.27/66.33	c Elapsed CPU time: 65.964 s	Remaining CPU time: 114.036 s
66.27/66.33	c ===============================================================================
66.27/66.33	c |      7569 |    3833    26742   580511 |     8914     7569    533 | 31.197 % |
66.57/66.64	c ===============================================================================
66.57/66.64	c New solution: 77962
66.57/66.64	o 77962
66.57/66.64	c Elapsed CPU time: 66.2669 s	Remaining CPU time: 113.733 s
66.57/66.64	c ===============================================================================
66.57/66.64	c |      7574 |    3833    26743   582463 |     8914     7574    533 | 31.197 % |
66.77/66.89	c ===============================================================================
66.77/66.89	c New solution: 77961
66.77/66.89	o 77961
66.77/66.89	c Elapsed CPU time: 66.5199 s	Remaining CPU time: 113.48 s
66.77/66.89	c ===============================================================================
66.77/66.89	c |      7574 |    3833    26744   584415 |     8914     7574    533 | 31.197 % |
66.98/67.05	c ===============================================================================
66.98/67.05	c New solution: 77944
66.98/67.05	o 77944
66.98/67.05	c Elapsed CPU time: 66.6839 s	Remaining CPU time: 113.316 s
66.98/67.05	c ===============================================================================
66.98/67.05	c |      7574 |    3833    26745   586367 |     8915     7574    533 | 31.197 % |
67.97/68.00	c |      7674 |    3833    26745   586367 |     9806     7674    534 | 31.197 % |
69.37/69.48	c ===============================================================================
69.37/69.48	c New solution: 77943
69.37/69.48	o 77943
69.37/69.48	c Elapsed CPU time: 69.1085 s	Remaining CPU time: 110.892 s
69.37/69.48	c ===============================================================================
69.37/69.48	c |      7816 |    3833    26746   588319 |     8915     7816    535 | 31.197 % |
69.67/69.72	c ===============================================================================
69.67/69.72	c New solution: 77942
69.67/69.72	o 77942
69.67/69.72	c Elapsed CPU time: 69.3445 s	Remaining CPU time: 110.656 s
69.67/69.72	c ===============================================================================
69.67/69.72	c |      7819 |    3833    26747   590271 |     8915     7819    535 | 31.197 % |
70.38/70.44	c ===============================================================================
70.38/70.44	c New solution: 77941
70.38/70.44	o 77941
70.38/70.44	c Elapsed CPU time: 70.0663 s	Remaining CPU time: 109.934 s
70.38/70.44	c ===============================================================================
70.38/70.44	c |      7900 |    3833    26748   592223 |     8916     7900    535 | 31.197 % |
70.87/70.96	c ===============================================================================
70.87/70.96	c New solution: 77940
70.87/70.96	o 77940
70.87/70.96	c Elapsed CPU time: 70.5793 s	Remaining CPU time: 109.421 s
70.87/70.96	c ===============================================================================
70.87/70.96	c |      7958 |    3833    26749   594175 |     8916     7958    535 | 31.197 % |
71.07/71.18	c ===============================================================================
71.07/71.18	c New solution: 77939
71.07/71.18	o 77939
71.07/71.18	c Elapsed CPU time: 70.7972 s	Remaining CPU time: 109.203 s
71.07/71.18	c ===============================================================================
71.07/71.18	c |      7960 |    3833    26750   596127 |     8916     7960    535 | 31.197 % |
71.48/71.56	c |      8060 |    3833    26750   596127 |     9808     8060    535 | 31.197 % |
73.47/73.52	c |      8211 |    3833    26750   596127 |    10789     8211    536 | 31.197 % |
73.67/73.77	c ===============================================================================
73.67/73.77	c New solution: 77938
73.67/73.77	o 77938
73.67/73.77	c Elapsed CPU time: 73.3878 s	Remaining CPU time: 106.612 s
73.67/73.77	c ===============================================================================
73.67/73.77	c |      8211 |    3833    26751   598079 |     8917     8211    536 | 31.197 % |
74.17/74.20	c ===============================================================================
74.17/74.20	c New solution: 77937
74.17/74.20	o 77937
74.17/74.20	c Elapsed CPU time: 73.8158 s	Remaining CPU time: 106.184 s
74.17/74.20	c ===============================================================================
74.17/74.20	c |      8231 |    3833    26752   600031 |     8917     8231    536 | 31.197 % |
74.47/74.53	c ===============================================================================
74.47/74.53	c New solution: 77936
74.47/74.53	o 77936
74.47/74.53	c Elapsed CPU time: 74.1487 s	Remaining CPU time: 105.851 s
74.47/74.53	c ===============================================================================
74.47/74.53	c |      8294 |    3833    26753   601983 |     8917     8294    536 | 31.197 % |
75.47/75.59	c |      8395 |    3833    26753   601983 |     9809     8395    537 | 31.197 % |
75.88/75.91	c ===============================================================================
75.88/75.91	c New solution: 77935
75.88/75.91	o 77935
75.88/75.91	c Elapsed CPU time: 75.5235 s	Remaining CPU time: 104.476 s
75.88/75.91	c ===============================================================================
75.88/75.91	c |      8410 |    3833    26754   603935 |     8918     8410    537 | 31.197 % |
76.07/76.19	c ===============================================================================
76.07/76.19	c New solution: 77934
76.07/76.19	o 77934
76.07/76.19	c Elapsed CPU time: 75.7995 s	Remaining CPU time: 104.201 s
76.07/76.19	c ===============================================================================
76.07/76.19	c |      8441 |    3833    26755   605887 |     8918     8441    537 | 31.197 % |
77.27/77.32	c |      8541 |    3833    26755   605887 |     9810     8541    537 | 31.197 % |
77.97/78.02	c ===============================================================================
77.97/78.02	c New solution: 77933
77.97/78.02	o 77933
77.97/78.02	c Elapsed CPU time: 77.6262 s	Remaining CPU time: 102.374 s
77.97/78.02	c ===============================================================================
77.97/78.02	c |      8596 |    3833    26756   607839 |     8918     8596    537 | 31.197 % |
78.17/78.26	c ===============================================================================
78.17/78.26	c New solution: 77932
78.17/78.26	o 77932
78.17/78.26	c Elapsed CPU time: 77.8612 s	Remaining CPU time: 102.139 s
78.17/78.26	c ===============================================================================
78.17/78.26	c |      8598 |    3833    26757   609791 |     8919     8598    537 | 31.197 % |
78.37/78.41	c ===============================================================================
78.37/78.41	c New solution: 77931
78.37/78.41	o 77931
78.37/78.41	c Elapsed CPU time: 78.0151 s	Remaining CPU time: 101.985 s
78.37/78.41	c ===============================================================================
78.37/78.41	c |      8600 |    3833    26758   611743 |     8919     8600    537 | 31.197 % |
79.26/79.30	c |      8700 |    3833    26758   611743 |     9811     8700    538 | 31.197 % |
80.06/80.14	c ===============================================================================
80.06/80.14	c New solution: 77930
80.06/80.14	o 77930
80.06/80.14	c Elapsed CPU time: 79.7409 s	Remaining CPU time: 100.259 s
80.06/80.14	c ===============================================================================
80.06/80.14	c |      8762 |    3833    26759   613695 |     8919     8762    538 | 31.197 % |
80.27/80.35	c ===============================================================================
80.27/80.35	c New solution: 77929
80.27/80.35	o 77929
80.27/80.35	c Elapsed CPU time: 79.9528 s	Remaining CPU time: 100.047 s
80.27/80.35	c ===============================================================================
80.27/80.35	c |      8768 |    3833    26760   615647 |     8920     8768    538 | 31.197 % |
81.57/81.66	c ===============================================================================
81.57/81.66	c New solution: 77928
81.57/81.66	o 77928
81.57/81.66	c Elapsed CPU time: 81.2556 s	Remaining CPU time: 98.7444 s
81.57/81.66	c ===============================================================================
81.57/81.66	c |      8859 |    3833    26761   617599 |     8920     8859    539 | 31.197 % |
82.87/82.98	c |      8960 |    3833    26761   617599 |     9812     8960    539 | 31.197 % |
84.87/84.99	c |      9110 |    3833    26761   617599 |    10793     9110    540 | 31.197 % |
85.26/85.30	c ===============================================================================
85.26/85.30	c New solution: 77927
85.26/85.30	o 77927
85.26/85.30	c Elapsed CPU time: 84.8951 s	Remaining CPU time: 95.1049 s
85.26/85.30	c ===============================================================================
85.26/85.30	c |      9152 |    3833    26762   619551 |     8920     9152    540 | 31.197 % |
86.06/86.15	c |      9252 |    3833    26762   619551 |     9812     9252    540 | 31.197 % |
86.46/86.52	c ===============================================================================
86.46/86.52	c New solution: 77926
86.46/86.52	o 77926
86.46/86.52	c Elapsed CPU time: 86.1149 s	Remaining CPU time: 93.8851 s
86.46/86.52	c ===============================================================================
86.46/86.52	c |      9300 |    3833    26763   621503 |     8921     9300    540 | 31.197 % |
87.26/87.30	c ===============================================================================
87.26/87.30	c New solution: 77925
87.26/87.30	o 77925
87.26/87.30	c Elapsed CPU time: 86.8948 s	Remaining CPU time: 93.1052 s
87.26/87.30	c ===============================================================================
87.26/87.30	c |      9330 |    3833    26764   623455 |     8921     9330    540 | 31.197 % |
89.17/89.28	c |      9430 |    3833    26764   623455 |     9813     9430    540 | 31.197 % |
89.57/89.67	c ===============================================================================
89.57/89.67	c New solution: 77924
89.57/89.67	o 77924
89.57/89.67	c Elapsed CPU time: 89.2594 s	Remaining CPU time: 90.7406 s
89.57/89.67	c ===============================================================================
89.57/89.67	c |      9452 |    3833    26765   625407 |     8921     9452    540 | 31.197 % |
89.97/90.05	c ===============================================================================
89.97/90.05	c New solution: 77923
89.97/90.05	o 77923
89.97/90.05	c Elapsed CPU time: 89.6394 s	Remaining CPU time: 90.3606 s
89.97/90.05	c ===============================================================================
89.97/90.05	c |      9472 |    3833    26766   627359 |     8922     9472    540 | 31.197 % |
90.27/90.34	c ===============================================================================
90.27/90.34	c New solution: 77922
90.27/90.34	o 77922
90.27/90.34	c Elapsed CPU time: 89.9303 s	Remaining CPU time: 90.0697 s
90.27/90.34	c ===============================================================================
90.27/90.34	c |      9472 |    3833    26767   629311 |     8922     9472    540 | 31.197 % |
90.57/90.64	c ===============================================================================
90.57/90.64	c New solution: 77921
90.57/90.64	o 77921
90.57/90.64	c Elapsed CPU time: 90.2223 s	Remaining CPU time: 89.7777 s
90.57/90.64	c ===============================================================================
90.57/90.64	c |      9472 |    3833    26768   631263 |     8922     9472    540 | 31.197 % |
90.87/90.90	c ===============================================================================
90.87/90.90	c New solution: 77920
90.87/90.90	o 77920
90.87/90.90	c Elapsed CPU time: 90.4892 s	Remaining CPU time: 89.5108 s
90.87/90.90	c ===============================================================================
90.87/90.90	c |      9474 |    3833    26769   633215 |     8923     9474    540 | 31.197 % |
90.97/91.05	c ===============================================================================
90.97/91.05	c New solution: 77919
90.97/91.05	o 77919
90.97/91.05	c Elapsed CPU time: 90.6372 s	Remaining CPU time: 89.3628 s
90.97/91.05	c ===============================================================================
90.97/91.05	c |      9476 |    3833    26770   635167 |     8923     9476    540 | 31.197 % |
91.87/91.99	c ===============================================================================
91.87/91.99	c New solution: 77918
91.87/91.99	o 77918
91.87/91.99	c Elapsed CPU time: 91.5691 s	Remaining CPU time: 88.4309 s
91.87/91.99	c ===============================================================================
91.87/91.99	c |      9517 |    3833    26771   637119 |     8923     9517    540 | 31.197 % |
93.26/93.35	c ===============================================================================
93.26/93.35	c New solution: 77917
93.26/93.35	o 77917
93.26/93.35	c Elapsed CPU time: 92.9269 s	Remaining CPU time: 87.0731 s
93.26/93.35	c ===============================================================================
93.26/93.35	c |      9598 |    3833    26772   639071 |     8924     9598    541 | 31.197 % |
93.56/93.65	c ===============================================================================
93.56/93.65	c New solution: 77916
93.56/93.65	o 77916
93.56/93.65	c Elapsed CPU time: 93.2248 s	Remaining CPU time: 86.7752 s
93.56/93.65	c ===============================================================================
93.56/93.65	c |      9604 |    3833    26773   641023 |     8924     9604    541 | 31.197 % |
94.76/94.80	c |      9704 |    3833    26773   641023 |     9816     9704    541 | 31.197 % |
96.06/96.18	c ===============================================================================
96.06/96.18	c New solution: 77915
96.06/96.18	o 77915
96.06/96.18	c Elapsed CPU time: 95.7524 s	Remaining CPU time: 84.2476 s
96.06/96.18	c ===============================================================================
96.06/96.18	c |      9809 |    3833    26774   642975 |     8924     9809    541 | 31.197 % |
96.67/96.80	c ===============================================================================
96.67/96.80	c New solution: 77914
96.67/96.80	o 77914
96.67/96.80	c Elapsed CPU time: 96.3713 s	Remaining CPU time: 83.6287 s
96.67/96.80	c ===============================================================================
96.67/96.80	c |      9862 |    3833    26775   644927 |     8925     9862    541 | 31.197 % |
96.97/97.07	c ===============================================================================
96.97/97.07	c New solution: 77913
96.97/97.07	o 77913
96.97/97.07	c Elapsed CPU time: 96.6463 s	Remaining CPU time: 83.3537 s
96.97/97.07	c ===============================================================================
96.97/97.07	c |      9868 |    3833    26776   646879 |     8925     9868    541 | 31.197 % |
99.26/99.34	c |      9968 |    3833    26776   646879 |     9817     9968    541 | 31.197 % |
99.97/100.09	c ===============================================================================
99.97/100.09	c New solution: 77912
99.97/100.09	o 77912
99.97/100.09	c Elapsed CPU time: 99.6598 s	Remaining CPU time: 80.3402 s
99.97/100.09	c ===============================================================================
99.97/100.09	c |     10061 |    3833    26777   648831 |     8925    10061    541 | 31.197 % |
101.07/101.10	c ===============================================================================
101.07/101.10	c New solution: 76460
101.07/101.10	o 76460
101.07/101.10	c Elapsed CPU time: 100.669 s	Remaining CPU time: 79.3313 s
101.07/101.10	c ===============================================================================
101.07/101.10	c |     10091 |    3833    26778   650783 |     8926    10091    541 | 31.197 % |
101.56/101.68	c ===============================================================================
101.56/101.68	c New solution: 76459
101.56/101.68	o 76459
101.56/101.68	c Elapsed CPU time: 101.248 s	Remaining CPU time: 78.7524 s
101.56/101.68	c ===============================================================================
101.56/101.68	c |     10164 |    3833    26779   652735 |     8926    10164    541 | 31.197 % |
102.06/102.12	c ===============================================================================
102.06/102.12	c New solution: 76458
102.06/102.12	o 76458
102.06/102.12	c Elapsed CPU time: 101.69 s	Remaining CPU time: 78.3105 s
102.06/102.12	c ===============================================================================
102.06/102.12	c |     10170 |    3833    26780   654687 |     8926    10170    541 | 31.197 % |
102.46/102.58	c ===============================================================================
102.46/102.58	c New solution: 76457
102.46/102.58	o 76457
102.46/102.58	c Elapsed CPU time: 102.148 s	Remaining CPU time: 77.8515 s
102.46/102.58	c ===============================================================================
102.46/102.58	c |     10178 |    3833    26781   656639 |     8927    10178    541 | 31.197 % |
102.86/102.94	c ===============================================================================
102.86/102.94	c New solution: 76444
102.86/102.94	o 76444
102.86/102.94	c Elapsed CPU time: 102.509 s	Remaining CPU time: 77.4906 s
102.86/102.94	c ===============================================================================
102.86/102.94	c |     10178 |    3833    26782   658591 |     8927    10178    541 | 31.197 % |
103.16/103.29	c ===============================================================================
103.16/103.29	c New solution: 76441
103.16/103.29	o 76441
103.16/103.29	c Elapsed CPU time: 102.851 s	Remaining CPU time: 77.1486 s
103.16/103.29	c ===============================================================================
103.16/103.29	c |     10178 |    3833    26783   660543 |     8927    10178    541 | 31.197 % |
103.56/103.65	c ===============================================================================
103.56/103.65	c New solution: 76440
103.56/103.65	o 76440
103.56/103.65	c Elapsed CPU time: 103.213 s	Remaining CPU time: 76.7867 s
103.56/103.65	c ===============================================================================
103.56/103.65	c |     10178 |    3833    26784   662495 |     8928    10178    541 | 31.197 % |
103.96/104.01	c ===============================================================================
103.96/104.01	c New solution: 76439
103.96/104.01	o 76439
103.96/104.01	c Elapsed CPU time: 103.569 s	Remaining CPU time: 76.4307 s
103.96/104.01	c ===============================================================================
103.96/104.01	c |     10178 |    3833    26785   664447 |     8928    10178    541 | 31.197 % |
104.26/104.37	c ===============================================================================
104.26/104.37	c New solution: 76436
104.26/104.37	o 76436
104.26/104.37	c Elapsed CPU time: 103.924 s	Remaining CPU time: 76.0758 s
104.26/104.37	c ===============================================================================
104.26/104.37	c |     10178 |    3833    26786   666399 |     8928    10178    541 | 31.197 % |
104.66/104.73	c ===============================================================================
104.66/104.73	c New solution: 76435
104.66/104.73	o 76435
104.66/104.73	c Elapsed CPU time: 104.287 s	Remaining CPU time: 75.7129 s
104.66/104.73	c ===============================================================================
104.66/104.73	c |     10179 |    3833    26787   668351 |     8929    10179    541 | 31.197 % |
104.96/105.06	c ===============================================================================
104.96/105.06	c New solution: 76433
104.96/105.06	o 76433
104.96/105.06	c Elapsed CPU time: 104.618 s	Remaining CPU time: 75.3819 s
104.96/105.06	c ===============================================================================
104.96/105.06	c |     10180 |    3833    26788   670303 |     8929    10180    541 | 31.197 % |
105.26/105.38	c ===============================================================================
105.26/105.38	c New solution: 76432
105.26/105.38	o 76432
105.26/105.38	c Elapsed CPU time: 104.936 s	Remaining CPU time: 75.064 s
105.26/105.38	c ===============================================================================
105.26/105.38	c |     10181 |    3833    26789   672255 |     8929    10181    541 | 31.197 % |
105.86/105.97	c ===============================================================================
105.86/105.97	c New solution: 76431
105.86/105.97	o 76431
105.86/105.97	c Elapsed CPU time: 105.516 s	Remaining CPU time: 74.484 s
105.86/105.97	c ===============================================================================
105.86/105.97	c |     10210 |    3833    26790   674207 |     8930    10210    541 | 31.197 % |
106.36/106.42	c ===============================================================================
106.36/106.42	c New solution: 76430
106.36/106.42	o 76430
106.36/106.42	c Elapsed CPU time: 105.966 s	Remaining CPU time: 74.0341 s
106.36/106.42	c ===============================================================================
106.36/106.42	c |     10219 |    3833    26791   676159 |     8930    10219    541 | 31.197 % |
107.36/107.44	c |     10319 |    3833    26791   676159 |     9823    10319    541 | 31.197 % |
107.77/107.87	c ===============================================================================
107.77/107.87	c New solution: 76429
107.77/107.87	o 76429
107.77/107.87	c Elapsed CPU time: 107.412 s	Remaining CPU time: 72.5883 s
107.77/107.87	c ===============================================================================
107.77/107.87	c |     10327 |    3833    26792   678111 |     8930    10327    541 | 31.197 % |
108.16/108.23	c ===============================================================================
108.16/108.23	c New solution: 76428
108.16/108.23	o 76428
108.16/108.23	c Elapsed CPU time: 107.779 s	Remaining CPU time: 72.2214 s
108.16/108.23	c ===============================================================================
108.16/108.23	c |     10339 |    3833    26793   680063 |     8931    10339    541 | 31.197 % |
108.86/108.91	c |     10441 |    3833    26793   680063 |     9824    10441    541 | 31.197 % |
109.26/109.35	c ===============================================================================
109.26/109.35	c New solution: 76427
109.26/109.35	o 76427
109.26/109.35	c Elapsed CPU time: 108.888 s	Remaining CPU time: 71.1116 s
109.26/109.35	c ===============================================================================
109.26/109.35	c |     10471 |    3833    26794   682015 |     8931    10471    541 | 31.197 % |
110.76/110.81	c |     10571 |    3833    26794   682015 |     9824    10571    541 | 31.197 % |
111.46/111.51	c ===============================================================================
111.46/111.51	c New solution: 76426
111.46/111.51	o 76426
111.46/111.51	c Elapsed CPU time: 111.052 s	Remaining CPU time: 68.9479 s
111.46/111.51	c ===============================================================================
111.46/111.51	c |     10597 |    3833    26795   683967 |     8931    10597    541 | 31.197 % |
111.66/111.73	c |     10697 |    3833    26795   683967 |     9824    10697    541 | 31.197 % |
111.86/111.92	c ===============================================================================
111.86/111.92	c New solution: 76425
111.86/111.92	o 76425
111.86/111.92	c Elapsed CPU time: 111.457 s	Remaining CPU time: 68.5429 s
111.86/111.92	c ===============================================================================
111.86/111.92	c |     10699 |    3833    26796   685919 |     8932    10699    541 | 31.197 % |
112.76/112.86	c |     10799 |    3833    26796   685919 |     9825     5450    527 | 31.197 % |
114.16/114.25	c |     10949 |    3833    26796   685919 |    10807     5600    528 | 31.197 % |
114.56/114.64	c ===============================================================================
114.56/114.64	c New solution: 76424
114.56/114.64	o 76424
114.56/114.64	c Elapsed CPU time: 114.17 s	Remaining CPU time: 65.8304 s
114.56/114.64	c ===============================================================================
114.56/114.64	c |     10955 |    3833    26797   687871 |     8932     5606    528 | 31.197 % |
115.86/115.91	c ===============================================================================
115.86/115.91	c New solution: 76423
115.86/115.91	o 76423
115.86/115.91	c Elapsed CPU time: 115.445 s	Remaining CPU time: 64.5546 s
115.86/115.91	c ===============================================================================
115.86/115.91	c |     11008 |    3833    26798   689823 |     8932     5659    528 | 31.197 % |
116.05/116.14	c ===============================================================================
116.05/116.14	c New solution: 76422
116.05/116.14	o 76422
116.05/116.14	c Elapsed CPU time: 115.674 s	Remaining CPU time: 64.3256 s
116.05/116.14	c ===============================================================================
116.05/116.14	c |     11017 |    3833    26799   691775 |     8933     5668    528 | 31.197 % |
116.25/116.36	c ===============================================================================
116.25/116.36	c New solution: 76421
116.25/116.36	o 76421
116.25/116.36	c Elapsed CPU time: 115.888 s	Remaining CPU time: 64.1116 s
116.25/116.36	c ===============================================================================
116.25/116.36	c |     11019 |    3833    26800   693727 |     8933     5670    528 | 31.197 % |
116.47/116.57	c ===============================================================================
116.47/116.57	c New solution: 76420
116.47/116.57	o 76420
116.47/116.57	c Elapsed CPU time: 116.094 s	Remaining CPU time: 63.9056 s
116.47/116.57	c ===============================================================================
116.47/116.57	c |     11023 |    3833    26801   695679 |     8933     5674    528 | 31.197 % |
116.86/116.93	c ===============================================================================
116.86/116.93	c New solution: 76419
116.86/116.93	o 76419
116.86/116.93	c Elapsed CPU time: 116.458 s	Remaining CPU time: 63.5417 s
116.86/116.93	c ===============================================================================
116.86/116.93	c |     11051 |    3833    26802   697631 |     8934     5702    528 | 31.197 % |
117.36/117.46	c ===============================================================================
117.36/117.46	c New solution: 76418
117.36/117.46	o 76418
117.36/117.46	c Elapsed CPU time: 116.989 s	Remaining CPU time: 63.0108 s
117.36/117.46	c ===============================================================================
117.36/117.46	c |     11086 |    3833    26803   699583 |     8934     5737    528 | 31.197 % |
119.06/119.19	c ===============================================================================
119.06/119.19	c New solution: 76417
119.06/119.19	o 76417
119.06/119.19	c Elapsed CPU time: 118.717 s	Remaining CPU time: 61.283 s
119.06/119.19	c ===============================================================================
119.06/119.19	c |     11170 |    3833    26804   701535 |     8934     5821    529 | 31.197 % |
119.76/119.87	c ===============================================================================
119.76/119.87	c New solution: 76416
119.76/119.88	o 76416
119.76/119.88	c Elapsed CPU time: 119.397 s	Remaining CPU time: 60.6032 s
119.76/119.88	c ===============================================================================
119.76/119.88	c |     11201 |    3833    26805   703487 |     8935     5852    529 | 31.197 % |
120.35/120.49	c ===============================================================================
120.35/120.49	c New solution: 76415
120.35/120.49	o 76415
120.35/120.49	c Elapsed CPU time: 120.006 s	Remaining CPU time: 59.9942 s
120.35/120.49	c ===============================================================================
120.35/120.49	c |     11233 |    3833    26806   705439 |     8935     5884    529 | 31.197 % |
120.65/120.78	c ===============================================================================
120.65/120.78	c New solution: 76414
120.65/120.78	o 76414
120.65/120.78	c Elapsed CPU time: 120.301 s	Remaining CPU time: 59.6993 s
120.65/120.78	c ===============================================================================
120.65/120.78	c |     11237 |    3833    26807   707391 |     8935     5888    529 | 31.197 % |
121.35/121.41	c ===============================================================================
121.35/121.41	c New solution: 76413
121.35/121.41	o 76413
121.35/121.41	c Elapsed CPU time: 120.934 s	Remaining CPU time: 59.0664 s
121.35/121.41	c ===============================================================================
121.35/121.41	c |     11267 |    3833    26808   709343 |     8936     5918    529 | 31.197 % |
121.65/121.73	c ===============================================================================
121.65/121.73	c New solution: 76412
121.65/121.73	o 76412
121.65/121.73	c Elapsed CPU time: 121.253 s	Remaining CPU time: 58.7474 s
121.65/121.73	c ===============================================================================
121.65/121.73	c |     11276 |    3833    26809   711295 |     8936     5927    529 | 31.197 % |
123.56/123.65	c |     11376 |    3833    26809   711295 |     9829     6027    529 | 31.197 % |
124.26/124.35	c ===============================================================================
124.26/124.35	c New solution: 76411
124.26/124.35	o 76411
124.26/124.35	c Elapsed CPU time: 123.865 s	Remaining CPU time: 56.1348 s
124.26/124.35	c ===============================================================================
124.26/124.35	c |     11401 |    3833    26810   713247 |     8936     6052    529 | 31.197 % |
127.05/127.15	c |     11501 |    3833    26810   713247 |     9830     6152    530 | 31.197 % |
127.56/127.66	c |     11651 |    3833    26810   713247 |    10813     6302    529 | 31.197 % |
129.05/129.16	c ===============================================================================
129.05/129.16	c New solution: 76410
129.05/129.16	o 76410
129.05/129.16	c Elapsed CPU time: 128.666 s	Remaining CPU time: 51.3336 s
129.05/129.16	c ===============================================================================
129.05/129.16	c |     11761 |    3833    26811   715199 |     8937     6412    531 | 31.197 % |
130.35/130.45	c ===============================================================================
130.35/130.45	c New solution: 76409
130.35/130.45	o 76409
130.35/130.45	c Elapsed CPU time: 129.955 s	Remaining CPU time: 50.0448 s
130.35/130.45	c ===============================================================================
130.35/130.45	c |     11853 |    3833    26812   717151 |     8937     6504    531 | 31.197 % |
131.75/131.80	c |     11954 |    3833    26812   717151 |     9831     6605    532 | 31.197 % |
132.25/132.32	c ===============================================================================
132.25/132.32	c New solution: 76408
132.25/132.32	o 76408
132.25/132.32	c Elapsed CPU time: 131.822 s	Remaining CPU time: 48.178 s
132.25/132.32	c ===============================================================================
132.25/132.32	c |     11988 |    3833    26813   719103 |     8937     6639    532 | 31.197 % |
132.56/132.61	c ===============================================================================
132.56/132.61	c New solution: 76407
132.56/132.61	o 76407
132.56/132.61	c Elapsed CPU time: 132.116 s	Remaining CPU time: 47.8841 s
132.56/132.61	c ===============================================================================
132.56/132.61	c |     11989 |    3833    26814   721055 |     8938     6640    532 | 31.197 % |
133.15/133.22	c ===============================================================================
133.15/133.22	c New solution: 76406
133.15/133.22	o 76406
133.15/133.22	c Elapsed CPU time: 132.719 s	Remaining CPU time: 47.2812 s
133.15/133.22	c ===============================================================================
133.15/133.22	c |     12015 |    3833    26815   723007 |     8938     6666    532 | 31.197 % |
133.45/133.51	c ===============================================================================
133.45/133.51	c New solution: 76405
133.45/133.52	o 76405
133.45/133.52	c Elapsed CPU time: 133.016 s	Remaining CPU time: 46.9842 s
133.45/133.52	c ===============================================================================
133.45/133.52	c |     12017 |    3833    26816   724959 |     8938     6668    532 | 31.197 % |
133.75/133.86	c ===============================================================================
133.75/133.86	c New solution: 76404
133.75/133.86	o 76404
133.75/133.86	c Elapsed CPU time: 133.364 s	Remaining CPU time: 46.6363 s
133.75/133.86	c ===============================================================================
133.75/133.86	c |     12028 |    3833    26817   726911 |     8939     6679    532 | 31.197 % |
134.65/134.79	c ===============================================================================
134.65/134.79	c New solution: 76403
134.65/134.79	o 76403
134.65/134.79	c Elapsed CPU time: 134.288 s	Remaining CPU time: 45.7124 s
134.65/134.79	c ===============================================================================
134.65/134.79	c |     12093 |    3833    26818   728863 |     8939     6744    532 | 31.197 % |
135.16/135.21	c ===============================================================================
135.16/135.21	c New solution: 76402
135.16/135.21	o 76402
135.16/135.21	c Elapsed CPU time: 134.707 s	Remaining CPU time: 45.2935 s
135.16/135.21	c ===============================================================================
135.16/135.21	c |     12117 |    3833    26819   730815 |     8939     6768    532 | 31.197 % |
136.55/136.66	c |     12218 |    3833    26819   730815 |     9833     6869    532 | 31.197 % |
138.25/138.37	c ===============================================================================
138.25/138.37	c New solution: 76401
138.25/138.37	o 76401
138.25/138.37	c Elapsed CPU time: 137.861 s	Remaining CPU time: 42.139 s
138.25/138.37	c ===============================================================================
138.25/138.37	c |     12324 |    3833    26820   732767 |     8940     6975    533 | 31.197 % |
139.55/139.69	c ===============================================================================
139.55/139.69	c New solution: 76400
139.55/139.69	o 76400
139.55/139.69	c Elapsed CPU time: 139.187 s	Remaining CPU time: 40.8132 s
139.55/139.69	c ===============================================================================
139.55/139.69	c |     12401 |    3833    26821   734719 |     8940     7052    533 | 31.197 % |
141.15/141.28	c |     12502 |    3833    26821   734719 |     9834     7153    534 | 31.197 % |
141.65/141.75	c ===============================================================================
141.65/141.75	c New solution: 76399
141.65/141.75	o 76399
141.65/141.75	c Elapsed CPU time: 141.24 s	Remaining CPU time: 38.7605 s
141.65/141.75	c ===============================================================================
141.65/141.75	c |     12516 |    3833    26822   736671 |     8940     7167    534 | 31.197 % |
141.95/142.09	c |     12616 |    3833    26822   736671 |     9834     7267    533 | 31.197 % |
143.05/143.10	c ===============================================================================
143.05/143.10	c New solution: 76398
143.05/143.10	o 76398
143.05/143.10	c Elapsed CPU time: 142.586 s	Remaining CPU time: 37.4137 s
143.05/143.10	c ===============================================================================
143.05/143.10	c |     12698 |    3833    26823   738623 |     8941     7349    533 | 31.197 % |
144.15/144.21	c ===============================================================================
144.15/144.21	c New solution: 74960
144.15/144.21	o 74960
144.15/144.21	c Elapsed CPU time: 143.697 s	Remaining CPU time: 36.3028 s
144.15/144.21	c ===============================================================================
144.15/144.21	c |     12730 |    3833    26824   740575 |     8941     7381    533 | 31.197 % |
144.55/144.63	c ===============================================================================
144.55/144.63	c New solution: 74941
144.55/144.63	o 74941
144.55/144.63	c Elapsed CPU time: 144.117 s	Remaining CPU time: 35.8829 s
144.55/144.63	c ===============================================================================
144.55/144.63	c |     12732 |    3833    26825   742527 |     8941     7383    533 | 31.197 % |
145.45/145.51	c ===============================================================================
145.45/145.51	c New solution: 74935
145.45/145.51	o 74935
145.45/145.51	c Elapsed CPU time: 144.997 s	Remaining CPU time: 35.003 s
145.45/145.51	c ===============================================================================
145.45/145.51	c |     12828 |    3833    26826   744479 |     8942     7479    533 | 31.197 % |
145.95/146.03	c ===============================================================================
145.95/146.03	c New solution: 74934
145.95/146.03	o 74934
145.95/146.03	c Elapsed CPU time: 145.517 s	Remaining CPU time: 34.4831 s
145.95/146.03	c ===============================================================================
145.95/146.03	c |     12830 |    3833    26827   746431 |     8942     7481    533 | 31.197 % |
146.35/146.41	c ===============================================================================
146.35/146.41	c New solution: 74933
146.35/146.41	o 74933
146.35/146.41	c Elapsed CPU time: 145.899 s	Remaining CPU time: 34.1012 s
146.35/146.41	c ===============================================================================
146.35/146.41	c |     12833 |    3833    26828   748383 |     8942     7484    533 | 31.197 % |
146.85/146.98	c ===============================================================================
146.85/146.98	c New solution: 74932
146.85/146.98	o 74932
146.85/146.98	c Elapsed CPU time: 146.467 s	Remaining CPU time: 33.5333 s
146.85/146.98	c ===============================================================================
146.85/146.98	c |     12855 |    3833    26829   750335 |     8943     7506    533 | 31.197 % |
147.35/147.48	c ===============================================================================
147.35/147.48	c New solution: 74931
147.35/147.48	o 74931
147.35/147.48	c Elapsed CPU time: 146.963 s	Remaining CPU time: 33.0373 s
147.35/147.48	c ===============================================================================
147.35/147.48	c |     12858 |    3833    26830   752287 |     8943     7509    533 | 31.197 % |
147.75/147.81	c ===============================================================================
147.75/147.81	c New solution: 74930
147.75/147.81	o 74930
147.75/147.81	c Elapsed CPU time: 147.296 s	Remaining CPU time: 32.7044 s
147.75/147.81	c ===============================================================================
147.75/147.81	c |     12862 |    3833    26831   754239 |     8943     7513    533 | 31.197 % |
148.24/148.32	c ===============================================================================
148.24/148.32	c New solution: 74929
148.24/148.32	o 74929
148.24/148.32	c Elapsed CPU time: 147.803 s	Remaining CPU time: 32.1975 s
148.24/148.32	c ===============================================================================
148.24/148.32	c |     12866 |    3833    26832   756191 |     8944     7517    533 | 31.197 % |
148.54/148.65	c ===============================================================================
148.54/148.65	c New solution: 74928
148.54/148.65	o 74928
148.54/148.65	c Elapsed CPU time: 148.132 s	Remaining CPU time: 31.8675 s
148.54/148.65	c ===============================================================================
148.54/148.65	c |     12866 |    3833    26833   758143 |     8944     7517    533 | 31.197 % |
148.84/148.97	c ===============================================================================
148.84/148.97	c New solution: 74927
148.84/148.97	o 74927
148.84/148.97	c Elapsed CPU time: 148.448 s	Remaining CPU time: 31.5516 s
148.84/148.97	c ===============================================================================
148.84/148.97	c |     12866 |    3833    26834   760095 |     8944     7517    533 | 31.197 % |
149.14/149.28	c ===============================================================================
149.14/149.28	c New solution: 74926
149.14/149.28	o 74926
149.14/149.28	c Elapsed CPU time: 148.761 s	Remaining CPU time: 31.2386 s
149.14/149.28	c ===============================================================================
149.14/149.28	c |     12866 |    3833    26835   762047 |     8945     7517    533 | 31.197 % |
149.46/149.59	c ===============================================================================
149.46/149.59	c New solution: 74925
149.46/149.59	o 74925
149.46/149.59	c Elapsed CPU time: 149.073 s	Remaining CPU time: 30.9267 s
149.46/149.59	c ===============================================================================
149.46/149.59	c |     12866 |    3833    26836   763999 |     8945     7517    533 | 31.197 % |
149.85/149.90	c ===============================================================================
149.85/149.90	c New solution: 74924
149.85/149.90	o 74924
149.85/149.90	c Elapsed CPU time: 149.38 s	Remaining CPU time: 30.6197 s
149.85/149.90	c ===============================================================================
149.85/149.90	c |     12866 |    3833    26837   765951 |     8945     7517    533 | 31.197 % |
150.15/150.21	c ===============================================================================
150.15/150.21	c New solution: 74923
150.15/150.21	o 74923
150.15/150.21	c Elapsed CPU time: 149.685 s	Remaining CPU time: 30.3148 s
150.15/150.21	c ===============================================================================
150.15/150.21	c |     12869 |    3833    26838   767903 |     8946     7520    533 | 31.197 % |
150.35/150.45	c ===============================================================================
150.35/150.45	c New solution: 74922
150.35/150.45	o 74922
150.35/150.45	c Elapsed CPU time: 149.929 s	Remaining CPU time: 30.0708 s
150.35/150.45	c ===============================================================================
150.35/150.45	c |     12885 |    3833    26839   769855 |     8946     7536    532 | 31.197 % |
150.75/150.84	c ===============================================================================
150.75/150.84	c New solution: 74921
150.75/150.84	o 74921
150.75/150.84	c Elapsed CPU time: 150.311 s	Remaining CPU time: 29.6889 s
150.75/150.84	c ===============================================================================
150.75/150.84	c |     12889 |    3833    26840   771807 |     8946     7540    532 | 31.197 % |
151.15/151.24	c ===============================================================================
151.15/151.24	c New solution: 74920
151.15/151.24	o 74920
151.15/151.24	c Elapsed CPU time: 150.715 s	Remaining CPU time: 29.2849 s
151.15/151.24	c ===============================================================================
151.15/151.24	c |     12889 |    3833    26841   773759 |     8947     7540    532 | 31.197 % |
151.55/151.66	c ===============================================================================
151.55/151.66	c New solution: 74919
151.55/151.66	o 74919
151.55/151.66	c Elapsed CPU time: 151.133 s	Remaining CPU time: 28.867 s
151.55/151.66	c ===============================================================================
151.55/151.66	c |     12890 |    3833    26842   775711 |     8947     7541    532 | 31.197 % |
151.85/151.98	c ===============================================================================
151.85/151.98	c New solution: 74918
151.85/151.98	o 74918
151.85/151.98	c Elapsed CPU time: 151.449 s	Remaining CPU time: 28.551 s
151.85/151.98	c ===============================================================================
151.85/151.98	c |     12893 |    3833    26843   777663 |     8947     7544    532 | 31.197 % |
152.54/152.60	c ===============================================================================
152.54/152.60	c New solution: 74917
152.54/152.60	o 74917
152.54/152.60	c Elapsed CPU time: 152.068 s	Remaining CPU time: 27.9321 s
152.54/152.60	c ===============================================================================
152.54/152.60	c |     12942 |    3833    26844   779615 |     8948     7593    532 | 31.197 % |
152.85/152.92	c ===============================================================================
152.85/152.92	c New solution: 74911
152.85/152.92	o 74911
152.85/152.92	c Elapsed CPU time: 152.387 s	Remaining CPU time: 27.6132 s
152.85/152.92	c ===============================================================================
152.85/152.92	c |     12944 |    3833    26845   781567 |     8948     7595    532 | 31.197 % |
154.14/154.26	c |     13045 |    3833    26845   781567 |     9843     7696    533 | 31.197 % |
154.54/154.60	c ===============================================================================
154.54/154.60	c New solution: 74910
154.54/154.60	o 74910
154.54/154.60	c Elapsed CPU time: 154.073 s	Remaining CPU time: 25.9274 s
154.54/154.60	c ===============================================================================
154.54/154.60	c |     13046 |    3833    26846   783519 |     8948     7697    533 | 31.197 % |
154.85/154.96	c ===============================================================================
154.85/154.96	c New solution: 74909
154.85/154.96	o 74909
154.85/154.96	c Elapsed CPU time: 154.425 s	Remaining CPU time: 25.5755 s
154.85/154.96	c ===============================================================================
154.85/154.96	c |     13051 |    3833    26847   785471 |     8949     7702    533 | 31.197 % |
155.25/155.31	c |     13152 |    3833    26847   785471 |     9843     7803    533 | 31.197 % |
155.75/155.85	c ===============================================================================
155.75/155.85	c New solution: 74908
155.75/155.85	o 74908
155.75/155.85	c Elapsed CPU time: 155.315 s	Remaining CPU time: 24.6846 s
155.75/155.85	c ===============================================================================
155.75/155.85	c |     13161 |    3833    26848   787423 |     8949     7812    533 | 31.197 % |
156.85/156.90	c ===============================================================================
156.85/156.90	c New solution: 74907
156.85/156.90	o 74907
156.85/156.90	c Elapsed CPU time: 156.362 s	Remaining CPU time: 23.6378 s
156.85/156.90	c ===============================================================================
156.85/156.90	c |     13186 |    3833    26849   789375 |     8949     7837    533 | 31.197 % |
158.35/158.44	c |     13287 |    3833    26849   789375 |     9844     7938    534 | 31.197 % |
158.84/158.92	c ===============================================================================
158.84/158.92	c New solution: 74906
158.84/158.92	o 74906
158.84/158.92	c Elapsed CPU time: 158.382 s	Remaining CPU time: 21.6181 s
158.84/158.92	c ===============================================================================
158.84/158.92	c |     13324 |    3833    26850   791327 |     8950     7975    533 | 31.197 % |
159.24/159.30	c ===============================================================================
159.24/159.30	c New solution: 74905
159.24/159.30	o 74905
159.24/159.30	c Elapsed CPU time: 158.757 s	Remaining CPU time: 21.2431 s
159.24/159.30	c ===============================================================================
159.24/159.30	c |     13327 |    3833    26851   793279 |     8950     7978    533 | 31.197 % |
159.64/159.70	c ===============================================================================
159.64/159.70	c New solution: 74896
159.64/159.70	o 74896
159.64/159.70	c Elapsed CPU time: 159.158 s	Remaining CPU time: 20.8422 s
159.64/159.70	c ===============================================================================
159.64/159.70	c |     13339 |    3833    26852   795231 |     8950     7990    533 | 31.197 % |
159.84/159.99	c ===============================================================================
159.84/159.99	c New solution: 74895
159.84/159.99	o 74895
159.84/159.99	c Elapsed CPU time: 159.453 s	Remaining CPU time: 20.5472 s
159.84/159.99	c ===============================================================================
159.84/159.99	c |     13344 |    3833    26853   797183 |     8951     7995    533 | 31.197 % |
160.14/160.27	c ===============================================================================
160.14/160.27	c New solution: 74894
160.14/160.27	o 74894
160.14/160.27	c Elapsed CPU time: 159.728 s	Remaining CPU time: 20.2723 s
160.14/160.27	c ===============================================================================
160.14/160.27	c |     13349 |    3833    26854   799135 |     8951     8000    533 | 31.197 % |
162.35/162.46	c |     13449 |    3833    26854   799135 |     9846     8100    534 | 31.197 % |
162.85/162.91	c ===============================================================================
162.85/162.91	c New solution: 74893
162.85/162.91	o 74893
162.85/162.91	c Elapsed CPU time: 162.363 s	Remaining CPU time: 17.6367 s
162.85/162.91	c ===============================================================================
162.85/162.91	c |     13481 |    3833    26855   801087 |     8951     8132    534 | 31.197 % |
164.74/164.80	c |     13581 |    3833    26855   801087 |     9846     8232    534 | 31.197 % |
165.14/165.27	c ===============================================================================
165.14/165.27	c New solution: 74892
165.14/165.27	o 74892
165.14/165.27	c Elapsed CPU time: 164.724 s	Remaining CPU time: 15.276 s
165.14/165.27	c ===============================================================================
165.14/165.27	c |     13595 |    3833    26856   803039 |     8952     8246    534 | 31.197 % |
166.34/166.44	c |     13696 |    3833    26856   803039 |     9847     8347    534 | 31.197 % |
167.64/167.74	c ===============================================================================
167.64/167.74	c New solution: 74891
167.64/167.74	o 74891
167.64/167.74	c Elapsed CPU time: 167.188 s	Remaining CPU time: 12.8124 s
167.64/167.74	c ===============================================================================
167.64/167.74	c |     13757 |    3833    26857   804991 |     8952     8408    534 | 31.197 % |
168.14/168.23	c ===============================================================================
168.14/168.23	c New solution: 74890
168.14/168.23	o 74890
168.14/168.23	c Elapsed CPU time: 167.68 s	Remaining CPU time: 12.3205 s
168.14/168.23	c ===============================================================================
168.14/168.23	c |     13790 |    3833    26858   806943 |     8952     8441    534 | 31.197 % |
168.74/168.81	c |     13890 |    3833    26858   806943 |     9847     8541    534 | 31.197 % |
170.84/170.92	c |     14041 |    3833    26858   806943 |    10832     8692    535 | 31.197 % |
171.64/171.71	c ===============================================================================
171.64/171.71	c New solution: 74889
171.64/171.71	o 74889
171.64/171.71	c Elapsed CPU time: 171.149 s	Remaining CPU time: 8.85102 s
171.64/171.71	c ===============================================================================
171.64/171.71	c |     14086 |    3833    26859   808895 |     8953     8737    535 | 31.197 % |
172.24/172.30	c ===============================================================================
172.24/172.30	c New solution: 74888
172.24/172.30	o 74888
172.24/172.30	c Elapsed CPU time: 171.737 s	Remaining CPU time: 8.26311 s
172.24/172.30	c ===============================================================================
172.24/172.30	c |     14117 |    3833    26860   810847 |     8953     8768    535 | 31.197 % |
172.74/172.88	c ===============================================================================
172.74/172.88	c New solution: 74887
172.74/172.88	o 74887
172.74/172.88	c Elapsed CPU time: 172.318 s	Remaining CPU time: 7.6822 s
172.74/172.88	c ===============================================================================
172.74/172.88	c |     14162 |    3833    26861   812799 |     8953     8813    535 | 31.197 % |
173.24/173.39	c ===============================================================================
173.24/173.39	c New solution: 74886
173.24/173.39	o 74886
173.24/173.39	c Elapsed CPU time: 172.827 s	Remaining CPU time: 7.17327 s
173.24/173.39	c ===============================================================================
173.24/173.39	c |     14179 |    3833    26862   814751 |     8954     8830    535 | 31.197 % |
173.84/173.95	c ===============================================================================
173.84/173.95	c New solution: 74885
173.84/173.95	o 74885
173.84/173.95	c Elapsed CPU time: 173.389 s	Remaining CPU time: 6.61136 s
173.84/173.95	c ===============================================================================
173.84/173.95	c |     14211 |    3833    26863   816703 |     8954     8862    535 | 31.197 % |
174.74/174.82	c |     14312 |    3833    26863   816703 |     9849     8963    535 | 31.197 % |
175.04/175.15	c ===============================================================================
175.04/175.15	c New solution: 74884
175.04/175.15	o 74884
175.04/175.15	c Elapsed CPU time: 174.583 s	Remaining CPU time: 5.41654 s
175.04/175.15	c ===============================================================================
175.04/175.15	c |     14318 |    3833    26864   818655 |     8954     8969    535 | 31.197 % |
176.44/176.53	c |     14418 |    3833    26864   818655 |     9850     9069    535 | 31.197 % |
176.84/176.99	c ===============================================================================
176.84/176.99	c New solution: 74883
176.84/176.99	o 74883
176.84/176.99	c Elapsed CPU time: 176.422 s	Remaining CPU time: 3.57782 s
176.84/176.99	c ===============================================================================
176.84/176.99	c |     14439 |    3833    26865   820607 |     8955     9090    535 | 31.197 % |
177.23/177.35	c ===============================================================================
177.23/177.35	c New solution: 74882
177.23/177.35	o 74882
177.23/177.35	c Elapsed CPU time: 176.777 s	Remaining CPU time: 3.22287 s
177.23/177.35	c ===============================================================================
177.23/177.35	c |     14444 |    3833    26866   822559 |     8955     9095    535 | 31.197 % |
177.74/177.83	c ===============================================================================
177.74/177.83	c New solution: 74881
177.74/177.83	o 74881
177.74/177.83	c Elapsed CPU time: 177.263 s	Remaining CPU time: 2.73695 s
177.74/177.83	c ===============================================================================
177.74/177.83	c |     14465 |    3833    26867   824511 |     8955     9116    535 | 31.197 % |
177.94/178.07	c ===============================================================================
177.94/178.07	c New solution: 74880
177.94/178.07	o 74880
177.94/178.07	c Elapsed CPU time: 177.502 s	Remaining CPU time: 2.49798 s
177.94/178.07	c ===============================================================================
177.94/178.07	c |     14466 |    3833    26868   826463 |     8956     9117    535 | 31.197 % |
178.34/178.47	c ===============================================================================
178.34/178.47	c New solution: 74879
178.34/178.47	o 74879
178.34/178.47	c Elapsed CPU time: 177.898 s	Remaining CPU time: 2.10205 s
178.34/178.47	c ===============================================================================
178.34/178.47	c |     14471 |    3833    26869   828415 |     8956     9122    535 | 31.197 % |
178.74/178.80	c ===============================================================================
178.74/178.80	c New solution: 74878
178.74/178.80	o 74878
178.74/178.80	c Elapsed CPU time: 178.227 s	Remaining CPU time: 1.7731 s
178.74/178.80	c ===============================================================================
178.74/178.80	c |     14481 |    3833    26870   830367 |     8956     9132    535 | 31.197 % |
179.24/179.39	c ===============================================================================
179.24/179.39	c New solution: 73432
179.24/179.39	o 73432
179.24/179.39	c Elapsed CPU time: 178.815 s	Remaining CPU time: 1.18518 s
179.24/179.39	c ===============================================================================
179.24/179.39	c |     14531 |    3833    26871   832319 |     8957     9182    534 | 31.197 % |
179.73/179.85	c ===============================================================================
179.73/179.85	c New solution: 73405
179.73/179.85	o 73405
179.73/179.85	c Elapsed CPU time: 179.274 s	Remaining CPU time: 0.726254 s
179.73/179.85	c ===============================================================================
179.73/179.85	c |     14534 |    3833    26872   834271 |     8957     9185    534 | 31.197 % |
180.24/180.35	c ===============================================================================
180.24/180.35	c New solution: 73401
180.24/180.35	o 73401
180.24/180.35	c Elapsed CPU time: 179.774 s	Remaining CPU time: 0.22633 s
180.24/180.35	c ===============================================================================
180.24/180.35	c |     14546 |    3833    26873   836223 |     8957     9197    534 | 31.197 % |
180.54/180.61	c There are 1738 assigned variables. 290 in cost function.
183.93/184.04	c core #1
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 2	Core Weight: 3	Total Weight: 166
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #2
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 2	Core Weight: 1	Total Weight: 167
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #3
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 2	Core Weight: 1	Total Weight: 168
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #4
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 3	Core Weight: 1	Total Weight: 169
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #5
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1	Total Weight: 170
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #6
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 3	Core Weight: 1	Total Weight: 171
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #7
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 3	Core Weight: 3	Total Weight: 174
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #8
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 3	Core Weight: 1	Total Weight: 175
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #9
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 3	Core Weight: 1	Total Weight: 176
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #10
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1	Total Weight: 177
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #11
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 7	Core Weight: 1515	Total Weight: 1692
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #12
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 1	Total Weight: 1693
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #13
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 1	Total Weight: 1694
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #14
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 1	Total Weight: 1695
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #15
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1	Total Weight: 1696
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #16
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 2	Total Weight: 1698
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #17
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 5	Core Weight: 1	Total Weight: 1699
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #18
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1700
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #19
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 10	Core Weight: 1	Total Weight: 1701
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #20
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1702
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #21
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1703
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #22
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1704
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #23
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1705
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #24
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1706
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #25
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1707
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #26
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1708
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #27
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1709
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #28
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1710
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #29
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1711
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #30
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1712
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #31
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1713
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #32
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 9	Core Weight: 1	Total Weight: 1714
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #33
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1715
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #34
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1716
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #35
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1717
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #36
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 1718
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #37
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 1	Total Weight: 1719
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #38
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1491	Total Weight: 3210
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #39
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 5	Core Weight: 1	Total Weight: 3211
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #40
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1	Total Weight: 3212
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #41
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 5	Core Weight: 1	Total Weight: 3213
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #42
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1	Total Weight: 3214
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #43
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 4	Core Weight: 1	Total Weight: 3215
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #44
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 26	Total Weight: 3241
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #45
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 1	Total Weight: 3242
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #46
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 9	Core Weight: 1	Total Weight: 3243
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #47
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 6	Core Weight: 1	Total Weight: 3244
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #48
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 5	Core Weight: 1	Total Weight: 3245
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #49
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 10	Core Weight: 1	Total Weight: 3246
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #50
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 11	Core Weight: 1	Total Weight: 3247
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #51
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 8	Core Weight: 1	Total Weight: 3248
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #52
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 9	Core Weight: 1	Total Weight: 3249
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #53
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 17	Core Weight: 1	Total Weight: 3250
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #54
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 20	Core Weight: 1	Total Weight: 3251
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #55
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 17	Core Weight: 1	Total Weight: 3252
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #56
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 19	Core Weight: 1	Total Weight: 3253
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #57
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 9	Core Weight: 1	Total Weight: 3254
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #58
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 10	Core Weight: 1	Total Weight: 3255
183.93/184.04	c
183.93/184.04	c
183.93/184.04	c core #59
183.93/184.04	c 
183.93/184.04	c 
183.93/184.04	c Core size: 11	Core Weight: 1	Total Weight: 3256
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #60
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 5	Core Weight: 1	Total Weight: 3257
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #61
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 7	Core Weight: 1	Total Weight: 3258
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #62
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 13	Core Weight: 1	Total Weight: 3259
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #63
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 13	Core Weight: 1	Total Weight: 3260
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #64
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 10	Core Weight: 1	Total Weight: 3261
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #65
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 14	Core Weight: 1	Total Weight: 3262
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #66
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 18	Core Weight: 1	Total Weight: 3263
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c core #67
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 12	Core Weight: 1	Total Weight: 3264
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c ============================[ Search Statistics ]==============================
184.54/184.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.60	c ===============================================================================
184.54/184.60	c |         0 |     799    18041    10016 |     6013        0    nan |  0.000 % |
184.54/184.60	c ===============================================================================
184.65/184.79	c core #68
184.65/184.79	c 
184.65/184.79	c 
184.65/184.79	c Core size: 19	Core Weight: 1	Total Weight: 3265
184.65/184.79	c
184.65/184.79	c
184.65/184.79	c core #69
184.65/184.79	c 
184.65/184.79	c 
184.65/184.79	c Core size: 24	Core Weight: 1	Total Weight: 3266
184.65/184.79	c
184.65/184.79	c
184.65/184.79	c core #70
184.65/184.79	c 
184.65/184.79	c 
184.65/184.79	c Core size: 11	Core Weight: 1484	Total Weight: 4750
184.65/184.79	c
184.65/184.79	c
184.65/184.79	c ============================[ Search Statistics ]==============================
184.65/184.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.65/184.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.65/184.79	c ===============================================================================
184.65/184.79	c |         0 |     823    18051    10835 |     6017        0    nan |  0.000 % |
184.65/184.80	c ===============================================================================
184.74/184.82	c #cores: 70
184.74/184.82	c Final Weight: 4750
184.74/184.82	o 4750
184.74/184.82	s OPTIMUM FOUND
184.74/184.82	v -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 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 x5540 x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 x5559 x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 x5570 x5571 x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 -x296 x297 x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 x385 x386 x387 x388 x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 x431 x432 x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 x520 -x521 -x522 x523 -x524 -x525 x526 -x527 x528 x529 -x530 -x531 x532 -x533 -x534 x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 x614 -x615 x616 x617 -x618 -x619 x620 -x621 x622 -x623 x624 -x625 -x626 -x627 -x628 x629 -x630 x631 x632 -x633 x634 x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 x708 x709 -x710 -x711 -x712 x713 -x714 x715 -x716 x717 x718 -x719 -x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 x748 -x749 x750 -x751 x752 -x753 -x754 x755 x756 x757 -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 x774 -x775 x776 x777 -x778 -x779 x780 -x781 x782 -x783 -x784 -x785 -x786 x787 -x788 x789 x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 x811 -x812 -x813 x814 x815 x816 x817 -x818 x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 x839 x840 -x841 -x842 x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 x865 -x866 x867 -x868 x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 x921 x922 -x923 x924 x925 -x926 x927 -x928 x929 -x930 -x931 x932 -x933 x934 x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 x988 -x989 x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 x1097 x1098 x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 -x1137 x1138 -x1139 x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 x1204 x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 x1212 -x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220 x1221 x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 x1256 x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 x1288 x1289 -x1290 x1291 x1292 -x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 x1309 x1310 -x1311 x1312 -x1313 x1314 -x1315 -x1316 x1317 x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 x1340 x1341 -x1342 -x1343 x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 -x1351 x1352 -x1353 x1354 -x1355 x1356 -x1357 x1358 -x1359 x1360 -x1361 -x1362 x1363 x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 x1378 x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 x1386 -x1387 x1388 -x1389 -x1390 x1391 -x1392 x1393 -x1394 x1395 -x1396 x1397 -x1398 x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 x1460 -x1461 x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 x1519 -x1520 x1521 x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 -x1536 -x1537 x1538 -x1539 x1540 -x1541 -x1542 -x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 x1556 -x1557 x1558 x1559 -x1560 -x1561 x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 x1696 -x1697 x1698 -x1699 -x1700 x1701 x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 x1716 -x1717 x1718 -x1719 x1720 -x1721 x1722 -x1723 -x1724 x1725 x1726 -x1727 -x1728 x1729 -x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 -x1737 x1738 x1739 -x1740 x1741 -x1742 x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 x1763 x1764 -x1765 -x1766 x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 x1812 -x1813 x1814 x1815 -x1816 x1817 -x1818 -x1819 x1820 -x1821 x1822 -x1823 x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 x1839 x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 x1854 -x1855 x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 x1903 -x1904 -x1905 x1906 -x1907 -x1908 x1909 -x1910 x1911 -x1912 x1913 -x1914 x1915 -x1916 x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 x1957 x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 -x1986 x1987 x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 x2024 -x2025 -x2026 -x2027 x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 x2044 -x2045 -x2046 x2047 x2048 -x2049 -x2050 -x2051 -x2052 x2053 x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 x2074 x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 x2116 x2117 x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 x2145 -x2146 x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 x2159 x2160 -x2161 -x2162 x2163 x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 x2308 x2309 x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 x2320 -x2321 x2322 x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 x2336 -x2337 -x2338 x2339 -x2340 -x2341 x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 x2411 -x2412 x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 x2497 -x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 x2585 x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 x2658 x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 x2667 x2668 -x2669 -x2670 -x2671 x2672 x2673 x2674 x2675 -x2676 -x2677 x2678 -x2679 x2680 -x2681 -x2682 x2683 -x2684 x2685 x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 x2708 x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 x2717 -x2718 -x2719 x2720 x2721 x2722 -x2723 x2724 x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 x2748 -x2749 -x2750 x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 -x2804 x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 x2817 x2818 -x2819 -x2820 -x2821 x2822 x2823 x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 x2855 -x2856 x2857 -x2858 x2859 -x2860 x2861 x2862 -x2863 -x2864 x2865 -x2866 x2867 x2868 -x2869 -x2870 x2871 x2872 x2873 -x2874 -x2875 x2876 -x2877 x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 x2892 x2893 x2894 x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 x2936 x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505
184.74/184.82	c Total CPU time: 184.12 s

Verifier Data 

OK	4750

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683224-1277508311/watcher-2683224-1277508311 -o /tmp/evaluation-result-2683224-1277508311/solver-2683224-1277508311 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683224-1277508311.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.99 1.02 1.00 3/106 30101
/proc/meminfo: memFree=1815488/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=3664 CPUtime=0
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 367 0 0 0 0 0 0 0 18 0 1 0 92122095 3751936 285 1992294400 134512640 135752675 4287368416 18446744073709551615 134609916 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 916 285 139 303 0 415 0

[startup+0.0696231 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 30101
/proc/meminfo: memFree=1815488/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=4688 CPUtime=0.06
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 706 0 0 0 6 0 0 0 20 0 1 0 92122095 4800512 624 1992294400 134512640 135752675 4287368416 18446744073709551615 135228428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 1172 624 241 303 0 671 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4688

[startup+0.100628 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 30101
/proc/meminfo: memFree=1815488/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=5328 CPUtime=0.09
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 891 0 0 0 9 0 0 0 20 0 1 0 92122095 5455872 809 1992294400 134512640 135752675 4287368416 18446744073709551615 135205474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 1332 809 291 303 0 831 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5328

[startup+0.300656 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 30101
/proc/meminfo: memFree=1815488/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=6480 CPUtime=0.29
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 1441 0 0 0 28 1 0 0 20 0 1 0 92122095 6635520 1163 1992294400 134512640 135752675 4287368416 18446744073709551615 134517232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 1620 1163 142 303 0 1315 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6480

[startup+0.700715 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 30101
/proc/meminfo: memFree=1815488/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=6744 CPUtime=0.69
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 1491 0 0 0 68 1 0 0 21 0 1 0 92122095 6905856 1213 1992294400 134512640 135752675 4287368416 18446744073709551615 134580062 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 1686 1213 142 303 0 1381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6744

[startup+1.50083 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 30102
/proc/meminfo: memFree=1811016/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=7008 CPUtime=1.49
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 1572 0 0 0 148 1 0 0 23 0 1 0 92122095 7176192 1294 1992294400 134512640 135752675 4287368416 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 1752 1294 142 303 0 1447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7008

[startup+3.10106 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 30102
/proc/meminfo: memFree=1808288/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=9384 CPUtime=3.09
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 2147 0 0 0 302 7 0 0 18 0 1 0 92122095 9609216 1869 1992294400 134512640 135752675 4287368416 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 2346 1869 144 303 0 2041 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9384

[startup+6.30053 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 30102
/proc/meminfo: memFree=1808304/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=9640 CPUtime=6.29
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 2232 0 0 0 619 10 0 0 22 0 1 0 92122095 9871360 1954 1992294400 134512640 135752675 4287368416 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 2410 1954 145 303 0 2105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9640

[startup+12.7015 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 30102
/proc/meminfo: memFree=1803476/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=14448 CPUtime=12.69
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 3425 0 0 0 1255 14 0 0 25 0 1 0 92122095 14794752 3147 1992294400 134512640 135752675 4287368416 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 3612 3147 145 303 0 3307 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14448

[startup+25.5003 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 30102
/proc/meminfo: memFree=1795168/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=22304 CPUtime=25.48
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 5408 0 0 0 2527 21 0 0 25 0 1 0 92122095 22839296 5130 1992294400 134512640 135752675 4287368416 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 5576 5130 145 303 0 5271 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22304

[startup+51.1011 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 30104
/proc/meminfo: memFree=1785744/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=32036 CPUtime=51.07
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 7813 0 0 0 5079 28 0 0 25 0 1 0 92122095 32804864 7535 1992294400 134512640 135752675 4287368416 18446744073709551615 134638453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 8009 7535 145 303 0 7704 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32036

[startup+102.309 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 30106
/proc/meminfo: memFree=1772724/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=44520 CPUtime=102.27
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 10948 0 0 0 10187 40 0 0 25 0 1 0 92122095 45588480 10670 1992294400 134512640 135752675 4287368416 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 11130 10670 145 303 0 10825 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44520

[startup+162.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30106
/proc/meminfo: memFree=1760572/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=56532 CPUtime=162.25
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 13944 0 0 0 16175 50 0 0 25 0 1 0 92122095 57888768 13666 1992294400 134512640 135752675 4287368416 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 14133 13666 145 303 0 13828 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 56532

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

[startup+166.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30106
/proc/meminfo: memFree=1759952/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=57176 CPUtime=166.24
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 14108 0 0 0 16574 50 0 0 25 0 1 0 92122095 58548224 13830 1992294400 134512640 135752675 4287368416 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 14294 13830 145 303 0 13989 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 57176

[startup+172.708 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30106
/proc/meminfo: memFree=1758588/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=58352 CPUtime=172.65
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 14412 0 0 0 17214 51 0 0 25 0 1 0 92122095 59752448 14134 1992294400 134512640 135752675 4287368416 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 14588 14134 145 303 0 14283 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 58352

[startup+179.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30108
/proc/meminfo: memFree=1757472/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=59656 CPUtime=179.04
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 14730 0 0 0 17852 52 0 0 21 0 1 0 92122095 61087744 14452 1992294400 134512640 135752675 4287368416 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 14914 14452 145 303 0 14609 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 59656

[startup+182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30108
/proc/meminfo: memFree=1750404/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=104464 CPUtime=182.24
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 26077 0 0 0 18168 56 0 0 21 0 1 0 92122095 106971136 25667 1992294400 134512640 135752675 4287368416 18446744073709551615 134610390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 26116 25667 146 303 0 25811 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 104464

[startup+183.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30108
/proc/meminfo: memFree=1653808/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=175536 CPUtime=183.84
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 43848 0 0 0 18323 61 0 0 25 0 1 0 92122095 179748864 43438 1992294400 134512640 135752675 4287368416 18446744073709551615 134635471 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 43884 43438 146 303 0 43579 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 175536

[startup+184.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30108
/proc/meminfo: memFree=1653808/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=193908 CPUtime=184.23
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 48419 0 0 0 18361 62 0 0 25 0 1 0 92122095 198561792 48009 1992294400 134512640 135752675 4287368416 18446744073709551615 134548072 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 48477 48009 146 303 0 48172 0
Current children cumulated CPU time (s) 184.23
Current children cumulated vsize (KiB) 193908

[startup+184.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30108
/proc/meminfo: memFree=1606936/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=209656 CPUtime=184.65
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 52355 0 0 0 18401 64 0 0 25 0 1 0 92122095 214687744 51945 1992294400 134512640 135752675 4287368416 18446744073709551615 134634496 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 52414 51945 146 303 0 52109 0
Current children cumulated CPU time (s) 184.65
Current children cumulated vsize (KiB) 209656

[startup+184.809 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30108
/proc/meminfo: memFree=1606936/2059040 swapFree=4140520/4192956
[pid=30101] ppid=30099 vsize=214700 CPUtime=184.74
/proc/30101/stat : 30101 (wbo1.4b) R 30099 30101 29802 0 -1 4202496 53633 0 0 0 18410 64 0 0 25 0 1 0 92122095 219852800 53223 1992294400 134512640 135752675 4287368416 18446744073709551615 134599260 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30101/statm: 53675 53223 146 303 0 53370 0
Current children cumulated CPU time (s) 184.74
Current children cumulated vsize (KiB) 214700

Child status: 0
Real time (s): 184.846
CPU time (s): 184.791
CPU user time (s): 184.12
CPU system time (s): 0.670898
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 214700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.12
system time used= 0.670898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53634
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= 94
involuntary context switches= 2348

runsolver used 0.309952 second user time and 0.92086 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-26 01:25:11
IDJOB=2683224
IDBENCH=72095
IDSOLVER=1190
FILE ID=node052/2683224-1277508311
PBS_JOBID= 11190596
Free space on /tmp= 62248 MiB

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

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

MD5SUM BENCH= afde7889f43b30fcc4bad7828bff7cb4
RANDOM SEED=1314197341

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816016 kB
Buffers:         47640 kB
Cached:          98696 kB
SwapCached:       5528 kB
Active:          63200 kB
Inactive:        96112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816016 kB
SwapTotal:     4192956 kB
SwapFree:      4140520 kB
Dirty:            3656 kB
Writeback:           0 kB
AnonPages:       11752 kB
Mapped:          11864 kB
Slab:            61684 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62244 MiB
End job on node052 at 2010-06-26 01:28:16