Trace number 4489786

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22adSAT (TO)355 3600.07 3610.91

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

Verifier Data 

OK	355

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489786-1751368684/watcher-4489786-1751368684 -o /tmp/evaluation-result-4489786-1751368684/solver-4489786-1751368684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60710 --watchdog 3760 run-opt-break.sh HOME/instance-4489786-1751368684.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=60756, runsolver pid=60751

[startup+0.100064 s]*
/proc/loadavg: 2.13 2.95 3.41 5/268 60773
/proc/meminfo: memFree=128162900/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60762] ppid=60756 vsize=163140 memory=146148 CPUtime=0.07 cores=0,2
/proc/60762/stat : 60762 (pbsuma) R 60756 60756 60700 0 -1 4194304 3843 0 0 0 5 2 0 0 20 0 1 0 52545979 167055360 36537 18446744073709551615 4210688 4653049 140736093179904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20828160 140736093182307 140736093182514 140736093182514 140736093188079 0
/proc/60762/statm: 40785 36537 960 108 0 38193 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167332 KiB
Current children cumulated memory: 149092 KiB

[startup+0.20583 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128094416/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60762] ppid=60756 vsize=180656 memory=166292 CPUtime=0.17 cores=0,2
/proc/60762/stat : 60762 (pbsuma) R 60756 60756 60700 0 -1 4194304 8571 0 0 0 14 3 0 0 20 0 1 0 52545979 184991744 41573 18446744073709551615 4210688 4653049 140736093179904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20828160 140736093182307 140736093182514 140736093182514 140736093188079 0
/proc/60762/statm: 45164 41573 960 108 0 42572 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184848 KiB
Current children cumulated memory: 169236 KiB

[startup+0.30578 s]*
/proc/loadavg: 2.13 2.95 3.41 5/268 60773
/proc/meminfo: memFree=128030844/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60762] ppid=60756 vsize=194520 memory=180748 CPUtime=0.28 cores=0,2
/proc/60762/stat : 60762 (pbsuma) R 60756 60756 60700 0 -1 4194304 11659 0 0 0 24 4 0 0 20 0 1 0 52545979 199188480 45187 18446744073709551615 4210688 4653049 140736093179904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20828160 140736093182307 140736093182514 140736093182514 140736093188079 0
/proc/60762/statm: 48630 45187 960 108 0 46038 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198712 KiB
Current children cumulated memory: 183692 KiB

[startup+0.700211 s]
/proc/loadavg: 2.28 2.97 3.41 5/268 60773
/proc/meminfo: memFree=127691924/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60762] ppid=60756 vsize=309792 memory=260328 CPUtime=0.66 cores=0,2
/proc/60762/stat : 60762 (pbsuma) R 60756 60756 60700 0 -1 4194304 22378 0 0 0 60 6 0 0 20 0 1 0 52545979 317227008 65082 18446744073709551615 4210688 4653049 140736093179904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20828160 140736093182307 140736093182514 140736093182514 140736093188079 0
/proc/60762/statm: 77448 65082 992 108 0 74856 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 313984 KiB
Current children cumulated memory: 263272 KiB

[startup+1.50019 s]
/proc/loadavg: 2.28 2.97 3.41 2/268 60776
/proc/meminfo: memFree=128058876/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=77236 memory=31144 CPUtime=0.47 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 5946 0 0 0 32 15 0 0 20 0 1 0 52546077 79089664 7786 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 19309 7786 1856 1147 0 6736 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 81428 KiB
Current children cumulated memory: 34088 KiB

[startup+3.10554 s]
/proc/loadavg: 2.28 2.97 3.41 5/268 60777
/proc/meminfo: memFree=127149504/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=441812 memory=367984 CPUtime=2.08 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 29102 0 0 0 155 53 0 0 20 0 1 0 52546077 452415488 91996 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 110453 91996 2176 1147 0 97880 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 446004 KiB
Current children cumulated memory: 370928 KiB

[startup+6.3002 s]
/proc/loadavg: 2.42 2.99 3.42 5/268 60777
/proc/meminfo: memFree=125686060/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=913860 memory=656264 CPUtime=5.26 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 46386 0 0 0 459 67 0 0 20 0 1 0 52546077 935792640 164066 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 228465 164066 2304 1147 0 215892 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 918052 KiB
Current children cumulated memory: 659208 KiB

