Trace number 4489832

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)374 3600.15 3610.95

General information on the benchmark

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

Solver Data 

0.00/0.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-4489832-1751368684.opb'
0.27/0.35	c 	read 17.23MB  (332.27ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.35	c 
0.27/0.35	c make graph and approximate orbits
0.66/0.71	c	 [group: #orbits ~= 0] (361.08ms)
0.66/0.71	c 
0.66/0.71	c detect special group actions
0.66/0.71	c 	probe for Johnson action (limit=64)
0.66/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.72	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.73	c 	 (22.44ms)
0.66/0.73	c 
0.66/0.73	c detect symmetries on remainder
0.66/0.73	c 	[graph: #vertices 706709 #edges 2766416]
0.66/0.74	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.51ms)
0.66/0.79	c 
0.66/0.79	c finalize break order and special generators
0.66/0.79	c 
0.66/0.79	c generation finished
0.66/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.79	c 
0.66/0.79	c write result to 'HOME/instance-4489832-1751368684.opb.pre'
0.76/0.82	c 	wrote 17.23MB (35.60ms)
0.76/0.82	c ------------------------------------------------------------------
0.76/0.82	c                 361.08ms 44.72% approx_orbits
0.76/0.82	c                 332.26ms 41.15% parse
0.76/0.82	c                  53.51ms  6.63% detect_generic
0.76/0.82	c                  35.60ms  4.41% output
0.76/0.82	c                  22.44ms  2.78% detect_special
0.76/0.82	c                   2.22ms  0.27% other
0.76/0.82	c                   0.38ms  0.05% finalize_order
0.76/0.82	c         ───────────────────────────────────────────────
0.76/0.82	c                 807.49ms   100% total
0.76/0.82	c ------------------------------------------------------------------
0.86/0.98	c RoundingSat 2
0.86/0.98	c branch pb25
0.86/0.98	c commit 63f22ad
3.42/3.50	c #variables 10000 #constraints 656900
3.42/3.50	c objective is ce32 
3.42/3.50	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.42/3.50	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.42/3.50	c bounds - >= 0 @ 1.88786
5.81/5.96	c rational objective 172.654
10.10/10.26	c bounds 5810 >= 0 @ 8.52212
10.10/10.27	c bounds 5701 >= 0 @ 8.52684
10.10/10.28	c bounds 5510 >= 0 @ 8.53344
10.20/10.30	c bounds 5500 >= 0 @ 8.54677
10.20/10.31	c bounds 5454 >= 0 @ 8.55476
10.20/10.31	c bounds 5381 >= 0 @ 8.5586
10.20/10.32	c bounds 5314 >= 0 @ 8.56224
10.20/10.33	c bounds 5294 >= 0 @ 8.56695
10.20/10.34	c bounds 5274 >= 0 @ 8.58261
10.20/10.35	c bounds 5080 >= 0 @ 8.58775
10.20/10.36	c bounds 4446 >= 0 @ 8.59343
10.20/10.37	c bounds 4355 >= 0 @ 8.59964
10.20/10.37	c bounds 4349 >= 0 @ 8.60683
10.30/10.47	c bounds 4347 >= 0 @ 8.69103
10.80/10.97	c bounds 4332 >= 0 @ 9.19062
10.80/10.98	c bounds 4283 >= 0 @ 9.19747
10.80/11.00	c bounds 4043 >= 0 @ 9.2062
10.91/11.01	c bounds 3961 >= 0 @ 9.2128
10.91/11.02	c bounds 3899 >= 0 @ 9.21827
10.91/11.03	c bounds 3892 >= 0 @ 9.22832
10.91/11.04	c bounds 3852 >= 0 @ 9.23367
10.91/11.05	c bounds 3849 >= 0 @ 9.24595
10.91/11.06	c bounds 3835 >= 0 @ 9.25496
10.91/11.07	c bounds 3707 >= 0 @ 9.26147
10.91/11.08	c bounds 3592 >= 0 @ 9.26902
10.91/11.09	c bounds 3538 >= 0 @ 9.27779
11.00/11.10	c bounds 3433 >= 0 @ 9.28707
11.00/11.11	c bounds 3428 >= 0 @ 9.29385
11.00/11.13	c bounds 3408 >= 0 @ 9.3022
11.00/11.14	c bounds 3388 >= 0 @ 9.31157
11.00/11.15	c bounds 3323 >= 0 @ 9.31938
11.00/11.16	c bounds 3316 >= 0 @ 9.32883
11.00/11.18	c bounds 3306 >= 0 @ 9.34125
11.00/11.19	c bounds 3290 >= 0 @ 9.34813
11.10/11.20	c bounds 3269 >= 0 @ 9.35415
11.10/11.21	c bounds 3170 >= 0 @ 9.36224
11.10/11.22	c bounds 3089 >= 0 @ 9.36868
11.10/11.23	c bounds 3076 >= 0 @ 9.37607
11.10/11.24	c bounds 3017 >= 0 @ 9.38432
11.10/11.27	c bounds 3010 >= 0 @ 9.40877
11.19/11.35	c bounds 2998 >= 0 @ 9.49292
11.19/11.37	c bounds 2984 >= 0 @ 9.50413
11.19/11.38	c bounds 2971 >= 0 @ 9.51215
11.19/11.39	c bounds 2958 >= 0 @ 9.51975
11.29/11.40	c bounds 2820 >= 0 @ 9.52624
11.29/11.41	c bounds 2669 >= 0 @ 9.53417
11.29/11.42	c bounds 2648 >= 0 @ 9.54008
11.29/11.43	c bounds 2639 >= 0 @ 9.54597
11.29/11.44	c bounds 2622 >= 0 @ 9.55194
11.29/11.45	c bounds 2587 >= 0 @ 9.5598
11.29/11.47	c bounds 2585 >= 0 @ 9.57751
11.29/11.48	c bounds 2582 >= 0 @ 9.58471
11.40/11.50	c bounds 2575 >= 0 @ 9.60075
11.40/11.51	c bounds 2539 >= 0 @ 9.60905
11.40/11.52	c bounds 2536 >= 0 @ 9.61432
11.40/11.53	c bounds 2511 >= 0 @ 9.62304
11.40/11.54	c bounds 2467 >= 0 @ 9.62954
11.40/11.55	c bounds 2439 >= 0 @ 9.6359
11.40/11.56	c bounds 2327 >= 0 @ 9.6418
11.40/11.57	c bounds 2286 >= 0 @ 9.64754
11.40/11.58	c bounds 2172 >= 0 @ 9.6525
11.40/11.60	c bounds 2095 >= 0 @ 9.65958
11.50/11.61	c bounds 2073 >= 0 @ 9.66709
11.50/11.62	c bounds 1989 >= 0 @ 9.67296
11.50/11.65	c bounds 1978 >= 0 @ 9.69924
11.50/11.66	c bounds 1948 >= 0 @ 9.70649
11.50/11.67	c bounds 1908 >= 0 @ 9.71782
11.50/11.69	c bounds 1906 >= 0 @ 9.7402
11.60/11.73	c bounds 1839 >= 0 @ 9.77403
11.60/11.74	c bounds 1724 >= 0 @ 9.78223
11.80/11.90	c bounds 1721 >= 0 @ 9.94096
11.80/11.92	c bounds 1712 >= 0 @ 9.94785
11.80/11.93	c bounds 1703 >= 0 @ 9.9546
11.80/11.97	c bounds 1680 >= 0 @ 9.99701
11.80/12.00	c bounds 1673 >= 0 @ 10.0126
11.90/12.01	c bounds 1666 >= 0 @ 10.0213
11.90/12.05	c bounds 1602 >= 0 @ 10.0568
12.29/12.43	c bounds 1598 >= 0 @ 10.4256
12.60/12.74	c #Conflicts:       1000 | #Constraints:     657979
12.60/12.74	c bounds 1592 >= 0 @ 10.7279
12.60/12.76	c bounds 1586 >= 0 @ 10.753
12.60/12.78	c bounds 1524 >= 0 @ 10.7687
12.69/12.82	c bounds 1351 >= 0 @ 10.8035
12.69/12.84	c bounds 1336 >= 0 @ 10.8116
12.69/12.86	c bounds 1176 >= 0 @ 10.8273
12.69/12.88	c bounds 1098 >= 0 @ 10.8351
12.80/12.92	c bounds 1088 >= 0 @ 10.8688
12.80/12.93	c bounds 1052 >= 0 @ 10.8766
12.80/12.97	c bounds 970 >= 0 @ 10.9047
12.89/13.02	c bounds 860 >= 0 @ 10.9482
13.00/13.17	c bounds 774 >= 0 @ 11.0855
13.29/13.43	c bounds 771 >= 0 @ 11.3272
13.29/13.44	c bounds 770 >= 0 @ 11.3351
13.29/13.45	c bounds 766 >= 0 @ 11.3446
13.39/13.50	c bounds 763 >= 0 @ 11.3873
16.89/17.10	c #Conflicts:       2000 | #Constraints:     658995
16.89/17.10	c INPROCESSING
16.89/17.10	c GARBAGE COLLECT
16.89/17.10	c bounds 760 >= 0 @ 14.9405
18.28/18.45	c #Conflicts:       3000 | #Constraints:     658912
18.28/18.45	c bounds 658 >= 0 @ 16.2734
25.45/25.65	c #Conflicts:       4000 | #Constraints:     659913
25.45/25.65	c INPROCESSING
25.45/25.65	c GARBAGE COLLECT
25.45/25.65	c bounds 588 >= 0 @ 23.3432
25.65/25.88	c bounds 480 >= 0 @ 23.5605
29.34/29.54	c #Conflicts:       5000 | #Constraints:     659321
29.34/29.54	c #Conflicts:       6000 | #Constraints:     660321
29.34/29.54	c INPROCESSING
29.34/29.54	c GARBAGE COLLECT
29.34/29.54	c bounds 474 >= 0 @ 27.1427
29.34/29.55	c bounds 472 >= 0 @ 27.1461
39.61/39.84	c #Conflicts:       7000 | #Constraints:     659334
39.61/39.84	c #Conflicts:       8000 | #Constraints:     660349
39.61/39.84	c bounds 467 >= 0 @ 37.2761
46.39/46.62	c #Conflicts:       9000 | #Constraints:     661352
46.39/46.62	c INPROCESSING
46.39/46.62	c GARBAGE COLLECT
46.39/46.62	c rational objective 173.574
65.14/65.40	c #Conflicts:      10000 | #Constraints:     660038
65.14/65.40	c #Conflicts:      11000 | #Constraints:     661038
65.14/65.40	c #Conflicts:      12000 | #Constraints:     662038
65.14/65.40	c INPROCESSING
65.14/65.40	c GARBAGE COLLECT
65.14/65.40	c rational objective 174.775
81.89/82.23	c #Conflicts:      13000 | #Constraints:     660486
81.89/82.23	c #Conflicts:      14000 | #Constraints:     661486
81.89/82.23	c #Conflicts:      15000 | #Constraints:     662486
81.89/82.23	c INPROCESSING
81.89/82.23	c GARBAGE COLLECT
81.89/82.23	c rational objective 175.296
101.53/101.91	c #Conflicts:      16000 | #Constraints:     660716
101.53/101.91	c #Conflicts:      17000 | #Constraints:     661716
101.53/101.91	c #Conflicts:      18000 | #Constraints:     662716
101.53/101.91	c INPROCESSING
101.53/101.91	c GARBAGE COLLECT
101.53/101.91	c rational objective 175.405
121.58/122.05	c #Conflicts:      19000 | #Constraints:     660731
121.58/122.05	c #Conflicts:      20000 | #Constraints:     661731
121.58/122.05	c #Conflicts:      21000 | #Constraints:     662731
121.58/122.05	c INPROCESSING
121.58/122.05	c GARBAGE COLLECT
121.58/122.05	c rational objective 175.531
139.12/139.60	c #Conflicts:      22000 | #Constraints:     660533
139.12/139.60	c #Conflicts:      23000 | #Constraints:     661533
139.12/139.60	c #Conflicts:      24000 | #Constraints:     662533
139.12/139.60	c #Conflicts:      25000 | #Constraints:     663533
139.12/139.60	c INPROCESSING
139.12/139.60	c GARBAGE COLLECT
139.12/139.60	c rational objective 175.532
167.73/168.30	c #Conflicts:      26000 | #Constraints:     661137
167.73/168.30	c #Conflicts:      27000 | #Constraints:     662194
167.73/168.30	c #Conflicts:      28000 | #Constraints:     663229
167.73/168.30	c #Conflicts:      29000 | #Constraints:     664258
167.73/168.30	c INPROCESSING
167.73/168.30	c GARBAGE COLLECT
167.73/168.30	c rational objective 175.534
172.42/173.00	c bounds 461 >= 0 @ 169.213
172.42/173.08	c bounds 454 >= 0 @ 169.287
184.19/184.86	c #Conflicts:      30000 | #Constraints:     661612
184.19/184.86	c #Conflicts:      31000 | #Constraints:     662620
184.19/184.86	c #Conflicts:      32000 | #Constraints:     663626
184.19/184.86	c #Conflicts:      33000 | #Constraints:     664636
184.19/184.86	c INPROCESSING
184.19/184.86	c GARBAGE COLLECT
184.19/184.86	c bounds 452 >= 0 @ 180.856
184.29/184.98	c bounds 449 >= 0 @ 180.969
185.39/186.04	c bounds 448 >= 0 @ 182.023
185.68/186.30	c bounds 444 >= 0 @ 182.283
231.15/232.00	c #Conflicts:      34000 | #Constraints:     661808
231.15/232.00	c #Conflicts:      35000 | #Constraints:     662819
231.15/232.00	c #Conflicts:      36000 | #Constraints:     663834
231.15/232.00	c #Conflicts:      37000 | #Constraints:     664847
231.15/232.00	c INPROCESSING
231.15/232.00	c GARBAGE COLLECT
231.15/232.00	c rational objective 175.534
236.43/237.22	c bounds 444 >= 5 @ 232.677
236.43/237.24	c bounds 444 >= 10 @ 232.685
236.43/237.29	c bounds 444 >= 15 @ 232.732
241.41/242.25	c #Conflicts:      38000 | #Constraints:     661810
241.41/242.25	c bounds 444 >= 20 @ 237.661
260.66/261.59	c #Conflicts:      39000 | #Constraints:     662822
260.66/261.59	c #Conflicts:      40000 | #Constraints:     663822
260.66/261.59	c #Conflicts:      41000 | #Constraints:     664822
260.66/261.59	c INPROCESSING
260.66/261.59	c GARBAGE COLLECT
260.66/261.59	c rational objective 175.636
303.33/304.32	c #Conflicts:      42000 | #Constraints:     661610
303.33/304.32	c #Conflicts:      43000 | #Constraints:     662612
303.33/304.32	c #Conflicts:      44000 | #Constraints:     663619
303.33/304.32	c #Conflicts:      45000 | #Constraints:     664620
303.33/304.32	c #Conflicts:      46000 | #Constraints:     665626
303.33/304.32	c INPROCESSING
303.33/304.32	c GARBAGE COLLECT
303.33/304.32	c rational objective 175.696
352.28/353.41	c #Conflicts:      47000 | #Constraints:     662210
352.28/353.41	c #Conflicts:      48000 | #Constraints:     663214
352.28/353.41	c #Conflicts:      49000 | #Constraints:     664216
352.28/353.41	c #Conflicts:      50000 | #Constraints:     665218
352.28/353.41	c #Conflicts:      51000 | #Constraints:     666220
352.28/353.41	c INPROCESSING
352.28/353.41	c GARBAGE COLLECT
352.28/353.41	c rational objective 175.981
431.89/433.30	c #Conflicts:      52000 | #Constraints:     662615
431.89/433.30	c #Conflicts:      53000 | #Constraints:     663616
431.89/433.30	c #Conflicts:      54000 | #Constraints:     664620
431.89/433.30	c #Conflicts:      55000 | #Constraints:     665620
431.89/433.30	c #Conflicts:      56000 | #Constraints:     666622
431.89/433.30	c INPROCESSING
431.89/433.30	c GARBAGE COLLECT
431.89/433.30	c rational objective 176.41
482.93/484.55	c #Conflicts:      57000 | #Constraints:     662815
482.93/484.55	c #Conflicts:      58000 | #Constraints:     663817
482.93/484.55	c #Conflicts:      59000 | #Constraints:     664817
482.93/484.55	c #Conflicts:      60000 | #Constraints:     665819
482.93/484.55	c #Conflicts:      61000 | #Constraints:     666820
482.93/484.55	c INPROCESSING
482.93/484.55	c GARBAGE COLLECT
482.93/484.55	c rational objective 176.459
615.43/617.42	c #Conflicts:      62000 | #Constraints:     662800
615.43/617.42	c #Conflicts:      63000 | #Constraints:     663801
615.43/617.42	c #Conflicts:      64000 | #Constraints:     664803
615.43/617.42	c #Conflicts:      65000 | #Constraints:     665807
615.43/617.42	c #Conflicts:      66000 | #Constraints:     666808
615.43/617.42	c INPROCESSING
615.43/617.42	c GARBAGE COLLECT
615.43/617.42	c #Conflicts:      67000 | #Constraints:     662606
615.43/617.42	c #Conflicts:      68000 | #Constraints:     663608
615.43/617.42	c #Conflicts:      69000 | #Constraints:     664611
615.43/617.42	c #Conflicts:      70000 | #Constraints:     665612
615.43/617.42	c #Conflicts:      71000 | #Constraints:     666616
615.43/617.42	c #Conflicts:      72000 | #Constraints:     667617
615.43/617.42	c INPROCESSING
615.43/617.42	c GARBAGE COLLECT
615.43/617.42	c rational objective 176.459
620.81/622.86	c bounds 441 >= 20 @ 615.736
623.30/625.30	c bounds 438 >= 20 @ 618.154
623.30/625.32	c bounds 436 >= 20 @ 618.167
624.50/626.55	c bounds 435 >= 20 @ 619.395
624.70/626.77	c bounds 433 >= 20 @ 619.612
624.70/626.79	c bounds 432 >= 20 @ 619.632
625.30/627.34	c bounds 424 >= 20 @ 620.165
629.88/631.99	c #Conflicts:      73000 | #Constraints:     663222
629.88/631.99	c bounds 421 >= 20 @ 624.777
635.57/637.63	c bounds 419 >= 20 @ 630.385
635.57/637.66	c bounds 418 >= 20 @ 630.414
635.97/638.04	c bounds 417 >= 20 @ 630.779
636.27/638.32	c bounds 416 >= 20 @ 631.054
636.46/638.53	c bounds 414 >= 20 @ 631.257
638.86/640.94	c #Conflicts:      74000 | #Constraints:     664255
638.86/640.94	c bounds 413 >= 20 @ 633.653
638.86/640.97	c bounds 413 >= 24 @ 633.672
679.53/681.74	c #Conflicts:      75000 | #Constraints:     665262
679.53/681.74	c #Conflicts:      76000 | #Constraints:     666270
679.53/681.74	c #Conflicts:      77000 | #Constraints:     667278
679.53/681.74	c #Conflicts:      78000 | #Constraints:     668290
679.53/681.74	c INPROCESSING
679.53/681.74	c GARBAGE COLLECT
679.53/681.74	c rational objective 176.459
722.00/724.31	c #Conflicts:      79000 | #Constraints:     663629
722.00/724.31	c #Conflicts:      80000 | #Constraints:     664641
722.00/724.31	c #Conflicts:      81000 | #Constraints:     665658
722.00/724.31	c #Conflicts:      82000 | #Constraints:     666669
722.00/724.31	c #Conflicts:      83000 | #Constraints:     667692
722.00/724.31	c #Conflicts:      84000 | #Constraints:     668701
722.00/724.31	c INPROCESSING
722.00/724.31	c GARBAGE COLLECT
722.00/724.31	c rational objective 176.459
857.28/860.09	c #Conflicts:      85000 | #Constraints:     663938
857.28/860.09	c #Conflicts:      86000 | #Constraints:     665044
857.28/860.09	c #Conflicts:      87000 | #Constraints:     666130
857.28/860.09	c #Conflicts:      88000 | #Constraints:     667265
857.28/860.09	c #Conflicts:      89000 | #Constraints:     668386
857.28/860.09	c #Conflicts:      90000 | #Constraints:     669523
857.28/860.09	c INPROCESSING
857.28/860.09	c GARBAGE COLLECT
857.28/860.09	c rational objective 176.459
911.50/914.41	c #Conflicts:      91000 | #Constraints:     664144
911.50/914.41	c #Conflicts:      92000 | #Constraints:     665150
911.50/914.41	c #Conflicts:      93000 | #Constraints:     666156
911.50/914.41	c #Conflicts:      94000 | #Constraints:     667180
911.50/914.41	c #Conflicts:      95000 | #Constraints:     668190
911.50/914.41	c #Conflicts:      96000 | #Constraints:     669191
911.50/914.41	c INPROCESSING
911.50/914.41	c GARBAGE COLLECT
911.50/914.41	c rational objective 176.459
976.51/979.67	c #Conflicts:      97000 | #Constraints:     663797
976.51/979.67	c #Conflicts:      98000 | #Constraints:     664807
976.51/979.67	c #Conflicts:      99000 | #Constraints:     665819
976.51/979.67	c #Conflicts:     100000 | #Constraints:     666825
976.51/979.67	c #Conflicts:     101000 | #Constraints:     667836
976.51/979.67	c #Conflicts:     102000 | #Constraints:     668842
976.51/979.67	c #Conflicts:     103000 | #Constraints:     669856
976.51/979.67	c INPROCESSING
976.51/979.67	c GARBAGE COLLECT
976.51/979.67	c #Conflicts:     104000 | #Constraints:     664306
976.51/979.67	c #Conflicts:     105000 | #Constraints:     665309
976.51/979.67	c #Conflicts:     106000 | #Constraints:     666314
976.51/979.67	c #Conflicts:     107000 | #Constraints:     667328
976.51/979.67	c #Conflicts:     108000 | #Constraints:     668337
976.51/979.67	c #Conflicts:     109000 | #Constraints:     669348
976.51/979.67	c #Conflicts:     110000 | #Constraints:     670355
976.51/979.67	c INPROCESSING
976.51/979.67	c GARBAGE COLLECT
976.51/979.67	c rational objective 176.459
1030.04/1033.30	c #Conflicts:     111000 | #Constraints:     664672
1030.04/1033.30	c #Conflicts:     112000 | #Constraints:     665680
1030.04/1033.30	c #Conflicts:     113000 | #Constraints:     666688
1030.04/1033.30	c #Conflicts:     114000 | #Constraints:     667694
1030.04/1033.30	c #Conflicts:     115000 | #Constraints:     668708
1030.04/1033.30	c #Conflicts:     116000 | #Constraints:     669720
1030.04/1033.30	c #Conflicts:     117000 | #Constraints:     670729
1030.04/1033.30	c INPROCESSING
1030.04/1033.30	c GARBAGE COLLECT
1030.04/1033.30	c rational objective 176.459
1071.02/1074.42	c #Conflicts:     118000 | #Constraints:     664852
1071.02/1074.42	c #Conflicts:     119000 | #Constraints:     665858
1071.02/1074.42	c #Conflicts:     120000 | #Constraints:     666883
1071.02/1074.42	c #Conflicts:     121000 | #Constraints:     667913
1071.02/1074.42	c #Conflicts:     122000 | #Constraints:     668929
1071.02/1074.42	c #Conflicts:     123000 | #Constraints:     669931
1071.02/1074.42	c #Conflicts:     124000 | #Constraints:     670940
1071.02/1074.42	c INPROCESSING
1071.02/1074.42	c GARBAGE COLLECT
1071.02/1074.42	c rational objective 176.459
1109.11/1112.66	c #Conflicts:     125000 | #Constraints:     664869
1109.11/1112.66	c #Conflicts:     126000 | #Constraints:     665875
1109.11/1112.66	c #Conflicts:     127000 | #Constraints:     666887
1109.11/1112.66	c #Conflicts:     128000 | #Constraints:     667902
1109.11/1112.66	c #Conflicts:     129000 | #Constraints:     668905
1109.11/1112.66	c #Conflicts:     130000 | #Constraints:     669914
1109.11/1112.66	c #Conflicts:     131000 | #Constraints:     670930
1109.11/1112.66	c INPROCESSING
1109.11/1112.66	c GARBAGE COLLECT
1109.11/1112.66	c rational objective 176.459
1149.49/1153.18	c #Conflicts:     132000 | #Constraints:     664653
1149.49/1153.18	c #Conflicts:     133000 | #Constraints:     665669
1149.49/1153.18	c #Conflicts:     134000 | #Constraints:     666675
1149.49/1153.18	c #Conflicts:     135000 | #Constraints:     667683
1149.49/1153.18	c #Conflicts:     136000 | #Constraints:     668697
1149.49/1153.18	c #Conflicts:     137000 | #Constraints:     669716
1149.49/1153.18	c #Conflicts:     138000 | #Constraints:     670733
1149.49/1153.18	c #Conflicts:     139000 | #Constraints:     671746
1149.49/1153.18	c INPROCESSING
1149.49/1153.18	c GARBAGE COLLECT
1149.49/1153.18	c rational objective 176.459
1236.33/1240.21	c #Conflicts:     140000 | #Constraints:     665287
1236.33/1240.21	c #Conflicts:     141000 | #Constraints:     666297
1236.33/1240.21	c #Conflicts:     142000 | #Constraints:     667313
1236.33/1240.21	c #Conflicts:     143000 | #Constraints:     668332
1236.33/1240.21	c #Conflicts:     144000 | #Constraints:     669356
1236.33/1240.21	c #Conflicts:     145000 | #Constraints:     670367
1236.33/1240.21	c #Conflicts:     146000 | #Constraints:     671385
1236.33/1240.21	c #Conflicts:     147000 | #Constraints:     672401
1236.33/1240.21	c INPROCESSING
1236.33/1240.21	c GARBAGE COLLECT
1236.33/1240.21	c rational objective 176.459
1320.38/1324.50	c #Conflicts:     148000 | #Constraints:     665712
1320.38/1324.50	c #Conflicts:     149000 | #Constraints:     666716
1320.38/1324.50	c #Conflicts:     150000 | #Constraints:     667728
1320.38/1324.50	c #Conflicts:     151000 | #Constraints:     668744
1320.38/1324.50	c #Conflicts:     152000 | #Constraints:     669750
1320.38/1324.50	c #Conflicts:     153000 | #Constraints:     670764
1320.38/1324.50	c #Conflicts:     154000 | #Constraints:     671776
1320.38/1324.50	c #Conflicts:     155000 | #Constraints:     672785
1320.38/1324.50	c INPROCESSING
1320.38/1324.50	c GARBAGE COLLECT
1320.38/1324.50	c #Conflicts:     156000 | #Constraints:     665891
1320.38/1324.50	c #Conflicts:     157000 | #Constraints:     666895
1320.38/1324.50	c #Conflicts:     158000 | #Constraints:     667908
1320.38/1324.50	c #Conflicts:     159000 | #Constraints:     668926
1320.38/1324.50	c #Conflicts:     160000 | #Constraints:     669938
1320.38/1324.50	c #Conflicts:     161000 | #Constraints:     670946
1320.38/1324.50	c #Conflicts:     162000 | #Constraints:     671956
1320.38/1324.50	c #Conflicts:     163000 | #Constraints:     672973
1320.38/1324.50	c INPROCESSING
1320.38/1324.50	c GARBAGE COLLECT
1320.38/1324.50	c rational objective 176.915
1404.93/1409.37	c #Conflicts:     164000 | #Constraints:     665893
1404.93/1409.37	c #Conflicts:     165000 | #Constraints:     666907
1404.93/1409.37	c #Conflicts:     166000 | #Constraints:     667919
1404.93/1409.37	c #Conflicts:     167000 | #Constraints:     668928
1404.93/1409.37	c #Conflicts:     168000 | #Constraints:     669939
1404.93/1409.37	c #Conflicts:     169000 | #Constraints:     670947
1404.93/1409.37	c #Conflicts:     170000 | #Constraints:     671961
1404.93/1409.37	c #Conflicts:     171000 | #Constraints:     672971
1404.93/1409.37	c INPROCESSING
1404.93/1409.37	c GARBAGE COLLECT
1404.93/1409.37	c #Conflicts:     172000 | #Constraints:     665672
1404.93/1409.37	c #Conflicts:     173000 | #Constraints:     666674
1404.93/1409.37	c #Conflicts:     174000 | #Constraints:     667686
1404.93/1409.37	c #Conflicts:     175000 | #Constraints:     668702
1404.93/1409.37	c #Conflicts:     176000 | #Constraints:     669708
1404.93/1409.37	c #Conflicts:     177000 | #Constraints:     670723
1404.93/1409.37	c #Conflicts:     178000 | #Constraints:     671736
1404.93/1409.37	c #Conflicts:     179000 | #Constraints:     672736
1404.93/1409.37	c #Conflicts:     180000 | #Constraints:     673739
1404.93/1409.37	c INPROCESSING
1404.93/1409.37	c GARBAGE COLLECT
1404.93/1409.37	c rational objective 176.918
1460.86/1465.43	c #Conflicts:     181000 | #Constraints:     666268
1460.86/1465.43	c #Conflicts:     182000 | #Constraints:     667282
1460.86/1465.43	c #Conflicts:     183000 | #Constraints:     668302
1460.86/1465.43	c #Conflicts:     184000 | #Constraints:     669322
1460.86/1465.43	c #Conflicts:     185000 | #Constraints:     670335
1460.86/1465.43	c #Conflicts:     186000 | #Constraints:     671344
1460.86/1465.43	c #Conflicts:     187000 | #Constraints:     672355
1460.86/1465.43	c #Conflicts:     188000 | #Constraints:     673368
1460.86/1465.43	c #Conflicts:     189000 | #Constraints:     674380
1460.86/1465.43	c INPROCESSING
1460.86/1465.43	c GARBAGE COLLECT
1460.86/1465.43	c rational objective 177.124
1918.89/1924.81	c #Conflicts:     190000 | #Constraints:     666711
1918.89/1924.81	c #Conflicts:     191000 | #Constraints:     667718
1918.89/1924.81	c #Conflicts:     192000 | #Constraints:     668721
1918.89/1924.81	c #Conflicts:     193000 | #Constraints:     669729
1918.89/1924.81	c #Conflicts:     194000 | #Constraints:     670743
1918.89/1924.81	c #Conflicts:     195000 | #Constraints:     671751
1918.89/1924.81	c #Conflicts:     196000 | #Constraints:     672768
1918.89/1924.81	c #Conflicts:     197000 | #Constraints:     673787
1918.89/1924.81	c #Conflicts:     198000 | #Constraints:     674800
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     199000 | #Constraints:     666900
1918.89/1924.81	c #Conflicts:     200000 | #Constraints:     667907
1918.89/1924.81	c #Conflicts:     201000 | #Constraints:     668915
1918.89/1924.81	c #Conflicts:     202000 | #Constraints:     669929
1918.89/1924.81	c #Conflicts:     203000 | #Constraints:     670939
1918.89/1924.81	c #Conflicts:     204000 | #Constraints:     671953
1918.89/1924.81	c #Conflicts:     205000 | #Constraints:     672968
1918.89/1924.81	c #Conflicts:     206000 | #Constraints:     673979
1918.89/1924.81	c #Conflicts:     207000 | #Constraints:     674988
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     208000 | #Constraints:     666910
1918.89/1924.81	c #Conflicts:     209000 | #Constraints:     667915
1918.89/1924.81	c #Conflicts:     210000 | #Constraints:     668926
1918.89/1924.81	c #Conflicts:     211000 | #Constraints:     669940
1918.89/1924.81	c #Conflicts:     212000 | #Constraints:     670955
1918.89/1924.81	c #Conflicts:     213000 | #Constraints:     671966
1918.89/1924.81	c #Conflicts:     214000 | #Constraints:     672967
1918.89/1924.81	c #Conflicts:     215000 | #Constraints:     673973
1918.89/1924.81	c #Conflicts:     216000 | #Constraints:     674979
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     217000 | #Constraints:     666696
1918.89/1924.81	c #Conflicts:     218000 | #Constraints:     667696
1918.89/1924.81	c #Conflicts:     219000 | #Constraints:     668697
1918.89/1924.81	c #Conflicts:     220000 | #Constraints:     669710
1918.89/1924.81	c #Conflicts:     221000 | #Constraints:     670716
1918.89/1924.81	c #Conflicts:     222000 | #Constraints:     671726
1918.89/1924.81	c #Conflicts:     223000 | #Constraints:     672735
1918.89/1924.81	c #Conflicts:     224000 | #Constraints:     673749
1918.89/1924.81	c #Conflicts:     225000 | #Constraints:     674770
1918.89/1924.81	c #Conflicts:     226000 | #Constraints:     675781
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     227000 | #Constraints:     667300
1918.89/1924.81	c #Conflicts:     228000 | #Constraints:     668310
1918.89/1924.81	c #Conflicts:     229000 | #Constraints:     669316
1918.89/1924.81	c #Conflicts:     230000 | #Constraints:     670325
1918.89/1924.81	c #Conflicts:     231000 | #Constraints:     671334
1918.89/1924.81	c #Conflicts:     232000 | #Constraints:     672343
1918.89/1924.81	c #Conflicts:     233000 | #Constraints:     673352
1918.89/1924.81	c #Conflicts:     234000 | #Constraints:     674362
1918.89/1924.81	c #Conflicts:     235000 | #Constraints:     675370
1918.89/1924.81	c #Conflicts:     236000 | #Constraints:     676377
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     237000 | #Constraints:     667690
1918.89/1924.81	c #Conflicts:     238000 | #Constraints:     668700
1918.89/1924.81	c #Conflicts:     239000 | #Constraints:     669710
1918.89/1924.81	c #Conflicts:     240000 | #Constraints:     670721
1918.89/1924.81	c #Conflicts:     241000 | #Constraints:     671728
1918.89/1924.81	c #Conflicts:     242000 | #Constraints:     672744
1918.89/1924.81	c #Conflicts:     243000 | #Constraints:     673751
1918.89/1924.81	c #Conflicts:     244000 | #Constraints:     674758
1918.89/1924.81	c #Conflicts:     245000 | #Constraints:     675764
1918.89/1924.81	c #Conflicts:     246000 | #Constraints:     676772
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     247000 | #Constraints:     667894
1918.89/1924.81	c #Conflicts:     248000 | #Constraints:     668896
1918.89/1924.81	c #Conflicts:     249000 | #Constraints:     669912
1918.89/1924.81	c #Conflicts:     250000 | #Constraints:     670928
1918.89/1924.81	c #Conflicts:     251000 | #Constraints:     671933
1918.89/1924.81	c #Conflicts:     252000 | #Constraints:     672936
1918.89/1924.81	c #Conflicts:     253000 | #Constraints:     673939
1918.89/1924.81	c #Conflicts:     254000 | #Constraints:     674944
1918.89/1924.81	c #Conflicts:     255000 | #Constraints:     675949
1918.89/1924.81	c #Conflicts:     256000 | #Constraints:     676951
1918.89/1924.81	c INPROCESSING
1918.89/1924.81	c GARBAGE COLLECT
1918.89/1924.81	c #Conflicts:     257000 | #Constraints:     667876
1918.89/1924.81	c #Conflicts:     258000 | #Constraints:     668881
1918.89/1924.81	c #Conflicts:     259000 | #Constraints:     669883
1918.89/1924.81	c #Conflicts:     260000 | #Constraints:     670887
1918.89/1924.81	c #Conflicts:     261000 | #Constraints:     671895
1918.89/1924.81	c #Conflicts:     262000 | #Constraints:     672904
1918.89/1924.81	c #Conflicts:     263000 | #Constraints:     673909
1918.89/1924.81	c #Conflicts:     264000 | #Constraints:     674922
1971.32/1977.41	c #Conflicts:     265000 | #Constraints:     675932
1971.32/1977.41	c #Conflicts:     266000 | #Constraints:     676951
1971.32/1977.41	c INPROCESSING
1971.32/1977.41	c GARBAGE COLLECT
1971.32/1977.41	c rational objective 208.851
1977.60/1983.77	c bounds 408 >= 24 @ 1966.83
1978.60/1984.73	c bounds 407 >= 24 @ 1967.79
1978.60/1984.76	c bounds 406 >= 24 @ 1967.81
1980.59/1986.70	c bounds 404 >= 24 @ 1969.74
1980.59/1986.71	c bounds 404 >= 27 @ 1969.75
2022.17/2028.40	c #Conflicts:     267000 | #Constraints:     667693
2022.17/2028.40	c #Conflicts:     268000 | #Constraints:     668693
2022.17/2028.40	c #Conflicts:     269000 | #Constraints:     669693
2022.17/2028.40	c #Conflicts:     270000 | #Constraints:     670693
2022.17/2028.40	c #Conflicts:     271000 | #Constraints:     671693
2022.17/2028.40	c #Conflicts:     272000 | #Constraints:     672693
2022.17/2028.40	c #Conflicts:     273000 | #Constraints:     673693
2022.17/2028.40	c #Conflicts:     274000 | #Constraints:     674693
2022.17/2028.40	c #Conflicts:     275000 | #Constraints:     675693
2022.17/2028.40	c #Conflicts:     276000 | #Constraints:     676693
2022.17/2028.40	c #Conflicts:     277000 | #Constraints:     677693
2022.17/2028.40	c INPROCESSING
2022.17/2028.40	c GARBAGE COLLECT
2022.17/2028.40	c rational objective 176.018
2026.56/2032.87	c bounds 402 >= 27 @ 2015.59
2027.26/2033.59	c bounds 400 >= 27 @ 2016.31
2035.13/2041.43	c #Conflicts:     278000 | #Constraints:     668251
2035.13/2041.43	c bounds 397 >= 27 @ 2024.09
2035.13/2041.45	c bounds 397 >= 29 @ 2024.11
2035.13/2041.47	c bounds 397 >= 31 @ 2024.12
2035.13/2041.48	c bounds 397 >= 33 @ 2024.12
2035.23/2041.50	c bounds 397 >= 35 @ 2024.13
2035.23/2041.55	c bounds 397 >= 37 @ 2024.18
2036.63/2042.95	c bounds 397 >= 39 @ 2025.56
2091.26/2097.77	c #Conflicts:     279000 | #Constraints:     669307
2091.26/2097.77	c #Conflicts:     280000 | #Constraints:     670307
2091.26/2097.77	c #Conflicts:     281000 | #Constraints:     671307
2091.26/2097.77	c #Conflicts:     282000 | #Constraints:     672307
2091.26/2097.77	c #Conflicts:     283000 | #Constraints:     673307
2091.26/2097.77	c #Conflicts:     284000 | #Constraints:     674307
2091.26/2097.77	c #Conflicts:     285000 | #Constraints:     675307
2091.26/2097.77	c #Conflicts:     286000 | #Constraints:     676307
2091.26/2097.77	c #Conflicts:     287000 | #Constraints:     677307
2091.26/2097.77	c bounds 397 >= 41 @ 2079.87
2091.96/2098.49	c bounds 396 >= 41 @ 2080.59
2092.16/2098.60	c bounds 395 >= 41 @ 2080.69
2108.11/2114.61	c #Conflicts:     288000 | #Constraints:     678337
2108.11/2114.61	c INPROCESSING
2108.11/2114.61	c GARBAGE COLLECT
2108.11/2114.61	c rational objective 176.746
2115.89/2122.44	c bounds 394 >= 41 @ 2104.39
2116.49/2123.08	c bounds 393 >= 41 @ 2105.02
2116.59/2123.11	c bounds 391 >= 41 @ 2105.05
2116.98/2123.52	c bounds 387 >= 41 @ 2105.45
2118.49/2125.04	c bounds 386 >= 41 @ 2106.95
2118.97/2125.55	c bounds 385 >= 41 @ 2107.45
2121.87/2128.49	c bounds 384 >= 41 @ 2110.35
2193.65/2200.40	c #Conflicts:     289000 | #Constraints:     668679
2193.65/2200.40	c #Conflicts:     290000 | #Constraints:     669679
2193.65/2200.40	c #Conflicts:     291000 | #Constraints:     670679
2193.65/2200.40	c #Conflicts:     292000 | #Constraints:     671679
2193.65/2200.40	c #Conflicts:     293000 | #Constraints:     672680
2193.65/2200.40	c #Conflicts:     294000 | #Constraints:     673680
2193.65/2200.40	c #Conflicts:     295000 | #Constraints:     674680
2193.65/2200.40	c #Conflicts:     296000 | #Constraints:     675680
2193.65/2200.40	c #Conflicts:     297000 | #Constraints:     676680
2193.65/2200.40	c #Conflicts:     298000 | #Constraints:     677680
2193.65/2200.40	c #Conflicts:     299000 | #Constraints:     678680
2193.65/2200.40	c INPROCESSING
2193.65/2200.40	c GARBAGE COLLECT
2193.65/2200.40	c rational objective 176.781
2209.50/2216.31	c #Conflicts:     300000 | #Constraints:     668862
2209.50/2216.31	c bounds 379 >= 41 @ 2197.54
2267.92/2274.93	c #Conflicts:     301000 | #Constraints:     669873
2267.92/2274.93	c #Conflicts:     302000 | #Constraints:     670880
2267.92/2274.93	c #Conflicts:     303000 | #Constraints:     671895
2267.92/2274.93	c #Conflicts:     304000 | #Constraints:     672903
2267.92/2274.93	c bounds 374 >= 41 @ 2255.47
2267.92/2274.95	c bounds 374 >= 42 @ 2255.49
2267.92/2274.98	c bounds 374 >= 43 @ 2255.51
2268.02/2275.00	c bounds 374 >= 44 @ 2255.53
2268.02/2275.03	c bounds 374 >= 45 @ 2255.55
2268.02/2275.05	c bounds 374 >= 46 @ 2255.56
2268.02/2275.08	c bounds 374 >= 47 @ 2255.58
2268.12/2275.11	c bounds 374 >= 48 @ 2255.61
2268.12/2275.15	c bounds 374 >= 49 @ 2255.64
2268.12/2275.18	c bounds 374 >= 50 @ 2255.67
2268.21/2275.23	c bounds 374 >= 51 @ 2255.71
2274.40/2281.41	c bounds 374 >= 52 @ 2261.85
2274.40/2281.48	c bounds 374 >= 53 @ 2261.9
2274.49/2281.55	c bounds 374 >= 54 @ 2261.97
2274.59/2281.67	c bounds 374 >= 55 @ 2262.08
2274.79/2281.85	c bounds 374 >= 56 @ 2262.24
2275.10/2282.15	c bounds 374 >= 57 @ 2262.54
2275.59/2282.60	c bounds 374 >= 58 @ 2262.97
2276.39/2283.44	c bounds 374 >= 59 @ 2263.79
2277.19/2284.28	c #Conflicts:     305000 | #Constraints:     674111
2277.19/2284.28	c bounds 374 >= 60 @ 2264.62
2278.78/2285.84	c bounds 374 >= 61 @ 2266.16
2280.77/2287.87	c #Conflicts:     306000 | #Constraints:     675171
2280.77/2287.87	c bounds 374 >= 62 @ 2268.15
2284.77/2291.87	c #Conflicts:     307000 | #Constraints:     676201
2284.77/2291.87	c bounds 374 >= 63 @ 2272.09
2288.75/2295.89	c #Conflicts:     308000 | #Constraints:     677225
2288.75/2295.89	c bounds 374 >= 64 @ 2276.04
2297.63/2304.72	c #Conflicts:     309000 | #Constraints:     678252
2297.63/2304.72	c #Conflicts:     310000 | #Constraints:     679252
2297.63/2304.72	c INPROCESSING
2297.63/2304.72	c GARBAGE COLLECT
2297.63/2304.72	c rational objective 176.781
2304.22/2311.30	c bounds 374 >= 65 @ 2291.37
2309.29/2316.49	c #Conflicts:     311000 | #Constraints:     669161
2309.29/2316.49	c bounds 374 >= 66 @ 2296.52
2317.67/2324.80	c #Conflicts:     312000 | #Constraints:     670197
2317.67/2324.80	c #Conflicts:     313000 | #Constraints:     671197
2317.67/2324.80	c bounds 374 >= 67 @ 2304.78
2326.75/2333.90	c #Conflicts:     314000 | #Constraints:     672230
2326.75/2333.90	c #Conflicts:     315000 | #Constraints:     673230
2326.75/2333.90	c bounds 374 >= 68 @ 2313.82
2339.92/2347.11	c #Conflicts:     316000 | #Constraints:     674258
2339.92/2347.11	c #Conflicts:     317000 | #Constraints:     675258
2339.92/2347.11	c #Conflicts:     318000 | #Constraints:     676258
2339.92/2347.11	c bounds 374 >= 69 @ 2326.95
2355.66/2362.90	c #Conflicts:     319000 | #Constraints:     677288
2355.66/2362.90	c #Conflicts:     320000 | #Constraints:     678288
2355.66/2362.90	c bounds 374 >= 70 @ 2342.66
2433.03/2440.51	c #Conflicts:     321000 | #Constraints:     679327
2433.03/2440.51	c INPROCESSING
2433.03/2440.51	c GARBAGE COLLECT
2433.03/2440.51	c rational objective 176.781
2450.08/2457.62	c #Conflicts:     322000 | #Constraints:     669006
2450.08/2457.62	c #Conflicts:     323000 | #Constraints:     670006
2450.08/2457.62	c #Conflicts:     324000 | #Constraints:     671006
2450.08/2457.62	c bounds 374 >= 71 @ 2436.97
2468.33/2475.94	c #Conflicts:     325000 | #Constraints:     672057
2468.33/2475.94	c #Conflicts:     326000 | #Constraints:     673057
2468.33/2475.94	c bounds 374 >= 72 @ 2455.2
2475.11/2482.77	c #Conflicts:     327000 | #Constraints:     674099
2475.11/2482.77	c #Conflicts:     328000 | #Constraints:     675099
2475.11/2482.77	c bounds 374 >= 73 @ 2461.99
2488.27/2495.93	c #Conflicts:     329000 | #Constraints:     676127
2488.27/2495.93	c #Conflicts:     330000 | #Constraints:     677127
2488.27/2495.93	c #Conflicts:     331000 | #Constraints:     678127
2488.27/2495.93	c bounds 374 >= 74 @ 2475.04
2502.13/2509.88	c #Conflicts:     332000 | #Constraints:     679154
2502.13/2509.88	c #Conflicts:     333000 | #Constraints:     680154
2502.13/2509.88	c INPROCESSING
2502.13/2509.88	c GARBAGE COLLECT
2502.13/2509.88	c rational objective 176.781
2509.91/2517.62	c bounds 374 >= 75 @ 2496.59
2533.64/2541.42	c #Conflicts:     334000 | #Constraints:     669720
2533.64/2541.42	c #Conflicts:     335000 | #Constraints:     670721
2533.64/2541.42	c #Conflicts:     336000 | #Constraints:     671721
2533.64/2541.42	c bounds 374 >= 76 @ 2520.21
2553.09/2560.99	c #Conflicts:     337000 | #Constraints:     672763
2553.09/2560.99	c #Conflicts:     338000 | #Constraints:     673763
2553.09/2560.99	c #Conflicts:     339000 | #Constraints:     674764
2553.09/2560.99	c #Conflicts:     340000 | #Constraints:     675764
2553.09/2560.99	c #Conflicts:     341000 | #Constraints:     676764
2553.09/2560.99	c bounds 374 >= 77 @ 2539.54
2633.16/2641.29	c #Conflicts:     342000 | #Constraints:     677803
2633.16/2641.29	c #Conflicts:     343000 | #Constraints:     678803
2633.16/2641.29	c #Conflicts:     344000 | #Constraints:     679803
2633.16/2641.29	c #Conflicts:     345000 | #Constraints:     680803
2633.16/2641.29	c INPROCESSING
2633.16/2641.29	c GARBAGE COLLECT
2633.16/2641.29	c rational objective 176.781
2664.67/2672.80	c #Conflicts:     346000 | #Constraints:     670117
2664.67/2672.80	c #Conflicts:     347000 | #Constraints:     671117
2664.67/2672.80	c #Conflicts:     348000 | #Constraints:     672117
2664.67/2672.80	c #Conflicts:     349000 | #Constraints:     673117
2664.67/2672.80	c #Conflicts:     350000 | #Constraints:     674117
2664.67/2672.80	c bounds 374 >= 78 @ 2650.63
2689.99/2698.28	c #Conflicts:     351000 | #Constraints:     675144
2689.99/2698.28	c #Conflicts:     352000 | #Constraints:     676144
2689.99/2698.28	c #Conflicts:     353000 | #Constraints:     677144
2689.99/2698.28	c #Conflicts:     354000 | #Constraints:     678146
2689.99/2698.28	c bounds 374 >= 79 @ 2675.89
2707.65/2716.00	c #Conflicts:     355000 | #Constraints:     679188
2707.65/2716.00	c #Conflicts:     356000 | #Constraints:     680188
2707.65/2716.00	c #Conflicts:     357000 | #Constraints:     681188
2707.65/2716.00	c INPROCESSING
2707.65/2716.00	c GARBAGE COLLECT
2707.65/2716.00	c rational objective 176.781
2748.33/2756.77	c #Conflicts:     358000 | #Constraints:     670331
2748.33/2756.77	c #Conflicts:     359000 | #Constraints:     671332
2748.33/2756.77	c #Conflicts:     360000 | #Constraints:     672332
2748.33/2756.77	c #Conflicts:     361000 | #Constraints:     673332
2748.33/2756.77	c #Conflicts:     362000 | #Constraints:     674334
2748.33/2756.77	c #Conflicts:     363000 | #Constraints:     675334
2748.33/2756.77	c bounds 374 >= 80 @ 2733.87
2886.44/2895.29	c #Conflicts:     364000 | #Constraints:     676383
2886.44/2895.29	c #Conflicts:     365000 | #Constraints:     677383
2886.44/2895.29	c #Conflicts:     366000 | #Constraints:     678383
2886.44/2895.29	c #Conflicts:     367000 | #Constraints:     679383
2886.44/2895.29	c #Conflicts:     368000 | #Constraints:     680383
2886.44/2895.29	c #Conflicts:     369000 | #Constraints:     681383
2886.44/2895.29	c INPROCESSING
2886.44/2895.29	c GARBAGE COLLECT
2886.44/2895.29	c rational objective 176.781
2895.41/2904.28	c bounds 374 >= 81 @ 2880.67
2956.43/2965.43	c #Conflicts:     370000 | #Constraints:     670385
2956.43/2965.43	c #Conflicts:     371000 | #Constraints:     671386
2956.43/2965.43	c #Conflicts:     372000 | #Constraints:     672386
2956.43/2965.43	c #Conflicts:     373000 | #Constraints:     673386
2956.43/2965.43	c #Conflicts:     374000 | #Constraints:     674386
2956.43/2965.43	c #Conflicts:     375000 | #Constraints:     675386
2956.43/2965.43	c #Conflicts:     376000 | #Constraints:     676388
2956.43/2965.43	c #Conflicts:     377000 | #Constraints:     677388
2956.43/2965.43	c #Conflicts:     378000 | #Constraints:     678388
2956.43/2965.43	c bounds 374 >= 82 @ 2941.45
2984.56/2993.66	c #Conflicts:     379000 | #Constraints:     679433
2984.56/2993.66	c #Conflicts:     380000 | #Constraints:     680433
2984.56/2993.66	c #Conflicts:     381000 | #Constraints:     681434
2984.56/2993.66	c INPROCESSING
2984.56/2993.66	c GARBAGE COLLECT
2984.56/2993.66	c rational objective 176.781
3073.70/3083.07	c #Conflicts:     382000 | #Constraints:     670184
3073.70/3083.07	c #Conflicts:     383000 | #Constraints:     671184
3073.70/3083.07	c #Conflicts:     384000 | #Constraints:     672184
3073.70/3083.07	c #Conflicts:     385000 | #Constraints:     673184
3073.70/3083.07	c #Conflicts:     386000 | #Constraints:     674184
3073.70/3083.07	c #Conflicts:     387000 | #Constraints:     675184
3073.70/3083.07	c #Conflicts:     388000 | #Constraints:     676185
3073.70/3083.07	c #Conflicts:     389000 | #Constraints:     677185
3073.70/3083.07	c #Conflicts:     390000 | #Constraints:     678185
3073.70/3083.07	c #Conflicts:     391000 | #Constraints:     679185
3073.70/3083.07	c #Conflicts:     392000 | #Constraints:     680185
3073.70/3083.07	c #Conflicts:     393000 | #Constraints:     681186
3073.70/3083.07	c bounds 374 >= 83 @ 3058.12
3184.68/3194.39	c #Conflicts:     394000 | #Constraints:     682240
3184.68/3194.39	c INPROCESSING
3184.68/3194.39	c GARBAGE COLLECT
3184.68/3194.39	c rational objective 176.786
3600.07/3610.92	c #Conflicts:     395000 | #Constraints:     670812
3600.07/3610.92	c #Conflicts:     396000 | #Constraints:     671812
3600.07/3610.92	c #Conflicts:     397000 | #Constraints:     672812
3600.07/3610.92	c #Conflicts:     398000 | #Constraints:     673812
3600.07/3610.92	c #Conflicts:     399000 | #Constraints:     674812
3600.07/3610.92	c #Conflicts:     400000 | #Constraints:     675812
3600.07/3610.92	c #Conflicts:     401000 | #Constraints:     676812
3600.07/3610.92	c #Conflicts:     402000 | #Constraints:     677812
3600.07/3610.92	c #Conflicts:     403000 | #Constraints:     678812
3600.07/3610.92	c #Conflicts:     404000 | #Constraints:     679813
3600.07/3610.92	c #Conflicts:     405000 | #Constraints:     680813
3600.07/3610.92	c #Conflicts:     406000 | #Constraints:     681813
3600.07/3610.92	c #Conflicts:     407000 | #Constraints:     682813
3600.07/3610.92	c INPROCESSING
3600.07/3610.92	c GARBAGE COLLECT
3600.07/3610.92	c #Conflicts:     408000 | #Constraints:     671198
3600.07/3610.92	c #Conflicts:     409000 | #Constraints:     672198
3600.07/3610.92	c #Conflicts:     410000 | #Constraints:     673199
3600.07/3610.92	c #Conflicts:     411000 | #Constraints:     674199
3600.07/3610.92	c #Conflicts:     412000 | #Constraints:     675199
3600.07/3610.92	c #Conflicts:     413000 | #Constraints:     676199
3600.07/3610.92	c #Conflicts:     414000 | #Constraints:     677199
3600.07/3610.92	c #Conflicts:     415000 | #Constraints:     678201
3600.07/3610.92	c #Conflicts:     416000 | #Constraints:     679201
3600.07/3610.92	c #Conflicts:     417000 | #Constraints:     680202
3600.07/3610.92	c #Conflicts:     418000 | #Constraints:     681202
3600.07/3610.92	c #Conflicts:     419000 | #Constraints:     682202
3600.07/3610.92	c #Conflicts:     420000 | #Constraints:     683202
3600.07/3610.92	c INPROCESSING
3600.07/3610.92	c GARBAGE COLLECT
3600.07/3610.92	c #Conflicts:     421000 | #Constraints:     671373
3600.07/3610.92	c #Conflicts:     422000 | #Constraints:     672377
3600.07/3610.92	c #Conflicts:     423000 | #Constraints:     673393
3600.07/3610.92	c #Conflicts:     424000 | #Constraints:     674579
3600.07/3610.92	c #Conflicts:     425000 | #Constraints:     675715
3600.07/3610.92	c #Conflicts:     426000 | #Constraints:     676867
3600.07/3610.92	c Disabling crashed LP
3600.07/3610.92	c cpu time 3583.16 s
3600.07/3610.92	c deterministic time 109498123010 1.09e+11
3600.07/3610.92	c optimization time 61.5691 s
3600.07/3610.92	c total solve time 3519.7 s
3600.07/3610.92	c core-guided solve time 3185.2 s
3600.07/3610.92	c propagation time 1531.27 s
3600.07/3610.92	c conflict analysis time 658.441 s
3600.07/3610.92	c propagations 91978296
3600.07/3610.92	c resolve steps 9129503
3600.07/3610.92	c decisions 12980919
3600.07/3610.92	c conflicts 426248
3600.07/3610.92	c restarts 1020
3600.07/3610.92	c inprocessing phases 56
3600.07/3610.92	c garbage collections 56 ,( 100.00 )
3600.07/3610.92	c input clauses 657237 ,( 99.85 )
3600.07/3610.92	c input cardinalities 393 ,( 0.06 )
3600.07/3610.92	c input general constraints 585 ,( 0.09 )
3600.07/3610.92	c input average constraint length 6.41
3600.07/3610.92	c input average constraint degree 105.64
3600.07/3610.92	c learned clauses 361824 ,( 84.17 )
3600.07/3610.92	c learned cardinalities 11 ,( 0.00 )
3600.07/3610.92	c learned general constraints 68022 ,( 15.82 )
3600.07/3610.92	c learned average constraint length 2300.71
3600.07/3610.92	c learned average constraint degree 19538783026.96
3600.07/3610.92	c watched  CF 32, 64, 128, Arb: 7372 , 0 , 0 , 0
3600.07/3610.92	c counting CF 32, 64, 128, Arb: 61236 , 0 , 0 , 0
3600.07/3610.92	c watched   constraints 7372 ,( 10.75 ) 
3600.07/3610.92	c counting  constraints 61235 ,( 89.25 ) 
3600.07/3610.92	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 160122793 , 2746090 , 2243649068 ,( 102226862 , 2141422206 )
3600.07/3610.92	c gcd simplifications 7061
3600.07/3610.92	c detected cardinalities 1
3600.07/3610.92	c weakened non-implied lits 786013537
3600.07/3610.92	c weakened non-implying lits 139003
3600.07/3610.92	c original variables 10000
3600.07/3610.92	c clausal propagations 36331730
3600.07/3610.92	c cardinality propagations 278249
3600.07/3610.92	c watched propagations 127588
3600.07/3610.92	c counting propagations 53160841
3600.07/3610.92	c watch lookups 14505298669
3600.07/3610.92	c watch backjump lookups 0
3600.07/3610.92	c watch checks 11727681667
3600.07/3610.92	c propagation checks 77989816292
3600.07/3610.92	c constraint additions 5064316321
3600.07/3610.92	c trail pops 105375147
3600.07/3610.92	c formula constraints 656900
3600.07/3610.92	c learned constraints 426033
3600.07/3610.92	c bound constraints 194
3600.07/3610.92	c core-guided constraints 1121
3600.07/3610.92	c encountered formula constraints 5969114
3600.07/3610.92	c encountered learned constraints 2688757
3600.07/3610.92	c encountered bound constraints 4239
3600.07/3610.92	c encountered core-guided constraints 868540
3600.07/3610.92	c LP total time 2299.12 s
3600.07/3610.92	c LP solve time 2032.29 s
3600.07/3610.92	c LP constraints added 656951
3600.07/3610.92	c LP constraints removed 31
3600.07/3610.92	c LP pivots internal 426244
3600.07/3610.92	c LP pivots root 249454
3600.07/3610.92	c LP calls 3827
3600.07/3610.92	c LP optimalities 185
3600.07/3610.92	c LP no pivot count 3
3600.07/3610.92	c LP infeasibilities 3590
3600.07/3610.92	c LP valid Farkas constraints 3588
3600.07/3610.92	c LP learned Farkas constraints 220
3600.07/3610.92	c LP basis resets 49
3600.07/3610.92	c LP cycling count 24
3600.07/3610.92	c LP singular count 12
3600.07/3610.92	c LP no primal count 0
3600.07/3610.92	c LP no farkas count 2
3600.07/3610.92	c LP other issue count 11
3600.07/3610.92	c LP Gomory cuts 16
3600.07/3610.92	c LP learned cuts 35
3600.07/3610.92	c LP deleted cuts 31
3600.07/3610.92	c LP encountered Gomory constraints 0
3600.07/3610.92	c LP encountered Farkas constraints 24659
3600.07/3610.92	c LP encountered learned Farkas constraints 222
3600.07/3610.92	c CG auxiliary variables introduced 392
3600.07/3610.92	c CG solutions found 139
3600.07/3610.92	c CG cores constructed 55
3600.07/3610.92	c CG core cardinality constraints returned 0
3600.07/3610.92	c CG unit cores 0
3600.07/3610.92	c CG single cores 54
3600.07/3610.92	c CG blocks removed during cardinality reduction 0
3600.07/3610.92	c CG first core best 0
3600.07/3610.92	c CG decision core best 0
3600.07/3610.92	c CG core reduction tie 1
3600.07/3610.92	c CG core degree average 1.00
3600.07/3610.92	c CG core slack average 1045.73
3600.07/3610.92	c CG core upper bound improvements 6
3600.07/3610.92	c STR number of successful calls 0
3600.07/3610.92	c STR number of unsuccessful calls 0
3600.07/3610.92	c STR number of inconclusive calls 0
3600.07/3610.92	c STR number of successful attempts 0
3600.07/3610.92	c STR number of unsuccessful attempts 0
3600.07/3610.92	c STR number of inconclusive attempts 0
3600.07/3610.92	c STR average degree increase per successful call inf
3600.07/3610.92	c STR average degree increase per successful attempt inf
3600.07/3610.92	c STR total number of conflicts for successful attempts 0
3600.07/3610.92	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.92	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.92	c STR average number of conflicts per successful attempt inf
3600.07/3610.92	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.92	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.92	c AVG.sumWPerc 85.75 
3600.07/3610.92	c bigint constraints 0 
3600.07/3610.92	o 374
3600.07/3610.92	s SATISFIABLE
3600.07/3610.92	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.07/3610.92	c Program interrupted by user.

Verifier Data 

OK	374

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 (61772 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-4489832-1751368684/watcher-4489832-1751368684 -o /tmp/evaluation-result-4489832-1751368684/solver-4489832-1751368684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60712 --watchdog 3760 run-opt-break.sh HOME/instance-4489832-1751368684.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100064 s]*
/proc/loadavg: 2.13 2.95 3.41 5/268 60773
/proc/meminfo: memFree=128133792/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60772] ppid=60766 vsize=163140 memory=146192 CPUtime=0.07 cores=1,3
/proc/60772/stat : 60772 (pbsuma) R 60766 60766 60700 0 -1 4194304 3842 0 0 0 4 3 0 0 20 0 1 0 52545982 167055360 36548 18446744073709551615 4210688 4653049 140721751294592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9682944 140721751296355 140721751296562 140721751296562 140721751302127 0
/proc/60772/statm: 40785 36548 992 108 0 38193 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167332 KiB
Current children cumulated memory: 149264 KiB

[startup+0.205745 s]*
/proc/loadavg: 2.13 2.95 3.41 5/268 60773
/proc/meminfo: memFree=128078664/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60772] ppid=60766 vsize=180524 memory=165812 CPUtime=0.18 cores=1,3
/proc/60772/stat : 60772 (pbsuma) R 60766 60766 60700 0 -1 4194304 8926 0 0 0 14 4 0 0 20 0 1 0 52545982 184856576 41453 18446744073709551615 4210688 4653049 140721751294592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9682944 140721751296355 140721751296562 140721751296562 140721751302127 0
/proc/60772/statm: 45131 41453 992 108 0 42539 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184716 KiB
Current children cumulated memory: 168884 KiB

