Trace number 4532379

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+pbsuma-opt-log 0f876b3SAT (TO)371 3600.08 3610.03

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4532379-1752683038.opb'
0.27/0.36	c 	read 17.23MB  (334.10ms)
0.27/0.36	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.36	c output proof to '/tmp/proof-4532379-1752683038'
0.27/0.36	c 
0.27/0.36	c make graph and approximate orbits
0.65/0.70	c	 [group: #orbits ~= 0] (336.92ms)
0.65/0.70	c 
0.65/0.70	c detect special group actions
0.65/0.70	c 	probe for Johnson action (limit=64)
0.65/0.70	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.65/0.71	c 	probe for row symmetry (limit=64, splits=16.78M)
0.65/0.71	c 	 (16.66ms)
0.65/0.71	c 
0.65/0.71	c detect symmetries on remainder
0.65/0.72	c 	[graph: #vertices 706711 #edges 2766420]
0.65/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.65/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.42ms)
0.65/0.76	c 
0.65/0.76	c finalize break order and special generators
0.65/0.76	c 
0.65/0.76	c generation finished
0.65/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.65/0.77	c 
0.65/0.77	c write result to 'HOME/instance-4532379-1752683038.opb.pre'
0.75/0.80	c 	wrote 17.23MB (35.58ms)
0.75/0.80	c ------------------------------------------------------------------
0.75/0.80	c                 336.92ms 43.44% approx_orbits
0.75/0.80	c                 334.10ms 43.07% parse
0.75/0.80	c                  49.42ms  6.37% detect_generic
0.75/0.80	c                  35.58ms  4.59% output
0.75/0.80	c                  16.66ms  2.15% detect_special
0.75/0.80	c                   2.62ms  0.34% other
0.75/0.80	c                   0.37ms  0.05% finalize_order
0.75/0.80	c         ───────────────────────────────────────────────
0.75/0.80	c                 775.68ms   100% total
0.75/0.80	c ------------------------------------------------------------------
0.85/0.94	c RoundingSat 2
0.85/0.94	c branch pb25
0.85/0.94	c commit 0f876b3
4.53/4.62	c #variables 10000 #constraints 656900
4.53/4.62	c objective is ce32 
4.53/4.62	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.53/4.62	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.53/4.62	c bounds - >= 0 @ 2.9383
6.13/6.24	c rational objective 197.264
10.61/10.71	c bounds 7000 >= 0 @ 8.90182
10.61/10.72	c bounds 6719 >= 0 @ 8.90873
10.61/10.73	c bounds 6677 >= 0 @ 8.91297
10.61/10.74	c bounds 6642 >= 0 @ 8.92019
10.61/10.75	c bounds 6534 >= 0 @ 8.92625
10.61/10.76	c bounds 6263 >= 0 @ 8.93292
10.61/10.76	c bounds 6152 >= 0 @ 8.9381
10.61/10.77	c bounds 5931 >= 0 @ 8.9439
10.61/10.78	c bounds 5862 >= 0 @ 8.95429
10.61/10.79	c bounds 5840 >= 0 @ 8.96168
10.71/10.80	c bounds 5779 >= 0 @ 8.9669
10.71/10.81	c bounds 5048 >= 0 @ 8.97154
10.71/10.82	c bounds 5004 >= 0 @ 8.97543
10.71/10.83	c bounds 4613 >= 0 @ 8.98021
10.71/10.84	c bounds 4529 >= 0 @ 8.98545
10.71/10.85	c bounds 4512 >= 0 @ 8.99144
10.71/10.85	c bounds 4327 >= 0 @ 8.99807
10.71/10.86	c bounds 4141 >= 0 @ 9.00303
10.71/10.87	c bounds 4053 >= 0 @ 9.00778
10.71/10.88	c bounds 4045 >= 0 @ 9.01757
10.71/10.89	c bounds 3902 >= 0 @ 9.02552
10.81/10.90	c bounds 3888 >= 0 @ 9.03177
10.81/10.91	c bounds 3819 >= 0 @ 9.03971
10.81/10.92	c bounds 3812 >= 0 @ 9.05066
10.81/10.94	c bounds 3803 >= 0 @ 9.06346
10.81/10.95	c bounds 3658 >= 0 @ 9.07165
10.81/10.96	c bounds 3546 >= 0 @ 9.07851
10.81/10.99	c bounds 3538 >= 0 @ 9.10456
10.81/11.00	c bounds 3488 >= 0 @ 9.10924
10.92/11.01	c bounds 3476 >= 0 @ 9.1176
10.92/11.02	c bounds 3471 >= 0 @ 9.12477
10.92/11.04	c bounds 3431 >= 0 @ 9.14821
10.92/11.05	c bounds 3343 >= 0 @ 9.15363
10.92/11.06	c bounds 3315 >= 0 @ 9.15913
10.92/11.07	c bounds 3250 >= 0 @ 9.16378
10.92/11.08	c bounds 3142 >= 0 @ 9.17137
10.92/11.09	c bounds 3079 >= 0 @ 9.17785
11.02/11.11	c bounds 3048 >= 0 @ 9.1967
11.02/11.12	c bounds 2977 >= 0 @ 9.20359
11.02/11.12	c bounds 2889 >= 0 @ 9.20856
11.02/11.13	c bounds 2850 >= 0 @ 9.21565
11.02/11.14	c bounds 2785 >= 0 @ 9.22246
11.02/11.15	c bounds 2728 >= 0 @ 9.22831
11.11/11.28	c bounds 2726 >= 0 @ 9.35504
11.21/11.30	c bounds 2703 >= 0 @ 9.3721
11.21/11.34	c bounds 2685 >= 0 @ 9.39813
11.21/11.34	c bounds 2679 >= 0 @ 9.40406
11.21/11.37	c bounds 2660 >= 0 @ 9.42063
11.21/11.39	c bounds 2659 >= 0 @ 9.44376
11.31/11.40	c bounds 2626 >= 0 @ 9.44956
11.31/11.41	c bounds 2593 >= 0 @ 9.45402
11.92/12.01	c bounds 2586 >= 0 @ 10.0265
11.92/12.09	c bounds 2585 >= 0 @ 10.1095
12.11/12.20	c bounds 2584 >= 0 @ 10.2171
12.20/12.38	c bounds 2550 >= 0 @ 10.3917
12.70/12.84	c bounds 2547 >= 0 @ 10.8404
12.80/12.96	c bounds 2510 >= 0 @ 10.948
13.20/13.34	c bounds 2504 >= 0 @ 11.3183
13.20/13.36	c bounds 2491 >= 0 @ 11.3393
13.20/13.37	c bounds 2358 >= 0 @ 11.3444
13.20/13.38	c bounds 2284 >= 0 @ 11.3514
13.30/13.40	c bounds 2256 >= 0 @ 11.3583
13.30/13.41	c bounds 2210 >= 0 @ 11.3653
13.30/13.42	c bounds 2202 >= 0 @ 11.3734
13.30/13.43	c bounds 2170 >= 0 @ 11.386
13.30/13.44	c bounds 2163 >= 0 @ 11.3944
13.30/13.46	c bounds 2162 >= 0 @ 11.4133
13.30/13.48	c bounds 2119 >= 0 @ 11.4199
13.40/13.52	c bounds 2117 >= 0 @ 11.4609
13.50/13.62	c bounds 2108 >= 0 @ 11.5566
13.60/13.79	c bounds 2101 >= 0 @ 11.7187
13.70/13.80	c bounds 2078 >= 0 @ 11.7253
13.70/13.81	c bounds 1993 >= 0 @ 11.7308
13.80/13.95	c bounds 1982 >= 0 @ 11.8638
13.80/13.97	c bounds 1969 >= 0 @ 11.8743
13.80/13.98	c bounds 1944 >= 0 @ 11.8844
13.90/14.03	c bounds 1940 >= 0 @ 11.9287
14.10/14.25	c bounds 1937 >= 0 @ 12.1426
14.20/14.35	c bounds 1907 >= 0 @ 12.2406
14.20/14.36	c bounds 1858 >= 0 @ 12.2504
14.20/14.38	c bounds 1835 >= 0 @ 12.2568
14.30/14.40	c bounds 1832 >= 0 @ 12.2757
14.30/14.41	c bounds 1800 >= 0 @ 12.2838
14.30/14.42	c bounds 1783 >= 0 @ 12.2935
14.30/14.48	c bounds 1776 >= 0 @ 12.3474
14.40/14.50	c bounds 1746 >= 0 @ 12.3602
14.40/14.51	c bounds 1678 >= 0 @ 12.3686
14.40/14.52	c bounds 1665 >= 0 @ 12.3763
14.40/14.54	c bounds 1585 >= 0 @ 12.3879
14.40/14.55	c bounds 1580 >= 0 @ 12.3941
14.40/14.56	c bounds 1578 >= 0 @ 12.4017
14.40/14.58	c bounds 1569 >= 0 @ 12.4165
14.50/14.68	c bounds 1500 >= 0 @ 12.5048
14.50/14.69	c bounds 1486 >= 0 @ 12.5147
14.59/14.70	c bounds 1426 >= 0 @ 12.5228
14.59/14.72	c bounds 1421 >= 0 @ 12.5342
14.80/14.95	c bounds 1283 >= 0 @ 12.7555
14.90/15.06	c bounds 1278 >= 0 @ 12.8619
14.90/15.08	c bounds 1214 >= 0 @ 12.8707
14.90/15.09	c bounds 1202 >= 0 @ 12.8822
15.00/15.10	c bounds 1130 >= 0 @ 12.8919
15.00/15.16	c #Conflicts:       1000 | #Constraints:     658014
15.00/15.16	c bounds 1128 >= 0 @ 12.9485
15.00/15.19	c bounds 1024 >= 0 @ 12.9673
15.10/15.20	c bounds 1020 >= 0 @ 12.9754
15.10/15.23	c bounds 1013 >= 0 @ 13.0031
15.10/15.24	c bounds 1012 >= 0 @ 13.0123
15.20/15.31	c bounds 1007 >= 0 @ 13.076
15.20/15.33	c bounds 933 >= 0 @ 13.0975
15.29/15.47	c bounds 859 >= 0 @ 13.2196
15.29/15.48	c bounds 849 >= 0 @ 13.2265
15.39/15.50	c bounds 838 >= 0 @ 13.2396
15.39/15.59	c bounds 825 >= 0 @ 13.3257
15.50/15.61	c bounds 805 >= 0 @ 13.3472
15.50/15.63	c bounds 802 >= 0 @ 13.3544
15.50/15.64	c bounds 799 >= 0 @ 13.3606
16.49/16.68	c bounds 732 >= 0 @ 14.3561
16.59/16.70	c bounds 725 >= 0 @ 14.3672
25.37/25.58	c #Conflicts:       2000 | #Constraints:     659031
25.37/25.58	c INPROCESSING
25.37/25.58	c GARBAGE COLLECT
25.37/25.58	c bounds 721 >= 0 @ 23.192
26.96/27.12	c bounds 713 >= 0 @ 24.6946
27.16/27.39	c bounds 712 >= 0 @ 24.9549
27.25/27.41	c bounds 663 >= 0 @ 24.9748
28.65/28.80	c #Conflicts:       3000 | #Constraints:     658917
28.65/28.80	c bounds 602 >= 0 @ 26.3325
28.65/28.82	c bounds 602 >= 9 @ 26.344
31.75/32.00	c #Conflicts:       4000 | #Constraints:     659921
31.75/32.00	c INPROCESSING
31.75/32.00	c GARBAGE COLLECT
31.75/32.00	c bounds 596 >= 9 @ 29.4678
31.85/32.01	c bounds 595 >= 9 @ 29.4742
31.85/32.04	c bounds 586 >= 9 @ 29.5008
32.34/32.53	c bounds 583 >= 9 @ 29.9787
33.74/33.98	c bounds 436 >= 9 @ 31.3869
42.30/42.53	c #Conflicts:       5000 | #Constraints:     659325
42.30/42.53	c #Conflicts:       6000 | #Constraints:     660325
42.30/42.53	c INPROCESSING
42.30/42.53	c GARBAGE COLLECT
42.30/42.53	c bounds 432 >= 9 @ 39.8211
49.28/49.55	c #Conflicts:       7000 | #Constraints:     659324
49.28/49.55	c bounds 431 >= 9 @ 46.7118
56.85/57.14	c #Conflicts:       8000 | #Constraints:     660327
56.85/57.14	c #Conflicts:       9000 | #Constraints:     661327
56.85/57.14	c INPROCESSING
56.85/57.14	c rational objective 199.794
71.01/71.36	c #Conflicts:      10000 | #Constraints:     660033
71.01/71.36	c #Conflicts:      11000 | #Constraints:     661033
71.01/71.36	c #Conflicts:      12000 | #Constraints:     662033
71.01/71.36	c INPROCESSING
71.01/71.36	c GARBAGE COLLECT
71.01/71.36	c rational objective 200.907
85.67/86.05	c #Conflicts:      13000 | #Constraints:     660487
85.67/86.05	c #Conflicts:      14000 | #Constraints:     661487
85.67/86.05	c #Conflicts:      15000 | #Constraints:     662487
85.67/86.05	c INPROCESSING
85.67/86.05	c GARBAGE COLLECT
85.67/86.05	c rational objective 202.159
103.61/104.02	c #Conflicts:      16000 | #Constraints:     660723
103.61/104.02	c #Conflicts:      17000 | #Constraints:     661723
103.61/104.02	c #Conflicts:      18000 | #Constraints:     662723
103.61/104.02	c INPROCESSING
103.61/104.02	c GARBAGE COLLECT
103.61/104.02	c rational objective 202.546
129.23/129.72	c #Conflicts:      19000 | #Constraints:     660746
129.23/129.72	c #Conflicts:      20000 | #Constraints:     661746
129.23/129.72	c #Conflicts:      21000 | #Constraints:     662746
129.23/129.72	c INPROCESSING
129.23/129.72	c GARBAGE COLLECT
129.23/129.72	c #Conflicts:      22000 | #Constraints:     660553
129.23/129.72	c #Conflicts:      23000 | #Constraints:     661553
129.23/129.72	c #Conflicts:      24000 | #Constraints:     662553
129.23/129.72	c #Conflicts:      25000 | #Constraints:     663553
129.23/129.72	c INPROCESSING
129.23/129.72	c GARBAGE COLLECT
129.23/129.72	c rational objective 203.055
150.57/151.15	c #Conflicts:      26000 | #Constraints:     661160
150.57/151.15	c #Conflicts:      27000 | #Constraints:     662160
150.57/151.15	c #Conflicts:      28000 | #Constraints:     663160
150.57/151.15	c #Conflicts:      29000 | #Constraints:     664160
150.57/151.15	c INPROCESSING
150.57/151.15	c GARBAGE COLLECT
150.57/151.15	c rational objective 203.056
171.61/172.24	c #Conflicts:      30000 | #Constraints:     661562
171.61/172.24	c #Conflicts:      31000 | #Constraints:     662562
171.61/172.24	c #Conflicts:      32000 | #Constraints:     663562
171.61/172.24	c #Conflicts:      33000 | #Constraints:     664562
171.61/172.24	c INPROCESSING
171.61/172.24	c GARBAGE COLLECT
171.61/172.24	c rational objective 203.136
190.66/191.36	c #Conflicts:      34000 | #Constraints:     661770
190.66/191.36	c #Conflicts:      35000 | #Constraints:     662770
190.66/191.36	c #Conflicts:      36000 | #Constraints:     663770
190.66/191.36	c #Conflicts:      37000 | #Constraints:     664770
190.66/191.36	c INPROCESSING
190.66/191.36	c GARBAGE COLLECT
190.66/191.36	c rational objective 203.536
211.40/212.13	c #Conflicts:      38000 | #Constraints:     661777
211.40/212.13	c #Conflicts:      39000 | #Constraints:     662777
211.40/212.13	c #Conflicts:      40000 | #Constraints:     663777
211.40/212.13	c #Conflicts:      41000 | #Constraints:     664777
211.40/212.13	c INPROCESSING
211.40/212.13	c GARBAGE COLLECT
211.40/212.13	c rational objective 203.536
236.52/237.33	c #Conflicts:      42000 | #Constraints:     661575
236.52/237.33	c #Conflicts:      43000 | #Constraints:     662575
236.52/237.33	c #Conflicts:      44000 | #Constraints:     663575
236.52/237.33	c #Conflicts:      45000 | #Constraints:     664575
236.52/237.33	c #Conflicts:      46000 | #Constraints:     665575
236.52/237.33	c INPROCESSING
236.52/237.33	c GARBAGE COLLECT
236.52/237.33	c rational objective 203.536
259.05/259.95	c #Conflicts:      47000 | #Constraints:     662173
259.05/259.95	c #Conflicts:      48000 | #Constraints:     663173
259.05/259.95	c #Conflicts:      49000 | #Constraints:     664173
259.05/259.95	c #Conflicts:      50000 | #Constraints:     665173
259.05/259.95	c #Conflicts:      51000 | #Constraints:     666173
259.05/259.95	c INPROCESSING
259.05/259.95	c GARBAGE COLLECT
259.05/259.95	c rational objective 203.539
281.68/282.63	c #Conflicts:      52000 | #Constraints:     662582
281.68/282.63	c #Conflicts:      53000 | #Constraints:     663582
281.68/282.63	c #Conflicts:      54000 | #Constraints:     664582
281.68/282.63	c #Conflicts:      55000 | #Constraints:     665582
281.68/282.63	c #Conflicts:      56000 | #Constraints:     666582
281.68/282.63	c INPROCESSING
281.68/282.63	c GARBAGE COLLECT
281.68/282.63	c rational objective 203.584
306.02/307.04	c #Conflicts:      57000 | #Constraints:     662785
306.02/307.04	c #Conflicts:      58000 | #Constraints:     663785
306.02/307.04	c #Conflicts:      59000 | #Constraints:     664785
306.02/307.04	c #Conflicts:      60000 | #Constraints:     665785
306.02/307.04	c #Conflicts:      61000 | #Constraints:     666785
306.02/307.04	c INPROCESSING
306.02/307.04	c GARBAGE COLLECT
306.02/307.04	c rational objective 203.879
311.50/312.57	c bounds 426 >= 9 @ 307.113
311.50/312.59	c bounds 425 >= 9 @ 307.126
314.59/315.66	c bounds 424 >= 9 @ 310.107
314.59/315.67	c bounds 424 >= 14 @ 310.116
314.59/315.69	c bounds 424 >= 19 @ 310.125
317.59/318.62	c #Conflicts:      62000 | #Constraints:     662793
317.59/318.62	c bounds 424 >= 24 @ 313.034
336.44/337.56	c #Conflicts:      63000 | #Constraints:     663802
336.44/337.56	c #Conflicts:      64000 | #Constraints:     664802
336.44/337.56	c #Conflicts:      65000 | #Constraints:     665802
336.44/337.56	c #Conflicts:      66000 | #Constraints:     666802
336.44/337.56	c INPROCESSING
336.44/337.56	c GARBAGE COLLECT
336.44/337.56	c rational objective 203.895
342.32/343.43	c bounds 423 >= 24 @ 337.592
342.32/343.46	c bounds 419 >= 24 @ 337.616
342.32/343.47	c bounds 418 >= 24 @ 337.63
352.10/353.29	c #Conflicts:      67000 | #Constraints:     662609
352.10/353.29	c bounds 417 >= 24 @ 347.23
352.20/353.31	c bounds 417 >= 28 @ 347.242
377.14/378.38	c #Conflicts:      68000 | #Constraints:     663619
377.14/378.38	c #Conflicts:      69000 | #Constraints:     664626
377.14/378.38	c #Conflicts:      70000 | #Constraints:     665627
377.14/378.38	c #Conflicts:      71000 | #Constraints:     666630
377.14/378.38	c #Conflicts:      72000 | #Constraints:     667636
377.14/378.38	c INPROCESSING
377.14/378.38	c GARBAGE COLLECT
377.14/378.38	c rational objective 203.961
405.77/407.09	c #Conflicts:      73000 | #Constraints:     663185
405.77/407.09	c #Conflicts:      74000 | #Constraints:     664185
405.77/407.09	c #Conflicts:      75000 | #Constraints:     665189
405.77/407.09	c #Conflicts:      76000 | #Constraints:     666194
405.77/407.09	c #Conflicts:      77000 | #Constraints:     667195
405.77/407.09	c #Conflicts:      78000 | #Constraints:     668196
405.77/407.09	c INPROCESSING
405.77/407.09	c GARBAGE COLLECT
405.77/407.09	c rational objective 203.967
412.05/413.34	c bounds 411 >= 28 @ 406.584
415.34/416.65	c bounds 410 >= 28 @ 409.806
439.47/440.80	c #Conflicts:      79000 | #Constraints:     663575
439.47/440.80	c #Conflicts:      80000 | #Constraints:     664575
439.47/440.80	c #Conflicts:      81000 | #Constraints:     665575
439.47/440.80	c #Conflicts:      82000 | #Constraints:     666575
439.47/440.80	c #Conflicts:      83000 | #Constraints:     667575
439.47/440.80	c #Conflicts:      84000 | #Constraints:     668575
439.47/440.80	c INPROCESSING
439.47/440.80	c GARBAGE COLLECT
439.47/440.80	c rational objective 203.967
445.47/446.88	c bounds 406 >= 28 @ 439.854
451.24/452.62	c bounds 404 >= 28 @ 445.48
451.24/452.64	c bounds 404 >= 30 @ 445.49
451.24/452.65	c bounds 404 >= 32 @ 445.499
451.24/452.67	c bounds 404 >= 34 @ 445.514
451.24/452.69	c bounds 404 >= 36 @ 445.522
451.35/452.72	c bounds 404 >= 38 @ 445.541
452.34/453.70	c bounds 404 >= 40 @ 446.509
452.75/454.17	c bounds 404 >= 42 @ 446.976
456.83/458.21	c #Conflicts:      85000 | #Constraints:     663826
456.83/458.21	c #Conflicts:      86000 | #Constraints:     664826
456.83/458.21	c bounds 404 >= 44 @ 450.958
489.64/491.15	c #Conflicts:      87000 | #Constraints:     665852
489.64/491.15	c #Conflicts:      88000 | #Constraints:     666856
489.64/491.15	c #Conflicts:      89000 | #Constraints:     667858
489.64/491.15	c bounds 403 >= 44 @ 483.124
497.82/499.39	c #Conflicts:      90000 | #Constraints:     668866
497.82/499.39	c INPROCESSING
497.82/499.39	c GARBAGE COLLECT
497.82/499.39	c rational objective 203.969
646.82/648.76	c #Conflicts:      91000 | #Constraints:     663837
646.82/648.76	c #Conflicts:      92000 | #Constraints:     664839
646.82/648.76	c #Conflicts:      93000 | #Constraints:     665839
646.82/648.76	c #Conflicts:      94000 | #Constraints:     666839
646.82/648.76	c #Conflicts:      95000 | #Constraints:     667839
646.82/648.76	c #Conflicts:      96000 | #Constraints:     668839
646.82/648.76	c INPROCESSING
646.82/648.76	c GARBAGE COLLECT
646.82/648.76	c rational objective 203.972
655.80/657.72	c #Conflicts:      97000 | #Constraints:     663630
655.80/657.72	c bounds 403 >= 46 @ 648.79
762.61/764.80	c #Conflicts:      98000 | #Constraints:     664651
762.61/764.80	c #Conflicts:      99000 | #Constraints:     665651
762.61/764.80	c #Conflicts:     100000 | #Constraints:     666652
762.61/764.80	c #Conflicts:     101000 | #Constraints:     667656
762.61/764.80	c #Conflicts:     102000 | #Constraints:     668657
762.61/764.80	c #Conflicts:     103000 | #Constraints:     669661
762.61/764.80	c INPROCESSING
762.61/764.80	c GARBAGE COLLECT
762.61/764.80	c rational objective 204.068
769.60/771.85	c bounds 401 >= 46 @ 762.258
774.49/776.79	c bounds 399 >= 46 @ 767.075
774.98/777.26	c bounds 398 >= 46 @ 767.533
793.33/795.63	c #Conflicts:     104000 | #Constraints:     664262
793.33/795.63	c #Conflicts:     105000 | #Constraints:     665280
793.33/795.63	c bounds 397 >= 46 @ 785.627
793.33/795.65	c bounds 397 >= 47 @ 785.643
793.33/795.67	c bounds 397 >= 48 @ 785.66
793.33/795.69	c bounds 397 >= 49 @ 785.677
793.43/795.73	c bounds 397 >= 50 @ 785.705
793.43/795.76	c bounds 397 >= 51 @ 785.73
793.43/795.79	c bounds 397 >= 52 @ 785.753
793.53/795.82	c bounds 397 >= 53 @ 785.782
793.53/795.87	c bounds 397 >= 54 @ 785.82
793.63/795.91	c bounds 397 >= 55 @ 785.846
793.63/795.95	c bounds 397 >= 56 @ 785.888
793.74/796.01	c bounds 397 >= 57 @ 785.941
793.74/796.05	c bounds 397 >= 58 @ 785.967
793.93/796.25	c bounds 397 >= 59 @ 786.158
796.83/799.11	c bounds 397 >= 60 @ 788.993
796.92/799.20	c bounds 397 >= 61 @ 789.07
796.92/799.27	c bounds 397 >= 62 @ 789.138
797.02/799.38	c bounds 397 >= 63 @ 789.239
797.23/799.50	c bounds 397 >= 64 @ 789.358
797.53/799.80	c bounds 397 >= 65 @ 789.643
798.03/800.30	c bounds 397 >= 66 @ 790.126
798.72/801.05	c #Conflicts:     106000 | #Constraints:     666473
798.72/801.05	c bounds 397 >= 67 @ 790.843
800.62/802.93	c bounds 397 >= 68 @ 792.655
804.50/806.88	c #Conflicts:     107000 | #Constraints:     667539
804.50/806.88	c bounds 397 >= 69 @ 796.513
808.40/810.78	c bounds 397 >= 70 @ 800.351
809.70/812.03	c #Conflicts:     108000 | #Constraints:     668614
809.70/812.03	c bounds 397 >= 71 @ 801.571
810.59/812.92	c bounds 397 >= 72 @ 802.436
811.49/813.83	c bounds 397 >= 73 @ 803.334
813.38/815.73	c #Conflicts:     109000 | #Constraints:     669671
813.38/815.73	c bounds 397 >= 74 @ 805.179
820.56/822.98	c bounds 397 >= 75 @ 812.363
974.54/977.33	c #Conflicts:     110000 | #Constraints:     670728
974.54/977.33	c INPROCESSING
974.54/977.33	c GARBAGE COLLECT
974.54/977.33	c bounds 397 >= 76 @ 966.114
980.92/983.77	c #Conflicts:     111000 | #Constraints:     665011
980.92/983.77	c bounds 397 >= 77 @ 972.404
992.98/995.83	c #Conflicts:     112000 | #Constraints:     666038
992.98/995.83	c #Conflicts:     113000 | #Constraints:     667038
992.98/995.83	c bounds 397 >= 78 @ 984.253
995.87/998.79	c bounds 397 >= 79 @ 987.141
998.47/1001.34	c #Conflicts:     114000 | #Constraints:     668113
998.47/1001.34	c bounds 397 >= 80 @ 989.592
1001.66/1004.54	c #Conflicts:     115000 | #Constraints:     669137
1001.66/1004.54	c bounds 397 >= 81 @ 992.68
1015.62/1018.53	c #Conflicts:     116000 | #Constraints:     670158
1015.62/1018.53	c bounds 397 >= 82 @ 1006.48
1091.82/1094.91	c #Conflicts:     117000 | #Constraints:     671185
1091.82/1094.91	c INPROCESSING
1091.82/1094.91	c GARBAGE COLLECT
1091.82/1094.91	c #Conflicts:     118000 | #Constraints:     665251
1091.82/1094.91	c #Conflicts:     119000 | #Constraints:     666251
1091.82/1094.91	c bounds 397 >= 83 @ 1082.35
1102.68/1105.88	c #Conflicts:     120000 | #Constraints:     667312
1102.68/1105.88	c #Conflicts:     121000 | #Constraints:     668312
1102.68/1105.88	c bounds 397 >= 84 @ 1093.08
1113.36/1116.55	c #Conflicts:     122000 | #Constraints:     669357
1113.36/1116.55	c #Conflicts:     123000 | #Constraints:     670357
1113.36/1116.55	c #Conflicts:     124000 | #Constraints:     671357
1113.36/1116.55	c INPROCESSING
1113.36/1116.55	c GARBAGE COLLECT
1113.36/1116.55	c bounds 397 >= 85 @ 1103.45
1144.97/1148.20	c #Conflicts:     125000 | #Constraints:     665321
1144.97/1148.20	c #Conflicts:     126000 | #Constraints:     666321
1144.97/1148.20	c #Conflicts:     127000 | #Constraints:     667323
1144.97/1148.20	c #Conflicts:     128000 | #Constraints:     668324
1144.97/1148.20	c bounds 397 >= 86 @ 1134.62
1168.51/1171.82	c #Conflicts:     129000 | #Constraints:     669381
1168.51/1171.82	c #Conflicts:     130000 | #Constraints:     670381
1168.51/1171.82	c #Conflicts:     131000 | #Constraints:     671381
1168.51/1171.82	c bounds 397 >= 87 @ 1157.82
1191.95/1195.37	c INPROCESSING
1191.95/1195.37	c GARBAGE COLLECT
1191.95/1195.37	c rational objective 204.069
1204.41/1207.85	c #Conflicts:     132000 | #Constraints:     665138
1204.41/1207.85	c bounds 396 >= 87 @ 1193.57
1227.85/1231.30	c #Conflicts:     133000 | #Constraints:     666141
1227.85/1231.30	c #Conflicts:     134000 | #Constraints:     667141
1227.85/1231.30	c #Conflicts:     135000 | #Constraints:     668141
1227.85/1231.30	c #Conflicts:     136000 | #Constraints:     669141
1227.85/1231.30	c bounds 396 >= 88 @ 1216.52
1265.06/1268.62	c #Conflicts:     137000 | #Constraints:     670201
1265.06/1268.62	c #Conflicts:     138000 | #Constraints:     671201
1265.06/1268.62	c #Conflicts:     139000 | #Constraints:     672202
1265.06/1268.62	c INPROCESSING
1265.06/1268.62	c GARBAGE COLLECT
1265.06/1268.62	c rational objective 204.083
1270.24/1273.84	c bounds 395 >= 88 @ 1258.66
1281.32/1284.95	c #Conflicts:     140000 | #Constraints:     665733
1281.32/1284.95	c #Conflicts:     141000 | #Constraints:     666733
1281.32/1284.95	c bounds 394 >= 88 @ 1269.62
1290.99/1294.60	c #Conflicts:     142000 | #Constraints:     667734
1290.99/1294.60	c #Conflicts:     143000 | #Constraints:     668734
1290.99/1294.60	c bounds 394 >= 89 @ 1279.08
1318.91/1322.66	c #Conflicts:     144000 | #Constraints:     669777
1318.91/1322.66	c #Conflicts:     145000 | #Constraints:     670777
1318.91/1322.66	c #Conflicts:     146000 | #Constraints:     671777
1318.91/1322.66	c #Conflicts:     147000 | #Constraints:     672777
1318.91/1322.66	c INPROCESSING
1318.91/1322.66	c GARBAGE COLLECT
1318.91/1322.66	c rational objective 204.083
1356.72/1360.55	c #Conflicts:     148000 | #Constraints:     666150
1356.72/1360.55	c bounds 394 >= 90 @ 1344.22
1378.66/1382.56	c #Conflicts:     149000 | #Constraints:     667198
1378.66/1382.56	c #Conflicts:     150000 | #Constraints:     668198
1378.66/1382.56	c #Conflicts:     151000 | #Constraints:     669198
1378.66/1382.56	c #Conflicts:     152000 | #Constraints:     670198
1378.66/1382.56	c bounds 394 >= 91 @ 1365.63
1446.68/1450.73	c #Conflicts:     153000 | #Constraints:     671240
1446.68/1450.73	c #Conflicts:     154000 | #Constraints:     672240
1446.68/1450.73	c #Conflicts:     155000 | #Constraints:     673240
1446.68/1450.73	c INPROCESSING
1446.68/1450.73	c GARBAGE COLLECT
1446.68/1450.73	c #Conflicts:     156000 | #Constraints:     666411
1446.68/1450.73	c #Conflicts:     157000 | #Constraints:     667411
1446.68/1450.73	c bounds 394 >= 92 @ 1432.97
1605.95/1610.42	c #Conflicts:     158000 | #Constraints:     668453
1605.95/1610.42	c #Conflicts:     159000 | #Constraints:     669453
1605.95/1610.42	c #Conflicts:     160000 | #Constraints:     670453
1605.95/1610.42	c #Conflicts:     161000 | #Constraints:     671453
1605.95/1610.42	c #Conflicts:     162000 | #Constraints:     672453
1605.95/1610.42	c #Conflicts:     163000 | #Constraints:     673453
1605.95/1610.42	c INPROCESSING
1605.95/1610.42	c GARBAGE COLLECT
1605.95/1610.42	c rational objective 204.083
1612.44/1616.98	c bounds 393 >= 92 @ 1597.92
1637.48/1642.04	c #Conflicts:     164000 | #Constraints:     666424
1637.48/1642.04	c #Conflicts:     165000 | #Constraints:     667424
1637.48/1642.04	c bounds 392 >= 92 @ 1622.63
1663.01/1667.61	c #Conflicts:     166000 | #Constraints:     668530
1663.01/1667.61	c #Conflicts:     167000 | #Constraints:     669530
1663.01/1667.61	c #Conflicts:     168000 | #Constraints:     670530
1663.01/1667.61	c #Conflicts:     169000 | #Constraints:     671530
1663.01/1667.61	c bounds 392 >= 93 @ 1647.72
1681.77/1686.47	c #Conflicts:     170000 | #Constraints:     672578
1681.77/1686.47	c #Conflicts:     171000 | #Constraints:     673578
1681.77/1686.47	c INPROCESSING
1681.77/1686.47	c GARBAGE COLLECT
1681.77/1686.47	c rational objective 204.08
1743.41/1748.24	c #Conflicts:     172000 | #Constraints:     666296
1743.41/1748.24	c #Conflicts:     173000 | #Constraints:     667296
1743.41/1748.24	c #Conflicts:     174000 | #Constraints:     668296
1743.41/1748.24	c #Conflicts:     175000 | #Constraints:     669296
1743.41/1748.24	c #Conflicts:     176000 | #Constraints:     670296
1743.41/1748.24	c #Conflicts:     177000 | #Constraints:     671296
1743.41/1748.24	c #Conflicts:     178000 | #Constraints:     672297
1743.41/1748.24	c bounds 392 >= 94 @ 1726.93
1767.64/1772.55	c #Conflicts:     179000 | #Constraints:     673336
1767.64/1772.55	c #Conflicts:     180000 | #Constraints:     674336
1767.64/1772.55	c INPROCESSING
1767.64/1772.55	c GARBAGE COLLECT
1767.64/1772.55	c rational objective 204.08
1970.54/1976.06	c #Conflicts:     181000 | #Constraints:     666890
1970.54/1976.06	c #Conflicts:     182000 | #Constraints:     667890
1970.54/1976.06	c #Conflicts:     183000 | #Constraints:     668890
1970.54/1976.06	c #Conflicts:     184000 | #Constraints:     669890
1970.54/1976.06	c #Conflicts:     185000 | #Constraints:     670890
1970.54/1976.06	c #Conflicts:     186000 | #Constraints:     671890
1970.54/1976.06	c #Conflicts:     187000 | #Constraints:     672890
1970.54/1976.06	c #Conflicts:     188000 | #Constraints:     673890
1970.54/1976.06	c #Conflicts:     189000 | #Constraints:     674891
1970.54/1976.06	c INPROCESSING
1970.54/1976.06	c GARBAGE COLLECT
1970.54/1976.06	c #Conflicts:     190000 | #Constraints:     667266
1970.54/1976.06	c #Conflicts:     191000 | #Constraints:     668272
1970.54/1976.06	c #Conflicts:     192000 | #Constraints:     669276
1970.54/1976.06	c bounds 391 >= 94 @ 1952.35
1998.26/2003.85	c #Conflicts:     193000 | #Constraints:     670281
1998.26/2003.85	c #Conflicts:     194000 | #Constraints:     671281
1998.26/2003.85	c #Conflicts:     195000 | #Constraints:     672281
1998.26/2003.85	c #Conflicts:     196000 | #Constraints:     673281
1998.26/2003.85	c bounds 391 >= 95 @ 1979.68
2031.16/2036.87	c #Conflicts:     197000 | #Constraints:     674330
2031.16/2036.87	c #Conflicts:     198000 | #Constraints:     675336
2031.16/2036.87	c INPROCESSING
2031.16/2036.87	c GARBAGE COLLECT
2031.16/2036.87	c rational objective 204.08
2172.34/2178.48	c #Conflicts:     199000 | #Constraints:     667516
2172.34/2178.48	c #Conflicts:     200000 | #Constraints:     668517
2172.34/2178.48	c #Conflicts:     201000 | #Constraints:     669517
2172.34/2178.48	c #Conflicts:     202000 | #Constraints:     670519
2172.34/2178.48	c #Conflicts:     203000 | #Constraints:     671519
2172.34/2178.48	c #Conflicts:     204000 | #Constraints:     672519
2172.34/2178.48	c #Conflicts:     205000 | #Constraints:     673521
2172.34/2178.48	c #Conflicts:     206000 | #Constraints:     674521
2172.34/2178.48	c #Conflicts:     207000 | #Constraints:     675521
2172.34/2178.48	c INPROCESSING
2172.34/2178.48	c GARBAGE COLLECT
2172.34/2178.48	c rational objective 204.08
2257.80/2264.16	c #Conflicts:     208000 | #Constraints:     667501
2257.80/2264.16	c #Conflicts:     209000 | #Constraints:     668555
2257.80/2264.16	c #Conflicts:     210000 | #Constraints:     669617
2257.80/2264.16	c #Conflicts:     211000 | #Constraints:     670629
2257.80/2264.16	c #Conflicts:     212000 | #Constraints:     671631
2257.80/2264.16	c #Conflicts:     213000 | #Constraints:     672635
2257.80/2264.16	c #Conflicts:     214000 | #Constraints:     673638
2257.80/2264.16	c #Conflicts:     215000 | #Constraints:     674640
2257.80/2264.16	c #Conflicts:     216000 | #Constraints:     675644
2257.80/2264.16	c INPROCESSING
2257.80/2264.16	c GARBAGE COLLECT
2257.80/2264.16	c rational objective 204.08
2596.98/2604.30	c #Conflicts:     217000 | #Constraints:     667364
2596.98/2604.30	c #Conflicts:     218000 | #Constraints:     668364
2596.98/2604.30	c #Conflicts:     219000 | #Constraints:     669364
2596.98/2604.30	c #Conflicts:     220000 | #Constraints:     670383
2596.98/2604.30	c #Conflicts:     221000 | #Constraints:     671393
2596.98/2604.30	c #Conflicts:     222000 | #Constraints:     672396
2596.98/2604.30	c #Conflicts:     223000 | #Constraints:     673396
2596.98/2604.30	c #Conflicts:     224000 | #Constraints:     674405
2596.98/2604.30	c #Conflicts:     225000 | #Constraints:     675414
2596.98/2604.30	c #Conflicts:     226000 | #Constraints:     676418
2596.98/2604.30	c INPROCESSING
2596.98/2604.30	c GARBAGE COLLECT
2596.98/2604.30	c #Conflicts:     227000 | #Constraints:     667940
2596.98/2604.30	c #Conflicts:     228000 | #Constraints:     668940
2596.98/2604.30	c #Conflicts:     229000 | #Constraints:     669940
2596.98/2604.30	c #Conflicts:     230000 | #Constraints:     670940
2596.98/2604.30	c #Conflicts:     231000 | #Constraints:     671940
2596.98/2604.30	c #Conflicts:     232000 | #Constraints:     672940
2596.98/2604.30	c #Conflicts:     233000 | #Constraints:     673940
2596.98/2604.30	c #Conflicts:     234000 | #Constraints:     674940
2596.98/2604.30	c #Conflicts:     235000 | #Constraints:     675941
2596.98/2604.30	c #Conflicts:     236000 | #Constraints:     676942
2596.98/2604.30	c INPROCESSING
2596.98/2604.30	c GARBAGE COLLECT
2596.98/2604.30	c rational objective 204.08
2675.17/2682.79	c #Conflicts:     237000 | #Constraints:     668267
2675.17/2682.79	c #Conflicts:     238000 | #Constraints:     669267
2675.17/2682.79	c #Conflicts:     239000 | #Constraints:     670267
2675.17/2682.79	c #Conflicts:     240000 | #Constraints:     671267
2675.17/2682.79	c #Conflicts:     241000 | #Constraints:     672267
2675.17/2682.79	c #Conflicts:     242000 | #Constraints:     673267
2675.17/2682.79	c #Conflicts:     243000 | #Constraints:     674267
2675.17/2682.79	c bounds 391 >= 96 @ 2650.76
2792.45/2800.38	c #Conflicts:     244000 | #Constraints:     675312
2792.45/2800.38	c #Conflicts:     245000 | #Constraints:     676312
2792.45/2800.38	c #Conflicts:     246000 | #Constraints:     677312
2792.45/2800.38	c INPROCESSING
2792.45/2800.38	c GARBAGE COLLECT
2792.45/2800.38	c #Conflicts:     247000 | #Constraints:     668497
2792.45/2800.38	c #Conflicts:     248000 | #Constraints:     669497
2792.45/2800.38	c #Conflicts:     249000 | #Constraints:     670497
2792.45/2800.38	c #Conflicts:     250000 | #Constraints:     671497
2792.45/2800.38	c #Conflicts:     251000 | #Constraints:     672497
2792.45/2800.38	c #Conflicts:     252000 | #Constraints:     673497
2792.45/2800.38	c #Conflicts:     253000 | #Constraints:     674497
2792.45/2800.38	c #Conflicts:     254000 | #Constraints:     675497
2792.45/2800.38	c #Conflicts:     255000 | #Constraints:     676497
2792.45/2800.38	c #Conflicts:     256000 | #Constraints:     677497
2792.45/2800.38	c INPROCESSING
2792.45/2800.38	c GARBAGE COLLECT
2792.45/2800.38	c rational objective 204.085
2814.49/2822.45	c #Conflicts:     257000 | #Constraints:     668476
2814.49/2822.45	c #Conflicts:     258000 | #Constraints:     669476
2814.49/2822.45	c bounds 388 >= 96 @ 2787.86
2855.98/2864.06	c #Conflicts:     259000 | #Constraints:     670477
2855.98/2864.06	c #Conflicts:     260000 | #Constraints:     671477
2855.98/2864.06	c #Conflicts:     261000 | #Constraints:     672477
2855.98/2864.06	c #Conflicts:     262000 | #Constraints:     673477
2855.98/2864.06	c bounds 388 >= 97 @ 2828.8
2896.57/2904.79	c #Conflicts:     263000 | #Constraints:     674531
2896.57/2904.79	c #Conflicts:     264000 | #Constraints:     675531
2896.57/2904.79	c #Conflicts:     265000 | #Constraints:     676531
2896.57/2904.79	c #Conflicts:     266000 | #Constraints:     677531
2896.57/2904.79	c INPROCESSING
2896.57/2904.79	c GARBAGE COLLECT
2896.57/2904.79	c rational objective 204.085
3108.02/3116.77	c #Conflicts:     267000 | #Constraints:     668321
3108.02/3116.77	c #Conflicts:     268000 | #Constraints:     669322
3108.02/3116.77	c #Conflicts:     269000 | #Constraints:     670322
3108.02/3116.77	c #Conflicts:     270000 | #Constraints:     671322
3108.02/3116.77	c #Conflicts:     271000 | #Constraints:     672322
3108.02/3116.77	c #Conflicts:     272000 | #Constraints:     673322
3108.02/3116.77	c #Conflicts:     273000 | #Constraints:     674322
3108.02/3116.77	c #Conflicts:     274000 | #Constraints:     675323
3108.02/3116.77	c #Conflicts:     275000 | #Constraints:     676323
3108.02/3116.77	c #Conflicts:     276000 | #Constraints:     677323
3108.02/3116.77	c #Conflicts:     277000 | #Constraints:     678324
3108.02/3116.77	c INPROCESSING
3108.02/3116.77	c GARBAGE COLLECT
3108.02/3116.77	c #Conflicts:     278000 | #Constraints:     668920
3108.02/3116.77	c #Conflicts:     279000 | #Constraints:     669920
3108.02/3116.77	c #Conflicts:     280000 | #Constraints:     670920
3108.02/3116.77	c #Conflicts:     281000 | #Constraints:     671920
3108.02/3116.77	c #Conflicts:     282000 | #Constraints:     672920
3108.02/3116.77	c #Conflicts:     283000 | #Constraints:     673920
3108.02/3116.77	c #Conflicts:     284000 | #Constraints:     674920
3108.02/3116.77	c #Conflicts:     285000 | #Constraints:     675920
3108.02/3116.77	c #Conflicts:     286000 | #Constraints:     676920
3108.02/3116.77	c #Conflicts:     287000 | #Constraints:     677921
3108.02/3116.77	c #Conflicts:     288000 | #Constraints:     678921
3108.02/3116.77	c INPROCESSING
3108.02/3116.77	c GARBAGE COLLECT
3108.02/3116.77	c rational objective 204.085
3116.70/3125.40	c bounds 385 >= 97 @ 3085.89
3117.20/3125.98	c bounds 381 >= 97 @ 3086.46
3131.07/3139.88	c #Conflicts:     289000 | #Constraints:     669326
3131.07/3139.88	c #Conflicts:     290000 | #Constraints:     670331
3131.07/3139.88	c bounds 380 >= 97 @ 3100.11
3216.35/3225.34	c #Conflicts:     291000 | #Constraints:     671334
3216.35/3225.34	c #Conflicts:     292000 | #Constraints:     672334
3216.35/3225.34	c #Conflicts:     293000 | #Constraints:     673334
3216.35/3225.34	c #Conflicts:     294000 | #Constraints:     674334
3216.35/3225.34	c #Conflicts:     295000 | #Constraints:     675334
3216.35/3225.34	c #Conflicts:     296000 | #Constraints:     676336
3216.35/3225.34	c #Conflicts:     297000 | #Constraints:     677336
3216.35/3225.34	c #Conflicts:     298000 | #Constraints:     678336
3216.35/3225.34	c #Conflicts:     299000 | #Constraints:     679337
3216.35/3225.34	c INPROCESSING
3216.35/3225.34	c GARBAGE COLLECT
3216.35/3225.34	c rational objective 204.085
3327.17/3336.48	c #Conflicts:     300000 | #Constraints:     669522
3327.17/3336.48	c #Conflicts:     301000 | #Constraints:     670522
3327.17/3336.48	c #Conflicts:     302000 | #Constraints:     671523
3327.17/3336.48	c #Conflicts:     303000 | #Constraints:     672524
3327.17/3336.48	c #Conflicts:     304000 | #Constraints:     673524
3327.17/3336.48	c #Conflicts:     305000 | #Constraints:     674525
3327.17/3336.48	c #Conflicts:     306000 | #Constraints:     675525
3327.17/3336.48	c #Conflicts:     307000 | #Constraints:     676527
3327.17/3336.48	c #Conflicts:     308000 | #Constraints:     677527
3327.17/3336.48	c #Conflicts:     309000 | #Constraints:     678527
3327.17/3336.48	c bounds 380 >= 98 @ 3293.36
3327.66/3336.96	c bounds 379 >= 98 @ 3293.82
3447.63/3457.20	c #Conflicts:     310000 | #Constraints:     679594
3447.63/3457.20	c INPROCESSING
3447.63/3457.20	c GARBAGE COLLECT
3447.63/3457.20	c bounds 378 >= 98 @ 3413.56
3452.42/3462.08	c #Conflicts:     311000 | #Constraints:     669613
3452.42/3462.08	c bounds 377 >= 98 @ 3418.36
3553.85/3563.77	c #Conflicts:     312000 | #Constraints:     670614
3553.85/3563.77	c #Conflicts:     313000 | #Constraints:     671615
3553.85/3563.77	c #Conflicts:     314000 | #Constraints:     672615
3553.85/3563.77	c #Conflicts:     315000 | #Constraints:     673615
3553.85/3563.77	c #Conflicts:     316000 | #Constraints:     674615
3553.85/3563.77	c #Conflicts:     317000 | #Constraints:     675616
3553.85/3563.77	c #Conflicts:     318000 | #Constraints:     676616
3553.85/3563.77	c #Conflicts:     319000 | #Constraints:     677617
3553.85/3563.77	c #Conflicts:     320000 | #Constraints:     678617
3553.85/3563.77	c #Conflicts:     321000 | #Constraints:     679617
3553.85/3563.77	c INPROCESSING
3553.85/3563.77	c GARBAGE COLLECT
3553.85/3563.77	c rational objective 204.085
3561.93/3571.88	c bounds 376 >= 98 @ 3526.33
3567.22/3577.18	c #Conflicts:     322000 | #Constraints:     669371
3567.22/3577.18	c bounds 371 >= 98 @ 3531.56
3600.03/3610.00	c #Conflicts:     323000 | #Constraints:     670377
3600.03/3610.00	c #Conflicts:     324000 | #Constraints:     671377
3600.03/3610.00	c cpu time 3564.06 s
3600.03/3610.00	c deterministic time 65894318958 6.59e+10
3600.03/3610.00	c optimization time 33.4946 s
3600.03/3610.00	c total solve time 3527.63 s
3600.03/3610.00	c core-guided solve time 3031.83 s
3600.03/3610.00	c propagation time 1135.07 s
3600.03/3610.00	c conflict analysis time 1007.12 s
3600.03/3610.00	c propagations 112827756
3600.03/3610.00	c resolve steps 6041179
3600.03/3610.00	c decisions 11198844
3600.03/3610.00	c conflicts 324191
3600.03/3610.00	c restarts 765
3600.03/3610.00	c inprocessing phases 48
3600.03/3610.00	c garbage collections 47 ,( 97.92 )
3600.03/3610.00	c input clauses 657346 ,( 99.81 )
3600.03/3610.00	c input cardinalities 513 ,( 0.08 )
3600.03/3610.00	c input general constraints 737 ,( 0.11 )
3600.03/3610.00	c input average constraint length 6.97
3600.03/3610.00	c input average constraint degree 121.44
3600.03/3610.00	c learned clauses 247605 ,( 76.25 )
3600.03/3610.00	c learned cardinalities 15 ,( 0.00 )
3600.03/3610.00	c learned general constraints 77110 ,( 23.75 )
3600.03/3610.00	c learned average constraint length 1656.54
3600.03/3610.00	c learned average constraint degree 20153560518.69
3600.03/3610.00	c watched  CF 32, 64, 128, Arb: 3018 , 0 , 0 , 0
3600.03/3610.00	c counting CF 32, 64, 128, Arb: 74830 , 0 , 0 , 0
3600.03/3610.00	c watched   constraints 3018 ,( 3.88 ) 
3600.03/3610.00	c counting  constraints 74829 ,( 96.12 ) 
3600.03/3610.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 78361901 , 4069299 , 919258649 ,( 24638114 , 894620535 )
3600.03/3610.00	c gcd simplifications 10037
3600.03/3610.00	c detected cardinalities 0
3600.03/3610.00	c weakened non-implied lits 860857932
3600.03/3610.00	c weakened non-implying lits 189650
3600.03/3610.00	c original variables 10000
3600.03/3610.00	c clausal propagations 20303355
3600.03/3610.00	c cardinality propagations 983128
3600.03/3610.00	c watched propagations 48455
3600.03/3610.00	c counting propagations 88757106
3600.03/3610.00	c watch lookups 6702614129
3600.03/3610.00	c watch backjump lookups 0
3600.03/3610.00	c watch checks 4374828055
3600.03/3610.00	c propagation checks 49857145058
3600.03/3610.00	c constraint additions 4710803049
3600.03/3610.00	c trail pops 124341489
3600.03/3610.00	c formula constraints 656900
3600.03/3610.00	c learned constraints 324014
3600.03/3610.00	c bound constraints 226
3600.03/3610.00	c core-guided constraints 1470
3600.03/3610.00	c encountered formula constraints 2423930
3600.03/3610.00	c encountered learned constraints 2211218
3600.03/3610.00	c encountered bound constraints 10262
3600.03/3610.00	c encountered core-guided constraints 1698569
3600.03/3610.00	c LP total time 2011.54 s
3600.03/3610.00	c LP solve time 1820.33 s
3600.03/3610.00	c LP constraints added 656989
3600.03/3610.00	c LP constraints removed 64
3600.03/3610.00	c LP pivots internal 329969
3600.03/3610.00	c LP pivots root 230608
3600.03/3610.00	c LP calls 859
3600.03/3610.00	c LP optimalities 291
3600.03/3610.00	c LP no pivot count 41
3600.03/3610.00	c LP infeasibilities 525
3600.03/3610.00	c LP valid Farkas constraints 515
3600.03/3610.00	c LP learned Farkas constraints 178
3600.03/3610.00	c LP basis resets 48
3600.03/3610.00	c LP cycling count 10
3600.03/3610.00	c LP singular count 17
3600.03/3610.00	c LP no primal count 0
3600.03/3610.00	c LP no farkas count 10
3600.03/3610.00	c LP other issue count 11
3600.03/3610.00	c LP Gomory cuts 23
3600.03/3610.00	c LP learned cuts 66
3600.03/3610.00	c LP deleted cuts 64
3600.03/3610.00	c LP encountered Gomory constraints 2376
3600.03/3610.00	c LP encountered Farkas constraints 18749
3600.03/3610.00	c LP encountered learned Farkas constraints 88
3600.03/3610.00	c CG auxiliary variables introduced 512
3600.03/3610.00	c CG solutions found 160
3600.03/3610.00	c CG cores constructed 66
3600.03/3610.00	c CG core cardinality constraints returned 0
3600.03/3610.00	c CG unit cores 0
3600.03/3610.00	c CG single cores 66
3600.03/3610.00	c CG blocks removed during cardinality reduction 0
3600.03/3610.00	c CG first core best 0
3600.03/3610.00	c CG decision core best 0
3600.03/3610.00	c CG core reduction tie 0
3600.03/3610.00	c CG core degree average 1.00
3600.03/3610.00	c CG core slack average 863.30
3600.03/3610.00	c CG core upper bound improvements 110
3600.03/3610.00	c STR number of successful calls 0
3600.03/3610.00	c STR number of unsuccessful calls 0
3600.03/3610.00	c STR number of inconclusive calls 0
3600.03/3610.00	c STR number of successful attempts 0
3600.03/3610.00	c STR number of unsuccessful attempts 0
3600.03/3610.00	c STR number of inconclusive attempts 0
3600.03/3610.00	c STR average degree increase per successful call inf
3600.03/3610.00	c STR average degree increase per successful attempt inf
3600.03/3610.00	c STR total number of conflicts for successful attempts 0
3600.03/3610.00	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.00	c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.00	c STR average number of conflicts per successful attempt inf
3600.03/3610.00	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.00	c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.00	c AVG.sumWPerc 92.02 
3600.03/3610.00	c bigint constraints 0 
3600.03/3610.00	o 371
3600.03/3610.00	s SATISFIABLE
3600.03/3610.00	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
3600.03/3610.00	c Program interrupted by user.

Verifier Data 

OK	371

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: 63708 MiB (34110 MiB free)
  memory of node 1: 64465 MiB (45977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532379-1752683038/watcher-4532379-1752683038 -o /tmp/evaluation-result-4532379-1752683038/solver-4532379-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752683038-143344 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532379-1752683038.opb /tmp/proof-4532379-1752683038 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=143380, runsolver pid=143372

[startup+0.100059 s]*
/proc/loadavg: 0.22 0.12 0.10 4/263 143397
/proc/meminfo: memFree=81821136/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143383] ppid=143380 vsize=162480 memory=145168 CPUtime=0.07 cores=4,6
/proc/143383/stat : 143383 (pbsuma) R 143380 143380 143326 0 -1 4194304 3583 0 0 0 4 3 0 0 20 0 1 0 183981341 166379520 36292 18446744073709551615 4210688 4653049 140720721111280 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25362432 140720721119495 140720721119792 140720721119792 140720721125359 0
/proc/143383/statm: 40620 36292 960 108 0 38028 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166672 KiB
Current children cumulated memory: 148112 KiB

[startup+0.205552 s]*
/proc/loadavg: 0.22 0.12 0.10 5/268 143407
/proc/meminfo: memFree=81764384/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143383] ppid=143380 vsize=179864 memory=164020 CPUtime=0.17 cores=4,6
/proc/143383/stat : 143383 (pbsuma) R 143380 143380 143326 0 -1 4194304 8494 0 0 0 13 4 0 0 20 0 1 0 183981341 184180736 41005 18446744073709551615 4210688 4653049 140720721111280 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25362432 140720721119495 140720721119792 140720721119792 140720721125359 0
/proc/143383/statm: 44966 41005 960 108 0 42374 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184056 KiB
Current children cumulated memory: 166964 KiB

