Trace number 4455142

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
RoundingSat nolog (2)SAT (TO)335 3600.07 3609.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark220
Best CPU time to get the best result obtained on this benchmark3558.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
1.58/1.64	c #variables 10000 #constraints 656900
3.57/3.64	c bounds - >= 0 @ 1.15615
3.57/3.64	c rational objective 160.199
34.31/34.49	c bounds 6672 >= 0 @ 6.92895
34.31/34.49	c bounds 6653 >= 0 @ 6.93492
34.31/34.49	c bounds 6281 >= 0 @ 6.93867
34.31/34.49	c bounds 6185 >= 0 @ 6.94574
34.31/34.49	c bounds 6100 >= 0 @ 6.94967
34.31/34.49	c bounds 6097 >= 0 @ 6.95598
34.31/34.49	c bounds 5958 >= 0 @ 6.96009
34.31/34.49	c bounds 5892 >= 0 @ 6.96527
34.31/34.49	c bounds 5781 >= 0 @ 6.97224
34.31/34.49	c bounds 5769 >= 0 @ 6.97871
34.31/34.49	c bounds 5763 >= 0 @ 6.98205
34.31/34.49	c bounds 5728 >= 0 @ 6.98559
34.31/34.49	c bounds 5673 >= 0 @ 6.98901
34.31/34.49	c bounds 5637 >= 0 @ 6.99348
34.31/34.49	c bounds 5536 >= 0 @ 6.99692
34.31/34.49	c bounds 5381 >= 0 @ 7.00061
34.31/34.49	c bounds 5379 >= 0 @ 7.00418
34.31/34.49	c bounds 5378 >= 0 @ 7.00956
34.31/34.49	c bounds 5371 >= 0 @ 7.01598
34.31/34.49	c bounds 5253 >= 0 @ 7.02035
34.31/34.49	c bounds 5174 >= 0 @ 7.02377
34.31/34.49	c bounds 5096 >= 0 @ 7.02723
34.31/34.49	c bounds 5019 >= 0 @ 7.03167
34.31/34.49	c bounds 4958 >= 0 @ 7.03446
34.31/34.49	c bounds 4926 >= 0 @ 7.03818
34.31/34.49	c bounds 4772 >= 0 @ 7.04127
34.31/34.49	c bounds 4684 >= 0 @ 7.04525
34.31/34.49	c bounds 4641 >= 0 @ 7.0602
34.31/34.49	c bounds 4546 >= 0 @ 7.06289
34.31/34.49	c bounds 4503 >= 0 @ 7.06864
34.31/34.49	c bounds 4482 >= 0 @ 7.07595
34.31/34.49	c bounds 4440 >= 0 @ 7.08246
34.31/34.49	c bounds 4330 >= 0 @ 7.08677
34.31/34.49	c bounds 4325 >= 0 @ 7.09195
34.31/34.49	c bounds 4225 >= 0 @ 7.09648
34.31/34.49	c bounds 4161 >= 0 @ 7.10123
34.31/34.49	c bounds 4126 >= 0 @ 7.1081
34.31/34.49	c bounds 4049 >= 0 @ 7.11304
34.31/34.49	c bounds 3978 >= 0 @ 7.11932
34.31/34.49	c bounds 3918 >= 0 @ 7.12353
34.31/34.49	c bounds 3885 >= 0 @ 7.12765
34.31/34.49	c bounds 3859 >= 0 @ 7.13295
34.31/34.49	c bounds 3673 >= 0 @ 7.1377
34.31/34.49	c bounds 3649 >= 0 @ 7.14962
34.31/34.49	c bounds 3546 >= 0 @ 7.15581
34.31/34.49	c bounds 3542 >= 0 @ 7.16235
34.31/34.49	c bounds 3511 >= 0 @ 7.17221
34.31/34.49	c bounds 3461 >= 0 @ 7.17528
34.31/34.49	c bounds 3456 >= 0 @ 7.18395
34.31/34.49	c bounds 3242 >= 0 @ 7.18948
34.31/34.49	c bounds 3168 >= 0 @ 7.19396
34.31/34.49	c bounds 3120 >= 0 @ 7.20807
34.31/34.49	c bounds 3014 >= 0 @ 7.21245
34.31/34.49	c bounds 2965 >= 0 @ 7.21902
34.31/34.49	c bounds 2895 >= 0 @ 7.22354
34.31/34.49	c bounds 2880 >= 0 @ 7.22642
34.31/34.49	c bounds 2818 >= 0 @ 7.23213
34.31/34.49	c bounds 2798 >= 0 @ 7.23787
34.31/34.49	c bounds 2660 >= 0 @ 7.2712
34.31/34.49	c bounds 2657 >= 0 @ 7.27505
34.31/34.49	c bounds 2646 >= 0 @ 7.27833
34.31/34.49	c bounds 2629 >= 0 @ 7.28399
34.31/34.49	c bounds 2594 >= 0 @ 7.2912
34.31/34.49	c bounds 2593 >= 0 @ 7.29606
34.31/34.49	c bounds 2583 >= 0 @ 7.30428
34.31/34.49	c bounds 2572 >= 0 @ 7.30998
34.31/34.49	c bounds 2537 >= 0 @ 7.31606
34.31/34.49	c bounds 2521 >= 0 @ 7.32492
34.31/34.49	c bounds 2479 >= 0 @ 7.32977
34.31/34.49	c bounds 2441 >= 0 @ 7.33402
34.31/34.49	c bounds 2430 >= 0 @ 7.34055
34.31/34.49	c bounds 2393 >= 0 @ 7.34829
34.31/34.49	c bounds 2328 >= 0 @ 7.36111
34.31/34.49	c bounds 2295 >= 0 @ 7.36933
34.31/34.49	c bounds 2142 >= 0 @ 7.37825
34.31/34.49	c bounds 2121 >= 0 @ 7.38305
34.31/34.49	c bounds 2112 >= 0 @ 7.39274
34.31/34.49	c bounds 2108 >= 0 @ 7.40031
34.31/34.49	c bounds 2006 >= 0 @ 7.40793
34.31/34.49	c bounds 1989 >= 0 @ 7.44778
34.31/34.49	c bounds 1972 >= 0 @ 7.45355
34.31/34.49	c bounds 1968 >= 0 @ 7.63773
34.31/34.49	c bounds 1945 >= 0 @ 7.72899
34.31/34.49	c bounds 1932 >= 0 @ 7.73757
34.31/34.49	c bounds 1834 >= 0 @ 7.74872
34.31/34.49	c bounds 1826 >= 0 @ 7.87748
34.31/34.49	c bounds 1670 >= 0 @ 7.88483
34.31/34.49	c bounds 1634 >= 0 @ 7.89067
34.31/34.49	c bounds 1627 >= 0 @ 7.99753
34.31/34.49	c bounds 1610 >= 0 @ 8.00646
34.31/34.49	c bounds 1605 >= 0 @ 8.03274
34.31/34.49	c bounds 1604 >= 0 @ 8.03953
34.31/34.49	c bounds 1572 >= 0 @ 8.04621
34.31/34.49	c bounds 1479 >= 0 @ 8.05296
34.31/34.49	c bounds 1430 >= 0 @ 8.06277
34.31/34.49	c bounds 1413 >= 0 @ 8.08148
34.31/34.49	c #Conflicts:       1000 | #Constraints:     658000
34.31/34.49	c bounds 1387 >= 0 @ 8.42877
34.31/34.49	c bounds 1370 >= 0 @ 8.43837
34.31/34.49	c bounds 1352 >= 0 @ 8.5702
34.31/34.49	c bounds 1341 >= 0 @ 8.81275
34.31/34.49	c bounds 1261 >= 0 @ 8.82073
34.31/34.49	c bounds 1253 >= 0 @ 8.8335
34.31/34.49	c bounds 1220 >= 0 @ 8.84183
34.31/34.49	c bounds 1148 >= 0 @ 8.97308
34.31/34.49	c bounds 1133 >= 0 @ 9.01895
34.31/34.49	c bounds 979 >= 0 @ 9.03613
34.31/34.49	c bounds 963 >= 0 @ 9.07695
34.31/34.49	c bounds 897 >= 0 @ 9.08286
34.31/34.49	c bounds 891 >= 0 @ 9.09811
34.31/34.49	c bounds 851 >= 0 @ 9.19321
34.31/34.49	c bounds 850 >= 0 @ 9.20079
34.31/34.49	c bounds 847 >= 0 @ 9.20735
34.31/34.49	c bounds 846 >= 0 @ 9.21197
34.31/34.49	c bounds 827 >= 0 @ 9.42348
34.31/34.49	c bounds 826 >= 0 @ 9.63341
34.31/34.49	c bounds 689 >= 0 @ 9.81694
34.31/34.49	c #Conflicts:       2000 | #Constraints:     659023
34.31/34.49	c INPROCESSING
34.31/34.49	c GARBAGE COLLECT
34.31/34.49	c bounds 686 >= 0 @ 10.9262
34.31/34.49	c bounds 678 >= 0 @ 10.9323
34.31/34.49	c bounds 671 >= 0 @ 11.0409
34.31/34.49	c bounds 597 >= 0 @ 11.8558
34.31/34.49	c bounds 594 >= 0 @ 11.8658
34.31/34.49	c #Conflicts:       3000 | #Constraints:     658918
34.31/34.49	c bounds 587 >= 0 @ 17.8221
34.31/34.49	c #Conflicts:       4000 | #Constraints:     659938
34.31/34.49	c INPROCESSING
34.31/34.49	c GARBAGE COLLECT
34.31/34.49	c bounds 554 >= 0 @ 20.3259
34.31/34.49	c bounds 503 >= 0 @ 21.3295
34.31/34.49	c #Conflicts:       5000 | #Constraints:     659331
34.31/34.49	c #Conflicts:       6000 | #Constraints:     660331
34.31/34.49	c INPROCESSING
34.31/34.49	c GARBAGE COLLECT
34.31/34.49	c #Conflicts:       7000 | #Constraints:     659328
34.31/34.49	c #Conflicts:       8000 | #Constraints:     660328
34.31/34.49	c #Conflicts:       9000 | #Constraints:     661328
39.29/39.41	c INPROCESSING
39.29/39.41	c GARBAGE COLLECT
39.29/39.41	c rational objective 160.956
53.46/53.63	c #Conflicts:      10000 | #Constraints:     660027
53.46/53.63	c #Conflicts:      11000 | #Constraints:     661027
53.46/53.63	c #Conflicts:      12000 | #Constraints:     662027
53.46/53.63	c INPROCESSING
53.46/53.63	c GARBAGE COLLECT
53.46/53.63	c rational objective 161.86
76.51/76.78	c bounds 499 >= 0 @ 54.7331
76.51/76.78	c bounds 498 >= 0 @ 57.4584
76.51/76.78	c #Conflicts:      13000 | #Constraints:     660496
76.51/76.78	c #Conflicts:      14000 | #Constraints:     661496
76.51/76.78	c #Conflicts:      15000 | #Constraints:     662496
76.51/76.78	c INPROCESSING
76.51/76.78	c GARBAGE COLLECT
76.51/76.78	c #Conflicts:      16000 | #Constraints:     660714
76.51/76.78	c #Conflicts:      17000 | #Constraints:     661714
76.51/76.78	c #Conflicts:      18000 | #Constraints:     662714
76.51/76.78	c INPROCESSING
76.51/76.78	c GARBAGE COLLECT
76.51/76.78	c rational objective 162.3
93.77/94.04	c bounds 493 >= 0 @ 78.5787
93.77/94.04	c bounds 489 >= 0 @ 80.4972
93.77/94.04	c bounds 489 >= 6 @ 80.51
93.77/94.04	c #Conflicts:      19000 | #Constraints:     660743
93.77/94.04	c #Conflicts:      20000 | #Constraints:     661743
93.77/94.04	c #Conflicts:      21000 | #Constraints:     662743
93.77/94.04	c INPROCESSING
93.77/94.04	c GARBAGE COLLECT
93.77/94.04	c rational objective 162.359
147.24/147.64	c bounds 487 >= 6 @ 95.5465
147.24/147.64	c bounds 481 >= 6 @ 95.5803
147.24/147.64	c bounds 479 >= 6 @ 95.6192
147.24/147.64	c #Conflicts:      22000 | #Constraints:     660544
147.24/147.64	c bounds 476 >= 6 @ 97.1742
147.24/147.64	c #Conflicts:      23000 | #Constraints:     661547
147.24/147.64	c #Conflicts:      24000 | #Constraints:     662547
147.24/147.64	c #Conflicts:      25000 | #Constraints:     663547
147.24/147.64	c INPROCESSING
147.24/147.64	c GARBAGE COLLECT
147.24/147.64	c bounds 472 >= 6 @ 108.54
147.24/147.64	c bounds 472 >= 10 @ 108.557
147.24/147.64	c bounds 472 >= 14 @ 108.571
147.24/147.64	c bounds 472 >= 18 @ 108.611
147.24/147.64	c bounds 472 >= 22 @ 109.067
147.24/147.64	c #Conflicts:      26000 | #Constraints:     661182
147.24/147.64	c #Conflicts:      27000 | #Constraints:     662182
147.24/147.64	c #Conflicts:      28000 | #Constraints:     663183
147.24/147.64	c bounds 472 >= 26 @ 131.901
147.24/147.64	c bounds 470 >= 26 @ 132.019
147.24/147.64	c bounds 469 >= 26 @ 132.308
147.24/147.64	c bounds 467 >= 26 @ 134.364
147.24/147.64	c bounds 462 >= 26 @ 134.526
147.24/147.64	c bounds 460 >= 26 @ 135.622
147.24/147.64	c bounds 457 >= 26 @ 135.733
147.24/147.64	c bounds 456 >= 26 @ 135.874
147.24/147.64	c bounds 453 >= 26 @ 135.998
147.24/147.64	c bounds 452 >= 26 @ 136.108
147.24/147.64	c #Conflicts:      29000 | #Constraints:     664206
147.24/147.64	c INPROCESSING
147.24/147.64	c GARBAGE COLLECT
147.24/147.64	c rational objective 162.401
189.33/189.81	c bounds 447 >= 26 @ 147.571
189.33/189.81	c bounds 446 >= 26 @ 147.631
189.33/189.81	c bounds 442 >= 26 @ 147.659
189.33/189.81	c bounds 438 >= 26 @ 148.339
189.33/189.81	c bounds 436 >= 26 @ 148.358
189.33/189.81	c bounds 433 >= 26 @ 148.86
189.33/189.81	c bounds 431 >= 26 @ 149.21
189.33/189.81	c bounds 429 >= 26 @ 149.244
189.33/189.81	c bounds 428 >= 26 @ 149.647
189.33/189.81	c bounds 425 >= 26 @ 150.754
189.33/189.81	c bounds 424 >= 26 @ 150.963
189.33/189.81	c bounds 423 >= 26 @ 151.18
189.33/189.81	c bounds 421 >= 26 @ 151.487
189.33/189.81	c bounds 415 >= 26 @ 151.522
189.33/189.81	c bounds 414 >= 26 @ 154.696
189.33/189.81	c bounds 412 >= 26 @ 154.73
189.33/189.81	c #Conflicts:      30000 | #Constraints:     661599
189.33/189.81	c bounds 410 >= 26 @ 155.647
189.33/189.81	c bounds 408 >= 26 @ 157.94
189.33/189.81	c bounds 404 >= 26 @ 159.822
189.33/189.81	c bounds 403 >= 26 @ 160.376
189.33/189.81	c bounds 399 >= 26 @ 162.532
189.33/189.81	c #Conflicts:      31000 | #Constraints:     662623
189.33/189.81	c bounds 397 >= 26 @ 163.829
189.33/189.81	c bounds 396 >= 26 @ 163.873
189.33/189.81	c bounds 395 >= 26 @ 164.178
189.33/189.81	c bounds 390 >= 26 @ 164.578
189.33/189.81	c bounds 384 >= 26 @ 164.705
189.33/189.81	c bounds 381 >= 26 @ 164.872
189.33/189.81	c bounds 379 >= 26 @ 165.317
189.33/189.81	c bounds 377 >= 26 @ 165.361
189.33/189.81	c #Conflicts:      32000 | #Constraints:     663640
189.33/189.81	c #Conflicts:      33000 | #Constraints:     664640
189.33/189.81	c INPROCESSING
189.33/189.81	c GARBAGE COLLECT
189.33/189.81	c rational objective 162.65
281.39/282.19	c bounds 376 >= 26 @ 189.813
281.39/282.19	c #Conflicts:      34000 | #Constraints:     661819
281.39/282.19	c #Conflicts:      35000 | #Constraints:     662831
281.39/282.19	c bounds 366 >= 26 @ 210.483
281.39/282.19	c bounds 366 >= 29 @ 210.529
281.39/282.19	c bounds 366 >= 32 @ 210.637
281.39/282.19	c bounds 366 >= 35 @ 212.364
281.39/282.19	c #Conflicts:      36000 | #Constraints:     663852
281.39/282.19	c #Conflicts:      37000 | #Constraints:     664854
281.39/282.19	c INPROCESSING
281.39/282.19	c GARBAGE COLLECT
281.39/282.19	c #Conflicts:      38000 | #Constraints:     661824
281.39/282.19	c #Conflicts:      39000 | #Constraints:     662825
281.39/282.19	c #Conflicts:      40000 | #Constraints:     663825
281.39/282.19	c #Conflicts:      41000 | #Constraints:     664825
281.39/282.19	c INPROCESSING
281.39/282.19	c rational objective 162.726
327.77/328.63	c #Conflicts:      42000 | #Constraints:     661620
327.77/328.63	c #Conflicts:      43000 | #Constraints:     662645
327.77/328.63	c #Conflicts:      44000 | #Constraints:     663742
327.77/328.63	c #Conflicts:      45000 | #Constraints:     664778
327.77/328.63	c #Conflicts:      46000 | #Constraints:     665780
327.77/328.63	c INPROCESSING
327.77/328.63	c GARBAGE COLLECT
327.77/328.63	c #Conflicts:      47000 | #Constraints:     662288
327.77/328.63	c #Conflicts:      48000 | #Constraints:     663291
327.77/328.63	c #Conflicts:      49000 | #Constraints:     664328
327.77/328.63	c #Conflicts:      50000 | #Constraints:     665330
327.77/328.63	c #Conflicts:      51000 | #Constraints:     666330
327.77/328.63	c INPROCESSING
327.77/328.63	c rational objective 162.869
426.60/427.75	c #Conflicts:      52000 | #Constraints:     662671
426.60/427.75	c #Conflicts:      53000 | #Constraints:     663673
426.60/427.75	c #Conflicts:      54000 | #Constraints:     664674
426.60/427.75	c #Conflicts:      55000 | #Constraints:     665674
426.60/427.75	c #Conflicts:      56000 | #Constraints:     666682
426.60/427.75	c INPROCESSING
426.60/427.75	c GARBAGE COLLECT
426.60/427.75	c bounds 358 >= 35 @ 360.108
426.60/427.75	c bounds 356 >= 35 @ 360.685
426.60/427.75	c bounds 355 >= 35 @ 361.326
426.60/427.75	c #Conflicts:      57000 | #Constraints:     662867
426.60/427.75	c bounds 352 >= 35 @ 378.267
426.60/427.75	c bounds 352 >= 37 @ 378.336
426.60/427.75	c #Conflicts:      58000 | #Constraints:     664003
426.60/427.75	c #Conflicts:      59000 | #Constraints:     665004
426.60/427.75	c #Conflicts:      60000 | #Constraints:     666005
426.60/427.75	c #Conflicts:      61000 | #Constraints:     667011
426.60/427.75	c INPROCESSING
426.60/427.75	c GARBAGE COLLECT
426.60/427.75	c rational objective 162.873
501.00/502.38	c #Conflicts:      62000 | #Constraints:     662966
501.00/502.38	c #Conflicts:      63000 | #Constraints:     664038
501.00/502.38	c #Conflicts:      64000 | #Constraints:     665049
501.00/502.38	c #Conflicts:      65000 | #Constraints:     666071
501.00/502.38	c bounds 351 >= 37 @ 481.946
501.00/502.38	c bounds 351 >= 38 @ 481.995
501.00/502.38	c bounds 351 >= 39 @ 482.039
501.00/502.38	c bounds 351 >= 40 @ 482.087
501.00/502.38	c bounds 351 >= 41 @ 482.139
501.00/502.38	c bounds 351 >= 42 @ 482.196
501.00/502.38	c bounds 351 >= 43 @ 482.245
501.00/502.38	c bounds 351 >= 44 @ 482.302
501.00/502.38	c bounds 351 >= 45 @ 482.355
501.00/502.38	c bounds 351 >= 46 @ 482.411
501.00/502.38	c bounds 351 >= 47 @ 482.461
501.00/502.38	c bounds 351 >= 48 @ 482.518
501.00/502.38	c bounds 351 >= 49 @ 482.573
501.00/502.38	c bounds 351 >= 50 @ 482.631
501.00/502.38	c bounds 351 >= 51 @ 482.694
501.00/502.38	c bounds 351 >= 52 @ 482.751
501.00/502.38	c bounds 351 >= 53 @ 482.805
501.00/502.38	c bounds 351 >= 54 @ 482.866
501.00/502.38	c bounds 351 >= 55 @ 482.924
501.00/502.38	c #Conflicts:      66000 | #Constraints:     667162
501.00/502.38	c bounds 351 >= 56 @ 484.908
501.00/502.38	c bounds 351 >= 57 @ 485.077
501.00/502.38	c bounds 351 >= 58 @ 485.262
501.00/502.38	c bounds 351 >= 59 @ 485.403
501.00/502.38	c bounds 351 >= 60 @ 485.612
501.00/502.38	c bounds 351 >= 61 @ 486.387
501.00/502.38	c bounds 351 >= 62 @ 487.309
501.00/502.38	c bounds 351 >= 63 @ 489.441
501.00/502.39	c INPROCESSING
501.00/502.39	c GARBAGE COLLECT
501.00/502.39	c rational objective 162.877
763.99/766.09	c bounds 351 >= 64 @ 500.265
763.99/766.09	c #Conflicts:      67000 | #Constraints:     662944
763.99/766.09	c bounds 351 >= 65 @ 506.894
763.99/766.09	c #Conflicts:      68000 | #Constraints:     663983
763.99/766.09	c bounds 351 >= 66 @ 510.788
763.99/766.09	c #Conflicts:      69000 | #Constraints:     665008
763.99/766.09	c #Conflicts:      70000 | #Constraints:     666008
763.99/766.09	c bounds 351 >= 67 @ 535.152
763.99/766.09	c #Conflicts:      71000 | #Constraints:     667044
763.99/766.09	c #Conflicts:      72000 | #Constraints:     668044
763.99/766.09	c INPROCESSING
763.99/766.09	c GARBAGE COLLECT
763.99/766.09	c #Conflicts:      73000 | #Constraints:     663584
763.99/766.09	c bounds 351 >= 68 @ 627.385
763.99/766.09	c #Conflicts:      74000 | #Constraints:     664608
763.99/766.09	c #Conflicts:      75000 | #Constraints:     665608
763.99/766.09	c bounds 351 >= 69 @ 637.324
763.99/766.09	c #Conflicts:      76000 | #Constraints:     666641
763.99/766.09	c #Conflicts:      77000 | #Constraints:     667641
763.99/766.09	c bounds 351 >= 70 @ 657.811
763.99/766.09	c #Conflicts:      78000 | #Constraints:     668662
763.99/766.09	c INPROCESSING
763.99/766.09	c GARBAGE COLLECT
763.99/766.09	c bounds 350 >= 70 @ 695.729
763.99/766.09	c #Conflicts:      79000 | #Constraints:     664034
763.99/766.09	c #Conflicts:      80000 | #Constraints:     665040
763.99/766.09	c #Conflicts:      81000 | #Constraints:     666058
763.99/766.09	c bounds 348 >= 70 @ 727.622
763.99/766.09	c #Conflicts:      82000 | #Constraints:     667066
763.99/766.09	c #Conflicts:      83000 | #Constraints:     668066
763.99/766.09	c #Conflicts:      84000 | #Constraints:     669066
763.99/766.09	c INPROCESSING
763.99/766.09	c GARBAGE COLLECT
763.99/766.09	c rational objective 162.881
1048.53/1051.39	c #Conflicts:      85000 | #Constraints:     664243
1048.53/1051.39	c bounds 348 >= 71 @ 766.531
1048.53/1051.39	c #Conflicts:      86000 | #Constraints:     665273
1048.53/1051.39	c #Conflicts:      87000 | #Constraints:     666273
1048.53/1051.39	c #Conflicts:      88000 | #Constraints:     667273
1048.53/1051.39	c #Conflicts:      89000 | #Constraints:     668273
1048.53/1051.39	c bounds 348 >= 72 @ 809.695
1048.53/1051.39	c #Conflicts:      90000 | #Constraints:     669303
1048.53/1051.39	c INPROCESSING
1048.53/1051.39	c GARBAGE COLLECT
1048.53/1051.39	c bounds 347 >= 72 @ 927.735
1048.53/1051.39	c #Conflicts:      91000 | #Constraints:     664276
1048.53/1051.39	c #Conflicts:      92000 | #Constraints:     665276
1048.53/1051.39	c #Conflicts:      93000 | #Constraints:     666276
1048.53/1051.39	c #Conflicts:      94000 | #Constraints:     667296
1048.53/1051.39	c #Conflicts:      95000 | #Constraints:     668309
1048.53/1051.39	c #Conflicts:      96000 | #Constraints:     669323
1048.53/1051.39	c INPROCESSING
1048.53/1051.39	c GARBAGE COLLECT
1048.53/1051.39	c rational objective 162.894
1239.90/1243.21	c #Conflicts:      97000 | #Constraints:     664096
1239.90/1243.21	c #Conflicts:      98000 | #Constraints:     665096
1239.90/1243.21	c #Conflicts:      99000 | #Constraints:     666096
1239.90/1243.21	c #Conflicts:     100000 | #Constraints:     667096
1239.90/1243.21	c #Conflicts:     101000 | #Constraints:     668096
1239.90/1243.21	c bounds 347 >= 73 @ 1087
1239.90/1243.21	c #Conflicts:     102000 | #Constraints:     669132
1239.90/1243.21	c #Conflicts:     103000 | #Constraints:     670132
1239.90/1243.21	c INPROCESSING
1239.90/1243.21	c GARBAGE COLLECT
1239.90/1243.21	c #Conflicts:     104000 | #Constraints:     664724
1239.90/1243.21	c #Conflicts:     105000 | #Constraints:     665724
1239.90/1243.21	c #Conflicts:     106000 | #Constraints:     666725
1239.90/1243.21	c #Conflicts:     107000 | #Constraints:     667725
1239.90/1243.21	c #Conflicts:     108000 | #Constraints:     668725
1239.90/1243.21	c #Conflicts:     109000 | #Constraints:     669725
1239.90/1243.21	c #Conflicts:     110000 | #Constraints:     670725
1239.90/1243.21	c INPROCESSING
1239.90/1243.21	c GARBAGE COLLECT
1239.90/1243.21	c rational objective 162.896
1320.38/1323.93	c #Conflicts:     111000 | #Constraints:     665126
1320.38/1323.93	c #Conflicts:     112000 | #Constraints:     666126
1320.38/1323.93	c bounds 347 >= 74 @ 1245.47
1320.38/1323.93	c #Conflicts:     113000 | #Constraints:     667165
1320.38/1323.93	c #Conflicts:     114000 | #Constraints:     668165
1320.38/1323.93	c #Conflicts:     115000 | #Constraints:     669166
1320.38/1323.93	c #Conflicts:     116000 | #Constraints:     670166
1320.38/1323.93	c #Conflicts:     117000 | #Constraints:     671166
1320.38/1323.93	c INPROCESSING
1320.38/1323.93	c GARBAGE COLLECT
1320.38/1323.93	c rational objective 162.896
1508.30/1512.39	c #Conflicts:     118000 | #Constraints:     665361
1508.30/1512.39	c #Conflicts:     119000 | #Constraints:     666361
1508.30/1512.39	c #Conflicts:     120000 | #Constraints:     667501
1508.30/1512.39	c #Conflicts:     121000 | #Constraints:     668638
1508.30/1512.39	c #Conflicts:     122000 | #Constraints:     669743
1508.30/1512.39	c #Conflicts:     123000 | #Constraints:     670776
1508.30/1512.39	c #Conflicts:     124000 | #Constraints:     671786
1508.30/1512.39	c INPROCESSING
1508.30/1512.39	c GARBAGE COLLECT
1508.30/1512.39	c #Conflicts:     125000 | #Constraints:     665558
1508.30/1512.39	c #Conflicts:     126000 | #Constraints:     666558
1508.30/1512.39	c #Conflicts:     127000 | #Constraints:     667558
1508.30/1512.39	c #Conflicts:     128000 | #Constraints:     668559
1508.30/1512.39	c #Conflicts:     129000 | #Constraints:     669560
1508.30/1512.39	c #Conflicts:     130000 | #Constraints:     670561
1508.30/1512.39	c #Conflicts:     131000 | #Constraints:     671561
1508.30/1512.39	c INPROCESSING
1508.30/1512.39	c GARBAGE COLLECT
1508.30/1512.39	c rational objective 162.896
1725.42/1730.02	c #Conflicts:     132000 | #Constraints:     665271
1725.42/1730.02	c #Conflicts:     133000 | #Constraints:     666271
1725.42/1730.02	c #Conflicts:     134000 | #Constraints:     667272
1725.42/1730.02	c #Conflicts:     135000 | #Constraints:     668272
1725.42/1730.02	c #Conflicts:     136000 | #Constraints:     669272
1725.42/1730.02	c #Conflicts:     137000 | #Constraints:     670272
1725.42/1730.02	c #Conflicts:     138000 | #Constraints:     671273
1725.42/1730.02	c bounds 347 >= 75 @ 1583.8
1725.42/1730.02	c #Conflicts:     139000 | #Constraints:     672309
1725.42/1730.02	c INPROCESSING
1725.42/1730.02	c GARBAGE COLLECT
1725.42/1730.02	c rational objective 162.896
1792.45/1797.29	c #Conflicts:     140000 | #Constraints:     665855
1792.45/1797.29	c #Conflicts:     141000 | #Constraints:     666855
1792.45/1797.29	c #Conflicts:     142000 | #Constraints:     667855
1792.45/1797.29	c #Conflicts:     143000 | #Constraints:     668855
1792.45/1797.29	c #Conflicts:     144000 | #Constraints:     669856
1792.45/1797.29	c #Conflicts:     145000 | #Constraints:     670856
1792.45/1797.29	c #Conflicts:     146000 | #Constraints:     671856
1792.45/1797.29	c #Conflicts:     147000 | #Constraints:     672857
1792.45/1797.29	c INPROCESSING
1792.45/1797.29	c GARBAGE COLLECT
1792.45/1797.29	c rational objective 162.896
2257.20/2263.21	c #Conflicts:     148000 | #Constraints:     666243
2257.20/2263.21	c #Conflicts:     149000 | #Constraints:     667268
2257.20/2263.21	c #Conflicts:     150000 | #Constraints:     668282
2257.20/2263.21	c #Conflicts:     151000 | #Constraints:     669331
2257.20/2263.21	c #Conflicts:     152000 | #Constraints:     670345
2257.20/2263.21	c bounds 343 >= 75 @ 1848.83
2257.20/2263.21	c #Conflicts:     153000 | #Constraints:     671352
2257.20/2263.21	c #Conflicts:     154000 | #Constraints:     672352
2257.20/2263.21	c #Conflicts:     155000 | #Constraints:     673352
2257.20/2263.21	c INPROCESSING
2257.20/2263.21	c GARBAGE COLLECT
2257.20/2263.21	c #Conflicts:     156000 | #Constraints:     666475
2257.20/2263.21	c #Conflicts:     157000 | #Constraints:     667475
2257.20/2263.21	c #Conflicts:     158000 | #Constraints:     668475
2257.20/2263.21	c #Conflicts:     159000 | #Constraints:     669475
2257.20/2263.21	c #Conflicts:     160000 | #Constraints:     670475
2257.20/2263.21	c #Conflicts:     161000 | #Constraints:     671475
2257.20/2263.21	c #Conflicts:     162000 | #Constraints:     672475
2257.20/2263.21	c #Conflicts:     163000 | #Constraints:     673475
2257.20/2263.21	c INPROCESSING
2257.20/2263.21	c GARBAGE COLLECT
2257.20/2263.21	c #Conflicts:     164000 | #Constraints:     666449
2257.20/2263.21	c #Conflicts:     165000 | #Constraints:     667449
2257.20/2263.21	c #Conflicts:     166000 | #Constraints:     668449
2257.20/2263.21	c #Conflicts:     167000 | #Constraints:     669449
2257.20/2263.21	c #Conflicts:     168000 | #Constraints:     670449
2257.20/2263.21	c #Conflicts:     169000 | #Constraints:     671449
2257.20/2263.21	c #Conflicts:     170000 | #Constraints:     672449
2257.20/2263.21	c bounds 343 >= 76 @ 2169.65
2257.20/2263.21	c #Conflicts:     171000 | #Constraints:     673485
2257.20/2263.21	c INPROCESSING
2257.20/2263.21	c GARBAGE COLLECT
2257.20/2263.21	c rational objective 162.896
3227.52/3236.16	c #Conflicts:     172000 | #Constraints:     666281
3227.52/3236.16	c #Conflicts:     173000 | #Constraints:     667300
3227.52/3236.16	c #Conflicts:     174000 | #Constraints:     668329
3227.52/3236.16	c bounds 341 >= 76 @ 2283.02
3227.52/3236.16	c #Conflicts:     175000 | #Constraints:     669334
3227.52/3236.16	c #Conflicts:     176000 | #Constraints:     670416
3227.52/3236.16	c #Conflicts:     177000 | #Constraints:     671528
3227.52/3236.16	c #Conflicts:     178000 | #Constraints:     672583
3227.52/3236.16	c #Conflicts:     179000 | #Constraints:     673633
3227.52/3236.16	c #Conflicts:     180000 | #Constraints:     674753
3227.52/3236.16	c INPROCESSING
3227.52/3236.16	c GARBAGE COLLECT
3227.52/3236.16	c #Conflicts:     181000 | #Constraints:     667105
3227.52/3236.16	c #Conflicts:     182000 | #Constraints:     668105
3227.52/3236.16	c #Conflicts:     183000 | #Constraints:     669105
3227.52/3236.16	c #Conflicts:     184000 | #Constraints:     670106
3227.52/3236.16	c #Conflicts:     185000 | #Constraints:     671106
3227.52/3236.16	c #Conflicts:     186000 | #Constraints:     672106
3227.52/3236.16	c #Conflicts:     187000 | #Constraints:     673107
3227.52/3236.16	c #Conflicts:     188000 | #Constraints:     674107
3227.52/3236.16	c #Conflicts:     189000 | #Constraints:     675107
3227.52/3236.16	c INPROCESSING
3227.52/3236.16	c GARBAGE COLLECT
3227.52/3236.16	c #Conflicts:     190000 | #Constraints:     667379
3227.52/3236.16	c #Conflicts:     191000 | #Constraints:     668380
3227.52/3236.16	c #Conflicts:     192000 | #Constraints:     669380
3227.52/3236.16	c #Conflicts:     193000 | #Constraints:     670380
3227.52/3236.16	c #Conflicts:     194000 | #Constraints:     671380
3227.52/3236.16	c #Conflicts:     195000 | #Constraints:     672380
3227.52/3236.16	c #Conflicts:     196000 | #Constraints:     673380
3227.52/3236.16	c #Conflicts:     197000 | #Constraints:     674380
3227.52/3236.16	c #Conflicts:     198000 | #Constraints:     675380
3227.52/3236.16	c INPROCESSING
3227.52/3236.16	c GARBAGE COLLECT
3227.52/3236.16	c #Conflicts:     199000 | #Constraints:     667523
3227.52/3236.16	c #Conflicts:     200000 | #Constraints:     668523
3227.52/3236.16	c #Conflicts:     201000 | #Constraints:     669523
3227.52/3236.16	c #Conflicts:     202000 | #Constraints:     670523
3227.52/3236.16	c #Conflicts:     203000 | #Constraints:     671523
3227.52/3236.16	c #Conflicts:     204000 | #Constraints:     672523
3227.52/3236.16	c #Conflicts:     205000 | #Constraints:     673523
3227.52/3236.16	c #Conflicts:     206000 | #Constraints:     674523
3227.52/3236.16	c #Conflicts:     207000 | #Constraints:     675523
3227.52/3236.16	c INPROCESSING
3227.52/3236.16	c GARBAGE COLLECT
3227.52/3236.16	c #Conflicts:     208000 | #Constraints:     667482
3227.52/3236.16	c #Conflicts:     209000 | #Constraints:     668482
3227.52/3236.16	c #Conflicts:     210000 | #Constraints:     669482
3227.52/3236.16	c #Conflicts:     211000 | #Constraints:     670482
3227.52/3236.16	c #Conflicts:     212000 | #Constraints:     671482
3227.52/3236.16	c #Conflicts:     213000 | #Constraints:     672482
3227.52/3236.16	c #Conflicts:     214000 | #Constraints:     673482
3227.52/3236.16	c #Conflicts:     215000 | #Constraints:     674483
3227.52/3236.16	c #Conflicts:     216000 | #Constraints:     675483
3227.52/3236.16	c INPROCESSING
3227.52/3236.16	c GARBAGE COLLECT
3227.52/3236.16	c #Conflicts:     217000 | #Constraints:     667267
3227.52/3236.16	c #Conflicts:     218000 | #Constraints:     668267
3227.52/3236.16	c #Conflicts:     219000 | #Constraints:     669267
3227.52/3236.16	c #Conflicts:     220000 | #Constraints:     670267
3227.52/3236.16	c #Conflicts:     221000 | #Constraints:     671267
3227.52/3236.16	c #Conflicts:     222000 | #Constraints:     672267
3227.52/3236.16	c #Conflicts:     223000 | #Constraints:     673267
3227.52/3236.16	c #Conflicts:     224000 | #Constraints:     674267
3227.52/3236.16	c #Conflicts:     225000 | #Constraints:     675267
3227.52/3236.16	c #Conflicts:     226000 | #Constraints:     676267
3227.52/3236.16	c INPROCESSING
3227.52/3236.16	c GARBAGE COLLECT
3227.52/3236.16	c rational objective 162.896
3519.15/3528.57	c #Conflicts:     227000 | #Constraints:     667865
3519.15/3528.57	c #Conflicts:     228000 | #Constraints:     668866
3519.15/3528.57	c #Conflicts:     229000 | #Constraints:     669867
3519.15/3528.57	c #Conflicts:     230000 | #Constraints:     670867
3519.15/3528.57	c #Conflicts:     231000 | #Constraints:     671867
3519.15/3528.57	c #Conflicts:     232000 | #Constraints:     672867
3519.15/3528.57	c #Conflicts:     233000 | #Constraints:     673867
3519.15/3528.57	c #Conflicts:     234000 | #Constraints:     674867
3519.15/3528.57	c #Conflicts:     235000 | #Constraints:     675867
3519.15/3528.57	c #Conflicts:     236000 | #Constraints:     676867
3519.15/3528.57	c INPROCESSING
3519.15/3528.57	c GARBAGE COLLECT
3519.15/3528.57	c #Conflicts:     237000 | #Constraints:     668262
3519.15/3528.57	c #Conflicts:     238000 | #Constraints:     669262
3519.15/3528.57	c #Conflicts:     239000 | #Constraints:     670262
3519.15/3528.57	c #Conflicts:     240000 | #Constraints:     671262
3519.15/3528.57	c bounds 338 >= 76 @ 3421.26
3519.15/3528.57	c #Conflicts:     241000 | #Constraints:     672265
3519.15/3528.57	c #Conflicts:     242000 | #Constraints:     673265
3519.15/3528.57	c #Conflicts:     243000 | #Constraints:     674265
3519.15/3528.57	c #Conflicts:     244000 | #Constraints:     675265
3519.15/3528.57	c #Conflicts:     245000 | #Constraints:     676265
3519.15/3528.57	c #Conflicts:     246000 | #Constraints:     677265
3519.15/3528.57	c INPROCESSING
3519.15/3528.57	c GARBAGE COLLECT
3519.15/3528.57	c rational objective 162.896
3600.04/3609.60	c bounds 335 >= 76 @ 3504.65
3600.04/3609.60	c #Conflicts:     247000 | #Constraints:     668463
3600.04/3609.60	c #Conflicts:     248000 | #Constraints:     669483
3600.04/3609.60	c #Conflicts:     249000 | #Constraints:     670492
3600.04/3609.60	c #Conflicts:     250000 | #Constraints:     671502
3600.04/3609.60	c #Conflicts:     251000 | #Constraints:     672507
3600.04/3609.60	c Program interrupted by user.
3600.04/3609.60	c cpu time 3580.85 s
3600.04/3609.60	c deterministic time 378525190320 3.79e+11
3600.04/3609.60	c optimization time 76.7038 s
3600.04/3609.60	c total solve time 3502.99 s
3600.04/3609.60	c core-guided solve time 2433.94 s
3600.04/3609.60	c propagation time 1845.72 s
3600.04/3609.60	c conflict analysis time 489.242 s
3600.04/3609.60	c propagations 87520685
3600.04/3609.60	c resolve steps 3009643
3600.04/3609.60	c decisions 11537899
3600.04/3609.60	c conflicts 251384
3600.04/3609.60	c restarts 584
3600.04/3609.60	c inprocessing phases 41
3600.04/3609.60	c input clauses 657073
3600.04/3609.60	c input cardinalities 49
3600.04/3609.60	c input general constraints 629
3600.04/3609.60	c input average constraint length 6.55
3600.04/3609.60	c input average constraint degree 140.80
3600.04/3609.60	c learned clauses 98090
3600.04/3609.60	c learned cardinalities 13
3600.04/3609.60	c learned general constraints 155190
3600.04/3609.60	c learned average constraint length 3831.97
3600.04/3609.60	c learned average constraint degree 53033719838.97
3600.04/3609.60	c watched constraints 35575
3600.04/3609.60	c counting constraints 120244
3600.04/3609.60	c gcd simplifications 4066
3600.04/3609.60	c detected cardinalities 0
3600.04/3609.60	c weakened non-implied lits 377161208
3600.04/3609.60	c weakened non-implying lits 67314
3600.04/3609.60	c original variables 10000
3600.04/3609.60	c clausal propagations 17470771
3600.04/3609.60	c cardinality propagations 102638
3600.04/3609.60	c watched propagations 2957773
3600.04/3609.60	c counting propagations 66257588
3600.04/3609.60	c watch lookups 12662922532
3600.04/3609.60	c watch backjump lookups 12491127115
3600.04/3609.60	c watch checks 130813695319
3600.04/3609.60	c propagation checks 217215889475
3600.04/3609.60	c constraint additions 5142750770
3600.04/3609.60	c trail pops 99299879
3600.04/3609.60	c formula constraints 656900
3600.04/3609.60	c learned constraints 251060
3600.04/3609.60	c bound constraints 234
3600.04/3609.60	c core-guided constraints 617
3600.04/3609.60	c encountered formula constraints 1509136
3600.04/3609.60	c encountered learned constraints 1394794
3600.04/3609.60	c encountered bound constraints 20073
3600.04/3609.60	c encountered core-guided constraints 311036
3600.04/3609.60	c LP total time 1926.2 s
3600.04/3609.60	c LP solve time 1812.42 s
3600.04/3609.60	c LP constraints added 656930
3600.04/3609.60	c LP constraints removed 11
3600.04/3609.60	c LP pivots internal 251783
3600.04/3609.60	c LP pivots root 194862
3600.04/3609.60	c LP calls 2175
3600.04/3609.60	c LP optimalities 237
3600.04/3609.60	c LP no pivot count 70
3600.04/3609.60	c LP infeasibilities 1888
3600.04/3609.60	c LP valid Farkas constraints 1882
3600.04/3609.60	c LP learned Farkas constraints 333
3600.04/3609.60	c LP basis resets 52
3600.04/3609.60	c LP cycling count 17
3600.04/3609.60	c LP singular count 13
3600.04/3609.60	c LP no primal count 0
3600.04/3609.60	c LP no farkas count 6
3600.04/3609.60	c LP other issue count 16
3600.04/3609.60	c LP Gomory cuts 18
3600.04/3609.60	c LP learned cuts 12
3600.04/3609.60	c LP deleted cuts 11
3600.04/3609.60	c LP encountered Gomory constraints 1047
3600.04/3609.60	c LP encountered Farkas constraints 24192
3600.04/3609.60	c LP encountered learned Farkas constraints 416
3600.04/3609.60	c CG auxiliary variables introduced 222
3600.04/3609.60	c CG solutions found 185
3600.04/3609.60	c CG cores constructed 49
3600.04/3609.60	c CG core cardinality constraints returned 0
3600.04/3609.60	c CG unit cores 0
3600.04/3609.60	c CG single cores 45
3600.04/3609.60	c CG blocks removed during cardinality reduction 0
3600.04/3609.60	c CG first core best 0
3600.04/3609.60	c CG decision core best 0
3600.04/3609.60	c CG core reduction tie 4
3600.04/3609.60	c CG core degree average 1.00
3600.04/3609.60	c CG core slack average 1128.53
3600.04/3609.60	s SATISFIABLE
3600.04/3609.60	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -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 -x5722 -x5723 -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 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -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 -x5792 -x5793 -x5794 -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 -x5831 -x5832 -x5833 -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 -x5867 -x5868 -x5869 -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 -x5901 -x5902 -x5903 -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 -x5937 -x5938 -x5939 -x5940 -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 -x5973 -x5974 -x5975 -x5976 -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 -x6005 -x6006 -x6007 -x6008 -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 -x6042 -x6043 -x6044 -x6045 -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 -x6073 -x6074 -x6075 -x6076 -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 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -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 -x6146 -x6147 -x6148 -x6149 -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 -x6179 -x6180 -x6181 -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 -x6215 -x6216 -x6217 -x6218 -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 -x6246 -x6247 -x6248 -x6249 -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 -x6281 -x6282 -x6283 -x6284 -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 -x6319 -x6320 -x6321 -x6322 -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 -x6357 -x6358 -x6359 -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 -x6394 -x6395 -x6396 -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 -x6428 -x6429 -x6430 -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 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -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 -x6497 -x6498 -x6499 -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 -x6532 -x6533 -x6534 -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 -x6566 -x6567 -x6568 -x6569 -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 -x6604 -x6605 -x6606 -x6607 -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 -x6640 -x6641 -x6642 -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 -x6672 -x6673 -x6674 -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 -x6706 -x6707 -x6708 -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 -x6740 -x6741 -x6742 -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 -x6773 -x6774 -x6775 -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 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -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 -x6845 -x6846 -x6847 -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 -x6878 -x6879 -x6880 -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 -x6917 -x6918 -x6919 -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 -x6954 -x6955 -x6956 -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 -x6984 -x6985 -x6986 -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 -x7022 -x7023 x7024 -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 -x7064 -x7065 -x7066 -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 -x7100 -x7101 -x7102 -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 -x7132 -x7133 -x7134 -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 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -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 -x7218 -x7219 -x7220 -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 -x7253 -x7254 -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 -x7287 -x7288 -x7289 -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 -x7322 -x7323 -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 -x7356 -x7357 -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 -x7394 -x7395 -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 -x7427 -x7428 -x7429 -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 -x7464 -x7465 -x7466 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 -x7502 -x7503 -x7504 -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 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -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 -x7572 -x7573 -x7574 -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 -x7604 -x7605 -x7606 -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 -x7639 -x7640 -x7641 -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 -x7672 -x7673 -x7674 -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 -x7706 -x7707 -x7708 -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 -x7739 -x7740 -x7741 -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 -x7774 -x7775 -x7776 -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 -x7809 -x7810 -x7811 -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 -x7846 -x7847 -x7848 -x7849 -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 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -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 -x7922 -x7923 -x7924 -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 -x7957 -x7958 -x7959 -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 -x7989 -x7990 -x7991 -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 -x8022 -x8023 -x8024 -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 -x8060 -x8061 -x8062 -x8063 -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 -x8099 -x8100 -x8101 -x8102 -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 -x8133 -x8134 -x8135 -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 -x8170 -x8171 -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 -x8205 -x8206 -x8207 -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 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -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 -x8278 -x8279 -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 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -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 -x8377 -x8378 -x8379 -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 -x8413 -x8414 -x8415 -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 -x8447 -x8448 -x8449 -x8450 -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 -x8482 -x8483 -x8484 -x8485 -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 -x8516 -x8517 -x8518 -x8519 -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 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -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 -x8585 -x8586 -x8587 -x8588 -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 -x8620 -x8621 -x8622 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 -x8651 -x8652 -x8653 -x8654 -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 -x8691 -x8692 -x8693 -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 -x8726 -x8727 -x8728 -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 -x8766 -x8767 -x8768 -x8769 -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 -x8804 -x8805 -x8806 -x8807 -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 -x8836 -x8837 -x8838 -x8839 -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 -x8871 -x8872 -x8873 -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 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -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 -x8947 -x8948 -x8949 -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 -x8985 -x8986 -x8987 -x8988 -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 -x9020 -x9021 -x9022 -x9023 -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 -x9053 -x9054 -x9055 -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 -x9089 -x9090 -x9091 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 -x9123 -x9124 -x9125 -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 -x9158 -x9159 -x9160 -x9161 -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 -x9195 -x9196 -x9197 -x9198 -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 -x9227 -x9228 -x9229 -x9230 -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 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -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 -x9303 -x9304 -x9305 -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 -x9341 -x9342 -x9343 -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 -x9381 -x9382 -x9383 -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 -x9414 -x9415 -x9416 -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 -x9454 -x9455 -x9456 -x9457 -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 -x9490 -x9491 -x9492 -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 -x9528 -x9529 -x9530 -x9531 -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 -x9566 -x9567 -x9568 -x9569 -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 -x9600 -x9601 -x9602 -x9603 -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 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -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 -x9676 -x9677 -x9678 -x9679 -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 -x9713 -x9714 -x9715 -x9716 -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 -x9747 -x9748 -x9749 -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 -x9782 -x9783 -x9784 -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 -x9819 -x9820 -x9821 -x9822 -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 -x9855 -x9856 -x9857 -x9858 -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 -x9890 -x9891 -x9892 -x9893 -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 -x9926 -x9927 -x9928 x9929 -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 -x9961 -x9962 -x9963 -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 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

