Trace number 2683304

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.4bOPT4917 182.121 182.167

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683304-1277508690.opb.
0.00/0.00	c Instance file HOME/instance-2683304-1277508690.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.92	c ============================[ Search Statistics ]==============================
2.89/2.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.92	c ===============================================================================
2.89/2.92	c |         0 |    3841    26440    52456 |     8285        0    nan |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 532861
2.89/2.93	o 532861
2.89/2.93	c Elapsed CPU time: 2.91856 s	Remaining CPU time: 177.081 s
2.89/2.93	c ===============================================================================
2.89/2.93	c |         5 |    3841    26441    54462 |     8813        5      6 |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 532860
2.89/2.94	o 532860
2.89/2.94	c Elapsed CPU time: 2.92556 s	Remaining CPU time: 177.074 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |         8 |    3841    26442    56468 |     8814        8      6 |  0.000 % |
2.89/2.95	c ===============================================================================
2.89/2.95	c New solution: 427639
2.89/2.95	o 427639
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 |        18 |    3841    26443    58474 |     8814       18      5 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 408765
2.89/2.96	o 408765
2.89/2.96	c Elapsed CPU time: 2.94555 s	Remaining CPU time: 177.054 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |        24 |    3841    26444    60480 |     8814       24      4 |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c New solution: 394656
2.89/2.97	o 394656
2.89/2.97	c Elapsed CPU time: 2.95255 s	Remaining CPU time: 177.047 s
2.89/2.97	c ===============================================================================
2.89/2.97	c |        32 |    3841    26445    62486 |     8815       32      6 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 353814
2.89/2.99	o 353814
2.89/2.99	c Elapsed CPU time: 2.96655 s	Remaining CPU time: 177.033 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |        42 |    3841    26446    64492 |     8815       42      5 |  0.000 % |
2.99/3.00	c ===============================================================================
2.99/3.00	c New solution: 320846
2.99/3.00	o 320846
2.99/3.00	c Elapsed CPU time: 2.97355 s	Remaining CPU time: 177.026 s
2.99/3.00	c ===============================================================================
2.99/3.00	c |        46 |    3841    26447    66498 |     8815       46      5 |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 320845
2.99/3.01	o 320845
2.99/3.01	c Elapsed CPU time: 2.98655 s	Remaining CPU time: 177.013 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |        52 |    3841    26448    68504 |     8816       52      5 |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: 303571
2.99/3.03	o 303571
2.99/3.03	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 177.001 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |        57 |    3841    26449    70510 |     8816       57      5 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: 289419
2.99/3.04	o 289419
2.99/3.04	c Elapsed CPU time: 3.01054 s	Remaining CPU time: 176.989 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |        61 |    3841    26450    72516 |     8816       61      5 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 181119
2.99/3.07	o 181119
2.99/3.07	c Elapsed CPU time: 3.03454 s	Remaining CPU time: 176.965 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |        83 |    3841    26451    74522 |     8817       83     12 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 154495
2.99/3.09	o 154495
2.99/3.09	c Elapsed CPU time: 3.05354 s	Remaining CPU time: 176.946 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       100 |    3841    26452    76528 |     8817      100     11 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 149715
3.09/3.10	o 149715
3.09/3.10	c Elapsed CPU time: 3.06653 s	Remaining CPU time: 176.933 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |       111 |    3841    26453    78534 |     8817      111     10 |  0.000 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 149702
3.09/3.14	o 149702
3.09/3.14	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 176.896 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |       124 |    3841    26454    80540 |     8818      124     10 |  0.000 % |
3.19/3.20	c ===============================================================================
3.19/3.20	c New solution: 149700
3.19/3.20	o 149700
3.19/3.20	c Elapsed CPU time: 3.15752 s	Remaining CPU time: 176.842 s
3.19/3.20	c ===============================================================================
3.19/3.20	c |       130 |    3841    26455    82546 |     8818      130     13 |  0.000 % |
3.19/3.24	c ===============================================================================
3.19/3.24	c New solution: 137233
3.19/3.24	o 137233
3.19/3.24	c Elapsed CPU time: 3.19151 s	Remaining CPU time: 176.808 s
3.19/3.24	c ===============================================================================
3.19/3.24	c |       161 |    3841    26456    84552 |     8818      161     12 |  0.000 % |
3.19/3.26	c ===============================================================================
3.19/3.26	c New solution: 137186
3.19/3.26	o 137186
3.19/3.26	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 176.788 s
3.19/3.26	c ===============================================================================
3.19/3.26	c |       167 |    3841    26457    86558 |     8819      167     18 |  0.000 % |
3.30/3.31	c ===============================================================================
3.30/3.31	c New solution: 135645
3.30/3.31	o 135645
3.30/3.31	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 176.745 s
3.30/3.31	c ===============================================================================
3.30/3.31	c |       192 |    3841    26458    88564 |     8819      192     29 |  0.000 % |
3.39/3.42	c ===============================================================================
3.39/3.42	c New solution: 135597
3.39/3.42	o 135597
3.39/3.42	c Elapsed CPU time: 3.36149 s	Remaining CPU time: 176.639 s
3.39/3.42	c ===============================================================================
3.39/3.42	c |       210 |    3841    26459    90570 |     8819      210     36 |  0.000 % |
3.49/3.51	c ===============================================================================
3.49/3.51	c New solution: 135596
3.49/3.51	o 135596
3.49/3.51	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 176.555 s
3.49/3.51	c ===============================================================================
3.49/3.51	c |       256 |    3841    26460    92576 |     8820      256     67 |  0.000 % |
3.49/3.59	c ===============================================================================
3.49/3.59	c New solution: 135595
3.49/3.59	o 135595
3.49/3.59	c Elapsed CPU time: 3.53046 s	Remaining CPU time: 176.47 s
3.49/3.59	c ===============================================================================
3.49/3.59	c |       281 |    3841    26461    94582 |     8820      281     84 |  0.000 % |
3.59/3.62	c ===============================================================================
3.59/3.62	c New solution: 135594
3.59/3.62	o 135594
3.59/3.62	c Elapsed CPU time: 3.55746 s	Remaining CPU time: 176.443 s
3.59/3.62	c ===============================================================================
3.59/3.62	c |       285 |    3841    26462    96588 |     8820      285     85 |  0.000 % |
3.69/3.74	c |       385 |    3841    26462    96588 |     9702      385    198 | 32.281 % |
3.79/3.86	c ===============================================================================
3.79/3.86	c New solution: 135593
3.79/3.86	o 135593
3.79/3.86	c Elapsed CPU time: 3.79342 s	Remaining CPU time: 176.207 s
3.79/3.86	c ===============================================================================
3.79/3.86	c |       438 |    3841    26463    98594 |     8821      438    231 | 32.281 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 134083
3.79/3.89	o 134083
3.79/3.89	c Elapsed CPU time: 3.82242 s	Remaining CPU time: 176.178 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |       442 |    3841    26464   100600 |     8821      442    230 | 32.281 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 134082
3.89/3.91	o 134082
3.89/3.91	c Elapsed CPU time: 3.84641 s	Remaining CPU time: 176.154 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |       447 |    3841    26465   102606 |     8821      447    231 | 32.281 % |
3.89/3.94	c ===============================================================================
3.89/3.94	c New solution: 134081
3.89/3.94	o 134081
3.89/3.94	c Elapsed CPU time: 3.87141 s	Remaining CPU time: 176.129 s
3.89/3.94	c ===============================================================================
3.89/3.94	c |       461 |    3841    26466   104612 |     8822      461    224 | 32.281 % |
3.89/3.97	c ===============================================================================
3.89/3.97	c New solution: 134080
3.89/3.97	o 134080
3.89/3.97	c Elapsed CPU time: 3.89641 s	Remaining CPU time: 176.104 s
3.89/3.97	c ===============================================================================
3.89/3.97	c |       465 |    3841    26467   106618 |     8822      465    222 | 32.281 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: 134079
3.99/4.01	o 134079
3.99/4.01	c Elapsed CPU time: 3.9314 s	Remaining CPU time: 176.069 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |       475 |    3841    26468   108624 |     8822      475    221 | 32.281 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c New solution: 134078
3.99/4.05	o 134078
3.99/4.05	c Elapsed CPU time: 3.9734 s	Remaining CPU time: 176.027 s
3.99/4.05	c ===============================================================================
3.99/4.05	c |       479 |    3841    26469   110630 |     8823      479    221 | 32.281 % |
4.09/4.10	c ===============================================================================
4.09/4.10	c New solution: 134077
4.09/4.10	o 134077
4.09/4.10	c Elapsed CPU time: 4.02539 s	Remaining CPU time: 175.975 s
4.09/4.10	c ===============================================================================
4.09/4.10	c |       489 |    3841    26470   112636 |     8823      489    227 | 32.281 % |
4.09/4.12	c ===============================================================================
4.09/4.12	c New solution: 134076
4.09/4.12	o 134076
4.09/4.12	c Elapsed CPU time: 4.04738 s	Remaining CPU time: 175.953 s
4.09/4.12	c ===============================================================================
4.09/4.12	c |       493 |    3841    26471   114642 |     8823      493    228 | 32.281 % |
4.19/4.30	c ===============================================================================
4.19/4.30	c New solution: 134075
4.19/4.30	o 134075
4.19/4.30	c Elapsed CPU time: 4.22136 s	Remaining CPU time: 175.779 s
4.19/4.30	c ===============================================================================
4.19/4.30	c |       560 |    3841    26472   116648 |     8824      560    263 | 32.281 % |
4.30/4.36	c ===============================================================================
4.30/4.36	c New solution: 134074
4.30/4.36	o 134074
4.30/4.36	c Elapsed CPU time: 4.27635 s	Remaining CPU time: 175.724 s
4.30/4.36	c ===============================================================================
4.30/4.36	c |       565 |    3841    26473   118654 |     8824      565    263 | 32.281 % |
4.30/4.39	c ===============================================================================
4.30/4.39	c New solution: 134073
4.30/4.39	o 134073
4.30/4.39	c Elapsed CPU time: 4.31534 s	Remaining CPU time: 175.685 s
4.30/4.39	c ===============================================================================
4.30/4.39	c |       566 |    3841    26474   120660 |     8824      566    263 | 32.281 % |
4.40/4.48	c ===============================================================================
4.40/4.48	c New solution: 134072
4.40/4.48	o 134072
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 |       575 |    3841    26475   122666 |     8825      575    265 | 32.281 % |
4.49/4.52	c ===============================================================================
4.49/4.52	c New solution: 134066
4.49/4.52	o 134066
4.49/4.52	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 175.563 s
4.49/4.52	c ===============================================================================
4.49/4.52	c |       577 |    3841    26476   124672 |     8825      577    266 | 32.281 % |
4.59/4.61	c ===============================================================================
4.59/4.61	c New solution: 132533
4.59/4.61	o 132533
4.59/4.61	c Elapsed CPU time: 4.53031 s	Remaining CPU time: 175.47 s
4.59/4.61	c ===============================================================================
4.59/4.61	c |       603 |    3841    26477   126678 |     8825      603    281 | 32.281 % |
4.59/4.67	c ===============================================================================
4.59/4.67	c New solution: 132516
4.59/4.67	o 132516
4.59/4.67	c Elapsed CPU time: 4.5893 s	Remaining CPU time: 175.411 s
4.59/4.67	c ===============================================================================
4.59/4.67	c |       612 |    3841    26478   128684 |     8826      612    282 | 32.281 % |
4.69/4.73	c ===============================================================================
4.69/4.73	c New solution: 132509
4.69/4.73	o 132509
4.69/4.73	c Elapsed CPU time: 4.64229 s	Remaining CPU time: 175.358 s
4.69/4.73	c ===============================================================================
4.69/4.73	c |       636 |    3841    26479   130690 |     8826      636    291 | 32.281 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: 132508
4.69/4.77	o 132508
4.69/4.77	c Elapsed CPU time: 4.68229 s	Remaining CPU time: 175.318 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |       639 |    3841    26480   132696 |     8826      639    292 | 32.281 % |
4.69/4.79	c ===============================================================================
4.69/4.79	c New solution: 130955
4.69/4.79	o 130955
4.69/4.79	c Elapsed CPU time: 4.70428 s	Remaining CPU time: 175.296 s
4.69/4.79	c ===============================================================================
4.69/4.79	c |       640 |    3841    26481   134702 |     8827      640    291 | 32.281 % |
4.79/4.82	c ===============================================================================
4.79/4.82	c New solution: 130952
4.79/4.82	o 130952
4.79/4.82	c Elapsed CPU time: 4.72628 s	Remaining CPU time: 175.274 s
4.79/4.82	c ===============================================================================
4.79/4.82	c |       640 |    3841    26482   136708 |     8827      640    291 | 32.281 % |
4.79/4.86	c ===============================================================================
4.79/4.86	c New solution: 130924
4.79/4.86	o 130924
4.79/4.86	c Elapsed CPU time: 4.76727 s	Remaining CPU time: 175.233 s
4.79/4.86	c ===============================================================================
4.79/4.86	c |       646 |    3841    26483   138714 |     8827      646    292 | 32.281 % |
4.79/4.90	c ===============================================================================
4.79/4.90	c New solution: 130923
4.79/4.90	o 130923
4.79/4.90	c Elapsed CPU time: 4.80427 s	Remaining CPU time: 175.196 s
4.79/4.90	c ===============================================================================
4.79/4.90	c |       647 |    3841    26484   140720 |     8828      647    292 | 32.281 % |
4.89/4.92	c ===============================================================================
4.89/4.92	c New solution: 129375
4.89/4.92	o 129375
4.89/4.92	c Elapsed CPU time: 4.82727 s	Remaining CPU time: 175.173 s
4.89/4.92	c ===============================================================================
4.89/4.92	c |       647 |    3841    26485   142726 |     8828      647    292 | 32.281 % |
4.89/4.94	c ===============================================================================
4.89/4.94	c New solution: 129374
4.89/4.94	o 129374
4.89/4.94	c Elapsed CPU time: 4.84726 s	Remaining CPU time: 175.153 s
4.89/4.94	c ===============================================================================
4.89/4.94	c |       647 |    3841    26486   144732 |     8828      647    292 | 32.281 % |
4.89/4.97	c ===============================================================================
4.89/4.97	c New solution: 129356
4.89/4.97	o 129356
4.89/4.97	c Elapsed CPU time: 4.87926 s	Remaining CPU time: 175.121 s
4.89/4.97	c ===============================================================================
4.89/4.97	c |       647 |    3841    26487   146738 |     8829      647    292 | 32.281 % |
4.99/5.00	c ===============================================================================
4.99/5.00	c New solution: 121534
4.99/5.00	o 121534
4.99/5.00	c Elapsed CPU time: 4.90325 s	Remaining CPU time: 175.097 s
4.99/5.00	c ===============================================================================
4.99/5.00	c |       647 |    3841    26488   148744 |     8829      647    292 | 32.281 % |
4.99/5.02	c ===============================================================================
4.99/5.02	c New solution: 121533
4.99/5.02	o 121533
4.99/5.02	c Elapsed CPU time: 4.92325 s	Remaining CPU time: 175.077 s
4.99/5.02	c ===============================================================================
4.99/5.02	c |       647 |    3841    26489   150750 |     8829      647    292 | 32.281 % |
4.99/5.04	c ===============================================================================
4.99/5.04	c New solution: 121529
4.99/5.04	o 121529
4.99/5.04	c Elapsed CPU time: 4.94525 s	Remaining CPU time: 175.055 s
4.99/5.04	c ===============================================================================
4.99/5.04	c |       647 |    3841    26490   152756 |     8830      647    292 | 32.281 % |
4.99/5.06	c ===============================================================================
4.99/5.06	c New solution: 119969
4.99/5.06	o 119969
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 |       647 |    3841    26491   154762 |     8830      647    292 | 32.281 % |
4.99/5.08	c ===============================================================================
4.99/5.08	c New solution: 119968
4.99/5.08	o 119968
4.99/5.08	c Elapsed CPU time: 4.98724 s	Remaining CPU time: 175.013 s
4.99/5.08	c ===============================================================================
4.99/5.08	c |       647 |    3841    26492   156768 |     8830      647    292 | 32.281 % |
5.09/5.11	c ===============================================================================
5.09/5.11	c New solution: 119967
5.09/5.11	o 119967
5.09/5.11	c Elapsed CPU time: 5.00624 s	Remaining CPU time: 174.994 s
5.09/5.11	c ===============================================================================
5.09/5.11	c |       647 |    3841    26493   158774 |     8831      647    292 | 32.281 % |
5.09/5.13	c ===============================================================================
5.09/5.13	c New solution: 119966
5.09/5.13	o 119966
5.09/5.13	c Elapsed CPU time: 5.02623 s	Remaining CPU time: 174.974 s
5.09/5.13	c ===============================================================================
5.09/5.13	c |       647 |    3841    26494   160780 |     8831      647    292 | 32.281 % |
5.09/5.15	c ===============================================================================
5.09/5.15	c New solution: 119965
5.09/5.15	o 119965
5.09/5.15	c Elapsed CPU time: 5.04523 s	Remaining CPU time: 174.955 s
5.09/5.15	c ===============================================================================
5.09/5.15	c |       648 |    3841    26495   162786 |     8831      648    293 | 32.281 % |
5.19/5.23	c ===============================================================================
5.19/5.23	c New solution: 119964
5.19/5.23	o 119964
5.19/5.23	c Elapsed CPU time: 5.12522 s	Remaining CPU time: 174.875 s
5.19/5.23	c ===============================================================================
5.19/5.23	c |       652 |    3841    26496   164792 |     8832      652    294 | 32.281 % |
5.29/5.32	c ===============================================================================
5.29/5.32	c New solution: 119963
5.29/5.32	o 119963
5.29/5.32	c Elapsed CPU time: 5.21721 s	Remaining CPU time: 174.783 s
5.29/5.32	c ===============================================================================
5.29/5.32	c |       657 |    3841    26497   166798 |     8832      657    295 | 32.281 % |
5.50/5.54	c ===============================================================================
5.50/5.54	c New solution: 119962
5.50/5.54	o 119962
5.50/5.54	c Elapsed CPU time: 5.43717 s	Remaining CPU time: 174.563 s
5.50/5.54	c ===============================================================================
5.50/5.54	c |       704 |    3841    26498   168804 |     8832      704    320 | 32.281 % |
5.50/5.59	c |       804 |    3841    26498   168804 |     9715      804    347 | 32.281 % |
5.59/5.66	c ===============================================================================
5.59/5.66	c New solution: 119939
5.59/5.66	o 119939
5.59/5.66	c Elapsed CPU time: 5.55116 s	Remaining CPU time: 174.449 s
5.59/5.66	c ===============================================================================
5.59/5.66	c |       812 |    3841    26499   170810 |     8833      812    349 | 32.281 % |
5.69/5.79	c ===============================================================================
5.69/5.79	c New solution: 119938
5.69/5.79	o 119938
5.69/5.79	c Elapsed CPU time: 5.68114 s	Remaining CPU time: 174.319 s
5.69/5.79	c ===============================================================================
5.69/5.79	c |       821 |    3841    26500   172816 |     8833      821    350 | 32.281 % |
5.79/5.86	c ===============================================================================
5.79/5.86	c New solution: 119937
5.79/5.86	o 119937
5.79/5.86	c Elapsed CPU time: 5.75812 s	Remaining CPU time: 174.242 s
5.79/5.86	c ===============================================================================
5.79/5.86	c |       825 |    3841    26501   174822 |     8833      825    351 | 32.281 % |
6.09/6.12	c |       927 |    3841    26501   174822 |     9717      927    379 | 32.281 % |
6.19/6.20	c ===============================================================================
6.19/6.20	c New solution: 119936
6.19/6.20	o 119936
6.19/6.20	c Elapsed CPU time: 6.09407 s	Remaining CPU time: 173.906 s
6.19/6.20	c ===============================================================================
6.19/6.20	c |       928 |    3841    26502   176828 |     8834      928    380 | 32.281 % |
6.29/6.30	c ===============================================================================
6.29/6.30	c New solution: 119911
6.29/6.30	o 119911
6.29/6.30	c Elapsed CPU time: 6.18706 s	Remaining CPU time: 173.813 s
6.29/6.30	c ===============================================================================
6.29/6.30	c |       937 |    3841    26503   178834 |     8834      937    380 | 32.281 % |
6.29/6.39	c ===============================================================================
6.29/6.39	c New solution: 119910
6.29/6.39	o 119910
6.29/6.39	c Elapsed CPU time: 6.27705 s	Remaining CPU time: 173.723 s
6.29/6.39	c ===============================================================================
6.29/6.39	c |       952 |    3841    26504   180840 |     8834      952    384 | 32.281 % |
6.69/6.79	c |      1052 |    3841    26504   180840 |     9718     1052    400 | 32.281 % |
7.39/7.47	c |      1202 |    3841    26504   180840 |    10689     1202    426 | 32.281 % |
8.09/8.11	c |      1427 |    3841    26504   180840 |    11758     1427    457 | 32.281 % |
8.29/8.31	c ===============================================================================
8.29/8.31	c New solution: 119909
8.29/8.31	o 119909
8.29/8.31	c Elapsed CPU time: 8.18876 s	Remaining CPU time: 171.811 s
8.29/8.31	c ===============================================================================
8.29/8.31	c |      1466 |    3841    26505   182846 |     8835     1466    461 | 32.281 % |
8.29/8.40	c ===============================================================================
8.29/8.40	c New solution: 119908
8.29/8.40	o 119908
8.29/8.40	c Elapsed CPU time: 8.27774 s	Remaining CPU time: 171.722 s
8.29/8.40	c ===============================================================================
8.29/8.40	c |      1470 |    3841    26506   184852 |     8835     1470    460 | 32.281 % |
8.39/8.46	c ===============================================================================
8.39/8.46	c New solution: 119907
8.39/8.46	o 119907
8.39/8.46	c Elapsed CPU time: 8.34373 s	Remaining CPU time: 171.656 s
8.39/8.46	c ===============================================================================
8.39/8.46	c |      1470 |    3841    26507   186858 |     8835     1470    460 | 32.281 % |
8.49/8.53	c ===============================================================================
8.49/8.53	c New solution: 119906
8.49/8.53	o 119906
8.49/8.53	c Elapsed CPU time: 8.41072 s	Remaining CPU time: 171.589 s
8.49/8.53	c ===============================================================================
8.49/8.53	c |      1470 |    3841    26508   188864 |     8836     1470    460 | 32.281 % |
8.59/8.60	c ===============================================================================
8.59/8.60	c New solution: 119905
8.59/8.60	o 119905
8.59/8.60	c Elapsed CPU time: 8.47571 s	Remaining CPU time: 171.524 s
8.59/8.60	c ===============================================================================
8.59/8.60	c |      1470 |    3841    26509   190870 |     8836     1470    460 | 32.281 % |
8.59/8.67	c ===============================================================================
8.59/8.67	c New solution: 119904
8.59/8.67	o 119904
8.59/8.67	c Elapsed CPU time: 8.5457 s	Remaining CPU time: 171.454 s
8.59/8.67	c ===============================================================================
8.59/8.67	c |      1470 |    3841    26510   192876 |     8836     1470    460 | 32.281 % |
8.70/8.73	c ===============================================================================
8.70/8.73	c New solution: 119903
8.70/8.73	o 119903
8.70/8.73	c Elapsed CPU time: 8.61069 s	Remaining CPU time: 171.389 s
8.70/8.73	c ===============================================================================
8.70/8.73	c |      1470 |    3841    26511   194882 |     8837     1470    460 | 32.281 % |
8.79/8.80	c ===============================================================================
8.79/8.80	c New solution: 119902
8.79/8.80	o 119902
8.79/8.80	c Elapsed CPU time: 8.67968 s	Remaining CPU time: 171.32 s
8.79/8.80	c ===============================================================================
8.79/8.80	c |      1470 |    3841    26512   196888 |     8837     1470    460 | 32.281 % |
8.79/8.87	c ===============================================================================
8.79/8.87	c New solution: 119901
8.79/8.87	o 119901
8.79/8.87	c Elapsed CPU time: 8.74667 s	Remaining CPU time: 171.253 s
8.79/8.87	c ===============================================================================
8.79/8.87	c |      1470 |    3841    26513   198894 |     8837     1470    460 | 32.281 % |
8.88/8.94	c ===============================================================================
8.88/8.94	c New solution: 119900
8.88/8.94	o 119900
8.88/8.94	c Elapsed CPU time: 8.81366 s	Remaining CPU time: 171.186 s
8.88/8.94	c ===============================================================================
8.88/8.94	c |      1470 |    3841    26514   200900 |     8838     1470    460 | 32.281 % |
8.99/9.05	c ===============================================================================
8.99/9.05	c New solution: 119899
8.99/9.05	o 119899
8.99/9.05	c Elapsed CPU time: 8.91864 s	Remaining CPU time: 171.081 s
8.99/9.05	c ===============================================================================
8.99/9.05	c |      1472 |    3841    26515   202906 |     8838     1472    459 | 32.281 % |
9.09/9.12	c ===============================================================================
9.09/9.12	c New solution: 119898
9.09/9.12	o 119898
9.09/9.12	c Elapsed CPU time: 8.98863 s	Remaining CPU time: 171.011 s
9.09/9.12	c ===============================================================================
9.09/9.12	c |      1472 |    3841    26516   204912 |     8838     1472    459 | 32.281 % |
9.19/9.20	c ===============================================================================
9.19/9.20	c New solution: 119897
9.19/9.20	o 119897
9.19/9.20	c Elapsed CPU time: 9.06962 s	Remaining CPU time: 170.93 s
9.19/9.20	c ===============================================================================
9.19/9.20	c |      1476 |    3841    26517   206918 |     8839     1476    459 | 32.281 % |
9.19/9.27	c ===============================================================================
9.19/9.27	c New solution: 119896
9.19/9.27	o 119896
9.19/9.27	c Elapsed CPU time: 9.14061 s	Remaining CPU time: 170.859 s
9.19/9.27	c ===============================================================================
9.19/9.27	c |      1480 |    3841    26518   208924 |     8839     1480    460 | 32.281 % |
9.39/9.44	c ===============================================================================
9.39/9.44	c New solution: 119895
9.39/9.44	o 119895
9.39/9.44	c Elapsed CPU time: 9.31158 s	Remaining CPU time: 170.688 s
9.39/9.44	c ===============================================================================
9.39/9.44	c |      1516 |    3841    26519   210930 |     8839     1516    462 | 32.281 % |
9.59/9.68	c ===============================================================================
9.59/9.68	c New solution: 119894
9.59/9.68	o 119894
9.59/9.68	c Elapsed CPU time: 9.54655 s	Remaining CPU time: 170.453 s
9.59/9.68	c ===============================================================================
9.59/9.68	c |      1569 |    3841    26520   212936 |     8840     1569    466 | 32.281 % |
9.79/9.81	c ===============================================================================
9.79/9.81	c New solution: 119893
9.79/9.81	o 119893
9.79/9.81	c Elapsed CPU time: 9.67653 s	Remaining CPU time: 170.323 s
9.79/9.81	c ===============================================================================
9.79/9.81	c |      1574 |    3841    26521   214942 |     8840     1574    466 | 32.281 % |
9.79/9.88	c ===============================================================================
9.79/9.88	c New solution: 119892
9.79/9.88	o 119892
9.79/9.88	c Elapsed CPU time: 9.74352 s	Remaining CPU time: 170.256 s
9.79/9.88	c ===============================================================================
9.79/9.88	c |      1576 |    3841    26522   216948 |     8840     1576    466 | 32.281 % |
9.89/9.98	c ===============================================================================
9.89/9.98	c New solution: 119891
9.89/9.98	o 119891
9.89/9.98	c Elapsed CPU time: 9.8405 s	Remaining CPU time: 170.159 s
9.89/9.98	c ===============================================================================
9.89/9.98	c |      1589 |    3841    26523   218954 |     8841     1589    467 | 32.281 % |
9.99/10.08	c ===============================================================================
9.99/10.08	c New solution: 119890
9.99/10.08	o 119890
9.99/10.08	c Elapsed CPU time: 9.94049 s	Remaining CPU time: 170.06 s
9.99/10.08	c ===============================================================================
9.99/10.08	c |      1597 |    3841    26524   220960 |     8841     1597    466 | 32.281 % |
10.39/10.45	c |      1697 |    3841    26524   220960 |     9725     1697    475 | 32.281 % |
10.49/10.57	c ===============================================================================
10.49/10.57	c New solution: 119889
10.49/10.57	o 119889
10.49/10.57	c Elapsed CPU time: 10.4344 s	Remaining CPU time: 169.566 s
10.49/10.57	c ===============================================================================
10.49/10.57	c |      1707 |    3841    26525   222966 |     8841     1707    474 | 32.281 % |
10.90/11.00	c |      1807 |    3841    26525   222966 |     9725     1807    481 | 32.281 % |
11.00/11.09	c ===============================================================================
11.00/11.09	c New solution: 119888
11.00/11.09	o 119888
11.00/11.09	c Elapsed CPU time: 10.9443 s	Remaining CPU time: 169.056 s
11.00/11.09	c ===============================================================================
11.00/11.09	c |      1812 |    3841    26526   224972 |     8842     1812    481 | 32.281 % |
11.09/11.18	c ===============================================================================
11.09/11.18	c New solution: 119887
11.09/11.18	o 119887
11.09/11.18	c Elapsed CPU time: 11.0373 s	Remaining CPU time: 168.963 s
11.09/11.18	c ===============================================================================
11.09/11.18	c |      1827 |    3841    26527   226978 |     8842     1827    481 | 32.281 % |
11.69/11.76	c |      1927 |    3841    26527   226978 |     9726     1927    488 | 32.281 % |
11.79/11.86	c ===============================================================================
11.79/11.86	c New solution: 119886
11.79/11.86	o 119886
11.79/11.86	c Elapsed CPU time: 11.7112 s	Remaining CPU time: 168.289 s
11.79/11.86	c ===============================================================================
11.79/11.86	c |      1936 |    3841    26528   228984 |     8842     1936    488 | 32.281 % |
12.19/12.25	c |      2036 |    3841    26528   228984 |     9726     2036    494 | 32.281 % |
12.28/12.32	c ===============================================================================
12.28/12.32	c New solution: 119885
12.28/12.32	o 119885
12.28/12.32	c Elapsed CPU time: 12.1761 s	Remaining CPU time: 167.824 s
12.28/12.32	c ===============================================================================
12.28/12.32	c |      2040 |    3841    26529   230990 |     8843     2040    493 | 32.281 % |
12.28/12.38	c ===============================================================================
12.28/12.38	c New solution: 119884
12.28/12.38	o 119884
12.28/12.38	c Elapsed CPU time: 12.2291 s	Remaining CPU time: 167.771 s
12.28/12.38	c ===============================================================================
12.28/12.38	c |      2040 |    3841    26530   232996 |     8843     2040    493 | 32.281 % |
12.69/12.78	c |      2141 |    3841    26530   232996 |     9727     2141    499 | 32.281 % |
13.29/13.37	c |      2291 |    3841    26530   232996 |    10700     2291    505 | 32.281 % |
14.19/14.28	c |      2516 |    3841    26530   232996 |    11770     2516    514 | 32.281 % |
14.78/14.85	c ===============================================================================
14.78/14.85	c New solution: 119883
14.78/14.85	o 119883
14.78/14.85	c Elapsed CPU time: 14.6898 s	Remaining CPU time: 165.31 s
14.78/14.85	c ===============================================================================
14.78/14.85	c |      2619 |    3841    26531   235002 |     8843     2619    516 | 32.281 % |
14.98/15.09	c ===============================================================================
14.98/15.09	c New solution: 119882
14.98/15.09	o 119882
14.98/15.09	c Elapsed CPU time: 14.9297 s	Remaining CPU time: 165.07 s
14.98/15.09	c ===============================================================================
14.98/15.09	c |      2650 |    3841    26532   237008 |     8844     2650    515 | 32.281 % |
15.08/15.14	c ===============================================================================
15.08/15.14	c New solution: 119881
15.08/15.14	o 119881
15.08/15.14	c Elapsed CPU time: 14.9807 s	Remaining CPU time: 165.019 s
15.08/15.14	c ===============================================================================
15.08/15.14	c |      2654 |    3841    26533   239014 |     8844     2654    515 | 32.281 % |
15.18/15.25	c ===============================================================================
15.18/15.25	c New solution: 119880
15.18/15.25	o 119880
15.18/15.25	c Elapsed CPU time: 15.0907 s	Remaining CPU time: 164.909 s
15.18/15.25	c ===============================================================================
15.18/15.25	c |      2658 |    3841    26534   241020 |     8844     2658    514 | 32.281 % |
15.29/15.33	c ===============================================================================
15.29/15.33	c New solution: 119879
15.29/15.33	o 119879
15.29/15.33	c Elapsed CPU time: 15.1687 s	Remaining CPU time: 164.831 s
15.29/15.33	c ===============================================================================
15.29/15.33	c |      2661 |    3841    26535   243026 |     8845     2661    514 | 32.281 % |
15.40/15.42	c ===============================================================================
15.40/15.42	c New solution: 119878
15.40/15.42	o 119878
15.40/15.42	c Elapsed CPU time: 15.2577 s	Remaining CPU time: 164.742 s
15.40/15.42	c ===============================================================================
15.40/15.42	c |      2672 |    3841    26536   245032 |     8845     2672    514 | 32.281 % |
15.40/15.50	c ===============================================================================
15.40/15.50	c New solution: 119877
15.40/15.50	o 119877
15.40/15.50	c Elapsed CPU time: 15.3357 s	Remaining CPU time: 164.664 s
15.40/15.50	c ===============================================================================
15.40/15.50	c |      2673 |    3841    26537   247038 |     8845     2673    514 | 32.281 % |
15.49/15.58	c ===============================================================================
15.49/15.58	c New solution: 118362
15.49/15.58	o 118362
15.49/15.58	c Elapsed CPU time: 15.4177 s	Remaining CPU time: 164.582 s
15.49/15.58	c ===============================================================================
15.49/15.58	c |      2677 |    3841    26538   249044 |     8846     2677    514 | 32.281 % |
15.69/15.72	c ===============================================================================
15.69/15.72	c New solution: 118327
15.69/15.72	o 118327
15.69/15.72	c Elapsed CPU time: 15.5576 s	Remaining CPU time: 164.442 s
15.69/15.72	c ===============================================================================
15.69/15.72	c |      2683 |    3841    26539   251050 |     8846     2683    513 | 32.281 % |
15.69/15.76	c ===============================================================================
15.69/15.76	c New solution: 118326
15.69/15.76	o 118326
15.69/15.76	c Elapsed CPU time: 15.5956 s	Remaining CPU time: 164.404 s
15.69/15.76	c ===============================================================================
15.69/15.76	c |      2685 |    3841    26540   253056 |     8846     2685    513 | 32.281 % |
15.79/15.85	c ===============================================================================
15.79/15.85	c New solution: 118325
15.79/15.85	o 118325
15.79/15.85	c Elapsed CPU time: 15.6886 s	Remaining CPU time: 164.311 s
15.79/15.85	c ===============================================================================
15.79/15.85	c |      2694 |    3841    26541   255062 |     8847     2694    513 | 32.281 % |
15.89/15.91	c ===============================================================================
15.89/15.91	c New solution: 118324
15.89/15.91	o 118324
15.89/15.91	c Elapsed CPU time: 15.7476 s	Remaining CPU time: 164.252 s
15.89/15.91	c ===============================================================================
15.89/15.91	c |      2701 |    3841    26542   257068 |     8847     2701    513 | 32.281 % |
15.99/16.00	c ===============================================================================
15.99/16.00	c New solution: 118323
15.99/16.00	o 118323
15.99/16.00	c Elapsed CPU time: 15.8386 s	Remaining CPU time: 164.161 s
15.99/16.00	c ===============================================================================
15.99/16.00	c |      2712 |    3841    26543   259074 |     8847     2712    513 | 32.281 % |
16.09/16.12	c ===============================================================================
16.09/16.12	c New solution: 118322
16.09/16.12	o 118322
16.09/16.12	c Elapsed CPU time: 15.9516 s	Remaining CPU time: 164.048 s
16.09/16.12	c ===============================================================================
16.09/16.12	c |      2715 |    3841    26544   261080 |     8848     2715    513 | 32.281 % |
16.19/16.22	c ===============================================================================
16.19/16.22	c New solution: 118321
16.19/16.22	o 118321
16.19/16.22	c Elapsed CPU time: 16.0556 s	Remaining CPU time: 163.944 s
16.19/16.22	c ===============================================================================
16.19/16.22	c |      2729 |    3841    26545   263086 |     8848     2729    513 | 32.281 % |
16.68/16.79	c |      2829 |    3841    26545   263086 |     9733     2829    517 | 32.281 % |
16.78/16.88	c ===============================================================================
16.78/16.88	c New solution: 118316
16.78/16.88	o 118316
16.78/16.88	c Elapsed CPU time: 16.7155 s	Remaining CPU time: 163.285 s
16.78/16.88	c ===============================================================================
16.78/16.88	c |      2830 |    3841    26546   265092 |     8848     2830    517 | 32.281 % |
16.88/16.97	c ===============================================================================
16.88/16.97	c New solution: 118315
16.88/16.97	o 118315
16.88/16.97	c Elapsed CPU time: 16.7984 s	Remaining CPU time: 163.202 s
16.88/16.97	c ===============================================================================
16.88/16.97	c |      2833 |    3841    26547   267098 |     8849     2833    517 | 32.281 % |
17.39/17.48	c |      2933 |    3841    26547   267098 |     9733     2933    520 | 32.281 % |
17.50/17.52	c ===============================================================================
17.50/17.52	c New solution: 116808
17.50/17.52	o 116808
17.50/17.52	c Elapsed CPU time: 17.3514 s	Remaining CPU time: 162.649 s
17.50/17.52	c ===============================================================================
17.50/17.52	c |      2939 |    3841    26548   269104 |     8849     2939    519 | 32.281 % |
17.60/17.61	c ===============================================================================
17.60/17.61	c New solution: 116769
17.60/17.61	o 116769
17.60/17.61	c Elapsed CPU time: 17.4313 s	Remaining CPU time: 162.569 s
17.60/17.61	c ===============================================================================
17.60/17.61	c |      2942 |    3841    26549   271110 |     8849     2942    519 | 32.281 % |
17.60/17.67	c ===============================================================================
17.60/17.67	c New solution: 115251
17.60/17.67	o 115251
17.60/17.67	c Elapsed CPU time: 17.4923 s	Remaining CPU time: 162.508 s
17.60/17.67	c ===============================================================================
17.60/17.67	c |      2943 |    3841    26550   273116 |     8850     2943    519 | 32.281 % |
17.68/17.75	c ===============================================================================
17.68/17.75	c New solution: 115205
17.68/17.75	o 115205
17.68/17.75	c Elapsed CPU time: 17.5723 s	Remaining CPU time: 162.428 s
17.68/17.75	c ===============================================================================
17.68/17.75	c |      2943 |    3841    26551   275122 |     8850     2943    519 | 32.281 % |
17.88/17.92	c ===============================================================================
17.88/17.92	c New solution: 115204
17.88/17.92	o 115204
17.88/17.92	c Elapsed CPU time: 17.7453 s	Remaining CPU time: 162.255 s
17.88/17.92	c ===============================================================================
17.88/17.92	c |      2968 |    3841    26552   277128 |     8850     2968    519 | 32.281 % |
18.39/18.43	c |      3068 |    3841    26552   277128 |     9735     3068    523 | 32.281 % |
18.39/18.49	c ===============================================================================
18.39/18.49	c New solution: 115203
18.39/18.49	o 115203
18.39/18.49	c Elapsed CPU time: 18.3062 s	Remaining CPU time: 161.694 s
18.39/18.49	c ===============================================================================
18.39/18.49	c |      3073 |    3841    26553   279134 |     8851     3073    523 | 32.281 % |
18.49/18.59	c ===============================================================================
18.49/18.59	c New solution: 115195
18.49/18.59	o 115195
18.49/18.59	c Elapsed CPU time: 18.4092 s	Remaining CPU time: 161.591 s
18.49/18.59	c ===============================================================================
18.49/18.59	c |      3078 |    3841    26554   281140 |     8851     3078    523 | 32.281 % |
18.60/18.67	c ===============================================================================
18.60/18.67	c New solution: 115194
18.60/18.67	o 115194
18.60/18.67	c Elapsed CPU time: 18.4862 s	Remaining CPU time: 161.514 s
18.60/18.67	c ===============================================================================
18.60/18.67	c |      3078 |    3841    26555   283146 |     8851     3078    523 | 32.281 % |
18.70/18.75	c ===============================================================================
18.70/18.75	c New solution: 115193
18.70/18.75	o 115193
18.70/18.75	c Elapsed CPU time: 18.5682 s	Remaining CPU time: 161.432 s
18.70/18.75	c ===============================================================================
18.70/18.75	c |      3079 |    3841    26556   285152 |     8852     3079    523 | 32.281 % |
18.79/18.83	c ===============================================================================
18.79/18.83	c New solution: 115192
18.79/18.83	o 115192
18.79/18.83	c Elapsed CPU time: 18.6432 s	Remaining CPU time: 161.357 s
18.79/18.83	c ===============================================================================
18.79/18.83	c |      3080 |    3841    26557   287158 |     8852     3080    523 | 32.281 % |
18.99/19.02	c ===============================================================================
18.99/19.02	c New solution: 115191
18.99/19.02	o 115191
18.99/19.02	c Elapsed CPU time: 18.8401 s	Remaining CPU time: 161.16 s
18.99/19.02	c ===============================================================================
18.99/19.02	c |      3106 |    3841    26558   289164 |     8852     3106    523 | 32.281 % |
18.99/19.09	c ===============================================================================
18.99/19.09	c New solution: 115190
18.99/19.09	o 115190
18.99/19.09	c Elapsed CPU time: 18.9051 s	Remaining CPU time: 161.095 s
18.99/19.09	c ===============================================================================
18.99/19.09	c |      3113 |    3841    26559   291170 |     8853     3113    523 | 32.281 % |
19.59/19.65	c |      3213 |    3841    26559   291170 |     9738     3213    526 | 32.281 % |
19.59/19.70	c ===============================================================================
19.59/19.70	c New solution: 115189
19.59/19.70	o 115189
19.59/19.70	c Elapsed CPU time: 19.506 s	Remaining CPU time: 160.494 s
19.59/19.70	c ===============================================================================
19.59/19.70	c |      3213 |    3841    26560   293176 |     8853     3213    526 | 32.281 % |
19.69/19.75	c ===============================================================================
19.69/19.75	c New solution: 113685
19.69/19.75	o 113685
19.69/19.75	c Elapsed CPU time: 19.556 s	Remaining CPU time: 160.444 s
19.69/19.75	c ===============================================================================
19.69/19.75	c |      3214 |    3841    26561   295182 |     8853     3214    526 | 32.281 % |
19.80/19.89	c ===============================================================================
19.80/19.89	c New solution: 113648
19.80/19.89	o 113648
19.80/19.89	c Elapsed CPU time: 19.695 s	Remaining CPU time: 160.305 s
19.80/19.89	c ===============================================================================
19.80/19.89	c |      3215 |    3841    26562   297188 |     8854     3215    526 | 32.281 % |
19.89/19.96	c ===============================================================================
19.89/19.96	c New solution: 113641
19.89/19.96	o 113641
19.89/19.96	c Elapsed CPU time: 19.763 s	Remaining CPU time: 160.237 s
19.89/19.96	c ===============================================================================
19.89/19.96	c |      3216 |    3841    26563   299194 |     8854     3216    526 | 32.281 % |
19.99/20.03	c ===============================================================================
19.99/20.03	c New solution: 113629
19.99/20.03	o 113629
19.99/20.03	c Elapsed CPU time: 19.836 s	Remaining CPU time: 160.164 s
19.99/20.03	c ===============================================================================
19.99/20.03	c |      3216 |    3841    26564   301200 |     8854     3216    526 | 32.281 % |
20.08/20.12	c ===============================================================================
20.08/20.12	c New solution: 113628
20.08/20.12	o 113628
20.08/20.12	c Elapsed CPU time: 19.92 s	Remaining CPU time: 160.08 s
20.08/20.12	c ===============================================================================
20.08/20.12	c |      3216 |    3841    26565   303206 |     8855     3216    526 | 32.281 % |
20.18/20.27	c ===============================================================================
20.18/20.27	c New solution: 113627
20.18/20.27	o 113627
20.18/20.27	c Elapsed CPU time: 20.0729 s	Remaining CPU time: 159.927 s
20.18/20.27	c ===============================================================================
20.18/20.27	c |      3224 |    3841    26566   305212 |     8855     3224    526 | 32.281 % |
20.28/20.36	c ===============================================================================
20.28/20.36	c New solution: 113626
20.28/20.36	o 113626
20.28/20.36	c Elapsed CPU time: 20.1579 s	Remaining CPU time: 159.842 s
20.28/20.36	c ===============================================================================
20.28/20.36	c |      3231 |    3841    26567   307218 |     8855     3231    526 | 32.281 % |
20.79/20.88	c |      3331 |    3841    26567   307218 |     9741     3331    529 | 32.281 % |
21.69/21.73	c |      3482 |    3841    26567   307218 |    10715     3482    534 | 32.281 % |
21.79/21.85	c ===============================================================================
21.79/21.85	c New solution: 113625
21.79/21.85	o 113625
21.79/21.85	c Elapsed CPU time: 21.6457 s	Remaining CPU time: 158.354 s
21.79/21.85	c ===============================================================================
21.79/21.85	c |      3485 |    3841    26568   309224 |     8856     3485    534 | 32.281 % |
21.90/21.98	c ===============================================================================
21.90/21.98	c New solution: 113624
21.90/21.98	o 113624
21.90/21.98	c Elapsed CPU time: 21.7727 s	Remaining CPU time: 158.227 s
21.90/21.98	c ===============================================================================
21.90/21.98	c |      3485 |    3841    26569   311230 |     8856     3485    534 | 32.281 % |
22.09/22.17	c ===============================================================================
22.09/22.17	c New solution: 113623
22.09/22.17	o 113623
22.09/22.17	c Elapsed CPU time: 21.9617 s	Remaining CPU time: 158.038 s
22.09/22.17	c ===============================================================================
22.09/22.17	c |      3492 |    3841    26570   313236 |     8856     3492    534 | 32.281 % |
22.39/22.48	c |      3592 |    3841    26570   313236 |     9742     3592    535 | 32.281 % |
22.59/22.65	c ===============================================================================
22.59/22.65	c New solution: 113622
22.59/22.65	o 113622
22.59/22.65	c Elapsed CPU time: 22.4466 s	Remaining CPU time: 157.553 s
22.59/22.65	c ===============================================================================
22.59/22.65	c |      3600 |    3841    26571   315242 |     8857     3600    535 | 32.281 % |
23.49/23.50	c |      3700 |    3841    26571   315242 |     9742     3700    537 | 32.281 % |
24.49/24.59	c |      3851 |    3841    26571   315242 |    10716     3851    541 | 32.281 % |
24.59/24.69	c ===============================================================================
24.59/24.69	c New solution: 112093
24.59/24.69	o 112093
24.59/24.69	c Elapsed CPU time: 24.4783 s	Remaining CPU time: 155.522 s
24.59/24.69	c ===============================================================================
24.59/24.69	c |      3853 |    3841    26572   317248 |     8857     3853    541 | 32.281 % |
24.78/24.88	c ===============================================================================
24.78/24.88	c New solution: 112061
24.78/24.88	o 112061
24.78/24.88	c Elapsed CPU time: 24.6672 s	Remaining CPU time: 155.333 s
24.78/24.88	c ===============================================================================
24.78/24.88	c |      3857 |    3841    26573   319254 |     8857     3857    541 | 32.281 % |
24.88/24.99	c ===============================================================================
24.88/24.99	c New solution: 110537
24.88/24.99	o 110537
24.88/24.99	c Elapsed CPU time: 24.7792 s	Remaining CPU time: 155.221 s
24.88/24.99	c ===============================================================================
24.88/24.99	c |      3866 |    3841    26574   321260 |     8858     3866    540 | 32.281 % |
24.98/25.09	c ===============================================================================
24.98/25.09	c New solution: 110478
24.98/25.09	o 110478
24.98/25.09	c Elapsed CPU time: 24.8762 s	Remaining CPU time: 155.124 s
24.98/25.09	c ===============================================================================
24.98/25.09	c |      3866 |    3841    26575   323266 |     8858     3866    540 | 32.281 % |
25.08/25.18	c ===============================================================================
25.08/25.18	c New solution: 110477
25.08/25.18	o 110477
25.08/25.18	c Elapsed CPU time: 24.9682 s	Remaining CPU time: 155.032 s
25.08/25.18	c ===============================================================================
25.08/25.18	c |      3866 |    3841    26576   325272 |     8858     3866    540 | 32.281 % |
25.20/25.27	c ===============================================================================
25.20/25.27	c New solution: 110476
25.20/25.27	o 110476
25.20/25.27	c Elapsed CPU time: 25.0632 s	Remaining CPU time: 154.937 s
25.20/25.27	c ===============================================================================
25.20/25.27	c |      3869 |    3841    26577   327278 |     8859     3869    540 | 32.281 % |
25.99/26.07	c |      3972 |    3841    26577   327278 |     9744     3972    542 | 32.281 % |
26.09/26.17	c ===============================================================================
26.09/26.17	c New solution: 108971
26.09/26.17	o 108971
26.09/26.17	c Elapsed CPU time: 25.9571 s	Remaining CPU time: 154.043 s
26.09/26.17	c ===============================================================================
26.09/26.17	c |      3974 |    3841    26578   329284 |     8859     3974    542 | 32.281 % |
26.19/26.30	c ===============================================================================
26.19/26.30	c New solution: 108932
26.19/26.30	o 108932
26.19/26.30	c Elapsed CPU time: 26.084 s	Remaining CPU time: 153.916 s
26.19/26.30	c ===============================================================================
26.19/26.30	c |      3974 |    3841    26579   331290 |     8859     3974    542 | 32.281 % |
26.39/26.42	c ===============================================================================
26.39/26.42	c New solution: 108923
26.39/26.42	o 108923
26.39/26.42	c Elapsed CPU time: 26.197 s	Remaining CPU time: 153.803 s
26.39/26.42	c ===============================================================================
26.39/26.42	c |      3974 |    3841    26580   333296 |     8860     3974    542 | 32.281 % |
26.48/26.53	c ===============================================================================
26.48/26.53	c New solution: 108921
26.48/26.53	o 108921
26.48/26.53	c Elapsed CPU time: 26.312 s	Remaining CPU time: 153.688 s
26.48/26.53	c ===============================================================================
26.48/26.53	c |      3974 |    3841    26581   335302 |     8860     3974    542 | 32.281 % |
26.58/26.64	c ===============================================================================
26.58/26.64	c New solution: 108916
26.58/26.64	o 108916
26.58/26.64	c Elapsed CPU time: 26.42 s	Remaining CPU time: 153.58 s
26.58/26.64	c ===============================================================================
26.58/26.64	c |      3974 |    3841    26582   337308 |     8860     3974    542 | 32.281 % |
26.69/26.75	c ===============================================================================
26.69/26.75	c New solution: 108915
26.69/26.75	o 108915
26.69/26.75	c Elapsed CPU time: 26.527 s	Remaining CPU time: 153.473 s
26.69/26.75	c ===============================================================================
26.69/26.75	c |      3974 |    3841    26583   339314 |     8861     3974    542 | 32.281 % |
26.79/26.86	c ===============================================================================
26.79/26.86	c New solution: 108914
26.79/26.86	o 108914
26.79/26.86	c Elapsed CPU time: 26.6399 s	Remaining CPU time: 153.36 s
26.79/26.86	c ===============================================================================
26.79/26.86	c |      3975 |    3841    26584   341320 |     8861     3975    542 | 32.281 % |
27.79/27.83	c |      4076 |    3841    26584   341320 |     9747     4076    544 | 32.281 % |
28.28/28.30	c ===============================================================================
28.28/28.30	c New solution: 108913
28.28/28.30	o 108913
28.28/28.30	c Elapsed CPU time: 28.0767 s	Remaining CPU time: 151.923 s
28.28/28.30	c ===============================================================================
28.28/28.30	c |      4114 |    3841    26585   343326 |     8861     4114    544 | 32.281 % |
29.38/29.45	c |      4214 |    3841    26585   343326 |     9747     4214    544 | 32.281 % |
30.28/30.32	c |      4365 |    3841    26585   343326 |    10722     4365    547 | 32.281 % |
30.38/30.40	c ===============================================================================
30.38/30.40	c New solution: 107383
30.38/30.40	o 107383
30.38/30.40	c Elapsed CPU time: 30.1664 s	Remaining CPU time: 149.834 s
30.38/30.40	c ===============================================================================
30.38/30.40	c |      4368 |    3841    26586   345332 |     8862     4368    547 | 32.281 % |
30.48/30.54	c ===============================================================================
30.48/30.54	c New solution: 107378
30.48/30.54	o 107378
30.48/30.54	c Elapsed CPU time: 30.3044 s	Remaining CPU time: 149.696 s
30.48/30.54	c ===============================================================================
30.48/30.54	c |      4371 |    3841    26587   347338 |     8862     4371    547 | 32.281 % |
30.70/30.70	c ===============================================================================
30.70/30.70	c New solution: 107349
30.70/30.70	o 107349
30.70/30.70	c Elapsed CPU time: 30.4714 s	Remaining CPU time: 149.529 s
30.70/30.70	c ===============================================================================
30.70/30.70	c |      4371 |    3841    26588   349344 |     8862     4371    547 | 32.281 % |
30.70/30.78	c ===============================================================================
30.70/30.78	c New solution: 105801
30.70/30.78	o 105801
30.70/30.78	c Elapsed CPU time: 30.5434 s	Remaining CPU time: 149.457 s
30.70/30.78	c ===============================================================================
30.70/30.78	c |      4373 |    3841    26589   351350 |     8863     4373    547 | 32.281 % |
30.79/30.89	c ===============================================================================
30.79/30.89	c New solution: 105776
30.79/30.89	o 105776
30.79/30.89	c Elapsed CPU time: 30.6573 s	Remaining CPU time: 149.343 s
30.79/30.89	c ===============================================================================
30.79/30.89	c |      4377 |    3841    26590   353356 |     8863     4377    547 | 32.281 % |
30.99/31.01	c ===============================================================================
30.99/31.01	c New solution: 104254
30.99/31.01	o 104254
30.99/31.01	c Elapsed CPU time: 30.7713 s	Remaining CPU time: 149.229 s
30.99/31.01	c ===============================================================================
30.99/31.01	c |      4380 |    3841    26591   355362 |     8863     4380    547 | 32.281 % |
31.09/31.16	c ===============================================================================
31.09/31.16	c New solution: 104215
31.09/31.16	o 104215
31.09/31.16	c Elapsed CPU time: 30.9273 s	Remaining CPU time: 149.073 s
31.09/31.16	c ===============================================================================
31.09/31.16	c |      4384 |    3841    26592   357368 |     8864     4384    547 | 32.281 % |
31.49/31.59	c ===============================================================================
31.49/31.59	c New solution: 104214
31.49/31.59	o 104214
31.49/31.59	c Elapsed CPU time: 31.3572 s	Remaining CPU time: 148.643 s
31.49/31.59	c ===============================================================================
31.49/31.59	c |      4424 |    3841    26593   359374 |     8864     4424    548 | 32.281 % |
31.69/31.72	c ===============================================================================
31.69/31.72	c New solution: 104213
31.69/31.72	o 104213
31.69/31.72	c Elapsed CPU time: 31.4872 s	Remaining CPU time: 148.513 s
31.69/31.72	c ===============================================================================
31.69/31.72	c |      4425 |    3841    26594   361380 |     8864     4425    548 | 32.281 % |
31.79/31.88	c ===============================================================================
31.79/31.88	c New solution: 104212
31.79/31.88	o 104212
31.79/31.88	c Elapsed CPU time: 31.6422 s	Remaining CPU time: 148.358 s
31.79/31.88	c ===============================================================================
31.79/31.88	c |      4428 |    3841    26595   363386 |     8865     4428    548 | 32.281 % |
31.98/32.04	c ===============================================================================
31.98/32.04	c New solution: 104203
31.98/32.04	o 104203
31.98/32.04	c Elapsed CPU time: 31.7972 s	Remaining CPU time: 148.203 s
31.98/32.04	c ===============================================================================
31.98/32.04	c |      4429 |    3841    26596   365392 |     8865     4429    548 | 32.281 % |
32.08/32.17	c ===============================================================================
32.08/32.17	c New solution: 104202
32.08/32.17	o 104202
32.08/32.17	c Elapsed CPU time: 31.9271 s	Remaining CPU time: 148.073 s
32.08/32.17	c ===============================================================================
32.08/32.17	c |      4434 |    3841    26597   367398 |     8865     4434    548 | 32.281 % |
32.28/32.33	c ===============================================================================
32.28/32.33	c New solution: 104201
32.28/32.33	o 104201
32.28/32.33	c Elapsed CPU time: 32.0851 s	Remaining CPU time: 147.915 s
32.28/32.33	c ===============================================================================
32.28/32.33	c |      4438 |    3841    26598   369404 |     8866     4438    548 | 32.281 % |
32.99/33.07	c |      4539 |    3841    26598   369404 |     9752     4539    549 | 32.281 % |
33.18/33.22	c ===============================================================================
33.18/33.22	c New solution: 104200
33.18/33.22	o 104200
33.18/33.22	c Elapsed CPU time: 32.983 s	Remaining CPU time: 147.017 s
33.18/33.22	c ===============================================================================
33.18/33.22	c |      4540 |    3841    26599   371410 |     8866     4540    549 | 32.281 % |
33.28/33.33	c ===============================================================================
33.28/33.33	c New solution: 102673
33.28/33.33	o 102673
33.28/33.33	c Elapsed CPU time: 33.087 s	Remaining CPU time: 146.913 s
33.28/33.33	c ===============================================================================
33.28/33.33	c |      4541 |    3841    26600   373416 |     8866     4541    549 | 32.281 % |
33.38/33.48	c ===============================================================================
33.38/33.48	c New solution: 102661
33.38/33.48	o 102661
33.38/33.48	c Elapsed CPU time: 33.2359 s	Remaining CPU time: 146.764 s
33.38/33.48	c ===============================================================================
33.38/33.48	c |      4542 |    3841    26601   375422 |     8867     4542    549 | 32.281 % |
33.59/33.67	c ===============================================================================
33.59/33.67	c New solution: 102642
33.59/33.67	o 102642
33.59/33.67	c Elapsed CPU time: 33.4269 s	Remaining CPU time: 146.573 s
33.59/33.67	c ===============================================================================
33.59/33.67	c |      4543 |    3841    26602   377428 |     8867     4543    549 | 32.281 % |
33.79/33.84	c ===============================================================================
33.79/33.84	c New solution: 102641
33.79/33.84	o 102641
33.79/33.84	c Elapsed CPU time: 33.5919 s	Remaining CPU time: 146.408 s
33.79/33.84	c ===============================================================================
33.79/33.84	c |      4547 |    3841    26603   379434 |     8867     4547    549 | 32.281 % |
33.99/34.00	c ===============================================================================
33.99/34.00	c New solution: 102640
33.99/34.00	o 102640
33.99/34.00	c Elapsed CPU time: 33.7529 s	Remaining CPU time: 146.247 s
33.99/34.00	c ===============================================================================
33.99/34.00	c |      4550 |    3841    26604   381440 |     8868     4550    549 | 32.281 % |
34.09/34.19	c ===============================================================================
34.09/34.19	c New solution: 102639
34.09/34.19	o 102639
34.09/34.19	c Elapsed CPU time: 33.9418 s	Remaining CPU time: 146.058 s
34.09/34.19	c ===============================================================================
34.09/34.19	c |      4555 |    3841    26605   383446 |     8868     4555    549 | 32.281 % |
34.28/34.36	c ===============================================================================
34.28/34.36	c New solution: 102638
34.28/34.36	o 102638
34.28/34.36	c Elapsed CPU time: 34.1098 s	Remaining CPU time: 145.89 s
34.28/34.36	c ===============================================================================
34.28/34.36	c |      4561 |    3841    26606   385452 |     8868     4561    549 | 32.281 % |
34.48/34.53	c ===============================================================================
34.48/34.53	c New solution: 102632
34.48/34.53	o 102632
34.48/34.53	c Elapsed CPU time: 34.2728 s	Remaining CPU time: 145.727 s
34.48/34.53	c ===============================================================================
34.48/34.53	c |      4564 |    3841    26607   387458 |     8869     4564    549 | 32.281 % |
35.38/35.40	c |      4666 |    3841    26607   387458 |     9755     4666    551 | 32.281 % |
36.58/36.61	c |      4818 |    3841    26607   387458 |    10731     4818    553 | 32.281 % |
36.58/36.68	c ===============================================================================
36.58/36.68	c New solution: 102631
36.58/36.68	o 102631
36.58/36.68	c Elapsed CPU time: 36.4205 s	Remaining CPU time: 143.58 s
36.58/36.68	c ===============================================================================
36.58/36.68	c |      4822 |    3841    26608   389464 |     8869     4822    553 | 32.281 % |
37.49/37.54	c |      4924 |    3841    26608   389464 |     9756     4924    554 | 32.281 % |
38.59/38.63	c |      5074 |    3841    26608   389464 |    10731     5074    556 | 32.281 % |
40.88/40.97	c |      5300 |    3841    26608   389464 |    11805     5300    559 | 32.281 % |
41.18/41.20	c ===============================================================================
41.18/41.20	c New solution: 102630
41.18/41.20	o 102630
41.18/41.20	c Elapsed CPU time: 40.9348 s	Remaining CPU time: 139.065 s
41.18/41.20	c ===============================================================================
41.18/41.20	c |      5320 |    3841    26609   391470 |     8869     5320    559 | 32.281 % |
41.38/41.42	c ===============================================================================
41.38/41.42	c New solution: 102629
41.38/41.42	o 102629
41.38/41.42	c Elapsed CPU time: 41.1557 s	Remaining CPU time: 138.844 s
41.38/41.42	c ===============================================================================
41.38/41.42	c |      5337 |    3841    26610   393476 |     8870     5337    559 | 32.281 % |
42.38/42.40	c |      5438 |    3841    26610   393476 |     9757     5438    560 | 32.281 % |
42.48/42.55	c ===============================================================================
42.48/42.55	c New solution: 102628
42.48/42.55	o 102628
42.48/42.55	c Elapsed CPU time: 42.2856 s	Remaining CPU time: 137.714 s
42.48/42.55	c ===============================================================================
42.48/42.55	c |      5441 |    3841    26611   395482 |     8870     5441    560 | 32.281 % |
43.28/43.40	c |      5542 |    3841    26611   395482 |     9757     5542    561 | 32.281 % |
44.48/44.59	c |      5692 |    3841    26611   395482 |    10733     5692    562 | 32.281 % |
45.98/46.00	c ===============================================================================
45.98/46.00	c New solution: 102627
45.98/46.00	o 102627
45.98/46.00	c Elapsed CPU time: 45.728 s	Remaining CPU time: 134.272 s
45.98/46.00	c ===============================================================================
45.98/46.00	c |      5889 |    3841    26612   397488 |     8870     5889    564 | 32.281 % |
46.87/46.92	c |      5989 |    3841    26612   397488 |     9757     5989    565 | 32.281 % |
47.28/47.33	c ===============================================================================
47.28/47.33	c New solution: 102626
47.28/47.33	o 102626
47.28/47.33	c Elapsed CPU time: 47.0488 s	Remaining CPU time: 132.951 s
47.28/47.33	c ===============================================================================
47.28/47.33	c |      6021 |    3841    26613   399494 |     8871     6021    565 | 32.281 % |
48.48/48.51	c |      6121 |    3841    26613   399494 |     9758     6121    565 | 32.281 % |
49.88/49.93	c |      6271 |    3841    26613   399494 |    10733     6271    567 | 32.281 % |
50.48/50.52	c ===============================================================================
50.48/50.52	c New solution: 102625
50.48/50.52	o 102625
50.48/50.52	c Elapsed CPU time: 50.2374 s	Remaining CPU time: 129.763 s
50.48/50.52	c ===============================================================================
50.48/50.52	c |      6353 |    3841    26614   401500 |     8871     6353    566 | 32.281 % |
50.98/51.01	c ===============================================================================
50.98/51.01	c New solution: 102624
50.98/51.01	o 102624
50.98/51.01	c Elapsed CPU time: 50.7233 s	Remaining CPU time: 129.277 s
50.98/51.01	c ===============================================================================
50.98/51.01	c |      6400 |    3841    26615   403506 |     8871     6400    566 | 32.281 % |
51.88/51.92	c |      6501 |    3841    26615   403506 |     9758     6501    567 | 32.281 % |
52.08/52.12	c ===============================================================================
52.08/52.12	c New solution: 102623
52.08/52.12	o 102623
52.08/52.12	c Elapsed CPU time: 51.8251 s	Remaining CPU time: 128.175 s
52.08/52.12	c ===============================================================================
52.08/52.12	c |      6517 |    3841    26616   405512 |     8872     6517    567 | 32.281 % |
52.18/52.25	c |      6617 |    3841    26616   405512 |     9759     6617    567 | 32.281 % |
52.38/52.44	c ===============================================================================
52.38/52.44	c New solution: 102622
52.38/52.44	o 102622
52.38/52.44	c Elapsed CPU time: 52.1451 s	Remaining CPU time: 127.855 s
52.38/52.44	c ===============================================================================
52.38/52.44	c |      6619 |    3841    26617   407518 |     8872     6619    567 | 32.281 % |
53.38/53.47	c |      6719 |    3841    26617   407518 |     9759     6719    567 | 32.281 % |
53.47/53.59	c ===============================================================================
53.47/53.59	c New solution: 101097
53.47/53.59	o 101097
53.47/53.59	c Elapsed CPU time: 53.2909 s	Remaining CPU time: 126.709 s
53.47/53.59	c ===============================================================================
53.47/53.59	c |      6719 |    3841    26618   409524 |     8872     6719    567 | 32.281 % |
53.78/53.87	c ===============================================================================
53.78/53.87	c New solution: 101076
53.78/53.87	o 101076
53.78/53.87	c Elapsed CPU time: 53.5729 s	Remaining CPU time: 126.427 s
53.78/53.87	c ===============================================================================
53.78/53.87	c |      6734 |    3841    26619   411530 |     8873     6734    567 | 32.281 % |
53.89/53.96	c ===============================================================================
53.89/53.96	c New solution: 101075
53.89/53.96	o 101075
53.89/53.96	c Elapsed CPU time: 53.6598 s	Remaining CPU time: 126.34 s
53.89/53.96	c ===============================================================================
53.89/53.96	c |      6741 |    3841    26620   413536 |     8873     6741    567 | 32.281 % |
54.18/54.20	c ===============================================================================
54.18/54.20	c New solution: 101074
54.18/54.20	o 101074
54.18/54.20	c Elapsed CPU time: 53.9048 s	Remaining CPU time: 126.095 s
54.18/54.20	c ===============================================================================
54.18/54.20	c |      6745 |    3841    26621   415542 |     8873     6745    567 | 32.281 % |
54.38/54.45	c ===============================================================================
54.38/54.45	c New solution: 101073
54.38/54.45	o 101073
54.38/54.45	c Elapsed CPU time: 54.1478 s	Remaining CPU time: 125.852 s
54.38/54.45	c ===============================================================================
54.38/54.45	c |      6747 |    3841    26622   417548 |     8874     6747    567 | 32.281 % |
55.28/55.36	c |      6847 |    3841    26622   417548 |     9761     6847    568 | 32.281 % |
55.38/55.49	c ===============================================================================
55.38/55.49	c New solution: 101072
55.38/55.49	o 101072
55.38/55.49	c Elapsed CPU time: 55.1876 s	Remaining CPU time: 124.812 s
55.38/55.49	c ===============================================================================
55.38/55.49	c |      6851 |    3841    26623   419554 |     8874     6851    568 | 32.281 % |
55.68/55.70	c ===============================================================================
55.68/55.70	c New solution: 101071
55.68/55.70	o 101071
55.68/55.70	c Elapsed CPU time: 55.3996 s	Remaining CPU time: 124.6 s
55.68/55.70	c ===============================================================================
55.68/55.70	c |      6854 |    3841    26624   421560 |     8874     6854    568 | 32.281 % |
55.88/55.99	c ===============================================================================
55.88/55.99	c New solution: 101070
55.88/55.99	o 101070
55.88/55.99	c Elapsed CPU time: 55.6855 s	Remaining CPU time: 124.314 s
55.88/55.99	c ===============================================================================
55.88/55.99	c |      6873 |    3841    26625   423566 |     8875     6873    568 | 32.281 % |
56.08/56.15	c ===============================================================================
56.08/56.15	c New solution: 101069
56.08/56.15	o 101069
56.08/56.15	c Elapsed CPU time: 55.8455 s	Remaining CPU time: 124.154 s
56.08/56.15	c ===============================================================================
56.08/56.15	c |      6878 |    3841    26626   425572 |     8875     6878    568 | 32.281 % |
56.28/56.37	c ===============================================================================
56.28/56.37	c New solution: 101068
56.28/56.37	o 101068
56.28/56.37	c Elapsed CPU time: 56.0675 s	Remaining CPU time: 123.933 s
56.28/56.37	c ===============================================================================
56.28/56.37	c |      6888 |    3841    26627   427578 |     8875     6888    568 | 32.281 % |
56.58/56.66	c ===============================================================================
56.58/56.66	c New solution: 101067
56.58/56.66	o 101067
56.58/56.66	c Elapsed CPU time: 56.3494 s	Remaining CPU time: 123.651 s
56.58/56.66	c ===============================================================================
56.58/56.66	c |      6907 |    3841    26628   429584 |     8876     6907    568 | 32.281 % |
56.87/56.96	c ===============================================================================
56.87/56.96	c New solution: 101066
56.87/56.96	o 101066
56.87/56.96	c Elapsed CPU time: 56.6554 s	Remaining CPU time: 123.345 s
56.87/56.96	c ===============================================================================
56.87/56.96	c |      6931 |    3841    26629   431590 |     8876     6931    568 | 32.281 % |
57.37/57.47	c ===============================================================================
57.37/57.47	c New solution: 101065
57.37/57.47	o 101065
57.37/57.47	c Elapsed CPU time: 57.1623 s	Remaining CPU time: 122.838 s
57.37/57.47	c ===============================================================================
57.37/57.47	c |      6969 |    3841    26630   433596 |     8876     6969    568 | 32.281 % |
57.67/57.77	c ===============================================================================
57.67/57.77	c New solution: 101064
57.67/57.77	o 101064
57.67/57.77	c Elapsed CPU time: 57.4603 s	Remaining CPU time: 122.54 s
57.67/57.77	c ===============================================================================
57.67/57.77	c |      6978 |    3841    26631   435602 |     8877     6978    568 | 32.281 % |
58.48/58.58	c |      7078 |    3841    26631   435602 |     9764     7078    569 | 32.281 % |
60.08/60.14	c |      7228 |    3841    26631   435602 |    10741     7228    570 | 32.281 % |
60.28/60.31	c ===============================================================================
60.28/60.31	c New solution: 101063
60.28/60.31	o 101063
60.28/60.31	c Elapsed CPU time: 59.9939 s	Remaining CPU time: 120.006 s
60.28/60.31	c ===============================================================================
60.28/60.31	c |      7242 |    3841    26632   437608 |     8877     7242    570 | 32.281 % |
60.68/60.71	c ===============================================================================
60.68/60.71	c New solution: 101062
60.68/60.71	o 101062
60.68/60.71	c Elapsed CPU time: 60.3918 s	Remaining CPU time: 119.608 s
60.68/60.71	c ===============================================================================
60.68/60.71	c |      7289 |    3841    26633   439614 |     8877     7289    570 | 32.281 % |
60.88/60.93	c ===============================================================================
60.88/60.93	c New solution: 101061
60.88/60.93	o 101061
60.88/60.93	c Elapsed CPU time: 60.6168 s	Remaining CPU time: 119.383 s
60.88/60.93	c ===============================================================================
60.88/60.93	c |      7294 |    3841    26634   441620 |     8878     7294    570 | 32.281 % |
61.37/61.41	c ===============================================================================
61.37/61.41	c New solution: 101060
61.37/61.41	o 101060
61.37/61.41	c Elapsed CPU time: 61.0907 s	Remaining CPU time: 118.909 s
61.37/61.41	c ===============================================================================
61.37/61.41	c |      7333 |    3841    26635   443626 |     8878     7333    570 | 32.281 % |
62.17/62.30	c |      7435 |    3841    26635   443626 |     9766     7435    571 | 32.281 % |
63.68/63.73	c |      7586 |    3841    26635   443626 |    10742     7586    571 | 32.281 % |
65.47/65.59	c |      7812 |    3841    26635   443626 |    11817     7812    572 | 32.281 % |
66.07/66.12	c ===============================================================================
66.07/66.12	c New solution: 101059
66.07/66.12	o 101059
66.07/66.12	c Elapsed CPU time: 65.8 s	Remaining CPU time: 114.2 s
66.07/66.12	c ===============================================================================
66.07/66.12	c |      7860 |    3841    26636   445632 |     8878     7860    572 | 32.281 % |
66.67/66.73	c ===============================================================================
66.67/66.73	c New solution: 101058
66.67/66.73	o 101058
66.67/66.73	c Elapsed CPU time: 66.4099 s	Remaining CPU time: 113.59 s
66.67/66.73	c ===============================================================================
66.67/66.73	c |      7910 |    3841    26637   447638 |     8879     7910    573 | 32.281 % |
66.99/67.05	c ===============================================================================
66.99/67.05	c New solution: 101057
66.99/67.05	o 101057
66.99/67.05	c Elapsed CPU time: 66.7249 s	Remaining CPU time: 113.275 s
66.99/67.05	c ===============================================================================
66.99/67.05	c |      7936 |    3841    26638   449644 |     8879     7936    573 | 32.281 % |
68.57/68.67	c |      8036 |    3841    26638   449644 |     9767     8036    573 | 32.281 % |
68.87/68.95	c ===============================================================================
68.87/68.95	c New solution: 101056
68.87/68.95	o 101056
68.87/68.95	c Elapsed CPU time: 68.6166 s	Remaining CPU time: 111.383 s
68.87/68.95	c ===============================================================================
68.87/68.95	c |      8061 |    3841    26639   451650 |     8879     8061    573 | 32.281 % |
69.07/69.11	c ===============================================================================
69.07/69.11	c New solution: 101055
69.07/69.11	o 101055
69.07/69.11	c Elapsed CPU time: 68.7805 s	Remaining CPU time: 111.219 s
69.07/69.11	c ===============================================================================
69.07/69.11	c |      8063 |    3841    26640   453656 |     8880     8063    573 | 32.281 % |
69.37/69.48	c ===============================================================================
69.37/69.48	c New solution: 101054
69.37/69.48	o 101054
69.37/69.48	c Elapsed CPU time: 69.1445 s	Remaining CPU time: 110.856 s
69.37/69.48	c ===============================================================================
69.37/69.48	c |      8075 |    3841    26641   455662 |     8880     8075    572 | 32.281 % |
69.67/69.76	c ===============================================================================
69.67/69.76	c New solution: 101053
69.67/69.76	o 101053
69.67/69.76	c Elapsed CPU time: 69.4244 s	Remaining CPU time: 110.576 s
69.67/69.76	c ===============================================================================
69.67/69.76	c |      8089 |    3841    26642   457668 |     8880     8089    572 | 32.281 % |
70.87/70.98	c |      8190 |    3841    26642   457668 |     9768     8190    573 | 32.281 % |
72.08/72.19	c |      8341 |    3841    26642   457668 |    10745     8341    574 | 32.281 % |
72.97/73.06	c ===============================================================================
72.97/73.06	c New solution: 99543
72.97/73.06	o 99543
72.97/73.06	c Elapsed CPU time: 72.7159 s	Remaining CPU time: 107.284 s
72.97/73.06	c ===============================================================================
72.97/73.06	c |      8432 |    3841    26643   459674 |     8881     8432    574 | 32.281 % |
73.27/73.32	c ===============================================================================
73.27/73.32	c New solution: 99524
73.27/73.32	o 99524
73.27/73.32	c Elapsed CPU time: 72.9829 s	Remaining CPU time: 107.017 s
73.27/73.32	c ===============================================================================
73.27/73.32	c |      8435 |    3841    26644   461680 |     8881     8435    574 | 32.281 % |
73.68/73.78	c ===============================================================================
73.68/73.78	c New solution: 99510
73.68/73.78	o 99510
73.68/73.78	c Elapsed CPU time: 73.4408 s	Remaining CPU time: 106.559 s
73.68/73.78	c ===============================================================================
73.68/73.78	c |      8529 |    3841    26645   463686 |     8881     8529    573 | 32.281 % |
73.87/73.97	c ===============================================================================
73.87/73.97	c New solution: 99509
73.87/73.97	o 99509
73.87/73.97	c Elapsed CPU time: 73.6258 s	Remaining CPU time: 106.374 s
73.87/73.97	c ===============================================================================
73.87/73.97	c |      8531 |    3841    26646   465692 |     8882     8531    573 | 32.281 % |
74.17/74.21	c ===============================================================================
74.17/74.21	c New solution: 99504
74.17/74.21	o 99504
74.17/74.21	c Elapsed CPU time: 73.8618 s	Remaining CPU time: 106.138 s
74.17/74.21	c ===============================================================================
74.17/74.21	c |      8533 |    3841    26647   467698 |     8882     8533    573 | 32.281 % |
74.47/74.58	c ===============================================================================
74.47/74.58	c New solution: 99503
74.47/74.58	o 99503
74.47/74.58	c Elapsed CPU time: 74.2307 s	Remaining CPU time: 105.769 s
74.47/74.58	c ===============================================================================
74.47/74.58	c |      8545 |    3841    26648   469704 |     8882     8545    572 | 32.281 % |
74.68/74.77	c ===============================================================================
74.68/74.77	c New solution: 99502
74.68/74.77	o 99502
74.68/74.77	c Elapsed CPU time: 74.4257 s	Remaining CPU time: 105.574 s
74.68/74.77	c ===============================================================================
74.68/74.77	c |      8545 |    3841    26649   471710 |     8883     8545    572 | 32.281 % |
74.87/74.98	c ===============================================================================
74.87/74.98	c New solution: 99501
74.87/74.98	o 99501
74.87/74.98	c Elapsed CPU time: 74.6317 s	Remaining CPU time: 105.368 s
74.87/74.98	c ===============================================================================
74.87/74.98	c |      8546 |    3841    26650   473716 |     8883     8546    572 | 32.281 % |
75.17/75.23	c ===============================================================================
75.17/75.23	c New solution: 99500
75.17/75.23	o 99500
75.17/75.23	c Elapsed CPU time: 74.8836 s	Remaining CPU time: 105.116 s
75.17/75.23	c ===============================================================================
75.17/75.23	c |      8547 |    3841    26651   475722 |     8883     8547    572 | 32.281 % |
75.37/75.49	c ===============================================================================
75.37/75.49	c New solution: 99499
75.37/75.49	o 99499
75.37/75.49	c Elapsed CPU time: 75.1356 s	Remaining CPU time: 104.864 s
75.37/75.49	c ===============================================================================
75.37/75.49	c |      8549 |    3841    26652   477728 |     8884     8549    572 | 32.281 % |
75.67/75.75	c ===============================================================================
75.67/75.75	c New solution: 99498
75.67/75.75	o 99498
75.67/75.75	c Elapsed CPU time: 75.4005 s	Remaining CPU time: 104.599 s
75.67/75.75	c ===============================================================================
75.67/75.75	c |      8556 |    3841    26653   479734 |     8884     8556    572 | 32.281 % |
75.88/75.98	c ===============================================================================
75.88/75.98	c New solution: 99497
75.88/75.98	o 99497
75.88/75.98	c Elapsed CPU time: 75.6245 s	Remaining CPU time: 104.375 s
75.88/75.98	c ===============================================================================
75.88/75.98	c |      8558 |    3841    26654   481740 |     8884     8558    572 | 32.281 % |
76.17/76.24	c ===============================================================================
76.17/76.24	c New solution: 99496
76.17/76.24	o 99496
76.17/76.24	c Elapsed CPU time: 75.8825 s	Remaining CPU time: 104.118 s
76.17/76.24	c ===============================================================================
76.17/76.24	c |      8567 |    3841    26655   483746 |     8885     8567    572 | 32.281 % |
76.37/76.45	c ===============================================================================
76.37/76.45	c New solution: 99495
76.37/76.45	o 99495
76.37/76.45	c Elapsed CPU time: 76.0984 s	Remaining CPU time: 103.902 s
76.37/76.45	c ===============================================================================
76.37/76.45	c |      8574 |    3841    26656   485752 |     8885     8574    572 | 32.281 % |
78.08/78.10	c |      8675 |    3841    26656   485752 |     9773     8675    573 | 32.281 % |
79.67/79.70	c |      8825 |    3841    26656   485752 |    10751     8825    574 | 32.281 % |
80.18/80.20	c ===============================================================================
80.18/80.20	c New solution: 99485
80.18/80.20	o 99485
80.18/80.20	c Elapsed CPU time: 79.8439 s	Remaining CPU time: 100.156 s
80.18/80.20	c ===============================================================================
80.18/80.20	c |      8826 |    3841    26657   487758 |     8885     8826    574 | 32.281 % |
81.07/81.12	c |      8926 |    3841    26657   487758 |     9774     8926    574 | 32.281 % |
81.57/81.60	c ===============================================================================
81.57/81.60	c New solution: 99484
81.57/81.60	o 99484
81.57/81.60	c Elapsed CPU time: 81.2377 s	Remaining CPU time: 98.7623 s
81.57/81.60	c ===============================================================================
81.57/81.60	c |      8965 |    3841    26658   489764 |     8886     8965    574 | 32.281 % |
81.67/81.78	c |      9065 |    3841    26658   489764 |     9774     9065    574 | 32.281 % |
82.97/83.03	c ===============================================================================
82.97/83.03	c New solution: 99483
82.97/83.03	o 99483
82.97/83.03	c Elapsed CPU time: 82.6674 s	Remaining CPU time: 97.3326 s
82.97/83.03	c ===============================================================================
82.97/83.03	c |      9198 |    3841    26659   491770 |     8886     9198    574 | 32.281 % |
83.27/83.31	c ===============================================================================
83.27/83.31	c New solution: 97967
83.27/83.31	o 97967
83.27/83.31	c Elapsed CPU time: 82.9444 s	Remaining CPU time: 97.0556 s
83.27/83.31	c ===============================================================================
83.27/83.31	c |      9205 |    3841    26660   493776 |     8886     9205    574 | 32.281 % |
83.58/83.66	c ===============================================================================
83.58/83.66	c New solution: 97939
83.58/83.66	o 97939
83.58/83.66	c Elapsed CPU time: 83.2953 s	Remaining CPU time: 96.7047 s
83.58/83.66	c ===============================================================================
83.58/83.66	c |      9225 |    3841    26661   495782 |     8887     9225    574 | 32.281 % |
83.87/83.93	c ===============================================================================
83.87/83.93	c New solution: 97938
83.87/83.93	o 97938
83.87/83.93	c Elapsed CPU time: 83.5643 s	Remaining CPU time: 96.4357 s
83.87/83.93	c ===============================================================================
83.87/83.93	c |      9225 |    3841    26662   497788 |     8887     9225    574 | 32.281 % |
84.17/84.20	c ===============================================================================
84.17/84.20	c New solution: 97936
84.17/84.20	o 97936
84.17/84.20	c Elapsed CPU time: 83.8253 s	Remaining CPU time: 96.1747 s
84.17/84.20	c ===============================================================================
84.17/84.20	c |      9225 |    3841    26663   499794 |     8887     9225    574 | 32.281 % |
84.27/84.38	c ===============================================================================
84.27/84.38	c New solution: 97935
84.27/84.38	o 97935
84.27/84.38	c Elapsed CPU time: 84.0062 s	Remaining CPU time: 95.9938 s
84.27/84.38	c ===============================================================================
84.27/84.38	c |      9230 |    3841    26664   501800 |     8888     9230    574 | 32.281 % |
84.47/84.53	c ===============================================================================
84.47/84.53	c New solution: 97934
84.47/84.53	o 97934
84.47/84.53	c Elapsed CPU time: 84.1562 s	Remaining CPU time: 95.8438 s
84.47/84.53	c ===============================================================================
84.47/84.53	c |      9233 |    3841    26665   503806 |     8888     9233    574 | 32.281 % |
84.67/84.73	c ===============================================================================
84.67/84.73	c New solution: 97933
84.67/84.73	o 97933
84.67/84.73	c Elapsed CPU time: 84.3482 s	Remaining CPU time: 95.6518 s
84.67/84.73	c ===============================================================================
84.67/84.73	c |      9237 |    3841    26666   505812 |     8888     9237    574 | 32.281 % |
84.87/84.91	c ===============================================================================
84.87/84.91	c New solution: 97932
84.87/84.91	o 97932
84.87/84.91	c Elapsed CPU time: 84.5311 s	Remaining CPU time: 95.4689 s
84.87/84.91	c ===============================================================================
84.87/84.91	c |      9242 |    3841    26667   507818 |     8889     9242    574 | 32.281 % |
84.97/85.08	c ===============================================================================
84.97/85.08	c New solution: 97931
84.97/85.08	o 97931
84.97/85.08	c Elapsed CPU time: 84.6951 s	Remaining CPU time: 95.3049 s
84.97/85.08	c ===============================================================================
84.97/85.08	c |      9248 |    3841    26668   509824 |     8889     9248    574 | 32.281 % |
85.27/85.33	c ===============================================================================
85.27/85.33	c New solution: 97921
85.27/85.33	o 97921
85.27/85.33	c Elapsed CPU time: 84.9511 s	Remaining CPU time: 95.0489 s
85.27/85.33	c ===============================================================================
85.27/85.33	c |      9248 |    3841    26669   511830 |     8889     9248    574 | 32.281 % |
85.47/85.60	c ===============================================================================
85.47/85.60	c New solution: 97920
85.47/85.60	o 97920
85.47/85.60	c Elapsed CPU time: 85.213 s	Remaining CPU time: 94.787 s
85.47/85.60	c ===============================================================================
85.47/85.60	c |      9248 |    3841    26670   513836 |     8890     9248    574 | 32.281 % |
85.78/85.86	c ===============================================================================
85.78/85.86	c New solution: 97919
85.78/85.86	o 97919
85.78/85.86	c Elapsed CPU time: 85.475 s	Remaining CPU time: 94.525 s
85.78/85.86	c ===============================================================================
85.78/85.86	c |      9248 |    3841    26671   515842 |     8890     9248    574 | 32.281 % |
86.07/86.12	c ===============================================================================
86.07/86.12	c New solution: 97918
86.07/86.12	o 97918
86.07/86.12	c Elapsed CPU time: 85.738 s	Remaining CPU time: 94.262 s
86.07/86.12	c ===============================================================================
86.07/86.12	c |      9248 |    3841    26672   517848 |     8890     9248    574 | 32.281 % |
86.27/86.37	c ===============================================================================
86.27/86.37	c New solution: 97917
86.27/86.37	o 97917
86.27/86.37	c Elapsed CPU time: 85.9879 s	Remaining CPU time: 94.0121 s
86.27/86.37	c ===============================================================================
86.27/86.37	c |      9249 |    3841    26673   519854 |     8891     9249    574 | 32.281 % |
86.96/87.06	c ===============================================================================
86.96/87.06	c New solution: 97916
86.96/87.06	o 97916
86.96/87.06	c Elapsed CPU time: 86.6748 s	Remaining CPU time: 93.3252 s
86.96/87.06	c ===============================================================================
86.96/87.06	c |      9300 |    3841    26674   521860 |     8891     9300    574 | 32.281 % |
87.16/87.26	c ===============================================================================
87.16/87.26	c New solution: 97915
87.16/87.26	o 97915
87.16/87.26	c Elapsed CPU time: 86.8688 s	Remaining CPU time: 93.1312 s
87.16/87.26	c ===============================================================================
87.16/87.26	c |      9310 |    3841    26675   523866 |     8891     9310    574 | 32.281 % |
88.57/88.68	c |      9410 |    3841    26675   523866 |     9780     9410    575 | 32.281 % |
89.27/89.33	c ===============================================================================
89.27/89.33	c New solution: 97914
89.27/89.33	o 97914
89.27/89.33	c Elapsed CPU time: 88.9385 s	Remaining CPU time: 91.0615 s
89.27/89.33	c ===============================================================================
89.27/89.33	c |      9435 |    3841    26676   525872 |     8892     9435    575 | 32.281 % |
90.37/90.47	c |      9535 |    3841    26676   525872 |     9781     9535    575 | 32.281 % |
91.66/91.75	c |      9685 |    3841    26676   525872 |    10759     9685    576 | 32.281 % |
91.96/92.08	c ===============================================================================
91.96/92.08	c New solution: 97913
91.96/92.08	o 97913
91.96/92.08	c Elapsed CPU time: 91.6851 s	Remaining CPU time: 88.3149 s
91.96/92.08	c ===============================================================================
91.96/92.08	c |      9692 |    3841    26677   527878 |     8892     9692    576 | 32.281 % |
93.27/93.35	c |      9793 |    3841    26677   527878 |     9781     9793    576 | 32.281 % |
93.57/93.60	c ===============================================================================
93.57/93.60	c New solution: 97912
93.57/93.60	o 97912
93.57/93.60	c Elapsed CPU time: 93.1988 s	Remaining CPU time: 86.8012 s
93.57/93.60	c ===============================================================================
93.57/93.60	c |      9801 |    3841    26678   529884 |     8892     9801    576 | 32.281 % |
93.66/93.78	c ===============================================================================
93.66/93.78	c New solution: 97911
93.66/93.78	o 97911
93.66/93.78	c Elapsed CPU time: 93.3678 s	Remaining CPU time: 86.6322 s
93.66/93.78	c ===============================================================================
93.66/93.78	c |      9803 |    3841    26679   531890 |     8893     9803    576 | 32.281 % |
93.86/93.99	c ===============================================================================
93.86/93.99	c New solution: 97910
93.86/93.99	o 97910
93.86/93.99	c Elapsed CPU time: 93.5768 s	Remaining CPU time: 86.4232 s
93.86/93.99	c ===============================================================================
93.86/93.99	c |      9809 |    3841    26680   533896 |     8893     9809    576 | 32.281 % |
94.07/94.12	c ===============================================================================
94.07/94.12	c New solution: 97909
94.07/94.12	o 97909
94.07/94.12	c Elapsed CPU time: 93.7128 s	Remaining CPU time: 86.2872 s
94.07/94.12	c ===============================================================================
94.07/94.12	c |      9823 |    3841    26681   535902 |     8893     9823    576 | 32.281 % |
95.37/95.40	c |      9924 |    3841    26681   535902 |     9783     9924    576 | 32.281 % |
95.47/95.56	c ===============================================================================
95.47/95.56	c New solution: 96370
95.47/95.56	o 96370
95.47/95.56	c Elapsed CPU time: 95.1495 s	Remaining CPU time: 84.8505 s
95.47/95.56	c ===============================================================================
95.47/95.56	c |      9928 |    3841    26682   537908 |     8894     9928    576 | 32.281 % |
95.67/95.78	c ===============================================================================
95.67/95.78	c New solution: 96341
95.67/95.78	o 96341
95.67/95.78	c Elapsed CPU time: 95.3635 s	Remaining CPU time: 84.6365 s
95.67/95.78	c ===============================================================================
95.67/95.78	c |      9930 |    3841    26683   539914 |     8894     9930    576 | 32.281 % |
95.97/96.06	c ===============================================================================
95.97/96.06	c New solution: 96340
95.97/96.06	o 96340
95.97/96.06	c Elapsed CPU time: 95.6465 s	Remaining CPU time: 84.3535 s
95.97/96.06	c ===============================================================================
95.97/96.06	c |      9934 |    3841    26684   541920 |     8894     9934    576 | 32.281 % |
96.97/97.09	c |     10034 |    3841    26684   541920 |     9784    10034    577 | 32.281 % |
98.57/98.67	c ===============================================================================
98.57/98.67	c New solution: 96339
98.57/98.67	o 96339
98.57/98.67	c Elapsed CPU time: 98.2441 s	Remaining CPU time: 81.7559 s
98.57/98.67	c ===============================================================================
98.57/98.67	c |     10178 |    3841    26685   543926 |     8895    10178    577 | 32.281 % |
98.77/98.86	c ===============================================================================
98.77/98.86	c New solution: 96338
98.77/98.86	o 96338
98.77/98.86	c Elapsed CPU time: 98.439 s	Remaining CPU time: 81.561 s
98.77/98.86	c ===============================================================================
98.77/98.86	c |     10179 |    3841    26686   545932 |     8895    10179    577 | 32.281 % |
98.98/99.07	c ===============================================================================
98.98/99.07	c New solution: 96337
98.98/99.07	o 96337
98.98/99.07	c Elapsed CPU time: 98.653 s	Remaining CPU time: 81.347 s
98.98/99.07	c ===============================================================================
98.98/99.07	c |     10179 |    3841    26687   547938 |     8895    10179    577 | 32.281 % |
99.17/99.27	c ===============================================================================
99.17/99.27	c New solution: 96336
99.17/99.27	o 96336
99.17/99.27	c Elapsed CPU time: 98.845 s	Remaining CPU time: 81.155 s
99.17/99.27	c ===============================================================================
99.17/99.27	c |     10187 |    3841    26688   549944 |     8896    10187    577 | 32.281 % |
99.37/99.47	c ===============================================================================
99.37/99.47	c New solution: 96335
99.37/99.47	o 96335
99.37/99.47	c Elapsed CPU time: 99.0439 s	Remaining CPU time: 80.9561 s
99.37/99.47	c ===============================================================================
99.37/99.47	c |     10188 |    3841    26689   551950 |     8896    10188    577 | 32.281 % |
100.37/100.41	c |     10289 |    3841    26689   551950 |     9785    10289    578 | 32.281 % |
100.57/100.62	c ===============================================================================
100.57/100.62	c New solution: 96334
100.57/100.62	o 96334
100.57/100.62	c Elapsed CPU time: 100.194 s	Remaining CPU time: 79.8062 s
100.57/100.62	c ===============================================================================
100.57/100.62	c |     10295 |    3841    26690   553956 |     8896    10295    578 | 32.281 % |
101.47/101.59	c |     10395 |    3841    26690   553956 |     9786    10395    578 | 32.281 % |
103.06/103.16	c |     10546 |    3841    26690   553956 |    10764    10546    578 | 32.281 % |
105.17/105.26	c |     10772 |    3841    26690   553956 |    11841    10772    579 | 32.281 % |
105.27/105.37	c ===============================================================================
105.27/105.37	c New solution: 96333
105.27/105.37	o 96333
105.27/105.37	c Elapsed CPU time: 104.938 s	Remaining CPU time: 75.062 s
105.27/105.37	c ===============================================================================
105.27/105.37	c |     10774 |    3841    26691   555962 |     8897    10774    579 | 32.281 % |
106.46/106.53	c |     10876 |    3841    26691   555962 |     9786     5489    566 | 32.281 % |
107.96/108.03	c |     11026 |    3841    26691   555962 |    10765     5639    566 | 32.281 % |
108.57/108.61	c ===============================================================================
108.57/108.61	c New solution: 96332
108.57/108.61	o 96332
108.57/108.61	c Elapsed CPU time: 108.167 s	Remaining CPU time: 71.8334 s
108.57/108.61	c ===============================================================================
108.57/108.61	c |     11075 |    3841    26692   557968 |     8897     5688    566 | 32.281 % |
108.97/109.09	c ===============================================================================
108.97/109.09	c New solution: 96331
108.97/109.09	o 96331
108.97/109.09	c Elapsed CPU time: 108.642 s	Remaining CPU time: 71.3575 s
108.97/109.09	c ===============================================================================
108.97/109.09	c |     11078 |    3841    26693   559974 |     8897     5691    566 | 32.281 % |
109.27/109.35	c ===============================================================================
109.27/109.35	c New solution: 96330
109.27/109.35	o 96330
109.27/109.35	c Elapsed CPU time: 108.906 s	Remaining CPU time: 71.0936 s
109.27/109.35	c ===============================================================================
109.27/109.35	c |     11081 |    3841    26694   561980 |     8898     5694    566 | 32.281 % |
109.46/109.55	c ===============================================================================
109.46/109.55	c New solution: 96329
109.46/109.55	o 96329
109.46/109.55	c Elapsed CPU time: 109.103 s	Remaining CPU time: 70.8966 s
109.46/109.55	c ===============================================================================
109.46/109.55	c |     11082 |    3841    26695   563986 |     8898     5695    566 | 32.281 % |
109.76/109.85	c ===============================================================================
109.76/109.85	c New solution: 96328
109.76/109.85	o 96328
109.76/109.85	c Elapsed CPU time: 109.403 s	Remaining CPU time: 70.5966 s
109.76/109.85	c ===============================================================================
109.76/109.85	c |     11088 |    3841    26696   565992 |     8898     5701    566 | 32.281 % |
111.07/111.15	c |     11189 |    3841    26696   565992 |     9788     5802    566 | 32.281 % |
111.86/111.97	c ===============================================================================
111.86/111.97	c New solution: 94819
111.86/111.97	o 94819
111.86/111.97	c Elapsed CPU time: 111.522 s	Remaining CPU time: 68.478 s
111.86/111.97	c ===============================================================================
111.86/111.97	c |     11242 |    3841    26697   567998 |     8899     5855    566 | 32.281 % |
112.07/112.20	c ===============================================================================
112.07/112.20	c New solution: 94775
112.07/112.20	o 94775
112.07/112.20	c Elapsed CPU time: 111.75 s	Remaining CPU time: 68.25 s
112.07/112.20	c ===============================================================================
112.07/112.20	c |     11248 |    3841    26698   570004 |     8899     5861    566 | 32.281 % |
113.56/113.61	c |     11349 |    3841    26698   570004 |     9789     5962    567 | 32.281 % |
113.77/113.84	c ===============================================================================
113.77/113.84	c New solution: 94763
113.77/113.84	o 94763
113.77/113.84	c Elapsed CPU time: 113.387 s	Remaining CPU time: 66.6132 s
113.77/113.84	c ===============================================================================
113.77/113.84	c |     11349 |    3841    26699   572010 |     8899     5962    567 | 32.281 % |
114.46/114.58	c |     11449 |    3841    26699   572010 |     9789     6062    567 | 32.281 % |
115.06/115.10	c ===============================================================================
115.06/115.10	c New solution: 94762
115.06/115.10	o 94762
115.06/115.10	c Elapsed CPU time: 114.64 s	Remaining CPU time: 65.3604 s
115.06/115.10	c ===============================================================================
115.06/115.10	c |     11453 |    3841    26700   574016 |     8900     6066    567 | 32.281 % |
115.26/115.39	c ===============================================================================
115.26/115.39	c New solution: 94761
115.26/115.39	o 94761
115.26/115.39	c Elapsed CPU time: 114.928 s	Remaining CPU time: 65.0725 s
115.26/115.39	c ===============================================================================
115.26/115.39	c |     11457 |    3841    26701   576022 |     8900     6070    567 | 32.281 % |
116.47/116.54	c |     11558 |    3841    26701   576022 |     9790     6171    567 | 32.281 % |
116.76/116.80	c ===============================================================================
116.76/116.80	c New solution: 94760
116.76/116.80	o 94760
116.76/116.80	c Elapsed CPU time: 116.336 s	Remaining CPU time: 63.6637 s
116.76/116.80	c ===============================================================================
116.76/116.80	c |     11563 |    3841    26702   578028 |     8900     6176    567 | 32.281 % |
117.16/117.30	c ===============================================================================
117.16/117.30	c New solution: 94759
117.16/117.30	o 94759
117.16/117.30	c Elapsed CPU time: 116.833 s	Remaining CPU time: 63.1668 s
117.16/117.30	c ===============================================================================
117.16/117.30	c |     11582 |    3841    26703   580034 |     8901     6195    567 | 32.281 % |
117.46/117.51	c ===============================================================================
117.46/117.51	c New solution: 94758
117.46/117.51	o 94758
117.46/117.51	c Elapsed CPU time: 117.048 s	Remaining CPU time: 62.9518 s
117.46/117.51	c ===============================================================================
117.46/117.51	c |     11590 |    3841    26704   582040 |     8901     6203    567 | 32.281 % |
118.96/119.03	c |     11690 |    3841    26704   582040 |     9791     6303    568 | 32.281 % |
119.36/119.44	c ===============================================================================
119.36/119.44	c New solution: 94757
119.36/119.44	o 94757
119.36/119.44	c Elapsed CPU time: 118.976 s	Remaining CPU time: 61.0241 s
119.36/119.44	c ===============================================================================
119.36/119.44	c |     11698 |    3841    26705   584046 |     8901     6311    568 | 32.281 % |
120.06/120.16	c ===============================================================================
120.06/120.16	c New solution: 94756
120.06/120.16	o 94756
120.06/120.16	c Elapsed CPU time: 119.696 s	Remaining CPU time: 60.3042 s
120.06/120.16	c ===============================================================================
120.06/120.16	c |     11742 |    3841    26706   586052 |     8902     6355    568 | 32.281 % |
120.46/120.57	c ===============================================================================
120.46/120.57	c New solution: 94755
120.46/120.57	o 94755
120.46/120.57	c Elapsed CPU time: 120.1 s	Remaining CPU time: 59.9003 s
120.46/120.57	c ===============================================================================
120.46/120.57	c |     11753 |    3841    26707   588058 |     8902     6366    568 | 32.281 % |
120.87/120.91	c ===============================================================================
120.87/120.91	c New solution: 94754
120.87/120.91	o 94754
120.87/120.91	c Elapsed CPU time: 120.444 s	Remaining CPU time: 59.5563 s
120.87/120.91	c ===============================================================================
120.87/120.91	c |     11756 |    3841    26708   590064 |     8902     6369    568 | 32.281 % |
122.07/122.17	c |     11857 |    3841    26708   590064 |     9792     6470    568 | 32.281 % |
122.96/123.02	c ===============================================================================
122.96/123.02	c New solution: 94753
122.96/123.02	o 94753
122.96/123.02	c Elapsed CPU time: 122.549 s	Remaining CPU time: 57.4506 s
122.96/123.02	c ===============================================================================
122.96/123.02	c |     11903 |    3841    26709   592070 |     8903     6516    568 | 32.281 % |
123.16/123.25	c ===============================================================================
123.16/123.25	c New solution: 94752
123.16/123.25	o 94752
123.16/123.25	c Elapsed CPU time: 122.771 s	Remaining CPU time: 57.2287 s
123.16/123.25	c ===============================================================================
123.16/123.25	c |     11907 |    3841    26710   594076 |     8903     6520    568 | 32.281 % |
123.36/123.43	c ===============================================================================
123.36/123.43	c New solution: 94751
123.36/123.43	o 94751
123.36/123.43	c Elapsed CPU time: 122.956 s	Remaining CPU time: 57.0437 s
123.36/123.43	c ===============================================================================
123.36/123.43	c |     11909 |    3841    26711   596082 |     8903     6522    568 | 32.281 % |
125.46/125.58	c |     12009 |    3841    26711   596082 |     9794     6622    569 | 32.281 % |
127.06/127.18	c |     12159 |    3841    26711   596082 |    10773     6772    569 | 32.281 % |
127.26/127.39	c ===============================================================================
127.26/127.39	c New solution: 94750
127.26/127.39	o 94750
127.26/127.39	c Elapsed CPU time: 126.912 s	Remaining CPU time: 53.0883 s
127.26/127.39	c ===============================================================================
127.26/127.39	c |     12164 |    3841    26712   598088 |     8904     6777    569 | 32.281 % |
127.86/127.96	c ===============================================================================
127.86/127.96	c New solution: 93251
127.86/127.96	o 93251
127.86/127.96	c Elapsed CPU time: 127.481 s	Remaining CPU time: 52.5194 s
127.86/127.96	c ===============================================================================
127.86/127.96	c |     12179 |    3841    26713   600094 |     8904     6792    569 | 32.281 % |
128.16/128.25	c ===============================================================================
128.16/128.25	c New solution: 93226
128.16/128.25	o 93226
128.16/128.25	c Elapsed CPU time: 127.766 s	Remaining CPU time: 52.2344 s
128.16/128.25	c ===============================================================================
128.16/128.25	c |     12182 |    3841    26714   602100 |     8904     6795    569 | 32.281 % |
128.26/128.34	c ===============================================================================
128.26/128.34	c New solution: 93225
128.26/128.34	o 93225
128.26/128.34	c Elapsed CPU time: 127.855 s	Remaining CPU time: 52.1454 s
128.26/128.34	c ===============================================================================
128.26/128.34	c |     12183 |    3841    26715   604106 |     8905     6796    569 | 32.281 % |
128.56/128.62	c ===============================================================================
128.56/128.62	c New solution: 93224
128.56/128.62	o 93224
128.56/128.62	c Elapsed CPU time: 128.133 s	Remaining CPU time: 51.8675 s
128.56/128.62	c ===============================================================================
128.56/128.62	c |     12184 |    3841    26716   606112 |     8905     6797    569 | 32.281 % |
128.85/128.94	c ===============================================================================
128.85/128.94	c New solution: 93223
128.85/128.94	o 93223
128.85/128.94	c Elapsed CPU time: 128.45 s	Remaining CPU time: 51.5495 s
128.85/128.94	c ===============================================================================
128.85/128.94	c |     12190 |    3841    26717   608118 |     8905     6803    568 | 32.281 % |
129.15/129.26	c ===============================================================================
129.15/129.26	c New solution: 93222
129.15/129.26	o 93222
129.15/129.26	c Elapsed CPU time: 128.773 s	Remaining CPU time: 51.2266 s
129.15/129.26	c ===============================================================================
129.15/129.26	c |     12198 |    3841    26718   610124 |     8906     6811    568 | 32.281 % |
129.45/129.60	c ===============================================================================
129.45/129.60	c New solution: 93221
129.45/129.60	o 93221
129.45/129.60	c Elapsed CPU time: 129.107 s	Remaining CPU time: 50.8926 s
129.45/129.60	c ===============================================================================
129.45/129.60	c |     12200 |    3841    26719   612130 |     8906     6813    568 | 32.281 % |
130.66/130.75	c |     12301 |    3841    26719   612130 |     9796     6914    569 | 32.281 % |
130.96/131.03	c ===============================================================================
130.96/131.03	c New solution: 93201
130.96/131.03	o 93201
130.96/131.03	c Elapsed CPU time: 130.54 s	Remaining CPU time: 49.4598 s
130.96/131.03	c ===============================================================================
130.96/131.03	c |     12304 |    3841    26720   614136 |     8906     6917    569 | 32.281 % |
131.26/131.36	c ===============================================================================
131.26/131.36	c New solution: 93200
131.26/131.36	o 93200
131.26/131.36	c Elapsed CPU time: 130.865 s	Remaining CPU time: 49.1349 s
131.26/131.36	c ===============================================================================
131.26/131.36	c |     12316 |    3841    26721   616142 |     8907     6929    569 | 32.281 % |
131.66/131.72	c ===============================================================================
131.66/131.72	c New solution: 93199
131.66/131.72	o 93199
131.66/131.72	c Elapsed CPU time: 131.226 s	Remaining CPU time: 48.774 s
131.66/131.72	c ===============================================================================
131.66/131.72	c |     12363 |    3841    26722   618148 |     8907     6976    569 | 32.281 % |
132.86/132.99	c ===============================================================================
132.86/132.99	c New solution: 93198
132.86/132.99	o 93198
132.86/132.99	c Elapsed CPU time: 132.496 s	Remaining CPU time: 47.5041 s
132.86/132.99	c ===============================================================================
132.86/132.99	c |     12438 |    3841    26723   620154 |     8907     7051    569 | 32.281 % |
134.16/134.28	c |     12539 |    3841    26723   620154 |     9798     7152    570 | 32.281 % |
134.45/134.52	c ===============================================================================
134.45/134.52	c New solution: 93197
134.45/134.52	o 93197
134.45/134.52	c Elapsed CPU time: 134.019 s	Remaining CPU time: 45.9814 s
134.45/134.52	c ===============================================================================
134.45/134.52	c |     12544 |    3841    26724   622160 |     8908     7157    570 | 32.281 % |
134.65/134.77	c ===============================================================================
134.65/134.77	c New solution: 93196
134.65/134.77	o 93196
134.65/134.77	c Elapsed CPU time: 134.271 s	Remaining CPU time: 45.7294 s
134.65/134.77	c ===============================================================================
134.65/134.77	c |     12548 |    3841    26725   624166 |     8908     7161    570 | 32.281 % |
135.46/135.58	c ===============================================================================
135.46/135.58	c New solution: 93195
135.46/135.58	o 93195
135.46/135.58	c Elapsed CPU time: 135.075 s	Remaining CPU time: 44.9245 s
135.46/135.58	c ===============================================================================
135.46/135.58	c |     12598 |    3841    26726   626172 |     8908     7211    570 | 32.281 % |
135.86/135.94	c ===============================================================================
135.86/135.94	c New solution: 93194
135.86/135.94	o 93194
135.86/135.94	c Elapsed CPU time: 135.437 s	Remaining CPU time: 44.5626 s
135.86/135.94	c ===============================================================================
135.86/135.94	c |     12608 |    3841    26727   628178 |     8909     7221    570 | 32.281 % |
137.26/137.34	c |     12709 |    3841    26727   628178 |     9799     7322    570 | 32.281 % |
138.95/139.02	c |     12859 |    3841    26727   628178 |    10779     7472    571 | 32.281 % |
139.15/139.26	c ===============================================================================
139.15/139.26	c New solution: 93193
139.15/139.26	o 93193
139.15/139.26	c Elapsed CPU time: 138.753 s	Remaining CPU time: 41.2471 s
139.15/139.26	c ===============================================================================
139.15/139.26	c |     12861 |    3841    26728   630184 |     8909     7474    571 | 32.281 % |
139.45/139.54	c ===============================================================================
139.45/139.54	c New solution: 93192
139.45/139.54	o 93192
139.45/139.54	c Elapsed CPU time: 139.031 s	Remaining CPU time: 40.9691 s
139.45/139.54	c ===============================================================================
139.45/139.54	c |     12871 |    3841    26729   632190 |     8909     7484    571 | 32.281 % |
140.77/140.81	c |     12972 |    3841    26729   632190 |     9800     7585    571 | 32.281 % |
142.66/142.71	c |     13122 |    3841    26729   632190 |    10780     7735    571 | 32.281 % |
142.86/142.95	c ===============================================================================
142.86/142.95	c New solution: 91687
142.86/142.95	o 91687
142.86/142.95	c Elapsed CPU time: 142.44 s	Remaining CPU time: 37.5597 s
142.86/142.95	c ===============================================================================
142.86/142.95	c |     13122 |    3841    26730   634196 |     8910     7735    571 | 32.281 % |
143.06/143.18	c ===============================================================================
143.06/143.18	c New solution: 91681
143.06/143.18	o 91681
143.06/143.18	c Elapsed CPU time: 142.665 s	Remaining CPU time: 37.3347 s
143.06/143.18	c ===============================================================================
143.06/143.18	c |     13127 |    3841    26731   636202 |     8910     7740    571 | 32.281 % |
143.36/143.47	c ===============================================================================
143.36/143.47	c New solution: 91637
143.36/143.47	o 91637
143.36/143.47	c Elapsed CPU time: 142.95 s	Remaining CPU time: 37.0497 s
143.36/143.47	c ===============================================================================
143.36/143.47	c |     13127 |    3841    26732   638208 |     8910     7740    571 | 32.281 % |
143.75/143.82	c ===============================================================================
143.75/143.82	c New solution: 91636
143.75/143.82	o 91636
143.75/143.82	c Elapsed CPU time: 143.298 s	Remaining CPU time: 36.7018 s
143.75/143.82	c ===============================================================================
143.75/143.82	c |     13128 |    3841    26733   640214 |     8911     7741    571 | 32.281 % |
144.15/144.22	c ===============================================================================
144.15/144.22	c New solution: 91635
144.15/144.22	o 91635
144.15/144.22	c Elapsed CPU time: 143.7 s	Remaining CPU time: 36.2998 s
144.15/144.22	c ===============================================================================
144.15/144.22	c |     13144 |    3841    26734   642220 |     8911     7757    571 | 32.281 % |
144.65/144.70	c ===============================================================================
144.65/144.70	c New solution: 91634
144.65/144.70	o 91634
144.65/144.70	c Elapsed CPU time: 144.181 s	Remaining CPU time: 35.8189 s
144.65/144.70	c ===============================================================================
144.65/144.70	c |     13164 |    3841    26735   644226 |     8911     7777    571 | 32.281 % |
144.95/145.00	c ===============================================================================
144.95/145.00	c New solution: 91633
144.95/145.00	o 91633
144.95/145.00	c Elapsed CPU time: 144.484 s	Remaining CPU time: 35.516 s
144.95/145.00	c ===============================================================================
144.95/145.00	c |     13171 |    3841    26736   646232 |     8912     7784    571 | 32.281 % |
145.25/145.38	c |     13271 |    3841    26736   646232 |     9803     7884    571 | 32.281 % |
146.95/147.01	c |     13421 |    3841    26736   646232 |    10783     8034    571 | 32.281 % |
147.15/147.29	c ===============================================================================
147.15/147.29	c New solution: 91632
147.15/147.29	o 91632
147.15/147.29	c Elapsed CPU time: 146.771 s	Remaining CPU time: 33.2293 s
147.15/147.29	c ===============================================================================
147.15/147.29	c |     13423 |    3841    26737   648238 |     8912     8036    571 | 32.281 % |
147.55/147.60	c ===============================================================================
147.55/147.60	c New solution: 91631
147.55/147.60	o 91631
147.55/147.60	c Elapsed CPU time: 147.079 s	Remaining CPU time: 32.9214 s
147.55/147.60	c ===============================================================================
147.55/147.60	c |     13425 |    3841    26738   650244 |     8912     8038    571 | 32.281 % |
147.76/147.89	c ===============================================================================
147.76/147.89	c New solution: 91629
147.76/147.89	o 91629
147.76/147.89	c Elapsed CPU time: 147.368 s	Remaining CPU time: 32.6324 s
147.76/147.89	c ===============================================================================
147.76/147.89	c |     13429 |    3841    26739   652250 |     8913     8042    571 | 32.281 % |
148.66/148.76	c ===============================================================================
148.66/148.76	c New solution: 91628
148.66/148.76	o 91628
148.66/148.76	c Elapsed CPU time: 148.235 s	Remaining CPU time: 31.7645 s
148.66/148.76	c ===============================================================================
148.66/148.76	c |     13472 |    3841    26740   654256 |     8913     8085    572 | 32.281 % |
148.96/149.04	c ===============================================================================
148.96/149.04	c New solution: 91627
148.96/149.04	o 91627
148.96/149.04	c Elapsed CPU time: 148.511 s	Remaining CPU time: 31.4886 s
148.96/149.04	c ===============================================================================
148.96/149.04	c |     13477 |    3841    26741   656262 |     8913     8090    572 | 32.281 % |
149.16/149.29	c ===============================================================================
149.16/149.29	c New solution: 91626
149.16/149.29	o 91626
149.16/149.29	c Elapsed CPU time: 148.768 s	Remaining CPU time: 31.2316 s
149.16/149.29	c ===============================================================================
149.16/149.29	c |     13477 |    3841    26742   658268 |     8914     8090    572 | 32.281 % |
149.46/149.54	c ===============================================================================
149.46/149.54	c New solution: 91625
149.46/149.54	o 91625
149.46/149.54	c Elapsed CPU time: 149.015 s	Remaining CPU time: 30.9847 s
149.46/149.54	c ===============================================================================
149.46/149.54	c |     13477 |    3841    26743   660274 |     8914     8090    572 | 32.281 % |
149.75/149.82	c ===============================================================================
149.75/149.82	c New solution: 91624
149.75/149.82	o 91624
149.75/149.82	c Elapsed CPU time: 149.288 s	Remaining CPU time: 30.7117 s
149.75/149.82	c ===============================================================================
149.75/149.82	c |     13477 |    3841    26744   662280 |     8914     8090    572 | 32.281 % |
149.95/150.00	c ===============================================================================
149.95/150.00	c New solution: 90090
149.95/150.00	o 90090
149.95/150.00	c Elapsed CPU time: 149.472 s	Remaining CPU time: 30.5277 s
149.95/150.00	c ===============================================================================
149.95/150.00	c |     13480 |    3841    26745   664286 |     8915     8093    571 | 32.281 % |
150.25/150.31	c ===============================================================================
150.25/150.31	c New solution: 90055
150.25/150.31	o 90055
150.25/150.31	c Elapsed CPU time: 149.78 s	Remaining CPU time: 30.2198 s
150.25/150.31	c ===============================================================================
150.25/150.31	c |     13481 |    3841    26746   666292 |     8915     8094    571 | 32.281 % |
151.55/151.67	c |     13584 |    3841    26746   666292 |     9806     8197    572 | 32.281 % |
151.85/151.94	c ===============================================================================
151.85/151.94	c New solution: 90054
151.85/151.94	o 90054
151.85/151.94	c Elapsed CPU time: 151.405 s	Remaining CPU time: 28.595 s
151.85/151.94	c ===============================================================================
151.85/151.94	c |     13585 |    3841    26747   668298 |     8915     8198    572 | 32.281 % |
153.26/153.34	c |     13686 |    3841    26747   668298 |     9807     8299    572 | 32.281 % |
153.46/153.59	c ===============================================================================
153.46/153.59	c New solution: 90053
153.46/153.59	o 90053
153.46/153.59	c Elapsed CPU time: 153.055 s	Remaining CPU time: 26.9453 s
153.46/153.59	c ===============================================================================
153.46/153.59	c |     13688 |    3841    26748   670304 |     8916     8301    572 | 32.281 % |
153.86/153.94	c ===============================================================================
153.86/153.94	c New solution: 90052
153.86/153.94	o 90052
153.86/153.94	c Elapsed CPU time: 153.406 s	Remaining CPU time: 26.5943 s
153.86/153.94	c ===============================================================================
153.86/153.94	c |     13693 |    3841    26749   672310 |     8916     8306    572 | 32.281 % |
155.55/155.66	c |     13793 |    3841    26749   672310 |     9807     8406    572 | 32.281 % |
156.16/156.23	c ===============================================================================
156.16/156.23	c New solution: 90051
156.16/156.23	o 90051
156.16/156.23	c Elapsed CPU time: 155.684 s	Remaining CPU time: 24.3157 s
156.16/156.23	c ===============================================================================
156.16/156.23	c |     13822 |    3841    26750   674316 |     8916     8435    572 | 32.281 % |
157.16/157.22	c ===============================================================================
157.16/157.22	c New solution: 88538
157.16/157.22	o 88538
157.16/157.22	c Elapsed CPU time: 156.676 s	Remaining CPU time: 23.3238 s
157.16/157.22	c ===============================================================================
157.16/157.22	c |     13880 |    3841    26751   676322 |     8917     8493    572 | 32.281 % |
157.55/157.62	c ===============================================================================
157.55/157.62	c New solution: 88511
157.55/157.62	o 88511
157.55/157.62	c Elapsed CPU time: 157.078 s	Remaining CPU time: 22.9219 s
157.55/157.62	c ===============================================================================
157.55/157.62	c |     13882 |    3841    26752   678328 |     8917     8495    572 | 32.281 % |
157.85/157.98	c ===============================================================================
157.85/157.98	c New solution: 88510
157.85/157.98	o 88510
157.85/157.98	c Elapsed CPU time: 157.432 s	Remaining CPU time: 22.5679 s
157.85/157.98	c ===============================================================================
157.85/157.98	c |     13883 |    3841    26753   680334 |     8917     8496    572 | 32.281 % |
158.26/158.32	c ===============================================================================
158.26/158.32	c New solution: 88509
158.26/158.32	o 88509
158.26/158.32	c Elapsed CPU time: 157.777 s	Remaining CPU time: 22.223 s
158.26/158.32	c ===============================================================================
158.26/158.32	c |     13884 |    3841    26754   682340 |     8918     8497    572 | 32.281 % |
158.65/158.77	c ===============================================================================
158.65/158.77	c New solution: 88508
158.65/158.77	o 88508
158.65/158.77	c Elapsed CPU time: 158.22 s	Remaining CPU time: 21.7801 s
158.65/158.77	c ===============================================================================
158.65/158.77	c |     13886 |    3841    26755   684346 |     8918     8499    572 | 32.281 % |
159.05/159.12	c ===============================================================================
159.05/159.12	c New solution: 88493
159.05/159.12	o 88493
159.05/159.12	c Elapsed CPU time: 158.564 s	Remaining CPU time: 21.4361 s
159.05/159.12	c ===============================================================================
159.05/159.12	c |     13887 |    3841    26756   686352 |     8918     8500    572 | 32.281 % |
159.36/159.47	c ===============================================================================
159.36/159.47	c New solution: 88492
159.36/159.47	o 88492
159.36/159.47	c Elapsed CPU time: 158.92 s	Remaining CPU time: 21.0802 s
159.36/159.47	c ===============================================================================
159.36/159.47	c |     13889 |    3841    26757   688358 |     8919     8502    572 | 32.281 % |
159.75/159.87	c ===============================================================================
159.75/159.87	c New solution: 88491
159.75/159.87	o 88491
159.75/159.87	c Elapsed CPU time: 159.314 s	Remaining CPU time: 20.6862 s
159.75/159.87	c ===============================================================================
159.75/159.87	c |     13889 |    3841    26758   690364 |     8919     8502    572 | 32.281 % |
160.05/160.18	c ===============================================================================
160.05/160.18	c New solution: 88490
160.05/160.18	o 88490
160.05/160.18	c Elapsed CPU time: 159.633 s	Remaining CPU time: 20.3673 s
160.05/160.19	c ===============================================================================
160.05/160.19	c |     13893 |    3841    26759   692370 |     8919     8506    572 | 32.281 % |
160.65/160.78	c ===============================================================================
160.65/160.78	c New solution: 88489
160.65/160.78	o 88489
160.65/160.78	c Elapsed CPU time: 160.224 s	Remaining CPU time: 19.7764 s
160.65/160.78	c ===============================================================================
160.65/160.78	c |     13909 |    3841    26760   694376 |     8920     8522    572 | 32.281 % |
160.95/161.07	c ===============================================================================
160.95/161.07	c New solution: 88488
160.95/161.07	o 88488
160.95/161.07	c Elapsed CPU time: 160.516 s	Remaining CPU time: 19.4844 s
160.95/161.07	c ===============================================================================
160.95/161.07	c |     13919 |    3841    26761   696382 |     8920     8532    572 | 32.281 % |
161.25/161.35	c ===============================================================================
161.25/161.35	c New solution: 88487
161.25/161.35	o 88487
161.25/161.35	c Elapsed CPU time: 160.795 s	Remaining CPU time: 19.2054 s
161.25/161.35	c ===============================================================================
161.25/161.35	c |     13926 |    3841    26762   698388 |     8920     8539    572 | 32.281 % |
161.55/161.69	c ===============================================================================
161.55/161.69	c New solution: 88486
161.55/161.69	o 88486
161.55/161.69	c Elapsed CPU time: 161.135 s	Remaining CPU time: 18.8655 s
161.55/161.69	c ===============================================================================
161.55/161.69	c |     13937 |    3841    26763   700394 |     8921     8550    572 | 32.281 % |
162.35/162.49	c ===============================================================================
162.35/162.49	c New solution: 88485
162.35/162.49	o 88485
162.35/162.49	c Elapsed CPU time: 161.935 s	Remaining CPU time: 18.0646 s
162.35/162.49	c ===============================================================================
162.35/162.49	c |     13986 |    3841    26764   702400 |     8921     8599    572 | 32.281 % |
164.75/164.84	c |     14086 |    3841    26764   702400 |     9813     8699    572 | 32.281 % |
167.05/167.14	c |     14237 |    3841    26764   702400 |    10794     8850    573 | 32.281 % |
169.95/170.09	c |     14462 |    3841    26764   702400 |    11874     9075    573 | 32.281 % |
170.25/170.30	c ===============================================================================
170.25/170.30	c New solution: 86947
170.25/170.30	o 86947
170.25/170.30	c Elapsed CPU time: 169.736 s	Remaining CPU time: 10.2638 s
170.25/170.30	c ===============================================================================
170.25/170.30	c |     14472 |    3841    26765   704406 |     8921     9085    573 | 32.281 % |
170.55/170.60	c ===============================================================================
170.55/170.60	c New solution: 86924
170.55/170.60	o 86924
170.55/170.60	c Elapsed CPU time: 170.034 s	Remaining CPU time: 9.96585 s
170.55/170.60	c ===============================================================================
170.55/170.60	c |     14472 |    3841    26766   706412 |     8922     9085    573 | 32.281 % |
170.75/170.89	c ===============================================================================
170.75/170.89	c New solution: 86923
170.75/170.89	o 86923
170.75/170.89	c Elapsed CPU time: 170.322 s	Remaining CPU time: 9.67789 s
170.75/170.89	c ===============================================================================
170.75/170.89	c |     14472 |    3841    26767   708418 |     8922     9085    573 | 32.281 % |
172.65/172.70	c ===============================================================================
172.65/172.70	c New solution: 86922
172.65/172.70	o 86922
172.65/172.70	c Elapsed CPU time: 172.136 s	Remaining CPU time: 7.86417 s
172.65/172.70	c ===============================================================================
172.65/172.70	c |     14540 |    3841    26768   710424 |     8922     9153    572 | 32.281 % |
172.94/173.04	c ===============================================================================
172.94/173.04	c New solution: 86921
172.94/173.04	o 86921
172.94/173.04	c Elapsed CPU time: 172.472 s	Remaining CPU time: 7.52822 s
172.94/173.04	c ===============================================================================
172.94/173.04	c |     14543 |    3841    26769   712430 |     8923     9156    572 | 32.281 % |
173.34/173.45	c ===============================================================================
173.34/173.45	c New solution: 86920
173.34/173.45	o 86920
173.34/173.45	c Elapsed CPU time: 172.884 s	Remaining CPU time: 7.11628 s
173.34/173.45	c ===============================================================================
173.34/173.45	c |     14568 |    3841    26770   714436 |     8923     9181    572 | 32.281 % |
173.66/173.80	c ===============================================================================
173.66/173.80	c New solution: 86919
173.66/173.80	o 86919
173.66/173.80	c Elapsed CPU time: 173.227 s	Remaining CPU time: 6.77334 s
173.66/173.80	c ===============================================================================
173.66/173.80	c |     14574 |    3841    26771   716442 |     8923     9187    572 | 32.281 % |
176.35/176.44	c |     14674 |    3841    26771   716442 |     9816     9287    573 | 32.281 % |
176.65/176.77	c ===============================================================================
176.65/176.77	c New solution: 86918
176.65/176.77	o 86918
176.65/176.77	c Elapsed CPU time: 176.196 s	Remaining CPU time: 3.80379 s
176.65/176.77	c ===============================================================================
176.65/176.77	c |     14681 |    3841    26772   718448 |     8924     9294    573 | 32.281 % |
176.95/177.03	c ===============================================================================
176.95/177.03	c New solution: 86917
176.95/177.03	o 86917
176.95/177.03	c Elapsed CPU time: 176.455 s	Remaining CPU time: 3.54483 s
176.95/177.03	c ===============================================================================
176.95/177.03	c |     14686 |    3841    26773   720454 |     8924     9299    573 | 32.281 % |
177.15/177.28	c ===============================================================================
177.15/177.28	c New solution: 86916
177.15/177.28	o 86916
177.15/177.28	c Elapsed CPU time: 176.71 s	Remaining CPU time: 3.28986 s
177.15/177.28	c ===============================================================================
177.15/177.28	c |     14692 |    3841    26774   722460 |     8924     9305    573 | 32.281 % |
177.45/177.56	c ===============================================================================
177.45/177.56	c New solution: 86915
177.45/177.56	o 86915
177.45/177.56	c Elapsed CPU time: 176.98 s	Remaining CPU time: 3.01991 s
177.45/177.56	c ===============================================================================
177.45/177.56	c |     14694 |    3841    26775   724466 |     8925     9307    573 | 32.281 % |
177.75/177.82	c ===============================================================================
177.75/177.82	c New solution: 86914
177.75/177.82	o 86914
177.75/177.82	c Elapsed CPU time: 177.242 s	Remaining CPU time: 2.75795 s
177.75/177.82	c ===============================================================================
177.75/177.82	c |     14695 |    3841    26776   726472 |     8925     9308    573 | 32.281 % |
177.95/178.08	c ===============================================================================
177.95/178.08	c New solution: 86913
177.95/178.08	o 86913
177.95/178.08	c Elapsed CPU time: 177.507 s	Remaining CPU time: 2.49299 s
177.95/178.08	c ===============================================================================
177.95/178.08	c |     14695 |    3841    26777   728478 |     8925     9308    573 | 32.281 % |
178.24/178.34	c ===============================================================================
178.24/178.34	c New solution: 86912
178.24/178.34	o 86912
178.24/178.34	c Elapsed CPU time: 177.768 s	Remaining CPU time: 2.23202 s
178.24/178.34	c ===============================================================================
178.24/178.34	c |     14696 |    3841    26778   730484 |     8926     9309    573 | 32.281 % |
178.54/178.63	c ===============================================================================
178.54/178.63	c New solution: 86911
178.54/178.63	o 86911
178.54/178.63	c Elapsed CPU time: 178.049 s	Remaining CPU time: 1.95107 s
178.54/178.63	c ===============================================================================
178.54/178.63	c |     14698 |    3841    26779   732490 |     8926     9311    573 | 32.281 % |
180.54/180.61	c There are 1831 assigned variables. 335 in cost function.
182.05/182.13	c core #1
182.05/182.13	c core #2
182.05/182.13	c core #3
182.05/182.13	c core #4
182.05/182.13	c core #5
182.05/182.13	c core #6
182.05/182.13	c core #7
182.05/182.13	c core #8
182.05/182.13	c core #9
182.05/182.13	c core #10
182.05/182.13	c core #11
182.05/182.13	c core #12
182.05/182.13	c core #13
182.05/182.13	c core #14
182.05/182.13	c core #15
182.05/182.13	c core #16
182.05/182.13	c core #17
182.05/182.13	c core #18
182.05/182.13	c core #19
182.05/182.13	c core #20
182.05/182.13	c core #21
182.05/182.13	c core #22
182.05/182.13	c core #23
182.05/182.13	c core #24
182.05/182.13	c core #25
182.05/182.13	c core #26
182.05/182.13	c core #27
182.05/182.13	c ============================[ Search Statistics ]==============================
182.05/182.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.05/182.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.05/182.13	c ===============================================================================
182.05/182.13	c |         0 |     771    18321     8541 |     6107        0    nan |  0.000 % |
182.05/182.13	c ===============================================================================
182.05/182.15	c #cores: 27
182.05/182.15	c Final Weight: 4917
182.05/182.15	o 4917
182.05/182.15	s OPTIMUM FOUND
182.05/182.15	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.05/182.15	c Total CPU time: 181.552 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-2683304-1277508690/watcher-2683304-1277508690 -o /tmp/evaluation-result-2683304-1277508690/solver-2683304-1277508690 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683304-1277508690.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.98 1.01 1.00 3/106 29763
/proc/meminfo: memFree=1840828/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=3652 CPUtime=0
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 368 0 0 0 0 0 0 0 19 0 1 0 92161418 3739648 286 1992294400 134512640 135751879 4291636944 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 913 287 144 303 0 415 0