[startup+0.305497 s]*
/proc/loadavg: 0.22 0.12 0.10 5/268 143407
/proc/meminfo: memFree=81698420/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143383] ppid=143380 vsize=193200 memory=180644 CPUtime=0.27 cores=4,6
/proc/143383/stat : 143383 (pbsuma) R 143380 143380 143326 0 -1 4194304 11635 0 0 0 22 5 0 0 20 0 1 0 183981341 197836800 45161 18446744073709551615 4210688 4653049 140720721111280 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25362432 140720721119495 140720721119792 140720721119792 140720721125359 0
/proc/143383/statm: 48300 45161 960 108 0 45708 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 197392 KiB
Current children cumulated memory: 183588 KiB

[startup+0.700198 s]
/proc/loadavg: 0.22 0.12 0.10 5/268 143407
/proc/meminfo: memFree=81531568/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143383] ppid=143380 vsize=330020 memory=282464 CPUtime=0.65 cores=4,6
/proc/143383/stat : 143383 (pbsuma) R 143380 143380 143326 0 -1 4194304 24550 0 0 0 57 8 0 0 20 0 1 0 183981341 337940480 70616 18446744073709551615 4210688 4653049 140720721111280 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25362432 140720721119495 140720721119792 140720721119792 140720721125359 0
/proc/143383/statm: 82505 70616 992 108 0 79913 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 334212 KiB
Current children cumulated memory: 285408 KiB