[startup+0.305741 s]*
/proc/loadavg: 2.13 2.95 3.41 5/268 60773
/proc/meminfo: memFree=128006524/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60772] ppid=60766 vsize=194256 memory=183008 CPUtime=0.27 cores=1,3
/proc/60772/stat : 60772 (pbsuma) R 60766 60766 60700 0 -1 4194304 12715 0 0 0 23 4 0 0 20 0 1 0 52545982 198918144 45752 18446744073709551615 4210688 4653049 140721751294592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9682944 140721751296355 140721751296562 140721751296562 140721751302127 0
/proc/60772/statm: 48564 45752 992 108 0 45972 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198448 KiB
Current children cumulated memory: 186080 KiB

[startup+0.700208 s]
/proc/loadavg: 2.28 2.97 3.41 5/268 60773
/proc/meminfo: memFree=127691924/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60772] ppid=60766 vsize=320836 memory=274660 CPUtime=0.66 cores=1,3
/proc/60772/stat : 60772 (pbsuma) R 60766 60766 60700 0 -1 4194304 23435 0 0 0 59 7 0 0 20 0 1 0 52545982 328536064 68665 18446744073709551615 4210688 4653049 140721751294592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9682944 140721751296355 140721751296562 140721751296562 140721751302127 0
/proc/60772/statm: 80209 68665 992 108 0 77617 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 325028 KiB
Current children cumulated memory: 277732 KiB

