Trace number 2655987

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.4bWrong Opt.-224 183.346 183.494

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-13164
Best CPU time to get the best result obtained on this benchmark47.7537
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
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-2655987-1276356528.opb.
0.00/0.00	c Instance file HOME/instance-2655987-1276356528.opb
0.00/0.00	c File size is 638263 bytes.
0.09/0.11	c Highest Coefficient sum: 54
0.09/0.11	c ============================[ Problem Statistics ]=============================
0.09/0.11	c |                                                                             |
0.09/0.11	c |  Parsing time:          0.11         s                                      |
0.09/0.11	c |  Number Variables:      10713                                               |
0.09/0.11	c |  Number Clauses:        0                                                   |
0.09/0.11	c |  Number Cardinality:    0                                                   |
0.09/0.11	c |  Number PB Constraints: 9151                                                |
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.13	c |         0 |   10713     9151    51957 |     5000        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 30411
0.29/0.34	o 30411
0.29/0.34	c Elapsed CPU time: 0.32695 s	Remaining CPU time: 179.673 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |   10713     9152    62670 |     5000        0    nan |  0.000 % |
0.48/0.56	c ===============================================================================
0.48/0.56	c New solution: 30407
0.48/0.56	o 30407
0.48/0.56	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 179.461 s
0.48/0.56	c ===============================================================================
0.48/0.56	c |         0 |   10713     9153    73383 |     5000        0    nan |  0.000 % |
0.68/0.78	c ===============================================================================
0.68/0.78	c New solution: 30403
0.68/0.78	o 30403
0.68/0.78	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 179.25 s
0.68/0.78	c ===============================================================================
0.68/0.78	c |         0 |   10713     9154    84096 |     5000        0    nan |  0.000 % |
0.88/1.00	c ===============================================================================
0.88/1.00	c New solution: 30401
0.88/1.00	o 30401
0.88/1.00	c Elapsed CPU time: 0.962853 s	Remaining CPU time: 179.037 s
0.88/1.00	c ===============================================================================
0.88/1.00	c |         0 |   10713     9155    94809 |     5000        0    nan |  0.000 % |
1.18/1.23	c ===============================================================================
1.18/1.23	c New solution: 30400
1.18/1.23	o 30400
1.18/1.23	c Elapsed CPU time: 1.18082 s	Remaining CPU time: 178.819 s
1.18/1.23	c ===============================================================================
1.18/1.23	c |         0 |   10713     9156   105522 |     5000        0    nan |  0.000 % |
1.38/1.46	c ===============================================================================
1.38/1.46	c New solution: 30399
1.38/1.46	o 30399
1.38/1.46	c Elapsed CPU time: 1.40079 s	Remaining CPU time: 178.599 s
1.38/1.46	c ===============================================================================
1.38/1.46	c |         0 |   10713     9157   116235 |     5000        0    nan |  0.000 % |
1.58/1.69	c ===============================================================================
1.58/1.69	c New solution: 30398
1.58/1.69	o 30398
1.58/1.69	c Elapsed CPU time: 1.61975 s	Remaining CPU time: 178.38 s
1.58/1.69	c ===============================================================================
1.58/1.69	c |         0 |   10713     9158   126948 |     5000        0    nan |  0.000 % |
1.88/1.92	c ===============================================================================
1.88/1.92	c New solution: 30397
1.88/1.92	o 30397
1.88/1.92	c Elapsed CPU time: 1.84272 s	Remaining CPU time: 178.157 s
1.88/1.92	c ===============================================================================
1.88/1.92	c |         0 |   10713     9159   137661 |     5000        0    nan |  0.000 % |
2.09/2.16	c ===============================================================================
2.09/2.16	c New solution: 30395
2.09/2.16	o 30395
2.09/2.16	c Elapsed CPU time: 2.07069 s	Remaining CPU time: 177.929 s
2.09/2.16	c ===============================================================================
2.09/2.16	c |         0 |   10713     9160   148374 |     5000        0    nan |  0.000 % |
2.38/2.40	c ===============================================================================
2.38/2.40	c New solution: 30394
2.38/2.40	o 30394
2.38/2.40	c Elapsed CPU time: 2.30165 s	Remaining CPU time: 177.698 s
2.38/2.40	c ===============================================================================
2.38/2.40	c |         0 |   10713     9161   159087 |     5000        0    nan |  0.000 % |
2.59/2.65	c ===============================================================================
2.59/2.65	c New solution: 30393
2.59/2.65	o 30393
2.59/2.65	c Elapsed CPU time: 2.54261 s	Remaining CPU time: 177.457 s
2.59/2.65	c ===============================================================================
2.59/2.65	c |         0 |   10713     9162   169800 |     5000        0    nan |  0.000 % |
2.78/2.90	c ===============================================================================
2.78/2.90	c New solution: 30392
2.78/2.90	o 30392
2.78/2.90	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 177.217 s
2.78/2.90	c ===============================================================================
2.88/2.90	c |         0 |   10713     9163   180513 |     5000        0    nan |  0.000 % |
3.08/3.15	c ===============================================================================
3.08/3.15	c New solution: 30391
3.08/3.15	o 30391
3.08/3.15	c Elapsed CPU time: 3.03054 s	Remaining CPU time: 176.969 s
3.08/3.15	c ===============================================================================
3.08/3.15	c |         0 |   10713     9164   191226 |     5000        0    nan |  0.000 % |
3.38/3.41	c ===============================================================================
3.38/3.41	c New solution: 30389
3.38/3.41	o 30389
3.38/3.41	c Elapsed CPU time: 3.2805 s	Remaining CPU time: 176.719 s
3.38/3.41	c ===============================================================================
3.38/3.41	c |         0 |   10713     9165   201939 |     5000        0    nan |  0.000 % |
3.58/3.67	c ===============================================================================
3.58/3.67	c New solution: 30387
3.58/3.67	o 30387
3.58/3.67	c Elapsed CPU time: 3.53246 s	Remaining CPU time: 176.468 s
3.58/3.67	c ===============================================================================
3.58/3.67	c |         0 |   10713     9166   212652 |     5000        0    nan |  0.000 % |
3.88/3.94	c ===============================================================================
3.88/3.94	c New solution: 30383
3.88/3.94	o 30383
3.88/3.94	c Elapsed CPU time: 3.78642 s	Remaining CPU time: 176.214 s
3.88/3.94	c ===============================================================================
3.88/3.94	c |         0 |   10713     9167   223365 |     5000        0    nan |  0.000 % |
4.18/4.20	c ===============================================================================
4.18/4.20	c New solution: 30381
4.18/4.20	o 30381
4.18/4.20	c Elapsed CPU time: 4.04738 s	Remaining CPU time: 175.953 s
4.18/4.20	c ===============================================================================
4.18/4.20	c |         0 |   10713     9168   234078 |     5000        0    nan |  0.000 % |
4.38/4.47	c ===============================================================================
4.38/4.47	c New solution: 30379
4.38/4.47	o 30379
4.38/4.47	c Elapsed CPU time: 4.31034 s	Remaining CPU time: 175.69 s
4.38/4.47	c ===============================================================================
4.38/4.47	c |         0 |   10713     9169   244791 |     5000        0    nan |  0.000 % |
4.68/4.75	c ===============================================================================
4.68/4.75	c New solution: 30375
4.68/4.75	o 30375
4.68/4.75	c Elapsed CPU time: 4.5813 s	Remaining CPU time: 175.419 s
4.68/4.75	c ===============================================================================
4.68/4.75	c |         0 |   10713     9170   255504 |     5000        0    nan |  0.000 % |
4.98/5.04	c ===============================================================================
4.98/5.04	c New solution: 30373
4.98/5.04	o 30373
4.98/5.04	c Elapsed CPU time: 4.85426 s	Remaining CPU time: 175.146 s
4.98/5.04	c ===============================================================================
4.98/5.04	c |         0 |   10713     9171   266217 |     5000        0    nan |  0.000 % |
5.27/5.33	c ===============================================================================
5.27/5.33	c New solution: 30372
5.27/5.33	o 30372
5.27/5.33	c Elapsed CPU time: 5.13722 s	Remaining CPU time: 174.863 s
5.27/5.33	c ===============================================================================
5.27/5.33	c |         0 |   10713     9172   276930 |     5000        0    nan |  0.000 % |
5.57/5.63	c ===============================================================================
5.57/5.63	c New solution: 30371
5.57/5.63	o 30371
5.57/5.63	c Elapsed CPU time: 5.42717 s	Remaining CPU time: 174.573 s
5.57/5.63	c ===============================================================================
5.57/5.63	c |         0 |   10713     9173   287643 |     5000        0    nan |  0.000 % |
5.88/5.93	c ===============================================================================
5.88/5.93	c New solution: 30370
5.88/5.93	o 30370
5.88/5.93	c Elapsed CPU time: 5.71813 s	Remaining CPU time: 174.282 s
5.88/5.93	c ===============================================================================
5.88/5.93	c |         0 |   10713     9174   298356 |     5000        0    nan |  0.000 % |
6.17/6.24	c ===============================================================================
6.17/6.24	c New solution: 30369
6.17/6.24	o 30369
6.17/6.24	c Elapsed CPU time: 6.01609 s	Remaining CPU time: 173.984 s
6.17/6.24	c ===============================================================================
6.17/6.24	c |         0 |   10713     9175   309069 |     5000        0    nan |  0.000 % |
6.48/6.55	c ===============================================================================
6.48/6.55	c New solution: 30368
6.48/6.55	o 30368
6.48/6.55	c Elapsed CPU time: 6.31704 s	Remaining CPU time: 173.683 s
6.48/6.55	c ===============================================================================
6.48/6.55	c |         0 |   10713     9176   319782 |     5000        0    nan |  0.000 % |
6.78/6.87	c ===============================================================================
6.78/6.87	c New solution: 30367
6.78/6.87	o 30367
6.78/6.87	c Elapsed CPU time: 6.62199 s	Remaining CPU time: 173.378 s
6.78/6.87	c ===============================================================================
6.78/6.87	c |         0 |   10713     9177   330495 |     5000        0    nan |  0.000 % |
7.07/7.19	c ===============================================================================
7.07/7.19	c New solution: 30366
7.07/7.19	o 30366
7.07/7.19	c Elapsed CPU time: 6.93095 s	Remaining CPU time: 173.069 s
7.07/7.19	c ===============================================================================
7.07/7.19	c |         0 |   10713     9178   341208 |     5000        0    nan |  0.000 % |
7.47/7.52	c ===============================================================================
7.47/7.52	c New solution: 30365
7.47/7.52	o 30365
7.47/7.52	c Elapsed CPU time: 7.2489 s	Remaining CPU time: 172.751 s
7.47/7.52	c ===============================================================================
7.47/7.52	c |         0 |   10713     9179   351921 |     5000        0    nan |  0.000 % |
7.77/7.85	c ===============================================================================
7.77/7.85	c New solution: 30363
7.77/7.85	o 30363
7.77/7.85	c Elapsed CPU time: 7.56685 s	Remaining CPU time: 172.433 s
7.77/7.85	c ===============================================================================
7.77/7.85	c |         0 |   10713     9180   362634 |     5000        0    nan |  0.000 % |
8.07/8.19	c ===============================================================================
8.07/8.19	c New solution: 30361
8.07/8.19	o 30361
8.07/8.19	c Elapsed CPU time: 7.8958 s	Remaining CPU time: 172.104 s
8.07/8.19	c ===============================================================================
8.07/8.19	c |         0 |   10713     9181   373347 |     5000        0    nan |  0.000 % |
8.47/8.54	c ===============================================================================
8.47/8.54	c New solution: 30359
8.47/8.54	o 30359
8.47/8.54	c Elapsed CPU time: 8.23175 s	Remaining CPU time: 171.768 s
8.47/8.54	c ===============================================================================
8.47/8.54	c |         0 |   10713     9182   384060 |     5000        0    nan |  0.000 % |
8.78/8.89	c ===============================================================================
8.78/8.89	c New solution: 30358
8.78/8.89	o 30358
8.78/8.89	c Elapsed CPU time: 8.5697 s	Remaining CPU time: 171.43 s
8.78/8.89	c ===============================================================================
8.78/8.89	c |         0 |   10713     9183   394773 |     5000        0    nan |  0.000 % |
9.17/9.25	c ===============================================================================
9.17/9.25	c New solution: 30357
9.17/9.25	o 30357
9.17/9.25	c Elapsed CPU time: 8.92064 s	Remaining CPU time: 171.079 s
9.17/9.25	c ===============================================================================
9.17/9.25	c |         0 |   10713     9184   405486 |     5000        0    nan |  0.000 % |
9.57/9.61	c ===============================================================================
9.57/9.61	c New solution: 30356
9.57/9.61	o 30356
9.57/9.61	c Elapsed CPU time: 9.27759 s	Remaining CPU time: 170.722 s
9.57/9.61	c ===============================================================================
9.57/9.61	c |         0 |   10713     9185   416199 |     5000        0    nan |  0.000 % |
9.87/9.99	c ===============================================================================
9.87/9.99	c New solution: 30355
9.87/9.99	o 30355
9.87/9.99	c Elapsed CPU time: 9.63953 s	Remaining CPU time: 170.36 s
9.87/9.99	c ===============================================================================
9.87/9.99	c |         0 |   10713     9186   426912 |     5000        0    nan |  0.000 % |
10.26/10.36	c ===============================================================================
10.26/10.36	c New solution: 30353
10.26/10.36	o 30353
10.26/10.36	c Elapsed CPU time: 10.0055 s	Remaining CPU time: 169.995 s
10.26/10.36	c ===============================================================================
10.26/10.36	c |         0 |   10713     9187   437625 |     5000        0    nan |  0.000 % |
10.66/10.75	c ===============================================================================
10.66/10.75	c New solution: 30351
10.66/10.75	o 30351
10.66/10.75	c Elapsed CPU time: 10.3774 s	Remaining CPU time: 169.623 s
10.66/10.75	c ===============================================================================
10.66/10.75	c |         0 |   10713     9188   448338 |     5000        0    nan |  0.000 % |
11.06/11.13	c ===============================================================================
11.06/11.13	c New solution: 30350
11.06/11.13	o 30350
11.06/11.13	c Elapsed CPU time: 10.7524 s	Remaining CPU time: 169.248 s
11.06/11.13	c ===============================================================================
11.06/11.13	c |         0 |   10713     9189   459051 |     5000        0    nan |  0.000 % |
11.47/11.53	c ===============================================================================
11.47/11.53	c New solution: 30349
11.47/11.53	o 30349
11.47/11.53	c Elapsed CPU time: 11.1423 s	Remaining CPU time: 168.858 s
11.47/11.53	c ===============================================================================
11.47/11.53	c |         0 |   10713     9190   469764 |     5000        0    nan |  0.000 % |
11.86/11.94	c ===============================================================================
11.86/11.94	c New solution: 30348
11.86/11.94	o 30348
11.86/11.94	c Elapsed CPU time: 11.5432 s	Remaining CPU time: 168.457 s
11.86/11.94	c ===============================================================================
11.86/11.94	c |         0 |   10713     9191   480477 |     5000        0    nan |  0.000 % |
12.26/12.35	c ===============================================================================
12.26/12.35	c New solution: 30347
12.26/12.35	o 30347
12.26/12.35	c Elapsed CPU time: 11.9442 s	Remaining CPU time: 168.056 s
12.26/12.35	c ===============================================================================
12.26/12.35	c |         0 |   10713     9192   491190 |     5000        0    nan |  0.000 % |
12.67/12.77	c ===============================================================================
12.67/12.77	c New solution: 30346
12.67/12.77	o 30346
12.67/12.77	c Elapsed CPU time: 12.3511 s	Remaining CPU time: 167.649 s
12.67/12.77	c ===============================================================================
12.67/12.77	c |         0 |   10713     9193   501903 |     5000        0    nan |  0.000 % |
13.07/13.20	c ===============================================================================
13.07/13.20	c New solution: 30345
13.07/13.20	o 30345
13.07/13.20	c Elapsed CPU time: 12.7681 s	Remaining CPU time: 167.232 s
13.07/13.20	c ===============================================================================
13.07/13.20	c |         0 |   10713     9194   512616 |     5000        0    nan |  0.000 % |
13.57/13.64	c ===============================================================================
13.57/13.64	c New solution: 30344
13.57/13.64	o 30344
13.57/13.64	c Elapsed CPU time: 13.192 s	Remaining CPU time: 166.808 s
13.57/13.64	c ===============================================================================
13.57/13.64	c |         0 |   10713     9195   523329 |     5000        0    nan |  0.000 % |
13.97/14.07	c ===============================================================================
13.97/14.07	c New solution: 30343
13.97/14.07	o 30343
13.97/14.07	c Elapsed CPU time: 13.6199 s	Remaining CPU time: 166.38 s
13.97/14.08	c ===============================================================================
13.97/14.08	c |         0 |   10713     9196   534042 |     5000        0    nan |  0.000 % |
14.46/14.52	c ===============================================================================
14.46/14.52	c New solution: 30342
14.46/14.52	o 30342
14.46/14.52	c Elapsed CPU time: 14.0549 s	Remaining CPU time: 165.945 s
14.46/14.52	c ===============================================================================
14.46/14.52	c |         1 |   10713     9197   544755 |     5000        1  10691 |  0.000 % |
14.86/14.97	c ===============================================================================
14.86/14.97	c New solution: 30341
14.86/14.97	o 30341
14.86/14.97	c Elapsed CPU time: 14.4918 s	Remaining CPU time: 165.508 s
14.86/14.97	c ===============================================================================
14.86/14.97	c |         1 |   10713     9198   555468 |     5000        1  10691 |  0.000 % |
15.36/15.43	c ===============================================================================
15.36/15.43	c New solution: 30340
15.36/15.43	o 30340
15.36/15.43	c Elapsed CPU time: 14.9397 s	Remaining CPU time: 165.06 s
15.36/15.43	c ===============================================================================
15.36/15.43	c |         1 |   10713     9199   566181 |     5000        1  10691 |  0.000 % |
15.86/15.91	c ===============================================================================
15.86/15.91	c New solution: 30339
15.86/15.91	o 30339
15.86/15.91	c Elapsed CPU time: 15.4067 s	Remaining CPU time: 164.593 s
15.86/15.91	c ===============================================================================
15.86/15.91	c |         1 |   10713     9200   576894 |     5000        1  10691 |  0.000 % |
16.26/16.39	c ===============================================================================
16.26/16.39	c New solution: 30338
16.26/16.39	o 30338
16.26/16.39	c Elapsed CPU time: 15.8756 s	Remaining CPU time: 164.124 s
16.26/16.39	c ===============================================================================
16.26/16.39	c |         1 |   10713     9201   587607 |     5000        1  10691 |  0.000 % |
16.77/16.87	c ===============================================================================
16.77/16.87	c New solution: 30337
16.77/16.87	o 30337
16.77/16.87	c Elapsed CPU time: 16.3465 s	Remaining CPU time: 163.653 s
16.77/16.87	c ===============================================================================
16.77/16.87	c |         1 |   10713     9202   598320 |     5000        1  10691 |  0.000 % |
17.26/17.37	c ===============================================================================
17.26/17.37	c New solution: 30336
17.26/17.37	o 30336
17.26/17.37	c Elapsed CPU time: 16.8234 s	Remaining CPU time: 163.177 s
17.26/17.37	c ===============================================================================
17.26/17.37	c |         1 |   10713     9203   609033 |     5000        1  10691 |  0.000 % |
17.76/17.87	c ===============================================================================
17.76/17.87	c New solution: 30335
17.76/17.87	o 30335
17.76/17.87	c Elapsed CPU time: 17.3134 s	Remaining CPU time: 162.687 s
17.76/17.87	c ===============================================================================
17.76/17.87	c |         1 |   10713     9204   619746 |     5000        1  10691 |  0.000 % |
18.26/18.37	c ===============================================================================
18.26/18.37	c New solution: 30334
18.26/18.37	o 30334
18.26/18.37	c Elapsed CPU time: 17.8053 s	Remaining CPU time: 162.195 s
18.26/18.37	c ===============================================================================
18.26/18.37	c |         1 |   10713     9205   630459 |     5000        1  10691 |  0.000 % |
18.76/18.88	c ===============================================================================
18.76/18.88	c New solution: 30333
18.76/18.88	o 30333
18.76/18.88	c Elapsed CPU time: 18.3102 s	Remaining CPU time: 161.69 s
18.76/18.88	c ===============================================================================
18.76/18.88	c |         1 |   10713     9206   641172 |     5000        1  10691 |  0.000 % |
19.26/19.39	c ===============================================================================
19.26/19.39	c New solution: 30332
19.26/19.39	o 30332
19.26/19.39	c Elapsed CPU time: 18.8041 s	Remaining CPU time: 161.196 s
19.26/19.39	c ===============================================================================
19.26/19.39	c |         1 |   10713     9207   651885 |     5000        1  10691 |  0.000 % |
19.86/19.92	c ===============================================================================
19.86/19.92	c New solution: 30331
19.86/19.92	o 30331
19.86/19.92	c Elapsed CPU time: 19.3201 s	Remaining CPU time: 160.68 s
19.86/19.92	c ===============================================================================
19.86/19.92	c |         1 |   10713     9208   662598 |     5000        1  10691 |  0.000 % |
20.36/20.45	c ===============================================================================
20.36/20.45	c New solution: 30330
20.36/20.45	o 30330
20.36/20.45	c Elapsed CPU time: 19.843 s	Remaining CPU time: 160.157 s
20.36/20.45	c ===============================================================================
20.36/20.45	c |         1 |   10713     9209   673311 |     5000        1  10691 |  0.000 % |
20.87/20.99	c ===============================================================================
20.87/20.99	c New solution: 30329
20.87/20.99	o 30329
20.87/20.99	c Elapsed CPU time: 20.3649 s	Remaining CPU time: 159.635 s
20.87/20.99	c ===============================================================================
20.87/20.99	c |         1 |   10713     9210   684024 |     5000        1  10691 |  0.000 % |
21.45/21.54	c ===============================================================================
21.45/21.54	c New solution: 30328
21.45/21.54	o 30328
21.45/21.54	c Elapsed CPU time: 20.9088 s	Remaining CPU time: 159.091 s
21.45/21.54	c ===============================================================================
21.45/21.54	c |         1 |   10713     9211   694737 |     5000        1  10691 |  0.000 % |
22.06/22.10	c ===============================================================================
22.06/22.10	c New solution: 30327
22.06/22.10	o 30327
22.06/22.10	c Elapsed CPU time: 21.4587 s	Remaining CPU time: 158.541 s
22.06/22.10	c ===============================================================================
22.06/22.10	c |         1 |   10713     9212   705450 |     5000        1  10691 |  0.000 % |
22.55/22.67	c ===============================================================================
22.55/22.67	c New solution: 30326
22.55/22.67	o 30326
22.55/22.67	c Elapsed CPU time: 22.0217 s	Remaining CPU time: 157.978 s
22.55/22.67	c ===============================================================================
22.55/22.67	c |         1 |   10713     9213   716163 |     5000        1  10691 |  0.000 % |
23.15/23.25	c ===============================================================================
23.15/23.25	c New solution: 30325
23.15/23.25	o 30325
23.15/23.25	c Elapsed CPU time: 22.5906 s	Remaining CPU time: 157.409 s
23.15/23.25	c ===============================================================================
23.15/23.25	c |         1 |   10713     9214   726876 |     5000        1  10691 |  0.000 % |
23.76/23.84	c ===============================================================================
23.76/23.84	c New solution: 30324
23.76/23.84	o 30324
23.76/23.84	c Elapsed CPU time: 23.1725 s	Remaining CPU time: 156.828 s
23.76/23.84	c ===============================================================================
23.76/23.84	c |         1 |   10713     9215   737589 |     5000        1  10691 |  0.000 % |
24.36/24.45	c ===============================================================================
24.36/24.45	c New solution: 30323
24.36/24.45	o 30323
24.36/24.45	c Elapsed CPU time: 23.7644 s	Remaining CPU time: 156.236 s
24.36/24.45	c ===============================================================================
24.36/24.45	c |         1 |   10713     9216   748302 |     5000        1  10691 |  0.000 % |
24.95/25.05	c ===============================================================================
24.95/25.05	c New solution: 30322
24.95/25.05	o 30322
24.95/25.05	c Elapsed CPU time: 24.3463 s	Remaining CPU time: 155.654 s
24.95/25.05	c ===============================================================================
24.95/25.05	c |         1 |   10713     9217   759015 |     5000        1  10691 |  0.000 % |
25.56/25.66	c ===============================================================================
25.56/25.66	c New solution: 30321
25.56/25.66	o 30321
25.56/25.66	c Elapsed CPU time: 24.9492 s	Remaining CPU time: 155.051 s
25.56/25.66	c ===============================================================================
25.56/25.66	c |         1 |   10713     9218   769728 |     5000        1  10691 |  0.000 % |
26.16/26.27	c ===============================================================================
26.16/26.27	c New solution: 30320
26.16/26.27	o 30320
26.16/26.27	c Elapsed CPU time: 25.5471 s	Remaining CPU time: 154.453 s
26.16/26.27	c ===============================================================================
26.16/26.27	c |         1 |   10713     9219   780441 |     5000        1  10691 |  0.000 % |
26.76/26.89	c ===============================================================================
26.76/26.89	c New solution: 30319
26.76/26.89	o 30319
26.76/26.89	c Elapsed CPU time: 26.15 s	Remaining CPU time: 153.85 s
26.76/26.89	c ===============================================================================
26.76/26.89	c |         1 |   10713     9220   791154 |     5000        1  10691 |  0.000 % |
27.46/27.51	c ===============================================================================
27.46/27.51	c New solution: 30318
27.46/27.51	o 30318
27.46/27.51	c Elapsed CPU time: 26.7669 s	Remaining CPU time: 153.233 s
27.46/27.51	c ===============================================================================
27.46/27.51	c |         1 |   10713     9221   801867 |     5000        1  10691 |  0.000 % |
28.06/28.14	c ===============================================================================
28.06/28.14	c New solution: 30317
28.06/28.14	o 30317
28.06/28.14	c Elapsed CPU time: 27.3848 s	Remaining CPU time: 152.615 s
28.06/28.14	c ===============================================================================
28.06/28.14	c |         1 |   10713     9222   812580 |     5000        1  10691 |  0.000 % |
28.66/28.78	c ===============================================================================
28.66/28.78	c New solution: 30316
28.66/28.78	o 30316
28.66/28.78	c Elapsed CPU time: 28.0177 s	Remaining CPU time: 151.982 s
28.66/28.78	c ===============================================================================
28.66/28.78	c |         1 |   10713     9223   823293 |     5000        1  10691 |  0.000 % |
29.35/29.43	c ===============================================================================
29.35/29.43	c New solution: 30315
29.35/29.43	o 30315
29.35/29.43	c Elapsed CPU time: 28.6506 s	Remaining CPU time: 151.349 s
29.35/29.43	c ===============================================================================
29.35/29.43	c |         1 |   10713     9224   834006 |     5000        1  10691 |  0.000 % |
29.95/30.08	c ===============================================================================
29.95/30.08	c New solution: 30314
29.95/30.08	o 30314
29.95/30.08	c Elapsed CPU time: 29.2825 s	Remaining CPU time: 150.717 s
29.95/30.08	c ===============================================================================
29.95/30.08	c |         1 |   10713     9225   844719 |     5000        1  10691 |  0.000 % |
30.66/30.73	c ===============================================================================
30.66/30.73	c New solution: 30313
30.66/30.73	o 30313
30.66/30.73	c Elapsed CPU time: 29.9234 s	Remaining CPU time: 150.077 s
30.66/30.73	c ===============================================================================
30.66/30.73	c |         1 |   10713     9226   855432 |     5000        1  10691 |  0.000 % |
31.35/31.41	c ===============================================================================
31.35/31.41	c New solution: 30312
31.35/31.41	o 30312
31.35/31.41	c Elapsed CPU time: 30.5903 s	Remaining CPU time: 149.41 s
31.35/31.41	c ===============================================================================
31.35/31.41	c |         2 |   10713     9227   866145 |     5000        2  10688 |  0.000 % |
31.95/32.09	c ===============================================================================
31.95/32.09	c New solution: 30311
31.95/32.09	o 30311
31.95/32.09	c Elapsed CPU time: 31.2532 s	Remaining CPU time: 148.747 s
31.95/32.09	c ===============================================================================
31.95/32.09	c |         2 |   10713     9228   876858 |     5000        2  10688 |  0.000 % |
32.65/32.78	c ===============================================================================
32.65/32.78	c New solution: 30310
32.65/32.78	o 30310
32.65/32.78	c Elapsed CPU time: 31.9331 s	Remaining CPU time: 148.067 s
32.65/32.78	c ===============================================================================
32.65/32.78	c |         2 |   10713     9229   887571 |     5000        2  10688 |  0.000 % |
33.35/33.48	c ===============================================================================
33.35/33.48	c New solution: 30309
33.35/33.48	o 30309
33.35/33.48	c Elapsed CPU time: 32.626 s	Remaining CPU time: 147.374 s
33.35/33.48	c ===============================================================================
33.35/33.48	c |         2 |   10713     9230   898284 |     5000        2  10688 |  0.000 % |
34.15/34.20	c ===============================================================================
34.15/34.20	c New solution: 30308
34.15/34.20	o 30308
34.15/34.20	c Elapsed CPU time: 33.3239 s	Remaining CPU time: 146.676 s
34.15/34.20	c ===============================================================================
34.15/34.20	c |         2 |   10713     9231   908997 |     5000        2  10688 |  0.000 % |
34.84/34.93	c ===============================================================================
34.84/34.93	c New solution: 30307
34.84/34.93	o 30307
34.84/34.93	c Elapsed CPU time: 34.0458 s	Remaining CPU time: 145.954 s
34.84/34.93	c ===============================================================================
34.84/34.93	c |         2 |   10713     9232   919710 |     5000        2  10688 |  0.000 % |
35.54/35.66	c ===============================================================================
35.54/35.66	c New solution: 30306
35.54/35.66	o 30306
35.54/35.66	c Elapsed CPU time: 34.7657 s	Remaining CPU time: 145.234 s
35.54/35.66	c ===============================================================================
35.54/35.66	c |         2 |   10713     9233   930423 |     5000        2  10688 |  0.000 % |
36.25/36.40	c ===============================================================================
36.25/36.40	c New solution: 30305
36.25/36.40	o 30305
36.25/36.40	c Elapsed CPU time: 35.4846 s	Remaining CPU time: 144.515 s
36.34/36.40	c ===============================================================================
36.34/36.40	c |         2 |   10713     9234   941136 |     5000        2  10688 |  0.000 % |
37.04/37.14	c ===============================================================================
37.04/37.14	c New solution: 30304
37.04/37.14	o 30304
37.04/37.14	c Elapsed CPU time: 36.2185 s	Remaining CPU time: 143.782 s
37.04/37.14	c ===============================================================================
37.04/37.14	c |         2 |   10713     9235   951849 |     5000        2  10688 |  0.000 % |
37.74/37.90	c ===============================================================================
37.74/37.90	c New solution: 30303
37.74/37.90	o 30303
37.74/37.90	c Elapsed CPU time: 36.9644 s	Remaining CPU time: 143.036 s
37.74/37.90	c ===============================================================================
37.74/37.90	c |         2 |   10713     9236   962562 |     5000        2  10688 |  0.000 % |
38.54/38.65	c ===============================================================================
38.54/38.65	c New solution: 30302
38.54/38.65	o 30302
38.54/38.65	c Elapsed CPU time: 37.7063 s	Remaining CPU time: 142.294 s
38.54/38.65	c ===============================================================================
38.54/38.65	c |         2 |   10713     9237   973275 |     5000        2  10688 |  0.000 % |
39.34/39.40	c ===============================================================================
39.34/39.40	c New solution: 30301
39.34/39.40	o 30301
39.34/39.40	c Elapsed CPU time: 38.4452 s	Remaining CPU time: 141.555 s
39.34/39.40	c ===============================================================================
39.34/39.40	c |         2 |   10713     9238   983988 |     5000        2  10688 |  0.000 % |
40.04/40.16	c ===============================================================================
40.04/40.16	c New solution: 30300
40.04/40.16	o 30300
40.04/40.16	c Elapsed CPU time: 39.197 s	Remaining CPU time: 140.803 s
40.04/40.16	c ===============================================================================
40.04/40.16	c |         2 |   10713     9239   994701 |     5000        2  10688 |  0.000 % |
40.83/40.94	c ===============================================================================
40.83/40.94	c New solution: 30299
40.83/40.94	o 30299
40.83/40.94	c Elapsed CPU time: 39.9609 s	Remaining CPU time: 140.039 s
40.83/40.94	c ===============================================================================
40.83/40.94	c |         2 |   10713     9240  1005414 |     5000        2  10688 |  0.000 % |
41.64/41.72	c ===============================================================================
41.64/41.72	c New solution: 30298
41.64/41.72	o 30298
41.64/41.72	c Elapsed CPU time: 40.7338 s	Remaining CPU time: 139.266 s
41.64/41.72	c ===============================================================================
41.64/41.72	c |         2 |   10713     9241  1016127 |     5000        2  10688 |  0.000 % |
42.43/42.52	c ===============================================================================
42.43/42.52	c New solution: 30297
42.43/42.52	o 30297
42.43/42.52	c Elapsed CPU time: 41.5177 s	Remaining CPU time: 138.482 s
42.43/42.52	c ===============================================================================
42.43/42.52	c |         2 |   10713     9242  1026840 |     5000        2  10688 |  0.000 % |
43.23/43.33	c ===============================================================================
43.23/43.33	c New solution: 30296
43.23/43.33	o 30296
43.23/43.33	c Elapsed CPU time: 42.3176 s	Remaining CPU time: 137.682 s
43.23/43.33	c ===============================================================================
43.23/43.33	c |         3 |   10713     9243  1037553 |     5000        3  10684 |  0.000 % |
44.04/44.13	c ===============================================================================
44.04/44.13	c New solution: 30295
44.04/44.13	o 30295
44.04/44.13	c Elapsed CPU time: 43.1084 s	Remaining CPU time: 136.892 s
44.04/44.13	c ===============================================================================
44.04/44.13	c |         3 |   10713     9244  1048266 |     5000        3  10684 |  0.000 % |
44.83/44.96	c ===============================================================================
44.83/44.96	c New solution: 30294
44.83/44.96	o 30294
44.83/44.96	c Elapsed CPU time: 43.9143 s	Remaining CPU time: 136.086 s
44.83/44.96	c ===============================================================================
44.83/44.96	c |         3 |   10713     9245  1058979 |     5000        3  10684 |  0.000 % |
45.63/45.79	c ===============================================================================
45.63/45.79	c New solution: 30293
45.63/45.79	o 30293
45.63/45.79	c Elapsed CPU time: 44.7302 s	Remaining CPU time: 135.27 s
45.63/45.79	c ===============================================================================
45.63/45.79	c |         3 |   10713     9246  1069692 |     5000        3  10684 |  0.000 % |
46.53/46.63	c ===============================================================================
46.53/46.63	c New solution: 30292
46.53/46.63	o 30292
46.53/46.63	c Elapsed CPU time: 45.5631 s	Remaining CPU time: 134.437 s
46.53/46.63	c ===============================================================================
46.53/46.63	c |         3 |   10713     9247  1080405 |     5000        3  10684 |  0.000 % |
47.33/47.46	c ===============================================================================
47.33/47.46	c New solution: 30291
47.33/47.46	o 30291
47.33/47.46	c Elapsed CPU time: 46.374 s	Remaining CPU time: 133.626 s
47.33/47.46	c ===============================================================================
47.33/47.46	c |         3 |   10713     9248  1091118 |     5000        3  10684 |  0.000 % |
48.23/48.32	c ===============================================================================
48.23/48.32	c New solution: 30290
48.23/48.32	o 30290
48.23/48.32	c Elapsed CPU time: 47.2208 s	Remaining CPU time: 132.779 s
48.23/48.32	c ===============================================================================
48.23/48.32	c |         3 |   10713     9249  1101831 |     5000        3  10684 |  0.000 % |
49.03/49.16	c ===============================================================================
49.03/49.16	c New solution: 30289
49.03/49.16	o 30289
49.03/49.16	c Elapsed CPU time: 48.0487 s	Remaining CPU time: 131.951 s
49.03/49.16	c ===============================================================================
49.03/49.16	c |         4 |   10713     9250  1112544 |     5000        4  10681 |  0.000 % |
49.92/50.03	c ===============================================================================
49.92/50.03	c New solution: 30288
49.92/50.03	o 30288
49.92/50.03	c Elapsed CPU time: 48.9016 s	Remaining CPU time: 131.098 s
49.92/50.03	c ===============================================================================
49.92/50.03	c |         4 |   10713     9251  1123257 |     5000        4  10681 |  0.000 % |
50.73/50.89	c ===============================================================================
50.73/50.89	c New solution: 30287
50.73/50.89	o 30287
50.73/50.89	c Elapsed CPU time: 49.7484 s	Remaining CPU time: 130.252 s
50.73/50.89	c ===============================================================================
50.73/50.89	c |         4 |   10713     9252  1133970 |     5000        4  10681 |  0.000 % |
51.63/51.77	c ===============================================================================
51.63/51.77	c New solution: 30286
51.63/51.77	o 30286
51.63/51.77	c Elapsed CPU time: 50.6053 s	Remaining CPU time: 129.395 s
51.63/51.77	c ===============================================================================
51.63/51.77	c |         4 |   10713     9253  1144683 |     5000        4  10681 |  0.000 % |
52.53/52.66	c ===============================================================================
52.53/52.66	c New solution: 30285
52.53/52.66	o 30285
52.53/52.66	c Elapsed CPU time: 51.4812 s	Remaining CPU time: 128.519 s
52.53/52.66	c ===============================================================================
52.53/52.66	c |         4 |   10713     9254  1155396 |     5000        4  10681 |  0.000 % |
53.42/53.55	c ===============================================================================
53.42/53.55	c New solution: 30284
53.42/53.55	o 30284
53.42/53.55	c Elapsed CPU time: 52.365 s	Remaining CPU time: 127.635 s
53.42/53.55	c ===============================================================================
53.42/53.55	c |         4 |   10713     9255  1166109 |     5000        4  10681 |  0.000 % |
54.32/54.44	c ===============================================================================
54.32/54.44	c New solution: 30283
54.32/54.45	o 30283
54.32/54.45	c Elapsed CPU time: 53.2439 s	Remaining CPU time: 126.756 s
54.32/54.45	c ===============================================================================
54.32/54.45	c |         4 |   10713     9256  1176822 |     5000        4  10681 |  0.000 % |
55.22/55.35	c ===============================================================================
55.22/55.35	c New solution: 30282
55.22/55.35	o 30282
55.22/55.35	c Elapsed CPU time: 54.1338 s	Remaining CPU time: 125.866 s
55.22/55.35	c ===============================================================================
55.22/55.35	c |         4 |   10713     9257  1187535 |     5000        4  10681 |  0.000 % |
56.12/56.26	c ===============================================================================
56.12/56.26	c New solution: 30281
56.12/56.26	o 30281
56.12/56.26	c Elapsed CPU time: 55.0356 s	Remaining CPU time: 124.964 s
56.12/56.26	c ===============================================================================
56.12/56.26	c |         4 |   10713     9258  1198248 |     5000        4  10681 |  0.000 % |
57.03/57.19	c ===============================================================================
57.03/57.19	c New solution: 30280
57.03/57.19	o 30280
57.03/57.19	c Elapsed CPU time: 55.9455 s	Remaining CPU time: 124.055 s
57.03/57.19	c ===============================================================================
57.03/57.19	c |         4 |   10713     9259  1208961 |     5000        4  10681 |  0.000 % |
58.02/58.12	c ===============================================================================
58.02/58.12	c New solution: 30279
58.02/58.12	o 30279
58.02/58.12	c Elapsed CPU time: 56.8674 s	Remaining CPU time: 123.133 s
58.02/58.12	c ===============================================================================
58.02/58.12	c |         4 |   10713     9260  1219674 |     5000        4  10681 |  0.000 % |
58.92/59.03	c ===============================================================================
58.92/59.03	c New solution: 30278
58.92/59.03	o 30278
58.92/59.03	c Elapsed CPU time: 57.7732 s	Remaining CPU time: 122.227 s
58.92/59.03	c ===============================================================================
58.92/59.03	c |         4 |   10713     9261  1230387 |     5000        4  10681 |  0.000 % |
59.82/59.98	c ===============================================================================
59.82/59.98	c New solution: 30277
59.82/59.98	o 30277
59.82/59.98	c Elapsed CPU time: 58.7081 s	Remaining CPU time: 121.292 s
59.82/59.98	c ===============================================================================
59.82/59.98	c |         4 |   10713     9262  1241100 |     5000        4  10681 |  0.000 % |
60.82/60.94	c ===============================================================================
60.82/60.94	c New solution: 30276
60.82/60.94	o 30276
60.82/60.94	c Elapsed CPU time: 59.6559 s	Remaining CPU time: 120.344 s
60.82/60.94	c ===============================================================================
60.82/60.94	c |         4 |   10713     9263  1251813 |     5000        4  10681 |  0.000 % |
61.71/61.88	c ===============================================================================
61.71/61.88	c New solution: 30275
61.71/61.88	o 30275
61.71/61.88	c Elapsed CPU time: 60.5838 s	Remaining CPU time: 119.416 s
61.71/61.88	c ===============================================================================
61.71/61.88	c |         4 |   10713     9264  1262526 |     5000        4  10681 |  0.000 % |
62.72/62.85	c ===============================================================================
62.72/62.85	c New solution: 30274
62.72/62.85	o 30274
62.72/62.85	c Elapsed CPU time: 61.5406 s	Remaining CPU time: 118.459 s
62.72/62.85	c ===============================================================================
62.72/62.85	c |         4 |   10713     9265  1273239 |     5000        4  10681 |  0.000 % |
63.72/63.83	c ===============================================================================
63.72/63.83	c New solution: 30273
63.72/63.83	o 30273
63.72/63.83	c Elapsed CPU time: 62.5075 s	Remaining CPU time: 117.493 s
63.72/63.83	c ===============================================================================
63.72/63.83	c |         4 |   10713     9266  1283952 |     5000        4  10681 |  0.000 % |
64.62/64.80	c ===============================================================================
64.72/64.80	c New solution: 30272
64.72/64.80	o 30272
64.72/64.80	c Elapsed CPU time: 63.4674 s	Remaining CPU time: 116.533 s
64.72/64.80	c ===============================================================================
64.72/64.80	c |         4 |   10713     9267  1294665 |     5000        4  10681 |  0.000 % |
65.72/65.80	c ===============================================================================
65.72/65.80	c New solution: 30271
65.72/65.80	o 30271
65.72/65.80	c Elapsed CPU time: 64.4502 s	Remaining CPU time: 115.55 s
65.72/65.80	c ===============================================================================
65.72/65.80	c |         4 |   10713     9268  1305378 |     5000        4  10681 |  0.000 % |
66.62/66.79	c ===============================================================================
66.62/66.79	c New solution: 30270
66.62/66.79	o 30270
66.62/66.79	c Elapsed CPU time: 65.4211 s	Remaining CPU time: 114.579 s
66.62/66.79	c ===============================================================================
66.62/66.79	c |         4 |   10713     9269  1316091 |     5000        4  10681 |  0.000 % |
67.61/67.79	c ===============================================================================
67.61/67.79	c New solution: 30269
67.61/67.79	o 30269
67.61/67.79	c Elapsed CPU time: 66.4169 s	Remaining CPU time: 113.583 s
67.61/67.79	c ===============================================================================
67.61/67.79	c |         4 |   10713     9270  1326804 |     5000        4  10681 |  0.000 % |
68.71/68.80	c ===============================================================================
68.71/68.80	c New solution: 30268
68.71/68.80	o 30268
68.71/68.80	c Elapsed CPU time: 67.4177 s	Remaining CPU time: 112.582 s
68.71/68.80	c ===============================================================================
68.71/68.80	c |         4 |   10713     9271  1337517 |     5000        4  10681 |  0.000 % |
69.71/69.82	c ===============================================================================
69.71/69.82	c New solution: 30267
69.71/69.82	o 30267
69.71/69.82	c Elapsed CPU time: 68.4266 s	Remaining CPU time: 111.573 s
69.71/69.82	c ===============================================================================
69.71/69.82	c |         5 |   10713     9272  1348230 |     5000        5  10677 |  0.000 % |
70.81/70.96	c ===============================================================================
70.81/70.96	c New solution: 30266
70.81/70.96	o 30266
70.81/70.96	c Elapsed CPU time: 69.5474 s	Remaining CPU time: 110.453 s
70.81/70.96	c ===============================================================================
70.81/70.96	c |         5 |   10713     9273  1358943 |     5000        5  10677 |  0.000 % |
71.91/72.08	c ===============================================================================
71.91/72.08	c New solution: 30265
71.91/72.08	o 30265
71.91/72.08	c Elapsed CPU time: 70.6613 s	Remaining CPU time: 109.339 s
71.91/72.08	c ===============================================================================
71.91/72.08	c |         5 |   10713     9274  1369656 |     5000        5  10677 |  0.000 % |
73.11/73.23	c ===============================================================================
73.11/73.23	c New solution: 30264
73.11/73.23	o 30264
73.11/73.23	c Elapsed CPU time: 71.7981 s	Remaining CPU time: 108.202 s
73.11/73.23	c ===============================================================================
73.11/73.23	c |         5 |   10713     9275  1380369 |     5000        5  10677 |  0.000 % |
74.21/74.37	c ===============================================================================
74.21/74.37	c New solution: 30263
74.21/74.37	o 30263
74.21/74.37	c Elapsed CPU time: 72.9259 s	Remaining CPU time: 107.074 s
74.21/74.37	c ===============================================================================
74.21/74.37	c |         5 |   10713     9276  1391082 |     5000        5  10677 |  0.000 % |
75.41/75.52	c ===============================================================================
75.41/75.52	c New solution: 30262
75.41/75.52	o 30262
75.41/75.52	c Elapsed CPU time: 74.0667 s	Remaining CPU time: 105.933 s
75.41/75.52	c ===============================================================================
75.41/75.52	c |         5 |   10713     9277  1401795 |     5000        5  10677 |  0.000 % |
76.50/76.67	c ===============================================================================
76.50/76.67	c New solution: 30261
76.50/76.67	o 30261
76.50/76.67	c Elapsed CPU time: 75.2026 s	Remaining CPU time: 104.797 s
76.50/76.67	c ===============================================================================
76.50/76.67	c |         5 |   10713     9278  1412508 |     5000        5  10677 |  0.000 % |
77.70/77.81	c ===============================================================================
77.70/77.81	c New solution: 30260
77.70/77.81	o 30260
77.70/77.81	c Elapsed CPU time: 76.3284 s	Remaining CPU time: 103.672 s
77.70/77.81	c ===============================================================================
77.70/77.81	c |         5 |   10713     9279  1423221 |     5000        5  10677 |  0.000 % |
78.81/78.99	c ===============================================================================
78.81/78.99	c New solution: 30259
78.81/78.99	o 30259
78.81/78.99	c Elapsed CPU time: 77.4892 s	Remaining CPU time: 102.511 s
78.81/78.99	c ===============================================================================
78.81/78.99	c |         5 |   10713     9280  1433934 |     5000        5  10677 |  0.000 % |
80.01/80.17	c ===============================================================================
80.01/80.17	c New solution: 30258
80.01/80.17	o 30258
80.01/80.17	c Elapsed CPU time: 78.666 s	Remaining CPU time: 101.334 s
80.01/80.17	c ===============================================================================
80.01/80.17	c |         5 |   10713     9281  1444647 |     5000        5  10677 |  0.000 % |
81.22/81.38	c ===============================================================================
81.22/81.38	c New solution: 30257
81.22/81.38	o 30257
81.22/81.38	c Elapsed CPU time: 79.8579 s	Remaining CPU time: 100.142 s
81.22/81.38	c ===============================================================================
81.22/81.38	c |         5 |   10713     9282  1455360 |     5000        5  10677 |  0.000 % |
82.41/82.59	c ===============================================================================
82.41/82.59	c New solution: 30256
82.41/82.59	o 30256
82.41/82.59	c Elapsed CPU time: 81.0607 s	Remaining CPU time: 98.9393 s
82.41/82.59	c ===============================================================================
82.41/82.59	c |         5 |   10713     9283  1466073 |     5000        5  10677 |  0.000 % |
83.71/83.80	c ===============================================================================
83.71/83.80	c New solution: 30255
83.71/83.80	o 30255
83.71/83.80	c Elapsed CPU time: 82.2575 s	Remaining CPU time: 97.7425 s
83.71/83.80	c ===============================================================================
83.71/83.80	c |         5 |   10713     9284  1476786 |     5000        5  10677 |  0.000 % |
84.90/85.02	c ===============================================================================
84.90/85.02	c New solution: 30254
84.90/85.02	o 30254
84.90/85.02	c Elapsed CPU time: 83.4603 s	Remaining CPU time: 96.5397 s
84.90/85.02	c ===============================================================================
84.90/85.02	c |         5 |   10713     9285  1487499 |     5000        5  10677 |  0.000 % |
86.11/86.20	c ===============================================================================
86.11/86.20	c New solution: 30253
86.11/86.20	o 30253
86.11/86.20	c Elapsed CPU time: 84.6281 s	Remaining CPU time: 95.3719 s
86.11/86.20	c ===============================================================================
86.11/86.20	c |         5 |   10713     9286  1498212 |     5000        5  10677 |  0.000 % |
87.30/87.40	c ===============================================================================
87.30/87.40	c New solution: 30252
87.30/87.40	o 30252
87.30/87.40	c Elapsed CPU time: 85.819 s	Remaining CPU time: 94.181 s
87.30/87.40	c ===============================================================================
87.30/87.40	c |         5 |   10713     9287  1508925 |     5000        5  10677 |  0.000 % |
88.50/88.61	c ===============================================================================
88.50/88.61	c New solution: 30251
88.50/88.61	o 30251
88.50/88.61	c Elapsed CPU time: 87.0158 s	Remaining CPU time: 92.9842 s
88.50/88.61	c ===============================================================================
88.50/88.61	c |         5 |   10713     9288  1519638 |     5000        5  10677 |  0.000 % |
89.70/89.87	c ===============================================================================
89.70/89.87	c New solution: 30250
89.70/89.87	o 30250
89.70/89.87	c Elapsed CPU time: 88.2566 s	Remaining CPU time: 91.7434 s
89.70/89.87	c ===============================================================================
89.70/89.87	c |         5 |   10713     9289  1530351 |     5000        5  10677 |  0.000 % |
91.00/91.12	c ===============================================================================
91.00/91.12	c New solution: 30249
91.00/91.12	o 30249
91.00/91.12	c Elapsed CPU time: 89.4894 s	Remaining CPU time: 90.5106 s
91.00/91.12	c ===============================================================================
91.00/91.12	c |         5 |   10713     9290  1541064 |     5000        5  10677 |  0.000 % |
92.21/92.38	c ===============================================================================
92.21/92.38	c New solution: 30248
92.21/92.38	o 30248
92.21/92.38	c Elapsed CPU time: 90.7262 s	Remaining CPU time: 89.2738 s
92.21/92.38	c ===============================================================================
92.21/92.38	c |         5 |   10713     9291  1551777 |     5000        5  10677 |  0.000 % |
93.50/93.60	c ===============================================================================
93.50/93.60	c New solution: 30247
93.50/93.60	o 30247
93.50/93.60	c Elapsed CPU time: 91.927 s	Remaining CPU time: 88.073 s
93.50/93.60	c ===============================================================================
93.50/93.60	c |         5 |   10713     9292  1562490 |     5000        5  10677 |  0.000 % |
94.70/94.84	c ===============================================================================
94.70/94.84	c New solution: 30246
94.70/94.84	o 30246
94.70/94.84	c Elapsed CPU time: 93.1518 s	Remaining CPU time: 86.8482 s
94.70/94.84	c ===============================================================================
94.70/94.84	c |         5 |   10713     9293  1573203 |     5000        5  10677 |  0.000 % |
96.00/96.11	c ===============================================================================
96.00/96.11	c New solution: 30245
96.00/96.11	o 30245
96.00/96.11	c Elapsed CPU time: 94.4156 s	Remaining CPU time: 85.5844 s
96.00/96.11	c ===============================================================================
96.00/96.11	c |         5 |   10713     9294  1583916 |     5000        5  10677 |  0.000 % |
97.30/97.41	c ===============================================================================
97.30/97.41	c New solution: 30244
97.30/97.41	o 30244
97.30/97.41	c Elapsed CPU time: 95.7015 s	Remaining CPU time: 84.2985 s
97.30/97.41	c ===============================================================================
97.30/97.41	c |         5 |   10713     9295  1594629 |     5000        5  10677 |  0.000 % |
98.59/98.71	c ===============================================================================
98.59/98.71	c New solution: 30243
98.59/98.71	o 30243
98.59/98.71	c Elapsed CPU time: 96.9923 s	Remaining CPU time: 83.0077 s
98.59/98.71	c ===============================================================================
98.59/98.71	c |         5 |   10713     9296  1605342 |     5000        5  10677 |  0.000 % |
99.79/99.96	c ===============================================================================
99.79/99.96	c New solution: 30242
99.79/99.96	o 30242
99.79/99.96	c Elapsed CPU time: 98.2351 s	Remaining CPU time: 81.7649 s
99.79/99.96	c ===============================================================================
99.79/99.96	c |         6 |   10713     9297  1616055 |     5000        6  10674 |  0.000 % |
101.10/101.26	c ===============================================================================
101.10/101.26	c New solution: 30241
101.10/101.26	o 30241
101.10/101.26	c Elapsed CPU time: 99.5179 s	Remaining CPU time: 80.4821 s
101.10/101.26	c ===============================================================================
101.10/101.26	c |         6 |   10713     9298  1626768 |     5000        6  10674 |  0.000 % |
102.39/102.53	c ===============================================================================
102.39/102.53	c New solution: 30240
102.39/102.53	o 30240
102.39/102.53	c Elapsed CPU time: 100.775 s	Remaining CPU time: 79.2253 s
102.39/102.53	c ===============================================================================
102.39/102.53	c |         6 |   10713     9299  1637481 |     5000        6  10674 |  0.000 % |
103.69/103.82	c ===============================================================================
103.69/103.82	c New solution: 30239
103.69/103.82	o 30239
103.69/103.82	c Elapsed CPU time: 102.053 s	Remaining CPU time: 77.9465 s
103.69/103.82	c ===============================================================================
103.69/103.82	c |         6 |   10713     9300  1648194 |     5000        6  10674 |  0.000 % |
104.99/105.14	c ===============================================================================
104.99/105.14	c New solution: 30238
104.99/105.14	o 30238
104.99/105.14	c Elapsed CPU time: 103.354 s	Remaining CPU time: 76.6457 s
104.99/105.14	c ===============================================================================
104.99/105.14	c |         6 |   10713     9301  1658907 |     5000        6  10674 |  0.000 % |
106.29/106.41	c ===============================================================================
106.29/106.41	c New solution: 30237
106.29/106.41	o 30237
106.29/106.41	c Elapsed CPU time: 104.618 s	Remaining CPU time: 75.3819 s
106.29/106.41	c ===============================================================================
106.29/106.41	c |         6 |   10713     9302  1669620 |     5000        6  10674 |  0.000 % |
107.59/107.71	c ===============================================================================
107.59/107.71	c New solution: 30236
107.59/107.71	o 30236
107.59/107.71	c Elapsed CPU time: 105.906 s	Remaining CPU time: 74.0941 s
107.59/107.71	c ===============================================================================
107.59/107.71	c |         6 |   10713     9303  1680333 |     5000        6  10674 |  0.000 % |
108.89/109.01	c ===============================================================================
108.89/109.01	c New solution: 30235
108.89/109.01	o 30235
108.89/109.01	c Elapsed CPU time: 107.197 s	Remaining CPU time: 72.8033 s
108.89/109.01	c ===============================================================================
108.89/109.01	c |         6 |   10713     9304  1691046 |     5000        6  10674 |  0.000 % |
110.18/110.34	c ===============================================================================
110.18/110.34	c New solution: 30234
110.18/110.34	o 30234
110.18/110.34	c Elapsed CPU time: 108.512 s	Remaining CPU time: 71.4885 s
110.18/110.34	c ===============================================================================
110.18/110.34	c |         6 |   10713     9305  1701759 |     5000        6  10674 |  0.000 % |
111.49/111.67	c ===============================================================================
111.49/111.67	c New solution: 30233
111.49/111.67	o 30233
111.49/111.67	c Elapsed CPU time: 109.824 s	Remaining CPU time: 70.1757 s
111.49/111.67	c ===============================================================================
111.49/111.67	c |         6 |   10713     9306  1712472 |     5000        6  10674 |  0.000 % |
112.88/113.01	c ===============================================================================
112.88/113.01	c New solution: 30232
112.88/113.01	o 30232
112.88/113.01	c Elapsed CPU time: 111.151 s	Remaining CPU time: 68.8489 s
112.88/113.01	c ===============================================================================
112.88/113.01	c |         6 |   10713     9307  1723185 |     5000        6  10674 |  0.000 % |
114.19/114.33	c ===============================================================================
114.19/114.33	c New solution: 30231
114.19/114.33	o 30231
114.19/114.33	c Elapsed CPU time: 112.458 s	Remaining CPU time: 67.5421 s
114.19/114.33	c ===============================================================================
114.19/114.33	c |         6 |   10713     9308  1733898 |     5000        6  10674 |  0.000 % |
115.48/115.66	c ===============================================================================
115.48/115.66	c New solution: 30230
115.48/115.66	o 30230
115.48/115.66	c Elapsed CPU time: 113.77 s	Remaining CPU time: 66.2303 s
115.48/115.66	c ===============================================================================
115.48/115.66	c |         6 |   10713     9309  1744611 |     5000        6  10674 |  0.000 % |
116.78/116.98	c ===============================================================================
116.78/116.98	c New solution: 30229
116.78/116.98	o 30229
116.78/116.98	c Elapsed CPU time: 115.073 s	Remaining CPU time: 64.9275 s
116.78/116.98	c ===============================================================================
116.78/116.98	c |         6 |   10713     9310  1755324 |     5000        6  10674 |  0.000 % |
118.18/118.31	c ===============================================================================
118.18/118.31	c New solution: 30228
118.18/118.31	o 30228
118.18/118.31	c Elapsed CPU time: 116.391 s	Remaining CPU time: 63.6087 s
118.18/118.31	c ===============================================================================
118.18/118.31	c |         6 |   10713     9311  1766037 |     5000        6  10674 |  0.000 % |
119.48/119.69	c ===============================================================================
119.48/119.69	c New solution: 30227
119.48/119.69	o 30227
119.48/119.69	c Elapsed CPU time: 117.766 s	Remaining CPU time: 62.2339 s
119.48/119.69	c ===============================================================================
119.48/119.69	c |         6 |   10713     9312  1776750 |     5000        6  10674 |  0.000 % |
120.88/121.06	c ===============================================================================
120.88/121.06	c New solution: 30226
120.88/121.06	o 30226
120.88/121.06	c Elapsed CPU time: 119.113 s	Remaining CPU time: 60.8871 s
120.88/121.06	c ===============================================================================
120.88/121.06	c |         6 |   10713     9313  1787463 |     5000        6  10674 |  0.000 % |
122.28/122.43	c ===============================================================================
122.28/122.43	c New solution: 30225
122.28/122.43	o 30225
122.28/122.43	c Elapsed CPU time: 120.475 s	Remaining CPU time: 59.5253 s
122.28/122.43	c ===============================================================================
122.28/122.43	c |         6 |   10713     9314  1798176 |     5000        6  10674 |  0.000 % |
123.58/123.78	c ===============================================================================
123.58/123.78	c New solution: 30224
123.58/123.78	o 30224
123.58/123.78	c Elapsed CPU time: 121.818 s	Remaining CPU time: 58.1815 s
123.58/123.78	c ===============================================================================
123.58/123.78	c |         6 |   10713     9315  1808889 |     5000        6  10674 |  0.000 % |
124.97/125.17	c ===============================================================================
124.97/125.17	c New solution: 30223
124.97/125.17	o 30223
124.97/125.17	c Elapsed CPU time: 123.188 s	Remaining CPU time: 56.8117 s
124.97/125.17	c ===============================================================================
124.97/125.17	c |         6 |   10713     9316  1819602 |     5000        6  10674 |  0.000 % |
126.38/126.59	c ===============================================================================
126.38/126.59	c New solution: 30222
126.38/126.59	o 30222
126.38/126.59	c Elapsed CPU time: 124.601 s	Remaining CPU time: 55.3989 s
126.38/126.59	c ===============================================================================
126.38/126.59	c |         6 |   10713     9317  1830315 |     5000        6  10674 |  0.000 % |
127.88/128.03	c ===============================================================================
127.88/128.03	c New solution: 30221
127.88/128.03	o 30221
127.88/128.03	c Elapsed CPU time: 126.025 s	Remaining CPU time: 53.9752 s
127.88/128.03	c ===============================================================================
127.88/128.03	c |         6 |   10713     9318  1841028 |     5000        6  10674 |  0.000 % |
129.28/129.45	c ===============================================================================
129.28/129.45	c New solution: 30220
129.28/129.45	o 30220
129.28/129.45	c Elapsed CPU time: 127.439 s	Remaining CPU time: 52.5614 s
129.28/129.45	c ===============================================================================
129.28/129.45	c |         6 |   10713     9319  1851741 |     5000        6  10674 |  0.000 % |
130.68/130.87	c ===============================================================================
130.68/130.87	c New solution: 30219
130.68/130.87	o 30219
130.68/130.87	c Elapsed CPU time: 128.836 s	Remaining CPU time: 51.1636 s
130.68/130.87	c ===============================================================================
130.68/130.87	c |         6 |   10713     9320  1862454 |     5000        6  10674 |  0.000 % |
132.07/132.27	c ===============================================================================
132.07/132.27	c New solution: 30218
132.07/132.27	o 30218
132.07/132.27	c Elapsed CPU time: 130.217 s	Remaining CPU time: 49.7828 s
132.07/132.27	c ===============================================================================
132.07/132.27	c |         6 |   10713     9321  1873167 |     5000        6  10674 |  0.000 % |
133.57/133.70	c ===============================================================================
133.57/133.70	c New solution: 30217
133.57/133.70	o 30217
133.57/133.70	c Elapsed CPU time: 131.64 s	Remaining CPU time: 48.36 s
133.57/133.70	c ===============================================================================
133.57/133.70	c |         6 |   10713     9322  1883880 |     5000        6  10674 |  0.000 % |
135.08/135.24	c ===============================================================================
135.08/135.24	c New solution: 30216
135.08/135.24	o 30216
135.08/135.24	c Elapsed CPU time: 133.164 s	Remaining CPU time: 46.8362 s
135.08/135.24	c ===============================================================================
135.08/135.24	c |         6 |   10713     9323  1894593 |     5000        6  10674 |  0.000 % |
136.67/136.83	c ===============================================================================
136.67/136.83	c New solution: 30215
136.67/136.83	o 30215
136.67/136.83	c Elapsed CPU time: 134.744 s	Remaining CPU time: 45.2565 s
136.67/136.83	c ===============================================================================
136.67/136.83	c |         6 |   10713     9324  1905306 |     5000        6  10674 |  0.000 % |
138.17/138.33	c ===============================================================================
138.17/138.33	c New solution: 30214
138.17/138.33	o 30214
138.17/138.33	c Elapsed CPU time: 136.237 s	Remaining CPU time: 43.7627 s
138.17/138.33	c ===============================================================================
138.17/138.33	c |         6 |   10713     9325  1916019 |     5000        6  10674 |  0.000 % |
139.66/139.86	c ===============================================================================
139.66/139.86	c New solution: 30213
139.66/139.86	o 30213
139.66/139.86	c Elapsed CPU time: 137.75 s	Remaining CPU time: 42.2499 s
139.66/139.86	c ===============================================================================
139.66/139.86	c |         6 |   10713     9326  1926732 |     5000        6  10674 |  0.000 % |
141.17/141.34	c ===============================================================================
141.17/141.34	c New solution: 30212
141.17/141.34	o 30212
141.17/141.34	c Elapsed CPU time: 139.221 s	Remaining CPU time: 40.7792 s
141.17/141.34	c ===============================================================================
141.17/141.34	c |         6 |   10713     9327  1937445 |     5000        6  10674 |  0.000 % |
142.67/142.85	c ===============================================================================
142.67/142.85	c New solution: 30211
142.67/142.85	o 30211
142.67/142.85	c Elapsed CPU time: 140.706 s	Remaining CPU time: 39.2944 s
142.67/142.85	c ===============================================================================
142.67/142.85	c |         7 |   10713     9328  1948158 |     5000        7  10670 |  0.000 % |
144.16/144.33	c ===============================================================================
144.16/144.34	c New solution: 30210
144.16/144.34	o 30210
144.16/144.34	c Elapsed CPU time: 142.177 s	Remaining CPU time: 37.8226 s
144.16/144.34	c ===============================================================================
144.16/144.34	c |         7 |   10713     9329  1958871 |     5000        7  10670 |  0.000 % |
145.66/145.84	c ===============================================================================
145.66/145.84	c New solution: 30209
145.66/145.84	o 30209
145.66/145.84	c Elapsed CPU time: 143.671 s	Remaining CPU time: 36.3288 s
145.66/145.84	c ===============================================================================
145.66/145.84	c |         7 |   10713     9330  1969584 |     5000        7  10670 |  0.000 % |
147.17/147.37	c ===============================================================================
147.17/147.37	c New solution: 30208
147.17/147.37	o 30208
147.17/147.37	c Elapsed CPU time: 145.192 s	Remaining CPU time: 34.8081 s
147.17/147.37	c ===============================================================================
147.17/147.37	c |         7 |   10713     9331  1980297 |     5000        7  10670 |  0.000 % |
148.66/148.88	c ===============================================================================
148.66/148.88	c New solution: 30207
148.66/148.88	o 30207
148.66/148.88	c Elapsed CPU time: 146.689 s	Remaining CPU time: 33.3113 s
148.66/148.88	c ===============================================================================
148.66/148.88	c |         7 |   10713     9332  1991010 |     5000        7  10670 |  0.000 % |
150.27/150.42	c ===============================================================================
150.27/150.42	c New solution: 30206
150.27/150.42	o 30206
150.27/150.42	c Elapsed CPU time: 148.213 s	Remaining CPU time: 31.7865 s
150.27/150.42	c ===============================================================================
150.27/150.42	c |         7 |   10713     9333  2001723 |     5000        7  10670 |  0.000 % |
151.76/151.93	c ===============================================================================
151.76/151.93	c New solution: 30205
151.76/151.93	o 30205
151.76/151.93	c Elapsed CPU time: 149.718 s	Remaining CPU time: 30.2818 s
151.76/151.93	c ===============================================================================
151.76/151.93	c |         7 |   10713     9334  2012436 |     5000        7  10670 |  0.000 % |
153.26/153.47	c ===============================================================================
153.26/153.47	c New solution: 30204
153.26/153.47	o 30204
153.26/153.47	c Elapsed CPU time: 151.24 s	Remaining CPU time: 28.76 s
153.26/153.47	c ===============================================================================
153.26/153.47	c |         7 |   10713     9335  2023149 |     5000        7  10670 |  0.000 % |
154.86/155.01	c ===============================================================================
154.86/155.01	c New solution: 30203
154.86/155.01	o 30203
154.86/155.01	c Elapsed CPU time: 152.778 s	Remaining CPU time: 27.2222 s
154.86/155.01	c ===============================================================================
154.86/155.01	c |         7 |   10713     9336  2033862 |     5000        7  10670 |  0.000 % |
156.36/156.55	c ===============================================================================
156.36/156.55	c New solution: 30202
156.36/156.55	o 30202
156.36/156.55	c Elapsed CPU time: 154.3 s	Remaining CPU time: 25.7005 s
156.36/156.55	c ===============================================================================
156.36/156.55	c |         7 |   10713     9337  2044575 |     5000        7  10670 |  0.000 % |
157.86/158.09	c ===============================================================================
157.86/158.09	c New solution: 30201
157.86/158.09	o 30201
157.86/158.09	c Elapsed CPU time: 155.831 s	Remaining CPU time: 24.1687 s
157.86/158.10	c ===============================================================================
157.86/158.10	c |         7 |   10713     9338  2055288 |     5000        7  10670 |  0.000 % |
159.46/159.64	c ===============================================================================
159.46/159.64	c New solution: 30200
159.46/159.64	o 30200
159.46/159.64	c Elapsed CPU time: 157.367 s	Remaining CPU time: 22.6329 s
159.46/159.64	c ===============================================================================
159.46/159.64	c |         8 |   10713     9339  2066001 |     5000        8  10666 |  0.000 % |
161.26/161.45	c ===============================================================================
161.26/161.45	c New solution: 30199
161.26/161.45	o 30199
161.26/161.45	c Elapsed CPU time: 159.163 s	Remaining CPU time: 20.8372 s
161.26/161.45	c ===============================================================================
161.26/161.45	c |         8 |   10713     9340  2076714 |     5000        8  10666 |  0.000 % |
163.06/163.26	c ===============================================================================
163.06/163.26	c New solution: 30198
163.06/163.26	o 30198
163.06/163.26	c Elapsed CPU time: 160.955 s	Remaining CPU time: 19.0455 s
163.06/163.26	c ===============================================================================
163.06/163.26	c |         8 |   10713     9341  2087427 |     5000        8  10666 |  0.000 % |
164.77/165.00	c ===============================================================================
164.77/165.00	c New solution: 30197
164.77/165.00	o 30197
164.77/165.00	c Elapsed CPU time: 162.678 s	Remaining CPU time: 17.3217 s
164.77/165.00	c ===============================================================================
164.77/165.00	c |         8 |   10713     9342  2098140 |     5000        8  10666 |  0.000 % |
166.55/166.75	c ===============================================================================
166.55/166.75	c New solution: 30196
166.55/166.75	o 30196
166.55/166.75	c Elapsed CPU time: 164.421 s	Remaining CPU time: 15.579 s
166.55/166.75	c ===============================================================================
166.55/166.75	c |         8 |   10713     9343  2108853 |     5000        8  10666 |  0.000 % |
168.35/168.51	c ===============================================================================
168.35/168.51	c New solution: 30195
168.35/168.51	o 30195
168.35/168.51	c Elapsed CPU time: 166.161 s	Remaining CPU time: 13.8393 s
168.35/168.51	c ===============================================================================
168.35/168.51	c |         8 |   10713     9344  2119566 |     5000        8  10666 |  0.000 % |
170.05/170.26	c ===============================================================================
170.05/170.26	c New solution: 30194
170.05/170.26	o 30194
170.05/170.26	c Elapsed CPU time: 167.905 s	Remaining CPU time: 12.0945 s
170.05/170.26	c ===============================================================================
170.05/170.26	c |         8 |   10713     9345  2130279 |     5000        8  10666 |  0.000 % |
171.85/172.06	c ===============================================================================
171.85/172.06	c New solution: 30193
171.85/172.06	o 30193
171.85/172.06	c Elapsed CPU time: 169.697 s	Remaining CPU time: 10.3028 s
171.85/172.06	c ===============================================================================
171.85/172.06	c |         8 |   10713     9346  2140992 |     5000        8  10666 |  0.000 % |
173.65/173.85	c ===============================================================================
173.65/173.85	c New solution: 30192
173.65/173.85	o 30192
173.65/173.85	c Elapsed CPU time: 171.47 s	Remaining CPU time: 8.53007 s
173.65/173.85	c ===============================================================================
173.65/173.85	c |         8 |   10713     9347  2151705 |     5000        8  10666 |  0.000 % |
175.45/175.63	c ===============================================================================
175.45/175.63	c New solution: 30191
175.45/175.63	o 30191
175.45/175.63	c Elapsed CPU time: 173.241 s	Remaining CPU time: 6.75934 s
175.45/175.63	c ===============================================================================
175.45/175.63	c |         8 |   10713     9348  2162418 |     5000        8  10666 |  0.000 % |
177.25/177.43	c ===============================================================================
177.25/177.43	c New solution: 30190
177.25/177.43	o 30190
177.25/177.43	c Elapsed CPU time: 175.034 s	Remaining CPU time: 4.96561 s
177.25/177.43	c ===============================================================================
177.25/177.43	c |         8 |   10713     9349  2173131 |     5000        8  10666 |  0.000 % |
179.05/179.20	c ===============================================================================
179.05/179.20	c New solution: 30189
179.05/179.20	o 30189
179.05/179.20	c Elapsed CPU time: 176.801 s	Remaining CPU time: 3.19888 s
179.05/179.20	c ===============================================================================
179.05/179.20	c |         8 |   10713     9350  2183844 |     5000        8  10666 |  0.000 % |
180.74/180.99	c ===============================================================================
180.74/180.99	c New solution: 30188
180.74/180.99	o 30188
180.74/180.99	c Elapsed CPU time: 178.575 s	Remaining CPU time: 1.42515 s
180.74/180.99	c ===============================================================================
180.74/180.99	c |         8 |   10713     9351  2194557 |     5000        8  10666 |  0.000 % |
182.54/182.75	c ===============================================================================
182.54/182.75	c New solution: 30187
182.54/182.75	o 30187
182.54/182.75	c Elapsed CPU time: 180.326 s	Remaining CPU time: -0.325586 s
182.54/182.75	c ===============================================================================
182.54/182.75	c |         8 |   10713     9352  2205270 |     5000        8  10666 |  0.000 % |
182.54/182.75	c There are 0 assigned variables. 0 in cost function.
183.24/183.48	c core #1
183.24/183.48	c #cores: 1
183.24/183.48	c Final Weight: 30187
183.24/183.48	o 30187
183.24/183.48	s OPTIMUM FOUND
183.24/183.48	v -x1 -x2 -x3 -x4 -x3625 x3626 -x3627 -x3628 -x7170 -x7171 -x7172 -x7173 -x8549 -x8550 -x8551 -x8908 -x8909 -x8910 -x9261 -x9262 -x9263 -x9636 -x9637 -x9638 -x9994 -x9995 -x9996 -x9997 -x10361 -x10362 x10363 -x10364 -x5 -x6 -x7 -x8 -x371 -x372 -x373 -x374 -x727 -x728 x729 -x730 -x1084 -x1085 -x1086 -x1460 -x1461 -x1462 -x1833 -x1834 -x1835 -x1836 -x2194 -x2195 -x2196 -x2197 -x2546 -x2547 -x2548 -x2549 -x2895 -x2896 -x2897 -x2898 -x3261 -x3262 -x3263 -x3264 -x3629 -x3630 -x3631 -x3632 -x3977 -x3978 -x3979 -x4317 -x4318 -x4319 -x4320 -x4675 -x4676 -x4677 -x4678 -x5049 -x5050 -x5051 -x5052 -x5401 -x5402 -x5403 -x5756 -x5757 -x5758 -x5759 -x6106 -x6107 -x6108 -x6109 -x6461 -x6462 -x6463 -x6808 -x6809 -x6810 -x6811 -x7174 -x7175 -x7176 -x7177 -x7533 -x7534 -x7535 -x7536 -x7882 -x7883 -x7884 -x7885 -x8241 -x8242 -x8243 -x8338 -x8339 -x8340 -x8341 -x8377 -x8378 -x8379 -x8413 -x8414 -x8415 -x8447 -x8448 -x8449 -x8450 -x8482 -x8483 -x8484 -x8485 -x8516 -x8517 -x8518 -x8519 -x8552 -x8553 -x8554 -x8555 -x8585 -x8586 -x8587 -x8588 -x8620 -x8621 -x8622 -x8651 -x8652 -x8653 -x8654 -x8691 -x8692 -x8693 -x8726 -x8727 -x8728 -x8766 -x8767 -x8768 -x8769 -x8804 -x8805 x8806 -x8807 -x8836 -x8837 -x8838 -x8839 -x8871 -x8872 -x8873 -x8911 -x8912 -x8913 x8914 -x8947 -x8948 -x8949 -x8985 -x8986 -x8987 -x8988 -x9020 x9021 -x9022 -x9023 -x9053 -x9054 -x9055 -x9089 -x9090 -x9091 -x9123 -x9124 -x9125 -x9158 -x9159 -x9160 -x9161 -x9195 -x9196 x9197 -x9198 -x9227 -x9228 -x9229 -x9230 -x9264 -x9265 -x9266 -x9303 -x9304 -x9305 -x9341 -x9342 -x9343 -x9381 -x9382 -x9383 -x9414 -x9415 -x9416 -x9454 -x9455 -x9456 -x9457 -x9490 -x9491 -x9492 -x9528 -x9529 -x9530 -x9531 -x9566 -x9567 -x9568 -x9569 -x9600 -x9601 -x9602 -x9603 -x9639 -x9640 -x9641 -x9676 -x9677 -x9678 -x9679 -x9713 -x9714 -x9715 -x9716 -x9747 -x9748 -x9749 -x9782 -x9783 -x9784 -x9819 x9820 -x9821 -x9822 -x9855 -x9856 -x9857 -x9858 -x9890 -x9891 -x9892 -x9893 -x9926 -x9927 -x9928 -x9929 -x9961 -x9962 -x9963 -x9998 -x9999 -x10000 -x10001 -x10033 -x10034 -x10035 -x10069 -x10070 -x10071 -x10103 -x10104 -x10105 -x10137 -x10138 -x10139 -x10171 -x10172 -x10173 -x10211 -x10212 -x10213 -x10251 -x10252 -x10253 x10285 -x10286 -x10287 -x10322 -x10323 -x10324 -x10365 -x10366 -x10367 -x10397 -x10398 -x10399 -x10436 -x10437 -x10438 -x10470 -x10471 -x10472 -x10473 -x10508 -x10509 -x10510 -x10511 -x10544 -x10545 -x10546 -x10580 -x10581 -x10582 -x10614 -x10615 -x10616 -x10646 -x10647 -x10648 -x10680 -x10681 -x10682 -x9 -x10 -x11 -x44 -x45 -x46 -x78 -x79 -x80 -x117 -x118 -x119 -x120 -x154 -x155 -x156 -x157 -x190 -x191 -x192 -x193 -x229 -x230 -x231 -x262 -x263 -x264 -x297 -x298 -x299 -x331 -x332 -x333 -x375 -x376 -x377 -x414 -x415 -x416 -x450 -x451 x452 -x486 -x487 -x520 -x521 -x522 -x552 -x553 -x554 -x586 -x587 x588 -x621 -x622 -x623 -x656 -x657 -x658 -x691 -x692 -x693 -x731 -x732 -x766 -x767 -x768 -x769 -x804 -x805 -x806 -x807 -x842 -x843 -x844 -x845 -x879 -x880 -x881 -x915 -x916 -x917 -x947 -x948 -x949 -x982 -x983 -x984 -x985 -x1015 -x1016 -x1017 -x1018 -x1049 -x1050 -x1051 -x1087 -x1088 -x1089 -x1090 -x1123 -x1124 -x1125 -x1126 -x1159 -x1160 -x1161 -x1162 -x1196 -x1197 -x1198 -x1233 -x1234 -x1235 -x1271 -x1272 -x1273 -x1310 -x1311 -x1312 -x1347 -x1348 -x1349 -x1384 -x1385 x1386 -x1387 -x1424 x1425 -x1426 -x1463 -x1464 -x1465 -x1499 -x1500 -x1501 -x1532 -x1533 -x1534 -x1535 -x1571 -x1572 -x1573 -x1574 -x1607 -x1608 -x1609 -x1610 -x1646 -x1647 -x1648 -x1683 -x1684 -x1685 -x1720 -x1721 -x1722 -x1723 -x1761 -x1762 -x1763 -x1795 -x1796 -x1797 -x1837 -x1838 -x1839 -x1873 -x1874 -x1909 -x1910 -x1911 -x1946 -x1947 -x1981 -x1982 -x2013 -x2014 -x2045 -x2046 -x2081 -x2082 -x2083 -x2116 -x2117 -x2118 -x2157 -x2158 -x2159 -x2160 -x2198 -x2199 -x2200 -x2201 -x2234 -x2235 -x2236 -x2237 -x2273 -x2274 -x2275 -x2276 -x2308 -x2309 -x2310 -x2344 -x2345 -x2374 -x2375 -x2376 -x2409 -x2410 x2411 -x2412 -x2445 -x2446 -x2447 -x2481 x2482 -x2483 -x2484 -x2514 -x2515 -x2516 -x2550 -x2551 -x2552 -x2585 -x2586 -x2617 -x2618 -x2619 x2620 -x2655 -x2656 -x2657 -x2685 -x2686 -x2687 -x2688 -x2721 -x2753 -x2754 -x2755 -x2791 -x2792 -x2823 -x2824 -x2825 -x2826 -x2859 -x2860 -x2861 -x2862 -x2899 -x2900 -x2901 -x2937 -x2938 -x2939 -x2969 -x2970 -x2971 -x3005 -x3006 -x3007 -x3042 -x3043 -x3044 -x3078 -x3079 -x3080 -x3081 -x3115 -x3116 -x3117 -x3151 -x3152 -x3153 -x3188 -x3189 -x3190 -x3225 -x3226 -x3227 -x3265 -x3266 -x3267 -x3268 -x3299 -x3300 -x3301 -x3302 -x3336 -x3337 -x3338 -x3370 -x3371 -x3372 -x3411 -x3412 -x3413 -x3443 -x3444 -x3445 -x3446 -x3479 -x3480 -x3481 -x3514 -x3515 -x3516 -x3549 -x3550 -x3551 -x3552 -x3587 -x3588 -x3589 -x3633 -x3634 -x3635 -x3665 -x3666 -x3667 -x3704 -x3705 -x3706 -x3707 -x3740 -x3741 -x3742 -x3743 -x3773 -x3774 -x3775 x3776 -x3807 -x3808 -x3809 -x3845 -x3846 -x3847 -x3877 -x3878 -x3879 -x3880 -x3913 -x3914 -x3915 -x3916 -x3943 -x3944 -x3945 -x3980 -x3981 -x3982 -x4012 -x4013 -x4014 -x4045 -x4046 -x4047 -x4077 -x4078 -x4079 -x4111 -x4112 -x4113 -x4149 -x4150 -x4151 -x4182 -x4183 -x4184 -x4217 -x4218 -x4219 -x4250 -x4251 -x4252 -x4284 x4285 -x4286 -x4321 -x4322 -x4323 -x4360 -x4361 -x4362 -x4396 -x4397 -x4398 -x4432 -x4433 -x4434 -x4465 -x4466 -x4467 -x4468 -x4500 -x4501 -x4532 -x4533 -x4565 -x4566 -x4567 -x4601 x4602 -x4603 -x4640 -x4641 -x4642 -x4679 -x4680 -x4681 -x4711 -x4712 -x4713 -x4714 -x4749 -x4750 -x4751 -x4752 -x4788 -x4789 -x4790 -x4791 -x4827 -x4828 -x4829 -x4830 -x4864 -x4865 -x4866 -x4901 -x4902 -x4903 -x4904 -x4940 -x4941 -x4942 -x4977 -x4978 -x4979 -x4980 -x5013 -x5014 -x5015 -x5016 -x5053 -x5054 -x5055 -x5056 -x5089 -x5090 -x5091 -x5122 -x5123 -x5124 -x5153 -x5154 -x5155 -x5188 -x5189 -x5190 -x5225 -x5226 -x5227 -x5259 -x5260 -x5261 -x5262 -x5295 -x5296 -x5297 -x5332 -x5333 -x5334 -x5365 -x5366 -x5367 -x5404 -x5405 -x5406 -x5439 -x5440 -x5441 -x5475 -x5476 -x5477 -x5478 -x5510 -x5511 -x5512 -x5513 -x5549 -x5550 -x5551 -x5552 -x5584 -x5585 -x5586 -x5621 -x5622 -x5623 -x5654 -x5655 -x5656 -x5687 -x5688 -x5689 -x5722 -x5723 -x5760 -x5761 -x5762 -x5763 -x5792 -x5793 -x5794 -x5831 -x5832 -x5833 -x5867 -x5868 -x5869 -x5901 -x5902 -x5903 -x5937 -x5938 -x5939 -x5940 -x5973 -x5974 -x5975 -x5976 -x6005 -x6006 -x6007 -x6008 -x6042 -x6043 -x6044 x6045 -x6073 -x6074 -x6075 -x6076 -x6110 -x6111 -x6112 -x6113 -x6146 -x6147 -x6148 -x6149 -x6179 -x6180 -x6181 -x6215 -x6216 -x6217 -x6218 -x6246 -x6247 -x6248 -x6249 -x6281 -x6282 -x6283 -x6284 x6319 -x6320 -x6321 -x6322 -x6357 -x6358 -x6359 -x6394 -x6395 -x6396 -x6428 -x6429 -x6430 -x6464 -x6465 -x6466 -x6497 -x6498 x6499 -x6532 -x6533 -x6534 -x6566 -x6567 -x6568 -x6569 -x6604 -x6605 -x6606 -x6607 -x6640 -x6641 -x6642 -x6672 -x6673 -x6674 -x6706 -x6707 -x6708 -x6740 -x6741 -x6742 -x6773 -x6774 -x6775 -x6812 -x6813 -x6814 -x6845 -x6846 -x6847 -x6878 -x6879 -x6880 -x6917 -x6918 -x6919 -x6954 -x6955 -x6956 -x6984 -x6985 -x6986 -x7022 -x7023 -x7024 -x7064 -x7065 -x7066 -x7100 -x7101 -x7102 -x7132 -x7133 x7134 x7178 -x7179 -x7180 -x7218 -x7219 -x7220 -x7253 -x7254 -x7287 -x7288 -x7289 -x7322 -x7323 -x7356 x7357 -x7394 -x7395 -x7427 -x7428 -x7429 x7464 -x7465 -x7466 -x7502 -x7503 -x7504 -x7537 -x7538 -x7539 -x7572 -x7573 -x7574 -x7604 -x7605 -x7606 -x7639 -x7640 -x7641 -x7672 -x7673 -x7674 -x7706 -x7707 -x7708 -x7739 -x7740 -x7741 -x7774 -x7775 -x7776 -x7809 x7810 -x7811 -x7846 -x7847 -x7848 -x7849 -x7886 x7887 -x7888 -x7889 -x7922 -x7923 -x7924 -x7957 -x7958 -x7959 -x7989 -x7990 -x7991 -x8022 -x8023 -x8024 -x8060 -x8061 -x8062 -x8063 -x8099 -x8100 -x8101 -x8102 -x8133 -x8134 -x8135 -x8170 -x8171 -x8205 -x8206 -x8207 -x8244 -x8245 -x8246 -x8278 -x8279 -x8312 -x8313 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 x9223 -x9224 -x9225 -x9226 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9344 x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320
183.24/183.48	c Total CPU time: 181.036 s

