Trace number 4462576

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 (3)No Cert. 3600.13 3680.79

General information on the benchmark

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

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
2.16/2.22	c #variables 10000 #constraints 656900
4.46/4.50	c bounds - >= 0 @ 1.67482
4.46/4.50	c rational objective 160.199
17.73/17.89	c bounds 6672 >= 0 @ 4.88563
17.73/17.89	c bounds 6653 >= 0 @ 4.89218
17.73/17.89	c bounds 6281 >= 0 @ 4.89658
17.73/17.89	c bounds 6185 >= 0 @ 4.90425
17.73/17.89	c bounds 6100 >= 0 @ 4.90963
17.73/17.89	c bounds 6097 >= 0 @ 4.91505
17.73/17.89	c bounds 5958 >= 0 @ 4.92172
17.73/17.89	c bounds 5892 >= 0 @ 4.92751
17.73/17.89	c bounds 5781 >= 0 @ 4.93281
17.73/17.89	c bounds 5769 >= 0 @ 4.93972
17.73/17.89	c bounds 5763 >= 0 @ 4.94352
17.73/17.89	c bounds 5728 >= 0 @ 4.94633
17.73/17.89	c bounds 5673 >= 0 @ 4.95111
17.73/17.89	c bounds 5637 >= 0 @ 4.95614
17.73/17.89	c bounds 5536 >= 0 @ 4.96206
17.73/17.89	c bounds 5381 >= 0 @ 4.96629
17.73/17.89	c bounds 5379 >= 0 @ 4.97041
17.73/17.89	c bounds 5378 >= 0 @ 4.97735
17.73/17.89	c bounds 5371 >= 0 @ 4.9834
17.73/17.89	c bounds 5253 >= 0 @ 4.98727
17.73/17.89	c bounds 5174 >= 0 @ 4.99099
17.73/17.89	c bounds 5096 >= 0 @ 4.99393
17.73/17.89	c bounds 5019 >= 0 @ 4.99881
17.73/17.89	c bounds 4958 >= 0 @ 5.00194
17.73/17.89	c bounds 4926 >= 0 @ 5.00509
17.73/17.89	c bounds 4772 >= 0 @ 5.01054
17.73/17.89	c bounds 4684 >= 0 @ 5.01406
17.73/17.89	c bounds 4641 >= 0 @ 5.03567
17.73/17.89	c bounds 4546 >= 0 @ 5.04098
17.73/17.89	c bounds 4503 >= 0 @ 5.04534
17.73/17.89	c bounds 4482 >= 0 @ 5.05316
17.73/17.89	c bounds 4440 >= 0 @ 5.05965
17.73/17.89	c bounds 4330 >= 0 @ 5.06584
17.73/17.89	c bounds 4325 >= 0 @ 5.06862
17.73/17.89	c bounds 4225 >= 0 @ 5.07378
17.73/17.89	c bounds 4161 >= 0 @ 5.07895
17.73/17.89	c bounds 4126 >= 0 @ 5.08255
17.73/17.89	c bounds 4049 >= 0 @ 5.08916
17.73/17.89	c bounds 3978 >= 0 @ 5.0936
17.73/17.89	c bounds 3918 >= 0 @ 5.09923
17.73/17.89	c bounds 3885 >= 0 @ 5.10313
17.73/17.89	c bounds 3859 >= 0 @ 5.10707
17.73/17.89	c bounds 3673 >= 0 @ 5.11213
17.73/17.89	c bounds 3649 >= 0 @ 5.13062
17.73/17.89	c bounds 3546 >= 0 @ 5.13618
17.73/17.89	c bounds 3542 >= 0 @ 5.14013
17.73/17.89	c bounds 3511 >= 0 @ 5.14825
17.73/17.89	c bounds 3461 >= 0 @ 5.15421
17.73/17.89	c bounds 3456 >= 0 @ 5.16386
17.73/17.89	c bounds 3242 >= 0 @ 5.17181
17.73/17.89	c bounds 3168 >= 0 @ 5.17771
17.73/17.89	c bounds 3120 >= 0 @ 5.20042
17.73/17.89	c bounds 3014 >= 0 @ 5.20653
17.73/17.89	c bounds 2965 >= 0 @ 5.21155
17.73/17.89	c bounds 2895 >= 0 @ 5.21739
17.73/17.89	c bounds 2880 >= 0 @ 5.22047
17.73/17.89	c bounds 2818 >= 0 @ 5.22394
17.73/17.89	c bounds 2798 >= 0 @ 5.23341
17.73/17.89	c bounds 2660 >= 0 @ 5.38149
17.73/17.89	c bounds 2657 >= 0 @ 5.38601
17.73/17.89	c bounds 2646 >= 0 @ 5.39097
17.73/17.89	c bounds 2629 >= 0 @ 5.39878
17.73/17.89	c bounds 2594 >= 0 @ 5.40724
17.73/17.89	c bounds 2593 >= 0 @ 5.41344
17.73/17.89	c bounds 2583 >= 0 @ 5.42308
17.73/17.89	c bounds 2572 >= 0 @ 5.43107
17.73/17.89	c bounds 2537 >= 0 @ 5.4379
17.73/17.89	c bounds 2521 >= 0 @ 5.44715
17.73/17.89	c bounds 2479 >= 0 @ 5.45367
17.73/17.89	c bounds 2441 >= 0 @ 5.45944
17.73/17.89	c bounds 2430 >= 0 @ 5.46979
17.73/17.89	c bounds 2393 >= 0 @ 5.47604
17.73/17.89	c bounds 2328 >= 0 @ 5.48846
17.73/17.89	c bounds 2295 >= 0 @ 5.50151
17.73/17.89	c bounds 2142 >= 0 @ 5.50661
17.73/17.89	c bounds 2121 >= 0 @ 5.51216
17.73/17.89	c bounds 2112 >= 0 @ 5.52157
17.73/17.89	c bounds 2108 >= 0 @ 5.5288
17.73/17.89	c bounds 2006 >= 0 @ 5.53602
17.73/17.89	c bounds 1989 >= 0 @ 5.66632
17.73/17.89	c bounds 1973 >= 0 @ 5.67382
17.73/17.89	c bounds 1926 >= 0 @ 5.67852
17.73/17.89	c bounds 1925 >= 0 @ 5.82308
17.73/17.89	c bounds 1916 >= 0 @ 5.95827
17.73/17.89	c bounds 1911 >= 0 @ 5.96727
17.73/17.89	c bounds 1905 >= 0 @ 6.06626
17.73/17.89	c bounds 1758 >= 0 @ 6.25206
17.73/17.89	c bounds 1741 >= 0 @ 6.25754
17.73/17.89	c bounds 1732 >= 0 @ 6.26428
17.73/17.89	c bounds 1709 >= 0 @ 6.26902
17.73/17.89	c bounds 1708 >= 0 @ 6.2759
17.73/17.89	c bounds 1691 >= 0 @ 6.28104
17.73/17.89	c bounds 1682 >= 0 @ 6.28906
17.73/17.89	c bounds 1665 >= 0 @ 6.29572
17.73/17.89	c bounds 1664 >= 0 @ 6.3029
17.73/17.89	c bounds 1651 >= 0 @ 6.3087
17.73/17.89	c bounds 1636 >= 0 @ 6.31213
17.73/17.89	c bounds 1627 >= 0 @ 6.46276
17.73/17.89	c #Conflicts:       1000 | #Constraints:     658000
17.73/17.89	c bounds 1625 >= 0 @ 7.70915
17.73/17.89	c bounds 1623 >= 0 @ 7.91868
17.73/17.89	c bounds 1606 >= 0 @ 8.33448
17.73/17.89	c bounds 1599 >= 0 @ 8.51366
17.73/17.89	c bounds 1575 >= 0 @ 8.78848
17.73/17.89	c bounds 1513 >= 0 @ 8.79677
17.73/17.89	c bounds 1394 >= 0 @ 9.07106
17.73/17.89	c bounds 1388 >= 0 @ 9.45613
17.73/17.89	c bounds 1387 >= 0 @ 9.46465
17.73/17.89	c bounds 1321 >= 0 @ 9.47172
17.73/17.89	c bounds 1232 >= 0 @ 9.5694
17.73/17.89	c bounds 1199 >= 0 @ 9.57772
17.73/17.89	c bounds 1187 >= 0 @ 9.62149
17.73/17.89	c bounds 1182 >= 0 @ 9.6308
17.73/17.89	c bounds 1180 >= 0 @ 9.69833
17.73/17.89	c bounds 1108 >= 0 @ 9.70862
17.73/17.89	c bounds 1043 >= 0 @ 9.72015
17.73/17.89	c bounds 941 >= 0 @ 9.8708
17.73/17.89	c bounds 938 >= 0 @ 9.87791
17.73/17.89	c bounds 923 >= 0 @ 9.92497
17.73/17.89	c bounds 919 >= 0 @ 9.93143
17.73/17.89	c bounds 906 >= 0 @ 9.94092
17.73/17.89	c bounds 904 >= 0 @ 9.94769
17.73/17.89	c bounds 874 >= 0 @ 9.96067
17.73/17.89	c bounds 866 >= 0 @ 10.0676
17.73/17.89	c bounds 860 >= 0 @ 10.2868
17.73/17.89	c bounds 859 >= 0 @ 10.5811
17.73/17.89	c #Conflicts:       2000 | #Constraints:     659040
17.73/17.89	c INPROCESSING
17.73/17.89	c GARBAGE COLLECT
17.73/17.89	c bounds 838 >= 0 @ 11.4309
17.73/17.89	c #Conflicts:       3000 | #Constraints:     658912
17.73/17.89	c bounds 811 >= 0 @ 13.9853
17.73/17.89	c bounds 800 >= 0 @ 14.3096
17.73/17.89	c bounds 790 >= 0 @ 14.3221
17.73/17.89	c bounds 789 >= 0 @ 14.3994
17.73/17.89	c bounds 785 >= 0 @ 14.6776
17.73/17.89	c bounds 776 >= 0 @ 15.5971
17.73/17.89	c #Conflicts:       4000 | #Constraints:     659922
17.73/17.89	c bounds 650 >= 0 @ 16.2453
17.73/17.89	c INPROCESSING
17.73/17.89	c GARBAGE COLLECT
75.68/75.99	c bounds 599 >= 0 @ 19.2958
75.68/75.99	c #Conflicts:       5000 | #Constraints:     659312
75.68/75.99	c #Conflicts:       6000 | #Constraints:     660312
75.68/75.99	c bounds 518 >= 0 @ 21.9003
75.68/75.99	c bounds 514 >= 0 @ 21.9097
75.68/75.99	c bounds 507 >= 0 @ 22.2644
75.68/75.99	c bounds 503 >= 0 @ 22.2747
75.68/75.99	c bounds 501 >= 0 @ 23.3991
75.68/75.99	c INPROCESSING
75.68/75.99	c GARBAGE COLLECT
75.68/75.99	c #Conflicts:       7000 | #Constraints:     659321
75.68/75.99	c #Conflicts:       8000 | #Constraints:     660321
75.68/75.99	c #Conflicts:       9000 | #Constraints:     661321
75.68/75.99	c bounds 476 >= 0 @ 69.4088
75.68/75.99	c INPROCESSING
75.68/75.99	c GARBAGE COLLECT
75.68/75.99	c rational objective 160.199
88.15/88.46	c #Conflicts:      10000 | #Constraints:     660018
88.15/88.46	c #Conflicts:      11000 | #Constraints:     661018
88.15/88.46	c #Conflicts:      12000 | #Constraints:     662018
88.15/88.46	c INPROCESSING
88.15/88.46	c GARBAGE COLLECT
88.15/88.46	c rational objective 160.341
114.98/115.35	c bounds 473 >= 0 @ 86.4407
114.98/115.35	c bounds 472 >= 0 @ 87.6381
114.98/115.35	c #Conflicts:      13000 | #Constraints:     660490
114.98/115.35	c bounds 471 >= 0 @ 96.3385
114.98/115.35	c #Conflicts:      14000 | #Constraints:     661493
114.98/115.35	c #Conflicts:      15000 | #Constraints:     662493
114.98/115.35	c INPROCESSING
114.98/115.35	c GARBAGE COLLECT
114.98/115.35	c #Conflicts:      16000 | #Constraints:     660713
114.98/115.35	c #Conflicts:      17000 | #Constraints:     661713
114.98/115.35	c #Conflicts:      18000 | #Constraints:     662713
114.98/115.35	c INPROCESSING
114.98/115.35	c GARBAGE COLLECT
114.98/115.35	c rational objective 160.419
126.55/126.95	c #Conflicts:      19000 | #Constraints:     660727
126.55/126.95	c #Conflicts:      20000 | #Constraints:     661727
126.55/126.95	c #Conflicts:      21000 | #Constraints:     662727
126.55/126.95	c INPROCESSING
126.55/126.95	c GARBAGE COLLECT
126.55/126.95	c rational objective 160.426
145.11/145.58	c bounds 469 >= 0 @ 124.438
145.11/145.58	c #Conflicts:      22000 | #Constraints:     660536
145.11/145.58	c bounds 468 >= 0 @ 128.828
145.11/145.58	c bounds 468 >= 6 @ 128.841
145.11/145.58	c #Conflicts:      23000 | #Constraints:     661546
145.11/145.58	c #Conflicts:      24000 | #Constraints:     662546
145.11/145.58	c #Conflicts:      25000 | #Constraints:     663546
145.11/145.58	c INPROCESSING
145.11/145.58	c GARBAGE COLLECT
145.11/145.58	c rational objective 160.471
172.94/173.49	c #Conflicts:      26000 | #Constraints:     661149
172.94/173.49	c #Conflicts:      27000 | #Constraints:     662149
172.94/173.49	c #Conflicts:      28000 | #Constraints:     663149
172.94/173.49	c #Conflicts:      29000 | #Constraints:     664149
172.94/173.49	c INPROCESSING
172.94/173.49	c GARBAGE COLLECT
172.94/173.49	c bounds 467 >= 6 @ 153.579
172.94/173.49	c bounds 466 >= 6 @ 153.684
172.94/173.49	c bounds 465 >= 6 @ 154.517
172.94/173.49	c bounds 459 >= 6 @ 154.633
172.94/173.49	c bounds 457 >= 6 @ 155.999
172.94/173.49	c #Conflicts:      30000 | #Constraints:     661554
172.94/173.49	c #Conflicts:      31000 | #Constraints:     662554
172.94/173.49	c #Conflicts:      32000 | #Constraints:     663554
172.94/173.49	c #Conflicts:      33000 | #Constraints:     664554
172.94/173.49	c INPROCESSING
172.94/173.49	c GARBAGE COLLECT
172.94/173.49	c rational objective 160.476
290.36/291.13	c #Conflicts:      34000 | #Constraints:     661750
290.36/291.13	c #Conflicts:      35000 | #Constraints:     662758
290.36/291.13	c #Conflicts:      36000 | #Constraints:     663768
290.36/291.13	c #Conflicts:      37000 | #Constraints:     664783
290.36/291.13	c INPROCESSING
290.36/291.13	c GARBAGE COLLECT
290.36/291.13	c #Conflicts:      38000 | #Constraints:     661771
290.36/291.13	c #Conflicts:      39000 | #Constraints:     662771
290.36/291.13	c #Conflicts:      40000 | #Constraints:     663771
290.36/291.13	c #Conflicts:      41000 | #Constraints:     664771
290.36/291.13	c INPROCESSING
290.36/291.13	c GARBAGE COLLECT
290.36/291.13	c rational objective 160.875
311.31/312.19	c #Conflicts:      42000 | #Constraints:     661567
311.31/312.19	c #Conflicts:      43000 | #Constraints:     662567
311.31/312.19	c #Conflicts:      44000 | #Constraints:     663567
311.31/312.19	c #Conflicts:      45000 | #Constraints:     664567
311.31/312.19	c #Conflicts:      46000 | #Constraints:     665567
311.31/312.19	c INPROCESSING
311.31/312.19	c GARBAGE COLLECT
311.31/312.19	c rational objective 161.3
331.26/332.14	c #Conflicts:      47000 | #Constraints:     662164
331.26/332.14	c #Conflicts:      48000 | #Constraints:     663164
331.26/332.14	c #Conflicts:      49000 | #Constraints:     664164
331.26/332.14	c #Conflicts:      50000 | #Constraints:     665164
331.26/332.14	c #Conflicts:      51000 | #Constraints:     666164
331.26/332.14	c INPROCESSING
331.26/332.14	c GARBAGE COLLECT
331.26/332.14	c rational objective 161.481
351.81/352.74	c #Conflicts:      52000 | #Constraints:     662568
351.81/352.74	c #Conflicts:      53000 | #Constraints:     663568
351.81/352.74	c #Conflicts:      54000 | #Constraints:     664568
351.81/352.74	c #Conflicts:      55000 | #Constraints:     665568
351.81/352.74	c #Conflicts:      56000 | #Constraints:     666568
351.81/352.74	c INPROCESSING
351.81/352.74	c GARBAGE COLLECT
351.81/352.74	c rational objective 161.488
372.25/373.21	c #Conflicts:      57000 | #Constraints:     662760
372.25/373.21	c #Conflicts:      58000 | #Constraints:     663760
372.25/373.21	c #Conflicts:      59000 | #Constraints:     664760
372.25/373.21	c #Conflicts:      60000 | #Constraints:     665760
372.25/373.21	c #Conflicts:      61000 | #Constraints:     666760
372.25/373.21	c INPROCESSING
372.25/373.21	c GARBAGE COLLECT
372.25/373.21	c rational objective 161.491
394.20/395.24	c #Conflicts:      62000 | #Constraints:     662773
394.20/395.24	c #Conflicts:      63000 | #Constraints:     663773
394.20/395.24	c #Conflicts:      64000 | #Constraints:     664773
394.20/395.24	c #Conflicts:      65000 | #Constraints:     665773
394.20/395.24	c #Conflicts:      66000 | #Constraints:     666773
394.20/395.24	c INPROCESSING
394.20/395.24	c GARBAGE COLLECT
394.20/395.24	c rational objective 161.506
418.15/419.22	c #Conflicts:      67000 | #Constraints:     662573
418.15/419.22	c #Conflicts:      68000 | #Constraints:     663573
418.15/419.22	c #Conflicts:      69000 | #Constraints:     664573
418.15/419.22	c #Conflicts:      70000 | #Constraints:     665573
418.15/419.22	c #Conflicts:      71000 | #Constraints:     666573
418.15/419.22	c #Conflicts:      72000 | #Constraints:     667573
418.15/419.22	c INPROCESSING
418.15/419.22	c GARBAGE COLLECT
418.15/419.22	c rational objective 161.528
444.78/445.90	c #Conflicts:      73000 | #Constraints:     663174
444.78/445.90	c #Conflicts:      74000 | #Constraints:     664174
444.78/445.90	c #Conflicts:      75000 | #Constraints:     665174
444.78/445.90	c #Conflicts:      76000 | #Constraints:     666174
444.78/445.90	c #Conflicts:      77000 | #Constraints:     667174
444.78/445.90	c #Conflicts:      78000 | #Constraints:     668174
444.78/445.90	c INPROCESSING
444.78/445.90	c GARBAGE COLLECT
444.78/445.90	c rational objective 161.618
549.95/551.39	c bounds 456 >= 6 @ 439.548
549.95/551.39	c #Conflicts:      79000 | #Constraints:     663575
549.95/551.39	c #Conflicts:      80000 | #Constraints:     664587
549.95/551.39	c #Conflicts:      81000 | #Constraints:     665602
549.95/551.39	c #Conflicts:      82000 | #Constraints:     666609
549.95/551.39	c #Conflicts:      83000 | #Constraints:     667619
549.95/551.39	c bounds 455 >= 6 @ 530.33
549.95/551.39	c bounds 455 >= 10 @ 530.396
549.95/551.39	c bounds 455 >= 14 @ 530.478
549.95/551.39	c bounds 455 >= 18 @ 532.683
549.95/551.39	c bounds 455 >= 22 @ 534.56
549.95/551.39	c #Conflicts:      84000 | #Constraints:     668652
549.95/551.39	c INPROCESSING
549.95/551.39	c GARBAGE COLLECT
549.95/551.39	c rational objective 161.619
690.41/692.13	c #Conflicts:      85000 | #Constraints:     663816
690.41/692.13	c bounds 455 >= 26 @ 565.001
690.41/692.13	c #Conflicts:      86000 | #Constraints:     664827
690.41/692.13	c #Conflicts:      87000 | #Constraints:     665827
690.41/692.13	c #Conflicts:      88000 | #Constraints:     666827
690.41/692.13	c #Conflicts:      89000 | #Constraints:     667827
690.41/692.13	c #Conflicts:      90000 | #Constraints:     668827
690.41/692.13	c INPROCESSING
690.41/692.13	c GARBAGE COLLECT
690.41/692.13	c rational objective 161.619
834.46/836.50	c #Conflicts:      91000 | #Constraints:     663837
834.46/836.50	c #Conflicts:      92000 | #Constraints:     664837
834.46/836.50	c #Conflicts:      93000 | #Constraints:     665837
834.46/836.50	c #Conflicts:      94000 | #Constraints:     666837
834.46/836.50	c #Conflicts:      95000 | #Constraints:     667837
834.46/836.50	c #Conflicts:      96000 | #Constraints:     668837
834.46/836.50	c INPROCESSING
834.46/836.50	c GARBAGE COLLECT
834.46/836.50	c rational objective 161.66
925.84/928.19	c #Conflicts:      97000 | #Constraints:     663636
925.84/928.19	c #Conflicts:      98000 | #Constraints:     664647
925.84/928.19	c #Conflicts:      99000 | #Constraints:     665661
925.84/928.19	c #Conflicts:     100000 | #Constraints:     666667
925.84/928.19	c #Conflicts:     101000 | #Constraints:     667676
925.84/928.19	c #Conflicts:     102000 | #Constraints:     668683
925.84/928.19	c bounds 454 >= 26 @ 898.127
925.84/928.19	c bounds 454 >= 29 @ 898.4
925.84/928.19	c bounds 454 >= 32 @ 901.661
925.84/928.19	c bounds 454 >= 35 @ 906.543
925.84/928.19	c bounds 450 >= 35 @ 906.804
925.84/928.19	c #Conflicts:     103000 | #Constraints:     669705
925.84/928.19	c INPROCESSING
925.84/928.19	c GARBAGE COLLECT
925.84/928.19	c rational objective 161.66
989.78/992.24	c #Conflicts:     104000 | #Constraints:     664242
989.78/992.24	c #Conflicts:     105000 | #Constraints:     665242
989.78/992.24	c #Conflicts:     106000 | #Constraints:     666242
989.78/992.24	c bounds 401 >= 35 @ 939.585
989.78/992.24	c bounds 396 >= 35 @ 939.681
989.78/992.24	c bounds 392 >= 35 @ 939.892
989.78/992.24	c bounds 387 >= 35 @ 940.394
989.78/992.24	c #Conflicts:     107000 | #Constraints:     667246
989.78/992.24	c #Conflicts:     108000 | #Constraints:     668246
989.78/992.24	c bounds 383 >= 35 @ 964.379
989.78/992.24	c bounds 383 >= 37 @ 964.563
989.78/992.24	c #Conflicts:     109000 | #Constraints:     669250
989.78/992.24	c #Conflicts:     110000 | #Constraints:     670250
989.78/992.24	c INPROCESSING
989.78/992.24	c GARBAGE COLLECT
989.78/992.24	c rational objective 161.66
1031.17/1033.78	c #Conflicts:     111000 | #Constraints:     664623
1031.17/1033.78	c #Conflicts:     112000 | #Constraints:     665623
1031.17/1033.78	c #Conflicts:     113000 | #Constraints:     666623
1031.17/1033.78	c #Conflicts:     114000 | #Constraints:     667623
1031.17/1033.78	c #Conflicts:     115000 | #Constraints:     668624
1031.17/1033.78	c #Conflicts:     116000 | #Constraints:     669624
1031.17/1033.78	c #Conflicts:     117000 | #Constraints:     670624
1031.17/1033.78	c INPROCESSING
1031.17/1033.78	c GARBAGE COLLECT
1031.17/1033.78	c rational objective 161.66
1103.89/1106.68	c #Conflicts:     118000 | #Constraints:     664826
1103.89/1106.68	c bounds 381 >= 37 @ 1031.89
1103.89/1106.68	c bounds 381 >= 38 @ 1031.92
1103.89/1106.68	c bounds 381 >= 39 @ 1031.95
1103.89/1106.68	c bounds 381 >= 40 @ 1031.98
1103.89/1106.68	c bounds 381 >= 41 @ 1032.01
1103.89/1106.68	c bounds 381 >= 42 @ 1032.04
1103.89/1106.68	c bounds 381 >= 43 @ 1032.06
1103.89/1106.68	c bounds 381 >= 44 @ 1032.08
1103.89/1106.68	c bounds 381 >= 45 @ 1032.11
1103.89/1106.68	c bounds 381 >= 46 @ 1032.13
1103.89/1106.68	c bounds 381 >= 47 @ 1032.15
1103.89/1106.68	c bounds 381 >= 48 @ 1032.18
1103.89/1106.68	c bounds 381 >= 49 @ 1032.21
1103.89/1106.68	c bounds 381 >= 50 @ 1032.24
1103.89/1106.68	c bounds 381 >= 51 @ 1032.26
1103.89/1106.68	c bounds 381 >= 52 @ 1032.29
1103.89/1106.68	c bounds 381 >= 53 @ 1032.31
1103.89/1106.68	c bounds 381 >= 54 @ 1032.34
1103.89/1106.68	c bounds 381 >= 55 @ 1032.36
1103.89/1106.68	c bounds 381 >= 56 @ 1032.38
1103.89/1106.68	c bounds 381 >= 57 @ 1032.41
1103.89/1106.68	c bounds 381 >= 58 @ 1032.43
1103.89/1106.68	c bounds 381 >= 59 @ 1032.45
1103.89/1106.68	c bounds 381 >= 60 @ 1032.47
1103.89/1106.68	c bounds 381 >= 61 @ 1032.5
1103.89/1106.68	c bounds 381 >= 62 @ 1032.52
1103.89/1106.68	c bounds 381 >= 63 @ 1032.54
1103.89/1106.68	c bounds 381 >= 64 @ 1032.57
1103.89/1106.68	c bounds 381 >= 65 @ 1032.6
1103.89/1106.68	c bounds 381 >= 66 @ 1032.62
1103.89/1106.68	c bounds 381 >= 67 @ 1032.68
1103.89/1106.68	c bounds 381 >= 68 @ 1032.72
1103.89/1106.68	c bounds 381 >= 69 @ 1032.76
1103.89/1106.68	c bounds 381 >= 70 @ 1032.87
1103.89/1106.69	c bounds 381 >= 71 @ 1033.04
1103.89/1106.69	c bounds 381 >= 72 @ 1033.15
1103.89/1106.69	c bounds 381 >= 73 @ 1035.82
1103.89/1106.69	c bounds 380 >= 73 @ 1036.1
1103.89/1106.69	c bounds 380 >= 74 @ 1036.83
1103.89/1106.69	c #Conflicts:     119000 | #Constraints:     666038
1103.89/1106.69	c bounds 379 >= 74 @ 1044.26
1103.89/1106.69	c bounds 379 >= 75 @ 1045.61
1103.89/1106.69	c #Conflicts:     120000 | #Constraints:     667074
1103.89/1106.69	c bounds 379 >= 76 @ 1047.05
1103.89/1106.69	c bounds 379 >= 77 @ 1050.19
1103.89/1106.69	c bounds 378 >= 77 @ 1050.69
1103.89/1106.69	c bounds 377 >= 77 @ 1050.98
1103.89/1106.69	c bounds 376 >= 77 @ 1051.31
1103.89/1106.69	c #Conflicts:     121000 | #Constraints:     668127
1103.89/1106.69	c #Conflicts:     122000 | #Constraints:     669143
1103.89/1106.69	c bounds 373 >= 77 @ 1073.17
1103.89/1106.69	c #Conflicts:     123000 | #Constraints:     670154
1103.89/1106.69	c bounds 373 >= 78 @ 1081.95
1103.89/1106.69	c #Conflicts:     124000 | #Constraints:     671189
1103.89/1106.69	c INPROCESSING
1103.89/1106.69	c GARBAGE COLLECT
1103.89/1106.69	c rational objective 161.66
1198.25/1201.87	c bounds 373 >= 79 @ 1093.77
1198.25/1201.87	c #Conflicts:     125000 | #Constraints:     665207
1198.25/1201.87	c #Conflicts:     126000 | #Constraints:     666207
1198.25/1201.87	c #Conflicts:     127000 | #Constraints:     667207
1198.25/1201.87	c bounds 373 >= 80 @ 1111.61
1198.25/1201.87	c #Conflicts:     128000 | #Constraints:     668236
1198.25/1201.87	c bounds 371 >= 80 @ 1118.55
1198.25/1201.87	c #Conflicts:     129000 | #Constraints:     669247
1198.25/1201.87	c #Conflicts:     130000 | #Constraints:     670256
1198.25/1201.87	c #Conflicts:     131000 | #Constraints:     671268
1198.25/1201.87	c bounds 366 >= 80 @ 1174.69
1198.25/1201.87	c INPROCESSING
1198.25/1201.87	c GARBAGE COLLECT
1198.25/1201.87	c rational objective 161.66
1252.21/1255.99	c #Conflicts:     132000 | #Constraints:     665040
1252.21/1255.99	c #Conflicts:     133000 | #Constraints:     666040
1252.21/1255.99	c #Conflicts:     134000 | #Constraints:     667040
1252.21/1255.99	c bounds 366 >= 81 @ 1197.79
1252.21/1255.99	c #Conflicts:     135000 | #Constraints:     668069
1252.21/1255.99	c #Conflicts:     136000 | #Constraints:     669069
1252.21/1255.99	c #Conflicts:     137000 | #Constraints:     670069
1252.21/1255.99	c bounds 366 >= 82 @ 1218.3
1252.21/1255.99	c #Conflicts:     138000 | #Constraints:     671095
1252.21/1255.99	c #Conflicts:     139000 | #Constraints:     672095
1252.21/1255.99	c INPROCESSING
1252.21/1255.99	c GARBAGE COLLECT
1252.21/1255.99	c rational objective 161.66
1352.56/1356.53	c #Conflicts:     140000 | #Constraints:     665698
1352.56/1356.53	c #Conflicts:     141000 | #Constraints:     666698
1352.56/1356.53	c bounds 366 >= 83 @ 1251.19
1352.56/1356.53	c #Conflicts:     142000 | #Constraints:     667727
1352.56/1356.53	c #Conflicts:     143000 | #Constraints:     668727
1352.56/1356.53	c #Conflicts:     144000 | #Constraints:     669727
1352.56/1356.53	c bounds 366 >= 84 @ 1277.1
1352.56/1356.53	c #Conflicts:     145000 | #Constraints:     670760
1352.56/1356.53	c bounds 363 >= 84 @ 1280.2
1352.56/1356.53	c bounds 361 >= 84 @ 1280.25
1352.56/1356.53	c bounds 360 >= 84 @ 1280.53
1352.56/1356.53	c bounds 359 >= 84 @ 1282.04
1352.56/1356.53	c bounds 353 >= 84 @ 1283.44
1352.56/1356.53	c bounds 352 >= 84 @ 1283.49
1352.56/1356.53	c #Conflicts:     146000 | #Constraints:     671781
1352.56/1356.53	c #Conflicts:     147000 | #Constraints:     672792
1352.56/1356.53	c INPROCESSING
1352.56/1356.53	c GARBAGE COLLECT
1352.56/1356.53	c rational objective 161.66
1452.39/1456.61	c #Conflicts:     148000 | #Constraints:     666158
1452.39/1456.61	c #Conflicts:     149000 | #Constraints:     667158
1452.39/1456.61	c #Conflicts:     150000 | #Constraints:     668158
1452.39/1456.61	c #Conflicts:     151000 | #Constraints:     669158
1452.39/1456.61	c #Conflicts:     152000 | #Constraints:     670158
1452.39/1456.61	c #Conflicts:     153000 | #Constraints:     671158
1452.39/1456.61	c bounds 352 >= 85 @ 1386.78
1452.39/1456.61	c bounds 349 >= 85 @ 1389.67
1452.39/1456.61	c bounds 347 >= 85 @ 1389.71
1452.39/1456.61	c bounds 346 >= 85 @ 1391.64
1452.39/1456.61	c #Conflicts:     154000 | #Constraints:     672198
1452.39/1456.61	c bounds 344 >= 85 @ 1393.26
1452.39/1456.61	c bounds 343 >= 85 @ 1393.8
1452.39/1456.61	c #Conflicts:     155000 | #Constraints:     673214
1452.39/1456.61	c INPROCESSING
1452.39/1456.61	c GARBAGE COLLECT
1452.39/1456.61	c rational objective 161.66
1534.99/1539.49	c bounds 342 >= 85 @ 1442.12
1534.99/1539.49	c bounds 341 >= 85 @ 1442.55
1534.99/1539.49	c #Conflicts:     156000 | #Constraints:     666397
1534.99/1539.49	c #Conflicts:     157000 | #Constraints:     667405
1534.99/1539.49	c bounds 340 >= 85 @ 1461.02
1534.99/1539.49	c #Conflicts:     158000 | #Constraints:     668408
1534.99/1539.49	c #Conflicts:     159000 | #Constraints:     669408
1534.99/1539.49	c #Conflicts:     160000 | #Constraints:     670408
1534.99/1539.49	c #Conflicts:     161000 | #Constraints:     671408
1534.99/1539.49	c #Conflicts:     162000 | #Constraints:     672408
1534.99/1539.49	c #Conflicts:     163000 | #Constraints:     673408
1534.99/1539.49	c INPROCESSING
1534.99/1539.49	c GARBAGE COLLECT
1534.99/1539.49	c rational objective 161.66
1654.98/1659.72	c bounds 339 >= 85 @ 1515.66
1654.98/1659.72	c bounds 336 >= 85 @ 1516.19
1654.98/1659.72	c bounds 333 >= 85 @ 1516.78
1654.98/1659.72	c #Conflicts:     164000 | #Constraints:     666422
1654.98/1659.72	c #Conflicts:     165000 | #Constraints:     667433
1654.98/1659.72	c #Conflicts:     166000 | #Constraints:     668448
1654.98/1659.72	c #Conflicts:     167000 | #Constraints:     669463
1654.98/1659.72	c bounds 331 >= 85 @ 1574.02
1654.98/1659.72	c #Conflicts:     168000 | #Constraints:     670467
1654.98/1659.72	c #Conflicts:     169000 | #Constraints:     671467
1654.98/1659.72	c bounds 331 >= 86 @ 1603.96
1654.98/1659.72	c #Conflicts:     170000 | #Constraints:     672502
1654.98/1659.72	c #Conflicts:     171000 | #Constraints:     673502
1654.98/1659.72	c INPROCESSING
1654.98/1659.72	c GARBAGE COLLECT
1654.98/1659.72	c rational objective 161.66
1747.14/1752.19	c #Conflicts:     172000 | #Constraints:     666261
1747.14/1752.19	c #Conflicts:     173000 | #Constraints:     667261
1747.14/1752.19	c #Conflicts:     174000 | #Constraints:     668261
1747.14/1752.19	c #Conflicts:     175000 | #Constraints:     669261
1747.14/1752.19	c #Conflicts:     176000 | #Constraints:     670261
1747.14/1752.19	c #Conflicts:     177000 | #Constraints:     671261
1747.14/1752.19	c #Conflicts:     178000 | #Constraints:     672261
1747.14/1752.19	c bounds 331 >= 87 @ 1698.98
1747.14/1752.19	c bounds 329 >= 87 @ 1699.16
1747.14/1752.19	c #Conflicts:     179000 | #Constraints:     673288
1747.14/1752.19	c bounds 328 >= 87 @ 1701.39
1747.14/1752.19	c bounds 327 >= 87 @ 1701.58
1747.14/1752.19	c bounds 325 >= 87 @ 1701.68
1747.14/1752.19	c bounds 322 >= 87 @ 1701.76
1747.14/1752.19	c bounds 318 >= 87 @ 1704.55
1747.14/1752.19	c bounds 316 >= 87 @ 1704.65
1747.14/1752.19	c bounds 314 >= 87 @ 1704.82
1747.14/1752.19	c bounds 313 >= 87 @ 1704.98
1747.14/1752.19	c bounds 306 >= 87 @ 1705.47
1747.14/1752.19	c bounds 305 >= 87 @ 1705.78
1747.14/1752.19	c #Conflicts:     180000 | #Constraints:     674313
1747.14/1752.19	c INPROCESSING
1747.14/1752.19	c GARBAGE COLLECT
1747.14/1752.19	c rational objective 161.66
1890.17/1895.53	c bounds 304 >= 87 @ 1725.57
1890.17/1895.53	c #Conflicts:     181000 | #Constraints:     666872
1890.17/1895.53	c #Conflicts:     182000 | #Constraints:     667881
1890.17/1895.53	c #Conflicts:     183000 | #Constraints:     668891
1890.17/1895.53	c #Conflicts:     184000 | #Constraints:     669899
1890.17/1895.53	c #Conflicts:     185000 | #Constraints:     670911
1890.17/1895.53	c #Conflicts:     186000 | #Constraints:     671920
1890.17/1895.53	c bounds 302 >= 87 @ 1825.12
1890.17/1895.53	c #Conflicts:     187000 | #Constraints:     672922
1890.17/1895.53	c #Conflicts:     188000 | #Constraints:     673922
1890.17/1895.53	c #Conflicts:     189000 | #Constraints:     674922
1890.17/1895.53	c INPROCESSING
1890.17/1895.53	c GARBAGE COLLECT
1890.17/1895.53	c rational objective 161.66
1969.16/1974.73	c #Conflicts:     190000 | #Constraints:     667289
1969.16/1974.73	c #Conflicts:     191000 | #Constraints:     668289
1969.16/1974.73	c #Conflicts:     192000 | #Constraints:     669289
1969.16/1974.73	c #Conflicts:     193000 | #Constraints:     670289
1969.16/1974.73	c #Conflicts:     194000 | #Constraints:     671289
1969.16/1974.73	c #Conflicts:     195000 | #Constraints:     672289
1969.16/1974.73	c #Conflicts:     196000 | #Constraints:     673289
1969.16/1974.73	c #Conflicts:     197000 | #Constraints:     674289
1969.16/1974.73	c bounds 302 >= 88 @ 1941.62
1969.16/1974.73	c #Conflicts:     198000 | #Constraints:     675315
1969.16/1974.73	c INPROCESSING
1969.16/1974.73	c GARBAGE COLLECT
1969.16/1974.73	c rational objective 161.66
2056.54/2062.34	c #Conflicts:     199000 | #Constraints:     667503
2056.54/2062.34	c #Conflicts:     200000 | #Constraints:     668503
2056.54/2062.34	c #Conflicts:     201000 | #Constraints:     669503
2056.54/2062.34	c #Conflicts:     202000 | #Constraints:     670503
2056.54/2062.34	c #Conflicts:     203000 | #Constraints:     671503
2056.54/2062.34	c #Conflicts:     204000 | #Constraints:     672503
2056.54/2062.34	c #Conflicts:     205000 | #Constraints:     673503
2056.54/2062.34	c #Conflicts:     206000 | #Constraints:     674503
2056.54/2062.34	c #Conflicts:     207000 | #Constraints:     675503
2056.54/2062.34	c INPROCESSING
2056.54/2062.34	c GARBAGE COLLECT
2056.54/2062.34	c rational objective 161.66
2154.28/2160.38	c #Conflicts:     208000 | #Constraints:     667504
2154.28/2160.38	c #Conflicts:     209000 | #Constraints:     668504
2154.28/2160.38	c #Conflicts:     210000 | #Constraints:     669504
2154.28/2160.38	c #Conflicts:     211000 | #Constraints:     670504
2154.28/2160.38	c #Conflicts:     212000 | #Constraints:     671504
2154.28/2160.38	c #Conflicts:     213000 | #Constraints:     672504
2154.28/2160.38	c #Conflicts:     214000 | #Constraints:     673504
2154.28/2160.38	c #Conflicts:     215000 | #Constraints:     674504
2154.28/2160.38	c #Conflicts:     216000 | #Constraints:     675504
2154.28/2160.38	c INPROCESSING
2154.28/2160.38	c GARBAGE COLLECT
2154.28/2160.38	c rational objective 161.66
2330.05/2336.53	c bounds 301 >= 88 @ 2128.28
2330.05/2336.53	c #Conflicts:     217000 | #Constraints:     667307
2330.05/2336.53	c bounds 298 >= 88 @ 2132.36
2330.05/2336.53	c bounds 295 >= 88 @ 2132.67
2330.05/2336.53	c #Conflicts:     218000 | #Constraints:     668311
2330.05/2336.53	c bounds 294 >= 88 @ 2146.77
2330.05/2336.53	c bounds 292 >= 88 @ 2146.83
2330.05/2336.53	c #Conflicts:     219000 | #Constraints:     669323
2330.05/2336.53	c #Conflicts:     220000 | #Constraints:     670333
2330.05/2336.53	c #Conflicts:     221000 | #Constraints:     671340
2330.05/2336.53	c #Conflicts:     222000 | #Constraints:     672342
2330.05/2336.53	c #Conflicts:     223000 | #Constraints:     673346
2330.05/2336.53	c #Conflicts:     224000 | #Constraints:     674355
2330.05/2336.53	c #Conflicts:     225000 | #Constraints:     675361
2330.05/2336.53	c #Conflicts:     226000 | #Constraints:     676369
2330.05/2336.53	c INPROCESSING
2330.05/2336.53	c GARBAGE COLLECT
2330.05/2336.53	c rational objective 161.66
2434.68/2441.42	c #Conflicts:     227000 | #Constraints:     667934
2434.68/2441.42	c #Conflicts:     228000 | #Constraints:     668934
2434.68/2441.42	c #Conflicts:     229000 | #Constraints:     669934
2434.68/2441.42	c #Conflicts:     230000 | #Constraints:     670934
2434.68/2441.42	c #Conflicts:     231000 | #Constraints:     671934
2434.68/2441.42	c #Conflicts:     232000 | #Constraints:     672934
2434.68/2441.42	c #Conflicts:     233000 | #Constraints:     673934
2434.68/2441.42	c #Conflicts:     234000 | #Constraints:     674934
2434.68/2441.42	c #Conflicts:     235000 | #Constraints:     675934
2434.68/2441.42	c bounds 292 >= 89 @ 2393.26
2434.68/2441.42	c #Conflicts:     236000 | #Constraints:     676969
2434.68/2441.42	c INPROCESSING
2434.68/2441.42	c GARBAGE COLLECT
2434.68/2441.42	c rational objective 161.66
2547.58/2554.62	c #Conflicts:     237000 | #Constraints:     668342
2547.58/2554.62	c #Conflicts:     238000 | #Constraints:     669342
2547.58/2554.62	c #Conflicts:     239000 | #Constraints:     670342
2547.58/2554.62	c #Conflicts:     240000 | #Constraints:     671342
2547.58/2554.62	c #Conflicts:     241000 | #Constraints:     672342
2547.58/2554.62	c #Conflicts:     242000 | #Constraints:     673342
2547.58/2554.62	c #Conflicts:     243000 | #Constraints:     674342
2547.58/2554.62	c #Conflicts:     244000 | #Constraints:     675342
2547.58/2554.62	c #Conflicts:     245000 | #Constraints:     676342
2547.58/2554.62	c #Conflicts:     246000 | #Constraints:     677342
2547.58/2554.62	c INPROCESSING
2547.58/2554.62	c GARBAGE COLLECT
2547.58/2554.62	c rational objective 161.66
2659.40/2666.79	c bounds 291 >= 89 @ 2517.69
2659.40/2666.79	c bounds 290 >= 89 @ 2519.27
2659.40/2666.79	c #Conflicts:     247000 | #Constraints:     668549
2659.40/2666.79	c #Conflicts:     248000 | #Constraints:     669549
2659.40/2666.79	c #Conflicts:     249000 | #Constraints:     670549
2659.40/2666.79	c #Conflicts:     250000 | #Constraints:     671549
2659.40/2666.79	c #Conflicts:     251000 | #Constraints:     672549
2659.40/2666.79	c #Conflicts:     252000 | #Constraints:     673549
2659.40/2666.79	c #Conflicts:     253000 | #Constraints:     674549
2659.40/2666.79	c #Conflicts:     254000 | #Constraints:     675549
2659.40/2666.79	c #Conflicts:     255000 | #Constraints:     676549
2659.40/2666.79	c #Conflicts:     256000 | #Constraints:     677549
2659.40/2666.79	c INPROCESSING
2659.40/2666.79	c GARBAGE COLLECT
2659.40/2666.79	c rational objective 161.66
2908.68/2916.65	c #Conflicts:     257000 | #Constraints:     668559
2908.68/2916.65	c #Conflicts:     258000 | #Constraints:     669564
2908.68/2916.65	c #Conflicts:     259000 | #Constraints:     670577
2908.68/2916.65	c #Conflicts:     260000 | #Constraints:     671586
2908.68/2916.65	c #Conflicts:     261000 | #Constraints:     672595
2908.68/2916.65	c bounds 288 >= 89 @ 2693.69
2908.68/2916.65	c #Conflicts:     262000 | #Constraints:     673605
2908.68/2916.65	c #Conflicts:     263000 | #Constraints:     674611
2908.68/2916.65	c #Conflicts:     264000 | #Constraints:     675619
2908.68/2916.65	c #Conflicts:     265000 | #Constraints:     676624
2908.68/2916.65	c #Conflicts:     266000 | #Constraints:     677632
2908.68/2916.65	c INPROCESSING
2908.68/2916.65	c GARBAGE COLLECT
2908.68/2916.65	c rational objective 161.66
3017.69/3025.92	c #Conflicts:     267000 | #Constraints:     668383
3017.69/3025.92	c #Conflicts:     268000 | #Constraints:     669383
3017.69/3025.92	c #Conflicts:     269000 | #Constraints:     670383
3017.69/3025.92	c #Conflicts:     270000 | #Constraints:     671383
3017.69/3025.92	c #Conflicts:     271000 | #Constraints:     672383
3017.69/3025.92	c #Conflicts:     272000 | #Constraints:     673383
3017.69/3025.92	c #Conflicts:     273000 | #Constraints:     674383
3017.69/3025.92	c #Conflicts:     274000 | #Constraints:     675383
3017.69/3025.92	c #Conflicts:     275000 | #Constraints:     676383
3017.69/3025.92	c #Conflicts:     276000 | #Constraints:     677383
3017.69/3025.92	c #Conflicts:     277000 | #Constraints:     678383
3017.69/3025.92	c INPROCESSING
3017.69/3025.92	c GARBAGE COLLECT
3017.69/3025.92	c rational objective 161.66
3134.72/3143.21	c #Conflicts:     278000 | #Constraints:     668974
3134.72/3143.21	c #Conflicts:     279000 | #Constraints:     669974
3134.72/3143.21	c #Conflicts:     280000 | #Constraints:     670974
3134.72/3143.21	c #Conflicts:     281000 | #Constraints:     671974
3134.72/3143.21	c #Conflicts:     282000 | #Constraints:     672974
3134.72/3143.21	c #Conflicts:     283000 | #Constraints:     673974
3134.72/3143.21	c #Conflicts:     284000 | #Constraints:     674974
3134.72/3143.21	c #Conflicts:     285000 | #Constraints:     675974
3134.72/3143.21	c #Conflicts:     286000 | #Constraints:     676974
3134.72/3143.21	c bounds 288 >= 90 @ 3076.72
3134.72/3143.21	c #Conflicts:     287000 | #Constraints:     678021
3134.72/3143.21	c #Conflicts:     288000 | #Constraints:     679021
3134.72/3143.21	c INPROCESSING
3134.72/3143.21	c GARBAGE COLLECT
3134.72/3143.21	c rational objective 161.66
3246.06/3254.87	c #Conflicts:     289000 | #Constraints:     669397
3246.06/3254.87	c #Conflicts:     290000 | #Constraints:     670397
3246.06/3254.87	c #Conflicts:     291000 | #Constraints:     671397
3246.06/3254.87	c #Conflicts:     292000 | #Constraints:     672397
3246.06/3254.87	c #Conflicts:     293000 | #Constraints:     673397
3246.06/3254.87	c #Conflicts:     294000 | #Constraints:     674397
3246.06/3254.87	c #Conflicts:     295000 | #Constraints:     675397
3246.06/3254.87	c #Conflicts:     296000 | #Constraints:     676397
3246.06/3254.87	c #Conflicts:     297000 | #Constraints:     677397
3246.06/3254.87	c #Conflicts:     298000 | #Constraints:     678397
3246.06/3254.87	c #Conflicts:     299000 | #Constraints:     679397
3246.06/3254.87	c INPROCESSING
3246.06/3254.87	c GARBAGE COLLECT
3246.06/3254.87	c rational objective 161.66
3371.07/3380.14	c #Conflicts:     300000 | #Constraints:     669593
3371.07/3380.14	c #Conflicts:     301000 | #Constraints:     670593
3371.07/3380.14	c #Conflicts:     302000 | #Constraints:     671593
3371.07/3380.14	c #Conflicts:     303000 | #Constraints:     672593
3371.07/3380.14	c #Conflicts:     304000 | #Constraints:     673593
3371.07/3380.14	c #Conflicts:     305000 | #Constraints:     674593
3371.07/3380.14	c #Conflicts:     306000 | #Constraints:     675593
3371.07/3380.14	c #Conflicts:     307000 | #Constraints:     676593
3371.07/3380.14	c #Conflicts:     308000 | #Constraints:     677593
3371.07/3380.14	c #Conflicts:     309000 | #Constraints:     678593
3371.07/3380.14	c #Conflicts:     310000 | #Constraints:     679593
3371.07/3380.14	c INPROCESSING
3371.07/3380.14	c GARBAGE COLLECT
3371.07/3380.14	c rational objective 161.66
3576.59/3586.18	c #Conflicts:     311000 | #Constraints:     669608
3576.59/3586.18	c #Conflicts:     312000 | #Constraints:     670620
3576.59/3586.18	c #Conflicts:     313000 | #Constraints:     671627
3576.59/3586.18	c #Conflicts:     314000 | #Constraints:     672633
3576.59/3586.18	c #Conflicts:     315000 | #Constraints:     673644
3576.59/3586.18	c #Conflicts:     316000 | #Constraints:     674653
3576.59/3586.18	c bounds 284 >= 90 @ 3444.73
3576.59/3586.18	c #Conflicts:     317000 | #Constraints:     675657
3576.59/3586.18	c #Conflicts:     318000 | #Constraints:     676657
3576.59/3586.18	c #Conflicts:     319000 | #Constraints:     677657
3576.59/3586.18	c #Conflicts:     320000 | #Constraints:     678657
3576.59/3586.18	c #Conflicts:     321000 | #Constraints:     679657
3576.59/3586.18	c INPROCESSING
3576.59/3586.18	c GARBAGE COLLECT
3576.59/3586.18	c rational objective 161.66
3600.04/3609.60	c #Conflicts:     322000 | #Constraints:     669419
3600.04/3609.60	c #Conflicts:     323000 | #Constraints:     670419
3600.04/3609.60	c #Conflicts:     324000 | #Constraints:     671419
3600.04/3609.60	c Program interrupted by user.
3600.04/3609.60	c cpu time 3553.34 s
3600.04/3609.60	c deterministic time 551536845104 5.52e+11
3600.04/3609.60	c optimization time 23.6469 s
3600.04/3609.60	c total solve time 3528.02 s
3600.04/3609.60	c core-guided solve time 2207.94 s
3600.04/3609.60	c propagation time 2144.36 s
3600.04/3609.60	c conflict analysis time 1006.13 s
3600.04/3609.60	c propagations 89826368
3600.04/3609.60	c resolve steps 4602492
3600.04/3609.60	c decisions 13992069
3600.04/3609.60	c conflicts 324048
3600.04/3609.60	c restarts 765
3600.04/3609.60	c inprocessing phases 48
3600.04/3609.60	c input clauses 657107
3600.04/3609.60	c input cardinalities 63
3600.04/3609.60	c input general constraints 685
3600.04/3609.60	c input average constraint length 5.96
3600.04/3609.60	c input average constraint degree 158.04
3600.04/3609.60	c learned clauses 141379
3600.04/3609.60	c learned cardinalities 11
3600.04/3609.60	c learned general constraints 183342
3600.04/3609.60	c learned average constraint length 3761.47
3600.04/3609.60	c learned average constraint degree 78090052239.55
3600.04/3609.60	c watched constraints 44477
3600.04/3609.60	c counting constraints 139550
3600.04/3609.60	c gcd simplifications 5105
3600.04/3609.60	c detected cardinalities 0
3600.04/3609.60	c weakened non-implied lits 347398596
3600.04/3609.60	c weakened non-implying lits 82937
3600.04/3609.60	c original variables 10000
3600.04/3609.60	c clausal propagations 23766233
3600.04/3609.60	c cardinality propagations 146332
3600.04/3609.60	c watched propagations 4072734
3600.04/3609.60	c counting propagations 61187577
3600.04/3609.60	c watch lookups 22501730529
3600.04/3609.60	c watch backjump lookups 22233668969
3600.04/3609.60	c watch checks 204083409827
3600.04/3609.60	c propagation checks 296966183839
3600.04/3609.60	c constraint additions 5543465279
3600.04/3609.60	c trail pops 104132175
3600.04/3609.60	c formula constraints 656900
3600.04/3609.60	c learned constraints 323392
3600.04/3609.60	c bound constraints 208
3600.04/3609.60	c core-guided constraints 747
3600.04/3609.60	c encountered formula constraints 2489526
3600.04/3609.60	c encountered learned constraints 1986548
3600.04/3609.60	c encountered bound constraints 7826
3600.04/3609.60	c encountered core-guided constraints 387352
3600.04/3609.60	c LP total time 742.446 s
3600.04/3609.60	c LP solve time 712.01 s
3600.04/3609.60	c LP constraints added 656973
3600.04/3609.60	c LP constraints removed 55
3600.04/3609.60	c LP pivots internal 324190
3600.04/3609.60	c LP pivots root 111858
3600.04/3609.60	c LP calls 1562
3600.04/3609.60	c LP optimalities 888
3600.04/3609.60	c LP no pivot count 307
3600.04/3609.60	c LP infeasibilities 670
3600.04/3609.60	c LP valid Farkas constraints 670
3600.04/3609.60	c LP learned Farkas constraints 670
3600.04/3609.60	c LP basis resets 0
3600.04/3609.60	c LP cycling count 0
3600.04/3609.60	c LP singular count 0
3600.04/3609.60	c LP no primal count 0
3600.04/3609.60	c LP no farkas count 0
3600.04/3609.60	c LP other issue count 0
3600.04/3609.60	c LP Gomory cuts 0
3600.04/3609.60	c LP learned cuts 73
3600.04/3609.60	c LP deleted cuts 55
3600.04/3609.60	c LP encountered Gomory constraints 0
3600.04/3609.60	c LP encountered Farkas constraints 51077
3600.04/3609.60	c LP encountered learned Farkas constraints 3541
3600.04/3609.60	c CG auxiliary variables introduced 270
3600.04/3609.60	c CG solutions found 208
3600.04/3609.60	c CG cores constructed 63
3600.04/3609.60	c CG core cardinality constraints returned 0
3600.04/3609.60	c CG unit cores 0
3600.04/3609.60	c CG single cores 56
3600.04/3609.60	c CG blocks removed during cardinality reduction 0
3600.04/3609.60	c CG first core best 0
3600.04/3609.60	c CG decision core best 0
3600.04/3609.60	c CG core reduction tie 7
3600.04/3609.60	c CG core degree average 1.00
3600.04/3609.60	c CG core slack average 740.87
3600.04/3609.60	s SATISFIABLE
3600.04/3609.60	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x97

