Trace number 4456766

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 log (1)SAT (TO)302 3600.2 3611.74

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark241
Best CPU time to get the best result obtained on this benchmark3558.03
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 494314
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 494314
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.88/2.00	c #variables 10000 #constraints 656900
3.98/4.01	c bounds - >= 0 @ 1.49305
3.98/4.01	c rational objective 165.75
10.76/10.86	c bounds 7543 >= 0 @ 4.28028
10.76/10.86	c bounds 7381 >= 0 @ 4.28779
10.76/10.86	c bounds 7037 >= 0 @ 4.29446
10.76/10.86	c bounds 7028 >= 0 @ 4.54564
10.76/10.86	c bounds 6943 >= 0 @ 4.5509
10.76/10.86	c bounds 6930 >= 0 @ 4.63128
10.76/10.86	c bounds 6862 >= 0 @ 4.6344
10.76/10.86	c bounds 6741 >= 0 @ 4.63711
10.76/10.86	c bounds 6735 >= 0 @ 4.64282
10.76/10.86	c bounds 6703 >= 0 @ 4.64581
10.76/10.86	c bounds 6580 >= 0 @ 4.65069
10.76/10.86	c bounds 6473 >= 0 @ 4.65483
10.76/10.86	c bounds 6315 >= 0 @ 4.66109
10.76/10.86	c bounds 6304 >= 0 @ 4.67423
10.76/10.86	c bounds 6105 >= 0 @ 4.67812
10.76/10.86	c bounds 6084 >= 0 @ 4.68823
10.76/10.86	c bounds 5934 >= 0 @ 4.69637
10.76/10.86	c bounds 5638 >= 0 @ 4.78985
10.76/10.86	c bounds 5635 >= 0 @ 4.80308
10.76/10.86	c bounds 5550 >= 0 @ 4.81064
10.76/10.86	c bounds 5332 >= 0 @ 4.81654
10.76/10.86	c bounds 5329 >= 0 @ 4.82259
10.76/10.86	c bounds 5246 >= 0 @ 4.82835
10.76/10.86	c bounds 5243 >= 0 @ 4.83295
10.76/10.86	c bounds 5237 >= 0 @ 4.83826
10.76/10.86	c bounds 5235 >= 0 @ 4.84341
10.76/10.86	c bounds 5160 >= 0 @ 4.84925
10.76/10.86	c bounds 5135 >= 0 @ 4.85409
10.76/10.86	c bounds 5129 >= 0 @ 4.88774
10.76/10.86	c bounds 4968 >= 0 @ 5.20343
10.76/10.86	c bounds 4895 >= 0 @ 5.2129
10.76/10.86	c bounds 4881 >= 0 @ 5.21965
10.76/10.86	c bounds 4861 >= 0 @ 5.22297
10.76/10.86	c bounds 4833 >= 0 @ 5.22977
10.76/10.86	c bounds 4817 >= 0 @ 5.23794
10.76/10.86	c bounds 4810 >= 0 @ 5.24376
10.76/10.86	c bounds 4753 >= 0 @ 5.32898
10.76/10.86	c bounds 4744 >= 0 @ 5.3369
10.76/10.86	c bounds 4690 >= 0 @ 5.34366
10.76/10.86	c bounds 4662 >= 0 @ 5.34787
10.76/10.86	c bounds 4645 >= 0 @ 5.35431
10.76/10.86	c bounds 4588 >= 0 @ 5.36195
10.76/10.86	c bounds 4486 >= 0 @ 5.3684
10.76/10.86	c bounds 4413 >= 0 @ 5.37585
10.76/10.86	c bounds 4356 >= 0 @ 5.47248
10.76/10.86	c bounds 4354 >= 0 @ 5.66307
10.76/10.86	c bounds 4235 >= 0 @ 5.66861
10.76/10.86	c bounds 3918 >= 0 @ 5.67606
10.76/10.86	c bounds 3746 >= 0 @ 5.6843
10.76/10.86	c bounds 3728 >= 0 @ 5.68898
10.76/10.86	c bounds 3727 >= 0 @ 5.74207
10.76/10.86	c bounds 3725 >= 0 @ 5.86063
10.76/10.86	c bounds 3595 >= 0 @ 5.86651
10.76/10.86	c bounds 3549 >= 0 @ 5.87358
10.76/10.86	c bounds 3531 >= 0 @ 5.87974
10.76/10.86	c bounds 3518 >= 0 @ 5.91139
10.76/10.86	c bounds 3511 >= 0 @ 6.03269
10.76/10.86	c bounds 3492 >= 0 @ 6.04474
10.76/10.86	c bounds 3406 >= 0 @ 6.04884
10.76/10.86	c bounds 3397 >= 0 @ 6.06367
10.76/10.86	c bounds 3395 >= 0 @ 6.13871
10.76/10.86	c bounds 3377 >= 0 @ 6.46087
10.76/10.86	c bounds 3228 >= 0 @ 6.46478
10.76/10.86	c bounds 3226 >= 0 @ 6.48785
10.76/10.86	c bounds 3220 >= 0 @ 6.568
10.76/10.86	c bounds 3135 >= 0 @ 6.57431
10.76/10.86	c bounds 3064 >= 0 @ 6.58029
10.76/10.86	c bounds 2956 >= 0 @ 6.58773
10.76/10.86	c bounds 2940 >= 0 @ 6.5989
10.76/10.86	c bounds 2938 >= 0 @ 6.61054
10.76/10.86	c bounds 2928 >= 0 @ 6.61796
10.76/10.86	c bounds 2890 >= 0 @ 6.6253
10.76/10.86	c bounds 2790 >= 0 @ 6.63145
10.76/10.86	c bounds 2776 >= 0 @ 6.65618
10.76/10.86	c bounds 2752 >= 0 @ 6.66557
10.76/10.86	c bounds 2613 >= 0 @ 6.67469
10.76/10.86	c bounds 2584 >= 0 @ 6.74502
10.76/10.86	c #Conflicts:       1000 | #Constraints:     657983
10.76/10.86	c bounds 2561 >= 0 @ 8.01748
10.76/10.86	c bounds 2558 >= 0 @ 8.04157
10.76/10.86	c bounds 2539 >= 0 @ 8.23097
10.76/10.86	c bounds 2521 >= 0 @ 8.40756
10.76/10.86	c bounds 2492 >= 0 @ 8.42351
10.76/10.86	c bounds 2490 >= 0 @ 8.47308
10.76/10.86	c bounds 2463 >= 0 @ 8.48021
10.76/10.86	c bounds 2440 >= 0 @ 8.48748
10.76/10.86	c bounds 2433 >= 0 @ 8.4975
10.76/10.86	c bounds 2389 >= 0 @ 8.50883
10.76/10.86	c bounds 2382 >= 0 @ 8.51456
10.76/10.86	c bounds 2355 >= 0 @ 8.52743
10.76/10.86	c bounds 2348 >= 0 @ 8.5386
10.76/10.86	c bounds 2333 >= 0 @ 8.54653
10.76/10.86	c bounds 2320 >= 0 @ 8.55607
10.76/10.86	c bounds 2275 >= 0 @ 8.56715
10.76/10.86	c bounds 2236 >= 0 @ 8.57802
10.76/10.86	c bounds 2202 >= 0 @ 8.58547
10.76/10.86	c bounds 2160 >= 0 @ 8.60222
10.76/10.86	c bounds 2158 >= 0 @ 8.61142
10.76/10.86	c bounds 2142 >= 0 @ 8.66058
10.76/10.86	c bounds 2141 >= 0 @ 8.67445
10.76/10.86	c bounds 2133 >= 0 @ 8.69135
10.76/10.86	c bounds 2114 >= 0 @ 8.70173
10.76/10.86	c bounds 2109 >= 0 @ 8.71325
10.76/10.86	c bounds 2102 >= 0 @ 8.72354
10.76/10.86	c bounds 2098 >= 0 @ 8.73611
10.76/10.86	c bounds 2065 >= 0 @ 8.75208
10.76/10.86	c bounds 2061 >= 0 @ 8.76159
10.76/10.86	c bounds 2052 >= 0 @ 8.76937
10.76/10.86	c bounds 2047 >= 0 @ 8.79046
10.76/10.86	c bounds 2030 >= 0 @ 8.80056
10.76/10.86	c bounds 2024 >= 0 @ 8.90533
10.76/10.86	c bounds 2017 >= 0 @ 8.9246
10.76/10.86	c bounds 2010 >= 0 @ 8.94091
10.76/10.86	c bounds 1986 >= 0 @ 8.95085
10.76/10.86	c bounds 1965 >= 0 @ 8.95792
10.76/10.86	c bounds 1930 >= 0 @ 8.97355
10.76/10.86	c bounds 1925 >= 0 @ 8.98132
10.76/10.86	c bounds 1921 >= 0 @ 8.99345
10.76/10.86	c bounds 1905 >= 0 @ 9.0184
10.76/10.86	c bounds 1834 >= 0 @ 9.02651
10.76/10.86	c bounds 1831 >= 0 @ 9.03449
10.76/10.86	c bounds 1827 >= 0 @ 9.05586
10.76/10.86	c bounds 1825 >= 0 @ 9.0703
10.76/10.86	c bounds 1809 >= 0 @ 9.07766
10.76/10.86	c bounds 1793 >= 0 @ 9.08605
10.76/10.86	c bounds 1754 >= 0 @ 9.09594
10.76/10.86	c bounds 1733 >= 0 @ 9.10654
10.76/10.86	c bounds 1693 >= 0 @ 9.13973
10.76/10.86	c bounds 1675 >= 0 @ 9.16568
10.76/10.86	c bounds 1665 >= 0 @ 9.17985
10.76/10.86	c bounds 1634 >= 0 @ 9.2738
10.76/10.86	c bounds 1633 >= 0 @ 9.30585
10.76/10.86	c bounds 1628 >= 0 @ 9.32292
10.76/10.86	c bounds 1623 >= 0 @ 9.33957
10.76/10.86	c bounds 1621 >= 0 @ 9.46891
10.76/10.86	c bounds 1605 >= 0 @ 9.58242
10.76/10.86	c bounds 1583 >= 0 @ 9.62401
10.76/10.86	c bounds 1568 >= 0 @ 9.63308
10.76/10.86	c bounds 1566 >= 0 @ 9.64903
10.76/10.86	c bounds 1537 >= 0 @ 9.66479
10.76/10.86	c bounds 1533 >= 0 @ 9.69003
106.70/107.01	c bounds 1528 >= 0 @ 9.70368
106.70/107.01	c bounds 1516 >= 0 @ 9.73299
106.70/107.01	c bounds 1511 >= 0 @ 9.7464
106.70/107.01	c bounds 1507 >= 0 @ 9.761
106.70/107.01	c bounds 1491 >= 0 @ 9.78058
106.70/107.01	c bounds 1483 >= 0 @ 9.79277
106.70/107.01	c bounds 1482 >= 0 @ 10.5945
106.70/107.01	c bounds 1473 >= 0 @ 10.6199
106.70/107.01	c bounds 1420 >= 0 @ 10.6298
106.70/107.01	c bounds 1405 >= 0 @ 10.6414
106.70/107.01	c bounds 1388 >= 0 @ 10.6516
106.70/107.01	c bounds 1357 >= 0 @ 10.6616
106.70/107.01	c #Conflicts:       2000 | #Constraints:     659062
106.70/107.01	c INPROCESSING
106.70/107.01	c GARBAGE COLLECT
106.70/107.01	c bounds 1354 >= 0 @ 26.6051
106.70/107.01	c bounds 1347 >= 0 @ 26.6174
106.70/107.01	c bounds 1346 >= 0 @ 27.1184
106.70/107.01	c bounds 1339 >= 0 @ 27.1307
106.70/107.01	c bounds 1334 >= 0 @ 27.2686
106.70/107.01	c bounds 1331 >= 0 @ 27.2769
106.70/107.01	c bounds 1321 >= 0 @ 27.3771
106.70/107.01	c bounds 1224 >= 0 @ 27.3862
106.70/107.01	c bounds 1103 >= 0 @ 27.5997
106.70/107.01	c bounds 1087 >= 0 @ 27.6093
106.70/107.01	c bounds 1079 >= 0 @ 27.6184
106.70/107.01	c bounds 1078 >= 0 @ 27.6284
106.70/107.01	c bounds 1061 >= 0 @ 27.6389
106.70/107.01	c bounds 1058 >= 0 @ 27.6506
106.70/107.01	c bounds 1044 >= 0 @ 27.6644
106.70/107.01	c bounds 1039 >= 0 @ 27.6742
106.70/107.01	c bounds 1035 >= 0 @ 27.7237
106.70/107.01	c bounds 1026 >= 0 @ 27.7341
106.70/107.01	c bounds 1008 >= 0 @ 27.7444
106.70/107.01	c bounds 1004 >= 0 @ 27.7561
106.70/107.01	c bounds 1003 >= 0 @ 27.8317
106.70/107.01	c bounds 993 >= 0 @ 27.8617
106.70/107.01	c bounds 980 >= 0 @ 27.8808
106.70/107.01	c bounds 957 >= 0 @ 27.8926
106.70/107.01	c bounds 934 >= 0 @ 27.9034
106.70/107.01	c bounds 933 >= 0 @ 29.0226
106.70/107.01	c #Conflicts:       3000 | #Constraints:     658949
106.70/107.01	c #Conflicts:       4000 | #Constraints:     659965
106.70/107.01	c INPROCESSING
106.70/107.01	c GARBAGE COLLECT
106.70/107.01	c bounds 921 >= 0 @ 66.3248
106.70/107.01	c bounds 904 >= 0 @ 66.3386
106.70/107.01	c bounds 895 >= 0 @ 66.3547
106.70/107.01	c bounds 892 >= 0 @ 66.3704
106.70/107.01	c bounds 888 >= 0 @ 66.4708
106.70/107.01	c bounds 882 >= 0 @ 66.5878
106.70/107.01	c bounds 874 >= 0 @ 66.6907
106.70/107.01	c bounds 871 >= 0 @ 66.708
106.70/107.01	c bounds 869 >= 0 @ 66.7311
106.70/107.01	c bounds 862 >= 0 @ 66.7492
106.70/107.01	c bounds 861 >= 0 @ 66.7628
106.70/107.01	c bounds 860 >= 0 @ 66.7799
106.70/107.01	c bounds 852 >= 0 @ 66.8953
106.70/107.01	c bounds 841 >= 0 @ 66.9319
106.70/107.01	c bounds 828 >= 0 @ 67.1464
106.70/107.01	c bounds 817 >= 0 @ 67.1694
106.70/107.01	c bounds 813 >= 0 @ 67.4009
106.70/107.01	c bounds 810 >= 0 @ 67.4294
106.70/107.01	c bounds 808 >= 0 @ 67.4434
106.70/107.01	c bounds 807 >= 0 @ 67.5977
106.70/107.01	c bounds 802 >= 0 @ 67.6166
106.70/107.01	c bounds 799 >= 0 @ 67.8526
106.70/107.01	c bounds 797 >= 0 @ 68.3924
106.70/107.01	c bounds 783 >= 0 @ 68.6584
106.70/107.01	c bounds 782 >= 0 @ 71.9192
106.70/107.01	c bounds 775 >= 0 @ 72.0353
106.70/107.01	c bounds 773 >= 0 @ 72.4188
106.70/107.01	c bounds 760 >= 0 @ 72.4457
106.70/107.01	c bounds 740 >= 0 @ 72.6179
106.70/107.01	c #Conflicts:       5000 | #Constraints:     659390
106.70/107.01	c bounds 726 >= 0 @ 75.3304
106.70/107.01	c bounds 721 >= 0 @ 76.8753
106.70/107.01	c bounds 717 >= 0 @ 77.4474
106.70/107.01	c bounds 715 >= 0 @ 79.808
106.70/107.01	c #Conflicts:       6000 | #Constraints:     660416
106.70/107.01	c INPROCESSING
106.70/107.01	c GARBAGE COLLECT
106.70/107.01	c bounds 713 >= 0 @ 85.352
106.70/107.01	c #Conflicts:       7000 | #Constraints:     659365
106.70/107.01	c bounds 712 >= 0 @ 93.3886
106.70/107.01	c bounds 706 >= 0 @ 94.1373
106.70/107.01	c bounds 694 >= 0 @ 94.1726
106.70/107.01	c bounds 651 >= 0 @ 94.2049
106.70/107.01	c bounds 617 >= 0 @ 94.4158
106.70/107.01	c #Conflicts:       8000 | #Constraints:     660382
106.70/107.01	c #Conflicts:       9000 | #Constraints:     661382
106.70/107.01	c bounds 570 >= 0 @ 97.2608
106.70/107.01	c INPROCESSING
106.70/107.01	c GARBAGE COLLECT
106.70/107.01	c rational objective 165.75
120.85/121.29	c bounds 499 >= 0 @ 105.912
120.85/121.29	c #Conflicts:      10000 | #Constraints:     660043
120.85/121.29	c #Conflicts:      11000 | #Constraints:     661043
120.85/121.29	c #Conflicts:      12000 | #Constraints:     662043
120.85/121.29	c INPROCESSING
120.85/121.29	c rational objective 165.75
149.87/150.35	c bounds 495 >= 0 @ 118.812
149.87/150.35	c bounds 489 >= 0 @ 118.836
149.87/150.35	c bounds 483 >= 0 @ 118.88
149.87/150.35	c bounds 476 >= 0 @ 118.897
149.87/150.35	c bounds 475 >= 0 @ 118.91
149.87/150.35	c bounds 472 >= 0 @ 118.933
149.87/150.35	c bounds 469 >= 0 @ 120.769
149.87/150.35	c bounds 466 >= 0 @ 120.789
149.87/150.35	c bounds 461 >= 0 @ 121.391
149.87/150.35	c bounds 457 >= 0 @ 123.294
149.87/150.35	c #Conflicts:      13000 | #Constraints:     660505
149.87/150.35	c #Conflicts:      14000 | #Constraints:     661505
149.87/150.35	c #Conflicts:      15000 | #Constraints:     662505
149.87/150.35	c INPROCESSING
149.87/150.35	c GARBAGE COLLECT
149.87/150.35	c bounds 453 >= 0 @ 133.156
149.87/150.35	c #Conflicts:      16000 | #Constraints:     660714
149.87/150.35	c #Conflicts:      17000 | #Constraints:     661714
149.87/150.35	c #Conflicts:      18000 | #Constraints:     662714
149.87/150.35	c INPROCESSING
149.87/150.35	c GARBAGE COLLECT
149.87/150.35	c rational objective 165.75
179.59/180.14	c bounds 452 >= 0 @ 150.191
179.59/180.14	c bounds 452 >= 5 @ 151.737
179.59/180.14	c #Conflicts:      19000 | #Constraints:     660727
179.59/180.14	c #Conflicts:      20000 | #Constraints:     661727
179.59/180.14	c #Conflicts:      21000 | #Constraints:     662727
179.59/180.14	c INPROCESSING
179.59/180.14	c GARBAGE COLLECT
179.59/180.14	c rational objective 165.75
224.26/224.92	c bounds 451 >= 5 @ 176.574
224.26/224.92	c #Conflicts:      22000 | #Constraints:     660556
224.26/224.92	c bounds 444 >= 5 @ 179.734
224.26/224.92	c bounds 441 >= 5 @ 182.456
224.26/224.92	c #Conflicts:      23000 | #Constraints:     661577
224.26/224.92	c #Conflicts:      24000 | #Constraints:     662589
224.26/224.92	c bounds 440 >= 5 @ 212.841
224.26/224.92	c bounds 440 >= 9 @ 212.875
224.26/224.92	c #Conflicts:      25000 | #Constraints:     663600
224.26/224.92	c INPROCESSING
224.26/224.92	c GARBAGE COLLECT
224.26/224.92	c rational objective 166
240.91/241.68	c #Conflicts:      26000 | #Constraints:     661161
240.91/241.68	c #Conflicts:      27000 | #Constraints:     662161
240.91/241.68	c #Conflicts:      28000 | #Constraints:     663161
240.91/241.68	c #Conflicts:      29000 | #Constraints:     664161
240.91/241.68	c INPROCESSING
240.91/241.68	c rational objective 166
257.87/258.69	c #Conflicts:      30000 | #Constraints:     661545
257.87/258.69	c #Conflicts:      31000 | #Constraints:     662545
257.87/258.69	c #Conflicts:      32000 | #Constraints:     663545
257.87/258.69	c #Conflicts:      33000 | #Constraints:     664545
257.87/258.69	c INPROCESSING
257.87/258.69	c GARBAGE COLLECT
257.87/258.69	c rational objective 166
279.00/279.84	c #Conflicts:      34000 | #Constraints:     661745
279.00/279.84	c #Conflicts:      35000 | #Constraints:     662745
279.00/279.84	c #Conflicts:      36000 | #Constraints:     663745
279.00/279.84	c #Conflicts:      37000 | #Constraints:     664745
279.00/279.84	c INPROCESSING
279.00/279.84	c rational objective 166
302.54/303.42	c #Conflicts:      38000 | #Constraints:     661752
302.54/303.42	c #Conflicts:      39000 | #Constraints:     662752
302.54/303.42	c #Conflicts:      40000 | #Constraints:     663752
302.54/303.42	c #Conflicts:      41000 | #Constraints:     664752
302.54/303.42	c INPROCESSING
302.54/303.42	c GARBAGE COLLECT
302.54/303.42	c rational objective 166
323.87/324.85	c #Conflicts:      42000 | #Constraints:     661553
323.87/324.85	c #Conflicts:      43000 | #Constraints:     662553
323.87/324.85	c #Conflicts:      44000 | #Constraints:     663553
323.87/324.85	c #Conflicts:      45000 | #Constraints:     664553
323.87/324.85	c #Conflicts:      46000 | #Constraints:     665553
323.87/324.85	c INPROCESSING
323.87/324.85	c GARBAGE COLLECT
323.87/324.85	c rational objective 166
347.60/348.63	c #Conflicts:      47000 | #Constraints:     662148
347.60/348.63	c #Conflicts:      48000 | #Constraints:     663148
347.60/348.63	c #Conflicts:      49000 | #Constraints:     664148
347.60/348.63	c #Conflicts:      50000 | #Constraints:     665148
347.60/348.63	c #Conflicts:      51000 | #Constraints:     666148
347.60/348.63	c INPROCESSING
347.60/348.63	c rational objective 166
374.12/375.29	c #Conflicts:      52000 | #Constraints:     662556
374.12/375.29	c #Conflicts:      53000 | #Constraints:     663556
374.12/375.29	c #Conflicts:      54000 | #Constraints:     664556
374.12/375.29	c #Conflicts:      55000 | #Constraints:     665556
374.12/375.29	c #Conflicts:      56000 | #Constraints:     666556
374.12/375.29	c INPROCESSING
374.12/375.29	c GARBAGE COLLECT
374.12/375.29	c rational objective 166
393.36/394.50	c #Conflicts:      57000 | #Constraints:     662753
393.36/394.50	c #Conflicts:      58000 | #Constraints:     663753
393.36/394.50	c #Conflicts:      59000 | #Constraints:     664753
393.36/394.50	c #Conflicts:      60000 | #Constraints:     665753
393.36/394.50	c bounds 430 >= 9 @ 383.863
393.36/394.50	c #Conflicts:      61000 | #Constraints:     666754
393.36/394.50	c INPROCESSING
393.36/394.50	c GARBAGE COLLECT
393.36/394.50	c rational objective 166
419.80/421.06	c #Conflicts:      62000 | #Constraints:     662752
419.80/421.06	c #Conflicts:      63000 | #Constraints:     663752
419.80/421.06	c #Conflicts:      64000 | #Constraints:     664752
419.80/421.06	c #Conflicts:      65000 | #Constraints:     665752
419.80/421.06	c #Conflicts:      66000 | #Constraints:     666752
419.80/421.06	c INPROCESSING
419.80/421.06	c GARBAGE COLLECT
419.80/421.06	c rational objective 166
445.13/446.40	c #Conflicts:      67000 | #Constraints:     662554
445.13/446.40	c #Conflicts:      68000 | #Constraints:     663554
445.13/446.40	c #Conflicts:      69000 | #Constraints:     664554
445.13/446.40	c #Conflicts:      70000 | #Constraints:     665554
445.13/446.40	c #Conflicts:      71000 | #Constraints:     666554
445.13/446.40	c #Conflicts:      72000 | #Constraints:     667554
445.13/446.40	c INPROCESSING
445.13/446.40	c GARBAGE COLLECT
445.13/446.40	c rational objective 166
469.96/471.34	c #Conflicts:      73000 | #Constraints:     663160
469.96/471.34	c #Conflicts:      74000 | #Constraints:     664160
469.96/471.34	c #Conflicts:      75000 | #Constraints:     665160
469.96/471.34	c #Conflicts:      76000 | #Constraints:     666160
469.96/471.34	c #Conflicts:      77000 | #Constraints:     667160
469.96/471.34	c #Conflicts:      78000 | #Constraints:     668160
469.96/471.34	c INPROCESSING
469.96/471.34	c GARBAGE COLLECT
469.96/471.34	c rational objective 166
496.97/498.43	c #Conflicts:      79000 | #Constraints:     663566
496.97/498.43	c #Conflicts:      80000 | #Constraints:     664566
496.97/498.43	c #Conflicts:      81000 | #Constraints:     665566
496.97/498.43	c #Conflicts:      82000 | #Constraints:     666566
496.97/498.43	c #Conflicts:      83000 | #Constraints:     667566
496.97/498.43	c #Conflicts:      84000 | #Constraints:     668566
496.97/498.43	c INPROCESSING
496.97/498.43	c GARBAGE COLLECT
496.97/498.43	c rational objective 166.417
523.80/525.32	c #Conflicts:      85000 | #Constraints:     663777
523.80/525.32	c #Conflicts:      86000 | #Constraints:     664777
523.80/525.32	c #Conflicts:      87000 | #Constraints:     665777
523.80/525.32	c #Conflicts:      88000 | #Constraints:     666777
523.80/525.32	c #Conflicts:      89000 | #Constraints:     667777
523.80/525.32	c #Conflicts:      90000 | #Constraints:     668777
523.80/525.32	c INPROCESSING
523.80/525.32	c GARBAGE COLLECT
523.80/525.32	c rational objective 166.417
553.63/555.21	c #Conflicts:      91000 | #Constraints:     663775
553.63/555.21	c #Conflicts:      92000 | #Constraints:     664775
553.63/555.21	c #Conflicts:      93000 | #Constraints:     665775
553.63/555.21	c #Conflicts:      94000 | #Constraints:     666775
553.63/555.21	c #Conflicts:      95000 | #Constraints:     667775
553.63/555.21	c #Conflicts:      96000 | #Constraints:     668775
553.63/555.21	c INPROCESSING
553.63/555.21	c GARBAGE COLLECT
553.63/555.21	c rational objective 166.417
588.03/589.71	c #Conflicts:      97000 | #Constraints:     663580
588.03/589.71	c #Conflicts:      98000 | #Constraints:     664580
588.03/589.71	c #Conflicts:      99000 | #Constraints:     665580
588.03/589.71	c #Conflicts:     100000 | #Constraints:     666580
588.03/589.71	c #Conflicts:     101000 | #Constraints:     667580
588.03/589.71	c #Conflicts:     102000 | #Constraints:     668580
588.03/589.71	c #Conflicts:     103000 | #Constraints:     669580
588.03/589.71	c INPROCESSING
588.03/589.71	c GARBAGE COLLECT
588.03/589.71	c rational objective 166.417
665.51/667.41	c bounds 427 >= 9 @ 581.464
665.51/667.41	c bounds 426 >= 9 @ 581.484
665.51/667.41	c bounds 425 >= 9 @ 582.182
665.51/667.41	c bounds 421 >= 9 @ 582.213
665.51/667.41	c bounds 415 >= 9 @ 582.281
665.51/667.41	c bounds 414 >= 9 @ 583.68
665.51/667.41	c bounds 412 >= 9 @ 587.488
665.51/667.41	c #Conflicts:     104000 | #Constraints:     664198
665.51/667.41	c bounds 410 >= 9 @ 589.934
665.51/667.41	c bounds 410 >= 11 @ 589.954
665.51/667.41	c bounds 410 >= 13 @ 589.975
665.51/667.41	c bounds 410 >= 15 @ 589.996
665.51/667.41	c bounds 410 >= 17 @ 590.016
665.51/667.41	c bounds 410 >= 19 @ 590.041
665.51/667.41	c bounds 410 >= 21 @ 590.071
665.51/667.41	c bounds 410 >= 23 @ 590.1
665.51/667.41	c bounds 410 >= 25 @ 590.17
665.51/667.41	c bounds 410 >= 27 @ 591.859
665.51/667.41	c bounds 410 >= 29 @ 593.234
665.51/667.41	c #Conflicts:     105000 | #Constraints:     665264
665.51/667.41	c #Conflicts:     106000 | #Constraints:     666264
665.51/667.41	c bounds 410 >= 31 @ 615.233
665.51/667.41	c #Conflicts:     107000 | #Constraints:     667285
665.51/667.41	c bounds 408 >= 31 @ 615.894
665.51/667.41	c bounds 407 >= 31 @ 617.356
665.51/667.41	c bounds 406 >= 31 @ 618.994
665.51/667.41	c bounds 405 >= 31 @ 619.837
665.51/667.41	c bounds 400 >= 31 @ 619.913
665.51/667.41	c bounds 397 >= 31 @ 621.445
665.51/667.41	c bounds 395 >= 31 @ 622.146
665.51/667.41	c bounds 390 >= 31 @ 622.233
665.51/667.41	c bounds 388 >= 31 @ 622.521
665.51/667.41	c bounds 385 >= 31 @ 622.627
665.51/667.41	c bounds 381 >= 31 @ 623.759
665.51/667.41	c #Conflicts:     108000 | #Constraints:     668296
665.51/667.41	c bounds 379 >= 31 @ 627.414
665.51/667.41	c #Conflicts:     109000 | #Constraints:     669297
665.51/667.41	c #Conflicts:     110000 | #Constraints:     670297
665.51/667.41	c INPROCESSING
665.51/667.41	c GARBAGE COLLECT
665.51/667.41	c rational objective 166.417
785.07/787.37	c bounds 378 >= 31 @ 658.329
785.07/787.37	c bounds 375 >= 31 @ 658.398
785.07/787.37	c #Conflicts:     111000 | #Constraints:     664664
785.07/787.37	c bounds 374 >= 31 @ 668.658
785.07/787.37	c bounds 373 >= 31 @ 676.199
785.07/787.37	c bounds 371 >= 31 @ 676.282
785.07/787.37	c bounds 370 >= 31 @ 676.35
785.07/787.37	c bounds 365 >= 31 @ 677.899
785.07/787.37	c bounds 360 >= 31 @ 679.292
785.07/787.37	c bounds 359 >= 31 @ 679.374
785.07/787.37	c bounds 356 >= 31 @ 679.648
785.07/787.37	c bounds 354 >= 31 @ 680.19
785.07/787.37	c bounds 354 >= 32 @ 680.225
785.07/787.37	c bounds 354 >= 33 @ 680.261
785.07/787.37	c bounds 354 >= 34 @ 680.299
785.07/787.37	c bounds 354 >= 35 @ 680.339
785.07/787.37	c bounds 354 >= 36 @ 680.371
785.07/787.37	c bounds 354 >= 37 @ 680.41
785.07/787.37	c bounds 354 >= 38 @ 680.451
785.07/787.37	c bounds 354 >= 39 @ 680.489
785.07/787.37	c bounds 354 >= 40 @ 680.533
785.07/787.37	c bounds 354 >= 41 @ 680.593
785.07/787.37	c bounds 354 >= 42 @ 680.646
785.07/787.37	c bounds 354 >= 43 @ 682.698
785.07/787.37	c bounds 354 >= 44 @ 682.769
785.07/787.37	c bounds 354 >= 45 @ 682.884
785.07/787.37	c bounds 354 >= 46 @ 683.041
785.07/787.37	c bounds 354 >= 47 @ 683.304
785.07/787.37	c #Conflicts:     112000 | #Constraints:     665798
785.07/787.37	c bounds 354 >= 48 @ 683.791
785.07/787.37	c #Conflicts:     113000 | #Constraints:     666816
785.07/787.37	c bounds 351 >= 48 @ 701.885
785.07/787.37	c bounds 351 >= 49 @ 705.139
785.07/787.37	c bounds 351 >= 50 @ 707.032
785.07/787.37	c #Conflicts:     114000 | #Constraints:     667859
785.07/787.37	c bounds 351 >= 51 @ 710.178
785.07/787.37	c bounds 351 >= 52 @ 711.73
785.07/787.37	c bounds 351 >= 53 @ 716.252
785.07/787.37	c #Conflicts:     115000 | #Constraints:     668919
785.07/787.37	c bounds 351 >= 54 @ 720.859
785.07/787.37	c bounds 351 >= 55 @ 733.782
785.07/787.37	c #Conflicts:     116000 | #Constraints:     669973
785.07/787.37	c bounds 351 >= 56 @ 739.488
785.07/787.37	c #Conflicts:     117000 | #Constraints:     670994
785.07/787.37	c INPROCESSING
785.07/787.37	c GARBAGE COLLECT
785.07/787.37	c rational objective 166.417
883.01/885.57	c #Conflicts:     118000 | #Constraints:     665141
883.01/885.57	c #Conflicts:     119000 | #Constraints:     666151
883.01/885.57	c #Conflicts:     120000 | #Constraints:     667160
883.01/885.57	c #Conflicts:     121000 | #Constraints:     668164
883.01/885.57	c bounds 350 >= 56 @ 824.653
883.01/885.57	c bounds 350 >= 57 @ 831.811
883.01/885.57	c #Conflicts:     122000 | #Constraints:     669190
883.01/885.57	c bounds 350 >= 58 @ 846.139
883.01/885.57	c #Conflicts:     123000 | #Constraints:     670232
883.01/885.57	c #Conflicts:     124000 | #Constraints:     671232
883.01/885.57	c INPROCESSING
883.01/885.57	c GARBAGE COLLECT
883.01/885.57	c rational objective 166.444
1110.76/1114.05	c bounds 350 >= 59 @ 874.342
1110.76/1114.05	c #Conflicts:     125000 | #Constraints:     665249
1110.76/1114.05	c #Conflicts:     126000 | #Constraints:     666249
1110.76/1114.05	c bounds 350 >= 60 @ 885.449
1110.76/1114.05	c #Conflicts:     127000 | #Constraints:     667282
1110.76/1114.05	c bounds 350 >= 61 @ 905.593
1110.76/1114.05	c #Conflicts:     128000 | #Constraints:     668303
1110.76/1114.05	c #Conflicts:     129000 | #Constraints:     669303
1110.76/1114.05	c #Conflicts:     130000 | #Constraints:     670303
1110.76/1114.05	c bounds 350 >= 62 @ 935.886
1110.76/1114.05	c #Conflicts:     131000 | #Constraints:     671324
1110.76/1114.05	c INPROCESSING
1110.76/1114.05	c GARBAGE COLLECT
1110.76/1114.05	c #Conflicts:     132000 | #Constraints:     665100
1110.76/1114.05	c #Conflicts:     133000 | #Constraints:     666100
1110.76/1114.05	c #Conflicts:     134000 | #Constraints:     667100
1110.76/1114.05	c #Conflicts:     135000 | #Constraints:     668100
1110.76/1114.05	c bounds 350 >= 63 @ 1050.45
1110.76/1114.05	c #Conflicts:     136000 | #Constraints:     669142
1110.76/1114.05	c #Conflicts:     137000 | #Constraints:     670156
1110.76/1114.05	c #Conflicts:     138000 | #Constraints:     671166
1110.76/1114.05	c bounds 348 >= 63 @ 1085.04
1110.76/1114.05	c #Conflicts:     139000 | #Constraints:     672178
1110.76/1114.05	c INPROCESSING
1110.76/1114.05	c GARBAGE COLLECT
1110.76/1114.05	c rational objective 166.5
1207.75/1211.34	c #Conflicts:     140000 | #Constraints:     665761
1207.75/1211.34	c #Conflicts:     141000 | #Constraints:     666761
1207.75/1211.34	c #Conflicts:     142000 | #Constraints:     667761
1207.75/1211.34	c bounds 348 >= 64 @ 1118.94
1207.75/1211.34	c #Conflicts:     143000 | #Constraints:     668804
1207.75/1211.34	c #Conflicts:     144000 | #Constraints:     669815
1207.75/1211.34	c bounds 345 >= 64 @ 1140.15
1207.75/1211.34	c bounds 343 >= 64 @ 1141.9
1207.75/1211.34	c #Conflicts:     145000 | #Constraints:     670831
1207.75/1211.34	c #Conflicts:     146000 | #Constraints:     671844
1207.75/1211.34	c #Conflicts:     147000 | #Constraints:     672852
1207.75/1211.34	c INPROCESSING
1207.75/1211.34	c GARBAGE COLLECT
1207.75/1211.34	c rational objective 166.5
1353.06/1357.13	c #Conflicts:     148000 | #Constraints:     666214
1353.06/1357.13	c #Conflicts:     149000 | #Constraints:     667214
1353.06/1357.13	c #Conflicts:     150000 | #Constraints:     668214
1353.06/1357.13	c bounds 343 >= 65 @ 1222.92
1353.06/1357.13	c #Conflicts:     151000 | #Constraints:     669235
1353.06/1357.13	c #Conflicts:     152000 | #Constraints:     670235
1353.06/1357.13	c #Conflicts:     153000 | #Constraints:     671235
1353.06/1357.13	c bounds 343 >= 66 @ 1257.96
1353.06/1357.13	c bounds 342 >= 66 @ 1258
1353.06/1357.13	c bounds 339 >= 66 @ 1263.32
1353.06/1357.13	c #Conflicts:     154000 | #Constraints:     672286
1353.06/1357.13	c #Conflicts:     155000 | #Constraints:     673303
1353.06/1357.13	c INPROCESSING
1353.06/1357.13	c GARBAGE COLLECT
1353.06/1357.13	c rational objective 166.5
1448.56/1452.91	c #Conflicts:     156000 | #Constraints:     666475
1448.56/1452.91	c #Conflicts:     157000 | #Constraints:     667475
1448.56/1452.91	c #Conflicts:     158000 | #Constraints:     668475
1448.56/1452.91	c #Conflicts:     159000 | #Constraints:     669475
1448.56/1452.91	c #Conflicts:     160000 | #Constraints:     670475
1448.56/1452.91	c bounds 339 >= 67 @ 1390.24
1448.56/1452.91	c bounds 338 >= 67 @ 1390.47
1448.56/1452.91	c #Conflicts:     161000 | #Constraints:     671509
1448.56/1452.91	c bounds 337 >= 67 @ 1398.86
1448.56/1452.91	c bounds 334 >= 67 @ 1406.06
1448.56/1452.91	c #Conflicts:     162000 | #Constraints:     672519
1448.56/1452.91	c #Conflicts:     163000 | #Constraints:     673531
1448.56/1452.91	c bounds 333 >= 67 @ 1423.06
1448.56/1452.91	c INPROCESSING
1448.56/1452.91	c GARBAGE COLLECT
1448.56/1452.91	c rational objective 166.5
1550.45/1555.19	c #Conflicts:     164000 | #Constraints:     666512
1550.45/1555.19	c #Conflicts:     165000 | #Constraints:     667512
1550.45/1555.19	c #Conflicts:     166000 | #Constraints:     668512
1550.45/1555.19	c #Conflicts:     167000 | #Constraints:     669512
1550.45/1555.19	c #Conflicts:     168000 | #Constraints:     670512
1550.45/1555.19	c bounds 333 >= 68 @ 1477.3
1550.45/1555.19	c bounds 331 >= 68 @ 1479.31
1550.45/1555.19	c bounds 328 >= 68 @ 1482.12
1550.45/1555.19	c #Conflicts:     169000 | #Constraints:     671555
1550.45/1555.19	c bounds 325 >= 68 @ 1487.87
1550.45/1555.19	c #Conflicts:     170000 | #Constraints:     672565
1550.45/1555.19	c bounds 324 >= 68 @ 1511.54
1550.45/1555.19	c #Conflicts:     171000 | #Constraints:     673566
1550.45/1555.19	c INPROCESSING
1550.45/1555.19	c GARBAGE COLLECT
1550.45/1555.19	c rational objective 166.5
1665.77/1670.82	c #Conflicts:     172000 | #Constraints:     666334
1665.77/1670.82	c #Conflicts:     173000 | #Constraints:     667334
1665.77/1670.82	c #Conflicts:     174000 | #Constraints:     668334
1665.77/1670.82	c #Conflicts:     175000 | #Constraints:     669334
1665.77/1670.82	c #Conflicts:     176000 | #Constraints:     670334
1665.77/1670.82	c #Conflicts:     177000 | #Constraints:     671334
1665.77/1670.82	c bounds 324 >= 69 @ 1597.55
1665.77/1670.82	c bounds 323 >= 69 @ 1597.59
1665.77/1670.82	c #Conflicts:     178000 | #Constraints:     672376
1665.77/1670.82	c bounds 322 >= 69 @ 1601.48
1665.77/1670.82	c bounds 321 >= 69 @ 1603.25
1665.77/1670.82	c bounds 320 >= 69 @ 1604.16
1665.77/1670.82	c bounds 318 >= 69 @ 1609.65
1665.77/1670.82	c #Conflicts:     179000 | #Constraints:     673396
1665.77/1670.82	c bounds 317 >= 69 @ 1620.67
1665.77/1670.82	c bounds 316 >= 69 @ 1622.27
1665.77/1670.82	c bounds 315 >= 69 @ 1622.47
1665.77/1670.82	c bounds 313 >= 69 @ 1623.79
1665.77/1670.82	c bounds 311 >= 69 @ 1623.92
1665.77/1670.82	c #Conflicts:     180000 | #Constraints:     674416
1665.77/1670.82	c INPROCESSING
1665.77/1670.82	c GARBAGE COLLECT
1665.77/1670.82	c rational objective 166.526
1892.92/1898.72	c #Conflicts:     181000 | #Constraints:     666978
1892.92/1898.72	c #Conflicts:     182000 | #Constraints:     667989
1892.92/1898.72	c #Conflicts:     183000 | #Constraints:     668995
1892.92/1898.72	c #Conflicts:     184000 | #Constraints:     670003
1892.92/1898.72	c #Conflicts:     185000 | #Constraints:     671010
1892.92/1898.72	c #Conflicts:     186000 | #Constraints:     672018
1892.92/1898.72	c #Conflicts:     187000 | #Constraints:     673029
1892.92/1898.72	c #Conflicts:     188000 | #Constraints:     674035
1892.92/1898.72	c #Conflicts:     189000 | #Constraints:     675045
1892.92/1898.72	c INPROCESSING
1892.92/1898.72	c GARBAGE COLLECT
1892.92/1898.72	c rational objective 166.526
2021.94/2028.25	c #Conflicts:     190000 | #Constraints:     667405
2021.94/2028.25	c #Conflicts:     191000 | #Constraints:     668405
2021.94/2028.25	c #Conflicts:     192000 | #Constraints:     669405
2021.94/2028.25	c #Conflicts:     193000 | #Constraints:     670405
2021.94/2028.25	c #Conflicts:     194000 | #Constraints:     671405
2021.94/2028.25	c #Conflicts:     195000 | #Constraints:     672405
2021.94/2028.25	c #Conflicts:     196000 | #Constraints:     673405
2021.94/2028.25	c #Conflicts:     197000 | #Constraints:     674405
2021.94/2028.25	c #Conflicts:     198000 | #Constraints:     675405
2021.94/2028.25	c INPROCESSING
2021.94/2028.25	c GARBAGE COLLECT
2021.94/2028.25	c rational objective 166.526
2151.44/2158.12	c #Conflicts:     199000 | #Constraints:     667589
2151.44/2158.12	c #Conflicts:     200000 | #Constraints:     668589
2151.44/2158.12	c #Conflicts:     201000 | #Constraints:     669589
2151.44/2158.12	c #Conflicts:     202000 | #Constraints:     670589
2151.44/2158.12	c bounds 311 >= 70 @ 2043.62
2151.44/2158.12	c #Conflicts:     203000 | #Constraints:     671625
2151.44/2158.12	c #Conflicts:     204000 | #Constraints:     672625
2151.44/2158.12	c #Conflicts:     205000 | #Constraints:     673625
2151.44/2158.12	c #Conflicts:     206000 | #Constraints:     674625
2151.44/2158.12	c #Conflicts:     207000 | #Constraints:     675625
2151.44/2158.12	c INPROCESSING
2151.44/2158.12	c GARBAGE COLLECT
2151.44/2158.12	c rational objective 166.526
2390.42/2397.98	c #Conflicts:     208000 | #Constraints:     667622
2390.42/2397.98	c #Conflicts:     209000 | #Constraints:     668622
2390.42/2397.98	c #Conflicts:     210000 | #Constraints:     669622
2390.42/2397.98	c #Conflicts:     211000 | #Constraints:     670622
2390.42/2397.98	c #Conflicts:     212000 | #Constraints:     671622
2390.42/2397.98	c #Conflicts:     213000 | #Constraints:     672622
2390.42/2397.98	c #Conflicts:     214000 | #Constraints:     673622
2390.42/2397.98	c #Conflicts:     215000 | #Constraints:     674622
2390.42/2397.98	c #Conflicts:     216000 | #Constraints:     675622
2390.42/2397.98	c bounds 311 >= 71 @ 2249.85
2390.42/2397.98	c INPROCESSING
2390.42/2397.98	c GARBAGE COLLECT
2390.42/2397.98	c rational objective 166.526
2516.52/2524.46	c #Conflicts:     217000 | #Constraints:     667449
2516.52/2524.46	c #Conflicts:     218000 | #Constraints:     668449
2516.52/2524.46	c #Conflicts:     219000 | #Constraints:     669449
2516.52/2524.46	c #Conflicts:     220000 | #Constraints:     670449
2516.52/2524.46	c #Conflicts:     221000 | #Constraints:     671449
2516.52/2524.46	c #Conflicts:     222000 | #Constraints:     672449
2516.52/2524.46	c #Conflicts:     223000 | #Constraints:     673449
2516.52/2524.46	c #Conflicts:     224000 | #Constraints:     674449
2516.52/2524.46	c #Conflicts:     225000 | #Constraints:     675449
2516.52/2524.46	c #Conflicts:     226000 | #Constraints:     676449
2516.52/2524.46	c INPROCESSING
2516.52/2524.46	c GARBAGE COLLECT
2516.52/2524.46	c rational objective 166.583
2672.39/2680.89	c #Conflicts:     227000 | #Constraints:     668049
2672.39/2680.89	c #Conflicts:     228000 | #Constraints:     669049
2672.39/2680.89	c #Conflicts:     229000 | #Constraints:     670049
2672.39/2680.89	c #Conflicts:     230000 | #Constraints:     671049
2672.39/2680.89	c #Conflicts:     231000 | #Constraints:     672049
2672.39/2680.89	c #Conflicts:     232000 | #Constraints:     673049
2672.39/2680.89	c bounds 311 >= 72 @ 2564.29
2672.39/2680.89	c #Conflicts:     233000 | #Constraints:     674085
2672.39/2680.89	c #Conflicts:     234000 | #Constraints:     675085
2672.39/2680.89	c #Conflicts:     235000 | #Constraints:     676085
2672.39/2680.89	c #Conflicts:     236000 | #Constraints:     677085
2672.39/2680.89	c INPROCESSING
2672.39/2680.89	c GARBAGE COLLECT
2672.39/2680.89	c rational objective 166.583
2858.50/2867.56	c #Conflicts:     237000 | #Constraints:     668488
2858.50/2867.56	c bounds 307 >= 72 @ 2654.56
2858.50/2867.56	c #Conflicts:     238000 | #Constraints:     669507
2858.50/2867.56	c #Conflicts:     239000 | #Constraints:     670515
2858.50/2867.56	c #Conflicts:     240000 | #Constraints:     671528
2858.50/2867.56	c bounds 302 >= 72 @ 2697.68
2858.50/2867.56	c #Conflicts:     241000 | #Constraints:     672534
2858.50/2867.56	c #Conflicts:     242000 | #Constraints:     673534
2858.50/2867.56	c #Conflicts:     243000 | #Constraints:     674534
2858.50/2867.56	c #Conflicts:     244000 | #Constraints:     675534
2858.50/2867.56	c #Conflicts:     245000 | #Constraints:     676534
2858.50/2867.56	c #Conflicts:     246000 | #Constraints:     677534
2858.50/2867.56	c INPROCESSING
2858.50/2867.56	c GARBAGE COLLECT
2858.50/2867.56	c rational objective 166.583
3159.40/3169.49	c #Conflicts:     247000 | #Constraints:     668713
3159.40/3169.49	c #Conflicts:     248000 | #Constraints:     669722
3159.40/3169.49	c #Conflicts:     249000 | #Constraints:     670728
3159.40/3169.49	c #Conflicts:     250000 | #Constraints:     671733
3159.40/3169.49	c #Conflicts:     251000 | #Constraints:     672743
3159.40/3169.49	c #Conflicts:     252000 | #Constraints:     673755
3159.40/3169.49	c #Conflicts:     253000 | #Constraints:     674761
3159.40/3169.49	c #Conflicts:     254000 | #Constraints:     675773
3159.40/3169.49	c #Conflicts:     255000 | #Constraints:     676782
3159.40/3169.49	c #Conflicts:     256000 | #Constraints:     677791
3159.40/3169.49	c INPROCESSING
3159.40/3169.49	c GARBAGE COLLECT
3159.40/3169.49	c rational objective 166.583
3324.28/3334.86	c #Conflicts:     257000 | #Constraints:     668750
3324.28/3334.86	c #Conflicts:     258000 | #Constraints:     669750
3324.28/3334.86	c #Conflicts:     259000 | #Constraints:     670750
3324.28/3334.86	c #Conflicts:     260000 | #Constraints:     671750
3324.28/3334.86	c #Conflicts:     261000 | #Constraints:     672750
3324.28/3334.86	c #Conflicts:     262000 | #Constraints:     673750
3324.28/3334.86	c #Conflicts:     263000 | #Constraints:     674750
3324.28/3334.86	c #Conflicts:     264000 | #Constraints:     675750
3324.28/3334.86	c #Conflicts:     265000 | #Constraints:     676750
3324.28/3334.86	c #Conflicts:     266000 | #Constraints:     677750
3324.28/3334.86	c INPROCESSING
3324.28/3334.86	c GARBAGE COLLECT
3324.28/3334.86	c rational objective 166.583
3492.39/3503.45	c #Conflicts:     267000 | #Constraints:     668519
3492.39/3503.45	c #Conflicts:     268000 | #Constraints:     669519
3492.39/3503.45	c #Conflicts:     269000 | #Constraints:     670519
3492.39/3503.45	c #Conflicts:     270000 | #Constraints:     671519
3492.39/3503.45	c #Conflicts:     271000 | #Constraints:     672519
3492.39/3503.45	c #Conflicts:     272000 | #Constraints:     673519
3492.39/3503.45	c #Conflicts:     273000 | #Constraints:     674519
3492.39/3503.45	c #Conflicts:     274000 | #Constraints:     675519
3492.39/3503.45	c #Conflicts:     275000 | #Constraints:     676519
3492.39/3503.45	c bounds 302 >= 73 @ 3409.58
3492.39/3503.45	c #Conflicts:     276000 | #Constraints:     677567
3492.39/3503.45	c #Conflicts:     277000 | #Constraints:     678567
3492.39/3503.45	c INPROCESSING
3492.39/3503.45	c GARBAGE COLLECT
3492.39/3503.45	c rational objective 166.583
3600.09/3611.44	c #Conflicts:     278000 | #Constraints:     669142
3600.09/3611.44	c #Conflicts:     279000 | #Constraints:     670142
3600.09/3611.44	c #Conflicts:     280000 | #Constraints:     671142
3600.09/3611.44	c #Conflicts:     281000 | #Constraints:     672142
3600.09/3611.44	c #Conflicts:     282000 | #Constraints:     673142
3600.09/3611.44	c #Conflicts:     283000 | #Constraints:     674142
3600.09/3611.44	c Program interrupted by user.
3600.09/3611.44	c cpu time 3552.03 s
3600.09/3611.44	c deterministic time 431068743122 4.31e+11
3600.09/3611.44	c optimization time 106.974 s
3600.09/3611.44	c total solve time 3443.56 s
3600.09/3611.44	c core-guided solve time 2312.52 s
3600.09/3611.44	c propagation time 1973.7 s
3600.09/3611.44	c conflict analysis time 979.728 s
3600.09/3611.44	c propagations 85171572
3600.09/3611.44	c resolve steps 4524439
3600.09/3611.44	c decisions 13322478
3600.09/3611.44	c conflicts 283940
3600.09/3611.44	c restarts 672
3600.09/3611.44	c inprocessing phases 44
3600.09/3611.44	c input clauses 657161
3600.09/3611.44	c input cardinalities 55
3600.09/3611.44	c input general constraints 923
3600.09/3611.44	c input average constraint length 8.49
3600.09/3611.44	c input average constraint degree 221.50
3600.09/3611.44	c learned clauses 151043
3600.09/3611.44	c learned cardinalities 6
3600.09/3611.44	c learned general constraints 133542
3600.09/3611.44	c learned average constraint length 3668.49
3600.09/3611.44	c learned average constraint degree 66639404471.82
3600.09/3611.44	c watched constraints 25090
3600.09/3611.44	c counting constraints 109375
3600.09/3611.44	c gcd simplifications 4753
3600.09/3611.44	c detected cardinalities 0
3600.09/3611.44	c weakened non-implied lits 346474686
3600.09/3611.44	c weakened non-implying lits 83469
3600.09/3611.44	c original variables 10000
3600.09/3611.44	c clausal propagations 21549053
3600.09/3611.44	c cardinality propagations 68854
3600.09/3611.44	c watched propagations 3120587
3600.09/3611.44	c counting propagations 59640269
3600.09/3611.44	c watch lookups 16742803275
3600.09/3611.44	c watch backjump lookups 16545271312
3600.09/3611.44	c watch checks 153377725025
3600.09/3611.44	c propagation checks 238796749449
3600.09/3611.44	c constraint additions 5408481637
3600.09/3611.44	c trail pops 98767809
3600.09/3611.44	c formula constraints 656900
3600.09/3611.44	c learned constraints 283295
3600.09/3611.44	c bound constraints 349
3600.09/3611.44	c core-guided constraints 890
3600.09/3611.44	c encountered formula constraints 2486989
3600.09/3611.44	c encountered learned constraints 1841848
3600.09/3611.44	c encountered bound constraints 4640
3600.09/3611.44	c encountered core-guided constraints 429474
3600.09/3611.44	c LP total time 966.871 s
3600.09/3611.44	c LP solve time 933.4 s
3600.09/3611.44	c LP constraints added 656913
3600.09/3611.44	c LP constraints removed 4
3600.09/3611.44	c LP pivots internal 285130
3600.09/3611.44	c LP pivots root 165434
3600.09/3611.44	c LP calls 1400
3600.09/3611.44	c LP optimalities 748
3600.09/3611.44	c LP no pivot count 241
3600.09/3611.44	c LP infeasibilities 648
3600.09/3611.44	c LP valid Farkas constraints 648
3600.09/3611.44	c LP learned Farkas constraints 648
3600.09/3611.44	c LP basis resets 0
3600.09/3611.44	c LP cycling count 0
3600.09/3611.44	c LP singular count 0
3600.09/3611.44	c LP no primal count 0
3600.09/3611.44	c LP no farkas count 0
3600.09/3611.44	c LP other issue count 0
3600.09/3611.44	c LP Gomory cuts 0
3600.09/3611.44	c LP learned cuts 13
3600.09/3611.44	c LP deleted cuts 4
3600.09/3611.44	c LP encountered Gomory constraints 0
3600.09/3611.44	c LP encountered Farkas constraints 43162
3600.09/3611.44	c LP encountered learned Farkas constraints 1618
3600.09/3611.44	c CG auxiliary variables introduced 315
3600.09/3611.44	c CG solutions found 294
3600.09/3611.44	c CG cores constructed 55
3600.09/3611.44	c CG core cardinality constraints returned 0
3600.09/3611.44	c CG unit cores 0
3600.09/3611.44	c CG single cores 52
3600.09/3611.44	c CG blocks removed during cardinality reduction 0
3600.09/3611.44	c CG first core best 0
3600.09/3611.44	c CG decision core best 0
3600.09/3611.44	c CG core reduction tie 3
3600.09/3611.44	c CG core degree average 1.00
3600.09/3611.44	c CG core slack average 1008.69
3600.09/3611.44	s SATISFIABLE
3600.09/3611.44	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	302

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 (362 MiB free)
  memory of node 1: 64510 MiB (21238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456766-1721772807/watcher-4456766-1721772807 -o /tmp/evaluation-result-4456766-1721772807/solver-4456766-1721772807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721765586-123168 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456766-1721772807 --lp-cut-gomory=0 HOME/instance-4456766-1721772807.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=128002, runsolver pid=127999

[startup+0.100711 s]*
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22110776/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=41212 memory=11288 CPUtime=0.09 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 1488 0 0 0 6 3 0 0 20 0 1 0 13810300 42201088 2822 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 10303 2822 1376 992 0 2161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11288 KiB

[startup+0.204854 s]*
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22103428/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=42668 memory=14652 CPUtime=0.19 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 1850 0 0 0 14 5 0 0 20 0 1 0 13810300 43692032 3663 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 10667 3663 1376 992 0 2525 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 14652 KiB

[startup+0.305509 s]*
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22099592/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=45652 memory=16124 CPUtime=0.3 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 2175 0 0 0 22 8 0 0 20 0 1 0 13810300 46747648 4031 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 11413 4031 1376 992 0 3271 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 16124 KiB

[startup+0.70016 s]
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22086592/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=56396 memory=27740 CPUtime=0.68 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 4599 0 0 0 48 20 0 0 20 0 1 0 13810300 57749504 6935 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 14099 6935 1376 992 0 5957 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 27740 KiB

[startup+1.50023 s]
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22058536/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=85484 memory=51736 CPUtime=1.49 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 8020 0 0 0 106 43 0 0 20 0 1 0 13810300 87535616 12934 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 21371 12934 1376 992 0 13229 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 85484 KiB
Current children cumulated memory: 51736 KiB

[startup+3.10605 s]
/proc/loadavg: 4.00 4.09 4.14 5/264 128004
/proc/meminfo: memFree=21481800/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=361156 memory=330328 CPUtime=3.08 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 57348 0 0 0 251 57 0 0 20 0 1 0 13810300 369823744 82582 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 90289 82582 1711 992 0 82147 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 330328 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.11 4.14 5/264 128004
/proc/meminfo: memFree=21430912/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=372376 memory=323372 CPUtime=6.27 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 58560 0 0 0 553 74 0 0 20 0 1 0 13810300 381313024 80843 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 93094 80843 1857 992 0 84952 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 372376 KiB
Current children cumulated memory: 323372 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.14 5/264 128006
/proc/meminfo: memFree=21107856/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=459008 memory=414064 CPUtime=12.66 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 70131 0 0 0 1141 125 0 0 20 0 1 0 13810300 470024192 103516 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 114752 103516 1873 992 0 106610 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 459008 KiB
Current children cumulated memory: 414064 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.10 4.14 5/264 128007
/proc/meminfo: memFree=20637036/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=475900 memory=447672 CPUtime=25.41 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 73987 0 0 0 2412 129 0 0 20 0 1 0 13810300 487321600 111918 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 118975 111918 1873 992 0 110833 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 475900 KiB
Current children cumulated memory: 447672 KiB

[startup+51.1059 s]
/proc/loadavg: 4.30 4.15 4.15 5/264 128010
/proc/meminfo: memFree=19896884/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=578216 memory=546596 CPUtime=50.95 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 84547 0 0 0 4920 175 0 0 20 0 1 0 13810300 592093184 136649 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 144554 136649 1873 992 0 136412 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 578216 KiB
Current children cumulated memory: 546596 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.15 5/263 128068
/proc/meminfo: memFree=17988428/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=780692 memory=714076 CPUtime=102.01 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 101592 0 0 0 9941 260 0 0 20 0 1 0 13810300 799428608 178519 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 195173 178519 1873 992 0 187031 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 780692 KiB
Current children cumulated memory: 714076 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.20 4.17 5/262 128080
/proc/meminfo: memFree=17138040/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=890500 memory=785300 CPUtime=161.84 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 105079 0 0 0 15836 348 0 0 20 0 1 0 13810300 911872000 196325 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 222625 196325 1873 992 0 214483 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 890500 KiB
Current children cumulated memory: 785300 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.20 4.17 5/261 128092
/proc/meminfo: memFree=14753540/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=1307188 memory=1222652 CPUtime=221.67 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 155746 0 0 0 21704 463 0 0 20 0 1 0 13810300 1338560512 305663 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 326797 305663 1889 992 0 318655 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1307188 KiB
Current children cumulated memory: 1222652 KiB

[startup+282.3 s]
/proc/loadavg: 4.31 4.23 4.19 5/262 128104
/proc/meminfo: memFree=13663588/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=1311892 memory=1222764 CPUtime=281.5 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 155884 0 0 0 27627 523 0 0 20 0 1 0 13810300 1343377408 305691 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 327973 305691 1889 992 0 319831 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1311892 KiB
Current children cumulated memory: 1222764 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/263 128116
/proc/meminfo: memFree=12754980/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=1322188 memory=1239872 CPUtime=341.32 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 157818 0 0 0 33555 577 0 0 20 0 1 0 13810300 1353920512 309968 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 330547 309968 1889 992 0 322405 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1322188 KiB
Current children cumulated memory: 1239872 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/265 128131
/proc/meminfo: memFree=11833284/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=1322188 memory=1239872 CPUtime=401.15 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 158052 0 0 0 39482 633 0 0 20 0 1 0 13810300 1353920512 309968 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 330547 309968 1889 992 0 322405 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1322188 KiB
Current children cumulated memory: 1239872 KiB

[startup+462.3 s]
/proc/loadavg: 4.26 4.19 4.18 5/265 128142
/proc/meminfo: memFree=10725696/131524600 swapFree=131070448/131071996
[pid=128002] ppid=127999 vsize=1322188 memory=1239872 CPUtime=460.98 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 158243 0 0 0 45392 706 0 0 20 0 1 0 13810300 1353920512 309968 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 330547 309968 1889 992 0 322405 0

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

/proc/128002/statm: 684458 621326 1889 992 0 676316 0
Current children cumulated CPU time: 2913.11 s
Current children cumulated vsize: 2737832 KiB
Current children cumulated memory: 2485304 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/266 129904
/proc/meminfo: memFree=492988/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=2737832 memory=2485304 CPUtime=2972.91 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 439041 0 0 0 293314 3977 0 0 20 0 1 0 13810300 2803539968 621326 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 684458 621326 1889 992 0 676316 0
Current children cumulated CPU time: 2972.91 s
Current children cumulated vsize: 2737832 KiB
Current children cumulated memory: 2485304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/261 129915
/proc/meminfo: memFree=681540/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=2737832 memory=2485472 CPUtime=3032.71 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 444268 0 0 0 299255 4016 0 0 20 0 1 0 13810300 2803539968 621368 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 684458 621368 1889 992 0 676316 0
Current children cumulated CPU time: 3032.71 s
Current children cumulated vsize: 2737832 KiB
Current children cumulated memory: 2485472 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/262 129926
/proc/meminfo: memFree=560068/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=2737832 memory=2545964 CPUtime=3092.52 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 450445 0 0 0 305193 4059 0 0 20 0 1 0 13810300 2803539968 636491 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 684458 636491 1889 992 0 676316 0
Current children cumulated CPU time: 3092.52 s
Current children cumulated vsize: 2737832 KiB
Current children cumulated memory: 2545964 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/260 129937
/proc/meminfo: memFree=656844/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3322620 memory=2679780 CPUtime=3152.32 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 474279 0 0 0 311137 4095 0 0 20 0 1 0 13810300 3402362880 669945 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 830655 669945 1889 992 0 822513 0
Current children cumulated CPU time: 3152.32 s
Current children cumulated vsize: 3322620 KiB
Current children cumulated memory: 2679780 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/261 129949
/proc/meminfo: memFree=580016/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3329616 memory=2682052 CPUtime=3212.14 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 475990 0 0 0 317002 4212 0 0 20 0 1 0 13810300 3409526784 670513 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 832404 670513 1889 992 0 824262 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 3329616 KiB
Current children cumulated memory: 2682052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/262 129961
/proc/meminfo: memFree=627128/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3329616 memory=2682052 CPUtime=3271.94 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 477198 0 0 0 322883 4311 0 0 20 0 1 0 13810300 3409526784 670513 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 832404 670513 1889 992 0 824262 0
Current children cumulated CPU time: 3271.94 s
Current children cumulated vsize: 3329616 KiB
Current children cumulated memory: 2682052 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/265 129976
/proc/meminfo: memFree=676448/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3329616 memory=2685176 CPUtime=3331.75 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 485555 0 0 0 328786 4389 0 0 20 0 1 0 13810300 3409526784 671294 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 832404 671294 1889 992 0 824262 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 3329616 KiB
Current children cumulated memory: 2685176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/265 129988
/proc/meminfo: memFree=619504/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3329616 memory=2685684 CPUtime=3391.58 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 486280 0 0 0 334678 4480 0 0 20 0 1 0 13810300 3409526784 671421 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 832404 671421 1889 992 0 824262 0
Current children cumulated CPU time: 3391.58 s
Current children cumulated vsize: 3329616 KiB
Current children cumulated memory: 2685684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/265 129999
/proc/meminfo: memFree=595640/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3329616 memory=2685684 CPUtime=3451.41 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 487200 0 0 0 340586 4555 0 0 20 0 1 0 13810300 3409526784 671421 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 832404 671421 1889 992 0 824262 0
Current children cumulated CPU time: 3451.41 s
Current children cumulated vsize: 3329616 KiB
Current children cumulated memory: 2685684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/266 130014
/proc/meminfo: memFree=641120/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3354704 memory=2695524 CPUtime=3511.24 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 494381 0 0 0 346466 4658 0 0 20 0 1 0 13810300 3435216896 673881 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 838676 673881 1889 992 0 830534 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 3354704 KiB
Current children cumulated memory: 2695524 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.15 5/266 130024
/proc/meminfo: memFree=630000/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3354704 memory=2710820 CPUtime=3571.07 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 496238 0 0 0 352342 4765 0 0 20 0 1 0 13810300 3435216896 677705 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 838676 677705 1889 992 0 830534 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 3354704 KiB
Current children cumulated memory: 2710820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.02 4.10 4.14 5/264 130041
/proc/meminfo: memFree=3101640/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3362896 memory=2714676 CPUtime=3600.09 cores=1,3
/proc/128002/stat : 128002 (roundingsat) R 127999 128002 123156 0 -1 4194304 497314 0 0 0 355202 4807 0 0 20 0 1 0 13810300 3443605504 678669 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 840724 678669 1889 992 0 832582 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2714676 KiB

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

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

# cumulated CPU time of all completed processes:  user=3552.04 s, system=48.1559 s

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

[startup+3611.6 s]
/proc/loadavg: 4.02 4.10 4.14 5/264 130041
/proc/meminfo: memFree=3101640/131524600 swapFree=131067876/131071996
[pid=128002] ppid=127999 vsize=3362896 memory=2714876 CPUtime=3600.12 cores=1,3
/proc/128002/stat : 128002 (roundingsat) D 127999 128002 123156 0 -1 4194304 497324 0 1 0 355203 4809 0 0 20 0 1 0 13810300 3443605504 678719 134679101440 4194304 8254037 140721432547808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 27 0 0 9037040 9046032 34664448 140721432552284 140721432552546 140721432552546 140721432559561 0
/proc/128002/statm: 840724 678719 1939 992 0 832582 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2714876 KiB

[startup+3611.7 s]*
/proc/loadavg: 4.02 4.10 4.14 5/264 130043
/proc/meminfo: memFree=3952060/131524600 swapFree=131067876/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.74
CPU time (s): 3600.2
CPU user time (s): 3552.04
CPU system time (s): 48.1559
CPU usage (%): 99.6803
Max. virtual memory (cumulated for all children) (KiB): 3362896
Max. memory (cumulated for all children) (KiB): 2714876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.04
system time used= 48.1559
maximum resident set size= 2714876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498002
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 99434320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3930
involuntary context switches= 4406


# summary of solver processes directly reported to runsolver:
#   pid: 128002
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3552.04
#   total CPU system time (s): 48.1559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2097 second user time and 17.7041 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-24 00:13:28
IDJOB=4456766
IDBENCH=147563
IDSOLVER=3085
FILE ID=nodeC031/4456766-1721772807
RUNJOBID= nodeC031-1721765586-123168
SLURM_JOB_ID= 7770659
Free space on /tmp= 890016 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456766-1721772807/watcher-4456766-1721772807 -o /tmp/evaluation-result-4456766-1721772807/solver-4456766-1721772807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721765586-123168 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456766-1721772807 --lp-cut-gomory=0 HOME/instance-4456766-1721772807.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1157486014

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		: 3673.861
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	: 7000.44
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		: 3679.988
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	: 7007.12
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		: 3600.475
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	: 7000.44
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		: 3639.755
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	: 7007.12
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		: 3673.838
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	: 7000.44
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		: 3677.451
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	: 7007.12
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		: 3600.485
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	: 7000.44
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		: 3623.858
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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        22119904 kB
MemAvailable:   126469128 kB
Buffers:          192892 kB
Cached:         104811260 kB
SwapCached:          372 kB
Active:          1209624 kB
Inactive:       107286292 kB
Active(anon):       3716 kB
Inactive(anon):  3525508 kB
Active(file):    1205908 kB
Inactive(file): 103760784 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:             62804 kB
Writeback:             8 kB
AnonPages:       3489912 kB
Mapped:           111580 kB
Shmem:             37424 kB
KReclaimable:     443764 kB
Slab:             552100 kB
SReclaimable:     443764 kB
SUnreclaim:       108336 kB
KernelStack:        4256 kB
PageTables:        16244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4175044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 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:      328404 kB
DirectMap2M:    31950848 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC031 at 2024-07-24 01:13:39