[startup+1.50014 s]
/proc/loadavg: 0.22 0.12 0.10 5/268 143409
/proc/meminfo: memFree=81691888/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=77532 memory=33012 CPUtime=0.55 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 6040 0 0 0 43 12 0 0 20 0 1 0 183981433 79392768 8253 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 19383 8253 1952 1147 0 6809 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 81724 KiB
Current children cumulated memory: 35956 KiB

[startup+3.10537 s]
/proc/loadavg: 0.22 0.12 0.10 5/268 143410
/proc/meminfo: memFree=81473600/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=146892 memory=92988 CPUtime=2.15 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 19525 0 0 0 167 48 0 0 20 0 1 0 183981433 150417408 23247 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 36723 23247 1952 1147 0 24149 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 151084 KiB
Current children cumulated memory: 95932 KiB

[startup+6.30019 s]
/proc/loadavg: 0.52 0.18 0.12 5/268 143410
/proc/meminfo: memFree=80699784/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=935392 memory=674656 CPUtime=5.33 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 54788 0 0 0 453 80 0 0 20 0 1 0 183981433 957841408 168664 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 233848 168664 2336 1147 0 221274 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 939584 KiB
Current children cumulated memory: 677600 KiB

[startup+12.7002 s]
/proc/loadavg: 0.80 0.24 0.14 5/268 143410
/proc/meminfo: memFree=80526396/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=1091632 memory=776536 CPUtime=11.72 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 59248 0 0 0 1070 102 0 0 20 0 1 0 183981433 1117831168 194134 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 272908 194134 2400 1147 0 260334 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1095824 KiB
Current children cumulated memory: 779480 KiB