[startup+1.50017 s]
/proc/loadavg: 2.28 2.97 3.41 5/268 60777
/proc/meminfo: memFree=128147752/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=78692 memory=33012 CPUtime=0.5 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 6374 0 0 0 36 14 0 0 20 0 1 0 52546077 80580608 8253 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 19673 8253 1888 1147 0 7100 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 82884 KiB
Current children cumulated memory: 36084 KiB

[startup+3.10561 s]
/proc/loadavg: 2.28 2.97 3.41 5/268 60777
/proc/meminfo: memFree=127149504/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=439444 memory=352400 CPUtime=2.11 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 27651 0 0 0 157 54 0 0 20 0 1 0 52546077 449990656 88100 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 109861 88100 2240 1147 0 97288 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 443636 KiB
Current children cumulated memory: 355472 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=913868 memory=657188 CPUtime=5.29 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 49630 0 0 0 460 69 0 0 20 0 1 0 52546077 935800832 164297 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 228467 164297 2368 1147 0 215894 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 918060 KiB
Current children cumulated memory: 660260 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=1078708 memory=783592 CPUtime=11.68 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 54283 0 0 0 1069 99 0 0 20 0 1 0 52546077 1104596992 195898 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 269677 195898 2400 1147 0 257104 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1082900 KiB
Current children cumulated memory: 786664 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=1128360 memory=816232 CPUtime=24.43 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 56871 0 0 0 2319 124 0 0 20 0 1 0 52546077 1155440640 204058 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 282090 204058 2400 1147 0 269517 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1132552 KiB
Current children cumulated memory: 819304 KiB