Verifier Data 

OK	-224

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 13155
/proc/meminfo: memFree=1587596/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=3368 CPUtime=0
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 337 0 0 0 0 0 0 0 16 0 1 0 11254404 3448832 255 1992294400 134512640 135751879 4288786848 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 842 255 136 303 0 381 0

[startup+0.098555 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 13155
/proc/meminfo: memFree=1587596/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=6548 CPUtime=0.09
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 1210 0 0 0 9 0 0 0 16 0 1 0 11254404 6705152 1128 1992294400 134512640 135751879 4288786848 18446744073709551615 135118756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 1637 1128 267 303 0 1176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6548

[startup+0.100556 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 13155
/proc/meminfo: memFree=1587596/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=6548 CPUtime=0.09
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 1223 0 0 0 9 0 0 0 16 0 1 0 11254404 6705152 1141 1992294400 134512640 135751879 4288786848 18446744073709551615 135205094 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 1637 1141 270 303 0 1176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6548

[startup+0.300597 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 13155
/proc/meminfo: memFree=1587596/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=6784 CPUtime=0.29
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 1752 0 0 0 28 1 0 0 17 0 1 0 11254404 6946816 1200 1992294400 134512640 135751879 4288786848 18446744073709551615 134639015 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 1696 1200 146 303 0 1391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6784

[startup+0.700683 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 13155
/proc/meminfo: memFree=1587596/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=7444 CPUtime=0.68
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 1926 0 0 0 66 2 0 0 17 0 1 0 11254404 7622656 1374 1992294400 134512640 135751879 4288786848 18446744073709551615 134639004 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 1861 1374 146 303 0 1556 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7444

[startup+1.50085 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13156
/proc/meminfo: memFree=1582380/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=8656 CPUtime=1.48
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 2238 0 0 0 142 6 0 0 18 0 1 0 11254404 8863744 1686 1992294400 134512640 135751879 4288786848 18446744073709551615 134639073 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 2164 1686 146 303 0 1859 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8656

[startup+3.10119 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13156
/proc/meminfo: memFree=1580768/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=10384 CPUtime=3.08
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 2679 0 0 0 297 11 0 0 21 0 1 0 11254404 10633216 2127 1992294400 134512640 135751879 4288786848 18446744073709551615 134639052 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 2596 2127 146 303 0 2291 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10384

[startup+6.30087 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13156
/proc/meminfo: memFree=1576428/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=14072 CPUtime=6.28
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 3571 0 0 0 606 22 0 0 25 0 1 0 11254404 14409728 3019 1992294400 134512640 135751879 4288786848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 3518 3019 146 303 0 3213 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14072

[startup+12.7012 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13156
/proc/meminfo: memFree=1571096/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=18920 CPUtime=12.67
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 4799 0 0 0 1227 40 0 0 25 0 1 0 11254404 19374080 4247 1992294400 134512640 135751879 4288786848 18446744073709551615 134638998 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 4730 4247 146 303 0 4425 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18920

[startup+25.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13156
/proc/meminfo: memFree=1562292/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=27516 CPUtime=25.46
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 6942 0 0 0 2478 68 0 0 25 0 1 0 11254404 28176384 6390 1992294400 134512640 135751879 4288786848 18446744073709551615 134639052 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 6879 6390 146 303 0 6574 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27516

[startup+51.1004 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13158
/proc/meminfo: memFree=1551504/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=38436 CPUtime=51.02
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 9668 0 0 0 4994 108 0 0 25 0 1 0 11254404 39358464 9116 1992294400 134512640 135751879 4288786848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 9609 9116 146 303 0 9304 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 38436

[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13158
/proc/meminfo: memFree=1536376/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=53024 CPUtime=102.2
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 13316 0 0 0 10055 165 0 0 25 0 1 0 11254404 54296576 12764 1992294400 134512640 135751879 4288786848 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 13256 12764 146 303 0 12951 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 53024

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13160
/proc/meminfo: memFree=1525588/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=63672 CPUtime=162.16
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 15974 0 0 0 15999 217 0 0 25 0 1 0 11254404 65200128 15422 1992294400 134512640 135751879 4288786848 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 15918 15422 146 303 0 15613 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 63672

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13160
/proc/meminfo: memFree=1525092/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=64068 CPUtime=166.15
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 16099 0 0 0 16396 219 0 0 25 0 1 0 11254404 65605632 15547 1992294400 134512640 135751879 4288786848 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 16017 15547 146 303 0 15712 0
Current children cumulated CPU time (s) 166.15
Current children cumulated vsize (KiB) 64068

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13160
/proc/meminfo: memFree=1524100/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=65176 CPUtime=172.56
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 16350 0 0 0 17033 223 0 0 25 0 1 0 11254404 66740224 15798 1992294400 134512640 135751879 4288786848 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 16294 15798 146 303 0 15989 0
Current children cumulated CPU time (s) 172.56
Current children cumulated vsize (KiB) 65176

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13160
/proc/meminfo: memFree=1523356/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=65996 CPUtime=178.95
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 16552 0 0 0 17669 226 0 0 25 0 1 0 11254404 67579904 16000 1992294400 134512640 135751879 4288786848 18446744073709551615 134639067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 16499 16000 146 303 0 16194 0
Current children cumulated CPU time (s) 178.95
Current children cumulated vsize (KiB) 65996

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13162
/proc/meminfo: memFree=1523108/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=66128 CPUtime=180.54
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 16602 0 0 0 17827 227 0 0 25 0 1 0 11254404 67715072 16050 1992294400 134512640 135751879 4288786848 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 16532 16050 146 303 0 16227 0
Current children cumulated CPU time (s) 180.54
Current children cumulated vsize (KiB) 66128

[startup+182.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13162
/proc/meminfo: memFree=1522860/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=66420 CPUtime=182.14
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 16664 0 0 0 17986 228 0 0 25 0 1 0 11254404 68014080 16112 1992294400 134512640 135751879 4288786848 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 16605 16112 146 303 0 16300 0
Current children cumulated CPU time (s) 182.14
Current children cumulated vsize (KiB) 66420

[startup+183.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13162
/proc/meminfo: memFree=1522860/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=83680 CPUtime=182.94
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 20919 0 0 0 18065 229 0 0 25 0 1 0 11254404 85688320 20367 1992294400 134512640 135751879 4288786848 18446744073709551615 134549914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 20920 20367 146 303 0 20615 0
Current children cumulated CPU time (s) 182.94
Current children cumulated vsize (KiB) 83680

[startup+183.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13162
/proc/meminfo: memFree=1522860/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=86192 CPUtime=183.14
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 21569 0 0 0 18085 229 0 0 25 0 1 0 11254404 88260608 21017 1992294400 134512640 135751879 4288786848 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 21548 21017 147 303 0 21243 0
Current children cumulated CPU time (s) 183.14
Current children cumulated vsize (KiB) 86192

[startup+183.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13162
/proc/meminfo: memFree=1522860/2059040 swapFree=4192956/4192956
[pid=13155] ppid=13153 vsize=86192 CPUtime=183.24
/proc/13155/stat : 13155 (wbo1.4b) R 13153 13155 12744 0 -1 4202496 21569 0 0 0 18095 229 0 0 25 0 1 0 11254404 88260608 21017 1992294400 134512640 135751879 4288786848 18446744073709551615 135200225 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13155/statm: 21548 21017 147 303 0 21243 0
Current children cumulated CPU time (s) 183.24
Current children cumulated vsize (KiB) 86192

Child status: 0
Real time (s): 183.494
CPU time (s): 183.346
CPU user time (s): 181.036
CPU system time (s): 2.30965
CPU usage (%): 99.9192
Max. virtual memory (cumulated for all children) (KiB): 86192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.036
system time used= 2.30965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21570
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= 4
involuntary context switches= 2833

runsolver used 0.334949 second user time and 0.904862 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-12 17:28:48
IDJOB=2655987
IDBENCH=1869
IDSOLVER=1161
FILE ID=node010/2655987-1276356528
PBS_JOBID= 11173203
Free space on /tmp= 62500 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655987-1276356528/watcher-2655987-1276356528 -o /tmp/evaluation-result-2655987-1276356528/solver-2655987-1276356528 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655987-1276356528.opb

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

MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709
RANDOM SEED=1925648915

node010.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.267
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.53
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.267
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1588248 kB
Buffers:        121152 kB
Cached:         219804 kB
SwapCached:          0 kB
Active:         154148 kB
Inactive:       245992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1588248 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:       59276 kB
Mapped:          15392 kB
Slab:            48940 kB
PageTables:       3916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62496 MiB
End job on node010 at 2010-06-12 17:31:51