[startup+25.5002 s]
/proc/loadavg: 1.59 0.45 0.21 5/268 143410
/proc/meminfo: memFree=80103868/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=1170424 memory=851260 CPUtime=24.48 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 66224 0 0 0 2311 137 0 0 20 0 1 0 183981433 1198514176 212815 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 292606 212815 2400 1147 0 280032 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1174616 KiB
Current children cumulated memory: 854204 KiB

[startup+51.1055 s]
/proc/loadavg: 2.67 0.80 0.33 5/269 143462
/proc/meminfo: memFree=78931904/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=1345400 memory=1000664 CPUtime=49.99 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 86456 0 0 0 4822 177 0 0 20 0 1 0 183981433 1377689600 250166 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 336350 250166 2400 1147 0 323776 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1349592 KiB
Current children cumulated memory: 1003608 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 1.37 0.55 5/269 143464
/proc/meminfo: memFree=76816240/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=1364712 memory=1057796 CPUtime=101.03 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 88891 0 0 0 9891 212 0 0 20 0 1 0 183981433 1397465088 264449 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 341178 264449 2400 1147 0 328604 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1368904 KiB
Current children cumulated memory: 1060740 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 1.94 0.80 5/269 143466
/proc/meminfo: memFree=74443036/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=1401116 memory=1101532 CPUtime=160.84 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 93031 0 0 0 15819 265 0 0 20 0 1 0 183981433 1434742784 275383 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 350279 275383 2400 1147 0 337705 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1405308 KiB
Current children cumulated memory: 1104476 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 2.36 1.02 5/270 143470
/proc/meminfo: memFree=72424824/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=1482504 memory=1113940 CPUtime=220.67 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 93555 0 0 0 21779 288 0 0 20 0 1 0 183981433 1518084096 278485 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 370626 278485 2400 1147 0 358052 0
Current children cumulated CPU time: 221.56 s

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