[startup+12.7002 s]
/proc/loadavg: 2.55 3.00 3.42 5/268 60777
/proc/meminfo: memFree=125610460/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=1077880 memory=772144 CPUtime=11.64 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 53566 0 0 0 1077 87 0 0 20 0 1 0 52546077 1103749120 193036 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 269470 193036 2336 1147 0 256897 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1082072 KiB
Current children cumulated memory: 775088 KiB

[startup+25.5002 s]
/proc/loadavg: 2.77 3.04 3.43 5/268 60777
/proc/meminfo: memFree=125350184/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=1166164 memory=851364 CPUtime=24.41 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 61141 0 0 0 2313 128 0 0 20 0 1 0 52546077 1194151936 212841 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 291541 212841 2336 1147 0 278968 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1170356 KiB
Current children cumulated memory: 854308 KiB

[startup+51.1057 s]
/proc/loadavg: 3.32 3.15 3.45 5/269 60779
/proc/meminfo: memFree=124782888/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=1166164 memory=861860 CPUtime=49.93 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 61237 0 0 0 4846 147 0 0 20 0 1 0 52546077 1194151936 215465 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 291541 215465 2336 1147 0 278968 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1170356 KiB
Current children cumulated memory: 864804 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 3.30 3.49 5/269 60780
/proc/meminfo: memFree=124114612/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=1324400 memory=1017784 CPUtime=100.97 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 77854 0 0 0 9908 189 0 0 20 0 1 0 52546077 1356185600 254446 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 331100 254446 2336 1147 0 318527 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1328592 KiB
Current children cumulated memory: 1020728 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.43 3.52 5/269 60784
/proc/meminfo: memFree=123972892/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=1461256 memory=1090600 CPUtime=160.81 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 86956 0 0 0 15852 229 0 0 20 0 1 0 52546077 1496326144 272650 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 365314 272650 2368 1147 0 352741 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1465448 KiB
Current children cumulated memory: 1093544 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.56 3.57 5/269 60786
/proc/meminfo: memFree=122842116/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=1663740 memory=1359140 CPUtime=220.64 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 100047 0 0 0 21793 271 0 0 20 0 1 0 52546077 1703669760 339785 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 415935 339785 2464 1147 0 403362 0

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

/proc/60775/statm: 745982 660907 2496 1147 0 733409 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 2988120 KiB
Current children cumulated memory: 2646572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/268 60946
/proc/meminfo: memFree=116004784/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=2983928 memory=2650028 CPUtime=3151.79 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 291659 0 0 0 313741 1438 0 0 20 0 1 0 52546077 3055542272 662507 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 745982 662507 2496 1147 0 733409 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 2988120 KiB
Current children cumulated memory: 2652972 KiB

[startup+3222.3 s]
/proc/loadavg: 4.69 4.26 4.11 5/269 60950
/proc/meminfo: memFree=115996380/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=2983928 memory=2650028 CPUtime=3211.61 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 291661 0 0 0 319713 1448 0 0 20 0 1 0 52546077 3055542272 662507 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 745982 662507 2496 1147 0 733409 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 2988120 KiB
Current children cumulated memory: 2652972 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.22 4.10 5/269 60958
/proc/meminfo: memFree=115841788/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3072924 memory=2742920 CPUtime=3271.43 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 296229 0 0 0 325666 1477 0 0 20 0 1 0 52546077 3146674176 685730 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 768231 685730 2496 1147 0 755658 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 3077116 KiB
Current children cumulated memory: 2745864 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.11 5/269 60961
/proc/meminfo: memFree=115831984/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3072924 memory=2742920 CPUtime=3331.25 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 297368 0 0 0 331610 1515 0 0 20 0 1 0 52546077 3146674176 685730 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 768231 685730 2496 1147 0 755658 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 3077116 KiB
Current children cumulated memory: 2745864 KiB

