Trace number 4456767

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (1)SAT (TO)306 3600.07 3610.18

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM446effd89caaa2fd386cf7c17951a1a5
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 benchmark239
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
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 494177
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	306

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: 64096 MiB (4851 MiB free)
  memory of node 1: 64473 MiB (11444 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=122243, runsolver pid=122240
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.13 4.16 4.20 5/259 122244
/proc/meminfo: memFree=16683188/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=40828 memory=9252 CPUtime=0.1 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 1526 0 0 0 8 2 0 0 20 0 1 0 13270319 41807872 2313 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 10207 2313 1378 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9252 KiB

[startup+0.209867 s]*
/proc/loadavg: 4.13 4.16 4.20 5/259 122244
/proc/meminfo: memFree=16681680/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=40828 memory=10044 CPUtime=0.21 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 1703 0 0 0 16 5 0 0 20 0 1 0 13270319 41807872 2511 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 10207 2511 1378 992 0 2065 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10044 KiB

[startup+0.30978 s]*
/proc/loadavg: 4.13 4.16 4.20 5/259 122244
/proc/meminfo: memFree=16680540/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=41212 memory=12884 CPUtime=0.3 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 1872 0 0 0 23 7 0 0 20 0 1 0 13270319 42201088 3221 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 10303 3221 1378 992 0 2161 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 12884 KiB

[startup+0.700333 s]
/proc/loadavg: 4.13 4.16 4.20 5/259 122245
/proc/meminfo: memFree=16676344/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=45520 memory=15344 CPUtime=0.69 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 2512 0 0 0 52 17 0 0 20 0 1 0 13270319 46612480 3836 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 11380 3836 1378 992 0 3238 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 15344 KiB

[startup+1.50034 s]
/proc/loadavg: 4.13 4.16 4.20 5/259 122245
/proc/meminfo: memFree=16667568/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=64372 memory=31372 CPUtime=1.48 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 4980 0 0 0 110 38 0 0 20 0 1 0 13270319 65916928 7843 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 16093 7843 1378 992 0 7951 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64372 KiB
Current children cumulated memory: 31372 KiB

[startup+3.11362 s]
/proc/loadavg: 4.13 4.16 4.20 5/253 122280
/proc/meminfo: memFree=16886920/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=498120 memory=456360 CPUtime=3.09 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 55317 0 0 0 233 76 0 0 20 0 1 0 13270319 510074880 114090 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 124530 114090 1713 992 0 116388 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 498120 KiB
Current children cumulated memory: 456360 KiB

[startup+6.30034 s]
/proc/loadavg: 4.20 4.18 4.20 5/259 122292
/proc/meminfo: memFree=16825924/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=345112 memory=317700 CPUtime=6.27 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 56789 0 0 0 543 84 0 0 20 0 1 0 13270319 353394688 79425 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 86278 79425 1793 992 0 78136 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 345112 KiB
Current children cumulated memory: 317700 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.17 4.20 5/257 122306
/proc/meminfo: memFree=16701080/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=422424 memory=373060 CPUtime=12.64 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 60906 0 0 0 1102 162 0 0 20 0 1 0 13270319 432562176 93265 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 105606 93265 1889 992 0 97464 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 422424 KiB
Current children cumulated memory: 373060 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.16 4.20 5/254 122389
/proc/meminfo: memFree=16669300/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=454624 memory=401576 CPUtime=25.4 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 64000 0 0 0 2357 183 0 0 20 0 1 0 13270319 465534976 100394 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 113656 100394 1889 992 0 105514 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 454624 KiB
Current children cumulated memory: 401576 KiB

[startup+51.1137 s]
/proc/loadavg: 4.09 4.15 4.19 5/255 122393
/proc/meminfo: memFree=16012312/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=633644 memory=533232 CPUtime=50.93 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 73857 0 0 0 4862 231 0 0 20 0 1 0 13270319 648851456 133308 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 158411 133308 1889 992 0 150269 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 633644 KiB
Current children cumulated memory: 533232 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.19 5/255 122542
/proc/meminfo: memFree=15363732/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=664436 memory=573264 CPUtime=101.94 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 74798 0 0 0 9898 296 0 0 20 0 1 0 13270319 680382464 143316 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 166109 143316 1889 992 0 157967 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 664436 KiB
Current children cumulated memory: 573264 KiB

[startup+162.3 s]
/proc/loadavg: 4.31 4.19 4.19 5/247 122552
/proc/meminfo: memFree=12587048/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=814500 memory=687068 CPUtime=161.78 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 86188 0 0 0 15785 393 0 0 20 0 1 0 13270319 834048000 171767 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 203625 171767 1889 992 0 195483 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 814500 KiB
Current children cumulated memory: 687068 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.20 4.19 5/269 122585
/proc/meminfo: memFree=9674604/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=1198324 memory=1067924 CPUtime=221.62 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 120609 0 0 0 21700 462 0 0 20 0 1 0 13270319 1227083776 266981 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 299581 266981 1889 992 0 291439 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1198324 KiB
Current children cumulated memory: 1067924 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/269 122595
/proc/meminfo: memFree=7807664/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=1198324 memory=1072420 CPUtime=281.47 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 122152 0 0 0 27616 531 0 0 20 0 1 0 13270319 1227083776 268105 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 299581 268105 1889 992 0 291439 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1198324 KiB
Current children cumulated memory: 1072420 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/269 122606
/proc/meminfo: memFree=6587428/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=1213720 memory=1087716 CPUtime=341.31 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 126635 0 0 0 33540 591 0 0 20 0 1 0 13270319 1242849280 271929 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 303430 271929 1889 992 0 295288 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1213720 KiB
Current children cumulated memory: 1087716 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/268 122618
/proc/meminfo: memFree=5840560/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=1213720 memory=1088260 CPUtime=401.17 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 129750 0 0 0 39463 654 0 0 20 0 1 0 13270319 1242849280 272065 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 303430 272065 1889 992 0 295288 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1213720 KiB
Current children cumulated memory: 1088260 KiB

[startup+462.3 s]
/proc/loadavg: 4.75 4.34 4.24 5/268 122628
/proc/meminfo: memFree=4417288/131655788 swapFree=131047872/131071996
[pid=122243] ppid=122240 vsize=1213720 memory=1088692 CPUtime=461.01 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 132745 0 0 0 45372 729 0 0 20 0 1 0 13270319 1242849280 272173 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 303430 272173 1905 992 0 295288 0

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

Current children cumulated memory: 2757688 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.23 4.21 5/274 124341
/proc/meminfo: memFree=602364/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3358924 memory=2757688 CPUtime=2914.27 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 536375 0 0 0 288158 3269 0 0 20 0 1 0 13270319 3439538176 689422 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 839731 689422 1905 992 0 831589 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2757688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.31 4.23 4.21 5/273 124352
/proc/meminfo: memFree=657472/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3358924 memory=2761636 CPUtime=2974.1 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 539020 0 0 0 294088 3322 0 0 20 0 1 0 13270319 3439538176 690409 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 839731 690409 1905 992 0 831589 0
Current children cumulated CPU time: 2974.1 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2761636 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.20 4.20 7/264 124363
/proc/meminfo: memFree=620476/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3358924 memory=2761640 CPUtime=3033.93 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 539805 0 0 0 299986 3407 0 0 20 0 1 0 13270319 3439538176 690410 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 839731 690410 1905 992 0 831589 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2761640 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.19 4.19 5/264 124375
/proc/meminfo: memFree=644528/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3358924 memory=2761648 CPUtime=3093.75 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 541253 0 0 0 305884 3491 0 0 20 0 1 0 13270319 3439538176 690412 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 839731 690412 1905 992 0 831589 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2761648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.17 4.18 5/268 124390
/proc/meminfo: memFree=608212/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3367416 memory=2766640 CPUtime=3153.58 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 543718 0 0 0 311757 3601 0 0 20 0 1 0 13270319 3448233984 691660 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 841854 691660 1905 992 0 833712 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2766640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.18 8/272 124404
/proc/meminfo: memFree=640580/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3367416 memory=2766640 CPUtime=3213.4 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 544900 0 0 0 317601 3739 0 0 20 0 1 0 13270319 3448233984 691660 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 841854 691660 1905 992 0 833712 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2766640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/263 124414
/proc/meminfo: memFree=648268/131655788 swapFree=131047360/131071996
[pid=122243] ppid=122240 vsize=3367416 memory=2766644 CPUtime=3273.23 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 546544 0 0 0 323535 3788 0 0 20 0 1 0 13270319 3448233984 691661 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 841854 691661 1905 992 0 833712 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2766644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.26 4.21 4/269 124468
/proc/meminfo: memFree=44223252/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3372124 memory=2771204 CPUtime=3333.06 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 548192 0 0 0 329460 3846 0 0 20 0 1 0 13270319 3453054976 692801 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 843031 692801 1905 992 0 834889 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 3372124 KiB
Current children cumulated memory: 2771204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.20 4.19 4/270 124482
/proc/meminfo: memFree=41924792/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3372124 memory=2771204 CPUtime=3392.89 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 549256 0 0 0 335368 3921 0 0 20 0 1 0 13270319 3453054976 692801 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 843031 692801 1905 992 0 834889 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 3372124 KiB
Current children cumulated memory: 2771204 KiB

[startup+3462.3 s]
/proc/loadavg: 3.43 4.00 4.12 4/275 124500
/proc/meminfo: memFree=40016460/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3372124 memory=2771204 CPUtime=3452.72 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 550592 0 0 0 341242 4030 0 0 20 0 1 0 13270319 3453054976 692801 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 843031 692801 1905 992 0 834889 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 3372124 KiB
Current children cumulated memory: 2771204 KiB

[startup+3522.3 s]
/proc/loadavg: 3.31 3.86 4.06 4/265 124511
/proc/meminfo: memFree=37730472/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3372124 memory=2771204 CPUtime=3512.54 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 551607 0 0 0 347115 4139 0 0 20 0 1 0 13270319 3453054976 692801 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 843031 692801 1905 992 0 834889 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 3372124 KiB
Current children cumulated memory: 2771204 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.71 4.00 4/265 124521
/proc/meminfo: memFree=35667616/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3377332 memory=2776116 CPUtime=3572.37 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 553732 0 0 0 352996 4241 0 0 20 0 1 0 13270319 3458387968 694029 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 844333 694029 1905 992 0 836191 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 3377332 KiB
Current children cumulated memory: 2776116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.17 3.66 3.97 4/258 124530
/proc/meminfo: memFree=34639188/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3377332 memory=2776120 CPUtime=3600 cores=4,6
/proc/122243/stat : 122243 (roundingsat) R 122240 122243 117307 0 -1 4194304 554942 0 0 0 355702 4298 0 0 20 0 1 0 13270319 3458387968 694030 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 844333 694030 1905 992 0 836191 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3377332 KiB
Current children cumulated memory: 2776120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3557.04 s, system=43.0259 s

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

[startup+3610.11 s]
/proc/loadavg: 3.17 3.66 3.97 4/258 124530
/proc/meminfo: memFree=34639188/131655788 swapFree=131047616/131071996
[pid=122243] ppid=122240 vsize=3377332 memory=2776120 CPUtime=3600.02 cores=4,6
/proc/122243/stat : 122243 (roundingsat) D 122240 122243 117307 0 -1 4194304 554950 0 0 0 355703 4299 0 0 20 0 1 0 13270319 3458387968 694030 134679101440 4194304 8254037 140736332863744 0 0 0 0 0 25182210 0 0 0 17 4 0 0 10 0 0 9037040 9046032 18198528 140736332870492 140736332870754 140736332870754 140736332877769 0
/proc/122243/statm: 844333 694030 1905 992 0 836191 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3377332 KiB
Current children cumulated memory: 2776120 KiB

Child status: 0

Real time (s): 3610.18
CPU time (s): 3600.07
CPU user time (s): 3557.04
CPU system time (s): 43.0259
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 3377332
Max. memory (cumulated for all children) (KiB): 2776120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.04
system time used= 43.0259
maximum resident set size= 2776120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65127776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3913
involuntary context switches= 4812


# summary of solver processes directly reported to runsolver:
#   pid: 122243
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3557.04
#   total CPU system time (s): 43.0259

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3455 second user time and 38.9421 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 00:13:31
IDJOB=4456767
IDBENCH=147564
IDSOLVER=3085
FILE ID=nodeC006/4456767-1721772810
RUNJOBID= nodeC006-1721765589-117318
SLURM_JOB_ID= 7770663
Free space on /tmp= 723724 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.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-4456767-1721772810/watcher-4456767-1721772810 -o /tmp/evaluation-result-4456767-1721772810/solver-4456767-1721772810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117318 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456767-1721772810 --lp-cut-gomory=0 HOME/instance-4456767-1721772810.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=959724345

nodeC006.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	: 0xb00001f
cpu MHz		: 3528.422
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 3583.101
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
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	: 0xb00001f
cpu MHz		: 1197.251
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 1197.115
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
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	: 0xb00001f
cpu MHz		: 3029.627
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 3524.274
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
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	: 0xb00001f
cpu MHz		: 1225.631
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 1197.299
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        16687804 kB
MemAvailable:   128018740 kB
Buffers:          175480 kB
Cached:         111727756 kB
SwapCached:          308 kB
Active:          1071104 kB
Inactive:       112948184 kB
Active(anon):       4836 kB
Inactive(anon):  2148616 kB
Active(file):    1066268 kB
Inactive(file): 110799568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131047360 kB
Dirty:             61444 kB
Writeback:             0 kB
AnonPages:       2115924 kB
Mapped:           108952 kB
Shmem:             37252 kB
KReclaimable:     527008 kB
Slab:             629572 kB
SReclaimable:     527008 kB
SUnreclaim:       102564 kB
KernelStack:        4176 kB
PageTables:        13604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2865724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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:      357192 kB
DirectMap2M:    45684736 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC006 at 2024-07-24 01:13:41