/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3102.3 s]
/proc/loadavg: 4.81 4.53 4.30 5/273 143647
/proc/meminfo: memFree=821836/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3092.78 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 653143 0 0 0 306311 2967 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3162.3 s]
/proc/loadavg: 4.55 4.51 4.31 5/275 143652
/proc/meminfo: memFree=563480/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3152.62 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 662255 0 0 0 312210 3052 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.53 4.51 4.32 5/273 143654
/proc/meminfo: memFree=709476/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3212.46 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 662419 0 0 0 318113 3133 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3282.3 s]
/proc/loadavg: 4.55 4.51 4.33 5/273 143656
/proc/meminfo: memFree=551024/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3272.3 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 662461 0 0 0 324002 3228 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3342.3 s]
/proc/loadavg: 4.57 4.53 4.35 5/273 143658
/proc/meminfo: memFree=655260/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2951632 memory=2477484 CPUtime=3332.15 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 689102 0 0 0 329907 3308 0 0 20 0 1 0 183981433 3022471168 619371 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 737908 619371 2496 1147 0 725334 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 2955824 KiB
Current children cumulated memory: 2480428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.48 4.35 5/272 143660
/proc/meminfo: memFree=617556/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3391.99 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 690073 0 0 0 335883 3316 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.43 4.34 5/270 143663
/proc/meminfo: memFree=528792/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3451.83 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 692225 0 0 0 341856 3327 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.43 4.35 5/270 143665
/proc/meminfo: memFree=552872/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3511.67 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 718018 0 0 0 347746 3421 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.42 4.43 4.35 5/270 143667
/proc/meminfo: memFree=558084/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3571.51 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 737157 0 0 0 353660 3491 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.54 4.46 4.37 5/270 143668
/proc/meminfo: memFree=742108/131250000 swapFree=33008356/33010684
[pid=143380] ppid=143372 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/143380/stat : 143380 (run-opt-break-l) S 143372 143380 143326 0 -1 4194304 237 29334 0 0 0 0 78 11 20 0 1 0 183981340 4292608 736 18446744073709551615 94847899373568 94847900268101 140721728820352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847900507152 94847900554896 94847909257216 140721728821561 140721728821724 140721728821724 140721728827328 0
/proc/143380/statm: 1048 736 672 219 0 110 0
[pid=143409] ppid=143380 vsize=2874404 memory=2400488 CPUtime=3599.14 cores=4,6
/proc/143409/stat : 143409 (roundingsat) R 143380 143380 143326 0 -1 4194304 737157 0 0 0 356405 3509 0 0 20 0 1 0 183981433 2943389696 600122 18446744073709551615 4227072 8923577 140724127567040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34459648 140724127574328 140724127574566 140724127574566 140724127580138 0
/proc/143409/statm: 718601 600122 2496 1147 0 706027 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2878596 KiB
Current children cumulated memory: 2403432 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.01 s]
# the end of solver process 143380 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.788594 s, system=0.114228 s
Sleeping 2 seconds

