Trace number 4489554

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-ls+pbsuma 63f22adSAT (TO)288 3600.23 3612.82

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
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 benchmark236
Best CPU time to get the best result obtained on this benchmark12722.9
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 495618
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 495618
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489554-1751357479.opb'
0.28/0.34	c 	read 17.23MB  (324.40ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.67/0.73	c	 [group: #orbits ~= 0] (396.96ms)
0.67/0.73	c 
0.67/0.73	c detect special group actions
0.67/0.73	c 	probe for Johnson action (limit=64)
0.67/0.74	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.75	c 	 (18.93ms)
0.67/0.75	c 
0.67/0.75	c detect symmetries on remainder
0.67/0.75	c 	[graph: #vertices 706700 #edges 2766398]
0.67/0.76	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.77/0.80	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.18ms)
0.77/0.80	c 
0.77/0.80	c finalize break order and special generators
0.77/0.80	c 
0.77/0.80	c generation finished
0.77/0.80	c 	[sbp: #constraints 0 #add_vars 0]
0.77/0.81	c 
0.77/0.81	c write result to 'HOME/instance-4489554-1751357479.opb.pre'
0.77/0.84	c 	wrote 17.23MB (35.59ms)
0.77/0.84	c ------------------------------------------------------------------
0.77/0.84	c                 396.96ms 47.85% approx_orbits
0.77/0.84	c                 324.40ms 39.10% parse
0.77/0.84	c                  51.18ms  6.17% detect_generic
0.77/0.84	c                  35.59ms  4.29% output
0.77/0.84	c                  18.93ms  2.28% detect_special
0.77/0.84	c                   2.18ms  0.26% other
0.77/0.84	c                   0.37ms  0.04% finalize_order
0.77/0.84	c         ───────────────────────────────────────────────
0.77/0.84	c                 829.61ms   100% total
0.77/0.84	c ------------------------------------------------------------------
0.88/0.98	c RoundingSat 2
0.88/0.98	c branch pb25
0.88/0.98	c commit 63f22ad
3.55/3.69	c #variables 10000 #constraints 656900
3.55/3.69	c objective is ce32 
4.44/4.55	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.44/4.55	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.44/4.55	c bounds 5439 >= 0 @ 2.83412
6.94/7.01	c rational objective 177.855
10.53/10.68	c bounds 5438 >= 0 @ 8.82955
10.53/10.68	c bounds 5137 >= 0 @ 8.83686
10.53/10.69	c bounds 5132 >= 0 @ 8.84355
10.63/10.70	c bounds 5129 >= 0 @ 8.84838
10.63/10.71	c bounds 5111 >= 0 @ 8.85574
10.63/10.72	c bounds 5057 >= 0 @ 8.86145
10.63/10.73	c bounds 5026 >= 0 @ 8.87107
10.63/10.74	c bounds 5024 >= 0 @ 8.88206
10.63/10.75	c bounds 5016 >= 0 @ 8.88966
10.63/10.77	c bounds 5011 >= 0 @ 8.89961
10.63/10.77	c bounds 4879 >= 0 @ 8.90304
10.63/10.78	c bounds 4874 >= 0 @ 8.90678
10.63/10.78	c bounds 4794 >= 0 @ 8.9116
10.73/10.81	c bounds 4783 >= 0 @ 8.93268
10.73/10.81	c bounds 4777 >= 0 @ 8.93745
10.73/10.82	c bounds 4708 >= 0 @ 8.94299
10.73/10.83	c bounds 4571 >= 0 @ 8.94849
10.73/10.83	c bounds 4467 >= 0 @ 8.95408
10.73/10.84	c bounds 4373 >= 0 @ 8.95875
10.73/10.85	c bounds 4306 >= 0 @ 8.96365
10.73/10.85	c bounds 4292 >= 0 @ 8.9684
10.73/10.87	c bounds 4281 >= 0 @ 8.97989
10.73/10.88	c bounds 4174 >= 0 @ 8.9863
10.73/10.88	c bounds 4123 >= 0 @ 8.99058
10.73/10.89	c bounds 4105 >= 0 @ 8.99578
10.82/10.91	c bounds 4103 >= 0 @ 9.01652
10.82/10.93	c bounds 4075 >= 0 @ 9.0268
10.82/10.94	c bounds 4056 >= 0 @ 9.04283
10.82/10.95	c bounds 4055 >= 0 @ 9.04709
10.82/10.96	c bounds 4047 >= 0 @ 9.05147
10.82/10.96	c bounds 4040 >= 0 @ 9.05771
10.82/10.97	c bounds 3920 >= 0 @ 9.06222
10.82/10.98	c bounds 3914 >= 0 @ 9.06821
10.82/11.00	c bounds 3911 >= 0 @ 9.07919
10.93/11.00	c bounds 3846 >= 0 @ 9.08393
10.93/11.01	c bounds 3701 >= 0 @ 9.09029
10.93/11.03	c bounds 3700 >= 0 @ 9.105
10.93/11.03	c bounds 3627 >= 0 @ 9.10957
10.93/11.04	c bounds 3586 >= 0 @ 9.1151
10.93/11.06	c bounds 3568 >= 0 @ 9.12678
10.93/11.07	c bounds 3561 >= 0 @ 9.13742
10.93/11.08	c bounds 3559 >= 0 @ 9.14365
10.93/11.09	c bounds 3551 >= 0 @ 9.15479
10.93/11.10	c bounds 3417 >= 0 @ 9.16097
11.03/11.11	c bounds 3357 >= 0 @ 9.16596
11.03/11.14	c bounds 3347 >= 0 @ 9.193
11.03/11.15	c bounds 3340 >= 0 @ 9.20239
11.03/11.17	c bounds 3334 >= 0 @ 9.21921
11.03/11.18	c bounds 3307 >= 0 @ 9.23114
11.03/11.19	c bounds 3249 >= 0 @ 9.2379
11.13/11.20	c bounds 3185 >= 0 @ 9.24286
11.13/11.21	c bounds 3184 >= 0 @ 9.24886
11.13/11.22	c bounds 3137 >= 0 @ 9.25486
11.13/11.24	c bounds 3129 >= 0 @ 9.27519
11.13/11.25	c bounds 3112 >= 0 @ 9.28339
11.13/11.28	c bounds 3064 >= 0 @ 9.31357
11.43/11.57	c bounds 3063 >= 0 @ 9.5814
11.43/11.58	c bounds 3050 >= 0 @ 9.59471
11.43/11.59	c bounds 2992 >= 0 @ 9.59921
11.53/11.60	c bounds 2960 >= 0 @ 9.60445
11.53/11.61	c bounds 2885 >= 0 @ 9.6111
11.53/11.62	c bounds 2830 >= 0 @ 9.61873
11.53/11.63	c bounds 2829 >= 0 @ 9.62439
11.53/11.64	c bounds 2788 >= 0 @ 9.63283
11.53/11.65	c bounds 2785 >= 0 @ 9.64254
11.53/11.67	c bounds 2776 >= 0 @ 9.65743
11.53/11.68	c bounds 2760 >= 0 @ 9.66494
11.53/11.69	c bounds 2728 >= 0 @ 9.67212
11.63/11.71	c bounds 2727 >= 0 @ 9.681
11.63/11.72	c bounds 2696 >= 0 @ 9.68894
11.63/11.73	c bounds 2596 >= 0 @ 9.69517
11.63/11.74	c bounds 2534 >= 0 @ 9.7023
11.72/11.83	c bounds 2511 >= 0 @ 9.78875
11.72/11.84	c bounds 2390 >= 0 @ 9.79793
11.82/11.96	c bounds 2384 >= 0 @ 9.90979
11.93/12.09	c bounds 2382 >= 0 @ 10.0366
12.03/12.11	c bounds 2238 >= 0 @ 10.0461
12.03/12.12	c bounds 2236 >= 0 @ 10.0542
12.03/12.13	c bounds 1977 >= 0 @ 10.0634
12.03/12.14	c bounds 1957 >= 0 @ 10.0722
12.03/12.16	c bounds 1946 >= 0 @ 10.0809
12.03/12.16	c bounds 1920 >= 0 @ 10.0867
12.03/12.18	c bounds 1850 >= 0 @ 10.0949
12.32/12.48	c bounds 1849 >= 0 @ 10.3941
12.42/12.50	c bounds 1839 >= 0 @ 10.4118
12.42/12.51	c bounds 1779 >= 0 @ 10.42
12.42/12.52	c bounds 1775 >= 0 @ 10.4264
12.52/12.63	c bounds 1762 >= 0 @ 10.5271
12.52/12.65	c bounds 1750 >= 0 @ 10.5408
12.52/12.66	c bounds 1687 >= 0 @ 10.5479
12.52/12.68	c bounds 1677 >= 0 @ 10.5597
12.62/12.71	c bounds 1643 >= 0 @ 10.5874
12.62/12.72	c bounds 1514 >= 0 @ 10.5928
12.72/12.82	c bounds 1453 >= 0 @ 10.6876
12.72/12.83	c bounds 1445 >= 0 @ 10.6935
12.72/12.84	c bounds 1250 >= 0 @ 10.6992
12.72/12.86	c bounds 1182 >= 0 @ 10.7057
12.72/12.87	c bounds 1090 >= 0 @ 10.7151
12.72/12.88	c bounds 1016 >= 0 @ 10.7207
13.42/13.59	c bounds 1015 >= 0 @ 11.41
14.62/14.78	c bounds 1008 >= 0 @ 12.5783
15.21/15.39	c #Conflicts:       1000 | #Constraints:     658015
15.21/15.39	c bounds 1007 >= 0 @ 13.1746
15.31/15.40	c bounds 921 >= 0 @ 13.1804
15.31/15.42	c bounds 867 >= 0 @ 13.1865
15.42/15.59	c bounds 814 >= 0 @ 13.3403
15.92/16.03	c bounds 807 >= 0 @ 13.7614
16.22/16.38	c bounds 773 >= 0 @ 14.0923
16.22/16.39	c bounds 707 >= 0 @ 14.1023
18.30/18.43	c #Conflicts:       2000 | #Constraints:     659023
18.30/18.43	c INPROCESSING
18.30/18.43	c GARBAGE COLLECT
18.30/18.43	c bounds 706 >= 0 @ 16.1059
18.30/18.44	c bounds 698 >= 0 @ 16.1156
18.30/18.45	c bounds 695 >= 0 @ 16.1243
18.30/18.46	c bounds 690 >= 0 @ 16.1362
18.30/18.48	c bounds 688 >= 0 @ 16.1476
18.30/18.49	c bounds 687 >= 0 @ 16.1597
18.41/18.51	c bounds 681 >= 0 @ 16.1717
20.10/20.21	c bounds 679 >= 0 @ 17.8628
21.29/21.49	c #Conflicts:       3000 | #Constraints:     658928
21.29/21.49	c bounds 518 >= 0 @ 19.1205
22.29/22.40	c bounds 473 >= 0 @ 19.9929
26.18/26.32	c #Conflicts:       4000 | #Constraints:     659930
26.18/26.32	c INPROCESSING
26.18/26.32	c GARBAGE COLLECT
26.18/26.32	c bounds 466 >= 0 @ 23.8678
26.18/26.33	c bounds 464 >= 0 @ 23.8778
26.18/26.37	c bounds 461 >= 0 @ 23.9143
26.28/26.40	c bounds 460 >= 0 @ 23.9388
26.28/26.42	c bounds 457 >= 0 @ 23.9549
26.28/26.47	c bounds 454 >= 0 @ 24.0011
26.48/26.69	c bounds 448 >= 0 @ 24.2167
30.67/30.80	c #Conflicts:       5000 | #Constraints:     659331
30.67/30.80	c #Conflicts:       6000 | #Constraints:     660331
30.67/30.80	c bounds 351 >= 0 @ 28.2475
30.67/30.81	c bounds 347 >= 0 @ 28.2554
30.67/30.82	c bounds 341 >= 0 @ 28.2601
32.87/33.09	c bounds 340 >= 0 @ 30.4812
38.04/38.21	c INPROCESSING
38.04/38.21	c GARBAGE COLLECT
38.04/38.21	c rational objective 179.482
55.80/56.02	c #Conflicts:       7000 | #Constraints:     659330
55.80/56.02	c #Conflicts:       8000 | #Constraints:     660330
55.80/56.02	c #Conflicts:       9000 | #Constraints:     661330
55.80/56.02	c INPROCESSING
55.80/56.02	c GARBAGE COLLECT
55.80/56.02	c rational objective 181.764
71.65/71.98	c #Conflicts:      10000 | #Constraints:     660038
71.65/71.98	c #Conflicts:      11000 | #Constraints:     661038
71.65/71.98	c #Conflicts:      12000 | #Constraints:     662038
71.65/71.98	c INPROCESSING
71.65/71.98	c GARBAGE COLLECT
71.65/71.98	c rational objective 182.244
85.61/85.97	c #Conflicts:      13000 | #Constraints:     660498
85.61/85.97	c bounds 336 >= 0 @ 82.8077
85.61/85.98	c bounds 336 >= 5 @ 82.8134
85.61/85.99	c bounds 336 >= 10 @ 82.8231
85.71/86.01	c bounds 336 >= 15 @ 82.8305
87.41/87.74	c bounds 336 >= 20 @ 84.5429
94.58/94.98	c #Conflicts:      14000 | #Constraints:     661521
94.58/94.98	c #Conflicts:      15000 | #Constraints:     662521
94.58/94.98	c INPROCESSING
94.58/94.98	c rational objective 183.208
116.52/116.93	c #Conflicts:      16000 | #Constraints:     660739
116.52/116.93	c #Conflicts:      17000 | #Constraints:     661739
116.52/116.93	c #Conflicts:      18000 | #Constraints:     662739
116.52/116.93	c INPROCESSING
116.52/116.93	c GARBAGE COLLECT
116.52/116.93	c rational objective 183.302
138.85/139.38	c #Conflicts:      19000 | #Constraints:     660766
138.85/139.38	c #Conflicts:      20000 | #Constraints:     661766
138.85/139.38	c #Conflicts:      21000 | #Constraints:     662766
138.85/139.38	c INPROCESSING
138.85/139.38	c GARBAGE COLLECT
138.85/139.38	c rational objective 183.445
163.17/163.73	c #Conflicts:      22000 | #Constraints:     660568
163.17/163.73	c #Conflicts:      23000 | #Constraints:     661568
163.17/163.73	c #Conflicts:      24000 | #Constraints:     662568
163.17/163.73	c #Conflicts:      25000 | #Constraints:     663568
163.17/163.73	c INPROCESSING
163.17/163.73	c GARBAGE COLLECT
163.17/163.73	c rational objective 183.473
191.67/192.35	c #Conflicts:      26000 | #Constraints:     661167
191.67/192.35	c #Conflicts:      27000 | #Constraints:     662167
191.67/192.35	c #Conflicts:      28000 | #Constraints:     663168
191.67/192.35	c #Conflicts:      29000 | #Constraints:     664172
191.67/192.35	c INPROCESSING
191.67/192.35	c GARBAGE COLLECT
191.67/192.35	c rational objective 183.684
196.96/197.62	c bounds 329 >= 20 @ 193.436
196.96/197.64	c bounds 327 >= 20 @ 193.45
196.96/197.66	c bounds 324 >= 20 @ 193.464
197.06/197.70	c bounds 323 >= 20 @ 193.493
210.21/211.00	c #Conflicts:      30000 | #Constraints:     661591
210.21/211.00	c bounds 322 >= 20 @ 206.649
210.32/211.01	c bounds 322 >= 24 @ 206.657
265.93/266.83	c #Conflicts:      31000 | #Constraints:     662601
265.93/266.83	c #Conflicts:      32000 | #Constraints:     663605
265.93/266.83	c #Conflicts:      33000 | #Constraints:     664607
265.93/266.83	c INPROCESSING
265.93/266.83	c GARBAGE COLLECT
265.93/266.83	c #Conflicts:      34000 | #Constraints:     661780
265.93/266.83	c #Conflicts:      35000 | #Constraints:     662785
265.93/266.83	c #Conflicts:      36000 | #Constraints:     663788
265.93/266.83	c #Conflicts:      37000 | #Constraints:     664793
265.93/266.83	c INPROCESSING
265.93/266.83	c GARBAGE COLLECT
265.93/266.83	c rational objective 183.515
300.22/301.23	c #Conflicts:      38000 | #Constraints:     661780
300.22/301.23	c #Conflicts:      39000 | #Constraints:     662821
300.22/301.23	c #Conflicts:      40000 | #Constraints:     663862
300.22/301.23	c #Conflicts:      41000 | #Constraints:     664923
300.22/301.23	c INPROCESSING
300.22/301.23	c GARBAGE COLLECT
300.22/301.23	c rational objective 183.674
326.83/327.99	c #Conflicts:      42000 | #Constraints:     661670
326.83/327.99	c #Conflicts:      43000 | #Constraints:     662680
326.83/327.99	c #Conflicts:      44000 | #Constraints:     663696
326.83/327.99	c #Conflicts:      45000 | #Constraints:     664712
326.83/327.99	c #Conflicts:      46000 | #Constraints:     665726
326.83/327.99	c INPROCESSING
326.83/327.99	c GARBAGE COLLECT
326.83/327.99	c rational objective 183.674
386.94/388.22	c #Conflicts:      47000 | #Constraints:     662257
386.94/388.22	c #Conflicts:      48000 | #Constraints:     663270
386.94/388.22	c #Conflicts:      49000 | #Constraints:     664282
386.94/388.22	c #Conflicts:      50000 | #Constraints:     665293
386.94/388.22	c #Conflicts:      51000 | #Constraints:     666305
386.94/388.22	c INPROCESSING
386.94/388.22	c GARBAGE COLLECT
386.94/388.22	c #Conflicts:      52000 | #Constraints:     662644
386.94/388.22	c #Conflicts:      53000 | #Constraints:     663651
386.94/388.22	c #Conflicts:      54000 | #Constraints:     664660
386.94/388.22	c #Conflicts:      55000 | #Constraints:     665663
386.94/388.22	c #Conflicts:      56000 | #Constraints:     666665
386.94/388.22	c INPROCESSING
386.94/388.22	c rational objective 183.659
392.91/394.23	c bounds 320 >= 24 @ 388.33
397.50/398.88	c bounds 319 >= 24 @ 392.948
397.59/398.90	c bounds 319 >= 27 @ 392.96
519.27/521.02	c #Conflicts:      57000 | #Constraints:     662823
519.27/521.02	c #Conflicts:      58000 | #Constraints:     663825
519.27/521.02	c #Conflicts:      59000 | #Constraints:     664827
519.27/521.02	c #Conflicts:      60000 | #Constraints:     665829
519.27/521.02	c #Conflicts:      61000 | #Constraints:     666835
519.27/521.02	c INPROCESSING
519.27/521.02	c GARBAGE COLLECT
519.27/521.02	c #Conflicts:      62000 | #Constraints:     662801
519.27/521.02	c #Conflicts:      63000 | #Constraints:     663805
519.27/521.02	c #Conflicts:      64000 | #Constraints:     664810
519.27/521.02	c #Conflicts:      65000 | #Constraints:     665812
519.27/521.02	c #Conflicts:      66000 | #Constraints:     666816
519.27/521.02	c INPROCESSING
519.27/521.02	c GARBAGE COLLECT
519.27/521.02	c rational objective 183.92
615.70/617.86	c #Conflicts:      67000 | #Constraints:     662591
615.70/617.86	c #Conflicts:      68000 | #Constraints:     663593
615.70/617.86	c #Conflicts:      69000 | #Constraints:     664595
615.70/617.86	c #Conflicts:      70000 | #Constraints:     665597
615.70/617.86	c #Conflicts:      71000 | #Constraints:     666601
615.70/617.86	c #Conflicts:      72000 | #Constraints:     667607
615.70/617.86	c INPROCESSING
615.70/617.86	c GARBAGE COLLECT
615.70/617.86	c rational objective 183.921
625.07/627.27	c bounds 318 >= 27 @ 619.765
625.07/627.28	c bounds 318 >= 29 @ 619.774
625.07/627.29	c bounds 318 >= 31 @ 619.778
625.18/627.31	c bounds 318 >= 33 @ 619.786
625.18/627.32	c bounds 318 >= 35 @ 619.793
625.18/627.36	c bounds 318 >= 37 @ 619.819
629.35/631.59	c bounds 318 >= 39 @ 624.013
630.15/632.35	c bounds 318 >= 41 @ 624.752
635.23/637.42	c #Conflicts:      73000 | #Constraints:     663240
635.23/637.42	c #Conflicts:      74000 | #Constraints:     664240
635.23/637.42	c bounds 318 >= 43 @ 629.727
734.16/736.73	c #Conflicts:      75000 | #Constraints:     665258
734.16/736.73	c #Conflicts:      76000 | #Constraints:     666259
734.16/736.73	c #Conflicts:      77000 | #Constraints:     667261
734.16/736.73	c #Conflicts:      78000 | #Constraints:     668263
734.16/736.73	c INPROCESSING
734.16/736.73	c GARBAGE COLLECT
734.16/736.73	c rational objective 183.924
812.68/815.53	c #Conflicts:      79000 | #Constraints:     663635
812.68/815.53	c #Conflicts:      80000 | #Constraints:     664638
812.68/815.53	c #Conflicts:      81000 | #Constraints:     665639
812.68/815.53	c #Conflicts:      82000 | #Constraints:     666640
812.68/815.53	c #Conflicts:      83000 | #Constraints:     667642
812.68/815.53	c #Conflicts:      84000 | #Constraints:     668644
812.68/815.53	c INPROCESSING
812.68/815.53	c GARBAGE COLLECT
812.68/815.53	c rational objective 183.951
999.73/1003.23	c #Conflicts:      85000 | #Constraints:     663851
999.73/1003.23	c #Conflicts:      86000 | #Constraints:     664962
999.73/1003.23	c #Conflicts:      87000 | #Constraints:     666135
999.73/1003.23	c #Conflicts:      88000 | #Constraints:     667274
999.73/1003.23	c #Conflicts:      89000 | #Constraints:     668425
999.73/1003.23	c #Conflicts:      90000 | #Constraints:     669504
999.73/1003.23	c INPROCESSING
999.73/1003.23	c GARBAGE COLLECT
999.73/1003.23	c #Conflicts:      91000 | #Constraints:     664151
999.73/1003.23	c #Conflicts:      92000 | #Constraints:     665152
999.73/1003.23	c #Conflicts:      93000 | #Constraints:     666153
999.73/1003.23	c #Conflicts:      94000 | #Constraints:     667155
999.73/1003.23	c #Conflicts:      95000 | #Constraints:     668155
999.73/1003.23	c #Conflicts:      96000 | #Constraints:     669157
999.73/1003.23	c INPROCESSING
999.73/1003.23	c GARBAGE COLLECT
999.73/1003.23	c rational objective 183.951
1028.03/1031.65	c #Conflicts:      97000 | #Constraints:     663797
1028.03/1031.65	c #Conflicts:      98000 | #Constraints:     664801
1028.03/1031.65	c #Conflicts:      99000 | #Constraints:     665802
1028.03/1031.65	c bounds 318 >= 45 @ 1021.36
1308.26/1312.85	c #Conflicts:     100000 | #Constraints:     666826
1308.26/1312.85	c #Conflicts:     101000 | #Constraints:     667829
1308.26/1312.85	c #Conflicts:     102000 | #Constraints:     668831
1308.26/1312.85	c #Conflicts:     103000 | #Constraints:     669832
1308.26/1312.85	c INPROCESSING
1308.26/1312.85	c GARBAGE COLLECT
1308.26/1312.85	c #Conflicts:     104000 | #Constraints:     664346
1308.26/1312.85	c #Conflicts:     105000 | #Constraints:     665346
1308.26/1312.85	c #Conflicts:     106000 | #Constraints:     666348
1308.26/1312.85	c #Conflicts:     107000 | #Constraints:     667350
1308.26/1312.85	c #Conflicts:     108000 | #Constraints:     668353
1308.26/1312.85	c #Conflicts:     109000 | #Constraints:     669355
1308.26/1312.85	c #Conflicts:     110000 | #Constraints:     670358
1308.26/1312.85	c INPROCESSING
1308.26/1312.85	c GARBAGE COLLECT
1308.26/1312.85	c #Conflicts:     111000 | #Constraints:     664711
1308.26/1312.85	c #Conflicts:     112000 | #Constraints:     665712
1308.26/1312.85	c #Conflicts:     113000 | #Constraints:     666712
1308.26/1312.85	c #Conflicts:     114000 | #Constraints:     667712
1308.26/1312.85	c #Conflicts:     115000 | #Constraints:     668712
1308.26/1312.85	c #Conflicts:     116000 | #Constraints:     669714
1308.26/1312.85	c #Conflicts:     117000 | #Constraints:     670716
1308.26/1312.85	c INPROCESSING
1308.26/1312.85	c GARBAGE COLLECT
1308.26/1312.85	c #Conflicts:     118000 | #Constraints:     664886
1308.26/1312.85	c #Conflicts:     119000 | #Constraints:     665887
1308.26/1312.85	c #Conflicts:     120000 | #Constraints:     666887
1308.26/1312.85	c #Conflicts:     121000 | #Constraints:     667887
1308.26/1312.85	c #Conflicts:     122000 | #Constraints:     668887
1308.26/1312.85	c #Conflicts:     123000 | #Constraints:     669888
1308.26/1312.85	c #Conflicts:     124000 | #Constraints:     670888
1308.26/1312.85	c INPROCESSING
1308.26/1312.85	c GARBAGE COLLECT
1308.26/1312.85	c rational objective 183.942
1318.24/1322.89	c #Conflicts:     125000 | #Constraints:     664869
1318.24/1322.89	c bounds 316 >= 45 @ 1310.55
1329.99/1334.67	c #Conflicts:     126000 | #Constraints:     665893
1329.99/1334.67	c bounds 315 >= 45 @ 1322.24
1329.99/1334.69	c bounds 315 >= 46 @ 1322.25
1330.09/1334.71	c bounds 315 >= 47 @ 1322.27
1330.09/1334.73	c bounds 315 >= 48 @ 1322.28
1330.09/1334.74	c bounds 315 >= 49 @ 1322.29
1330.09/1334.76	c bounds 315 >= 50 @ 1322.3
1330.09/1334.78	c bounds 315 >= 51 @ 1322.31
1330.20/1334.84	c bounds 315 >= 52 @ 1322.36
1330.20/1334.86	c bounds 315 >= 53 @ 1322.38
1330.20/1334.88	c bounds 315 >= 54 @ 1322.39
1330.29/1334.93	c bounds 315 >= 55 @ 1322.43
1332.39/1337.07	c bounds 315 >= 56 @ 1324.55
1332.49/1337.10	c bounds 315 >= 57 @ 1324.57
1332.49/1337.17	c bounds 315 >= 58 @ 1324.62
1332.58/1337.23	c bounds 315 >= 59 @ 1324.68
1332.58/1337.27	c bounds 315 >= 60 @ 1324.71
1332.69/1337.37	c bounds 315 >= 61 @ 1324.81
1332.88/1337.58	c bounds 315 >= 62 @ 1325
1333.28/1337.92	c bounds 315 >= 63 @ 1325.32
1333.78/1338.48	c bounds 314 >= 63 @ 1325.88
1334.08/1338.77	c #Conflicts:     127000 | #Constraints:     667081
1334.08/1338.77	c bounds 314 >= 64 @ 1326.16
1334.28/1338.93	c bounds 314 >= 65 @ 1326.31
1360.18/1365.00	c #Conflicts:     128000 | #Constraints:     668119
1360.18/1365.00	c #Conflicts:     129000 | #Constraints:     669128
1360.18/1365.00	c bounds 313 >= 65 @ 1352.21
1365.86/1370.67	c bounds 313 >= 66 @ 1357.83
1367.05/1371.86	c bounds 313 >= 67 @ 1358.99
1369.05/1373.86	c #Conflicts:     130000 | #Constraints:     670195
1369.05/1373.86	c bounds 313 >= 68 @ 1360.95
1371.94/1376.73	c #Conflicts:     131000 | #Constraints:     671228
1371.94/1376.73	c bounds 313 >= 69 @ 1363.76
1377.12/1381.97	c INPROCESSING
1377.12/1381.97	c GARBAGE COLLECT
1377.12/1381.97	c rational objective 183.942
1384.20/1389.10	c #Conflicts:     132000 | #Constraints:     664909
1384.20/1389.10	c bounds 313 >= 70 @ 1376.02
1394.16/1399.09	c bounds 313 >= 71 @ 1385.93
1396.65/1401.52	c #Conflicts:     133000 | #Constraints:     665987
1396.65/1401.52	c #Conflicts:     134000 | #Constraints:     666987
1396.65/1401.52	c bounds 313 >= 72 @ 1388.31
1406.91/1411.82	c #Conflicts:     135000 | #Constraints:     668014
1406.91/1411.82	c bounds 313 >= 73 @ 1398.51
1419.08/1424.02	c #Conflicts:     136000 | #Constraints:     669053
1419.08/1424.02	c #Conflicts:     137000 | #Constraints:     670053
1419.08/1424.02	c bounds 313 >= 74 @ 1410.62
1526.49/1531.81	c #Conflicts:     138000 | #Constraints:     671074
1526.49/1531.81	c #Conflicts:     139000 | #Constraints:     672074
1526.49/1531.81	c INPROCESSING
1526.49/1531.81	c GARBAGE COLLECT
1526.49/1531.81	c rational objective 183.942
1533.46/1538.85	c bounds 313 >= 75 @ 1524.89
1560.27/1565.72	c #Conflicts:     140000 | #Constraints:     665616
1560.27/1565.72	c #Conflicts:     141000 | #Constraints:     666616
1560.27/1565.72	c #Conflicts:     142000 | #Constraints:     667616
1560.27/1565.72	c bounds 313 >= 76 @ 1551.59
1564.95/1570.41	c #Conflicts:     143000 | #Constraints:     668661
1564.95/1570.41	c #Conflicts:     144000 | #Constraints:     669661
1564.95/1570.41	c bounds 313 >= 77 @ 1556.25
1568.94/1574.46	c #Conflicts:     145000 | #Constraints:     670700
1568.94/1574.46	c #Conflicts:     146000 | #Constraints:     671700
1568.94/1574.46	c bounds 313 >= 78 @ 1560.28
1703.30/1709.38	c #Conflicts:     147000 | #Constraints:     672724
1703.30/1709.38	c INPROCESSING
1703.30/1709.38	c GARBAGE COLLECT
1703.30/1709.38	c #Conflicts:     148000 | #Constraints:     666041
1703.30/1709.38	c bounds 313 >= 79 @ 1694.41
1742.57/1748.76	c #Conflicts:     149000 | #Constraints:     667092
1742.57/1748.76	c #Conflicts:     150000 | #Constraints:     668092
1742.57/1748.76	c #Conflicts:     151000 | #Constraints:     669092
1742.57/1748.76	c bounds 313 >= 80 @ 1733.45
1749.85/1756.01	c #Conflicts:     152000 | #Constraints:     670125
1749.85/1756.01	c #Conflicts:     153000 | #Constraints:     671125
1749.85/1756.01	c #Conflicts:     154000 | #Constraints:     672125
1749.85/1756.01	c bounds 313 >= 81 @ 1740.6
1859.44/1866.05	c #Conflicts:     155000 | #Constraints:     673161
1859.44/1866.05	c INPROCESSING
1859.44/1866.05	c GARBAGE COLLECT
1859.44/1866.05	c rational objective 183.942
1877.09/1883.71	c #Conflicts:     156000 | #Constraints:     666285
1877.09/1883.71	c #Conflicts:     157000 | #Constraints:     667285
1877.09/1883.71	c #Conflicts:     158000 | #Constraints:     668285
1877.09/1883.71	c #Conflicts:     159000 | #Constraints:     669286
1877.09/1883.71	c bounds 313 >= 82 @ 1867.54
2034.55/2041.74	c #Conflicts:     160000 | #Constraints:     670325
2034.55/2041.74	c #Conflicts:     161000 | #Constraints:     671325
2034.55/2041.74	c #Conflicts:     162000 | #Constraints:     672325
2034.55/2041.74	c #Conflicts:     163000 | #Constraints:     673325
2034.55/2041.74	c INPROCESSING
2034.55/2041.74	c GARBAGE COLLECT
2034.55/2041.74	c rational objective 183.942
2047.80/2055.08	c #Conflicts:     164000 | #Constraints:     666294
2047.80/2055.08	c bounds 313 >= 83 @ 2038.01
2129.18/2136.76	c #Conflicts:     165000 | #Constraints:     667341
2129.18/2136.76	c #Conflicts:     166000 | #Constraints:     668341
2129.18/2136.76	c #Conflicts:     167000 | #Constraints:     669341
2129.18/2136.76	c #Conflicts:     168000 | #Constraints:     670341
2129.18/2136.76	c #Conflicts:     169000 | #Constraints:     671342
2129.18/2136.76	c #Conflicts:     170000 | #Constraints:     672342
2129.18/2136.76	c #Conflicts:     171000 | #Constraints:     673342
2129.18/2136.76	c INPROCESSING
2129.18/2136.76	c GARBAGE COLLECT
2129.18/2136.76	c #Conflicts:     172000 | #Constraints:     666115
2129.18/2136.76	c #Conflicts:     173000 | #Constraints:     667116
2129.18/2136.76	c #Conflicts:     174000 | #Constraints:     668116
2129.18/2136.76	c bounds 313 >= 84 @ 2118.97
2313.95/2322.11	c #Conflicts:     175000 | #Constraints:     669179
2313.95/2322.11	c #Conflicts:     176000 | #Constraints:     670179
2313.95/2322.11	c #Conflicts:     177000 | #Constraints:     671179
2313.95/2322.11	c #Conflicts:     178000 | #Constraints:     672179
2313.95/2322.11	c #Conflicts:     179000 | #Constraints:     673179
2313.95/2322.11	c #Conflicts:     180000 | #Constraints:     674179
2313.95/2322.11	c INPROCESSING
2313.95/2322.11	c GARBAGE COLLECT
2313.95/2322.11	c #Conflicts:     181000 | #Constraints:     666740
2313.95/2322.11	c #Conflicts:     182000 | #Constraints:     667740
2313.95/2322.11	c #Conflicts:     183000 | #Constraints:     668740
2313.95/2322.11	c #Conflicts:     184000 | #Constraints:     669740
2313.95/2322.11	c #Conflicts:     185000 | #Constraints:     670740
2313.95/2322.11	c #Conflicts:     186000 | #Constraints:     671740
2313.95/2322.11	c #Conflicts:     187000 | #Constraints:     672740
2313.95/2322.11	c #Conflicts:     188000 | #Constraints:     673740
2313.95/2322.11	c bounds 313 >= 85 @ 2303.09
2373.55/2381.94	c #Conflicts:     189000 | #Constraints:     674788
2373.55/2381.94	c INPROCESSING
2373.55/2381.94	c GARBAGE COLLECT
2373.55/2381.94	c #Conflicts:     190000 | #Constraints:     667159
2373.55/2381.94	c #Conflicts:     191000 | #Constraints:     668159
2373.55/2381.94	c #Conflicts:     192000 | #Constraints:     669159
2373.55/2381.94	c #Conflicts:     193000 | #Constraints:     670159
2373.55/2381.94	c #Conflicts:     194000 | #Constraints:     671159
2373.55/2381.94	c #Conflicts:     195000 | #Constraints:     672159
2373.55/2381.94	c #Conflicts:     196000 | #Constraints:     673159
2373.55/2381.94	c #Conflicts:     197000 | #Constraints:     674159
2373.55/2381.94	c #Conflicts:     198000 | #Constraints:     675159
2373.55/2381.94	c INPROCESSING
2373.55/2381.94	c GARBAGE COLLECT
2373.55/2381.94	c rational objective 183.942
2429.58/2438.11	c #Conflicts:     199000 | #Constraints:     667350
2429.58/2438.11	c #Conflicts:     200000 | #Constraints:     668363
2429.58/2438.11	c #Conflicts:     201000 | #Constraints:     669366
2429.58/2438.11	c #Conflicts:     202000 | #Constraints:     670369
2429.58/2438.11	c #Conflicts:     203000 | #Constraints:     671374
2429.58/2438.11	c #Conflicts:     204000 | #Constraints:     672377
2429.58/2438.11	c #Conflicts:     205000 | #Constraints:     673381
2429.58/2438.11	c bounds 311 >= 85 @ 2418.4
2431.97/2440.59	c bounds 309 >= 85 @ 2420.85
2432.16/2440.79	c bounds 304 >= 85 @ 2421.05
2432.47/2441.10	c bounds 299 >= 85 @ 2421.35
2432.96/2441.53	c bounds 298 >= 85 @ 2421.78
2432.96/2441.57	c bounds 297 >= 85 @ 2421.81
2438.84/2447.41	c #Conflicts:     206000 | #Constraints:     674394
2438.84/2447.41	c bounds 296 >= 85 @ 2427.62
2446.22/2454.88	c #Conflicts:     207000 | #Constraints:     675399
2446.22/2454.88	c INPROCESSING
2446.22/2454.88	c GARBAGE COLLECT
2446.22/2454.88	c rational objective 183.942
2486.89/2495.63	c #Conflicts:     208000 | #Constraints:     667358
2486.89/2495.63	c #Conflicts:     209000 | #Constraints:     668358
2486.89/2495.63	c #Conflicts:     210000 | #Constraints:     669358
2486.89/2495.63	c #Conflicts:     211000 | #Constraints:     670358
2486.89/2495.63	c #Conflicts:     212000 | #Constraints:     671358
2486.89/2495.63	c bounds 296 >= 86 @ 2475.55
2489.38/2498.14	c #Conflicts:     213000 | #Constraints:     672412
2489.38/2498.14	c bounds 295 >= 86 @ 2478.05
2489.38/2498.17	c bounds 294 >= 86 @ 2478.07
2503.73/2512.57	c #Conflicts:     214000 | #Constraints:     673414
2503.73/2512.57	c bounds 293 >= 86 @ 2492.4
2515.69/2524.56	c #Conflicts:     215000 | #Constraints:     674416
2515.69/2524.56	c #Conflicts:     216000 | #Constraints:     675416
2515.69/2524.56	c INPROCESSING
2515.69/2524.56	c GARBAGE COLLECT
2515.69/2524.56	c rational objective 183.942
2584.72/2593.89	c #Conflicts:     217000 | #Constraints:     667177
2584.72/2593.89	c #Conflicts:     218000 | #Constraints:     668179
2584.72/2593.89	c #Conflicts:     219000 | #Constraints:     669179
2584.72/2593.89	c #Conflicts:     220000 | #Constraints:     670179
2584.72/2593.89	c #Conflicts:     221000 | #Constraints:     671179
2584.72/2593.89	c #Conflicts:     222000 | #Constraints:     672179
2584.72/2593.89	c #Conflicts:     223000 | #Constraints:     673180
2584.72/2593.89	c bounds 293 >= 87 @ 2573.21
2799.65/2809.57	c #Conflicts:     224000 | #Constraints:     674225
2799.65/2809.57	c #Conflicts:     225000 | #Constraints:     675225
2799.65/2809.57	c #Conflicts:     226000 | #Constraints:     676225
2799.65/2809.57	c INPROCESSING
2799.65/2809.57	c GARBAGE COLLECT
2799.65/2809.57	c #Conflicts:     227000 | #Constraints:     667798
2799.65/2809.57	c #Conflicts:     228000 | #Constraints:     668798
2799.65/2809.57	c #Conflicts:     229000 | #Constraints:     669798
2799.65/2809.57	c #Conflicts:     230000 | #Constraints:     670798
2799.65/2809.57	c #Conflicts:     231000 | #Constraints:     671798
2799.65/2809.57	c #Conflicts:     232000 | #Constraints:     672798
2799.65/2809.57	c #Conflicts:     233000 | #Constraints:     673798
2799.65/2809.57	c #Conflicts:     234000 | #Constraints:     674798
2799.65/2809.57	c #Conflicts:     235000 | #Constraints:     675798
2799.65/2809.57	c bounds 293 >= 88 @ 2787.6
2907.98/2918.23	c #Conflicts:     236000 | #Constraints:     676864
2907.98/2918.23	c INPROCESSING
2907.98/2918.23	c GARBAGE COLLECT
2907.98/2918.23	c #Conflicts:     237000 | #Constraints:     668232
2907.98/2918.23	c #Conflicts:     238000 | #Constraints:     669232
2907.98/2918.23	c #Conflicts:     239000 | #Constraints:     670232
2907.98/2918.23	c #Conflicts:     240000 | #Constraints:     671232
2907.98/2918.23	c #Conflicts:     241000 | #Constraints:     672232
2907.98/2918.23	c #Conflicts:     242000 | #Constraints:     673232
2907.98/2918.23	c #Conflicts:     243000 | #Constraints:     674232
2907.98/2918.23	c #Conflicts:     244000 | #Constraints:     675232
2907.98/2918.23	c #Conflicts:     245000 | #Constraints:     676233
2907.98/2918.23	c #Conflicts:     246000 | #Constraints:     677233
2907.98/2918.23	c INPROCESSING
2907.98/2918.23	c GARBAGE COLLECT
2907.98/2918.23	c rational objective 183.942
3076.28/3087.12	c #Conflicts:     247000 | #Constraints:     668419
3076.28/3087.12	c #Conflicts:     248000 | #Constraints:     669419
3076.28/3087.12	c #Conflicts:     249000 | #Constraints:     670419
3076.28/3087.12	c #Conflicts:     250000 | #Constraints:     671419
3076.28/3087.12	c #Conflicts:     251000 | #Constraints:     672419
3076.28/3087.12	c #Conflicts:     252000 | #Constraints:     673421
3076.28/3087.12	c #Conflicts:     253000 | #Constraints:     674421
3076.28/3087.12	c #Conflicts:     254000 | #Constraints:     675421
3076.28/3087.12	c #Conflicts:     255000 | #Constraints:     676421
3076.28/3087.12	c #Conflicts:     256000 | #Constraints:     677421
3076.28/3087.12	c INPROCESSING
3076.28/3087.12	c GARBAGE COLLECT
3076.28/3087.12	c rational objective 183.942
3118.54/3129.56	c #Conflicts:     257000 | #Constraints:     668420
3118.54/3129.56	c #Conflicts:     258000 | #Constraints:     669420
3118.54/3129.56	c #Conflicts:     259000 | #Constraints:     670420
3118.54/3129.56	c #Conflicts:     260000 | #Constraints:     671421
3118.54/3129.56	c #Conflicts:     261000 | #Constraints:     672422
3118.54/3129.56	c #Conflicts:     262000 | #Constraints:     673422
3118.54/3129.56	c #Conflicts:     263000 | #Constraints:     674422
3118.54/3129.56	c bounds 293 >= 89 @ 3105.15
3119.93/3130.95	c bounds 291 >= 89 @ 3106.52
3125.42/3136.47	c #Conflicts:     264000 | #Constraints:     675483
3125.42/3136.47	c bounds 288 >= 89 @ 3111.98
3191.06/3202.31	c #Conflicts:     265000 | #Constraints:     676502
3191.06/3202.31	c #Conflicts:     266000 | #Constraints:     677513
3191.06/3202.31	c INPROCESSING
3191.06/3202.31	c GARBAGE COLLECT
3191.06/3202.31	c rational objective 183.942
3277.88/3289.43	c #Conflicts:     267000 | #Constraints:     668309
3277.88/3289.43	c #Conflicts:     268000 | #Constraints:     669309
3277.88/3289.43	c #Conflicts:     269000 | #Constraints:     670310
3277.88/3289.43	c #Conflicts:     270000 | #Constraints:     671311
3277.88/3289.43	c #Conflicts:     271000 | #Constraints:     672312
3277.88/3289.43	c #Conflicts:     272000 | #Constraints:     673312
3277.88/3289.43	c #Conflicts:     273000 | #Constraints:     674312
3277.88/3289.43	c #Conflicts:     274000 | #Constraints:     675312
3277.88/3289.43	c #Conflicts:     275000 | #Constraints:     676312
3277.88/3289.43	c #Conflicts:     276000 | #Constraints:     677312
3277.88/3289.43	c #Conflicts:     277000 | #Constraints:     678312
3277.88/3289.43	c INPROCESSING
3277.88/3289.43	c GARBAGE COLLECT
3277.88/3289.43	c rational objective 183.942
3600.09/3612.70	c #Conflicts:     278000 | #Constraints:     668869
3600.09/3612.70	c #Conflicts:     279000 | #Constraints:     669869
3600.09/3612.70	c #Conflicts:     280000 | #Constraints:     670869
3600.09/3612.70	c #Conflicts:     281000 | #Constraints:     671869
3600.09/3612.70	c #Conflicts:     282000 | #Constraints:     672869
3600.09/3612.70	c #Conflicts:     283000 | #Constraints:     673869
3600.09/3612.70	c #Conflicts:     284000 | #Constraints:     674869
3600.09/3612.70	c #Conflicts:     285000 | #Constraints:     675869
3600.09/3612.70	c #Conflicts:     286000 | #Constraints:     676869
3600.09/3612.70	c #Conflicts:     287000 | #Constraints:     677869
3600.09/3612.70	c #Conflicts:     288000 | #Constraints:     678869
3600.09/3612.70	c INPROCESSING
3600.09/3612.70	c GARBAGE COLLECT
3600.09/3612.70	c #Conflicts:     289000 | #Constraints:     669253
3600.09/3612.70	c #Conflicts:     290000 | #Constraints:     670253
3600.09/3612.70	c #Conflicts:     291000 | #Constraints:     671253
3600.09/3612.70	c #Conflicts:     292000 | #Constraints:     672254
3600.09/3612.70	c #Conflicts:     293000 | #Constraints:     673254
3600.09/3612.70	c #Conflicts:     294000 | #Constraints:     674255
3600.09/3612.70	c #Conflicts:     295000 | #Constraints:     675255
3600.09/3612.70	c #Conflicts:     296000 | #Constraints:     676255
3600.09/3612.70	c #Conflicts:     297000 | #Constraints:     677255
3600.09/3612.70	c #Conflicts:     298000 | #Constraints:     678255
3600.09/3612.70	c #Conflicts:     299000 | #Constraints:     679255
3600.09/3612.70	c INPROCESSING
3600.09/3612.70	c GARBAGE COLLECT
3600.09/3612.70	c cpu time 3585.21 s
3600.09/3612.70	c deterministic time 89425065908 8.94e+10
3600.09/3612.70	c optimization time 3.76713 s
3600.09/3612.70	c total solve time 3579.46 s
3600.09/3612.70	c core-guided solve time 3225.4 s
3600.09/3612.70	c propagation time 1258.24 s
3600.09/3612.70	c conflict analysis time 578.379 s
3600.09/3612.70	c propagations 95067542
3600.09/3612.70	c resolve steps 5390318
3600.09/3612.70	c decisions 10411748
3600.09/3612.70	c conflicts 299610
3600.09/3612.70	c restarts 725
3600.09/3612.70	c inprocessing phases 46
3600.09/3612.70	c garbage collections 44 ,( 95.65 )
3600.09/3612.70	c input clauses 657277 ,( 99.84 )
3600.09/3612.70	c input cardinalities 436 ,( 0.07 )
3600.09/3612.70	c input general constraints 650 ,( 0.10 )
3600.09/3612.70	c input average constraint length 6.62
3600.09/3612.70	c input average constraint degree 117.82
3600.09/3612.70	c learned clauses 212230 ,( 70.51 )
3600.09/3612.70	c learned cardinalities 12 ,( 0.00 )
3600.09/3612.70	c learned general constraints 88757 ,( 29.49 )
3600.09/3612.70	c learned average constraint length 1601.75
3600.09/3612.70	c learned average constraint degree 36298035639.60
3600.09/3612.70	c watched  CF 32, 64, 128, Arb: 6704 , 0 , 0 , 0
3600.09/3612.70	c counting CF 32, 64, 128, Arb: 82704 , 0 , 0 , 0
3600.09/3612.70	c watched   constraints 6704 ,( 7.50 ) 
3600.09/3612.70	c counting  constraints 82703 ,( 92.50 ) 
3600.09/3612.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 67509342 , 3096935 , 1261288656 ,( 70790939 , 1190497717 )
3600.09/3612.70	c gcd simplifications 12852
3600.09/3612.70	c detected cardinalities 1
3600.09/3612.70	c weakened non-implied lits 928606584
3600.09/3612.70	c weakened non-implying lits 245901
3600.09/3612.70	c original variables 10000
3600.09/3612.70	c clausal propagations 20067004
3600.09/3612.70	c cardinality propagations 464486
3600.09/3612.70	c watched propagations 63165
3600.09/3612.70	c counting propagations 72339678
3600.09/3612.70	c watch lookups 7855471885
3600.09/3612.70	c watch backjump lookups 0
3600.09/3612.70	c watch checks 5289696010
3600.09/3612.70	c propagation checks 71424163652
3600.09/3612.70	c constraint additions 4643918391
3600.09/3612.70	c trail pops 105768329
3600.09/3612.70	c formula constraints 656900
3600.09/3612.70	c learned constraints 299352
3600.09/3612.70	c bound constraints 214
3600.09/3612.70	c core-guided constraints 1249
3600.09/3612.70	c encountered formula constraints 2471356
3600.09/3612.70	c encountered learned constraints 1970790
3600.09/3612.70	c encountered bound constraints 7957
3600.09/3612.70	c encountered core-guided constraints 1215856
3600.09/3612.70	c LP total time 2531.35 s
3600.09/3612.70	c LP solve time 2372.18 s
3600.09/3612.70	c LP constraints added 656958
3600.09/3612.70	c LP constraints removed 36
3600.09/3612.70	c LP pivots internal 302136
3600.09/3612.70	c LP pivots root 266214
3600.09/3612.70	c LP calls 1584
3600.09/3612.70	c LP optimalities 152
3600.09/3612.70	c LP no pivot count 21
3600.09/3612.70	c LP infeasibilities 1375
3600.09/3612.70	c LP valid Farkas constraints 1369
3600.09/3612.70	c LP learned Farkas constraints 260
3600.09/3612.70	c LP basis resets 58
3600.09/3612.70	c LP cycling count 9
3600.09/3612.70	c LP singular count 22
3600.09/3612.70	c LP no primal count 0
3600.09/3612.70	c LP no farkas count 6
3600.09/3612.70	c LP other issue count 21
3600.09/3612.70	c LP Gomory cuts 18
3600.09/3612.70	c LP learned cuts 40
3600.09/3612.70	c LP deleted cuts 36
3600.09/3612.70	c LP encountered Gomory constraints 205
3600.09/3612.70	c LP encountered Farkas constraints 23345
3600.09/3612.70	c LP encountered learned Farkas constraints 159
3600.09/3612.70	c CG auxiliary variables introduced 436
3600.09/3612.70	c CG solutions found 154
3600.09/3612.70	c CG cores constructed 59
3600.09/3612.70	c CG core cardinality constraints returned 0
3600.09/3612.70	c CG unit cores 0
3600.09/3612.70	c CG single cores 59
3600.09/3612.70	c CG blocks removed during cardinality reduction 0
3600.09/3612.70	c CG first core best 0
3600.09/3612.70	c CG decision core best 0
3600.09/3612.70	c CG core reduction tie 0
3600.09/3612.70	c CG core degree average 1.00
3600.09/3612.70	c CG core slack average 952.68
3600.09/3612.70	c CG core upper bound improvements 60
3600.09/3612.70	c STR number of successful calls 0
3600.09/3612.70	c STR number of unsuccessful calls 0
3600.09/3612.70	c STR number of inconclusive calls 0
3600.09/3612.70	c STR number of successful attempts 0
3600.09/3612.70	c STR number of unsuccessful attempts 0
3600.09/3612.70	c STR number of inconclusive attempts 0
3600.09/3612.70	c STR average degree increase per successful call inf
3600.09/3612.70	c STR average degree increase per successful attempt inf
3600.09/3612.70	c STR total number of conflicts for successful attempts 0
3600.09/3612.70	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3612.70	c STR total number of conflicts for inconclusive attempts 0
3600.09/3612.70	c STR average number of conflicts per successful attempt inf
3600.09/3612.70	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3612.70	c STR average number of conflicts per inconclusive attempt inf
3600.09/3612.70	c AVG.sumWPerc 88.30 
3600.09/3612.70	c bigint constraints 0 
3600.09/3612.70	o 288
3600.09/3612.70	s SATISFIABLE
3600.09/3612.70	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.09/3612.70	c Program interrupted by user.

Verifier Data 

OK	288

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: 63665 MiB (62856 MiB free)
  memory of node 1: 64507 MiB (63994 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489554-1751357479/watcher-4489554-1751357479 -o /tmp/evaluation-result-4489554-1751357479/solver-4489554-1751357479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751350257-47264 --watchdog 3760 run-opt-ls.sh HOME/instance-4489554-1751357479.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=48062, runsolver pid=48053
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129475060/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48064] ppid=48062 vsize=165484 memory=150104 CPUtime=0.08 cores=1,3
/proc/48064/stat : 48064 (pbsuma) R 48062 48062 47252 0 -1 4194304 4587 0 0 0 5 3 0 0 20 0 1 0 51427840 169455616 37526 18446744073709551615 4210688 4653049 140722213762656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34631680 140722213767523 140722213767730 140722213767730 140722213773295 0
/proc/48064/statm: 41371 37526 960 108 0 38779 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169676 KiB
Current children cumulated memory: 153176 KiB

[startup+0.205503 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129410668/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48064] ppid=48062 vsize=181580 memory=166980 CPUtime=0.18 cores=1,3
/proc/48064/stat : 48064 (pbsuma) R 48062 48062 47252 0 -1 4194304 9245 0 0 0 14 4 0 0 20 0 1 0 51427840 185937920 41745 18446744073709551615 4210688 4653049 140722213762656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34631680 140722213767523 140722213767730 140722213767730 140722213773295 0
/proc/48064/statm: 45395 41745 960 108 0 42803 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185772 KiB
Current children cumulated memory: 170052 KiB

[startup+0.305354 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129318616/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48064] ppid=48062 vsize=195444 memory=186212 CPUtime=0.28 cores=1,3
/proc/48064/stat : 48064 (pbsuma) R 48062 48062 47252 0 -1 4194304 13051 0 0 0 23 5 0 0 20 0 1 0 51427840 200134656 46553 18446744073709551615 4210688 4653049 140722213762656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34631680 140722213767523 140722213767730 140722213767730 140722213773295 0
/proc/48064/statm: 48861 46553 960 108 0 46269 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 199636 KiB
Current children cumulated memory: 189284 KiB

[startup+0.700218 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129039592/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48064] ppid=48062 vsize=309792 memory=261628 CPUtime=0.67 cores=1,3
/proc/48064/stat : 48064 (pbsuma) R 48062 48062 47252 0 -1 4194304 22254 0 0 0 59 8 0 0 20 0 1 0 51427840 317227008 65407 18446744073709551615 4210688 4653049 140722213762656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34631680 140722213767523 140722213767730 140722213767730 140722213773295 0
/proc/48064/statm: 77448 65407 960 108 0 74856 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 313984 KiB
Current children cumulated memory: 264700 KiB

[startup+1.50015 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48069
/proc/meminfo: memFree=129622828/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=117308 memory=70516 CPUtime=0.51 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 15559 0 0 0 34 17 0 0 20 0 1 0 51427937 120123392 17629 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 29327 17629 2016 1147 0 16754 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 121500 KiB
Current children cumulated memory: 73588 KiB

[startup+3.10538 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48069
/proc/meminfo: memFree=128453320/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=699476 memory=509788 CPUtime=2.1 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 56213 0 0 0 149 61 0 0 20 0 1 0 51427937 716263424 127447 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 174869 127447 2272 1147 0 162296 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 703668 KiB
Current children cumulated memory: 512860 KiB

[startup+6.30021 s]
/proc/loadavg: 3.86 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126439568/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=1039960 memory=779092 CPUtime=5.29 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 83042 0 0 0 448 81 0 0 20 0 1 0 51427937 1064919040 194773 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 259990 194773 2368 1147 0 247417 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1044152 KiB
Current children cumulated memory: 782164 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126367724/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=1238544 memory=920300 CPUtime=11.67 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 96506 0 0 0 1057 110 0 0 20 0 1 0 51427937 1268269056 230075 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 309636 230075 2432 1147 0 297063 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1242736 KiB
Current children cumulated memory: 923372 KiB

[startup+25.5002 s]
/proc/loadavg: 3.90 4.14 4.13 5/268 48069
/proc/meminfo: memFree=125844552/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=1338096 memory=1025184 CPUtime=24.43 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 105472 0 0 0 2304 139 0 0 20 0 1 0 51427937 1370210304 256296 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 334524 256296 2432 1147 0 321951 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1342288 KiB
Current children cumulated memory: 1028256 KiB

[startup+51.1055 s]
/proc/loadavg: 4.02 4.15 4.13 5/268 48069
/proc/meminfo: memFree=125342608/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=1483292 memory=1140992 CPUtime=49.96 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 123796 0 0 0 4832 164 0 0 20 0 1 0 51427937 1518891008 285248 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 370823 285248 2432 1147 0 358250 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1487484 KiB
Current children cumulated memory: 1144064 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/269 48074
/proc/meminfo: memFree=124552540/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=1810604 memory=1421012 CPUtime=101.01 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 165823 0 0 0 9898 203 0 0 20 0 1 0 51427937 1854058496 355253 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 452651 355253 2464 1147 0 440078 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1814796 KiB
Current children cumulated memory: 1424084 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 48080
/proc/meminfo: memFree=123591684/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=1813684 memory=1450888 CPUtime=160.82 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 166293 0 0 0 15846 236 0 0 20 0 1 0 51427937 1857212416 362722 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 453421 362722 2464 1147 0 440848 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1817876 KiB
Current children cumulated memory: 1453960 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/269 48082
/proc/meminfo: memFree=123174448/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=2087152 memory=1651252 CPUtime=220.62 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 204484 0 0 0 21775 287 0 0 20 0 1 0 51427937 2137243648 412813 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 521788 412813 2528 1147 0 509215 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 2091344 KiB

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

[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3326696 memory=2857648 CPUtime=3090.47 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 458809 0 0 0 307817 1230 0 0 20 0 1 0 51427937 3406536704 714412 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 831674 714412 2560 1147 0 819101 0
Current children cumulated CPU time: 3091.42 s
Current children cumulated vsize: 3330888 KiB
Current children cumulated memory: 2860720 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/267 48231
/proc/meminfo: memFree=116085796/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3343648 memory=2877280 CPUtime=3150.27 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 466491 0 0 0 313765 1262 0 0 20 0 1 0 51427937 3423895552 719320 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 835912 719320 2560 1147 0 823339 0
Current children cumulated CPU time: 3151.22 s
Current children cumulated vsize: 3347840 KiB
Current children cumulated memory: 2880352 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/267 48233
/proc/meminfo: memFree=115932036/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3349296 memory=2882948 CPUtime=3210.05 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 470074 0 0 0 319732 1273 0 0 20 0 1 0 51427937 3429679104 720737 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 837324 720737 2560 1147 0 824751 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 3353488 KiB
Current children cumulated memory: 2886020 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/268 48236
/proc/meminfo: memFree=115930288/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3349296 memory=2882948 CPUtime=3269.86 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 470274 0 0 0 325699 1287 0 0 20 0 1 0 51427937 3429679104 720737 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 837324 720737 2560 1147 0 824751 0
Current children cumulated CPU time: 3270.81 s
Current children cumulated vsize: 3353488 KiB
Current children cumulated memory: 2886020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/268 48238
/proc/meminfo: memFree=115753328/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3457928 memory=2991432 CPUtime=3329.68 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 477816 0 0 0 331638 1330 0 0 20 0 1 0 51427937 3540918272 747858 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 864482 747858 2560 1147 0 851909 0
Current children cumulated CPU time: 3330.63 s
Current children cumulated vsize: 3462120 KiB
Current children cumulated memory: 2994504 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/268 48240
/proc/meminfo: memFree=115787388/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3393344 memory=2926996 CPUtime=3389.47 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 477816 0 0 0 337601 1346 0 0 20 0 1 0 51427937 3474784256 731749 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 848336 731749 2560 1147 0 835763 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 3397536 KiB
Current children cumulated memory: 2930068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/267 48242
/proc/meminfo: memFree=115720368/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3434640 memory=2968260 CPUtime=3449.28 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 479063 0 0 0 343555 1373 0 0 20 0 1 0 51427937 3517071360 742065 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 858660 742065 2560 1147 0 846087 0
Current children cumulated CPU time: 3450.23 s
Current children cumulated vsize: 3438832 KiB
Current children cumulated memory: 2971332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/267 48244
/proc/meminfo: memFree=115866324/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3434640 memory=2968260 CPUtime=3509.06 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 479214 0 0 0 349522 1384 0 0 20 0 1 0 51427937 3517071360 742065 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 858660 742065 2560 1147 0 846087 0
Current children cumulated CPU time: 3510.01 s
Current children cumulated vsize: 3438832 KiB
Current children cumulated memory: 2971332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/266 48246
/proc/meminfo: memFree=115757928/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3434640 memory=2968260 CPUtime=3568.85 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 479217 0 0 0 355497 1388 0 0 20 0 1 0 51427937 3517071360 742065 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 858660 742065 2560 1147 0 846087 0
Current children cumulated CPU time: 3569.8 s
Current children cumulated vsize: 3438832 KiB
Current children cumulated memory: 2971332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 48275
/proc/meminfo: memFree=123988396/131250000 swapFree=33010416/33010684
[pid=48062] ppid=48053 vsize=4192 memory=3072 CPUtime=0.95 cores=1,3
/proc/48062/stat : 48062 (run-opt-ls.sh) S 48053 48062 47252 0 -1 4194304 238 29554 0 0 0 0 83 12 20 0 1 0 51427839 4292608 768 18446744073709551615 94331023441920 94331024336453 140735063670032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94331024575504 94331024623248 94331043237888 140735063677287 140735063677413 140735063677413 140735063683015 0
/proc/48062/statm: 1048 768 704 219 0 110 0
[pid=48069] ppid=48062 vsize=3434640 memory=2968260 CPUtime=3599.14 cores=1,3
/proc/48069/stat : 48069 (roundingsat) R 48062 48062 47252 0 -1 4194304 479220 0 0 0 358520 1394 0 0 20 0 1 0 51427937 3517071360 742065 18446744073709551615 4227072 8923433 140724437900256 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27111424 140724437907782 140724437908008 140724437908008 140724437913578 0
/proc/48069/statm: 858660 742065 2560 1147 0 846087 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3438832 KiB
Current children cumulated memory: 2971332 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3586.09 s, system=14.136 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

[startup+3612.8 s]*
/proc/loadavg: 4.08 4.09 4.09 3/258 48275
/proc/meminfo: memFree=126533644/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.964404 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3612.82
CPU time (s): 3600.23
CPU user time (s): 3586.09
CPU system time (s): 14.136
CPU usage (%): 99.6516
Max. virtual memory (cumulated for all children) (KiB): 3462120
Max. memory (cumulated for all children) (KiB): 2994504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.09
system time used= 14.136
maximum resident set size= 2991432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220
involuntary context switches= 1698


# summary of solver processes directly reported to runsolver:
#   pid: 48062,48069
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3586.09
#   total CPU system time (s): 14.136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25752 second user time and 16.7005 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-01 10:11:20
IDJOB=4489554
IDBENCH=147557
IDSOLVER=3355
FILE ID=nodeC027/4489554-1751357479
RUNJOBID= nodeC027-1751350257-47264
SLURM_JOB_ID= 9598136
Free space on /tmp= 432984 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489554-1751357479/watcher-4489554-1751357479 -o /tmp/evaluation-result-4489554-1751357479/solver-4489554-1751357479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751350257-47264 --watchdog 3760  run-opt-ls.sh HOME/instance-4489554-1751357479.opb

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=872057313

nodeC027 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		: 3600.062
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.29
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		: 3601.700
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.792
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.623
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.29
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		: 3600.073
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.29
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		: 3599.794
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.733
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.29
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		: 3599.265
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130049084 kB
MemAvailable:   129787252 kB
Buffers:            2488 kB
Cached:           540736 kB
SwapCached:           12 kB
Active:           375024 kB
Inactive:         240932 kB
Active(anon):      87996 kB
Inactive(anon):     2792 kB
Active(file):     287028 kB
Inactive(file):   238140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             96200 kB
Writeback:             8 kB
AnonPages:         75872 kB
Mapped:           103120 kB
Shmem:             18056 kB
KReclaimable:     104076 kB
Slab:             192032 kB
SReclaimable:     104076 kB
SUnreclaim:        87956 kB
KernelStack:        4096 kB
PageTables:         2928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC027 at 2025-07-01 11:11:33