Trace number 2683315

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)OPT4917 182.167 182.215

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randf66c83.cudf.paranoid.opb
MD5SUMde3c56a7934dad70aad87854ca1d26e5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4917
Best CPU time to get the best result obtained on this benchmark2.37664
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5672
Total number of constraints24856
Number of constraints which are clauses24583
Number of constraints which are cardinality constraints (but not clauses)273
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 2119
Biggest coefficient in the objective function 1570
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 866638
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1570
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 866638
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-2683315-1277508731.opb.
0.00/0.00	c Instance file HOME/instance-2683315-1277508731.opb
0.00/0.00	c File size is 788826 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:      5672                                                |
0.09/0.12	c |  Number Clauses:        24583                                               |
0.09/0.12	c |  Number Cardinality:    273                                                 |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
2.89/2.93	c ============================[ Search Statistics ]==============================
2.89/2.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.93	c ===============================================================================
2.89/2.93	c |         0 |    3841    26440    52456 |     8285        0    nan |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 532861
2.89/2.94	o 532861
2.89/2.94	c Elapsed CPU time: 2.92955 s	Remaining CPU time: 177.07 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |         5 |    3841    26441    54460 |     8813        5      6 |  0.000 % |
2.89/2.95	c ===============================================================================
2.89/2.95	c New solution: 532860
2.89/2.95	o 532860
2.89/2.95	c Elapsed CPU time: 2.93655 s	Remaining CPU time: 177.063 s
2.89/2.95	c ===============================================================================
2.89/2.95	c |         8 |    3841    26442    56464 |     8814        8      6 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 427639
2.89/2.96	o 427639
2.89/2.96	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 177.052 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |        18 |    3841    26443    58468 |     8814       18      5 |  0.000 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: 408765
2.89/2.98	o 408765
2.89/2.98	c Elapsed CPU time: 2.95755 s	Remaining CPU time: 177.042 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |        24 |    3841    26444    60472 |     8814       24      4 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 394656
2.89/2.99	o 394656
2.89/2.99	c Elapsed CPU time: 2.96355 s	Remaining CPU time: 177.036 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |        32 |    3841    26445    62476 |     8815       32      6 |  0.000 % |
2.99/3.00	c ===============================================================================
2.99/3.00	c New solution: 353814
2.99/3.00	o 353814
2.99/3.00	c Elapsed CPU time: 2.97655 s	Remaining CPU time: 177.023 s
2.99/3.00	c ===============================================================================
2.99/3.00	c |        42 |    3841    26446    64480 |     8815       42      5 |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 320846
2.99/3.01	o 320846
2.99/3.01	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 177.015 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |        46 |    3841    26447    66484 |     8815       46      5 |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: 320845
2.99/3.03	o 320845
2.99/3.03	c Elapsed CPU time: 2.99454 s	Remaining CPU time: 177.005 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |        52 |    3841    26448    68488 |     8816       52      5 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: 303571
2.99/3.04	o 303571
2.99/3.04	c Elapsed CPU time: 3.00654 s	Remaining CPU time: 176.993 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |        57 |    3841    26449    70492 |     8816       57      5 |  0.000 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: 289419
2.99/3.05	o 289419
2.99/3.05	c Elapsed CPU time: 3.01854 s	Remaining CPU time: 176.981 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |        61 |    3841    26450    72496 |     8816       61      5 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 171711
2.99/3.09	o 171711
2.99/3.09	c Elapsed CPU time: 3.05154 s	Remaining CPU time: 176.948 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       103 |    3841    26451    74500 |     8817      103     11 |  0.000 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 170161
3.09/3.11	o 170161
3.09/3.11	c Elapsed CPU time: 3.06353 s	Remaining CPU time: 176.936 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |       112 |    3841    26452    76504 |     8817      112     10 |  0.000 % |
3.09/3.13	c ===============================================================================
3.09/3.13	c New solution: 168545
3.09/3.13	o 168545
3.09/3.13	c Elapsed CPU time: 3.07853 s	Remaining CPU time: 176.921 s
3.09/3.13	c ===============================================================================
3.09/3.13	c |       117 |    3841    26453    78508 |     8817      117     10 |  0.000 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 165404
3.09/3.14	o 165404
3.09/3.14	c Elapsed CPU time: 3.09253 s	Remaining CPU time: 176.907 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |       121 |    3841    26454    80512 |     8818      121      9 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 163863
3.09/3.15	o 163863
3.09/3.15	c Elapsed CPU time: 3.10253 s	Remaining CPU time: 176.897 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       123 |    3841    26455    82516 |     8818      123      9 |  0.000 % |
3.09/3.17	c ===============================================================================
3.09/3.17	c New solution: 163847
3.09/3.17	o 163847
3.09/3.17	c Elapsed CPU time: 3.11653 s	Remaining CPU time: 176.883 s
3.09/3.17	c ===============================================================================
3.09/3.17	c |       123 |    3841    26456    84520 |     8818      123      9 |  0.000 % |
3.09/3.18	c ===============================================================================
3.09/3.18	c New solution: 163842
3.09/3.18	o 163842
3.09/3.18	c Elapsed CPU time: 3.12652 s	Remaining CPU time: 176.873 s
3.09/3.18	c ===============================================================================
3.09/3.18	c |       124 |    3841    26457    86524 |     8819      124      9 |  0.000 % |
3.09/3.20	c ===============================================================================
3.09/3.20	c New solution: 163827
3.09/3.20	o 163827
3.09/3.20	c Elapsed CPU time: 3.14252 s	Remaining CPU time: 176.857 s
3.09/3.20	c ===============================================================================
3.09/3.20	c |       125 |    3841    26458    88528 |     8819      125      9 |  0.000 % |
3.19/3.21	c ===============================================================================
3.19/3.21	c New solution: 163826
3.19/3.21	o 163826
3.19/3.21	c Elapsed CPU time: 3.15652 s	Remaining CPU time: 176.843 s
3.19/3.21	c ===============================================================================
3.19/3.21	c |       126 |    3841    26459    90532 |     8819      126      9 |  0.000 % |
3.19/3.23	c ===============================================================================
3.19/3.23	c New solution: 155998
3.19/3.23	o 155998
3.19/3.23	c Elapsed CPU time: 3.17152 s	Remaining CPU time: 176.828 s
3.19/3.23	c ===============================================================================
3.19/3.23	c |       126 |    3841    26460    92536 |     8820      126      9 |  0.000 % |
3.19/3.26	c ===============================================================================
3.19/3.26	c New solution: 155994
3.19/3.26	o 155994
3.19/3.26	c Elapsed CPU time: 3.20351 s	Remaining CPU time: 176.796 s
3.19/3.26	c ===============================================================================
3.19/3.26	c |       128 |    3841    26461    94540 |     8820      128     13 |  0.000 % |
3.29/3.31	c ===============================================================================
3.29/3.31	c New solution: 155993
3.29/3.31	o 155993
3.29/3.31	c Elapsed CPU time: 3.2575 s	Remaining CPU time: 176.742 s
3.29/3.31	c ===============================================================================
3.29/3.31	c |       154 |    3841    26462    96544 |     8820      154     12 |  0.000 % |
3.29/3.33	c ===============================================================================
3.29/3.33	c New solution: 154459
3.29/3.33	o 154459
3.29/3.33	c Elapsed CPU time: 3.2755 s	Remaining CPU time: 176.724 s
3.29/3.33	c ===============================================================================
3.29/3.33	c |       159 |    3841    26463    98548 |     8821      159     12 |  0.000 % |
3.29/3.37	c ===============================================================================
3.29/3.37	c New solution: 154446
3.29/3.37	o 154446
3.29/3.37	c Elapsed CPU time: 3.3085 s	Remaining CPU time: 176.692 s
3.29/3.37	c ===============================================================================
3.29/3.37	c |       164 |    3841    26464   100552 |     8821      164     15 |  0.000 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: 113676
3.39/3.40	o 113676
3.39/3.40	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 176.663 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |       178 |    3841    26465   102556 |     8821      178     14 |  0.000 % |
3.39/3.47	c ===============================================================================
3.39/3.47	c New solution: 113663
3.39/3.47	o 113663
3.39/3.47	c Elapsed CPU time: 3.40548 s	Remaining CPU time: 176.595 s
3.39/3.47	c ===============================================================================
3.39/3.47	c |       188 |    3841    26466   104560 |     8822      188     13 |  0.000 % |
3.49/3.53	c ===============================================================================
3.49/3.53	c New solution: 113626
3.49/3.53	o 113626
3.49/3.53	c Elapsed CPU time: 3.47047 s	Remaining CPU time: 176.53 s
3.49/3.53	c ===============================================================================
3.49/3.53	c |       199 |    3841    26467   106564 |     8822      199     26 |  0.000 % |
3.59/3.70	c ===============================================================================
3.59/3.70	c New solution: 113611
3.59/3.70	o 113611
3.59/3.70	c Elapsed CPU time: 3.63345 s	Remaining CPU time: 176.367 s
3.59/3.70	c ===============================================================================
3.59/3.70	c |       220 |    3841    26468   108568 |     8822      220     54 |  0.000 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c New solution: 112145
3.69/3.73	o 112145
3.69/3.73	c Elapsed CPU time: 3.66344 s	Remaining CPU time: 176.337 s
3.69/3.73	c ===============================================================================
3.69/3.73	c |       232 |    3841    26469   110572 |     8823      232     52 |  0.000 % |
3.69/3.76	c ===============================================================================
3.69/3.76	c New solution: 112117
3.69/3.76	o 112117
3.69/3.76	c Elapsed CPU time: 3.69044 s	Remaining CPU time: 176.31 s
3.69/3.76	c ===============================================================================
3.69/3.76	c |       233 |    3841    26470   112576 |     8823      233     52 |  0.000 % |
3.79/3.80	c ===============================================================================
3.79/3.80	c New solution: 112116
3.79/3.80	o 112116
3.79/3.80	c Elapsed CPU time: 3.73343 s	Remaining CPU time: 176.267 s
3.79/3.80	c ===============================================================================
3.79/3.80	c |       234 |    3841    26471   114580 |     8823      234     51 |  0.000 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c New solution: 112109
3.79/3.82	o 112109
3.79/3.82	c Elapsed CPU time: 3.75843 s	Remaining CPU time: 176.242 s
3.79/3.82	c ===============================================================================
3.79/3.82	c |       234 |    3841    26472   116584 |     8824      234     51 |  0.000 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 112108
3.79/3.85	o 112108
3.79/3.85	c Elapsed CPU time: 3.77942 s	Remaining CPU time: 176.221 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |       234 |    3841    26473   118588 |     8824      234     51 |  0.000 % |
3.79/3.88	c ===============================================================================
3.79/3.88	c New solution: 112107
3.79/3.88	o 112107
3.79/3.88	c Elapsed CPU time: 3.80942 s	Remaining CPU time: 176.191 s
3.79/3.88	c ===============================================================================
3.79/3.88	c |       234 |    3841    26474   120592 |     8824      234     51 |  0.000 % |
3.89/3.92	c ===============================================================================
3.89/3.92	c New solution: 112106
3.89/3.92	o 112106
3.89/3.92	c Elapsed CPU time: 3.85441 s	Remaining CPU time: 176.146 s
3.89/3.92	c ===============================================================================
3.89/3.92	c |       239 |    3841    26475   122596 |     8825      239     50 |  0.000 % |
3.89/3.95	c ===============================================================================
3.89/3.95	c New solution: 112105
3.89/3.95	o 112105
3.89/3.95	c Elapsed CPU time: 3.88241 s	Remaining CPU time: 176.118 s
3.89/3.95	c ===============================================================================
3.89/3.95	c |       240 |    3841    26476   124600 |     8825      240     50 |  0.000 % |
3.89/3.99	c ===============================================================================
3.89/3.99	c New solution: 112104
3.89/3.99	o 112104
3.89/3.99	c Elapsed CPU time: 3.9174 s	Remaining CPU time: 176.083 s
3.89/3.99	c ===============================================================================
3.89/3.99	c |       242 |    3841    26477   126604 |     8825      242     50 |  0.000 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: 112103
3.99/4.01	o 112103
3.99/4.01	c Elapsed CPU time: 3.9404 s	Remaining CPU time: 176.06 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |       244 |    3841    26478   128608 |     8826      244     49 |  0.000 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c New solution: 112102
3.99/4.04	o 112102
3.99/4.04	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 176.036 s
3.99/4.04	c ===============================================================================
3.99/4.04	c |       244 |    3841    26479   130612 |     8826      244     49 |  0.000 % |
3.99/4.06	c ===============================================================================
3.99/4.06	c New solution: 112101
3.99/4.06	o 112101
3.99/4.06	c Elapsed CPU time: 3.98139 s	Remaining CPU time: 176.019 s
3.99/4.06	c ===============================================================================
3.99/4.06	c |       245 |    3841    26480   132616 |     8826      245     49 |  0.000 % |
4.09/4.11	c ===============================================================================
4.09/4.11	c New solution: 112100
4.09/4.11	o 112100
4.09/4.11	c Elapsed CPU time: 4.03839 s	Remaining CPU time: 175.962 s
4.09/4.11	c ===============================================================================
4.09/4.11	c |       246 |    3841    26481   134620 |     8827      246     49 |  0.000 % |
4.09/4.15	c ===============================================================================
4.09/4.15	c New solution: 112099
4.09/4.15	o 112099
4.09/4.15	c Elapsed CPU time: 4.07638 s	Remaining CPU time: 175.924 s
4.09/4.15	c ===============================================================================
4.09/4.15	c |       246 |    3841    26482   136624 |     8827      246     49 |  0.000 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c New solution: 112098
4.09/4.19	o 112098
4.09/4.19	c Elapsed CPU time: 4.11137 s	Remaining CPU time: 175.889 s
4.09/4.19	c ===============================================================================
4.09/4.19	c |       246 |    3841    26483   138628 |     8827      246     49 |  0.000 % |
4.19/4.22	c ===============================================================================
4.19/4.22	c New solution: 112097
4.19/4.22	o 112097
4.19/4.22	c Elapsed CPU time: 4.14337 s	Remaining CPU time: 175.857 s
4.19/4.22	c ===============================================================================
4.19/4.22	c |       246 |    3841    26484   140632 |     8828      246     49 |  0.000 % |
4.19/4.25	c ===============================================================================
4.19/4.25	c New solution: 112096
4.19/4.25	o 112096
4.19/4.25	c Elapsed CPU time: 4.17037 s	Remaining CPU time: 175.83 s
4.19/4.25	c ===============================================================================
4.19/4.25	c |       246 |    3841    26485   142636 |     8828      246     49 |  0.000 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c New solution: 112095
4.19/4.28	o 112095
4.19/4.28	c Elapsed CPU time: 4.20036 s	Remaining CPU time: 175.8 s
4.19/4.28	c ===============================================================================
4.19/4.28	c |       246 |    3841    26486   144640 |     8828      246     49 |  0.000 % |
4.30/4.31	c ===============================================================================
4.30/4.31	c New solution: 112094
4.30/4.31	o 112094
4.30/4.31	c Elapsed CPU time: 4.23436 s	Remaining CPU time: 175.766 s
4.30/4.31	c ===============================================================================
4.30/4.31	c |       246 |    3841    26487   146644 |     8829      246     49 |  0.000 % |
4.30/4.34	c ===============================================================================
4.30/4.34	c New solution: 112093
4.30/4.34	o 112093
4.30/4.34	c Elapsed CPU time: 4.26435 s	Remaining CPU time: 175.736 s
4.30/4.34	c ===============================================================================
4.30/4.34	c |       246 |    3841    26488   148648 |     8829      246     49 |  0.000 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: 112092
4.30/4.38	o 112092
4.30/4.38	c Elapsed CPU time: 4.29835 s	Remaining CPU time: 175.702 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |       246 |    3841    26489   150652 |     8829      246     49 |  0.000 % |
4.40/4.42	c ===============================================================================
4.40/4.42	c New solution: 112091
4.40/4.42	o 112091
4.40/4.42	c Elapsed CPU time: 4.33534 s	Remaining CPU time: 175.665 s
4.40/4.42	c ===============================================================================
4.40/4.42	c |       246 |    3841    26490   152656 |     8830      246     49 |  0.000 % |
4.40/4.45	c ===============================================================================
4.40/4.45	c New solution: 112090
4.40/4.45	o 112090
4.40/4.45	c Elapsed CPU time: 4.36434 s	Remaining CPU time: 175.636 s
4.40/4.45	c ===============================================================================
4.40/4.45	c |       246 |    3841    26491   154660 |     8830      246     49 |  0.000 % |
4.40/4.48	c ===============================================================================
4.40/4.48	c New solution: 112089
4.40/4.48	o 112089
4.40/4.48	c Elapsed CPU time: 4.40133 s	Remaining CPU time: 175.599 s
4.40/4.48	c ===============================================================================
4.40/4.48	c |       249 |    3841    26492   156664 |     8830      249     56 |  0.000 % |
4.49/4.55	c ===============================================================================
4.49/4.55	c New solution: 112088
4.49/4.55	o 112088
4.49/4.55	c Elapsed CPU time: 4.46332 s	Remaining CPU time: 175.537 s
4.49/4.55	c ===============================================================================
4.49/4.55	c |       253 |    3841    26493   158668 |     8831      253     57 |  0.000 % |
4.59/4.64	c ===============================================================================
4.59/4.64	c New solution: 112087
4.59/4.64	o 112087
4.59/4.64	c Elapsed CPU time: 4.55231 s	Remaining CPU time: 175.448 s
4.59/4.64	c ===============================================================================
4.59/4.64	c |       261 |    3841    26494   160672 |     8831      261     60 |  0.000 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: 112072
4.69/4.77	o 112072
4.69/4.77	c Elapsed CPU time: 4.68429 s	Remaining CPU time: 175.316 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |       271 |    3841    26495   162676 |     8831      271     73 |  0.000 % |
4.79/4.81	c ===============================================================================
4.79/4.81	c New solution: 110534
4.79/4.81	o 110534
4.79/4.81	c Elapsed CPU time: 4.72128 s	Remaining CPU time: 175.279 s
4.79/4.81	c ===============================================================================
4.79/4.81	c |       277 |    3841    26496   164680 |     8832      277     72 |  0.000 % |
4.79/4.89	c ===============================================================================
4.79/4.89	c New solution: 110514
4.79/4.89	o 110514
4.79/4.89	c Elapsed CPU time: 4.80327 s	Remaining CPU time: 175.197 s
4.79/4.89	c ===============================================================================
4.79/4.89	c |       283 |    3841    26497   166684 |     8832      283     74 |  0.000 % |
4.89/4.91	c ===============================================================================
4.89/4.91	c New solution: 104268
4.89/4.91	o 104268
4.89/4.91	c Elapsed CPU time: 4.82727 s	Remaining CPU time: 175.173 s
4.89/4.91	c ===============================================================================
4.89/4.91	c |       285 |    3841    26498   168688 |     8832      285     73 |  0.000 % |
4.99/5.01	c ===============================================================================
4.99/5.01	c New solution: 104245
4.99/5.01	o 104245
4.99/5.01	c Elapsed CPU time: 4.92525 s	Remaining CPU time: 175.075 s
4.99/5.01	c ===============================================================================
4.99/5.01	c |       288 |    3841    26499   170692 |     8833      288     75 |  0.000 % |
4.99/5.06	c ===============================================================================
4.99/5.06	c New solution: 102693
4.99/5.06	o 102693
4.99/5.06	c Elapsed CPU time: 4.96824 s	Remaining CPU time: 175.032 s
4.99/5.06	c ===============================================================================
4.99/5.06	c |       292 |    3841    26500   172696 |     8833      292     74 |  0.000 % |
4.99/5.09	c ===============================================================================
4.99/5.09	c New solution: 102670
4.99/5.09	o 102670
4.99/5.09	c Elapsed CPU time: 5.00024 s	Remaining CPU time: 175 s
4.99/5.09	c ===============================================================================
4.99/5.09	c |       293 |    3841    26501   174700 |     8833      293     75 |  0.000 % |
5.19/5.24	c ===============================================================================
5.19/5.24	c New solution: 102668
5.19/5.24	o 102668
5.19/5.24	c Elapsed CPU time: 5.14322 s	Remaining CPU time: 174.857 s
5.19/5.24	c ===============================================================================
5.19/5.24	c |       307 |    3841    26502   176704 |     8834      307     89 |  0.000 % |
5.19/5.28	c ===============================================================================
5.19/5.28	c New solution: 101126
5.19/5.28	o 101126
5.19/5.28	c Elapsed CPU time: 5.18421 s	Remaining CPU time: 174.816 s
5.19/5.28	c ===============================================================================
5.19/5.28	c |       312 |    3841    26503   178708 |     8834      312     92 |  0.000 % |
5.49/5.58	c ===============================================================================
5.49/5.58	c New solution: 101119
5.49/5.58	o 101119
5.49/5.58	c Elapsed CPU time: 5.48517 s	Remaining CPU time: 174.515 s
5.49/5.58	c ===============================================================================
5.49/5.58	c |       351 |    3841    26504   180712 |     8834      351    124 |  0.000 % |
5.59/5.68	c ===============================================================================
5.59/5.68	c New solution: 101108
5.59/5.68	o 101108
5.59/5.68	c Elapsed CPU time: 5.58515 s	Remaining CPU time: 174.415 s
5.59/5.68	c ===============================================================================
5.59/5.68	c |       354 |    3841    26505   182716 |     8835      354    127 |  0.000 % |
5.79/5.83	c ===============================================================================
5.79/5.83	c New solution: 101107
5.79/5.83	o 101107
5.79/5.83	c Elapsed CPU time: 5.73013 s	Remaining CPU time: 174.27 s
5.79/5.83	c ===============================================================================
5.79/5.83	c |       422 |    3841    26506   184720 |     8835      422    173 |  0.000 % |
5.89/5.91	c ===============================================================================
5.89/5.91	c New solution: 101094
5.89/5.91	o 101094
5.89/5.91	c Elapsed CPU time: 5.81312 s	Remaining CPU time: 174.187 s
5.89/5.91	c ===============================================================================
5.89/5.91	c |       429 |    3841    26507   186724 |     8835      429    170 |  0.000 % |
6.00/6.02	c ===============================================================================
6.00/6.02	c New solution: 101093
6.00/6.02	o 101093
6.00/6.02	c Elapsed CPU time: 5.9201 s	Remaining CPU time: 174.08 s
6.00/6.02	c ===============================================================================
6.00/6.02	c |       432 |    3841    26508   188728 |     8836      432    169 |  0.000 % |
6.19/6.22	c ===============================================================================
6.19/6.22	c New solution: 101071
6.19/6.22	o 101071
6.19/6.22	c Elapsed CPU time: 6.11807 s	Remaining CPU time: 173.882 s
6.19/6.22	c ===============================================================================
6.19/6.22	c |       437 |    3841    26509   190732 |     8836      437    170 |  0.000 % |
6.19/6.28	c ===============================================================================
6.19/6.28	c New solution: 101070
6.19/6.28	o 101070
6.19/6.28	c Elapsed CPU time: 6.17706 s	Remaining CPU time: 173.823 s
6.19/6.28	c ===============================================================================
6.19/6.28	c |       439 |    3841    26510   192736 |     8836      439    169 |  0.000 % |
6.29/6.32	c ===============================================================================
6.29/6.32	c New solution: 99539
6.29/6.32	o 99539
6.29/6.32	c Elapsed CPU time: 6.22105 s	Remaining CPU time: 173.779 s
6.29/6.32	c ===============================================================================
6.29/6.32	c |       443 |    3841    26511   194740 |     8837      443    167 |  0.000 % |
6.29/6.36	c ===============================================================================
6.29/6.36	c New solution: 99538
6.29/6.36	o 99538
6.29/6.36	c Elapsed CPU time: 6.25705 s	Remaining CPU time: 173.743 s
6.29/6.36	c ===============================================================================
6.29/6.36	c |       445 |    3841    26512   196744 |     8837      445    168 |  0.000 % |
6.50/6.54	c ===============================================================================
6.50/6.54	c New solution: 99535
6.50/6.54	o 99535
6.50/6.54	c Elapsed CPU time: 6.43502 s	Remaining CPU time: 173.565 s
6.50/6.54	c ===============================================================================
6.50/6.54	c |       450 |    3841    26513   198748 |     8837      450    166 |  0.000 % |
6.59/6.65	c ===============================================================================
6.59/6.65	c New solution: 99518
6.59/6.65	o 99518
6.59/6.65	c Elapsed CPU time: 6.54401 s	Remaining CPU time: 173.456 s
6.59/6.65	c ===============================================================================
6.59/6.65	c |       451 |    3841    26514   200752 |     8838      451    166 |  0.000 % |
6.68/6.79	c ===============================================================================
6.68/6.79	c New solution: 99517
6.68/6.79	o 99517
6.68/6.79	c Elapsed CPU time: 6.68498 s	Remaining CPU time: 173.315 s
6.68/6.79	c ===============================================================================
6.68/6.79	c |       455 |    3841    26515   202756 |     8838      455    164 |  0.000 % |
6.89/6.90	c ===============================================================================
6.89/6.90	c New solution: 99516
6.89/6.90	o 99516
6.89/6.90	c Elapsed CPU time: 6.78997 s	Remaining CPU time: 173.21 s
6.89/6.90	c ===============================================================================
6.89/6.90	c |       455 |    3841    26516   204760 |     8838      455    164 |  0.000 % |
6.99/7.01	c ===============================================================================
6.99/7.01	c New solution: 99515
6.99/7.01	o 99515
6.99/7.01	c Elapsed CPU time: 6.89595 s	Remaining CPU time: 173.104 s
6.99/7.01	c ===============================================================================
6.99/7.01	c |       455 |    3841    26517   206764 |     8839      455    164 |  0.000 % |
7.09/7.12	c ===============================================================================
7.09/7.12	c New solution: 99514
7.09/7.12	o 99514
7.09/7.12	c Elapsed CPU time: 7.00693 s	Remaining CPU time: 172.993 s
7.09/7.12	c ===============================================================================
7.09/7.12	c |       458 |    3841    26518   208768 |     8839      458    166 |  0.000 % |
7.29/7.39	c ===============================================================================
7.29/7.39	c New solution: 99513
7.29/7.39	o 99513
7.29/7.39	c Elapsed CPU time: 7.27789 s	Remaining CPU time: 172.722 s
7.29/7.39	c ===============================================================================
7.29/7.39	c |       490 |    3841    26519   210772 |     8839      490    190 |  0.000 % |
7.48/7.54	c |       590 |    3841    26519   210772 |     9723      590    235 | 32.281 % |
7.70/7.72	c ===============================================================================
7.70/7.72	c New solution: 99512
7.70/7.72	o 99512
7.70/7.72	c Elapsed CPU time: 7.60084 s	Remaining CPU time: 172.399 s
7.70/7.72	c ===============================================================================
7.70/7.72	c |       599 |    3841    26520   212776 |     8840      599    236 | 32.281 % |
8.19/8.21	c |       699 |    3841    26520   212776 |     9724      699    283 | 32.281 % |
8.39/8.40	c ===============================================================================
8.39/8.40	c New solution: 99503
8.39/8.40	o 99503
8.39/8.40	c Elapsed CPU time: 8.27874 s	Remaining CPU time: 171.721 s
8.39/8.40	c ===============================================================================
8.39/8.40	c |       711 |    3841    26521   214780 |     8840      711    285 | 32.281 % |
8.49/8.51	c ===============================================================================
8.49/8.51	c New solution: 99502
8.49/8.51	o 99502
8.49/8.51	c Elapsed CPU time: 8.38172 s	Remaining CPU time: 171.618 s
8.49/8.51	c ===============================================================================
8.49/8.51	c |       715 |    3841    26522   216784 |     8840      715    286 | 32.281 % |
8.59/8.63	c ===============================================================================
8.59/8.63	c New solution: 99501
8.59/8.63	o 99501
8.59/8.63	c Elapsed CPU time: 8.50871 s	Remaining CPU time: 171.491 s
8.59/8.63	c ===============================================================================
8.59/8.63	c |       723 |    3841    26523   218788 |     8841      723    286 | 32.281 % |
8.69/8.70	c ===============================================================================
8.69/8.70	c New solution: 99500
8.69/8.70	o 99500
8.69/8.70	c Elapsed CPU time: 8.5747 s	Remaining CPU time: 171.425 s
8.69/8.70	c ===============================================================================
8.69/8.70	c |       726 |    3841    26524   220792 |     8841      726    285 | 32.281 % |
8.69/8.78	c ===============================================================================
8.69/8.78	c New solution: 99499
8.69/8.78	o 99499
8.69/8.78	c Elapsed CPU time: 8.65668 s	Remaining CPU time: 171.343 s
8.69/8.78	c ===============================================================================
8.69/8.78	c |       728 |    3841    26525   222796 |     8841      728    286 | 32.281 % |
8.88/8.94	c ===============================================================================
8.88/8.94	c New solution: 99498
8.88/8.94	o 99498
8.88/8.94	c Elapsed CPU time: 8.81566 s	Remaining CPU time: 171.184 s
8.88/8.94	c ===============================================================================
8.88/8.94	c |       759 |    3841    26526   224800 |     8842      759    294 | 32.281 % |
9.29/9.34	c ===============================================================================
9.29/9.34	c New solution: 99497
9.29/9.34	o 99497
9.29/9.34	c Elapsed CPU time: 9.2106 s	Remaining CPU time: 170.789 s
9.29/9.34	c ===============================================================================
9.29/9.34	c |       855 |    3841    26527   226804 |     8842      855    320 | 32.281 % |
9.39/9.43	c ===============================================================================
9.39/9.43	c New solution: 99496
9.39/9.43	o 99496
9.39/9.43	c Elapsed CPU time: 9.30059 s	Remaining CPU time: 170.699 s
9.39/9.43	c ===============================================================================
9.39/9.43	c |       864 |    3841    26528   228808 |     8842      864    321 | 32.281 % |
9.59/9.61	c ===============================================================================
9.59/9.61	c New solution: 99486
9.59/9.61	o 99486
9.59/9.61	c Elapsed CPU time: 9.47656 s	Remaining CPU time: 170.523 s
9.59/9.61	c ===============================================================================
9.59/9.61	c |       866 |    3841    26529   230812 |     8843      866    320 | 32.281 % |
10.09/10.14	c |       966 |    3841    26529   230812 |     9727      966    345 | 32.281 % |
10.19/10.22	c ===============================================================================
10.19/10.22	c New solution: 99485
10.19/10.22	o 99485
10.19/10.22	c Elapsed CPU time: 10.0915 s	Remaining CPU time: 169.909 s
10.19/10.22	c ===============================================================================
10.19/10.22	c |       969 |    3841    26530   232816 |     8843      969    345 | 32.281 % |
10.59/10.66	c ===============================================================================
10.59/10.66	c New solution: 99484
10.59/10.66	o 99484
10.59/10.66	c Elapsed CPU time: 10.5234 s	Remaining CPU time: 169.477 s
10.59/10.66	c ===============================================================================
10.59/10.66	c |      1064 |    3841    26531   234820 |     8843     1064    364 | 32.281 % |
10.69/10.74	c ===============================================================================
10.69/10.74	c New solution: 99483
10.69/10.74	o 99483
10.69/10.74	c Elapsed CPU time: 10.6004 s	Remaining CPU time: 169.4 s
10.69/10.74	c ===============================================================================
10.69/10.74	c |      1067 |    3841    26532   236824 |     8844     1067    364 | 32.281 % |
10.79/10.88	c ===============================================================================
10.79/10.88	c New solution: 99482
10.79/10.88	o 99482
10.79/10.88	c Elapsed CPU time: 10.7414 s	Remaining CPU time: 169.259 s
10.79/10.88	c ===============================================================================
10.79/10.88	c |      1085 |    3841    26533   238828 |     8844     1085    367 | 32.281 % |
11.09/11.15	c ===============================================================================
11.09/11.15	c New solution: 99481
11.09/11.15	o 99481
11.09/11.15	c Elapsed CPU time: 11.0083 s	Remaining CPU time: 168.992 s
11.09/11.15	c ===============================================================================
11.09/11.15	c |      1142 |    3841    26534   240832 |     8844     1142    376 | 32.281 % |
11.59/11.70	c |      1243 |    3841    26534   240832 |     9729     1243    394 | 32.281 % |
11.79/11.80	c ===============================================================================
11.79/11.80	c New solution: 99480
11.79/11.80	o 99480
11.79/11.80	c Elapsed CPU time: 11.6552 s	Remaining CPU time: 168.345 s
11.79/11.80	c ===============================================================================
11.79/11.80	c |      1250 |    3841    26535   242836 |     8845     1250    394 | 32.281 % |
11.89/11.91	c ===============================================================================
11.89/11.91	c New solution: 99479
11.89/11.91	o 99479
11.89/11.91	c Elapsed CPU time: 11.7652 s	Remaining CPU time: 168.235 s
11.89/11.91	c ===============================================================================
11.89/11.91	c |      1259 |    3841    26536   244840 |     8845     1259    395 | 32.281 % |
12.39/12.44	c |      1359 |    3841    26536   244840 |     9729     1359    408 | 32.281 % |
12.49/12.55	c ===============================================================================
12.49/12.55	c New solution: 99478
12.49/12.55	o 99478
12.49/12.55	c Elapsed CPU time: 12.4011 s	Remaining CPU time: 167.599 s
12.49/12.55	c ===============================================================================
12.49/12.55	c |      1375 |    3841    26537   246844 |     8845     1375    410 | 32.281 % |
12.98/13.05	c |      1476 |    3841    26537   246844 |     9730     1476    420 | 32.281 % |
13.28/13.32	c ===============================================================================
13.28/13.32	c New solution: 99477
13.28/13.32	o 99477
13.28/13.32	c Elapsed CPU time: 13.172 s	Remaining CPU time: 166.828 s
13.28/13.32	c ===============================================================================
13.28/13.32	c |      1547 |    3841    26538   248848 |     8846     1547    425 | 32.281 % |
13.59/13.67	c ===============================================================================
13.59/13.67	c New solution: 99476
13.59/13.67	o 99476
13.59/13.67	c Elapsed CPU time: 13.5189 s	Remaining CPU time: 166.481 s
13.59/13.67	c ===============================================================================
13.59/13.67	c |      1609 |    3841    26539   250852 |     8846     1609    428 | 32.281 % |
13.89/13.95	c ===============================================================================
13.89/13.95	c New solution: 99475
13.89/13.95	o 99475
13.89/13.95	c Elapsed CPU time: 13.7989 s	Remaining CPU time: 166.201 s
13.89/13.95	c ===============================================================================
13.89/13.95	c |      1656 |    3841    26540   252856 |     8846     1656    431 | 32.281 % |
14.49/14.50	c ===============================================================================
14.49/14.50	c New solution: 99474
14.49/14.50	o 99474
14.49/14.50	c Elapsed CPU time: 14.3438 s	Remaining CPU time: 165.656 s
14.49/14.50	c ===============================================================================
14.49/14.50	c |      1725 |    3841    26541   254860 |     8847     1725    433 | 32.281 % |
14.49/14.57	c ===============================================================================
14.49/14.57	c New solution: 97965
14.49/14.57	o 97965
14.49/14.57	c Elapsed CPU time: 14.4138 s	Remaining CPU time: 165.586 s
14.49/14.57	c ===============================================================================
14.49/14.57	c |      1726 |    3841    26542   256864 |     8847     1726    433 | 32.281 % |
14.59/14.65	c ===============================================================================
14.59/14.65	c New solution: 97962
14.59/14.65	o 97962
14.59/14.65	c Elapsed CPU time: 14.4978 s	Remaining CPU time: 165.502 s
14.59/14.65	c ===============================================================================
14.59/14.65	c |      1726 |    3841    26543   258868 |     8847     1726    433 | 32.281 % |
14.69/14.74	c ===============================================================================
14.69/14.74	c New solution: 97961
14.69/14.74	o 97961
14.69/14.74	c Elapsed CPU time: 14.5878 s	Remaining CPU time: 165.412 s
14.69/14.74	c ===============================================================================
14.69/14.74	c |      1726 |    3841    26544   260872 |     8848     1726    433 | 32.281 % |
14.79/14.83	c ===============================================================================
14.79/14.83	c New solution: 97960
14.79/14.83	o 97960
14.79/14.83	c Elapsed CPU time: 14.6768 s	Remaining CPU time: 165.323 s
14.79/14.83	c ===============================================================================
14.79/14.83	c |      1727 |    3841    26545   262876 |     8848     1727    433 | 32.281 % |
14.89/14.92	c ===============================================================================
14.89/14.92	c New solution: 97959
14.89/14.92	o 97959
14.89/14.92	c Elapsed CPU time: 14.7628 s	Remaining CPU time: 165.237 s
14.89/14.92	c ===============================================================================
14.89/14.92	c |      1727 |    3841    26546   264880 |     8848     1727    433 | 32.281 % |
14.98/15.00	c ===============================================================================
14.98/15.00	c New solution: 97958
14.98/15.00	o 97958
14.98/15.00	c Elapsed CPU time: 14.8447 s	Remaining CPU time: 165.155 s
14.98/15.00	c ===============================================================================
14.98/15.00	c |      1727 |    3841    26547   266884 |     8849     1727    433 | 32.281 % |
14.98/15.09	c ===============================================================================
14.98/15.09	c New solution: 97957
14.98/15.09	o 97957
14.98/15.09	c Elapsed CPU time: 14.9277 s	Remaining CPU time: 165.072 s
14.98/15.09	c ===============================================================================
14.98/15.09	c |      1727 |    3841    26548   268888 |     8849     1727    433 | 32.281 % |
15.09/15.17	c ===============================================================================
15.09/15.17	c New solution: 97956
15.09/15.17	o 97956
15.09/15.17	c Elapsed CPU time: 15.0097 s	Remaining CPU time: 164.99 s
15.09/15.17	c ===============================================================================
15.09/15.17	c |      1727 |    3841    26549   270892 |     8849     1727    433 | 32.281 % |
15.19/15.26	c ===============================================================================
15.19/15.26	c New solution: 97955
15.19/15.26	o 97955
15.19/15.26	c Elapsed CPU time: 15.0957 s	Remaining CPU time: 164.904 s
15.19/15.26	c ===============================================================================
15.19/15.26	c |      1727 |    3841    26550   272896 |     8850     1727    433 | 32.281 % |
15.30/15.38	c ===============================================================================
15.30/15.38	c New solution: 97946
15.30/15.38	o 97946
15.30/15.38	c Elapsed CPU time: 15.2217 s	Remaining CPU time: 164.778 s
15.30/15.38	c ===============================================================================
15.30/15.38	c |      1727 |    3841    26551   274900 |     8850     1727    433 | 32.281 % |
15.40/15.46	c ===============================================================================
15.40/15.46	c New solution: 97945
15.40/15.46	o 97945
15.40/15.46	c Elapsed CPU time: 15.2977 s	Remaining CPU time: 164.702 s
15.40/15.46	c ===============================================================================
15.40/15.46	c |      1727 |    3841    26552   276904 |     8850     1727    433 | 32.281 % |
15.49/15.54	c ===============================================================================
15.49/15.54	c New solution: 97944
15.49/15.54	o 97944
15.49/15.54	c Elapsed CPU time: 15.3707 s	Remaining CPU time: 164.629 s
15.49/15.54	c ===============================================================================
15.49/15.54	c |      1727 |    3841    26553   278908 |     8851     1727    433 | 32.281 % |
15.59/15.67	c ===============================================================================
15.59/15.67	c New solution: 97943
15.59/15.67	o 97943
15.59/15.67	c Elapsed CPU time: 15.4976 s	Remaining CPU time: 164.502 s
15.59/15.67	c ===============================================================================
15.59/15.67	c |      1727 |    3841    26554   280912 |     8851     1727    433 | 32.281 % |
15.68/15.76	c ===============================================================================
15.68/15.76	c New solution: 97942
15.68/15.76	o 97942
15.68/15.76	c Elapsed CPU time: 15.5926 s	Remaining CPU time: 164.407 s
15.68/15.76	c ===============================================================================
15.68/15.76	c |      1729 |    3841    26555   282916 |     8851     1729    433 | 32.281 % |
15.89/15.93	c ===============================================================================
15.89/15.93	c New solution: 96421
15.89/15.93	o 96421
15.89/15.93	c Elapsed CPU time: 15.7606 s	Remaining CPU time: 164.239 s
15.89/15.93	c ===============================================================================
15.89/15.93	c |      1737 |    3841    26556   284920 |     8852     1737    431 | 32.281 % |
15.99/16.07	c ===============================================================================
15.99/16.07	c New solution: 96408
15.99/16.07	o 96408
15.99/16.07	c Elapsed CPU time: 15.8936 s	Remaining CPU time: 164.106 s
15.99/16.07	c ===============================================================================
15.99/16.07	c |      1740 |    3841    26557   286924 |     8852     1740    430 | 32.281 % |
16.09/16.18	c ===============================================================================
16.09/16.18	c New solution: 96407
16.09/16.18	o 96407
16.09/16.18	c Elapsed CPU time: 16.0096 s	Remaining CPU time: 163.99 s
16.09/16.18	c ===============================================================================
16.09/16.18	c |      1743 |    3841    26558   288928 |     8852     1743    430 | 32.281 % |
16.19/16.29	c ===============================================================================
16.19/16.29	c New solution: 96406
16.19/16.29	o 96406
16.19/16.29	c Elapsed CPU time: 16.1136 s	Remaining CPU time: 163.886 s
16.19/16.29	c ===============================================================================
16.19/16.29	c |      1745 |    3841    26559   290932 |     8853     1745    430 | 32.281 % |
16.39/16.41	c ===============================================================================
16.39/16.41	c New solution: 96405
16.39/16.41	o 96405
16.39/16.41	c Elapsed CPU time: 16.2355 s	Remaining CPU time: 163.764 s
16.39/16.41	c ===============================================================================
16.39/16.41	c |      1750 |    3841    26560   292936 |     8853     1750    430 | 32.281 % |
16.49/16.53	c ===============================================================================
16.49/16.53	c New solution: 96393
16.49/16.53	o 96393
16.49/16.53	c Elapsed CPU time: 16.3545 s	Remaining CPU time: 163.645 s
16.49/16.53	c ===============================================================================
16.49/16.53	c |      1753 |    3841    26561   294940 |     8853     1753    430 | 32.281 % |
16.59/16.69	c ===============================================================================
16.59/16.69	c New solution: 96392
16.59/16.69	o 96392
16.59/16.69	c Elapsed CPU time: 16.5095 s	Remaining CPU time: 163.491 s
16.59/16.69	c ===============================================================================
16.59/16.69	c |      1753 |    3841    26562   296944 |     8854     1753    430 | 32.281 % |
16.89/16.91	c ===============================================================================
16.89/16.91	c New solution: 96391
16.89/16.91	o 96391
16.89/16.91	c Elapsed CPU time: 16.7285 s	Remaining CPU time: 163.272 s
16.89/16.91	c ===============================================================================
16.89/16.91	c |      1754 |    3841    26563   298948 |     8854     1754    430 | 32.281 % |
16.99/17.08	c ===============================================================================
16.99/17.08	c New solution: 96390
16.99/17.08	o 96390
16.99/17.08	c Elapsed CPU time: 16.8904 s	Remaining CPU time: 163.11 s
16.99/17.08	c ===============================================================================
16.99/17.08	c |      1757 |    3841    26564   300952 |     8854     1757    430 | 32.281 % |
17.08/17.19	c ===============================================================================
17.08/17.19	c New solution: 96389
17.08/17.19	o 96389
17.08/17.19	c Elapsed CPU time: 17.0054 s	Remaining CPU time: 162.995 s
17.08/17.19	c ===============================================================================
17.08/17.19	c |      1759 |    3841    26565   302956 |     8855     1759    430 | 32.281 % |
17.38/17.42	c ===============================================================================
17.38/17.42	c New solution: 96388
17.38/17.42	o 96388
17.38/17.42	c Elapsed CPU time: 17.2334 s	Remaining CPU time: 162.767 s
17.38/17.42	c ===============================================================================
17.38/17.42	c |      1768 |    3841    26566   304960 |     8855     1768    430 | 32.281 % |
17.49/17.55	c ===============================================================================
17.49/17.55	c New solution: 96387
17.49/17.55	o 96387
17.49/17.55	c Elapsed CPU time: 17.3654 s	Remaining CPU time: 162.635 s
17.49/17.55	c ===============================================================================
17.49/17.55	c |      1769 |    3841    26567   306964 |     8855     1769    430 | 32.281 % |
17.68/17.73	c ===============================================================================
17.68/17.73	c New solution: 96386
17.68/17.73	o 96386
17.68/17.73	c Elapsed CPU time: 17.5423 s	Remaining CPU time: 162.458 s
17.68/17.73	c ===============================================================================
17.68/17.73	c |      1771 |    3841    26568   308968 |     8856     1771    430 | 32.281 % |
18.09/18.17	c ===============================================================================
18.09/18.17	c New solution: 96385
18.09/18.17	o 96385
18.09/18.17	c Elapsed CPU time: 17.9773 s	Remaining CPU time: 162.023 s
18.09/18.17	c ===============================================================================
18.09/18.17	c |      1807 |    3841    26569   310972 |     8856     1807    433 | 32.281 % |
18.29/18.35	c ===============================================================================
18.29/18.35	c New solution: 96384
18.29/18.35	o 96384
18.29/18.35	c Elapsed CPU time: 18.1532 s	Remaining CPU time: 161.847 s
18.29/18.35	c ===============================================================================
18.29/18.35	c |      1831 |    3841    26570   312976 |     8856     1831    434 | 32.281 % |
18.39/18.49	c ===============================================================================
18.39/18.49	c New solution: 96383
18.39/18.49	o 96383
18.39/18.49	c Elapsed CPU time: 18.2962 s	Remaining CPU time: 161.704 s
18.39/18.49	c ===============================================================================
18.39/18.49	c |      1832 |    3841    26571   314980 |     8857     1832    434 | 32.281 % |
18.60/18.60	c ===============================================================================
18.60/18.60	c New solution: 96382
18.60/18.60	o 96382
18.60/18.60	c Elapsed CPU time: 18.4052 s	Remaining CPU time: 161.595 s
18.60/18.60	c ===============================================================================
18.60/18.60	c |      1836 |    3841    26572   316984 |     8857     1836    434 | 32.281 % |
18.70/18.78	c ===============================================================================
18.70/18.78	c New solution: 96363
18.70/18.78	o 96363
18.70/18.78	c Elapsed CPU time: 18.5852 s	Remaining CPU time: 161.415 s
18.70/18.78	c ===============================================================================
18.70/18.78	c |      1840 |    3841    26573   318988 |     8857     1840    433 | 32.281 % |
18.89/18.90	c ===============================================================================
18.89/18.90	c New solution: 96362
18.89/18.90	o 96362
18.89/18.90	c Elapsed CPU time: 18.7032 s	Remaining CPU time: 161.297 s
18.89/18.90	c ===============================================================================
18.89/18.90	c |      1842 |    3841    26574   320992 |     8858     1842    433 | 32.281 % |
18.99/19.02	c ===============================================================================
18.99/19.02	c New solution: 96361
18.99/19.02	o 96361
18.99/19.02	c Elapsed CPU time: 18.8251 s	Remaining CPU time: 161.175 s
18.99/19.02	c ===============================================================================
18.99/19.02	c |      1843 |    3841    26575   322996 |     8858     1843    433 | 32.281 % |
19.09/19.14	c ===============================================================================
19.09/19.14	c New solution: 96360
19.09/19.14	o 96360
19.09/19.14	c Elapsed CPU time: 18.9471 s	Remaining CPU time: 161.053 s
19.09/19.14	c ===============================================================================
19.09/19.14	c |      1843 |    3841    26576   325000 |     8858     1843    433 | 32.281 % |
19.19/19.26	c ===============================================================================
19.19/19.26	c New solution: 96359
19.19/19.26	o 96359
19.19/19.26	c Elapsed CPU time: 19.0591 s	Remaining CPU time: 160.941 s
19.19/19.26	c ===============================================================================
19.19/19.26	c |      1843 |    3841    26577   327004 |     8859     1843    433 | 32.281 % |
19.29/19.38	c ===============================================================================
19.29/19.38	c New solution: 96358
19.29/19.38	o 96358
19.29/19.38	c Elapsed CPU time: 19.1791 s	Remaining CPU time: 160.821 s
19.29/19.38	c ===============================================================================
19.29/19.38	c |      1843 |    3841    26578   329008 |     8859     1843    433 | 32.281 % |
19.48/19.51	c ===============================================================================
19.48/19.51	c New solution: 96357
19.48/19.51	o 96357
19.48/19.51	c Elapsed CPU time: 19.3081 s	Remaining CPU time: 160.692 s
19.48/19.51	c ===============================================================================
19.48/19.51	c |      1843 |    3841    26579   331012 |     8859     1843    433 | 32.281 % |
19.58/19.63	c ===============================================================================
19.58/19.63	c New solution: 96356
19.58/19.63	o 96356
19.58/19.63	c Elapsed CPU time: 19.428 s	Remaining CPU time: 160.572 s
19.58/19.63	c ===============================================================================
19.58/19.63	c |      1843 |    3841    26580   333016 |     8860     1843    433 | 32.281 % |
19.69/19.75	c ===============================================================================
19.69/19.75	c New solution: 96355
19.69/19.75	o 96355
19.69/19.75	c Elapsed CPU time: 19.547 s	Remaining CPU time: 160.453 s
19.69/19.75	c ===============================================================================
19.69/19.75	c |      1843 |    3841    26581   335020 |     8860     1843    433 | 32.281 % |
20.39/20.41	c |      1943 |    3841    26581   335020 |     9746     1943    442 | 32.281 % |
20.49/20.55	c ===============================================================================
20.49/20.55	c New solution: 96354
20.49/20.55	o 96354
20.49/20.55	c Elapsed CPU time: 20.3409 s	Remaining CPU time: 159.659 s
20.49/20.55	c ===============================================================================
20.49/20.55	c |      1947 |    3841    26582   337024 |     8860     1947    442 | 32.281 % |
20.59/20.67	c ===============================================================================
20.59/20.67	c New solution: 96353
20.59/20.67	o 96353
20.59/20.67	c Elapsed CPU time: 20.4679 s	Remaining CPU time: 159.532 s
20.59/20.67	c ===============================================================================
20.59/20.67	c |      1954 |    3841    26583   339028 |     8861     1954    442 | 32.281 % |
20.79/20.81	c |      2055 |    3841    26583   339028 |     9747     2055    448 | 32.281 % |
20.89/20.95	c ===============================================================================
20.89/20.95	c New solution: 96352
20.89/20.95	o 96352
20.89/20.95	c Elapsed CPU time: 20.7448 s	Remaining CPU time: 159.255 s
20.89/20.95	c ===============================================================================
20.89/20.95	c |      2076 |    3841    26584   341032 |     8861     2076    449 | 32.281 % |
21.59/21.62	c |      2177 |    3841    26584   341032 |     9747     2177    454 | 32.281 % |
21.69/21.75	c ===============================================================================
21.69/21.75	c New solution: 96351
21.69/21.75	o 96351
21.69/21.75	c Elapsed CPU time: 21.5427 s	Remaining CPU time: 158.457 s
21.69/21.75	c ===============================================================================
21.69/21.75	c |      2179 |    3841    26585   343036 |     8861     2179    454 | 32.281 % |
21.89/21.94	c ===============================================================================
21.89/21.94	c New solution: 96350
21.89/21.94	o 96350
21.89/21.94	c Elapsed CPU time: 21.7327 s	Remaining CPU time: 158.267 s
21.89/21.94	c ===============================================================================
21.89/21.94	c |      2183 |    3841    26586   345040 |     8862     2183    453 | 32.281 % |
21.99/22.06	c |      2283 |    3841    26586   345040 |     9748     2283    458 | 32.281 % |
22.48/22.54	c ===============================================================================
22.48/22.54	c New solution: 96349
22.48/22.54	o 96349
22.48/22.54	c Elapsed CPU time: 22.3286 s	Remaining CPU time: 157.671 s
22.48/22.54	c ===============================================================================
22.48/22.54	c |      2337 |    3841    26587   347044 |     8862     2337    460 | 32.281 % |
22.58/22.67	c ===============================================================================
22.58/22.67	c New solution: 96348
22.58/22.67	o 96348
22.58/22.67	c Elapsed CPU time: 22.4606 s	Remaining CPU time: 157.539 s
22.58/22.67	c ===============================================================================
22.58/22.67	c |      2343 |    3841    26588   349048 |     8862     2343    460 | 32.281 % |
23.18/23.30	c |      2444 |    3841    26588   349048 |     9748     2444    465 | 32.281 % |
24.39/24.45	c |      2595 |    3841    26588   349048 |    10723     2595    472 | 32.281 % |
24.59/24.65	c ===============================================================================
24.59/24.65	c New solution: 96347
24.59/24.65	o 96347
24.59/24.65	c Elapsed CPU time: 24.4303 s	Remaining CPU time: 155.57 s
24.59/24.65	c ===============================================================================
24.59/24.65	c |      2611 |    3841    26589   351052 |     8863     2611    472 | 32.281 % |
24.68/24.76	c |      2712 |    3841    26589   351052 |     9749     2712    474 | 32.281 % |
25.08/25.11	c ===============================================================================
25.08/25.11	c New solution: 96346
25.08/25.11	o 96346
25.08/25.11	c Elapsed CPU time: 24.8882 s	Remaining CPU time: 155.112 s
25.08/25.11	c ===============================================================================
25.08/25.11	c |      2801 |    3841    26590   353056 |     8863     2801    474 | 32.281 % |
25.08/25.18	c ===============================================================================
25.08/25.18	c New solution: 94816
25.08/25.18	o 94816
25.08/25.18	c Elapsed CPU time: 24.9572 s	Remaining CPU time: 155.043 s
25.08/25.18	c ===============================================================================
25.08/25.18	c |      2802 |    3841    26591   355060 |     8863     2802    474 | 32.281 % |
25.19/25.23	c ===============================================================================
25.19/25.23	c New solution: 94815
25.19/25.23	o 94815
25.19/25.23	c Elapsed CPU time: 25.0112 s	Remaining CPU time: 154.989 s
25.19/25.23	c ===============================================================================
25.19/25.23	c |      2803 |    3841    26592   357064 |     8864     2803    474 | 32.281 % |
25.19/25.28	c ===============================================================================
25.19/25.28	c New solution: 94814
25.19/25.28	o 94814
25.19/25.28	c Elapsed CPU time: 25.0572 s	Remaining CPU time: 154.943 s
25.19/25.28	c ===============================================================================
25.19/25.28	c |      2804 |    3841    26593   359068 |     8864     2804    474 | 32.281 % |
25.29/25.37	c ===============================================================================
25.29/25.37	c New solution: 94813
25.29/25.37	o 94813
25.29/25.37	c Elapsed CPU time: 25.1502 s	Remaining CPU time: 154.85 s
25.29/25.37	c ===============================================================================
25.29/25.37	c |      2810 |    3841    26594   361072 |     8864     2810    474 | 32.281 % |
25.49/25.56	c ===============================================================================
25.49/25.56	c New solution: 94811
25.49/25.56	o 94811
25.49/25.56	c Elapsed CPU time: 25.3361 s	Remaining CPU time: 154.664 s
25.49/25.56	c ===============================================================================
25.49/25.56	c |      2812 |    3841    26595   363076 |     8865     2812    474 | 32.281 % |
25.69/25.74	c ===============================================================================
25.69/25.74	c New solution: 94809
25.69/25.74	o 94809
25.69/25.74	c Elapsed CPU time: 25.5111 s	Remaining CPU time: 154.489 s
25.69/25.74	c ===============================================================================
25.69/25.74	c |      2816 |    3841    26596   365080 |     8865     2816    474 | 32.281 % |
25.79/25.89	c ===============================================================================
25.79/25.89	c New solution: 94808
25.79/25.89	o 94808
25.79/25.89	c Elapsed CPU time: 25.6661 s	Remaining CPU time: 154.334 s
25.79/25.89	c ===============================================================================
25.79/25.89	c |      2816 |    3841    26597   367084 |     8865     2816    474 | 32.281 % |
25.98/26.01	c ===============================================================================
25.98/26.01	c New solution: 94807
25.98/26.01	o 94807
25.98/26.01	c Elapsed CPU time: 25.7851 s	Remaining CPU time: 154.215 s
25.98/26.01	c ===============================================================================
25.98/26.01	c |      2817 |    3841    26598   369088 |     8866     2817    474 | 32.281 % |
26.08/26.17	c ===============================================================================
26.08/26.17	c New solution: 94806
26.08/26.17	o 94806
26.08/26.17	c Elapsed CPU time: 25.9421 s	Remaining CPU time: 154.058 s
26.08/26.17	c ===============================================================================
26.08/26.17	c |      2817 |    3841    26599   371092 |     8866     2817    474 | 32.281 % |
26.29/26.33	c ===============================================================================
26.29/26.33	c New solution: 94805
26.29/26.33	o 94805
26.29/26.33	c Elapsed CPU time: 26.1 s	Remaining CPU time: 153.9 s
26.29/26.33	c ===============================================================================
26.29/26.33	c |      2817 |    3841    26600   373096 |     8866     2817    474 | 32.281 % |
26.29/26.40	c ===============================================================================
26.29/26.40	c New solution: 93268
26.29/26.40	o 93268
26.29/26.40	c Elapsed CPU time: 26.164 s	Remaining CPU time: 153.836 s
26.29/26.40	c ===============================================================================
26.29/26.40	c |      2818 |    3841    26601   375100 |     8867     2818    474 | 32.281 % |
26.59/26.60	c ===============================================================================
26.59/26.60	c New solution: 93249
26.59/26.60	o 93249
26.59/26.60	c Elapsed CPU time: 26.367 s	Remaining CPU time: 153.633 s
26.59/26.60	c ===============================================================================
26.59/26.60	c |      2818 |    3841    26602   377104 |     8867     2818    474 | 32.281 % |
26.79/26.81	c ===============================================================================
26.79/26.81	c New solution: 93248
26.79/26.81	o 93248
26.79/26.81	c Elapsed CPU time: 26.58 s	Remaining CPU time: 153.42 s
26.79/26.81	c ===============================================================================
26.79/26.81	c |      2818 |    3841    26603   379108 |     8867     2818    474 | 32.281 % |
26.98/27.03	c ===============================================================================
26.98/27.03	c New solution: 93246
26.98/27.03	o 93246
26.98/27.03	c Elapsed CPU time: 26.7959 s	Remaining CPU time: 153.204 s
26.98/27.03	c ===============================================================================
26.98/27.03	c |      2818 |    3841    26604   381112 |     8868     2818    474 | 32.281 % |
27.18/27.23	c ===============================================================================
27.18/27.23	c New solution: 93243
27.18/27.23	o 93243
27.18/27.23	c Elapsed CPU time: 26.9929 s	Remaining CPU time: 153.007 s
27.18/27.23	c ===============================================================================
27.18/27.23	c |      2818 |    3841    26605   383116 |     8868     2818    474 | 32.281 % |
27.39/27.42	c ===============================================================================
27.39/27.42	c New solution: 93239
27.39/27.42	o 93239
27.39/27.42	c Elapsed CPU time: 27.1849 s	Remaining CPU time: 152.815 s
27.39/27.42	c ===============================================================================
27.39/27.42	c |      2818 |    3841    26606   385120 |     8868     2818    474 | 32.281 % |
27.58/27.60	c ===============================================================================
27.58/27.60	c New solution: 93238
27.58/27.60	o 93238
27.58/27.60	c Elapsed CPU time: 27.3578 s	Remaining CPU time: 152.642 s
27.58/27.60	c ===============================================================================
27.58/27.60	c |      2818 |    3841    26607   387124 |     8869     2818    474 | 32.281 % |
27.68/27.77	c ===============================================================================
27.68/27.77	c New solution: 93237
27.68/27.77	o 93237
27.68/27.77	c Elapsed CPU time: 27.5318 s	Remaining CPU time: 152.468 s
27.68/27.77	c ===============================================================================
27.68/27.77	c |      2818 |    3841    26608   389128 |     8869     2818    474 | 32.281 % |
27.88/27.97	c ===============================================================================
27.88/27.97	c New solution: 93236
27.88/27.97	o 93236
27.88/27.97	c Elapsed CPU time: 27.7228 s	Remaining CPU time: 152.277 s
27.88/27.97	c ===============================================================================
27.88/27.97	c |      2818 |    3841    26609   391132 |     8869     2818    474 | 32.281 % |
27.98/28.05	c ===============================================================================
27.98/28.05	c New solution: 91708
27.98/28.05	o 91708
27.98/28.05	c Elapsed CPU time: 27.8028 s	Remaining CPU time: 152.197 s
27.98/28.05	c ===============================================================================
27.98/28.05	c |      2819 |    3841    26610   393136 |     8870     2819    474 | 32.281 % |
28.08/28.13	c ===============================================================================
28.08/28.13	c New solution: 91703
28.08/28.13	o 91703
28.08/28.13	c Elapsed CPU time: 27.8898 s	Remaining CPU time: 152.11 s
28.08/28.13	c ===============================================================================
28.08/28.13	c |      2820 |    3841    26611   395140 |     8870     2820    473 | 32.281 % |
28.29/28.38	c ===============================================================================
28.29/28.38	c New solution: 91689
28.29/28.38	o 91689
28.29/28.38	c Elapsed CPU time: 28.1317 s	Remaining CPU time: 151.868 s
28.29/28.38	c ===============================================================================
28.29/28.38	c |      2821 |    3841    26612   397144 |     8870     2821    473 | 32.281 % |
28.59/28.63	c ===============================================================================
28.59/28.63	c New solution: 91681
28.59/28.63	o 91681
28.59/28.63	c Elapsed CPU time: 28.3857 s	Remaining CPU time: 151.614 s
28.59/28.63	c ===============================================================================
28.59/28.63	c |      2838 |    3841    26613   399148 |     8871     2838    473 | 32.281 % |
28.68/28.71	c ===============================================================================
28.68/28.71	c New solution: 90131
28.68/28.71	o 90131
28.68/28.71	c Elapsed CPU time: 28.4647 s	Remaining CPU time: 151.535 s
28.68/28.71	c ===============================================================================
28.68/28.71	c |      2839 |    3841    26614   401152 |     8871     2839    473 | 32.281 % |
28.78/28.81	c ===============================================================================
28.78/28.81	c New solution: 90116
28.78/28.81	o 90116
28.78/28.81	c Elapsed CPU time: 28.5637 s	Remaining CPU time: 151.436 s
28.78/28.81	c ===============================================================================
28.78/28.81	c |      2840 |    3841    26615   403156 |     8871     2840    473 | 32.281 % |
28.98/29.04	c ===============================================================================
28.98/29.04	c New solution: 90110
28.98/29.04	o 90110
28.98/29.04	c Elapsed CPU time: 28.7936 s	Remaining CPU time: 151.206 s
28.98/29.04	c ===============================================================================
28.98/29.04	c |      2851 |    3841    26616   405160 |     8872     2851    473 | 32.281 % |
29.19/29.24	c ===============================================================================
29.19/29.24	c New solution: 90092
29.19/29.24	o 90092
29.19/29.24	c Elapsed CPU time: 28.9896 s	Remaining CPU time: 151.01 s
29.19/29.24	c ===============================================================================
29.19/29.24	c |      2853 |    3841    26617   407164 |     8872     2853    473 | 32.281 % |
29.29/29.37	c ===============================================================================
29.29/29.37	c New solution: 88568
29.29/29.37	o 88568
29.29/29.37	c Elapsed CPU time: 29.1126 s	Remaining CPU time: 150.887 s
29.29/29.37	c ===============================================================================
29.29/29.37	c |      2854 |    3841    26618   409168 |     8872     2854    473 | 32.281 % |
29.59/29.64	c ===============================================================================
29.59/29.64	c New solution: 88529
29.59/29.64	o 88529
29.59/29.64	c Elapsed CPU time: 29.3805 s	Remaining CPU time: 150.619 s
29.59/29.64	c ===============================================================================
29.59/29.64	c |      2872 |    3841    26619   411172 |     8873     2872    473 | 32.281 % |
29.69/29.72	c ===============================================================================
29.69/29.72	c New solution: 86991
29.69/29.72	o 86991
29.69/29.72	c Elapsed CPU time: 29.4605 s	Remaining CPU time: 150.539 s
29.69/29.72	c ===============================================================================
29.69/29.72	c |      2874 |    3841    26620   413176 |     8873     2874    473 | 32.281 % |
29.69/29.78	c ===============================================================================
29.69/29.78	c New solution: 86990
29.69/29.78	o 86990
29.69/29.78	c Elapsed CPU time: 29.5215 s	Remaining CPU time: 150.478 s
29.69/29.78	c ===============================================================================
29.69/29.78	c |      2874 |    3841    26621   415180 |     8873     2874    473 | 32.281 % |
29.88/29.97	c ===============================================================================
29.88/29.97	c New solution: 86982
29.88/29.97	o 86982
29.88/29.97	c Elapsed CPU time: 29.7105 s	Remaining CPU time: 150.29 s
29.88/29.97	c ===============================================================================
29.88/29.97	c |      2875 |    3841    26622   417184 |     8874     2875    473 | 32.281 % |
29.98/30.06	c ===============================================================================
29.98/30.06	c New solution: 85434
29.98/30.06	o 85434
29.98/30.06	c Elapsed CPU time: 29.7925 s	Remaining CPU time: 150.208 s
29.98/30.06	c ===============================================================================
29.98/30.06	c |      2881 |    3841    26623   419188 |     8874     2881    473 | 32.281 % |
30.09/30.12	c ===============================================================================
30.09/30.12	c New solution: 83880
30.09/30.12	o 83880
30.09/30.12	c Elapsed CPU time: 29.8585 s	Remaining CPU time: 150.142 s
30.09/30.12	c ===============================================================================
30.09/30.12	c |      2882 |    3841    26624   421192 |     8874     2882    473 | 32.281 % |
30.29/30.35	c ===============================================================================
30.29/30.35	c New solution: 83845
30.29/30.35	o 83845
30.29/30.35	c Elapsed CPU time: 30.0864 s	Remaining CPU time: 149.914 s
30.29/30.35	c ===============================================================================
30.29/30.35	c |      2883 |    3841    26625   423196 |     8875     2883    472 | 32.281 % |
30.49/30.60	c ===============================================================================
30.49/30.60	c New solution: 83844
30.49/30.60	o 83844
30.49/30.60	c Elapsed CPU time: 30.3294 s	Remaining CPU time: 149.671 s
30.49/30.60	c ===============================================================================
30.49/30.60	c |      2885 |    3841    26626   425200 |     8875     2885    472 | 32.281 % |
30.79/30.80	c ===============================================================================
30.79/30.80	c New solution: 83841
30.79/30.81	o 83841
30.79/30.81	c Elapsed CPU time: 30.5374 s	Remaining CPU time: 149.463 s
30.79/30.81	c ===============================================================================
30.79/30.81	c |      2889 |    3841    26627   427204 |     8875     2889    472 | 32.281 % |
30.98/31.04	c ===============================================================================
30.98/31.04	c New solution: 83840
30.98/31.04	o 83840
30.98/31.04	c Elapsed CPU time: 30.7723 s	Remaining CPU time: 149.228 s
30.98/31.04	c ===============================================================================
30.98/31.04	c |      2892 |    3841    26628   429208 |     8876     2892    472 | 32.281 % |
31.28/31.32	c ===============================================================================
31.28/31.32	c New solution: 83824
31.28/31.32	o 83824
31.28/31.32	c Elapsed CPU time: 31.0533 s	Remaining CPU time: 148.947 s
31.28/31.32	c ===============================================================================
31.28/31.32	c |      2908 |    3841    26629   431212 |     8876     2908    472 | 32.281 % |
31.98/32.09	c |      3008 |    3841    26629   431212 |     9763     3008    477 | 32.281 % |
32.38/32.43	c ===============================================================================
32.38/32.43	c New solution: 83821
32.38/32.43	o 83821
32.38/32.43	c Elapsed CPU time: 32.1561 s	Remaining CPU time: 147.844 s
32.38/32.43	c ===============================================================================
32.38/32.43	c |      3088 |    3841    26630   433216 |     8876     3088    478 | 32.281 % |
32.58/32.63	c ===============================================================================
32.58/32.63	c New solution: 83820
32.58/32.63	o 83820
32.58/32.63	c Elapsed CPU time: 32.3581 s	Remaining CPU time: 147.642 s
32.58/32.63	c ===============================================================================
32.58/32.63	c |      3089 |    3841    26631   435220 |     8877     3089    478 | 32.281 % |
32.78/32.87	c ===============================================================================
32.78/32.87	c New solution: 83819
32.78/32.87	o 83819
32.78/32.87	c Elapsed CPU time: 32.594 s	Remaining CPU time: 147.406 s
32.78/32.87	c ===============================================================================
32.78/32.87	c |      3096 |    3841    26632   437224 |     8877     3096    478 | 32.281 % |
33.08/33.11	c ===============================================================================
33.08/33.11	c New solution: 83813
33.08/33.11	o 83813
33.08/33.11	c Elapsed CPU time: 32.838 s	Remaining CPU time: 147.162 s
33.08/33.11	c ===============================================================================
33.08/33.11	c |      3103 |    3841    26633   439228 |     8877     3103    478 | 32.281 % |
33.28/33.31	c ===============================================================================
33.28/33.31	c New solution: 83812
33.28/33.31	o 83812
33.28/33.31	c Elapsed CPU time: 33.031 s	Remaining CPU time: 146.969 s
33.28/33.31	c ===============================================================================
33.28/33.31	c |      3106 |    3841    26634   441232 |     8878     3106    478 | 32.281 % |
33.49/33.58	c ===============================================================================
33.49/33.58	c New solution: 83811
33.49/33.58	o 83811
33.49/33.58	c Elapsed CPU time: 33.3049 s	Remaining CPU time: 146.695 s
33.49/33.58	c ===============================================================================
33.49/33.58	c |      3119 |    3841    26635   443236 |     8878     3119    479 | 32.281 % |
33.79/33.85	c ===============================================================================
33.79/33.85	c New solution: 83806
33.79/33.85	o 83806
33.79/33.85	c Elapsed CPU time: 33.5769 s	Remaining CPU time: 146.423 s
33.79/33.85	c ===============================================================================
33.79/33.85	c |      3133 |    3841    26636   445240 |     8878     3133    479 | 32.281 % |
33.99/34.07	c ===============================================================================
33.99/34.07	c New solution: 83805
33.99/34.07	o 83805
33.99/34.07	c Elapsed CPU time: 33.7949 s	Remaining CPU time: 146.205 s
33.99/34.07	c ===============================================================================
33.99/34.07	c |      3137 |    3841    26637   447244 |     8879     3137    479 | 32.281 % |
34.28/34.32	c ===============================================================================
34.28/34.32	c New solution: 83804
34.28/34.32	o 83804
34.28/34.32	c Elapsed CPU time: 34.0468 s	Remaining CPU time: 145.953 s
34.28/34.32	c ===============================================================================
34.28/34.32	c |      3159 |    3841    26638   449248 |     8879     3159    479 | 32.281 % |
34.48/34.56	c ===============================================================================
34.48/34.56	c New solution: 83803
34.48/34.56	o 83803
34.48/34.56	c Elapsed CPU time: 34.2808 s	Remaining CPU time: 145.719 s
34.48/34.56	c ===============================================================================
34.48/34.56	c |      3160 |    3841    26639   451252 |     8879     3160    479 | 32.281 % |
35.09/35.15	c ===============================================================================
35.09/35.15	c New solution: 83802
35.09/35.15	o 83802
35.09/35.15	c Elapsed CPU time: 34.8707 s	Remaining CPU time: 145.129 s
35.09/35.15	c ===============================================================================
35.09/35.15	c |      3197 |    3841    26640   453256 |     8880     3197    480 | 32.281 % |
35.28/35.38	c ===============================================================================
35.28/35.38	c New solution: 83801
35.28/35.38	o 83801
35.28/35.38	c Elapsed CPU time: 35.1027 s	Remaining CPU time: 144.897 s
35.28/35.38	c ===============================================================================
35.28/35.38	c |      3201 |    3841    26641   455260 |     8880     3201    480 | 32.281 % |
36.19/36.27	c ===============================================================================
36.19/36.27	c New solution: 83800
36.19/36.27	o 83800
36.19/36.27	c Elapsed CPU time: 35.9915 s	Remaining CPU time: 144.008 s
36.19/36.27	c ===============================================================================
36.19/36.27	c |      3259 |    3841    26642   457264 |     8880     3259    482 | 32.281 % |
37.18/37.26	c |      3361 |    3841    26642   457264 |     9768     3361    484 | 32.281 % |
37.48/37.52	c ===============================================================================
37.48/37.52	c New solution: 83799
37.48/37.52	o 83799
37.48/37.52	c Elapsed CPU time: 37.2403 s	Remaining CPU time: 142.76 s
37.48/37.52	c ===============================================================================
37.48/37.52	c |      3403 |    3841    26643   459268 |     8881     3403    485 | 32.281 % |
37.68/37.73	c ===============================================================================
37.68/37.73	c New solution: 83789
37.68/37.73	o 83789
37.68/37.73	c Elapsed CPU time: 37.4513 s	Remaining CPU time: 142.549 s
37.68/37.73	c ===============================================================================
37.68/37.73	c |      3407 |    3841    26644   461272 |     8881     3407    485 | 32.281 % |
37.88/37.92	c ===============================================================================
37.88/37.92	c New solution: 83788
37.88/37.92	o 83788
37.88/37.92	c Elapsed CPU time: 37.6423 s	Remaining CPU time: 142.358 s
37.88/37.92	c ===============================================================================
37.88/37.92	c |      3414 |    3841    26645   463276 |     8881     3414    485 | 32.281 % |
38.18/38.23	c ===============================================================================
38.18/38.23	c New solution: 83787
38.18/38.23	o 83787
38.18/38.23	c Elapsed CPU time: 37.9482 s	Remaining CPU time: 142.052 s
38.18/38.23	c ===============================================================================
38.18/38.23	c |      3434 |    3841    26646   465280 |     8882     3434    485 | 32.281 % |
39.18/39.25	c |      3534 |    3841    26646   465280 |     9770     3534    488 | 32.281 % |
39.38/39.45	c ===============================================================================
39.38/39.45	c New solution: 83786
39.38/39.45	o 83786
39.38/39.45	c Elapsed CPU time: 39.165 s	Remaining CPU time: 140.835 s
39.38/39.45	c ===============================================================================
39.38/39.45	c |      3539 |    3841    26647   467284 |     8882     3539    488 | 32.281 % |
39.68/39.74	c ===============================================================================
39.68/39.74	c New solution: 83785
39.68/39.74	o 83785
39.68/39.74	c Elapsed CPU time: 39.455 s	Remaining CPU time: 140.545 s
39.68/39.74	c ===============================================================================
39.68/39.74	c |      3562 |    3841    26648   469288 |     8882     3562    488 | 32.281 % |
40.48/40.57	c |      3663 |    3841    26648   469288 |     9770     3663    490 | 32.281 % |
40.78/40.85	c ===============================================================================
40.78/40.85	c New solution: 83784
40.78/40.85	o 83784
40.78/40.85	c Elapsed CPU time: 40.5598 s	Remaining CPU time: 139.44 s
40.78/40.85	c ===============================================================================
40.78/40.85	c |      3673 |    3841    26649   471292 |     8883     3673    490 | 32.281 % |
41.58/41.69	c |      3773 |    3841    26649   471292 |     9771     3773    492 | 32.281 % |
42.18/42.26	c |      3924 |    3841    26649   471292 |    10748     3924    494 | 32.281 % |
44.48/44.57	c |      4149 |    3841    26649   471292 |    11823     4149    499 | 32.281 % |
44.78/44.81	c ===============================================================================
44.78/44.81	c New solution: 83783
44.78/44.81	o 83783
44.78/44.81	c Elapsed CPU time: 44.5182 s	Remaining CPU time: 135.482 s
44.78/44.81	c ===============================================================================
44.78/44.81	c |      4166 |    3841    26650   473296 |     8883     4166    499 | 32.281 % |
45.48/45.58	c |      4266 |    3841    26650   473296 |     9771     4266    501 | 32.281 % |
46.88/46.94	c |      4416 |    3841    26650   473296 |    10748     4416    504 | 32.281 % |
47.38/47.44	c ===============================================================================
47.38/47.44	c New solution: 83782
47.38/47.44	o 83782
47.38/47.44	c Elapsed CPU time: 47.1408 s	Remaining CPU time: 132.859 s
47.38/47.44	c ===============================================================================
47.38/47.44	c |      4420 |    3841    26651   475300 |     8883     4420    504 | 32.281 % |
48.18/48.24	c ===============================================================================
48.18/48.24	c New solution: 83781
48.18/48.24	o 83781
48.18/48.24	c Elapsed CPU time: 47.9327 s	Remaining CPU time: 132.067 s
48.18/48.24	c ===============================================================================
48.18/48.24	c |      4495 |    3841    26652   477304 |     8884     4495    505 | 32.281 % |
48.48/48.56	c |      4595 |    3841    26652   477304 |     9772     4595    505 | 32.281 % |
49.49/49.58	c |      4746 |    3841    26652   477304 |    10749     4746    507 | 32.281 % |
51.48/51.58	c |      4972 |    3841    26652   477304 |    11824     4972    511 | 32.281 % |
51.88/51.97	c ===============================================================================
51.88/51.97	c New solution: 83780
51.88/51.97	o 83780
51.88/51.97	c Elapsed CPU time: 51.6491 s	Remaining CPU time: 128.351 s
51.88/51.97	c ===============================================================================
51.88/51.97	c |      4983 |    3841    26653   479308 |     8884     4983    511 | 32.281 % |
52.47/52.53	c ===============================================================================
52.47/52.53	c New solution: 83779
52.47/52.53	o 83779
52.47/52.53	c Elapsed CPU time: 52.2091 s	Remaining CPU time: 127.791 s
52.47/52.53	c ===============================================================================
52.47/52.53	c |      5027 |    3841    26654   481312 |     8884     5027    511 | 32.281 % |
52.87/53.00	c ===============================================================================
52.87/53.00	c New solution: 83778
52.87/53.00	o 83778
52.87/53.00	c Elapsed CPU time: 52.677 s	Remaining CPU time: 127.323 s
52.87/53.00	c ===============================================================================
52.87/53.00	c |      5089 |    3841    26655   483316 |     8885     5089    510 | 32.281 % |
53.88/53.92	c |      5189 |    3841    26655   483316 |     9773     5189    512 | 32.281 % |
55.08/55.16	c |      5339 |    3841    26655   483316 |    10750     5339    514 | 32.281 % |
55.88/55.94	c ===============================================================================
55.88/55.94	c New solution: 83777
55.88/55.94	o 83777
55.88/55.94	c Elapsed CPU time: 55.6195 s	Remaining CPU time: 124.38 s
55.88/55.94	c ===============================================================================
55.88/55.94	c |      5404 |    3841    26656   485320 |     8885     5404    515 | 32.281 % |
56.28/56.32	c ===============================================================================
56.28/56.32	c New solution: 83776
56.28/56.32	o 83776
56.28/56.32	c Elapsed CPU time: 55.9905 s	Remaining CPU time: 124.01 s
56.28/56.32	c ===============================================================================
56.28/56.32	c |      5443 |    3841    26657   487324 |     8885     5443    514 | 32.281 % |
56.88/56.98	c |      5544 |    3841    26657   487324 |     9774     5544    515 | 32.281 % |
56.97/57.08	c ===============================================================================
56.97/57.08	c New solution: 83775
56.97/57.08	o 83775
56.97/57.08	c Elapsed CPU time: 56.7564 s	Remaining CPU time: 123.244 s
56.97/57.08	c ===============================================================================
56.97/57.08	c |      5548 |    3841    26658   489328 |     8886     5548    515 | 32.281 % |
57.47/57.51	c |      5648 |    3841    26658   489328 |     9774     5648    515 | 32.281 % |
57.97/58.09	c ===============================================================================
57.97/58.09	c New solution: 83774
57.97/58.09	o 83774
57.97/58.09	c Elapsed CPU time: 57.7592 s	Remaining CPU time: 122.241 s
57.97/58.09	c ===============================================================================
57.97/58.09	c |      5699 |    3841    26659   491332 |     8886     5699    515 | 32.281 % |
58.68/58.71	c ===============================================================================
58.68/58.71	c New solution: 82248
58.68/58.71	o 82248
58.68/58.71	c Elapsed CPU time: 58.3741 s	Remaining CPU time: 121.626 s
58.68/58.71	c ===============================================================================
58.68/58.71	c |      5768 |    3841    26660   493336 |     8886     5768    515 | 32.281 % |
59.18/59.28	c ===============================================================================
59.18/59.28	c New solution: 82226
59.18/59.28	o 82226
59.18/59.28	c Elapsed CPU time: 58.953 s	Remaining CPU time: 121.047 s
59.18/59.28	c ===============================================================================
59.18/59.28	c |      5808 |    3841    26661   495340 |     8887     5808    515 | 32.281 % |
59.48/59.53	c ===============================================================================
59.48/59.53	c New solution: 82225
59.48/59.53	o 82225
59.48/59.53	c Elapsed CPU time: 59.201 s	Remaining CPU time: 120.799 s
59.48/59.53	c ===============================================================================
59.48/59.53	c |      5809 |    3841    26662   497344 |     8887     5809    515 | 32.281 % |
59.78/59.82	c ===============================================================================
59.78/59.82	c New solution: 82224
59.78/59.82	o 82224
59.78/59.82	c Elapsed CPU time: 59.483 s	Remaining CPU time: 120.517 s
59.78/59.82	c ===============================================================================
59.78/59.82	c |      5809 |    3841    26663   499348 |     8887     5809    515 | 32.281 % |
59.88/59.98	c ===============================================================================
59.88/59.98	c New solution: 82223
59.88/59.98	o 82223
59.88/59.98	c Elapsed CPU time: 59.6449 s	Remaining CPU time: 120.355 s
59.88/59.98	c ===============================================================================
59.88/59.98	c |      5811 |    3841    26664   501352 |     8888     5811    515 | 32.281 % |
59.97/60.08	c ===============================================================================
59.97/60.08	c New solution: 80721
59.97/60.08	o 80721
59.97/60.08	c Elapsed CPU time: 59.7399 s	Remaining CPU time: 120.26 s
59.97/60.08	c ===============================================================================
59.97/60.08	c |      5812 |    3841    26665   503356 |     8888     5812    515 | 32.281 % |
60.07/60.17	c ===============================================================================
60.07/60.17	c New solution: 80714
60.07/60.17	o 80714
60.07/60.17	c Elapsed CPU time: 59.8309 s	Remaining CPU time: 120.169 s
60.07/60.17	c ===============================================================================
60.07/60.17	c |      5812 |    3841    26666   505360 |     8888     5812    515 | 32.281 % |
60.17/60.27	c ===============================================================================
60.17/60.27	c New solution: 79161
60.17/60.27	o 79161
60.17/60.27	c Elapsed CPU time: 59.9279 s	Remaining CPU time: 120.072 s
60.17/60.27	c ===============================================================================
60.17/60.27	c |      5812 |    3841    26667   507364 |     8889     5812    515 | 32.281 % |
60.27/60.37	c ===============================================================================
60.27/60.37	c New solution: 79151
60.27/60.37	o 79151
60.27/60.37	c Elapsed CPU time: 60.0269 s	Remaining CPU time: 119.973 s
60.27/60.37	c ===============================================================================
60.27/60.37	c |      5813 |    3841    26668   509368 |     8889     5813    515 | 32.281 % |
60.38/60.48	c ===============================================================================
60.38/60.48	c New solution: 77595
60.38/60.48	o 77595
60.38/60.48	c Elapsed CPU time: 60.1389 s	Remaining CPU time: 119.861 s
60.38/60.48	c ===============================================================================
60.38/60.48	c |      5815 |    3841    26669   511372 |     8889     5815    515 | 32.281 % |
60.57/60.62	c ===============================================================================
60.57/60.62	c New solution: 77559
60.57/60.62	o 77559
60.57/60.62	c Elapsed CPU time: 60.2848 s	Remaining CPU time: 119.715 s
60.57/60.62	c ===============================================================================
60.57/60.62	c |      5815 |    3841    26670   513376 |     8890     5815    515 | 32.281 % |
60.68/60.72	c ===============================================================================
60.68/60.72	c New solution: 76031
60.68/60.72	o 76031
60.68/60.72	c Elapsed CPU time: 60.3818 s	Remaining CPU time: 119.618 s
60.68/60.72	c ===============================================================================
60.68/60.72	c |      5815 |    3841    26671   515380 |     8890     5815    515 | 32.281 % |
60.78/60.87	c ===============================================================================
60.78/60.87	c New solution: 76005
60.78/60.87	o 76005
60.78/60.87	c Elapsed CPU time: 60.5238 s	Remaining CPU time: 119.476 s
60.78/60.87	c ===============================================================================
60.78/60.87	c |      5815 |    3841    26672   517384 |     8890     5815    515 | 32.281 % |
60.97/61.02	c ===============================================================================
60.97/61.02	c New solution: 76004
60.97/61.02	o 76004
60.97/61.02	c Elapsed CPU time: 60.6708 s	Remaining CPU time: 119.329 s
60.97/61.02	c ===============================================================================
60.97/61.02	c |      5815 |    3841    26673   519388 |     8891     5815    515 | 32.281 % |
61.07/61.17	c ===============================================================================
61.07/61.17	c New solution: 76003
61.07/61.17	o 76003
61.07/61.17	c Elapsed CPU time: 60.8148 s	Remaining CPU time: 119.185 s
61.07/61.17	c ===============================================================================
61.07/61.17	c |      5816 |    3841    26674   521392 |     8891     5816    514 | 32.281 % |
61.28/61.31	c ===============================================================================
61.28/61.31	c New solution: 76002
61.28/61.31	o 76002
61.28/61.31	c Elapsed CPU time: 60.9567 s	Remaining CPU time: 119.043 s
61.28/61.31	c ===============================================================================
61.28/61.31	c |      5816 |    3841    26675   523396 |     8891     5816    514 | 32.281 % |
61.38/61.46	c ===============================================================================
61.38/61.46	c New solution: 76001
61.38/61.46	o 76001
61.38/61.46	c Elapsed CPU time: 61.1057 s	Remaining CPU time: 118.894 s
61.38/61.46	c ===============================================================================
61.38/61.46	c |      5816 |    3841    26676   525400 |     8892     5816    514 | 32.281 % |
61.48/61.55	c ===============================================================================
61.48/61.55	c New solution: 74441
61.48/61.55	o 74441
61.48/61.55	c Elapsed CPU time: 61.1927 s	Remaining CPU time: 118.807 s
61.48/61.55	c ===============================================================================
61.48/61.55	c |      5816 |    3841    26677   527404 |     8892     5816    514 | 32.281 % |
61.58/61.69	c ===============================================================================
61.58/61.69	c New solution: 74440
61.58/61.69	o 74440
61.58/61.69	c Elapsed CPU time: 61.3287 s	Remaining CPU time: 118.671 s
61.58/61.69	c ===============================================================================
61.58/61.69	c |      5817 |    3841    26678   529408 |     8892     5817    514 | 32.281 % |
61.77/61.84	c ===============================================================================
61.77/61.84	c New solution: 74439
61.77/61.84	o 74439
61.77/61.84	c Elapsed CPU time: 61.4787 s	Remaining CPU time: 118.521 s
61.77/61.84	c ===============================================================================
61.77/61.84	c |      5817 |    3841    26679   531412 |     8893     5817    514 | 32.281 % |
61.87/61.98	c ===============================================================================
61.87/61.98	c New solution: 74434
61.87/61.98	o 74434
61.87/61.98	c Elapsed CPU time: 61.6186 s	Remaining CPU time: 118.381 s
61.87/61.98	c ===============================================================================
61.87/61.98	c |      5817 |    3841    26680   533416 |     8893     5817    514 | 32.281 % |
61.97/62.08	c ===============================================================================
61.97/62.08	c New solution: 74433
61.97/62.08	o 74433
61.97/62.08	c Elapsed CPU time: 61.7196 s	Remaining CPU time: 118.28 s
61.97/62.08	c ===============================================================================
61.97/62.08	c |      5817 |    3841    26681   535420 |     8893     5817    514 | 32.281 % |
62.17/62.22	c ===============================================================================
62.17/62.22	c New solution: 74432
62.17/62.22	o 74432
62.17/62.22	c Elapsed CPU time: 61.8556 s	Remaining CPU time: 118.144 s
62.17/62.22	c ===============================================================================
62.17/62.22	c |      5817 |    3841    26682   537424 |     8894     5817    514 | 32.281 % |
62.27/62.35	c ===============================================================================
62.27/62.35	c New solution: 74431
62.27/62.35	o 74431
62.27/62.35	c Elapsed CPU time: 61.9926 s	Remaining CPU time: 118.007 s
62.27/62.35	c ===============================================================================
62.27/62.35	c |      5817 |    3841    26683   539428 |     8894     5817    514 | 32.281 % |
62.38/62.45	c ===============================================================================
62.38/62.45	c New solution: 72883
62.38/62.45	o 72883
62.38/62.45	c Elapsed CPU time: 62.0896 s	Remaining CPU time: 117.91 s
62.38/62.45	c ===============================================================================
62.38/62.45	c |      5817 |    3841    26684   541432 |     8894     5817    514 | 32.281 % |
62.58/62.62	c ===============================================================================
62.58/62.62	c New solution: 72869
62.58/62.62	o 72869
62.58/62.62	c Elapsed CPU time: 62.2515 s	Remaining CPU time: 117.748 s
62.58/62.62	c ===============================================================================
62.58/62.62	c |      5820 |    3841    26685   543436 |     8895     5820    514 | 32.281 % |
62.88/62.94	c ===============================================================================
62.88/62.94	c New solution: 72811
62.88/62.94	o 72811
62.88/62.94	c Elapsed CPU time: 62.5775 s	Remaining CPU time: 117.423 s
62.88/62.94	c ===============================================================================
62.88/62.94	c |      5823 |    3841    26686   545440 |     8895     5823    514 | 32.281 % |
63.18/63.29	c ===============================================================================
63.18/63.29	c New solution: 71284
63.18/63.29	o 71284
63.18/63.29	c Elapsed CPU time: 62.9204 s	Remaining CPU time: 117.08 s
63.18/63.29	c ===============================================================================
63.18/63.29	c |      5835 |    3841    26687   547444 |     8895     5835    514 | 32.281 % |
63.47/63.55	c ===============================================================================
63.47/63.55	c New solution: 71231
63.47/63.55	o 71231
63.47/63.55	c Elapsed CPU time: 63.1814 s	Remaining CPU time: 116.819 s
63.47/63.55	c ===============================================================================
63.47/63.55	c |      5839 |    3841    26688   549448 |     8896     5839    514 | 32.281 % |
63.78/63.87	c ===============================================================================
63.78/63.87	c New solution: 71226
63.78/63.87	o 71226
63.78/63.87	c Elapsed CPU time: 63.5003 s	Remaining CPU time: 116.5 s
63.78/63.87	c ===============================================================================
63.78/63.87	c |      5850 |    3841    26689   551452 |     8896     5850    514 | 32.281 % |
64.27/64.37	c ===============================================================================
64.27/64.37	c New solution: 71225
64.27/64.37	o 71225
64.27/64.37	c Elapsed CPU time: 64.0023 s	Remaining CPU time: 115.998 s
64.27/64.37	c ===============================================================================
64.27/64.37	c |      5876 |    3841    26690   553456 |     8896     5876    514 | 32.281 % |
64.58/64.68	c ===============================================================================
64.58/64.68	c New solution: 71224
64.58/64.68	o 71224
64.58/64.68	c Elapsed CPU time: 64.3082 s	Remaining CPU time: 115.692 s
64.58/64.68	c ===============================================================================
64.58/64.68	c |      5877 |    3841    26691   555460 |     8897     5877    514 | 32.281 % |
65.08/65.18	c ===============================================================================
65.08/65.18	c New solution: 71223
65.08/65.18	o 71223
65.08/65.18	c Elapsed CPU time: 64.8071 s	Remaining CPU time: 115.193 s
65.08/65.18	c ===============================================================================
65.08/65.18	c |      5920 |    3841    26692   557464 |     8897     5920    515 | 32.281 % |
65.48/65.51	c ===============================================================================
65.48/65.51	c New solution: 71222
65.48/65.51	o 71222
65.48/65.51	c Elapsed CPU time: 65.1321 s	Remaining CPU time: 114.868 s
65.48/65.51	c ===============================================================================
65.48/65.51	c |      5929 |    3841    26693   559468 |     8897     5929    515 | 32.281 % |
65.88/65.92	c ===============================================================================
65.88/65.92	c New solution: 71221
65.88/65.92	o 71221
65.88/65.92	c Elapsed CPU time: 65.542 s	Remaining CPU time: 114.458 s
65.88/65.92	c ===============================================================================
65.88/65.92	c |      5947 |    3841    26694   561472 |     8898     5947    515 | 32.281 % |
66.08/66.12	c |      6050 |    3841    26694   561472 |     9787     6050    514 | 32.281 % |
67.68/67.74	c |      6200 |    3841    26694   561472 |    10766     6200    516 | 32.281 % |
68.87/68.92	c ===============================================================================
68.87/68.92	c New solution: 71220
68.87/68.92	o 71220
68.87/68.92	c Elapsed CPU time: 68.5346 s	Remaining CPU time: 111.465 s
68.87/68.92	c ===============================================================================
68.87/68.92	c |      6320 |    3841    26695   563476 |     8898     6320    517 | 32.281 % |
69.28/69.37	c ===============================================================================
69.28/69.37	c New solution: 71219
69.28/69.37	o 71219
69.28/69.37	c Elapsed CPU time: 68.9785 s	Remaining CPU time: 111.021 s
69.28/69.37	c ===============================================================================
69.28/69.37	c |      6341 |    3841    26696   565480 |     8898     6341    517 | 32.281 % |
70.38/70.49	c |      6441 |    3841    26696   565480 |     9788     6441    518 | 32.281 % |
71.87/71.91	c |      6591 |    3841    26696   565480 |    10767     6591    519 | 32.281 % |
72.17/72.26	c ===============================================================================
72.17/72.26	c New solution: 71218
72.17/72.26	o 71218
72.17/72.26	c Elapsed CPU time: 71.8651 s	Remaining CPU time: 108.135 s
72.17/72.26	c ===============================================================================
72.17/72.26	c |      6607 |    3841    26697   567484 |     8899     6607    519 | 32.281 % |
72.38/72.41	c |      6709 |    3841    26697   567484 |     9788     6709    519 | 32.281 % |
74.17/74.28	c |      6860 |    3841    26697   567484 |    10767     6860    521 | 32.281 % |
74.47/74.55	c ===============================================================================
74.47/74.55	c New solution: 71217
74.47/74.55	o 71217
74.47/74.55	c Elapsed CPU time: 74.1457 s	Remaining CPU time: 105.854 s
74.47/74.55	c ===============================================================================
74.47/74.55	c |      6868 |    3841    26698   569488 |     8899     6868    521 | 32.281 % |
74.78/74.83	c ===============================================================================
74.78/74.83	c New solution: 71216
74.78/74.83	o 71216
74.78/74.83	c Elapsed CPU time: 74.4297 s	Remaining CPU time: 105.57 s
74.78/74.83	c ===============================================================================
74.78/74.83	c |      6886 |    3841    26699   571492 |     8899     6886    521 | 32.281 % |
75.17/75.24	c ===============================================================================
75.17/75.24	c New solution: 69719
75.17/75.24	o 69719
75.17/75.24	c Elapsed CPU time: 74.8316 s	Remaining CPU time: 105.168 s
75.17/75.24	c ===============================================================================
75.17/75.24	c |      6957 |    3841    26700   573496 |     8900     6957    520 | 32.281 % |
75.27/75.37	c ===============================================================================
75.27/75.37	c New solution: 69696
75.27/75.37	o 69696
75.27/75.37	c Elapsed CPU time: 74.9596 s	Remaining CPU time: 105.04 s
75.27/75.37	c ===============================================================================
75.27/75.37	c |      6958 |    3841    26701   575500 |     8900     6958    520 | 32.281 % |
75.38/75.47	c ===============================================================================
75.38/75.47	c New solution: 69692
75.38/75.47	o 69692
75.38/75.47	c Elapsed CPU time: 75.0666 s	Remaining CPU time: 104.933 s
75.38/75.47	c ===============================================================================
75.38/75.47	c |      6960 |    3841    26702   577504 |     8900     6960    520 | 32.281 % |
75.97/76.02	c ===============================================================================
75.97/76.02	c New solution: 69691
75.97/76.02	o 69691
75.97/76.02	c Elapsed CPU time: 75.6085 s	Remaining CPU time: 104.391 s
75.97/76.02	c ===============================================================================
75.97/76.02	c |      6977 |    3841    26703   579508 |     8901     6977    520 | 32.281 % |
76.07/76.16	c ===============================================================================
76.07/76.16	c New solution: 69690
76.07/76.16	o 69690
76.07/76.16	c Elapsed CPU time: 75.7535 s	Remaining CPU time: 104.247 s
76.07/76.16	c ===============================================================================
76.07/76.16	c |      6978 |    3841    26704   581512 |     8901     6978    520 | 32.281 % |
76.17/76.28	c ===============================================================================
76.17/76.28	c New solution: 69689
76.17/76.28	o 69689
76.17/76.28	c Elapsed CPU time: 75.8715 s	Remaining CPU time: 104.129 s
76.17/76.28	c ===============================================================================
76.17/76.28	c |      6978 |    3841    26705   583516 |     8901     6978    520 | 32.281 % |
76.37/76.42	c ===============================================================================
76.37/76.42	c New solution: 69688
76.37/76.42	o 69688
76.37/76.42	c Elapsed CPU time: 76.0094 s	Remaining CPU time: 103.991 s
76.37/76.42	c ===============================================================================
76.37/76.42	c |      6981 |    3841    26706   585520 |     8902     6981    520 | 32.281 % |
76.67/76.73	c ===============================================================================
76.67/76.73	c New solution: 69679
76.67/76.73	o 69679
76.67/76.73	c Elapsed CPU time: 76.3194 s	Remaining CPU time: 103.681 s
76.67/76.73	c ===============================================================================
76.67/76.73	c |      6982 |    3841    26707   587524 |     8902     6982    520 | 32.281 % |
76.98/77.02	c ===============================================================================
76.98/77.02	c New solution: 69678
76.98/77.02	o 69678
76.98/77.02	c Elapsed CPU time: 76.6094 s	Remaining CPU time: 103.391 s
76.98/77.02	c ===============================================================================
76.98/77.02	c |      6983 |    3841    26708   589528 |     8902     6983    520 | 32.281 % |
77.17/77.25	c ===============================================================================
77.17/77.25	c New solution: 69677
77.17/77.25	o 69677
77.17/77.25	c Elapsed CPU time: 76.8343 s	Remaining CPU time: 103.166 s
77.17/77.25	c ===============================================================================
77.17/77.25	c |      6988 |    3841    26709   591532 |     8903     6988    520 | 32.281 % |
77.57/77.62	c ===============================================================================
77.57/77.62	c New solution: 69648
77.57/77.62	o 69648
77.57/77.62	c Elapsed CPU time: 77.2033 s	Remaining CPU time: 102.797 s
77.57/77.62	c ===============================================================================
77.57/77.62	c |      7001 |    3841    26710   593536 |     8903     7001    520 | 32.281 % |
79.07/79.18	c |      7101 |    3841    26710   593536 |     9793     7101    521 | 32.281 % |
79.67/79.70	c ===============================================================================
79.67/79.70	c New solution: 68129
79.67/79.70	o 68129
79.67/79.70	c Elapsed CPU time: 79.2799 s	Remaining CPU time: 100.72 s
79.67/79.70	c ===============================================================================
79.67/79.70	c |      7110 |    3841    26711   595540 |     8903     7110    521 | 32.281 % |
79.77/79.89	c |      7211 |    3841    26711   595540 |     9794     7211    521 | 32.281 % |
80.37/80.48	c ===============================================================================
80.37/80.48	c New solution: 68050
80.37/80.48	o 68050
80.37/80.48	c Elapsed CPU time: 80.0628 s	Remaining CPU time: 99.9372 s
80.37/80.48	c ===============================================================================
80.37/80.48	c |      7214 |    3841    26712   597544 |     8904     7214    521 | 32.281 % |
80.67/80.73	c ===============================================================================
80.67/80.73	c New solution: 66545
80.67/80.73	o 66545
80.67/80.73	c Elapsed CPU time: 80.3068 s	Remaining CPU time: 99.6932 s
80.67/80.73	c ===============================================================================
80.67/80.73	c |      7223 |    3841    26713   599548 |     8904     7223    521 | 32.281 % |
80.87/80.92	c |      7323 |    3841    26713   599548 |     9794     7323    520 | 32.281 % |
81.17/81.20	c ===============================================================================
81.17/81.20	c New solution: 66544
81.17/81.20	o 66544
81.17/81.20	c Elapsed CPU time: 80.7797 s	Remaining CPU time: 99.2203 s
81.17/81.20	c ===============================================================================
81.17/81.20	c |      7325 |    3841    26714   601552 |     8904     7325    520 | 32.281 % |
81.28/81.37	c ===============================================================================
81.28/81.37	c New solution: 66543
81.28/81.37	o 66543
81.28/81.37	c Elapsed CPU time: 80.9457 s	Remaining CPU time: 99.0543 s
81.28/81.37	c ===============================================================================
81.28/81.37	c |      7328 |    3841    26715   603556 |     8905     7328    520 | 32.281 % |
81.67/81.71	c ===============================================================================
81.67/81.71	c New solution: 66541
81.67/81.71	o 66541
81.67/81.71	c Elapsed CPU time: 81.2816 s	Remaining CPU time: 98.7184 s
81.67/81.71	c ===============================================================================
81.67/81.71	c |      7330 |    3841    26716   605560 |     8905     7330    520 | 32.281 % |
81.97/82.00	c ===============================================================================
81.97/82.00	c New solution: 66540
81.97/82.00	o 66540
81.97/82.00	c Elapsed CPU time: 81.5786 s	Remaining CPU time: 98.4214 s
81.97/82.00	c ===============================================================================
81.97/82.00	c |      7340 |    3841    26717   607564 |     8905     7340    520 | 32.281 % |
82.27/82.31	c ===============================================================================
82.27/82.31	c New solution: 66522
82.27/82.31	o 66522
82.27/82.31	c Elapsed CPU time: 81.8776 s	Remaining CPU time: 98.1224 s
82.27/82.31	c ===============================================================================
82.27/82.31	c |      7341 |    3841    26718   609568 |     8906     7341    520 | 32.281 % |
83.77/83.82	c |      7442 |    3841    26718   609568 |     9796     7442    521 | 32.281 % |
84.07/84.11	c ===============================================================================
84.07/84.11	c New solution: 66521
84.07/84.11	o 66521
84.07/84.11	c Elapsed CPU time: 83.6713 s	Remaining CPU time: 96.3287 s
84.07/84.11	c ===============================================================================
84.07/84.11	c |      7446 |    3841    26719   611572 |     8906     7446    521 | 32.281 % |
85.27/85.39	c |      7546 |    3841    26719   611572 |     9796     7546    522 | 32.281 % |
85.97/86.04	c ===============================================================================
85.97/86.04	c New solution: 66520
85.97/86.04	o 66520
85.97/86.04	c Elapsed CPU time: 85.596 s	Remaining CPU time: 94.404 s
85.97/86.04	c ===============================================================================
85.97/86.04	c |      7576 |    3841    26720   613576 |     8906     7576    522 | 32.281 % |
86.17/86.23	c |      7677 |    3841    26720   613576 |     9797     7677    522 | 32.281 % |
87.37/87.41	c |      7827 |    3841    26720   613576 |    10777     7827    523 | 32.281 % |
87.77/87.82	c ===============================================================================
87.77/87.82	c New solution: 66519
87.77/87.82	o 66519
87.77/87.82	c Elapsed CPU time: 87.3697 s	Remaining CPU time: 92.6303 s
87.77/87.82	c ===============================================================================
87.77/87.82	c |      7833 |    3841    26721   615580 |     8907     7833    523 | 32.281 % |
88.37/88.43	c |      7933 |    3841    26721   615580 |     9797     7933    524 | 32.281 % |
88.97/89.03	c |      8083 |    3841    26721   615580 |    10777     8083    523 | 32.281 % |
91.77/91.89	c |      8309 |    3841    26721   615580 |    11855     8309    525 | 32.281 % |
92.16/92.22	c ===============================================================================
92.16/92.22	c New solution: 66518
92.16/92.22	o 66518
92.16/92.22	c Elapsed CPU time: 91.7621 s	Remaining CPU time: 88.2379 s
92.16/92.22	c ===============================================================================
92.16/92.22	c |      8311 |    3841    26722   617584 |     8907     8311    525 | 32.281 % |
93.57/93.69	c |      8411 |    3841    26722   617584 |     9798     8411    526 | 32.281 % |
94.07/94.13	c ===============================================================================
94.07/94.13	c New solution: 66517
94.07/94.13	o 66517
94.07/94.13	c Elapsed CPU time: 93.6648 s	Remaining CPU time: 86.3352 s
94.07/94.13	c ===============================================================================
94.07/94.13	c |      8433 |    3841    26723   619588 |     8907     8433    526 | 32.281 % |
94.37/94.41	c ===============================================================================
94.37/94.41	c New solution: 66516
94.37/94.41	o 66516
94.37/94.41	c Elapsed CPU time: 93.9437 s	Remaining CPU time: 86.0563 s
94.37/94.41	c ===============================================================================
94.37/94.41	c |      8433 |    3841    26724   621592 |     8908     8433    526 | 32.281 % |
94.58/94.68	c ===============================================================================
94.58/94.68	c New solution: 66515
94.58/94.68	o 66515
94.58/94.68	c Elapsed CPU time: 94.2207 s	Remaining CPU time: 85.7793 s
94.58/94.68	c ===============================================================================
94.58/94.68	c |      8433 |    3841    26725   623596 |     8908     8433    526 | 32.281 % |
94.87/94.96	c ===============================================================================
94.87/94.96	c New solution: 66514
94.87/94.96	o 66514
94.87/94.96	c Elapsed CPU time: 94.4946 s	Remaining CPU time: 85.5054 s
94.87/94.96	c ===============================================================================
94.87/94.96	c |      8433 |    3841    26726   625600 |     8908     8433    526 | 32.281 % |
95.17/95.23	c ===============================================================================
95.17/95.23	c New solution: 66513
95.17/95.23	o 66513
95.17/95.23	c Elapsed CPU time: 94.7666 s	Remaining CPU time: 85.2334 s
95.17/95.23	c ===============================================================================
95.17/95.23	c |      8433 |    3841    26727   627604 |     8909     8433    526 | 32.281 % |
95.47/95.54	c ===============================================================================
95.47/95.54	c New solution: 66512
95.47/95.54	o 66512
95.47/95.54	c Elapsed CPU time: 95.0755 s	Remaining CPU time: 84.9245 s
95.47/95.54	c ===============================================================================
95.47/95.54	c |      8433 |    3841    26728   629608 |     8909     8433    526 | 32.281 % |
95.77/95.81	c ===============================================================================
95.77/95.81	c New solution: 66511
95.77/95.81	o 66511
95.77/95.81	c Elapsed CPU time: 95.3435 s	Remaining CPU time: 84.6565 s
95.77/95.81	c ===============================================================================
95.77/95.81	c |      8433 |    3841    26729   631612 |     8909     8433    526 | 32.281 % |
95.97/96.08	c ===============================================================================
95.97/96.08	c New solution: 66510
95.97/96.08	o 66510
95.97/96.08	c Elapsed CPU time: 95.6095 s	Remaining CPU time: 84.3905 s
95.97/96.08	c ===============================================================================
95.97/96.08	c |      8433 |    3841    26730   633616 |     8910     8433    526 | 32.281 % |
96.26/96.34	c ===============================================================================
96.26/96.34	c New solution: 66509
96.26/96.34	o 66509
96.26/96.34	c Elapsed CPU time: 95.8714 s	Remaining CPU time: 84.1286 s
96.26/96.34	c ===============================================================================
96.26/96.34	c |      8433 |    3841    26731   635620 |     8910     8433    526 | 32.281 % |
96.56/96.61	c ===============================================================================
96.56/96.61	c New solution: 66508
96.56/96.61	o 66508
96.56/96.61	c Elapsed CPU time: 96.1354 s	Remaining CPU time: 83.8646 s
96.56/96.61	c ===============================================================================
96.56/96.61	c |      8433 |    3841    26732   637624 |     8910     8433    526 | 32.281 % |
96.77/96.87	c ===============================================================================
96.77/96.87	c New solution: 66507
96.77/96.87	o 66507
96.77/96.87	c Elapsed CPU time: 96.4053 s	Remaining CPU time: 83.5947 s
96.77/96.87	c ===============================================================================
96.77/96.87	c |      8433 |    3841    26733   639628 |     8911     8433    526 | 32.281 % |
97.06/97.13	c ===============================================================================
97.06/97.13	c New solution: 66506
97.06/97.13	o 66506
97.06/97.13	c Elapsed CPU time: 96.6633 s	Remaining CPU time: 83.3367 s
97.06/97.13	c ===============================================================================
97.06/97.13	c |      8433 |    3841    26734   641632 |     8911     8433    526 | 32.281 % |
97.26/97.39	c ===============================================================================
97.26/97.39	c New solution: 66505
97.26/97.39	o 66505
97.26/97.39	c Elapsed CPU time: 96.9153 s	Remaining CPU time: 83.0847 s
97.26/97.39	c ===============================================================================
97.26/97.39	c |      8433 |    3841    26735   643636 |     8911     8433    526 | 32.281 % |
97.67/97.77	c ===============================================================================
97.67/97.77	c New solution: 66504
97.67/97.77	o 66504
97.67/97.77	c Elapsed CPU time: 97.2932 s	Remaining CPU time: 82.7068 s
97.67/97.77	c ===============================================================================
97.67/97.77	c |      8440 |    3841    26736   645640 |     8912     8440    526 | 32.281 % |
98.97/99.05	c |      8540 |    3841    26736   645640 |     9803     8540    526 | 32.281 % |
99.27/99.36	c ===============================================================================
99.27/99.36	c New solution: 66503
99.27/99.36	o 66503
99.27/99.36	c Elapsed CPU time: 98.884 s	Remaining CPU time: 81.116 s
99.27/99.36	c ===============================================================================
99.27/99.36	c |      8548 |    3841    26737   647644 |     8912     8548    526 | 32.281 % |
100.07/100.13	c |      8649 |    3841    26737   647644 |     9803     8649    527 | 32.281 % |
101.67/101.73	c |      8800 |    3841    26737   647644 |    10783     8800    528 | 32.281 % |
104.26/104.35	c |      9027 |    3841    26737   647644 |    11862     9027    529 | 32.281 % |
104.56/104.63	c ===============================================================================
104.56/104.63	c New solution: 66502
104.56/104.63	o 66502
104.56/104.63	c Elapsed CPU time: 104.152 s	Remaining CPU time: 75.8478 s
104.56/104.63	c ===============================================================================
104.56/104.63	c |      9030 |    3841    26738   649648 |     8912     9030    529 | 32.281 % |
105.66/105.75	c |      9131 |    3841    26738   649648 |     9803     9131    530 | 32.281 % |
105.96/106.02	c |      9282 |    3841    26738   649648 |    10784     9282    529 | 32.282 % |
106.16/106.29	c ===============================================================================
106.16/106.29	c New solution: 64987
106.16/106.29	o 64987
106.16/106.29	c Elapsed CPU time: 105.81 s	Remaining CPU time: 74.1901 s
106.16/106.29	c ===============================================================================
106.16/106.29	c |      9289 |    3841    26739   651652 |     8913     9289    529 | 32.282 % |
106.27/106.39	c ===============================================================================
106.27/106.39	c New solution: 64986
106.27/106.39	o 64986
106.27/106.39	c Elapsed CPU time: 105.906 s	Remaining CPU time: 74.0941 s
106.27/106.39	c ===============================================================================
106.27/106.39	c |      9289 |    3841    26740   653656 |     8913     9289    529 | 32.282 % |
106.36/106.49	c ===============================================================================
106.36/106.49	c New solution: 64985
106.36/106.49	o 64985
106.36/106.49	c Elapsed CPU time: 106.003 s	Remaining CPU time: 73.9971 s
106.36/106.49	c ===============================================================================
106.36/106.49	c |      9289 |    3841    26741   655660 |     8913     9289    529 | 32.282 % |
106.57/106.62	c ===============================================================================
106.57/106.62	c New solution: 64984
106.57/106.62	o 64984
106.57/106.62	c Elapsed CPU time: 106.134 s	Remaining CPU time: 73.8661 s
106.57/106.62	c ===============================================================================
106.57/106.62	c |      9291 |    3841    26742   657664 |     8914     9291    529 | 32.282 % |
106.67/106.77	c ===============================================================================
106.67/106.77	c New solution: 63451
106.67/106.77	o 63451
106.67/106.77	c Elapsed CPU time: 106.277 s	Remaining CPU time: 73.7232 s
106.67/106.77	c ===============================================================================
106.67/106.77	c |      9293 |    3841    26743   659668 |     8914     9293    529 | 32.282 % |
106.76/106.88	c ===============================================================================
106.76/106.88	c New solution: 63441
106.76/106.88	o 63441
106.76/106.88	c Elapsed CPU time: 106.39 s	Remaining CPU time: 73.6102 s
106.76/106.88	c ===============================================================================
106.76/106.88	c |      9293 |    3841    26744   661672 |     8914     9293    529 | 32.282 % |
106.97/107.00	c ===============================================================================
106.97/107.00	c New solution: 63440
106.97/107.00	o 63440
106.97/107.00	c Elapsed CPU time: 106.503 s	Remaining CPU time: 73.4972 s
106.97/107.00	c ===============================================================================
106.97/107.00	c |      9293 |    3841    26745   663676 |     8915     9293    529 | 32.282 % |
107.07/107.18	c ===============================================================================
107.07/107.18	c New solution: 63433
107.07/107.18	o 63433
107.07/107.18	c Elapsed CPU time: 106.679 s	Remaining CPU time: 73.3212 s
107.07/107.18	c ===============================================================================
107.07/107.18	c |      9293 |    3841    26746   665680 |     8915     9293    529 | 32.282 % |
107.16/107.27	c ===============================================================================
107.16/107.27	c New solution: 63432
107.16/107.27	o 63432
107.16/107.27	c Elapsed CPU time: 106.77 s	Remaining CPU time: 73.2302 s
107.16/107.27	c ===============================================================================
107.16/107.27	c |      9293 |    3841    26747   667684 |     8915     9293    529 | 32.282 % |
107.26/107.35	c ===============================================================================
107.26/107.35	c New solution: 63431
107.26/107.35	o 63431
107.26/107.35	c Elapsed CPU time: 106.856 s	Remaining CPU time: 73.1442 s
107.26/107.35	c ===============================================================================
107.26/107.35	c |      9293 |    3841    26748   669688 |     8916     9293    529 | 32.282 % |
107.36/107.45	c ===============================================================================
107.36/107.45	c New solution: 63430
107.36/107.45	o 63430
107.36/107.45	c Elapsed CPU time: 106.954 s	Remaining CPU time: 73.0463 s
107.36/107.45	c ===============================================================================
107.36/107.45	c |      9295 |    3841    26749   671692 |     8916     9295    529 | 32.282 % |
107.46/107.58	c ===============================================================================
107.46/107.58	c New solution: 63411
107.46/107.58	o 63411
107.46/107.58	c Elapsed CPU time: 107.079 s	Remaining CPU time: 72.9213 s
107.46/107.58	c ===============================================================================
107.46/107.58	c |      9295 |    3841    26750   673696 |     8916     9295    529 | 32.282 % |
107.56/107.69	c ===============================================================================
107.56/107.69	c New solution: 61852
107.56/107.69	o 61852
107.56/107.69	c Elapsed CPU time: 107.188 s	Remaining CPU time: 72.8123 s
107.56/107.69	c ===============================================================================
107.56/107.69	c |      9295 |    3841    26751   675700 |     8917     9295    529 | 32.282 % |
107.86/107.98	c ===============================================================================
107.86/107.98	c New solution: 61821
107.86/107.98	o 61821
107.86/107.98	c Elapsed CPU time: 107.483 s	Remaining CPU time: 72.5173 s
107.86/107.98	c ===============================================================================
107.86/107.98	c |      9296 |    3841    26752   677704 |     8917     9296    529 | 32.282 % |
108.26/108.37	c ===============================================================================
108.26/108.37	c New solution: 61815
108.26/108.37	o 61815
108.26/108.37	c Elapsed CPU time: 107.87 s	Remaining CPU time: 72.1304 s
108.26/108.37	c ===============================================================================
108.26/108.37	c |      9296 |    3841    26753   679708 |     8917     9296    529 | 32.282 % |
108.77/108.81	c ===============================================================================
108.77/108.81	c New solution: 61814
108.77/108.81	o 61814
108.77/108.81	c Elapsed CPU time: 108.303 s	Remaining CPU time: 71.6975 s
108.77/108.81	c ===============================================================================
108.77/108.81	c |      9296 |    3841    26754   681712 |     8918     9296    529 | 32.282 % |
108.87/108.95	c ===============================================================================
108.87/108.95	c New solution: 60281
108.87/108.95	o 60281
108.87/108.95	c Elapsed CPU time: 108.443 s	Remaining CPU time: 71.5575 s
108.87/108.95	c ===============================================================================
108.87/108.95	c |      9296 |    3841    26755   683716 |     8918     9296    529 | 32.282 % |
109.17/109.23	c ===============================================================================
109.17/109.23	c New solution: 60251
109.17/109.23	o 60251
109.17/109.23	c Elapsed CPU time: 108.727 s	Remaining CPU time: 71.2725 s
109.17/109.23	c ===============================================================================
109.17/109.23	c |      9297 |    3841    26756   685720 |     8918     9297    529 | 32.282 % |
109.27/109.35	c ===============================================================================
109.27/109.35	c New solution: 58725
109.27/109.35	o 58725
109.27/109.35	c Elapsed CPU time: 108.839 s	Remaining CPU time: 71.1605 s
109.27/109.35	c ===============================================================================
109.27/109.35	c |      9297 |    3841    26757   687724 |     8919     9297    529 | 32.282 % |
109.37/109.45	c ===============================================================================
109.37/109.45	c New solution: 58724
109.37/109.45	o 58724
109.37/109.45	c Elapsed CPU time: 108.946 s	Remaining CPU time: 71.0536 s
109.37/109.45	c ===============================================================================
109.37/109.45	c |      9297 |    3841    26758   689728 |     8919     9297    529 | 32.282 % |
109.56/109.60	c ===============================================================================
109.56/109.60	c New solution: 57168
109.56/109.60	o 57168
109.56/109.60	c Elapsed CPU time: 109.091 s	Remaining CPU time: 70.9086 s
109.56/109.60	c ===============================================================================
109.56/109.60	c |      9298 |    3841    26759   691732 |     8919     9298    529 | 32.282 % |
109.66/109.73	c ===============================================================================
109.66/109.73	c New solution: 57151
109.66/109.73	o 57151
109.66/109.73	c Elapsed CPU time: 109.22 s	Remaining CPU time: 70.7796 s
109.66/109.73	c ===============================================================================
109.66/109.73	c |      9298 |    3841    26760   693736 |     8920     9298    529 | 32.282 % |
109.87/109.93	c ===============================================================================
109.87/109.93	c New solution: 57141
109.87/109.93	o 57141
109.87/109.93	c Elapsed CPU time: 109.417 s	Remaining CPU time: 70.5826 s
109.87/109.93	c ===============================================================================
109.87/109.93	c |      9299 |    3841    26761   695740 |     8920     9299    529 | 32.282 % |
109.97/110.05	c ===============================================================================
109.97/110.05	c New solution: 57140
109.97/110.05	o 57140
109.97/110.05	c Elapsed CPU time: 109.531 s	Remaining CPU time: 70.4687 s
109.97/110.05	c ===============================================================================
109.97/110.05	c |      9299 |    3841    26762   697744 |     8920     9299    529 | 32.282 % |
110.06/110.15	c ===============================================================================
110.06/110.15	c New solution: 57139
110.06/110.15	o 57139
110.06/110.15	c Elapsed CPU time: 109.634 s	Remaining CPU time: 70.3657 s
110.06/110.15	c ===============================================================================
110.06/110.15	c |      9301 |    3841    26763   699748 |     8921     9301    528 | 32.282 % |
110.46/110.59	c ===============================================================================
110.46/110.59	c New solution: 57138
110.46/110.59	o 57138
110.46/110.59	c Elapsed CPU time: 110.067 s	Remaining CPU time: 69.9327 s
110.46/110.59	c ===============================================================================
110.46/110.59	c |      9308 |    3841    26764   701752 |     8921     9308    528 | 32.282 % |
110.66/110.71	c ===============================================================================
110.66/110.71	c New solution: 55590
110.66/110.71	o 55590
110.66/110.71	c Elapsed CPU time: 110.189 s	Remaining CPU time: 69.8108 s
110.66/110.71	c ===============================================================================
110.66/110.71	c |      9308 |    3841    26765   703756 |     8921     9308    528 | 32.282 % |
110.76/110.85	c ===============================================================================
110.76/110.85	c New solution: 55574
110.76/110.85	o 55574
110.76/110.85	c Elapsed CPU time: 110.324 s	Remaining CPU time: 69.6758 s
110.76/110.85	c ===============================================================================
110.76/110.85	c |      9308 |    3841    26766   705760 |     8922     9308    528 | 32.282 % |
110.97/111.00	c ===============================================================================
110.97/111.00	c New solution: 55573
110.97/111.00	o 55573
110.97/111.00	c Elapsed CPU time: 110.474 s	Remaining CPU time: 69.5258 s
110.97/111.00	c ===============================================================================
110.97/111.00	c |      9310 |    3841    26767   707764 |     8922     9310    528 | 32.282 % |
111.47/111.52	c ===============================================================================
111.47/111.52	c New solution: 55542
111.47/111.52	o 55542
111.47/111.52	c Elapsed CPU time: 110.99 s	Remaining CPU time: 69.0099 s
111.47/111.52	c ===============================================================================
111.47/111.52	c |      9332 |    3841    26768   709768 |     8922     9332    528 | 32.282 % |
111.87/111.91	c ===============================================================================
111.87/111.91	c New solution: 55541
111.87/111.91	o 55541
111.87/111.91	c Elapsed CPU time: 111.385 s	Remaining CPU time: 68.6149 s
111.87/111.91	c ===============================================================================
111.87/111.91	c |      9342 |    3841    26769   711772 |     8923     9342    528 | 32.282 % |
112.76/112.89	c ===============================================================================
112.76/112.89	c New solution: 55540
112.76/112.89	o 55540
112.76/112.89	c Elapsed CPU time: 112.359 s	Remaining CPU time: 67.6411 s
112.76/112.89	c ===============================================================================
112.76/112.89	c |      9375 |    3841    26770   713776 |     8923     9375    529 | 32.282 % |
113.46/113.58	c ===============================================================================
113.46/113.58	c New solution: 55539
113.46/113.58	o 55539
113.46/113.58	c Elapsed CPU time: 113.05 s	Remaining CPU time: 66.9502 s
113.46/113.58	c ===============================================================================
113.46/113.58	c |      9426 |    3841    26771   715780 |     8923     9426    528 | 32.282 % |
114.06/114.13	c ===============================================================================
114.06/114.13	c New solution: 55538
114.06/114.13	o 55538
114.06/114.13	c Elapsed CPU time: 113.604 s	Remaining CPU time: 66.3963 s
114.06/114.13	c ===============================================================================
114.06/114.13	c |      9452 |    3841    26772   717784 |     8924     9452    529 | 32.282 % |
114.56/114.65	c ===============================================================================
114.56/114.65	c New solution: 55537
114.56/114.65	o 55537
114.56/114.65	c Elapsed CPU time: 114.122 s	Remaining CPU time: 65.8783 s
114.56/114.65	c ===============================================================================
114.56/114.65	c |      9471 |    3841    26773   719788 |     8924     9471    529 | 32.282 % |
115.06/115.13	c ===============================================================================
115.06/115.13	c New solution: 55536
115.06/115.13	o 55536
115.06/115.13	c Elapsed CPU time: 114.601 s	Remaining CPU time: 65.3994 s
115.06/115.13	c ===============================================================================
115.06/115.13	c |      9479 |    3841    26774   721792 |     8924     9479    529 | 32.282 % |
116.47/116.54	c |      9580 |    3841    26774   721792 |     9817     9580    529 | 32.281 % |
117.26/117.37	c ===============================================================================
117.26/117.37	c New solution: 55535
117.26/117.37	o 55535
117.26/117.37	c Elapsed CPU time: 116.841 s	Remaining CPU time: 63.1588 s
117.26/117.37	c ===============================================================================
117.26/117.37	c |      9596 |    3841    26775   723796 |     8925     9596    529 | 32.281 % |
117.76/117.87	c ===============================================================================
117.76/117.87	c New solution: 55534
117.76/117.87	o 55534
117.76/117.87	c Elapsed CPU time: 117.331 s	Remaining CPU time: 62.6688 s
117.76/117.87	c ===============================================================================
117.76/117.87	c |      9636 |    3841    26776   725800 |     8925     9636    529 | 32.281 % |
118.46/118.52	c ===============================================================================
118.46/118.52	c New solution: 55533
118.46/118.52	o 55533
118.46/118.52	c Elapsed CPU time: 117.978 s	Remaining CPU time: 62.0219 s
118.46/118.52	c ===============================================================================
118.46/118.52	c |      9676 |    3841    26777   727804 |     8925     9676    529 | 32.281 % |
118.77/118.82	c ===============================================================================
118.77/118.82	c New solution: 55532
118.77/118.82	o 55532
118.77/118.82	c Elapsed CPU time: 118.276 s	Remaining CPU time: 61.724 s
118.77/118.82	c ===============================================================================
118.77/118.82	c |      9678 |    3841    26778   729808 |     8926     9678    529 | 32.281 % |
119.77/119.84	c ===============================================================================
119.77/119.84	c New solution: 55531
119.77/119.84	o 55531
119.77/119.84	c Elapsed CPU time: 119.3 s	Remaining CPU time: 60.7001 s
119.77/119.84	c ===============================================================================
119.77/119.84	c |      9733 |    3841    26779   731812 |     8926     9733    530 | 32.281 % |
122.96/123.08	c ===============================================================================
122.96/123.08	c New solution: 55530
122.96/123.08	o 55530
122.96/123.08	c Elapsed CPU time: 122.538 s	Remaining CPU time: 57.4616 s
122.96/123.08	c ===============================================================================
122.96/123.08	c |      9823 |    3841    26780   733816 |     8926     9823    529 | 32.281 % |
124.76/124.83	c |      9924 |    3841    26780   733816 |     9819     9924    530 | 32.281 % |
126.56/126.65	c |     10074 |    3841    26780   733816 |    10801    10074    531 | 32.281 % |
126.86/126.93	c ===============================================================================
126.86/126.93	c New solution: 55529
126.86/126.93	o 55529
126.86/126.93	c Elapsed CPU time: 126.382 s	Remaining CPU time: 53.6182 s
126.86/126.93	c ===============================================================================
126.86/126.93	c |     10080 |    3841    26781   735820 |     8927    10080    530 | 32.281 % |
127.36/127.44	c ===============================================================================
127.36/127.44	c New solution: 55528
127.36/127.44	o 55528
127.36/127.44	c Elapsed CPU time: 126.893 s	Remaining CPU time: 53.1073 s
127.36/127.44	c ===============================================================================
127.36/127.44	c |     10104 |    3841    26782   737824 |     8927    10104    531 | 32.281 % |
128.36/128.45	c ===============================================================================
128.36/128.45	c New solution: 55527
128.36/128.45	o 55527
128.36/128.45	c Elapsed CPU time: 127.902 s	Remaining CPU time: 52.0984 s
128.36/128.45	c ===============================================================================
128.36/128.45	c |     10152 |    3841    26783   739828 |     8927    10152    531 | 32.281 % |
129.35/129.48	c |     10252 |    3841    26783   739828 |     9820    10252    531 | 32.281 % |
132.06/132.10	c |     10403 |    3841    26783   739828 |    10802    10403    531 | 32.281 % |
134.16/134.21	c ===============================================================================
134.16/134.21	c New solution: 55526
134.16/134.21	o 55526
134.16/134.21	c Elapsed CPU time: 133.65 s	Remaining CPU time: 46.3503 s
134.16/134.21	c ===============================================================================
134.16/134.21	c |     10525 |    3841    26784   741832 |     8928    10525    532 | 32.281 % |
135.65/135.75	c |     10626 |    3841    26784   741832 |     9820    10626    532 | 32.281 % |
138.56/138.65	c |     10777 |    3841    26784   741832 |    10802    10777    533 | 32.281 % |
139.96/140.04	c |     11002 |    3841    26784   741832 |    11883    11002    531 | 32.281 % |
145.75/145.89	c |     11339 |    3841    26784   741832 |    13071    11339    533 | 32.281 % |
148.56/148.61	c ===============================================================================
148.56/148.61	c New solution: 55525
148.56/148.61	o 55525
148.56/148.61	c Elapsed CPU time: 148.038 s	Remaining CPU time: 31.9615 s
148.56/148.61	c ===============================================================================
148.56/148.61	c |     11478 |    3841    26785   743836 |     8928    11478    533 | 32.281 % |
149.15/149.21	c ===============================================================================
149.15/149.21	c New solution: 55524
149.15/149.21	o 55524
149.15/149.21	c Elapsed CPU time: 148.631 s	Remaining CPU time: 31.3686 s
149.15/149.21	c ===============================================================================
149.15/149.21	c |     11488 |    3841    26786   745840 |     8928     5749    519 | 32.281 % |
149.56/149.66	c ===============================================================================
149.56/149.66	c New solution: 55523
149.56/149.66	o 55523
149.56/149.66	c Elapsed CPU time: 149.078 s	Remaining CPU time: 30.9217 s
149.56/149.66	c ===============================================================================
149.56/149.66	c |     11499 |    3841    26787   747844 |     8929     5760    519 | 32.281 % |
149.85/149.91	c |     11599 |    3841    26787   747844 |     9821     5860    519 | 32.281 % |
151.66/151.73	c ===============================================================================
151.66/151.73	c New solution: 55522
151.66/151.73	o 55522
151.66/151.73	c Elapsed CPU time: 151.145 s	Remaining CPU time: 28.855 s
151.66/151.73	c ===============================================================================
151.66/151.73	c |     11744 |    3841    26788   749848 |     8929     6005    519 | 32.281 % |
152.25/152.31	c |     11847 |    3841    26788   749848 |     9822     6108    518 | 32.281 % |
155.15/155.20	c |     11998 |    3841    26788   749848 |    10804     6259    520 | 32.281 % |
160.65/160.70	c |     12223 |    3841    26788   749848 |    11884     6484    521 | 32.281 % |
165.35/165.48	c ===============================================================================
165.35/165.48	c New solution: 55521
165.35/165.48	o 55521
165.35/165.48	c Elapsed CPU time: 164.88 s	Remaining CPU time: 15.1201 s
165.35/165.48	c ===============================================================================
165.35/165.48	c |     12523 |    3841    26789   751852 |     8929     6784    524 | 32.281 % |
166.15/166.26	c ===============================================================================
166.15/166.26	c New solution: 55520
166.15/166.26	o 55520
166.15/166.26	c Elapsed CPU time: 165.659 s	Remaining CPU time: 14.3412 s
166.15/166.26	c ===============================================================================
166.15/166.26	c |     12546 |    3841    26790   753856 |     8930     6807    524 | 32.281 % |
167.45/167.51	c |     12648 |    3841    26790   753856 |     9823     6909    525 | 32.281 % |
168.26/168.37	c |     12798 |    3841    26790   753856 |    10805     7059    523 | 32.281 % |
173.24/173.35	c |     13023 |    3841    26790   753856 |    11885     7284    525 | 32.281 % |
175.25/175.33	c ===============================================================================
175.25/175.33	c New solution: 54032
175.25/175.33	o 54032
175.25/175.33	c Elapsed CPU time: 174.718 s	Remaining CPU time: 5.28156 s
175.25/175.33	c ===============================================================================
175.25/175.33	c |     13212 |    3841    26791   755860 |     8930     7473    524 | 32.281 % |
175.95/176.01	c ===============================================================================
175.95/176.01	c New solution: 53995
175.95/176.01	o 53995
175.95/176.01	c Elapsed CPU time: 175.398 s	Remaining CPU time: 4.60166 s
175.95/176.01	c ===============================================================================
175.95/176.01	c |     13221 |    3841    26792   757864 |     8930     7482    524 | 32.281 % |
176.85/176.96	c ===============================================================================
176.85/176.96	c New solution: 53994
176.85/176.96	o 53994
176.85/176.96	c Elapsed CPU time: 176.339 s	Remaining CPU time: 3.66081 s
176.85/176.96	c ===============================================================================
176.85/176.96	c |     13225 |    3841    26793   759868 |     8931     7486    524 | 32.281 % |
177.44/177.57	c ===============================================================================
177.44/177.57	c New solution: 53979
177.44/177.57	o 53979
177.44/177.57	c Elapsed CPU time: 176.955 s	Remaining CPU time: 3.0449 s
177.44/177.57	c ===============================================================================
177.44/177.57	c |     13226 |    3841    26794   761872 |     8931     7487    524 | 32.281 % |
178.15/178.23	c ===============================================================================
178.15/178.23	c New solution: 53975
178.15/178.23	o 53975
178.15/178.23	c Elapsed CPU time: 177.611 s	Remaining CPU time: 2.389 s
178.15/178.23	c ===============================================================================
178.15/178.23	c |     13230 |    3841    26795   763876 |     8931     7491    524 | 32.281 % |
179.94/180.00	c ===============================================================================
179.94/180.00	c New solution: 53974
179.94/180.00	o 53974
179.94/180.00	c Elapsed CPU time: 179.383 s	Remaining CPU time: 0.617271 s
179.94/180.00	c ===============================================================================
179.94/180.00	c |     13312 |    3841    26796   765880 |     8932     7573    523 | 32.281 % |
180.25/180.34	c ===============================================================================
180.25/180.34	c New solution: 53973
180.25/180.34	o 53973
180.25/180.34	c Elapsed CPU time: 179.725 s	Remaining CPU time: 0.275323 s
180.25/180.34	c ===============================================================================
180.25/180.34	c |     13320 |    3841    26797   767884 |     8932     7581    523 | 32.281 % |
180.54/180.65	c There are 1831 assigned variables. 335 in cost function.
182.04/182.18	c core #1
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 2	Core Weight: 1	Total Weight: 3324
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #2
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 2	Core Weight: 1	Total Weight: 3325
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #3
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 4	Core Weight: 1	Total Weight: 3326
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #4
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 4	Core Weight: 1	Total Weight: 3327
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #5
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 4	Core Weight: 1	Total Weight: 3328
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #6
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 5	Core Weight: 1	Total Weight: 3329
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #7
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 5	Core Weight: 1568	Total Weight: 4897
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #8
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 4	Core Weight: 1	Total Weight: 4898
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #9
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 7	Core Weight: 1	Total Weight: 4899
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #10
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 4	Core Weight: 1	Total Weight: 4900
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #11
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 3	Core Weight: 1	Total Weight: 4901
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #12
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 10	Core Weight: 1	Total Weight: 4902
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #13
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 7	Core Weight: 1	Total Weight: 4903
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #14
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 17	Core Weight: 1	Total Weight: 4904
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #15
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 25	Core Weight: 1	Total Weight: 4905
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #16
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 3	Core Weight: 1	Total Weight: 4906
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #17
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 26	Core Weight: 1	Total Weight: 4907
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #18
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 6	Core Weight: 1	Total Weight: 4908
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #19
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 8	Core Weight: 1	Total Weight: 4909
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #20
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 27	Core Weight: 1	Total Weight: 4910
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #21
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 7	Core Weight: 1	Total Weight: 4911
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #22
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 6	Core Weight: 1	Total Weight: 4912
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #23
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 7	Core Weight: 1	Total Weight: 4913
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #24
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 7	Core Weight: 1	Total Weight: 4914
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #25
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 45	Core Weight: 1	Total Weight: 4915
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #26
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 14	Core Weight: 1	Total Weight: 4916
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c core #27
182.04/182.18	c 
182.04/182.18	c 
182.04/182.18	c Core size: 8	Core Weight: 1	Total Weight: 4917
182.04/182.18	c
182.04/182.18	c
182.04/182.18	c ============================[ Search Statistics ]==============================
182.04/182.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.18	c ===============================================================================
182.04/182.18	c |         0 |     760    18285     8352 |     6095        0    nan |  0.000 % |
182.04/182.18	c ===============================================================================
182.14/182.20	c #cores: 27
182.14/182.20	c Final Weight: 4917
182.14/182.20	o 4917
182.14/182.20	s OPTIMUM FOUND
182.14/182.20	v -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 x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 x5629 x5630 x5631 -x5632 x5633 x5634 x5635 x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 x294 -x295 x296 -x297 -x298 x299 x300 -x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 x312 -x313 x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 x386 x387 x388 x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 x423 -x424 x425 x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 x476 -x477 -x478 x479 -x480 x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 -x518 x519 -x520 -x521 x522 -x523 -x524 x525 -x526 x527 -x528 -x529 -x530 x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 x594 -x595 x596 -x597 x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 x610 -x611 x612 x613 -x614 x615 -x616 -x617 x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 x628 x629 -x630 x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 x706 -x707 -x708 x709 x710 -x711 -x712 -x713 x714 -x715 x716 -x717 x718 x719 -x720 -x721 x722 x723 -x724 x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 x750 -x751 x752 -x753 x754 -x755 -x756 x757 x758 -x759 -x760 x761 -x762 x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 x774 -x775 x776 -x777 -x778 -x779 x780 -x781 x782 -x783 x784 -x785 x786 x787 -x788 x789 -x790 x791 -x792 x793 -x794 x795 -x796 -x797 -x798 -x799 x800 -x801 x802 x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 x816 -x817 x818 x819 -x820 -x821 -x822 -x823 x824 -x825 x826 x827 -x828 -x829 x830 -x831 x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 x850 -x851 -x852 x853 -x854 -x855 x856 -x857 x858 -x859 -x860 x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 x869 x870 -x871 -x872 x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 x894 x895 -x896 x897 -x898 x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 x915 x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 x955 -x956 x957 -x958 x959 -x960 -x961 x962 -x963 -x964 x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 x1130 x1131 x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 x1302 x1303 x1304 -x1305 -x1306 x1307 -x1308 -x1309 x1310 -x1311 x1312 -x1313 -x1314 x1315 -x1316 x1317 -x1318 x1319 -x1320 x1321 -x1322 x1323 -x1324 -x1325 x1326 x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 x1341 x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 x1349 -x1350 x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 x1464 -x1465 -x1466 x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 x1516 -x1517 -x1518 -x1519 x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 x1568 x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 -x1694 x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 x1708 -x1709 x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 x1720 x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 x1756 -x1757 -x1758 x1759 x1760 x1761 x1762 -x1763 -x1764 x1765 -x1766 -x1767 x1768 -x1769 x1770 -x1771 x1772 -x1773 x1774 x1775 -x1776 x1777 -x1778 x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 x1799 x1800 -x1801 -x1802 x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 x1845 -x1846 x1847 x1848 -x1849 x1850 -x1851 -x1852 x1853 -x1854 x1855 -x1856 x1857 x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 x1881 x1882 -x1883 -x1884 x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 x1893 x1894 -x1895 x1896 x1897 -x1898 x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 x1925 -x1926 x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 x1944 x1945 x1946 -x1947 x1948 x1949 x1950 -x1951 x1952 -x1953 -x1954 x1955 -x1956 -x1957 x1958 -x1959 x1960 -x1961 x1962 -x1963 x1964 -x1965 x1966 -x1967 x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 x1976 x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 x2015 x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 x2025 -x2026 x2027 -x2028 -x2029 x2030 -x2031 x2032 -x2033 -x2034 x2035 -x2036 x2037 -x2038 x2039 -x2040 x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 x2064 -x2065 x2066 -x2067 -x2068 x2069 x2070 -x2071 x2072 -x2073 x2074 -x2075 x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 x2090 x2091 -x2092 -x2093 -x2094 -x2095 x2096 x2097 x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 x2180 x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 x2203 x2204 x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 x2238 -x2239 x2240 x2241 -x2242 x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 x2257 x2258 -x2259 x2260 -x2261 x2262 x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 x2318 -x2319 x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 x2327 -x2328 x2329 -x2330 x2331 x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 x2346 -x2347 -x2348 x2349 -x2350 -x2351 x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 x2367 x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 x2387 x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 x2395 -x2396 x2397 x2398 -x2399 -x2400 x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 x2417 -x2418 x2419 -x2420 -x2421 x2422 -x2423 x2424 -x2425 x2426 -x2427 x2428 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 x2448 -x2449 x2450 -x2451 x2452 -x2453 x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 x2461 x2462 x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 x2520 -x2521 x2522 -x2523 x2524 x2525 -x2526 x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 x2537 -x2538 -x2539 x2540 x2541 x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 x2558 -x2559 x2560 x2561 -x2562 x2563 -x2564 -x2565 x2566 x2567 -x2568 -x2569 x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 x2582 -x2583 -x2584 x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 x2602 x2603 x2604 -x2605 x2606 -x2607 x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 x2645 -x2646 -x2647 x2648 -x2649 x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 x2680 x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 x2728 x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 x2737 x2738 -x2739 -x2740 -x2741 x2742 x2743 x2744 x2745 -x2746 -x2747 x2748 -x2749 x2750 -x2751 -x2752 x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 x2789 x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 x2797 x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 x2813 -x2814 -x2815 -x2816 x2817 -x2818 x2819 -x2820 -x2821 x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865 -x2866 x2867 -x2868 x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 x2879 -x2880 x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 x2901 -x2902 x2903 -x2904 x2905 -x2906 x2907 x2908 x2909 -x2910 -x2911 x2912 -x2913 x2914 -x2915 x2916 -x2917 x2918 -x2919 x2920 x2921 -x2922 -x2923 x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 x2938 -x2939 -x2940 x2941 x2942 x2943 x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 x2990 x2991 x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 x2999 x3000 x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
182.14/182.20	c Total CPU time: 181.538 s