[startup+3402.3 s]
/proc/loadavg: 4.49 4.33 4.15 5/268 60963
/proc/meminfo: memFree=115325336/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3072924 memory=2742920 CPUtime=3391.07 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 298376 0 0 0 337565 1542 0 0 20 0 1 0 52546077 3146674176 685730 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 768231 685730 2496 1147 0 755658 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 3077116 KiB
Current children cumulated memory: 2745864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.28 4.15 5/268 60965
/proc/meminfo: memFree=114490180/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3072924 memory=2742920 CPUtime=3450.89 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 300121 0 0 0 343519 1570 0 0 20 0 1 0 52546077 3146674176 685730 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 768231 685730 2496 1147 0 755658 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 3077116 KiB
Current children cumulated memory: 2745864 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.24 4.14 5/267 60967
/proc/meminfo: memFree=114010556/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3072924 memory=2742920 CPUtime=3510.72 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 300290 0 0 0 349469 1603 0 0 20 0 1 0 52546077 3146674176 685730 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 768231 685730 2496 1147 0 755658 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 3077116 KiB
Current children cumulated memory: 2745864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.23 4.14 5/267 60969
/proc/meminfo: memFree=113955908/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3076988 memory=2746984 CPUtime=3570.57 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 301328 0 0 0 355437 1620 0 0 20 0 1 0 52546077 3150835712 686746 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 769247 686746 2496 1147 0 756674 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 3081180 KiB
Current children cumulated memory: 2749928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.09 4.21 4.14 4/264 60971
/proc/meminfo: memFree=116262212/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3076988 memory=2746984 CPUtime=3599.09 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 302324 0 0 0 358277 1632 0 0 20 0 1 0 52546077 3150835712 686746 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 769247 686746 2496 1147 0 756674 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3081180 KiB
Current children cumulated memory: 2749928 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3583.65 s, system=16.4252 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+3610.9 s]
/proc/loadavg: 4.09 4.21 4.14 4/264 60971
/proc/meminfo: memFree=116262212/131250000 swapFree=33010684/33010684
[pid=60756] ppid=60751 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/60756/stat : 60756 (run-opt-break.s) S 60751 60756 60700 0 -1 4194304 237 29974 0 0 0 0 87 9 20 0 1 0 52545977 4292608 736 18446744073709551615 94052540059648 94052540954181 140730644764016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94052541193232 94052541240976 94052548177920 140730644773217 140730644773346 140730644773346 140730644778948 0
/proc/60756/statm: 1048 736 672 219 0 110 0
[pid=60775] ppid=60756 vsize=3076988 memory=2746984 CPUtime=3599.09 cores=0,2
/proc/60775/stat : 60775 (roundingsat) R 60756 60756 60700 0 -1 4194304 302324 0 0 0 358277 1632 0 0 20 0 1 0 52546077 3150835712 686746 18446744073709551615 4227072 8923433 140723070731056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 9957376 140723070736740 140723070736936 140723070736936 140723070742506 0
/proc/60775/statm: 769247 686746 2496 1147 0 756674 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3081180 KiB
Current children cumulated memory: 2749928 KiB

Child status: 2

Real time (s): 3610.91
CPU time (s): 3600.07
CPU user time (s): 3583.65
CPU system time (s): 16.4252
CPU usage (%): 99.6998
Max. virtual memory (cumulated for all children) (KiB): 3124052
Max. memory (cumulated for all children) (KiB): 2792688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.65
system time used= 16.4252
maximum resident set size= 2789752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332554
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= 351
involuntary context switches= 7869


# summary of solver processes directly reported to runsolver:
#   pid: 60756,60775
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3583.65
#   total CPU system time (s): 16.4252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69035 second user time and 17.0938 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-01 13:18:04
IDJOB=4489786
IDBENCH=147563
IDSOLVER=3359
FILE ID=nodeC016/4489786-1751368684
RUNJOBID= nodeC016-1751368684-60710
SLURM_JOB_ID= 9598185
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=615101040

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128677860 kB
MemAvailable:   129732672 kB
Buffers:            3280 kB
Cached:          1857392 kB
SwapCached:            0 kB
Active:           344348 kB
Inactive:        1587228 kB
Active(anon):      88976 kB
Inactive(anon):        0 kB
Active(file):     255372 kB
Inactive(file):  1587228 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95256 kB
Writeback:             0 kB
AnonPages:         74004 kB
Mapped:           103396 kB
Shmem:             18072 kB
KReclaimable:     102904 kB
Slab:             190452 kB
SReclaimable:     102904 kB
SUnreclaim:        87548 kB
KernelStack:        3940 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     333600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC016 at 2025-07-01 14:18:15