Verifier Data 

ERROR: no interpretation found !

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: 63968 MiB (63377 MiB free)
  memory of node 1: 64473 MiB (63803 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462576-1722340765/watcher-4462576-1722340765 -o /tmp/evaluation-result-4462576-1722340765/solver-4462576-1722340765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6033 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462576-1722340765 --lp-cut-gomory=0 HOME/instance-4462576-1722340765.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=6187, runsolver pid=6180

[startup+0.10036 s]*
/proc/loadavg: 0.29 0.14 0.10 6/257 6188
/proc/meminfo: memFree=130216460/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=40828 memory=11720 CPUtime=0.07 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 1659 0 0 0 5 2 0 0 20 0 1 0 464737 41807872 2930 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 10207 2930 1349 992 0 2065 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 11720 KiB

[startup+0.205461 s]*
/proc/loadavg: 0.29 0.14 0.10 6/257 6188
/proc/meminfo: memFree=130209604/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=42000 memory=12508 CPUtime=0.17 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 1859 0 0 0 13 4 0 0 20 0 1 0 464737 43008000 3127 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 10500 3127 1349 992 0 2358 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 12508 KiB

[startup+0.305334 s]*
/proc/loadavg: 0.29 0.14 0.10 6/257 6188
/proc/meminfo: memFree=130203764/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=42792 memory=14884 CPUtime=0.27 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 2409 0 0 0 20 7 0 0 20 0 1 0 464737 43819008 3721 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 10698 3721 1349 992 0 2556 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 14884 KiB

[startup+0.700185 s]
/proc/loadavg: 0.29 0.14 0.10 6/257 6188
/proc/meminfo: memFree=130190220/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=54080 memory=26244 CPUtime=0.67 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 4219 0 0 0 50 17 0 0 20 0 1 0 464737 55377920 6561 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 13520 6561 1349 992 0 5378 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 26244 KiB

[startup+1.50018 s]
/proc/loadavg: 0.29 0.14 0.10 6/257 6188
/proc/meminfo: memFree=130142904/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=83768 memory=47384 CPUtime=1.46 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 7515 0 0 0 108 38 0 0 20 0 1 0 464737 85778432 11846 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 20942 11846 1349 992 0 12800 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 83768 KiB
Current children cumulated memory: 47384 KiB

[startup+3.10562 s]
/proc/loadavg: 0.29 0.14 0.10 6/257 6188
/proc/meminfo: memFree=129494848/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=361148 memory=329980 CPUtime=3.06 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 59940 0 0 0 247 59 0 0 20 0 1 0 464737 369815552 82495 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 90287 82495 1710 992 0 82145 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 329980 KiB

[startup+6.3002 s]
/proc/loadavg: 0.59 0.21 0.12 6/261 6194
/proc/meminfo: memFree=129398176/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=367240 memory=320580 CPUtime=6.25 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 61096 0 0 0 538 87 0 0 20 0 1 0 464737 376053760 80145 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 91810 80145 1790 992 0 83668 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 320580 KiB

[startup+12.7002 s]
/proc/loadavg: 0.86 0.27 0.14 6/262 6195
/proc/meminfo: memFree=128904164/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=447780 memory=403268 CPUtime=12.63 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 66441 0 0 0 1128 135 0 0 20 0 1 0 464737 458526720 100817 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 111945 100817 1867 992 0 103803 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 447780 KiB
Current children cumulated memory: 403268 KiB

[startup+25.5002 s]
/proc/loadavg: 1.62 0.47 0.21 6/262 6198
/proc/meminfo: memFree=128524324/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=458100 memory=423972 CPUtime=25.41 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 66556 0 0 0 2371 170 0 0 20 0 1 0 464737 469094400 105993 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 114525 105993 1867 992 0 106383 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 458100 KiB
Current children cumulated memory: 423972 KiB

[startup+51.1059 s]
/proc/loadavg: 2.44 0.75 0.31 6/262 6201
/proc/meminfo: memFree=127544388/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=533396 memory=468176 CPUtime=50.95 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 69517 0 0 0 4918 177 0 0 20 0 1 0 464737 546197504 117044 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 133349 117044 1867 992 0 125207 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 533396 KiB
Current children cumulated memory: 468176 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.27 0.51 6/263 6223
/proc/meminfo: memFree=126202924/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=783768 memory=619184 CPUtime=102.02 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 73568 0 0 0 9962 240 0 0 20 0 1 0 464737 802578432 154796 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 195942 154796 1867 992 0 187800 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 783768 KiB
Current children cumulated memory: 619184 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.80 0.75 6/263 6234
/proc/meminfo: memFree=124235396/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=812768 memory=650912 CPUtime=161.87 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 76058 0 0 0 15860 327 0 0 20 0 1 0 464737 832274432 162728 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 203192 162728 1883 992 0 195050 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 812768 KiB
Current children cumulated memory: 650912 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.25 0.97 6/264 6248
/proc/meminfo: memFree=121135268/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=1269592 memory=1173284 CPUtime=221.73 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 128428 0 0 0 21748 425 0 0 20 0 1 0 464737 1300062208 293321 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 317398 293321 1883 992 0 309256 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1269592 KiB
Current children cumulated memory: 1173284 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.60 1.17 6/262 6259
/proc/meminfo: memFree=120541068/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=1293248 memory=1195616 CPUtime=281.58 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 131519 0 0 0 27720 438 0 0 20 0 1 0 464737 1324285952 298904 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 323312 298904 1883 992 0 315170 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 1293248 KiB
Current children cumulated memory: 1195616 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 2.87 1.36 6/260 6269
/proc/meminfo: memFree=119963372/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=1303512 memory=1211288 CPUtime=341.44 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 132658 0 0 0 33643 501 0 0 20 0 1 0 464737 1334796288 302822 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 325878 302822 1883 992 0 317736 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 1303512 KiB
Current children cumulated memory: 1211288 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.09 1.53 6/260 6280
/proc/meminfo: memFree=119392140/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=1303512 memory=1211340 CPUtime=401.29 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 132927 0 0 0 39558 571 0 0 20 0 1 0 464737 1334796288 302835 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 325878 302835 1883 992 0 317736 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 1303512 KiB
Current children cumulated memory: 1211340 KiB

[startup+462.3 s]
/proc/loadavg: 4.44 3.37 1.72 6/259 6290
/proc/meminfo: memFree=117515244/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=1303512 memory=1211340 CPUtime=461.15 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 133203 0 0 0 45470 645 0 0 20 0 1 0 464737 1334796288 302835 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 325878 302835 1883 992 0 317736 0

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


[startup+3162.3 s]
/proc/loadavg: 4.24 4.18 4.05 5/265 7429
/proc/meminfo: memFree=25940380/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2690948 CPUtime=3153.78 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 315411 0 0 0 311364 4014 0 0 20 0 1 0 464737 2836221952 672737 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 672737 1883 992 0 684295 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2690948 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.21 4.07 5/264 7440
/proc/meminfo: memFree=23265896/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2690948 CPUtime=3213.63 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 316604 0 0 0 317250 4113 0 0 20 0 1 0 464737 2836221952 672737 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 672737 1883 992 0 684295 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2690948 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.07 5/263 7452
/proc/meminfo: memFree=20404704/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2693840 CPUtime=3273.5 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 318044 0 0 0 323123 4227 0 0 20 0 1 0 464737 2836221952 673460 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 673460 1883 992 0 684295 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2693840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.08 5/263 7463
/proc/meminfo: memFree=17763052/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2693840 CPUtime=3333.35 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 319211 0 0 0 328986 4349 0 0 20 0 1 0 464737 2836221952 673460 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 673460 1883 992 0 684295 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2693840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.08 5/263 7858
/proc/meminfo: memFree=15678184/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2695028 CPUtime=3393.21 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 320440 0 0 0 334876 4445 0 0 20 0 1 0 464737 2836221952 673757 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 673757 1883 992 0 684295 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2695028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.08 5/261 7870
/proc/meminfo: memFree=13390020/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2695028 CPUtime=3453.09 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 321658 0 0 0 340799 4510 0 0 20 0 1 0 464737 2836221952 673757 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 673757 1883 992 0 684295 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2695028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/262 7882
/proc/meminfo: memFree=11678044/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2769748 memory=2695028 CPUtime=3512.95 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 322846 0 0 0 346732 4563 0 0 20 0 1 0 464737 2836221952 673757 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 692437 673757 1883 992 0 684295 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 2769748 KiB
Current children cumulated memory: 2695028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 8063
/proc/meminfo: memFree=9764364/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2782548 memory=2704152 CPUtime=3572.81 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 325750 0 0 0 352655 4626 0 0 20 0 1 0 464737 2849329152 676038 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695637 676038 1883 992 0 687495 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 2782548 KiB
Current children cumulated memory: 2704152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/265 8069
/proc/meminfo: memFree=8861944/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2783316 memory=2712620 CPUtime=3600.04 cores=1,3
/proc/6187/stat : 6187 (roundingsat) R 6180 6187 6021 0 -1 4194304 325994 0 0 0 355334 4670 0 0 20 0 1 0 464737 2850115584 678155 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695829 678155 1883 992 0 687687 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2783316 KiB
Current children cumulated memory: 2712620 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.13 4.14 4.09 3/259 8095
/proc/meminfo: memFree=9185140/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2783316 memory=2712620 CPUtime=3600.08 cores=1,3
/proc/6187/stat : 6187 (roundingsat) D 6180 6187 6021 0 -1 4194304 326001 0 0 0 355334 4674 0 0 20 0 1 0 464737 2850115584 678155 134679101440 4194304 8255733 140727210741984 0 0 256 0 0 25182210 0 0 0 17 1 0 0 352 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695829 678155 1883 992 0 687687 0
??? kill 6187 sig 9
??? end of watcher thread

[startup+3680.79 s]
# the end of solver process 6187 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3553.35 s, system=46.7775 s

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

[startup+3610 s]
/proc/loadavg: 4.13 4.14 4.09 5/265 8069
/proc/meminfo: memFree=8861944/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2783316 memory=2712620 CPUtime=3600.08 cores=1,3
/proc/6187/stat : 6187 (roundingsat) D 6180 6187 6021 0 -1 4194304 326001 0 0 0 355334 4674 0 0 20 0 1 0 464737 2850115584 678155 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 67 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695829 678155 1883 992 0 687687 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2783316 KiB
Current children cumulated memory: 2712620 KiB

[startup+3610.8 s]
/proc/loadavg: 4.13 4.14 4.09 3/260 8077
/proc/meminfo: memFree=9184692/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2783316 memory=2712620 CPUtime=3600.08 cores=1,3
/proc/6187/stat : 6187 (roundingsat) D 6180 6187 6021 0 -1 4194304 326001 0 0 0 355334 4674 0 0 20 0 1 0 464737 2850115584 678155 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 67 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695829 678155 1883 992 0 687687 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2783316 KiB
Current children cumulated memory: 2712620 KiB

[startup+3611.2 s]
/proc/loadavg: 4.13 4.14 4.09 3/260 8077
/proc/meminfo: memFree=9184692/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2783316 memory=2712620 CPUtime=3600.08 cores=1,3
/proc/6187/stat : 6187 (roundingsat) D 6180 6187 6021 0 -1 4194304 326001 0 0 0 355334 4674 0 0 20 0 1 0 464737 2850115584 678155 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 67 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695829 678155 1883 992 0 687687 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2783316 KiB
Current children cumulated memory: 2712620 KiB

[startup+3611.6 s]
/proc/loadavg: 4.13 4.14 4.09 3/259 8095
/proc/meminfo: memFree=9184692/131524600 swapFree=131071996/131071996
[pid=6187] ppid=6180 vsize=2783316 memory=2712620 CPUtime=3600.08 cores=1,3
/proc/6187/stat : 6187 (roundingsat) D 6180 6187 6021 0 -1 4194304 326001 0 0 0 355334 4674 0 0 20 0 1 0 464737 2850115584 678155 134679101440 4194304 8255733 140727210741984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 352 0 0 9037040 9046032 18419712 140727210746718 140727210746980 140727210746980 140727210753993 0
/proc/6187/statm: 695829 678155 1883 992 0 687687 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2783316 KiB
Current children cumulated memory: 2712620 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3680.79
CPU time (s): 3600.13
CPU user time (s): 3553.35
CPU system time (s): 46.7775
CPU usage (%): 97.8086
Max. virtual memory (cumulated for all children) (KiB): 2783316
Max. memory (cumulated for all children) (KiB): 2712620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.35
system time used= 46.7775
maximum resident set size= 2713000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 105442320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7075
involuntary context switches= 4860


# summary of solver processes directly reported to runsolver:
#   pid: 6187
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3553.35
#   total CPU system time (s): 46.7775

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7804 second user time and 17.8227 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-30 13:59:25
IDJOB=4462576
IDBENCH=147565
IDSOLVER=3089
FILE ID=nodeC015/4462576-1722340765
RUNJOBID= nodeC015-1722340763-6033
SLURM_JOB_ID= 8248978
Free space on /tmp= 890036 MiB

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

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1316399505

nodeC015.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		: 3675.745
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
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		: 3683.144
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	: 7005.03
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		: 3614.130
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
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		: 3670.220
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	: 7005.03
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		: 3665.797
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
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		: 3687.471
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	: 7005.03
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		: 3654.500
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
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		: 3630.664
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	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130233860 kB
MemAvailable:   129840192 kB
Buffers:           45368 kB
Cached:           383204 kB
SwapCached:            0 kB
Active:           139164 kB
Inactive:         690640 kB
Active(anon):       1536 kB
Inactive(anon):   423472 kB
Active(file):     137628 kB
Inactive(file):   267168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             81284 kB
Writeback:             0 kB
AnonPages:        401992 kB
Mapped:            95208 kB
Shmem:             23384 kB
KReclaimable:      44344 kB
Slab:             120600 kB
SReclaimable:      44344 kB
SUnreclaim:        76256 kB
KernelStack:        4064 kB
PageTables:         9944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     759708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8864 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      158420 kB
DirectMap2M:    12197888 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC015 at 2024-07-30 15:00:46