Verifier Data 

OK	4917

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31032
/proc/meminfo: memFree=1855204/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=3648 CPUtime=0
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 92165124 3735552 282 1992294400 134512640 135752675 4293637008 18446744073709551615 135228428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 912 282 139 303 0 414 0

[startup+0.0470191 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31032
/proc/meminfo: memFree=1855204/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=4544 CPUtime=0.04
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 613 0 0 0 4 0 0 0 25 0 1 0 92165124 4653056 532 1992294400 134512640 135752675 4293637008 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 1136 532 204 303 0 638 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4544

[startup+0.101025 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31032
/proc/meminfo: memFree=1855204/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=5288 CPUtime=0.09
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 890 0 0 0 9 0 0 0 25 0 1 0 92165124 5414912 809 1992294400 134512640 135752675 4293637008 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 1322 809 292 303 0 824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5288

[startup+0.301046 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31032
/proc/meminfo: memFree=1855204/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=6604 CPUtime=0.29
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 1461 0 0 0 29 0 0 0 25 0 1 0 92165124 6762496 1187 1992294400 134512640 135752675 4293637008 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 1651 1187 142 303 0 1346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6604

[startup+0.701089 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31032
/proc/meminfo: memFree=1855204/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=6868 CPUtime=0.69
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 1532 0 0 0 69 0 0 0 25 0 1 0 92165124 7032832 1258 1992294400 134512640 135752675 4293637008 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 1717 1258 142 303 0 1412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6868

[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 31033
/proc/meminfo: memFree=1850360/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=7264 CPUtime=1.49
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 1613 0 0 0 149 0 0 0 25 0 1 0 92165124 7438336 1339 1992294400 134512640 135752675 4293637008 18446744073709551615 134580116 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 1816 1339 142 303 0 1511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7264

[startup+3.10135 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 31033
/proc/meminfo: memFree=1848252/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=9508 CPUtime=3.09
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 2210 0 0 0 305 4 0 0 25 0 1 0 92165124 9736192 1936 1992294400 134512640 135752675 4293637008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 2377 1936 144 303 0 2072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9508

[startup+6.30169 s]
/proc/loadavg: 1.01 1.00 1.00 3/108 31036
/proc/meminfo: memFree=1825180/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=9508 CPUtime=6.29
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 2210 0 0 0 619 10 0 0 25 0 1 0 92165124 9736192 1936 1992294400 134512640 135752675 4293637008 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 2377 1936 144 303 0 2072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9508

[startup+12.7014 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31038
/proc/meminfo: memFree=1843540/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=13300 CPUtime=12.69
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 3156 0 0 0 1255 14 0 0 25 0 1 0 92165124 13619200 2882 1992294400 134512640 135752675 4293637008 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 3325 2882 145 303 0 3020 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13300

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31038
/proc/meminfo: memFree=1837092/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=19612 CPUtime=25.49
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 4720 0 0 0 2527 22 0 0 25 0 1 0 92165124 20082688 4446 1992294400 134512640 135752675 4293637008 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 4903 4446 145 303 0 4598 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19612

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31038
/proc/meminfo: memFree=1828660/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=27968 CPUtime=51.08
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 6829 0 0 0 5078 30 0 0 25 0 1 0 92165124 28639232 6555 1992294400 134512640 135752675 4293637008 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 6992 6555 145 303 0 6687 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27968

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31040
/proc/meminfo: memFree=1815640/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=40996 CPUtime=102.27
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 10068 0 0 0 10182 45 0 0 25 0 1 0 92165124 41979904 9794 1992294400 134512640 135752675 4293637008 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 10249 9794 145 303 0 9944 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40996

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1803984/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=52556 CPUtime=162.24
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 12955 0 0 0 16169 55 0 0 25 0 1 0 92165124 53817344 12681 1992294400 134512640 135752675 4293637008 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 13139 12681 145 303 0 12834 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52556

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1803240/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=53204 CPUtime=166.25
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 13114 0 0 0 16569 56 0 0 25 0 1 0 92165124 54480896 12840 1992294400 134512640 135752675 4293637008 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 13301 12840 145 303 0 12996 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 53204

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1802248/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=54100 CPUtime=172.65
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 13358 0 0 0 17209 56 0 0 25 0 1 0 92165124 55398400 13084 1992294400 134512640 135752675 4293637008 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 13525 13084 145 303 0 13220 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 54100

[startup+179.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1801504/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=55004 CPUtime=179.04
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 13569 0 0 0 17847 57 0 0 25 0 1 0 92165124 56324096 13295 1992294400 134512640 135752675 4293637008 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 13751 13295 145 303 0 13446 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 55004

[startup+180.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1801132/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=59336 CPUtime=180.65
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 14663 0 0 0 18007 58 0 0 25 0 1 0 92165124 60760064 14389 1992294400 134512640 135752675 4293637008 18446744073709551615 134635511 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 14834 14389 145 303 0 14529 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 59336

[startup+181.508 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1794932/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=63012 CPUtime=181.45
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 15689 0 0 0 18087 58 0 0 25 0 1 0 92165124 64524288 15313 1992294400 134512640 135752675 4293637008 18446744073709551615 134635488 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 15753 15313 146 303 0 15448 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 63012

[startup+181.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1794932/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=79896 CPUtime=181.84
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 19883 0 0 0 18124 60 0 0 25 0 1 0 92165124 81813504 19507 1992294400 134512640 135752675 4293637008 18446744073709551615 134548258 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 19974 19507 146 303 0 19669 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 79896

[startup+182.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1794932/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=89268 CPUtime=182.04
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 22227 0 0 0 18143 61 0 0 25 0 1 0 92165124 91410432 21851 1992294400 134512640 135752675 4293637008 18446744073709551615 134634485 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 22317 21851 146 303 0 22012 0
Current children cumulated CPU time (s) 182.04
Current children cumulated vsize (KiB) 89268

[startup+182.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31042
/proc/meminfo: memFree=1794932/2059040 swapFree=4135892/4192956
[pid=31032] ppid=31030 vsize=93824 CPUtime=182.14
/proc/31032/stat : 31032 (wbo1.4b) R 31030 31032 30850 0 -1 4202496 23360 0 0 0 18153 61 0 0 25 0 1 0 92165124 96075776 22984 1992294400 134512640 135752675 4293637008 18446744073709551615 134599257 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31032/statm: 23456 22984 146 303 0 23151 0
Current children cumulated CPU time (s) 182.14
Current children cumulated vsize (KiB) 93824

Child status: 0
Real time (s): 182.215
CPU time (s): 182.167
CPU user time (s): 181.538
CPU system time (s): 0.628904
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 93824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.538
system time used= 0.628904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23361
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= 75
involuntary context switches= 295

runsolver used 0.283956 second user time and 0.934857 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-26 01:32:11
IDJOB=2683315
IDBENCH=72102
IDSOLVER=1190
FILE ID=node047/2683315-1277508731
PBS_JOBID= 11190634
Free space on /tmp= 62480 MiB

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

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

MD5SUM BENCH= de3c56a7934dad70aad87854ca1d26e5
RANDOM SEED=1593579232

node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855608 kB
Buffers:         33124 kB
Cached:          75688 kB
SwapCached:       9576 kB
Active:          73580 kB
Inactive:        47824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855608 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:            3376 kB
Writeback:           0 kB
AnonPages:       11396 kB
Mapped:           8360 kB
Slab:            59988 kB
PageTables:       4228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180508 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= 62476 MiB
End job on node047 at 2010-06-26 01:35:13