Trace number 4489784

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)324 3602.04 3613.58

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark72000.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 494314
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494314
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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-4489784-1751363764.opb'
0.29/0.35	c 	read 17.23MB  (333.02ms)
0.29/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.35	c 
0.29/0.35	c make graph and approximate orbits
0.67/0.73	c	 [group: #orbits ~= 0] (384.94ms)
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 	 (21.26ms)
0.67/0.75	c 
0.67/0.75	c detect symmetries on remainder
0.67/0.75	c 	[graph: #vertices 706703 #edges 2766404]
0.67/0.76	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.77/0.81	c 	 [group: #symmetries 1.00*10^0 #generators 0] (54.26ms)
0.77/0.81	c 
0.77/0.81	c finalize break order and special generators
0.77/0.81	c 
0.77/0.81	c generation finished
0.77/0.81	c 	[sbp: #constraints 0 #add_vars 0]
0.77/0.81	c 
0.77/0.81	c write result to 'HOME/instance-4489784-1751363764.opb.pre'
0.77/0.84	c 	wrote 17.23MB (35.66ms)
0.77/0.84	c ------------------------------------------------------------------
0.77/0.85	c                 384.94ms 46.26% approx_orbits
0.77/0.85	c                 333.02ms 40.02% parse
0.77/0.85	c                  54.26ms  6.52% detect_generic
0.77/0.85	c                  35.66ms  4.29% output
0.77/0.85	c                  21.26ms  2.56% detect_special
0.77/0.85	c                   2.61ms  0.31% other
0.77/0.85	c                   0.38ms  0.05% finalize_order
0.77/0.85	c         ───────────────────────────────────────────────
0.77/0.85	c                 832.13ms   100% total
0.77/0.85	c ------------------------------------------------------------------
0.86/0.99	c RoundingSat 2
0.86/0.99	c branch pb25
0.86/0.99	c commit 63f22ad
3.55/3.62	c #variables 10000 #constraints 656900
3.55/3.62	c objective is ce32 
4.35/4.48	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.35/4.48	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.35/4.48	c bounds 5350 >= 0 @ 2.8179
6.44/6.56	c rational objective 165.75
10.03/10.18	c bounds 5304 >= 0 @ 8.38169
10.03/10.19	c bounds 5247 >= 0 @ 8.38614
10.03/10.19	c bounds 5243 >= 0 @ 8.39022
10.13/10.20	c bounds 5229 >= 0 @ 8.39295
10.13/10.21	c bounds 5199 >= 0 @ 8.39947
10.13/10.22	c bounds 5189 >= 0 @ 8.41047
10.13/10.23	c bounds 5129 >= 0 @ 8.41656
10.13/10.24	c bounds 5088 >= 0 @ 8.42414
10.13/10.25	c bounds 5055 >= 0 @ 8.43451
10.13/10.26	c bounds 4978 >= 0 @ 8.43896
10.13/10.26	c bounds 4925 >= 0 @ 8.44322
10.13/10.27	c bounds 4923 >= 0 @ 8.44637
10.13/10.27	c bounds 4768 >= 0 @ 8.45083
10.13/10.28	c bounds 4654 >= 0 @ 8.45615
10.13/10.29	c bounds 4648 >= 0 @ 8.46395
10.23/10.30	c bounds 4635 >= 0 @ 8.47268
10.23/10.32	c bounds 4634 >= 0 @ 8.48872
10.23/10.32	c bounds 4549 >= 0 @ 8.4939
10.23/10.33	c bounds 4496 >= 0 @ 8.49938
10.23/10.35	c bounds 4495 >= 0 @ 8.51152
10.23/10.36	c bounds 4446 >= 0 @ 8.5194
10.23/10.37	c bounds 4431 >= 0 @ 8.53015
10.33/10.45	c bounds 4424 >= 0 @ 8.60499
10.33/10.45	c bounds 4293 >= 0 @ 8.61145
10.33/10.47	c bounds 4291 >= 0 @ 8.62169
10.33/10.48	c bounds 4233 >= 0 @ 8.6271
10.43/10.50	c bounds 4221 >= 0 @ 8.64248
10.43/10.50	c bounds 4210 >= 0 @ 8.64623
10.43/10.51	c bounds 4145 >= 0 @ 8.65219
10.43/10.52	c bounds 4131 >= 0 @ 8.65994
10.43/10.53	c bounds 4059 >= 0 @ 8.66548
10.43/10.54	c bounds 4004 >= 0 @ 8.67241
10.43/10.55	c bounds 3945 >= 0 @ 8.6791
10.43/10.56	c bounds 3823 >= 0 @ 8.68391
10.43/10.57	c bounds 3818 >= 0 @ 8.69147
10.43/10.58	c bounds 3768 >= 0 @ 8.69678
10.43/10.59	c bounds 3731 >= 0 @ 8.702
10.53/10.60	c bounds 3706 >= 0 @ 8.71195
10.53/10.61	c bounds 3693 >= 0 @ 8.71925
10.53/10.66	c bounds 3689 >= 0 @ 8.76967
10.53/10.67	c bounds 3664 >= 0 @ 8.77634
10.53/10.68	c bounds 3599 >= 0 @ 8.78259
10.53/10.69	c bounds 3561 >= 0 @ 8.78777
10.63/10.70	c bounds 3494 >= 0 @ 8.7938
10.63/10.71	c bounds 3365 >= 0 @ 8.80034
10.63/10.72	c bounds 3308 >= 0 @ 8.8076
10.73/10.80	c bounds 3154 >= 0 @ 8.88685
10.73/10.81	c bounds 3100 >= 0 @ 8.89503
10.73/10.82	c bounds 3059 >= 0 @ 8.90252
10.73/10.83	c bounds 2890 >= 0 @ 8.90957
10.73/10.84	c bounds 2797 >= 0 @ 8.91399
10.73/10.85	c bounds 2796 >= 0 @ 8.91871
10.73/10.86	c bounds 2778 >= 0 @ 8.92606
10.73/10.88	c bounds 2765 >= 0 @ 8.94223
10.73/10.89	c bounds 2703 >= 0 @ 8.94764
10.83/10.90	c bounds 2695 >= 0 @ 8.95389
10.83/10.91	c bounds 2671 >= 0 @ 8.96123
10.83/10.93	c bounds 2668 >= 0 @ 8.97942
10.83/10.95	c bounds 2638 >= 0 @ 8.99601
10.83/10.96	c bounds 2606 >= 0 @ 9.00406
10.83/10.99	c bounds 2605 >= 0 @ 9.02273
11.04/11.12	c bounds 2599 >= 0 @ 9.14514
11.13/11.21	c bounds 2587 >= 0 @ 9.23571
11.13/11.22	c bounds 2539 >= 0 @ 9.24297
11.13/11.23	c bounds 2465 >= 0 @ 9.24992
11.33/11.45	c bounds 2463 >= 0 @ 9.46684
11.42/11.54	c bounds 2459 >= 0 @ 9.54913
12.03/12.14	c bounds 2415 >= 0 @ 10.1407
12.03/12.14	c bounds 2374 >= 0 @ 10.1455
12.03/12.15	c bounds 2362 >= 0 @ 10.1522
12.03/12.16	c bounds 2347 >= 0 @ 10.1586
12.03/12.17	c bounds 2300 >= 0 @ 10.1663
12.03/12.18	c bounds 2298 >= 0 @ 10.1699
12.03/12.19	c bounds 2258 >= 0 @ 10.1757
12.23/12.36	c bounds 2257 >= 0 @ 10.3395
12.23/12.37	c bounds 2250 >= 0 @ 10.3468
12.23/12.38	c bounds 2248 >= 0 @ 10.3516
12.23/12.39	c bounds 2161 >= 0 @ 10.3566
12.32/12.40	c bounds 2121 >= 0 @ 10.3681
12.32/12.41	c bounds 2106 >= 0 @ 10.3769
12.32/12.42	c bounds 1987 >= 0 @ 10.3845
12.32/12.43	c bounds 1874 >= 0 @ 10.3943
12.32/12.44	c bounds 1804 >= 0 @ 10.401
12.32/12.46	c bounds 1763 >= 0 @ 10.4081
12.32/12.47	c bounds 1695 >= 0 @ 10.4124
12.32/12.49	c bounds 1536 >= 0 @ 10.428
12.43/12.50	c bounds 1430 >= 0 @ 10.4343
12.43/12.51	c bounds 1429 >= 0 @ 10.4413
12.43/12.52	c bounds 1428 >= 0 @ 10.4464
12.43/12.53	c bounds 1382 >= 0 @ 10.4537
12.43/12.55	c bounds 1348 >= 0 @ 10.4604
12.43/12.56	c bounds 1328 >= 0 @ 10.4679
12.43/12.57	c bounds 1288 >= 0 @ 10.4742
12.43/12.58	c bounds 1176 >= 0 @ 10.4828
12.43/12.59	c bounds 1132 >= 0 @ 10.4892
12.53/12.62	c bounds 1086 >= 0 @ 10.5066
12.63/12.71	c bounds 1071 >= 0 @ 10.5871
12.63/12.72	c bounds 1063 >= 0 @ 10.594
12.93/13.02	c bounds 1060 >= 0 @ 10.8874
12.93/13.03	c bounds 1059 >= 0 @ 10.8924
13.42/13.53	c bounds 1045 >= 0 @ 11.3797
13.42/13.56	c bounds 1032 >= 0 @ 11.4078
13.52/13.69	c bounds 959 >= 0 @ 11.5305
13.62/13.71	c bounds 867 >= 0 @ 11.5417
13.62/13.76	c bounds 857 >= 0 @ 11.5813
13.82/13.93	c #Conflicts:       1000 | #Constraints:     658011
13.82/13.93	c bounds 683 >= 0 @ 11.7359
14.32/14.48	c bounds 634 >= 0 @ 12.2659
14.42/14.54	c bounds 632 >= 0 @ 12.32
18.02/18.16	c #Conflicts:       2000 | #Constraints:     659014
18.02/18.16	c INPROCESSING
18.02/18.16	c GARBAGE COLLECT
18.02/18.16	c bounds 536 >= 0 @ 15.8822
18.11/18.29	c bounds 445 >= 0 @ 16.0049
24.39/24.54	c #Conflicts:       3000 | #Constraints:     658911
24.39/24.54	c #Conflicts:       4000 | #Constraints:     659911
24.39/24.54	c INPROCESSING
24.39/24.54	c GARBAGE COLLECT
24.39/24.54	c rational objective 167
27.89/28.09	c bounds 439 >= 0 @ 25.6945
27.99/28.14	c bounds 434 >= 0 @ 25.7417
27.99/28.18	c bounds 433 >= 0 @ 25.7815
28.08/28.21	c bounds 426 >= 0 @ 25.8018
28.08/28.22	c bounds 419 >= 0 @ 25.8141
29.18/29.37	c bounds 417 >= 0 @ 26.9552
39.55/39.77	c #Conflicts:       5000 | #Constraints:     659334
39.55/39.77	c #Conflicts:       6000 | #Constraints:     660334
39.55/39.77	c INPROCESSING
39.55/39.77	c GARBAGE COLLECT
39.55/39.77	c rational objective 168.44
42.94/43.14	c bounds 412 >= 0 @ 40.5926
42.94/43.15	c bounds 407 >= 0 @ 40.6004
42.94/43.17	c bounds 403 >= 0 @ 40.6098
47.73/47.93	c #Conflicts:       7000 | #Constraints:     659343
47.73/47.93	c bounds 400 >= 0 @ 45.3162
54.71/54.98	c #Conflicts:       8000 | #Constraints:     660344
54.71/54.98	c #Conflicts:       9000 | #Constraints:     661344
54.71/54.98	c INPROCESSING
54.71/54.98	c GARBAGE COLLECT
54.71/54.98	c rational objective 170.808
67.88/68.13	c #Conflicts:      10000 | #Constraints:     660037
67.88/68.13	c #Conflicts:      11000 | #Constraints:     661037
67.88/68.13	c #Conflicts:      12000 | #Constraints:     662037
67.88/68.13	c INPROCESSING
67.88/68.13	c GARBAGE COLLECT
67.88/68.13	c rational objective 173.5
83.03/83.34	c #Conflicts:      13000 | #Constraints:     660494
83.03/83.34	c #Conflicts:      14000 | #Constraints:     661494
83.03/83.34	c #Conflicts:      15000 | #Constraints:     662494
83.03/83.34	c INPROCESSING
83.03/83.34	c GARBAGE COLLECT
83.03/83.34	c rational objective 175.621
116.65/117.08	c #Conflicts:      16000 | #Constraints:     660721
116.65/117.08	c #Conflicts:      17000 | #Constraints:     661721
116.65/117.08	c #Conflicts:      18000 | #Constraints:     662721
116.65/117.08	c INPROCESSING
116.65/117.08	c GARBAGE COLLECT
116.65/117.08	c #Conflicts:      19000 | #Constraints:     660750
116.65/117.08	c #Conflicts:      20000 | #Constraints:     661750
116.65/117.08	c #Conflicts:      21000 | #Constraints:     662750
116.65/117.08	c INPROCESSING
116.65/117.08	c GARBAGE COLLECT
116.65/117.08	c rational objective 175.621
134.98/135.46	c #Conflicts:      22000 | #Constraints:     660552
134.98/135.46	c #Conflicts:      23000 | #Constraints:     661552
134.98/135.46	c #Conflicts:      24000 | #Constraints:     662552
134.98/135.46	c #Conflicts:      25000 | #Constraints:     663552
134.98/135.46	c INPROCESSING
134.98/135.46	c GARBAGE COLLECT
134.98/135.46	c rational objective 175.704
153.11/153.68	c #Conflicts:      26000 | #Constraints:     661152
153.11/153.68	c #Conflicts:      27000 | #Constraints:     662152
153.11/153.68	c #Conflicts:      28000 | #Constraints:     663152
153.11/153.68	c #Conflicts:      29000 | #Constraints:     664152
153.11/153.68	c INPROCESSING
153.11/153.68	c GARBAGE COLLECT
153.11/153.68	c rational objective 175.811
187.99/188.64	c #Conflicts:      30000 | #Constraints:     661564
187.99/188.64	c #Conflicts:      31000 | #Constraints:     662597
187.99/188.64	c #Conflicts:      32000 | #Constraints:     663606
187.99/188.64	c #Conflicts:      33000 | #Constraints:     664616
187.99/188.64	c INPROCESSING
187.99/188.64	c GARBAGE COLLECT
187.99/188.64	c bounds 392 >= 0 @ 184.563
188.60/189.20	c bounds 391 >= 0 @ 185.1
188.60/189.23	c bounds 387 >= 0 @ 185.123
188.60/189.28	c bounds 385 >= 0 @ 185.17
188.70/189.32	c bounds 382 >= 0 @ 185.207
188.90/189.57	c bounds 375 >= 0 @ 185.445
189.20/189.80	c bounds 374 >= 0 @ 185.676
193.08/193.70	c bounds 373 >= 0 @ 189.539
193.68/194.33	c bounds 373 >= 5 @ 190.155
211.82/212.58	c #Conflicts:      34000 | #Constraints:     661809
211.82/212.58	c #Conflicts:      35000 | #Constraints:     662809
211.82/212.58	c #Conflicts:      36000 | #Constraints:     663809
211.82/212.58	c #Conflicts:      37000 | #Constraints:     664809
211.82/212.58	c INPROCESSING
211.82/212.58	c GARBAGE COLLECT
211.82/212.58	c rational objective 175.892
216.10/216.82	c bounds 372 >= 5 @ 212.496
216.10/216.84	c bounds 371 >= 5 @ 212.517
216.10/216.87	c bounds 369 >= 5 @ 212.54
216.21/216.90	c bounds 368 >= 5 @ 212.569
216.31/217.07	c bounds 367 >= 5 @ 212.726
216.40/217.11	c bounds 366 >= 5 @ 212.764
228.96/229.78	c #Conflicts:      38000 | #Constraints:     661806
228.96/229.78	c bounds 362 >= 5 @ 225.308
229.06/229.81	c bounds 362 >= 9 @ 225.327
289.85/290.82	c #Conflicts:      39000 | #Constraints:     662846
289.85/290.82	c #Conflicts:      40000 | #Constraints:     663867
289.85/290.82	c #Conflicts:      41000 | #Constraints:     664879
289.85/290.82	c INPROCESSING
289.85/290.82	c GARBAGE COLLECT
289.85/290.82	c #Conflicts:      42000 | #Constraints:     661621
289.85/290.82	c #Conflicts:      43000 | #Constraints:     662627
289.85/290.82	c #Conflicts:      44000 | #Constraints:     663630
289.85/290.82	c #Conflicts:      45000 | #Constraints:     664647
289.85/290.82	c #Conflicts:      46000 | #Constraints:     665658
289.85/290.82	c INPROCESSING
289.85/290.82	c GARBAGE COLLECT
289.85/290.82	c #Conflicts:      47000 | #Constraints:     662202
289.85/290.82	c #Conflicts:      48000 | #Constraints:     663203
289.85/290.82	c #Conflicts:      49000 | #Constraints:     664207
289.85/290.82	c #Conflicts:      50000 | #Constraints:     665209
289.85/290.82	c #Conflicts:      51000 | #Constraints:     666211
289.85/290.82	c INPROCESSING
289.85/290.82	c GARBAGE COLLECT
289.85/290.82	c rational objective 176.099
315.47/316.52	c #Conflicts:      52000 | #Constraints:     662575
315.47/316.52	c #Conflicts:      53000 | #Constraints:     663576
315.47/316.52	c #Conflicts:      54000 | #Constraints:     664577
315.47/316.52	c #Conflicts:      55000 | #Constraints:     665578
315.47/316.52	c #Conflicts:      56000 | #Constraints:     666578
315.47/316.52	c INPROCESSING
315.47/316.52	c GARBAGE COLLECT
315.47/316.52	c rational objective 176.736
388.82/390.19	c #Conflicts:      57000 | #Constraints:     662767
388.82/390.19	c #Conflicts:      58000 | #Constraints:     663771
388.82/390.19	c #Conflicts:      59000 | #Constraints:     664771
388.82/390.19	c #Conflicts:      60000 | #Constraints:     665771
388.82/390.19	c #Conflicts:      61000 | #Constraints:     666774
388.82/390.19	c INPROCESSING
388.82/390.19	c GARBAGE COLLECT
388.82/390.19	c #Conflicts:      62000 | #Constraints:     662763
388.82/390.19	c #Conflicts:      63000 | #Constraints:     663766
388.82/390.19	c #Conflicts:      64000 | #Constraints:     664771
388.82/390.19	c #Conflicts:      65000 | #Constraints:     665773
388.82/390.19	c #Conflicts:      66000 | #Constraints:     666774
388.82/390.19	c INPROCESSING
388.82/390.19	c GARBAGE COLLECT
388.82/390.19	c rational objective 177.209
427.18/428.67	c #Conflicts:      67000 | #Constraints:     662562
427.18/428.67	c #Conflicts:      68000 | #Constraints:     663565
427.18/428.67	c #Conflicts:      69000 | #Constraints:     664568
427.18/428.67	c #Conflicts:      70000 | #Constraints:     665571
427.18/428.67	c #Conflicts:      71000 | #Constraints:     666579
427.18/428.67	c #Conflicts:      72000 | #Constraints:     667586
427.18/428.67	c INPROCESSING
427.18/428.67	c GARBAGE COLLECT
427.18/428.67	c rational objective 177.578
432.77/434.21	c bounds 358 >= 9 @ 427.815
432.97/434.40	c bounds 357 >= 9 @ 427.997
455.70/457.21	c #Conflicts:      73000 | #Constraints:     663185
455.70/457.21	c #Conflicts:      74000 | #Constraints:     664203
455.70/457.21	c bounds 356 >= 9 @ 450.468
475.03/476.61	c #Conflicts:      75000 | #Constraints:     665217
475.03/476.61	c #Conflicts:      76000 | #Constraints:     666217
475.03/476.61	c #Conflicts:      77000 | #Constraints:     667217
475.03/476.61	c #Conflicts:      78000 | #Constraints:     668217
475.03/476.61	c INPROCESSING
475.03/476.61	c GARBAGE COLLECT
475.03/476.61	c rational objective 178.291
506.81/508.50	c #Conflicts:      79000 | #Constraints:     663580
506.81/508.50	c #Conflicts:      80000 | #Constraints:     664580
506.81/508.50	c #Conflicts:      81000 | #Constraints:     665581
506.81/508.50	c #Conflicts:      82000 | #Constraints:     666581
506.81/508.50	c #Conflicts:      83000 | #Constraints:     667581
506.81/508.50	c #Conflicts:      84000 | #Constraints:     668581
506.81/508.50	c INPROCESSING
506.81/508.50	c GARBAGE COLLECT
506.81/508.50	c rational objective 178.34
544.19/546.04	c #Conflicts:      85000 | #Constraints:     663772
544.19/546.04	c #Conflicts:      86000 | #Constraints:     664772
544.19/546.04	c #Conflicts:      87000 | #Constraints:     665772
544.19/546.04	c #Conflicts:      88000 | #Constraints:     666772
544.19/546.04	c #Conflicts:      89000 | #Constraints:     667772
544.19/546.04	c #Conflicts:      90000 | #Constraints:     668772
544.19/546.04	c INPROCESSING
544.19/546.04	c GARBAGE COLLECT
544.19/546.04	c rational objective 178.362
576.48/578.48	c #Conflicts:      91000 | #Constraints:     663767
576.48/578.48	c #Conflicts:      92000 | #Constraints:     664767
576.48/578.48	c #Conflicts:      93000 | #Constraints:     665767
576.48/578.48	c #Conflicts:      94000 | #Constraints:     666767
576.48/578.48	c #Conflicts:      95000 | #Constraints:     667767
576.48/578.48	c #Conflicts:      96000 | #Constraints:     668767
576.48/578.48	c INPROCESSING
576.48/578.48	c GARBAGE COLLECT
576.48/578.48	c rational objective 178.365
637.38/639.50	c #Conflicts:      97000 | #Constraints:     663570
637.38/639.50	c #Conflicts:      98000 | #Constraints:     664575
637.38/639.50	c #Conflicts:      99000 | #Constraints:     665587
637.38/639.50	c #Conflicts:     100000 | #Constraints:     666600
637.38/639.50	c #Conflicts:     101000 | #Constraints:     667614
637.38/639.50	c #Conflicts:     102000 | #Constraints:     668639
637.38/639.50	c #Conflicts:     103000 | #Constraints:     669648
637.38/639.50	c INPROCESSING
637.38/639.50	c GARBAGE COLLECT
637.38/639.50	c #Conflicts:     104000 | #Constraints:     664203
637.38/639.50	c #Conflicts:     105000 | #Constraints:     665206
637.38/639.50	c #Conflicts:     106000 | #Constraints:     666215
637.38/639.50	c #Conflicts:     107000 | #Constraints:     667220
637.38/639.50	c #Conflicts:     108000 | #Constraints:     668221
637.38/639.50	c #Conflicts:     109000 | #Constraints:     669221
637.38/639.50	c #Conflicts:     110000 | #Constraints:     670221
637.38/639.50	c INPROCESSING
637.38/639.50	c GARBAGE COLLECT
637.38/639.50	c rational objective 178.378
741.63/744.19	c #Conflicts:     111000 | #Constraints:     664595
741.63/744.19	c #Conflicts:     112000 | #Constraints:     665601
741.63/744.19	c #Conflicts:     113000 | #Constraints:     666610
741.63/744.19	c #Conflicts:     114000 | #Constraints:     667623
741.63/744.19	c #Conflicts:     115000 | #Constraints:     668628
741.63/744.19	c #Conflicts:     116000 | #Constraints:     669644
741.63/744.19	c #Conflicts:     117000 | #Constraints:     670662
741.63/744.19	c INPROCESSING
741.63/744.19	c GARBAGE COLLECT
741.63/744.19	c #Conflicts:     118000 | #Constraints:     664817
741.63/744.19	c #Conflicts:     119000 | #Constraints:     665835
741.63/744.19	c #Conflicts:     120000 | #Constraints:     666845
741.63/744.19	c #Conflicts:     121000 | #Constraints:     667855
741.63/744.19	c #Conflicts:     122000 | #Constraints:     668871
741.63/744.19	c #Conflicts:     123000 | #Constraints:     669878
741.63/744.19	c #Conflicts:     124000 | #Constraints:     670892
741.63/744.19	c INPROCESSING
741.63/744.19	c GARBAGE COLLECT
741.63/744.19	c #Conflicts:     125000 | #Constraints:     664846
741.63/744.19	c #Conflicts:     126000 | #Constraints:     665859
741.63/744.19	c #Conflicts:     127000 | #Constraints:     666871
741.63/744.19	c #Conflicts:     128000 | #Constraints:     667880
741.63/744.19	c #Conflicts:     129000 | #Constraints:     668891
741.63/744.19	c #Conflicts:     130000 | #Constraints:     669917
741.63/744.19	c #Conflicts:     131000 | #Constraints:     670952
741.63/744.19	c INPROCESSING
741.63/744.19	c GARBAGE COLLECT
741.63/744.19	c rational objective 178.378
814.99/817.73	c #Conflicts:     132000 | #Constraints:     664668
814.99/817.73	c #Conflicts:     133000 | #Constraints:     665675
814.99/817.73	c #Conflicts:     134000 | #Constraints:     666682
814.99/817.73	c #Conflicts:     135000 | #Constraints:     667709
814.99/817.73	c #Conflicts:     136000 | #Constraints:     668742
814.99/817.73	c #Conflicts:     137000 | #Constraints:     669772
814.99/817.73	c #Conflicts:     138000 | #Constraints:     670790
814.99/817.73	c #Conflicts:     139000 | #Constraints:     671795
814.99/817.73	c INPROCESSING
814.99/817.73	c GARBAGE COLLECT
814.99/817.73	c #Conflicts:     140000 | #Constraints:     665293
814.99/817.73	c #Conflicts:     141000 | #Constraints:     666305
814.99/817.73	c #Conflicts:     142000 | #Constraints:     667324
814.99/817.73	c #Conflicts:     143000 | #Constraints:     668342
814.99/817.73	c #Conflicts:     144000 | #Constraints:     669353
814.99/817.73	c #Conflicts:     145000 | #Constraints:     670386
814.99/817.73	c #Conflicts:     146000 | #Constraints:     671400
814.99/817.73	c #Conflicts:     147000 | #Constraints:     672406
814.99/817.73	c INPROCESSING
814.99/817.73	c GARBAGE COLLECT
814.99/817.73	c bounds 351 >= 9 @ 807.796
814.99/817.74	c bounds 351 >= 11 @ 807.807
814.99/817.76	c bounds 351 >= 13 @ 807.814
814.99/817.77	c bounds 351 >= 15 @ 807.824
814.99/817.79	c bounds 351 >= 17 @ 807.836
815.09/817.80	c bounds 351 >= 19 @ 807.848
816.48/819.25	c bounds 351 >= 21 @ 809.281
816.68/819.45	c bounds 351 >= 23 @ 809.466
817.39/820.13	c bounds 351 >= 25 @ 810.124
821.07/823.85	c #Conflicts:     148000 | #Constraints:     665761
821.07/823.85	c bounds 351 >= 27 @ 813.759
860.24/863.11	c #Conflicts:     149000 | #Constraints:     666779
860.24/863.11	c #Conflicts:     150000 | #Constraints:     667779
860.24/863.11	c #Conflicts:     151000 | #Constraints:     668779
860.24/863.11	c #Conflicts:     152000 | #Constraints:     669779
860.24/863.11	c #Conflicts:     153000 | #Constraints:     670779
860.24/863.11	c #Conflicts:     154000 | #Constraints:     671779
860.24/863.11	c #Conflicts:     155000 | #Constraints:     672779
860.24/863.11	c INPROCESSING
860.24/863.11	c GARBAGE COLLECT
860.24/863.11	c rational objective 178.378
868.12/871.04	c bounds 348 >= 27 @ 860.548
868.31/871.20	c bounds 342 >= 27 @ 860.695
868.31/871.23	c bounds 338 >= 27 @ 860.717
868.51/871.46	c bounds 336 >= 27 @ 860.949
878.77/881.73	c bounds 333 >= 27 @ 871.117
880.47/883.44	c bounds 332 >= 27 @ 872.819
880.67/883.68	c bounds 330 >= 27 @ 873.055
880.97/883.92	c bounds 324 >= 27 @ 873.282
1063.26/1066.88	c #Conflicts:     156000 | #Constraints:     665914
1063.26/1066.88	c #Conflicts:     157000 | #Constraints:     666914
1063.26/1066.88	c #Conflicts:     158000 | #Constraints:     667914
1063.26/1066.88	c #Conflicts:     159000 | #Constraints:     668914
1063.26/1066.88	c #Conflicts:     160000 | #Constraints:     669914
1063.26/1066.88	c #Conflicts:     161000 | #Constraints:     670914
1063.26/1066.88	c #Conflicts:     162000 | #Constraints:     671914
1063.26/1066.88	c #Conflicts:     163000 | #Constraints:     672962
1063.26/1066.88	c INPROCESSING
1063.26/1066.88	c GARBAGE COLLECT
1063.26/1066.88	c rational objective 178.378
1069.74/1073.32	c bounds 324 >= 28 @ 1061.22
1069.74/1073.33	c bounds 324 >= 29 @ 1061.23
1069.74/1073.35	c bounds 324 >= 30 @ 1061.24
1069.74/1073.36	c bounds 324 >= 31 @ 1061.25
1069.74/1073.38	c bounds 324 >= 32 @ 1061.26
1069.74/1073.39	c bounds 324 >= 33 @ 1061.26
1069.83/1073.41	c bounds 324 >= 34 @ 1061.27
1069.83/1073.43	c bounds 324 >= 35 @ 1061.29
1069.83/1073.45	c bounds 324 >= 36 @ 1061.3
1069.83/1073.47	c bounds 324 >= 37 @ 1061.31
1069.83/1073.49	c bounds 324 >= 38 @ 1061.33
1086.08/1089.72	c bounds 324 >= 39 @ 1077.47
1086.08/1089.75	c bounds 324 >= 40 @ 1077.49
1086.08/1089.79	c bounds 324 >= 41 @ 1077.52
1086.18/1089.82	c bounds 324 >= 42 @ 1077.54
1086.18/1089.85	c bounds 324 >= 43 @ 1077.56
1086.18/1089.87	c bounds 324 >= 44 @ 1077.58
1086.28/1089.92	c bounds 324 >= 45 @ 1077.62
1086.28/1090.00	c bounds 324 >= 46 @ 1077.7
1086.58/1090.22	c bounds 324 >= 47 @ 1077.9
1086.78/1090.40	c bounds 324 >= 48 @ 1078.07
1087.08/1090.73	c bounds 324 >= 49 @ 1078.4
1087.58/1091.21	c bounds 324 >= 50 @ 1078.86
1087.88/1091.54	c #Conflicts:     164000 | #Constraints:     666098
1087.88/1091.54	c bounds 324 >= 51 @ 1079.19
1088.48/1092.11	c bounds 324 >= 52 @ 1079.75
1089.38/1093.04	c bounds 324 >= 53 @ 1080.66
1089.87/1093.54	c bounds 324 >= 54 @ 1081.14
1090.37/1094.09	c #Conflicts:     165000 | #Constraints:     667215
1090.37/1094.09	c bounds 324 >= 55 @ 1081.68
1090.97/1094.63	c bounds 324 >= 56 @ 1082.21
1091.96/1095.60	c bounds 324 >= 57 @ 1083.16
1093.75/1097.50	c #Conflicts:     166000 | #Constraints:     668290
1093.75/1097.50	c bounds 324 >= 58 @ 1085.03
1104.62/1108.31	c #Conflicts:     167000 | #Constraints:     669314
1104.62/1108.31	c bounds 324 >= 59 @ 1095.7
1108.01/1111.78	c #Conflicts:     168000 | #Constraints:     670347
1108.01/1111.78	c #Conflicts:     169000 | #Constraints:     671347
1108.01/1111.78	c bounds 324 >= 60 @ 1099.1
1117.18/1120.94	c #Conflicts:     170000 | #Constraints:     672386
1117.18/1120.94	c bounds 324 >= 61 @ 1108.14
1176.46/1180.42	c #Conflicts:     171000 | #Constraints:     673419
1176.46/1180.42	c INPROCESSING
1176.46/1180.42	c GARBAGE COLLECT
1176.46/1180.42	c rational objective 178.378
1182.55/1186.50	c #Conflicts:     172000 | #Constraints:     666030
1182.55/1186.50	c bounds 324 >= 62 @ 1173.28
1188.82/1192.89	c #Conflicts:     173000 | #Constraints:     667061
1188.82/1192.89	c bounds 324 >= 63 @ 1179.57
1197.00/1201.01	c #Conflicts:     174000 | #Constraints:     668085
1197.00/1201.01	c #Conflicts:     175000 | #Constraints:     669085
1197.00/1201.01	c bounds 324 >= 64 @ 1187.61
1221.31/1225.40	c #Conflicts:     176000 | #Constraints:     670127
1221.31/1225.40	c #Conflicts:     177000 | #Constraints:     671127
1221.31/1225.40	c bounds 324 >= 65 @ 1211.77
1364.69/1369.34	c #Conflicts:     178000 | #Constraints:     672166
1364.69/1369.34	c #Conflicts:     179000 | #Constraints:     673166
1364.69/1369.34	c #Conflicts:     180000 | #Constraints:     674166
1364.69/1369.34	c INPROCESSING
1364.69/1369.34	c GARBAGE COLLECT
1364.69/1369.34	c bounds 324 >= 66 @ 1354.9
1374.96/1379.66	c #Conflicts:     181000 | #Constraints:     666698
1374.96/1379.66	c #Conflicts:     182000 | #Constraints:     667698
1374.96/1379.66	c #Conflicts:     183000 | #Constraints:     668698
1374.96/1379.66	c bounds 324 >= 67 @ 1365.14
1398.78/1403.51	c #Conflicts:     184000 | #Constraints:     669728
1398.78/1403.51	c #Conflicts:     185000 | #Constraints:     670728
1398.78/1403.51	c #Conflicts:     186000 | #Constraints:     671728
1398.78/1403.51	c #Conflicts:     187000 | #Constraints:     672728
1398.78/1403.51	c bounds 324 >= 68 @ 1388.8
1476.02/1481.01	c #Conflicts:     188000 | #Constraints:     673764
1476.02/1481.01	c #Conflicts:     189000 | #Constraints:     674764
1476.02/1481.01	c INPROCESSING
1476.02/1481.01	c GARBAGE COLLECT
1476.02/1481.01	c #Conflicts:     190000 | #Constraints:     667081
1476.02/1481.01	c #Conflicts:     191000 | #Constraints:     668081
1476.02/1481.01	c #Conflicts:     192000 | #Constraints:     669081
1476.02/1481.01	c bounds 324 >= 69 @ 1465.82
1644.00/1649.65	c #Conflicts:     193000 | #Constraints:     670136
1644.00/1649.65	c #Conflicts:     194000 | #Constraints:     671136
1644.00/1649.65	c #Conflicts:     195000 | #Constraints:     672136
1644.00/1649.65	c #Conflicts:     196000 | #Constraints:     673136
1644.00/1649.65	c #Conflicts:     197000 | #Constraints:     674136
1644.00/1649.65	c #Conflicts:     198000 | #Constraints:     675136
1644.00/1649.65	c INPROCESSING
1644.00/1649.65	c GARBAGE COLLECT
1644.00/1649.65	c rational objective 178.378
1649.59/1655.28	c bounds 324 >= 70 @ 1639.26
1724.24/1730.11	c #Conflicts:     199000 | #Constraints:     667340
1724.24/1730.11	c #Conflicts:     200000 | #Constraints:     668340
1724.24/1730.11	c #Conflicts:     201000 | #Constraints:     669340
1724.24/1730.11	c #Conflicts:     202000 | #Constraints:     670340
1724.24/1730.11	c #Conflicts:     203000 | #Constraints:     671341
1724.24/1730.11	c #Conflicts:     204000 | #Constraints:     672341
1724.24/1730.11	c #Conflicts:     205000 | #Constraints:     673342
1724.24/1730.11	c #Conflicts:     206000 | #Constraints:     674342
1724.24/1730.11	c #Conflicts:     207000 | #Constraints:     675342
1724.24/1730.11	c INPROCESSING
1724.24/1730.11	c GARBAGE COLLECT
1724.24/1730.11	c rational objective 178.378
1736.89/1742.89	c #Conflicts:     208000 | #Constraints:     667298
1736.89/1742.89	c #Conflicts:     209000 | #Constraints:     668298
1736.89/1742.89	c #Conflicts:     210000 | #Constraints:     669298
1736.89/1742.89	c bounds 324 >= 71 @ 1726.34
1769.48/1775.56	c #Conflicts:     211000 | #Constraints:     670355
1769.48/1775.56	c #Conflicts:     212000 | #Constraints:     671356
1769.48/1775.56	c #Conflicts:     213000 | #Constraints:     672356
1769.48/1775.56	c #Conflicts:     214000 | #Constraints:     673356
1769.48/1775.56	c #Conflicts:     215000 | #Constraints:     674356
1769.48/1775.56	c #Conflicts:     216000 | #Constraints:     675356
1769.48/1775.56	c INPROCESSING
1769.48/1775.56	c GARBAGE COLLECT
1769.48/1775.56	c rational objective 178.378
1905.90/1912.42	c #Conflicts:     217000 | #Constraints:     667127
1905.90/1912.42	c #Conflicts:     218000 | #Constraints:     668127
1905.90/1912.42	c #Conflicts:     219000 | #Constraints:     669127
1905.90/1912.42	c #Conflicts:     220000 | #Constraints:     670127
1905.90/1912.42	c #Conflicts:     221000 | #Constraints:     671127
1905.90/1912.42	c #Conflicts:     222000 | #Constraints:     672127
1905.90/1912.42	c #Conflicts:     223000 | #Constraints:     673127
1905.90/1912.42	c #Conflicts:     224000 | #Constraints:     674127
1905.90/1912.42	c #Conflicts:     225000 | #Constraints:     675127
1905.90/1912.42	c #Conflicts:     226000 | #Constraints:     676127
1905.90/1912.42	c INPROCESSING
1905.90/1912.42	c GARBAGE COLLECT
1905.90/1912.42	c rational objective 178.378
1910.99/1917.52	c bounds 324 >= 72 @ 1899.96
2080.48/2087.62	c #Conflicts:     227000 | #Constraints:     667766
2080.48/2087.62	c #Conflicts:     228000 | #Constraints:     668766
2080.48/2087.62	c #Conflicts:     229000 | #Constraints:     669766
2080.48/2087.62	c #Conflicts:     230000 | #Constraints:     670766
2080.48/2087.62	c #Conflicts:     231000 | #Constraints:     671766
2080.48/2087.62	c #Conflicts:     232000 | #Constraints:     672766
2080.48/2087.62	c #Conflicts:     233000 | #Constraints:     673766
2080.48/2087.62	c #Conflicts:     234000 | #Constraints:     674766
2080.48/2087.62	c #Conflicts:     235000 | #Constraints:     675766
2080.48/2087.62	c #Conflicts:     236000 | #Constraints:     676766
2080.48/2087.62	c INPROCESSING
2080.48/2087.62	c GARBAGE COLLECT
2080.48/2087.62	c #Conflicts:     237000 | #Constraints:     668144
2080.48/2087.62	c #Conflicts:     238000 | #Constraints:     669144
2080.48/2087.62	c #Conflicts:     239000 | #Constraints:     670144
2080.48/2087.62	c #Conflicts:     240000 | #Constraints:     671144
2080.48/2087.62	c #Conflicts:     241000 | #Constraints:     672144
2080.48/2087.62	c #Conflicts:     242000 | #Constraints:     673144
2080.48/2087.62	c #Conflicts:     243000 | #Constraints:     674144
2080.48/2087.62	c #Conflicts:     244000 | #Constraints:     675144
2080.48/2087.62	c #Conflicts:     245000 | #Constraints:     676144
2080.48/2087.62	c #Conflicts:     246000 | #Constraints:     677144
2080.48/2087.62	c INPROCESSING
2080.48/2087.62	c GARBAGE COLLECT
2080.48/2087.62	c rational objective 178.378
2117.95/2125.30	c #Conflicts:     247000 | #Constraints:     668336
2117.95/2125.30	c #Conflicts:     248000 | #Constraints:     669336
2117.95/2125.30	c #Conflicts:     249000 | #Constraints:     670336
2117.95/2125.30	c #Conflicts:     250000 | #Constraints:     671336
2117.95/2125.30	c bounds 324 >= 73 @ 2106.05
2597.59/2606.48	c #Conflicts:     251000 | #Constraints:     672393
2597.59/2606.48	c #Conflicts:     252000 | #Constraints:     673393
2597.59/2606.48	c #Conflicts:     253000 | #Constraints:     674393
2597.59/2606.48	c #Conflicts:     254000 | #Constraints:     675393
2597.59/2606.48	c #Conflicts:     255000 | #Constraints:     676393
2597.59/2606.48	c #Conflicts:     256000 | #Constraints:     677393
2597.59/2606.48	c INPROCESSING
2597.59/2606.48	c GARBAGE COLLECT
2597.59/2606.48	c #Conflicts:     257000 | #Constraints:     668369
2597.59/2606.48	c #Conflicts:     258000 | #Constraints:     669369
2597.59/2606.48	c #Conflicts:     259000 | #Constraints:     670369
2597.59/2606.48	c #Conflicts:     260000 | #Constraints:     671369
2597.59/2606.48	c #Conflicts:     261000 | #Constraints:     672369
2597.59/2606.48	c #Conflicts:     262000 | #Constraints:     673369
2597.59/2606.48	c #Conflicts:     263000 | #Constraints:     674369
2597.59/2606.48	c #Conflicts:     264000 | #Constraints:     675369
2597.59/2606.48	c #Conflicts:     265000 | #Constraints:     676369
2597.59/2606.48	c #Conflicts:     266000 | #Constraints:     677369
2597.59/2606.48	c INPROCESSING
2597.59/2606.48	c GARBAGE COLLECT
2597.59/2606.48	c rational objective 178.378
2666.59/2675.66	c #Conflicts:     267000 | #Constraints:     668156
2666.59/2675.66	c #Conflicts:     268000 | #Constraints:     669156
2666.59/2675.66	c #Conflicts:     269000 | #Constraints:     670156
2666.59/2675.66	c #Conflicts:     270000 | #Constraints:     671156
2666.59/2675.66	c #Conflicts:     271000 | #Constraints:     672156
2666.59/2675.66	c #Conflicts:     272000 | #Constraints:     673156
2666.59/2675.66	c #Conflicts:     273000 | #Constraints:     674156
2666.59/2675.66	c #Conflicts:     274000 | #Constraints:     675156
2666.59/2675.66	c bounds 324 >= 74 @ 2653.51
2829.14/2838.62	c #Conflicts:     275000 | #Constraints:     676222
2829.14/2838.62	c #Conflicts:     276000 | #Constraints:     677222
2829.14/2838.62	c #Conflicts:     277000 | #Constraints:     678222
2829.14/2838.62	c INPROCESSING
2829.14/2838.62	c GARBAGE COLLECT
2829.14/2838.62	c rational objective 178.378
3066.20/3076.34	c #Conflicts:     278000 | #Constraints:     668798
3066.20/3076.34	c #Conflicts:     279000 | #Constraints:     669799
3066.20/3076.34	c #Conflicts:     280000 | #Constraints:     670799
3066.20/3076.34	c #Conflicts:     281000 | #Constraints:     671799
3066.20/3076.34	c #Conflicts:     282000 | #Constraints:     672799
3066.20/3076.34	c #Conflicts:     283000 | #Constraints:     673799
3066.20/3076.34	c #Conflicts:     284000 | #Constraints:     674799
3066.20/3076.34	c #Conflicts:     285000 | #Constraints:     675799
3066.20/3076.34	c #Conflicts:     286000 | #Constraints:     676799
3066.20/3076.34	c #Conflicts:     287000 | #Constraints:     677799
3066.20/3076.34	c #Conflicts:     288000 | #Constraints:     678799
3066.20/3076.34	c INPROCESSING
3066.20/3076.34	c GARBAGE COLLECT
3066.20/3076.34	c rational objective 178.378
3301.96/3312.75	c #Conflicts:     289000 | #Constraints:     669194
3301.96/3312.75	c #Conflicts:     290000 | #Constraints:     670194
3301.96/3312.75	c #Conflicts:     291000 | #Constraints:     671195
3301.96/3312.75	c #Conflicts:     292000 | #Constraints:     672195
3301.96/3312.75	c #Conflicts:     293000 | #Constraints:     673195
3301.96/3312.75	c #Conflicts:     294000 | #Constraints:     674195
3301.96/3312.75	c #Conflicts:     295000 | #Constraints:     675195
3301.96/3312.75	c #Conflicts:     296000 | #Constraints:     676195
3301.96/3312.75	c #Conflicts:     297000 | #Constraints:     677195
3301.96/3312.75	c #Conflicts:     298000 | #Constraints:     678195
3301.96/3312.75	c #Conflicts:     299000 | #Constraints:     679195
3301.96/3312.75	c INPROCESSING
3301.96/3312.75	c GARBAGE COLLECT
3301.96/3312.75	c rational objective 178.378
3363.80/3374.74	c #Conflicts:     300000 | #Constraints:     669379
3363.80/3374.74	c #Conflicts:     301000 | #Constraints:     670379
3363.80/3374.74	c #Conflicts:     302000 | #Constraints:     671379
3363.80/3374.74	c #Conflicts:     303000 | #Constraints:     672379
3363.80/3374.74	c #Conflicts:     304000 | #Constraints:     673380
3363.80/3374.74	c #Conflicts:     305000 | #Constraints:     674386
3363.80/3374.74	c #Conflicts:     306000 | #Constraints:     675386
3363.80/3374.74	c #Conflicts:     307000 | #Constraints:     676386
3363.80/3374.74	c #Conflicts:     308000 | #Constraints:     677386
3363.80/3374.74	c #Conflicts:     309000 | #Constraints:     678386
3363.80/3374.74	c #Conflicts:     310000 | #Constraints:     679388
3363.80/3374.74	c bounds 324 >= 75 @ 3349.02
3440.40/3451.52	c INPROCESSING
3440.40/3451.52	c GARBAGE COLLECT
3440.40/3451.52	c rational objective 178.378
3601.95/3613.51	c #Conflicts:     311000 | #Constraints:     669409
3601.95/3613.51	c #Conflicts:     312000 | #Constraints:     670410
3601.95/3613.51	c #Conflicts:     313000 | #Constraints:     671411
3601.95/3613.51	c #Conflicts:     314000 | #Constraints:     672411
3601.95/3613.51	c #Conflicts:     315000 | #Constraints:     673411
3601.95/3613.51	c #Conflicts:     316000 | #Constraints:     674412
3601.95/3613.51	c #Conflicts:     317000 | #Constraints:     675412
3601.95/3613.51	c #Conflicts:     318000 | #Constraints:     676412
3601.95/3613.51	c #Conflicts:     319000 | #Constraints:     677413
3601.95/3613.51	c #Conflicts:     320000 | #Constraints:     678413
3601.95/3613.51	c #Conflicts:     321000 | #Constraints:     679413
3601.95/3613.51	c INPROCESSING
3601.95/3613.51	c GARBAGE COLLECT
3601.95/3613.51	c #Conflicts:     322000 | #Constraints:     669226
3601.95/3613.51	c #Conflicts:     323000 | #Constraints:     670226
3601.95/3613.51	c #Conflicts:     324000 | #Constraints:     671226
3601.95/3613.51	c #Conflicts:     325000 | #Constraints:     672226
3601.95/3613.51	c Disabling crashed LP
3601.95/3613.51	c cpu time 3586.64 s
3601.95/3613.51	c deterministic time 117318941755 1.17e+11
3601.95/3613.51	c optimization time 25.289 s
3601.95/3613.51	c total solve time 3559.39 s
3601.95/3613.51	c core-guided solve time 3298.68 s
3601.95/3613.51	c propagation time 1147.94 s
3601.95/3613.51	c conflict analysis time 527.326 s
3601.95/3613.51	c propagations 99713737
3601.95/3613.51	c resolve steps 6171004
3601.95/3613.51	c decisions 11017646
3601.95/3613.51	c conflicts 325053
3601.95/3613.51	c restarts 765
3601.95/3613.51	c inprocessing phases 48
3601.95/3613.51	c garbage collections 48 ,( 100.00 )
3601.95/3613.51	c input clauses 657256 ,( 99.84 )
3601.95/3613.51	c input cardinalities 417 ,( 0.06 )
3601.95/3613.51	c input general constraints 620 ,( 0.09 )
3601.95/3613.51	c input average constraint length 6.48
3601.95/3613.51	c input average constraint degree 112.27
3601.95/3613.51	c learned clauses 266264 ,( 81.64 )
3601.95/3613.51	c learned cardinalities 37 ,( 0.01 )
3601.95/3613.51	c learned general constraints 59843 ,( 18.35 )
3601.95/3613.51	c learned average constraint length 1885.68
3601.95/3613.51	c learned average constraint degree 9843424110.79
3601.95/3613.51	c watched  CF 32, 64, 128, Arb: 2300 , 0 , 0 , 0
3601.95/3613.51	c counting CF 32, 64, 128, Arb: 58164 , 0 , 0 , 0
3601.95/3613.51	c watched   constraints 2300 ,( 3.80 ) 
3601.95/3613.51	c counting  constraints 58163 ,( 96.20 ) 
3601.95/3613.51	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 95280606 , 3429534 , 919275760 ,( 19527368 , 899748392 )
3601.95/3613.51	c gcd simplifications 9633
3601.95/3613.51	c detected cardinalities 3
3601.95/3613.51	c weakened non-implied lits 746333957
3601.95/3613.51	c weakened non-implying lits 212012
3601.95/3613.51	c original variables 10000
3601.95/3613.51	c clausal propagations 23298445
3601.95/3613.51	c cardinality propagations 358952
3601.95/3613.51	c watched propagations 27060
3601.95/3613.51	c counting propagations 73610401
3601.95/3613.51	c watch lookups 8680823441
3601.95/3613.51	c watch backjump lookups 0
3601.95/3613.51	c watch checks 5411630232
3601.95/3613.51	c propagation checks 98818070910
3601.95/3613.51	c constraint additions 4186007171
3601.95/3613.51	c trail pops 111047148
3601.95/3613.51	c formula constraints 656900
3601.95/3613.51	c learned constraints 324924
3601.95/3613.51	c bound constraints 207
3601.95/3613.51	c core-guided constraints 1186
3601.95/3613.51	c encountered formula constraints 3323248
3601.95/3613.51	c encountered learned constraints 2038067
3601.95/3613.51	c encountered bound constraints 8504
3601.95/3613.51	c encountered core-guided constraints 1117836
3601.95/3613.51	c LP total time 2544.46 s
3601.95/3613.51	c LP solve time 2373.46 s
3601.95/3613.51	c LP constraints added 656993
3601.95/3613.51	c LP constraints removed 52
3601.95/3613.51	c LP pivots internal 325051
3601.95/3613.51	c LP pivots root 306418
3601.95/3613.51	c LP calls 1300
3601.95/3613.51	c LP optimalities 192
3601.95/3613.51	c LP no pivot count 10
3601.95/3613.51	c LP infeasibilities 1055
3601.95/3613.51	c LP valid Farkas constraints 1051
3601.95/3613.51	c LP learned Farkas constraints 133
3601.95/3613.51	c LP basis resets 52
3601.95/3613.51	c LP cycling count 20
3601.95/3613.51	c LP singular count 18
3601.95/3613.51	c LP no primal count 0
3601.95/3613.51	c LP no farkas count 4
3601.95/3613.51	c LP other issue count 10
3601.95/3613.51	c LP Gomory cuts 36
3601.95/3613.51	c LP learned cuts 57
3601.95/3613.51	c LP deleted cuts 52
3601.95/3613.51	c LP encountered Gomory constraints 0
3601.95/3613.51	c LP encountered Farkas constraints 8191
3601.95/3613.51	c LP encountered learned Farkas constraints 78
3601.95/3613.51	c CG auxiliary variables introduced 415
3601.95/3613.51	c CG solutions found 147
3601.95/3613.51	c CG cores constructed 59
3601.95/3613.51	c CG core cardinality constraints returned 0
3601.95/3613.51	c CG unit cores 0
3601.95/3613.51	c CG single cores 59
3601.95/3613.51	c CG blocks removed during cardinality reduction 0
3601.95/3613.51	c CG first core best 0
3601.95/3613.51	c CG decision core best 0
3601.95/3613.51	c CG core reduction tie 0
3601.95/3613.51	c CG core degree average 1.00
3601.95/3613.51	c CG core slack average 964.85
3601.95/3613.51	c CG core upper bound improvements 9
3601.95/3613.51	c STR number of successful calls 0
3601.95/3613.51	c STR number of unsuccessful calls 0
3601.95/3613.51	c STR number of inconclusive calls 0
3601.95/3613.51	c STR number of successful attempts 0
3601.95/3613.51	c STR number of unsuccessful attempts 0
3601.95/3613.51	c STR number of inconclusive attempts 0
3601.95/3613.51	c STR average degree increase per successful call inf
3601.95/3613.51	c STR average degree increase per successful attempt inf
3601.95/3613.51	c STR total number of conflicts for successful attempts 0
3601.95/3613.51	c STR total number of conflicts for unsuccessful attempts 0
3601.95/3613.51	c STR total number of conflicts for inconclusive attempts 0
3601.95/3613.51	c STR average number of conflicts per successful attempt inf
3601.95/3613.51	c STR average number of conflicts per unsuccessful attempt inf
3601.95/3613.51	c STR average number of conflicts per inconclusive attempt inf
3601.95/3613.51	c AVG.sumWPerc 92.43 
3601.95/3613.51	c bigint constraints 0 
3601.95/3613.51	o 324
3601.95/3613.51	s SATISFIABLE
3601.95/3613.51	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
3601.95/3613.51	c Program interrupted by user.

Verifier Data 

OK	324

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61523 MiB free)
  memory of node 1: 64465 MiB (62491 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489784-1751363764/watcher-4489784-1751363764 -o /tmp/evaluation-result-4489784-1751363764/solver-4489784-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59060 --watchdog 3760 run-opt-ls.sh HOME/instance-4489784-1751363764.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
Starting watchdog thread
solver pid=59107, runsolver pid=59098
Current StackSize limit: 8192 KiB


[startup+0.100049 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126431652/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59114] ppid=59107 vsize=163272 memory=146192 CPUtime=0.08 cores=1,3
/proc/59114/stat : 59114 (pbsuma) R 59107 59107 59048 0 -1 4194304 3894 0 0 0 5 3 0 0 20 0 1 0 52055235 167190528 36548 18446744073709551615 4210688 4653049 140734431243680 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13893632 140734431246691 140734431246898 140734431246898 140734431252463 0
/proc/59114/statm: 40818 36548 960 108 0 38226 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 167464 KiB
Current children cumulated memory: 149136 KiB

[startup+0.205797 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126364188/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59114] ppid=59107 vsize=180656 memory=165044 CPUtime=0.18 cores=1,3
/proc/59114/stat : 59114 (pbsuma) R 59107 59107 59048 0 -1 4194304 8774 0 0 0 14 4 0 0 20 0 1 0 52055235 184991744 41261 18446744073709551615 4210688 4653049 140734431243680 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13893632 140734431246691 140734431246898 140734431246898 140734431252463 0
/proc/59114/statm: 45164 41261 960 108 0 42572 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184848 KiB
Current children cumulated memory: 167988 KiB

[startup+0.305768 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126279320/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59114] ppid=59107 vsize=194520 memory=181648 CPUtime=0.29 cores=1,3
/proc/59114/stat : 59114 (pbsuma) R 59107 59107 59048 0 -1 4194304 11917 0 0 0 24 5 0 0 20 0 1 0 52055235 199188480 45412 18446744073709551615 4210688 4653049 140734431243680 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13893632 140734431246691 140734431246898 140734431246898 140734431252463 0
/proc/59114/statm: 48630 45412 960 108 0 46038 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198712 KiB
Current children cumulated memory: 184592 KiB

[startup+0.700207 s]
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=125955320/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59114] ppid=59107 vsize=309796 memory=264092 CPUtime=0.67 cores=1,3
/proc/59114/stat : 59114 (pbsuma) R 59107 59107 59048 0 -1 4194304 21321 0 0 0 60 7 0 0 20 0 1 0 52055235 317231104 66023 18446744073709551615 4210688 4653049 140734431243680 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13893632 140734431246691 140734431246898 140734431246898 140734431252463 0
/proc/59114/statm: 77449 66023 960 108 0 74857 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 313988 KiB
Current children cumulated memory: 267036 KiB

[startup+1.50019 s]
/proc/loadavg: 2.16 3.62 3.98 5/271 59124
/proc/meminfo: memFree=126398308/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=118892 memory=72196 CPUtime=0.5 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 16021 0 0 0 36 14 0 0 20 0 1 0 52055333 121745408 18049 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 29723 18049 2016 1147 0 17150 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 123084 KiB
Current children cumulated memory: 75140 KiB

[startup+3.10587 s]
/proc/loadavg: 2.31 3.63 3.98 5/271 59125
/proc/meminfo: memFree=124974812/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=564304 memory=415072 CPUtime=2.1 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 55502 0 0 0 155 55 0 0 20 0 1 0 52055333 577847296 103768 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 141076 103768 2272 1147 0 128503 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 568496 KiB
Current children cumulated memory: 418016 KiB

[startup+6.3002 s]
/proc/loadavg: 2.31 3.63 3.98 5/271 59125
/proc/meminfo: memFree=123363376/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1040472 memory=779284 CPUtime=5.28 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 81557 0 0 0 453 75 0 0 20 0 1 0 52055333 1065443328 194821 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 260118 194821 2368 1147 0 247545 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1044664 KiB
Current children cumulated memory: 782228 KiB

[startup+12.7002 s]
/proc/loadavg: 2.57 3.64 3.98 5/271 59125
/proc/meminfo: memFree=123277632/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1238428 memory=924048 CPUtime=11.67 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 91122 0 0 0 1058 109 0 0 20 0 1 0 52055333 1268150272 231012 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 309607 231012 2432 1147 0 297034 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1242620 KiB
Current children cumulated memory: 926992 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 3.65 3.98 5/271 59125
/proc/meminfo: memFree=122625456/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1317720 memory=992480 CPUtime=24.43 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 100123 0 0 0 2311 132 0 0 20 0 1 0 52055333 1349345280 248120 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 329430 248120 2432 1147 0 316857 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1321912 KiB
Current children cumulated memory: 995424 KiB

[startup+51.1057 s]
/proc/loadavg: 3.20 3.68 3.99 5/271 59126
/proc/meminfo: memFree=122109792/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1471244 memory=1119060 CPUtime=49.97 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 115943 0 0 0 4841 156 0 0 20 0 1 0 52055333 1506553856 279765 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 367811 279765 2432 1147 0 355238 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1475436 KiB
Current children cumulated memory: 1122004 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.75 4.00 5/271 59128
/proc/meminfo: memFree=121820124/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1487152 memory=1163148 CPUtime=101.03 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 117173 0 0 0 9914 189 0 0 20 0 1 0 52055333 1522843648 290787 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 371788 290787 2432 1147 0 359215 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1491344 KiB
Current children cumulated memory: 1166092 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.83 4.00 5/271 59131
/proc/meminfo: memFree=120944952/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1557064 memory=1235064 CPUtime=160.83 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 122671 0 0 0 15845 238 0 0 20 0 1 0 52055333 1594433536 308766 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 389266 308766 2432 1147 0 376693 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1561256 KiB
Current children cumulated memory: 1238008 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.88 4.00 5/271 59132
/proc/meminfo: memFree=120048140/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=1762056 memory=1391544 CPUtime=220.63 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 136417 0 0 0 21790 273 0 0 20 0 1 0 52055333 1804345344 347886 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 440514 347886 2464 1147 0 427941 0
Current children cumulated CPU time: 221.59 s

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 59292
/proc/meminfo: memFree=112019988/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4307400 memory=3499716 CPUtime=3270.67 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 531145 0 0 0 325718 1349 0 0 20 0 1 0 52055333 4410777600 874929 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1076850 874929 2560 1147 0 1064277 0
Current children cumulated CPU time: 3271.63 s
Current children cumulated vsize: 4311592 KiB
Current children cumulated memory: 3502660 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 59294
/proc/meminfo: memFree=112078696/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4307400 memory=3499716 CPUtime=3330.52 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 532319 0 0 0 331679 1373 0 0 20 0 1 0 52055333 4410777600 874929 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1076850 874929 2560 1147 0 1064277 0
Current children cumulated CPU time: 3331.48 s
Current children cumulated vsize: 4311592 KiB
Current children cumulated memory: 3502660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 59296
/proc/meminfo: memFree=112100416/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4252372 memory=3461456 CPUtime=3390.36 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 533648 0 0 0 337644 1392 0 0 20 0 1 0 52055333 4354428928 865364 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 865364 2560 1147 0 1050520 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 4256564 KiB
Current children cumulated memory: 3464400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 59305
/proc/meminfo: memFree=112035288/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4252372 memory=3482704 CPUtime=3450.2 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 533995 0 0 0 343620 1400 0 0 20 0 1 0 52055333 4354428928 870676 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 870676 2560 1147 0 1050520 0
Current children cumulated CPU time: 3451.16 s
Current children cumulated vsize: 4256564 KiB
Current children cumulated memory: 3485648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 59308
/proc/meminfo: memFree=111977636/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4252372 memory=3506512 CPUtime=3510.04 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 534520 0 0 0 349591 1413 0 0 20 0 1 0 52055333 4354428928 876628 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 876628 2560 1147 0 1050520 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 4256564 KiB
Current children cumulated memory: 3509456 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 59310
/proc/meminfo: memFree=111913624/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4307772 memory=3583416 CPUtime=3569.88 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 538683 0 0 0 355561 1427 0 0 20 0 1 0 52055333 4411158528 895854 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1076943 895854 2560 1147 0 1064370 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 4311964 KiB
Current children cumulated memory: 3586360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 59320
/proc/meminfo: memFree=115795800/131249992 swapFree=33010684/33010684
[pid=59107] ppid=59098 vsize=4192 memory=2944 CPUtime=0.96 cores=1,3
/proc/59107/stat : 59107 (run-opt-ls.sh) S 59098 59107 59048 0 -1 4194304 238 29051 0 0 0 0 85 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94760933781504 94760934676037 140721518663232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760934915088 94760934962832 94760962715648 140721518672231 140721518672357 140721518672357 140721518677959 0
/proc/59107/statm: 1048 736 672 219 0 110 0
[pid=59124] ppid=59107 vsize=4252372 memory=3541968 CPUtime=3599.09 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59107 59107 59048 0 -1 4194304 540733 0 0 0 358473 1436 0 0 20 0 1 0 52055333 4354428928 885492 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 885492 2560 1147 0 1050520 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4256564 KiB
Current children cumulated memory: 3544912 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3587.53 s, system=14.5097 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.13 4.10 4.09 3/252 59336
/proc/meminfo: memFree=123328820/131249992 swapFree=33010684/33010684
[pid=59124] ppid=59098 vsize=4252372 memory=3541968 CPUtime=3600.29 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59098 59107 59048 0 -1 4194304 540735 0 0 0 358593 1436 0 0 20 0 1 0 52055333 4354428928 885492 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 885492 2560 1147 0 1050520 0
Current cumulated CPU time of completed processes: 0.967579 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 4252372 KiB
Current children cumulated memory: 3541968 KiB

[startup+3613.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 59354
/proc/meminfo: memFree=123326900/131249992 swapFree=33010684/33010684
[pid=59124] ppid=59098 vsize=4252372 memory=3541968 CPUtime=3600.69 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59098 59107 59048 0 -1 4194304 540737 0 0 0 358633 1436 0 0 20 0 1 0 52055333 4354428928 885492 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 885492 2560 1147 0 1050520 0
Current cumulated CPU time of completed processes: 0.967579 s
Current children cumulated CPU time: 3600.69 s
Current children cumulated vsize: 4252372 KiB
Current children cumulated memory: 3541968 KiB

[startup+3613.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 59354
/proc/meminfo: memFree=123326900/131249992 swapFree=33010684/33010684
[pid=59124] ppid=59098 vsize=4252372 memory=3541968 CPUtime=3600.88 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59098 59107 59048 0 -1 4194304 540737 0 0 0 358652 1436 0 0 20 0 1 0 52055333 4354428928 885492 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 885492 2560 1147 0 1050520 0
Current cumulated CPU time of completed processes: 0.967579 s
Current children cumulated CPU time: 3600.88 s
Current children cumulated vsize: 4252372 KiB
Current children cumulated memory: 3541968 KiB

[startup+3613.5 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 59354
/proc/meminfo: memFree=123326900/131249992 swapFree=33010684/33010684
[pid=59124] ppid=59098 vsize=4252372 memory=3541968 CPUtime=3600.98 cores=1,3
/proc/59124/stat : 59124 (roundingsat) R 59098 59107 59048 0 -1 4194304 540738 0 0 0 358662 1436 0 0 20 0 1 0 52055333 4354428928 885492 18446744073709551615 4227072 8923433 140731667218592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21946368 140731667220806 140731667221032 140731667221032 140731667226602 0
/proc/59124/statm: 1063093 885492 2560 1147 0 1050520 0
Current cumulated CPU time of completed processes: 0.967579 s
Current children cumulated CPU time: 3600.98 s
Current children cumulated vsize: 4252372 KiB
Current children cumulated memory: 3541968 KiB

Child status: 2

Real time (s): 3613.58
CPU time (s): 3602.04
CPU user time (s): 3587.53
CPU system time (s): 14.5097
CPU usage (%): 99.6806
Max. virtual memory (cumulated for all children) (KiB): 4360152
Max. memory (cumulated for all children) (KiB): 3638524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.53
system time used= 14.5097
maximum resident set size= 3635580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570365
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= 257
involuntary context switches= 5122


# summary of solver processes directly reported to runsolver:
#   pid: 59107,59124
#   total CPU time (s): 3602.04
#   total CPU user time (s): 3587.53
#   total CPU system time (s): 14.5097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1498 second user time and 17.3921 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-01 11:56:05
IDJOB=4489784
IDBENCH=147563
IDSOLVER=3355
FILE ID=nodeC025/4489784-1751363764
RUNJOBID= nodeC025-1751363764-59060
SLURM_JOB_ID= 9598181
Free space on /tmp= 433000 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=137257437

nodeC025 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.506
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.67
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		: 3599.981
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.67
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.974
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.67
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		: 3610.970
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.67
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.196
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.67
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.952
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.67
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.664
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.67
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		: 3742.341
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126996140 kB
MemAvailable:   129790560 kB
Buffers:            3280 kB
Cached:          3592620 kB
SwapCached:            0 kB
Active:           409748 kB
Inactive:        3253460 kB
Active(anon):      85392 kB
Inactive(anon):        0 kB
Active(file):     324356 kB
Inactive(file):  3253460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             88460 kB
Writeback:             0 kB
AnonPages:         70120 kB
Mapped:           102340 kB
Shmem:             18084 kB
KReclaimable:     111684 kB
Slab:             200740 kB
SReclaimable:     111684 kB
SUnreclaim:        89056 kB
KernelStack:        4072 kB
PageTables:         2716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC025 at 2025-07-01 12:56:18