Verifier Data 

OK	335

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59067 MiB free)
  memory of node 1: 64510 MiB (58829 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455142-1721459383/watcher-4455142-1721459383 -o /tmp/evaluation-result-4455142-1721459383/solver-4455142-1721459383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069362 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455142-1721459383.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1071414, runsolver pid=1071411

[startup+0.101014 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 1071415
/proc/meminfo: memFree=120718220/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=40952 memory=12360 CPUtime=0.09 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 1917 0 0 0 5 4 0 0 20 0 1 0 198106544 41934848 3090 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 10238 3090 1250 922 0 2190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 12360 KiB

[startup+0.205296 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 1071415
/proc/meminfo: memFree=120716540/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=42404 memory=13940 CPUtime=0.19 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 2295 0 0 0 12 7 0 0 20 0 1 0 198106544 43421696 3485 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 10601 3485 1250 922 0 2553 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42404 KiB
Current children cumulated memory: 13940 KiB

[startup+0.304593 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 1071415
/proc/meminfo: memFree=120711804/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=47024 memory=18436 CPUtime=0.3 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 2912 0 0 0 20 10 0 0 20 0 1 0 198106544 48152576 4609 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 11756 4609 1250 922 0 3708 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 18436 KiB

[startup+0.700154 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1071415
/proc/meminfo: memFree=120705884/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=64240 memory=31116 CPUtime=0.68 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 5045 0 0 0 46 22 0 0 20 0 1 0 198106544 65781760 7779 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 16060 7779 1250 922 0 8012 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64240 KiB
Current children cumulated memory: 31116 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1071415
/proc/meminfo: memFree=120690100/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=156412 memory=124708 CPUtime=1.48 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 25623 0 0 0 103 45 0 0 20 0 1 0 198106544 160165888 31177 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 39103 31177 1563 922 0 31055 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156412 KiB
Current children cumulated memory: 124708 KiB

[startup+3.10542 s]
/proc/loadavg: 4.08 4.10 4.09 4/253 1071429
/proc/meminfo: memFree=121829000/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=360724 memory=329016 CPUtime=3.08 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 57255 0 0 0 253 55 0 0 20 0 1 0 198106544 369381376 82254 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 90181 82254 1643 922 0 82133 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 329016 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1071462
/proc/meminfo: memFree=121715800/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=360724 memory=329400 CPUtime=6.27 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 57298 0 0 0 572 55 0 0 20 0 1 0 198106544 369381376 82350 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 90181 82350 1739 922 0 82133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 329400 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 1071462
/proc/meminfo: memFree=121635760/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=513236 memory=403420 CPUtime=12.65 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 61781 0 0 0 1141 124 0 0 20 0 1 0 198106544 525553664 100855 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 128309 100855 1848 922 0 120261 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 513236 KiB
Current children cumulated memory: 403420 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 1071469
/proc/meminfo: memFree=121521444/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=637432 memory=514500 CPUtime=25.42 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 67702 0 0 0 2393 149 0 0 20 0 1 0 198106544 652730368 128625 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 159358 128625 1848 922 0 151310 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 637432 KiB
Current children cumulated memory: 514500 KiB

[startup+51.1052 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1071473
/proc/meminfo: memFree=121505980/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=648084 memory=523044 CPUtime=50.97 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 68436 0 0 0 4915 182 0 0 20 0 1 0 198106544 663638016 130761 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 162021 130761 1848 922 0 153973 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 648084 KiB
Current children cumulated memory: 523044 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121723528/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=679656 memory=586388 CPUtime=102.04 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 70712 0 0 0 9964 240 0 0 20 0 1 0 198106544 695967744 146597 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 169914 146597 1848 922 0 161866 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 679656 KiB
Current children cumulated memory: 586388 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 1071693
/proc/meminfo: memFree=121410560/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=1173308 memory=982624 CPUtime=161.9 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 108507 0 0 0 15860 330 0 0 20 0 1 0 198106544 1201467392 245656 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 293327 245656 1980 922 0 285279 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1173308 KiB
Current children cumulated memory: 982624 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1071826
/proc/meminfo: memFree=120607624/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=1273232 memory=1140720 CPUtime=221.75 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 122098 0 0 0 21784 391 0 0 20 0 1 0 198106544 1303789568 285180 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 318308 285180 1980 922 0 310260 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 1273232 KiB
Current children cumulated memory: 1140720 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 1071838
/proc/meminfo: memFree=120305496/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=1280932 memory=1155096 CPUtime=281.59 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 122838 0 0 0 27747 412 0 0 20 0 1 0 198106544 1311674368 288774 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 320233 288774 1980 922 0 312185 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 1280932 KiB
Current children cumulated memory: 1155096 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121508448/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=1302560 memory=1184684 CPUtime=341.44 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 125259 0 0 0 33666 478 0 0 20 0 1 0 198106544 1333821440 296171 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 325640 296171 1980 922 0 317592 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 1302560 KiB
Current children cumulated memory: 1184684 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/255 1072090
/proc/meminfo: memFree=121269932/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=1394796 memory=1288448 CPUtime=401.26 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 130094 0 0 0 39600 526 0 0 20 0 1 0 198106544 1428271104 322112 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 348699 322112 1980 922 0 340651 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 1394796 KiB
Current children cumulated memory: 1288448 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 1072102
/proc/meminfo: memFree=121055744/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=1663200 memory=1388104 CPUtime=461.11 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 136056 0 0 0 45560 551 0 0 20 0 1 0 198106544 1703116800 347026 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 415800 347026 1980 922 0 407752 0

################
# More data... #
################

Current children cumulated memory: 2577824 KiB

[startup+2862.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/257 1073544
/proc/meminfo: memFree=117046396/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770836 memory=2580120 CPUtime=2854.69 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 342290 0 0 0 283885 1584 0 0 20 0 1 0 198106544 2837336064 645030 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692709 645030 1980 922 0 684661 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 2770836 KiB
Current children cumulated memory: 2580120 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/257 1073722
/proc/meminfo: memFree=116923640/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770836 memory=2580252 CPUtime=2914.54 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 343347 0 0 0 289846 1608 0 0 20 0 1 0 198106544 2837336064 645063 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692709 645063 1980 922 0 684661 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 2770836 KiB
Current children cumulated memory: 2580252 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/257 1073732
/proc/meminfo: memFree=116885808/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770280 memory=2579632 CPUtime=2974.38 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 354354 0 0 0 295797 1641 0 0 20 0 1 0 198106544 2836766720 644908 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692570 644908 1980 922 0 684522 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 2770280 KiB
Current children cumulated memory: 2579632 KiB

[startup+3042.3 s]
/proc/loadavg: 4.35 4.21 4.16 5/257 1073744
/proc/meminfo: memFree=116838760/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2766616 memory=2581996 CPUtime=3034.23 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 359408 0 0 0 301752 1671 0 0 20 0 1 0 198106544 2833014784 645499 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 691654 645499 1980 922 0 683606 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 2766616 KiB
Current children cumulated memory: 2581996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.20 4.16 5/256 1073767
/proc/meminfo: memFree=116798288/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2771624 memory=2581040 CPUtime=3094.08 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 368067 0 0 0 307709 1699 0 0 20 0 1 0 198106544 2838142976 645260 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692906 645260 1980 922 0 684858 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 2771624 KiB
Current children cumulated memory: 2581040 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.21 4.16 5/256 1073778
/proc/meminfo: memFree=116756920/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770440 memory=2582580 CPUtime=3153.91 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 373397 0 0 0 313669 1722 0 0 20 0 1 0 198106544 2836930560 645645 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692610 645645 1980 922 0 684562 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 2770440 KiB
Current children cumulated memory: 2582580 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/256 1073788
/proc/meminfo: memFree=116709912/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770440 memory=2586096 CPUtime=3213.74 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 373894 0 0 0 319645 1729 0 0 20 0 1 0 198106544 2836930560 646524 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692610 646524 1980 922 0 684562 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 2770440 KiB
Current children cumulated memory: 2586096 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/256 1073799
/proc/meminfo: memFree=116665148/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2768020 memory=2579956 CPUtime=3273.6 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 379035 0 0 0 325604 1756 0 0 20 0 1 0 198106544 2834452480 644989 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692005 644989 1980 922 0 683957 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 2768020 KiB
Current children cumulated memory: 2579956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/255 1073810
/proc/meminfo: memFree=116663372/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2771624 memory=2581048 CPUtime=3333.44 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 384920 0 0 0 331541 1803 0 0 20 0 1 0 198106544 2838142976 645262 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692906 645262 1980 922 0 684858 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 2771624 KiB
Current children cumulated memory: 2581048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/255 1073821
/proc/meminfo: memFree=116673564/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2773396 memory=2586020 CPUtime=3393.28 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 394832 0 0 0 337502 1826 0 0 20 0 1 0 198106544 2839957504 646505 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 693349 646505 1980 922 0 685301 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 2773396 KiB
Current children cumulated memory: 2586020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/256 1073833
/proc/meminfo: memFree=116675960/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770828 memory=2580408 CPUtime=3453.12 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 399889 0 0 0 343454 1858 0 0 20 0 1 0 198106544 2837327872 645102 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692707 645102 1980 922 0 684659 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 2770828 KiB
Current children cumulated memory: 2580408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/256 1073844
/proc/meminfo: memFree=116663308/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770828 memory=2580408 CPUtime=3512.97 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 400869 0 0 0 349401 1896 0 0 20 0 1 0 198106544 2837327872 645102 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692707 645102 1980 922 0 684659 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 2770828 KiB
Current children cumulated memory: 2580408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/256 1073854
/proc/meminfo: memFree=116673660/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770828 memory=2580408 CPUtime=3572.81 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 401843 0 0 0 355371 1910 0 0 20 0 1 0 198106544 2837327872 645102 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692707 645102 1980 922 0 684659 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 2770828 KiB
Current children cumulated memory: 2580408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.05 4.10 4.12 5/256 1073858
/proc/meminfo: memFree=116673240/131524600 swapFree=131071996/131071996
[pid=1071414] ppid=1071411 vsize=2770828 memory=2580408 CPUtime=3600.04 cores=5,7
/proc/1071414/stat : 1071414 (roundingsat) R 1071411 1071414 1069349 0 -1 4194304 402271 0 0 0 358084 1920 0 0 20 0 1 0 198106544 2837327872 645102 134679101440 4194304 7968373 140722130814272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 10485760 140722130822076 140722130822240 140722130822240 140722130829257 0
/proc/1071414/statm: 692707 645102 1980 922 0 684659 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2770828 KiB
Current children cumulated memory: 2580408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.62 s]
# the end of solver process 1071414 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3580.85 s, system=19.2226 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3609.62
CPU time (s): 3600.07
CPU user time (s): 3580.85
CPU system time (s): 19.2226
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 2910468
Max. memory (cumulated for all children) (KiB): 2730068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.85
system time used= 19.2226
maximum resident set size= 2730068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402300
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= 101
involuntary context switches= 1848


# summary of solver processes directly reported to runsolver:
#   pid: 1071414
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3580.85
#   total CPU system time (s): 19.2226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83769 second user time and 16.8568 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-20 09:09:55
IDJOB=4455142
IDBENCH=147565
IDSOLVER=3084
FILE ID=nodeC031/4455142-1721459383
RUNJOBID= nodeC031-1721455786-1069362
SLURM_JOB_ID= 7545688
Free space on /tmp= 890040 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455142-1721459383/watcher-4455142-1721459383 -o /tmp/evaluation-result-4455142-1721459383/solver-4455142-1721459383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069362 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455142-1721459383.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1369777347

nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.593
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.500
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.807
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.816
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.614
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.814
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.850
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.612
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120726096 kB
MemAvailable:   127295728 kB
Buffers:          536124 kB
Cached:          6799924 kB
SwapCached:            0 kB
Active:          1089596 kB
Inactive:        8915412 kB
Active(anon):       1544 kB
Inactive(anon):  2713320 kB
Active(file):    1088052 kB
Inactive(file):  6202092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22188 kB
Writeback:             0 kB
AnonPages:       2665348 kB
Mapped:           116968 kB
Shmem:             45912 kB
KReclaimable:     238272 kB
Slab:             368016 kB
SReclaimable:     238272 kB
SUnreclaim:       129744 kB
KernelStack:        4112 kB
PageTables:        14888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3253436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2445312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254676 kB
DirectMap2M:    39364608 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC031 at 2024-07-20 10:10:05