[startup+3610.03 s]
# the end of solver process 143409 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3564.87 s, system=35.2175 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 2

Real time (s): 3610.03
CPU time (s): 3600.08
CPU user time (s): 3564.87
CPU system time (s): 35.2175
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 2955824
Max. memory (cumulated for all children) (KiB): 2488208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.87
system time used= 35.2175
maximum resident set size= 2485264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 77175520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280
involuntary context switches= 3826


# summary of solver processes directly reported to runsolver:
#   pid: 143380,143409
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3564.87
#   total CPU system time (s): 35.2175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97481 second user time and 16.9631 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-16 18:23:58
IDJOB=4532379
IDBENCH=147561
IDSOLVER=3393
FILE ID=nodeC019/4532379-1752683038
RUNJOBID= nodeC019-1752683038-143344
SLURM_JOB_ID= 9686914
Free space on /tmp= 432952 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532379-1752683038/watcher-4532379-1752683038 -o /tmp/evaluation-result-4532379-1752683038/solver-4532379-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752683038-143344 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532379-1752683038.opb /tmp/proof-4532379-1752683038

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=210464024

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.999
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2161.814
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.071
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1667.408
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.385
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3473.296
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3557.505
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1972.977
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        82016328 kB
MemAvailable:   129662608 kB
Buffers:             904 kB
Cached:         48390424 kB
SwapCached:          428 kB
Active:           813936 kB
Inactive:       47645564 kB
Active(anon):      80796 kB
Inactive(anon):    12796 kB
Active(file):     733140 kB
Inactive(file): 47632768 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             36628 kB
Writeback:             0 kB
AnonPages:         70976 kB
Mapped:           108220 kB
Shmem:             25420 kB
KReclaimable:     243316 kB
Slab:             340064 kB
SReclaimable:     243316 kB
SUnreclaim:        96748 kB
KernelStack:        4112 kB
PageTables:         3000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 304796 MiB
End job on nodeC019 at 2025-07-16 19:24:09