[startup+51.1059 s]
/proc/loadavg: 3.32 3.15 3.45 5/269 60779
/proc/meminfo: memFree=124782888/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=1381300 memory=1081432 CPUtime=49.97 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 96631 0 0 0 4841 156 0 0 20 0 1 0 52546077 1414451200 270358 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 345325 270358 2400 1147 0 332752 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1385492 KiB
Current children cumulated memory: 1084504 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=1488348 memory=1112156 CPUtime=101.01 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 98335 0 0 0 9918 183 0 0 20 0 1 0 52546077 1524068352 278039 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 372087 278039 2400 1147 0 359514 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1492540 KiB
Current children cumulated memory: 1115228 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=1493480 memory=1131988 CPUtime=160.83 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 98862 0 0 0 15856 227 0 0 20 0 1 0 52546077 1529323520 282997 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 373370 282997 2400 1147 0 360797 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1497672 KiB
Current children cumulated memory: 1135060 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=2316384 memory=1872832 CPUtime=220.65 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 196718 0 0 0 21784 281 0 0 20 0 1 0 52546077 2371977216 468208 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 579096 468208 2496 1147 0 566523 0
Current children cumulated CPU time: 221.57 s

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

/proc/60776/statm: 1106080 886810 2560 1147 0 1093507 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 4428512 KiB
Current children cumulated memory: 3550312 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4424320 memory=3547368 CPUtime=3151.85 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 470772 0 0 0 313698 1487 0 0 20 0 1 0 52546077 4530503680 886842 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1106080 886842 2560 1147 0 1093507 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 4428512 KiB
Current children cumulated memory: 3550440 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4424320 memory=3548648 CPUtime=3211.67 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 471534 0 0 0 319659 1508 0 0 20 0 1 0 52546077 4530503680 887162 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1106080 887162 2560 1147 0 1093507 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 4428512 KiB
Current children cumulated memory: 3551720 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4424320 memory=3568232 CPUtime=3271.5 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 475763 0 0 0 325607 1543 0 0 20 0 1 0 52546077 4530503680 892058 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1106080 892058 2560 1147 0 1093507 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 4428512 KiB
Current children cumulated memory: 3571304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.11 5/269 60961
/proc/meminfo: memFree=115832236/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4424320 memory=3597416 CPUtime=3331.31 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 475881 0 0 0 331582 1549 0 0 20 0 1 0 52546077 4530503680 899354 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1106080 899354 2560 1147 0 1093507 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 4428512 KiB
Current children cumulated memory: 3600488 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4465380 memory=3658116 CPUtime=3391.15 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 476276 0 0 0 337563 1552 0 0 20 0 1 0 52546077 4572549120 914529 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1116345 914529 2560 1147 0 1103772 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 4469572 KiB
Current children cumulated memory: 3661188 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4465380 memory=3689092 CPUtime=3450.98 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 476984 0 0 0 343536 1562 0 0 20 0 1 0 52546077 4572549120 922273 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1116345 922273 2560 1147 0 1103772 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 4469572 KiB
Current children cumulated memory: 3692164 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4465380 memory=3720196 CPUtime=3510.81 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 477707 0 0 0 349499 1582 0 0 20 0 1 0 52546077 4572549120 930049 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1116345 930049 2560 1147 0 1103772 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 4469572 KiB
Current children cumulated memory: 3723268 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=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4465380 memory=3754500 CPUtime=3570.63 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 479115 0 0 0 355465 1598 0 0 20 0 1 0 52546077 4572549120 938625 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1116345 938625 2560 1147 0 1103772 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 4469572 KiB
Current children cumulated memory: 3757572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.09 4.21 4.14 4/262 60972
/proc/meminfo: memFree=116270100/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4465380 memory=3765892 CPUtime=3599.15 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 479115 0 0 0 358314 1601 0 0 20 0 1 0 52546077 4572549120 941473 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1116345 941473 2560 1147 0 1103772 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4469572 KiB
Current children cumulated memory: 3768964 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3583.99 s, system=16.1558 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/262 60972
/proc/meminfo: memFree=116270100/131250000 swapFree=33010684/33010684
[pid=60766] ppid=60753 vsize=4192 memory=3072 CPUtime=0.92 cores=1,3
/proc/60766/stat : 60766 (run-opt-break.s) S 60753 60766 60700 0 -1 4194304 238 30961 0 0 0 0 82 10 20 0 1 0 52545981 4292608 768 18446744073709551615 94050058055680 94050058950213 140724991198816 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94050059189264 94050059237008 94050088906752 140724991203681 140724991203810 140724991203810 140724991209412 0
/proc/60766/statm: 1048 768 704 219 0 110 0
[pid=60776] ppid=60766 vsize=4465380 memory=3765892 CPUtime=3599.15 cores=1,3
/proc/60776/stat : 60776 (roundingsat) R 60766 60766 60700 0 -1 4194304 479115 0 0 0 358314 1601 0 0 20 0 1 0 52546077 4572549120 941473 18446744073709551615 4227072 8923433 140725056697632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30212096 140725056702820 140725056703016 140725056703016 140725056708586 0
/proc/60776/statm: 1116345 941473 2560 1147 0 1103772 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4469572 KiB
Current children cumulated memory: 3768964 KiB

Child status: 2

Real time (s): 3610.95
CPU time (s): 3600.15
CPU user time (s): 3583.99
CPU system time (s): 16.1558
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 4508428
Max. memory (cumulated for all children) (KiB): 3779116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.99
system time used= 16.1558
maximum resident set size= 3776044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510335
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= 312
involuntary context switches= 20400


# summary of solver processes directly reported to runsolver:
#   pid: 60766,60776
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3583.99
#   total CPU system time (s): 16.1558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04688 second user time and 18.4959 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-01 13:18:04
IDJOB=4489832
IDBENCH=147564
IDSOLVER=3359
FILE ID=nodeC016/4489832-1751368684
RUNJOBID= nodeC016-1751368684-60712
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_5.opb.PB06.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489832-1751368684/watcher-4489832-1751368684 -o /tmp/evaluation-result-4489832-1751368684/solver-4489832-1751368684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60712 --watchdog 3760  run-opt-break.sh HOME/instance-4489832-1751368684.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
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		: 2079.687
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.718
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		: 1991.592
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		: 3751.694
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		: 3600.229
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		: 3600.490
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		: 3599.738
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.724
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:          1857716 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:             95580 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:     334384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 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