[startup+0.0424189 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 29763
/proc/meminfo: memFree=1840828/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=4396 CPUtime=0.03
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 598 0 0 0 3 0 0 0 19 0 1 0 92161418 4501504 516 1992294400 134512640 135751879 4291636944 18446744073709551615 135118951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 1099 516 201 303 0 601 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4396

[startup+0.101424 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 29763
/proc/meminfo: memFree=1840828/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=5292 CPUtime=0.09
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 898 0 0 0 9 0 0 0 20 0 1 0 92161418 5419008 816 1992294400 134512640 135751879 4291636944 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 1323 816 298 303 0 825 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5292

[startup+0.301441 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 29763
/proc/meminfo: memFree=1840828/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=6608 CPUtime=0.29
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 1467 0 0 0 29 0 0 0 20 0 1 0 92161418 6766592 1192 1992294400 134512640 135751879 4291636944 18446744073709551615 134579856 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 1652 1192 146 303 0 1347 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6608

[startup+0.701476 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 29763
/proc/meminfo: memFree=1840828/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=6872 CPUtime=0.69
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 1538 0 0 0 69 0 0 0 21 0 1 0 92161418 7036928 1263 1992294400 134512640 135751879 4291636944 18446744073709551615 134580056 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 1718 1263 146 303 0 1413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6872

[startup+1.50155 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 29764
/proc/meminfo: memFree=1836744/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=7268 CPUtime=1.49
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 1624 0 0 0 149 0 0 0 23 0 1 0 92161418 7442432 1349 1992294400 134512640 135751879 4291636944 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 1817 1349 146 303 0 1512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7268

[startup+3.10069 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 29764
/proc/meminfo: memFree=1834512/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=9512 CPUtime=3.09
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 2213 0 0 0 305 4 0 0 25 0 1 0 92161418 9740288 1938 1992294400 134512640 135751879 4291636944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 2378 1938 146 303 0 2073 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9512

[startup+6.30097 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 29764
/proc/meminfo: memFree=1833644/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=10300 CPUtime=6.29
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 2384 0 0 0 618 11 0 0 25 0 1 0 92161418 10547200 2109 1992294400 134512640 135751879 4291636944 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 2575 2112 147 303 0 2270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10300

[startup+12.7005 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 29764
/proc/meminfo: memFree=1829188/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=14464 CPUtime=12.69
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 3440 0 0 0 1254 15 0 0 25 0 1 0 92161418 14811136 3165 1992294400 134512640 135751879 4291636944 18446744073709551615 134607145 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 3616 3165 147 303 0 3311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14464

[startup+25.5017 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29764
/proc/meminfo: memFree=1821872/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=21356 CPUtime=25.49
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 5178 0 0 0 2528 21 0 0 25 0 1 0 92161418 21868544 4903 1992294400 134512640 135751879 4291636944 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 5339 4903 147 303 0 5034 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21356

[startup+51.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1812820/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=30064 CPUtime=51.07
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 7332 0 0 0 5080 27 0 0 25 0 1 0 92161418 30785536 7057 1992294400 134512640 135751879 4291636944 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 7516 7057 147 303 0 7211 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30064

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1798312/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=44392 CPUtime=102.27
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 10911 0 0 0 10187 40 0 0 25 0 1 0 92161418 45457408 10636 1992294400 134512640 135751879 4291636944 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 11098 10636 147 303 0 10793 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44392

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1785168/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=57664 CPUtime=162.25
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 14232 0 0 0 16174 51 0 0 25 0 1 0 92161418 59047936 13957 1992294400 134512640 135751879 4291636944 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 14416 13957 148 303 0 14111 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57664

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

[startup+166.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1784672/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=58048 CPUtime=166.25
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 14353 0 0 0 16573 52 0 0 25 0 1 0 92161418 59441152 14078 1992294400 134512640 135751879 4291636944 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 14512 14078 148 303 0 14207 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 58048

[startup+172.709 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1783680/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=59076 CPUtime=172.65
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 14595 0 0 0 17213 52 0 0 25 0 1 0 92161418 60493824 14320 1992294400 134512640 135751879 4291636944 18446744073709551615 134638998 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 14769 14320 148 303 0 14464 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 59076

[startup+179.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1782812/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=59996 CPUtime=179.04
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 14835 0 0 0 17851 53 0 0 25 0 1 0 92161418 61435904 14560 1992294400 134512640 135751879 4291636944 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 14999 14560 148 303 0 14694 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 59996

[startup+180.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1782564/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=66168 CPUtime=180.65
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 16345 0 0 0 18011 54 0 0 25 0 1 0 92161418 67756032 16070 1992294400 134512640 135751879 4291636944 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 16542 16070 150 303 0 16237 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 66168

[startup+181.509 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1776612/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=65736 CPUtime=181.46
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 16353 0 0 0 18092 54 0 0 25 0 1 0 92161418 67313664 15976 1992294400 134512640 135751879 4291636944 18446744073709551615 135204060 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 16434 15976 151 303 0 16129 0
Current children cumulated CPU time (s) 181.46
Current children cumulated vsize (KiB) 65736

[startup+181.902 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1776612/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=79756 CPUtime=181.85
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 19855 0 0 0 18130 55 0 0 25 0 1 0 92161418 81670144 19478 1992294400 134512640 135751879 4291636944 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 19939 19478 151 303 0 19634 0
Current children cumulated CPU time (s) 181.85
Current children cumulated vsize (KiB) 79756

[startup+182.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 29771
/proc/meminfo: memFree=1776612/2059040 swapFree=4140380/4192956
[pid=29763] ppid=29761 vsize=88704 CPUtime=182.05
/proc/29763/stat : 29763 (wbo1.4b) R 29761 29763 29411 0 -1 4202496 22090 0 0 0 18150 55 0 0 25 0 1 0 92161418 90832896 21713 1992294400 134512640 135751879 4291636944 18446744073709551615 134638964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29763/statm: 22176 21713 151 303 0 21871 0
Current children cumulated CPU time (s) 182.05
Current children cumulated vsize (KiB) 88704

Child status: 0
Real time (s): 182.167
CPU time (s): 182.121
CPU user time (s): 181.552
CPU system time (s): 0.568913
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 88704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.552
system time used= 0.568913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22609
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= 96
involuntary context switches= 281

runsolver used 0.288956 second user time and 0.921859 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-26 01:31:30
IDJOB=2683304
IDBENCH=72102
IDSOLVER=1161
FILE ID=node043/2683304-1277508690
PBS_JOBID= 11190597
Free space on /tmp= 62288 MiB

SOLVER NAME= wbo 1.4b
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
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683304-1277508690/watcher-2683304-1277508690 -o /tmp/evaluation-result-2683304-1277508690/solver-2683304-1277508690 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683304-1277508690.opb

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

MD5SUM BENCH= de3c56a7934dad70aad87854ca1d26e5
RANDOM SEED=1325993827

node043.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.241
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.241
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.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841876 kB
Buffers:         26812 kB
Cached:          93180 kB
SwapCached:       5408 kB
Active:          67456 kB
Inactive:        65792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841876 kB
SwapTotal:     4192956 kB
SwapFree:      4140380 kB
Dirty:            3420 kB
Writeback:           0 kB
AnonPages:       11820 kB
Mapped:          12016 kB
Slab:            61736 kB
PageTables:       4200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683304-1277508690.opb

Free space on /tmp at the end= 62288 MiB
End job on node043 at 2010-06-26 01:34:32