Trace number 4489555

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22adSAT (TO)288 3600.88 3618.83

General information on the benchmark

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

Solver Data 

0.00/0.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4489555-1751357681.opb'
0.27/0.35	c 	read 17.23MB  (326.54ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.36	c output proof to 'PROOFDIR/proof-4489555-1751357681'
0.27/0.36	c 
0.27/0.36	c make graph and approximate orbits
0.65/0.70	c	 [group: #orbits ~= 0] (336.83ms)
0.65/0.70	c 
0.65/0.70	c detect special group actions
0.65/0.70	c 	probe for Johnson action (limit=64)
0.65/0.70	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.65/0.71	c 	probe for row symmetry (limit=64, splits=16.78M)
0.65/0.71	c 	 (16.45ms)
0.65/0.71	c 
0.65/0.71	c detect symmetries on remainder
0.65/0.72	c 	[graph: #vertices 706700 #edges 2766398]
0.65/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.65/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.11ms)
0.65/0.76	c 
0.65/0.76	c finalize break order and special generators
0.65/0.76	c 
0.65/0.76	c generation finished
0.65/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.65/0.77	c 
0.65/0.77	c write result to 'HOME/instance-4489555-1751357681.opb.pre'
0.75/0.80	c 	wrote 17.23MB (35.68ms)
0.75/0.80	c ------------------------------------------------------------------
0.75/0.80	c                 336.83ms 43.55% approx_orbits
0.75/0.80	c                 326.54ms 42.22% parse
0.75/0.80	c                  48.11ms  6.22% detect_generic
0.75/0.80	c                  35.68ms  4.61% output
0.75/0.80	c                  16.45ms  2.13% detect_special
0.75/0.80	c                   9.38ms  1.21% other
0.75/0.80	c                   0.38ms  0.05% finalize_order
0.75/0.80	c         ───────────────────────────────────────────────
0.75/0.80	c                 773.37ms   100% total
0.75/0.80	c ------------------------------------------------------------------
0.84/0.94	c RoundingSat 2
0.84/0.94	c branch pb25
0.84/0.94	c commit 63f22ad
4.50/4.63	c #variables 10000 #constraints 656900
4.50/4.63	c objective is ce32 
5.30/5.44	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.30/5.44	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.30/5.44	c bounds 5439 >= 0 @ 3.77114
7.00/7.14	c rational objective 177.855
10.48/10.63	c bounds 5438 >= 0 @ 8.83238
10.48/10.63	c bounds 5137 >= 0 @ 8.83801
10.48/10.64	c bounds 5132 >= 0 @ 8.84789
10.48/10.65	c bounds 5129 >= 0 @ 8.85276
10.48/10.66	c bounds 5111 >= 0 @ 8.86407
10.48/10.67	c bounds 5057 >= 0 @ 8.86729
10.48/10.68	c bounds 5026 >= 0 @ 8.87896
10.58/10.70	c bounds 5024 >= 0 @ 8.89406
10.58/10.71	c bounds 5016 >= 0 @ 8.90294
10.58/10.72	c bounds 5011 >= 0 @ 8.91934
10.58/10.73	c bounds 4879 >= 0 @ 8.92513
10.58/10.74	c bounds 4874 >= 0 @ 8.92944
10.58/10.74	c bounds 4794 >= 0 @ 8.93377
10.58/10.78	c bounds 4783 >= 0 @ 8.96777
10.58/10.79	c bounds 4777 >= 0 @ 8.97398
10.68/10.80	c bounds 4708 >= 0 @ 8.97876
10.68/10.80	c bounds 4571 >= 0 @ 8.98257
10.68/10.81	c bounds 4467 >= 0 @ 8.98651
10.68/10.82	c bounds 4373 >= 0 @ 8.99059
10.68/10.83	c bounds 4306 >= 0 @ 8.99461
10.68/10.83	c bounds 4292 >= 0 @ 8.99767
10.68/10.85	c bounds 4281 >= 0 @ 9.01506
10.68/10.86	c bounds 4174 >= 0 @ 9.02167
10.68/10.87	c bounds 4123 >= 0 @ 9.02726
10.68/10.88	c bounds 4105 >= 0 @ 9.03529
10.79/10.91	c bounds 4103 >= 0 @ 9.06919
10.79/10.93	c bounds 4075 >= 0 @ 9.08331
10.79/10.95	c bounds 4056 >= 0 @ 9.10429
10.79/10.96	c bounds 4055 >= 0 @ 9.11027
10.79/10.97	c bounds 4047 >= 0 @ 9.1139
10.79/10.98	c bounds 4040 >= 0 @ 9.12128
10.79/10.99	c bounds 3920 >= 0 @ 9.12509
10.79/11.00	c bounds 3914 >= 0 @ 9.13078
10.89/11.01	c bounds 3911 >= 0 @ 9.14709
10.89/11.02	c bounds 3846 >= 0 @ 9.15204
10.89/11.03	c bounds 3701 >= 0 @ 9.15694
10.89/11.05	c bounds 3700 >= 0 @ 9.17413
10.89/11.06	c bounds 3627 >= 0 @ 9.17935
10.89/11.07	c bounds 3586 >= 0 @ 9.18647
10.89/11.08	c bounds 3568 >= 0 @ 9.20092
10.89/11.10	c bounds 3561 >= 0 @ 9.21278
10.99/11.11	c bounds 3559 >= 0 @ 9.21924
10.99/11.12	c bounds 3551 >= 0 @ 9.23236
10.99/11.13	c bounds 3417 >= 0 @ 9.23785
10.99/11.14	c bounds 3357 >= 0 @ 9.2422
10.99/11.18	c bounds 3347 >= 0 @ 9.27587
10.99/11.19	c bounds 3340 >= 0 @ 9.28725
11.09/11.22	c bounds 3334 >= 0 @ 9.31507
11.09/11.25	c bounds 3307 >= 0 @ 9.33527
11.09/11.26	c bounds 3249 >= 0 @ 9.34205
11.09/11.26	c bounds 3185 >= 0 @ 9.34648
11.09/11.27	c bounds 3184 >= 0 @ 9.35544
11.09/11.28	c bounds 3137 >= 0 @ 9.36302
11.18/11.32	c bounds 3129 >= 0 @ 9.39601
11.18/11.33	c bounds 3112 >= 0 @ 9.40658
11.18/11.38	c bounds 3064 >= 0 @ 9.44924
11.58/11.77	c bounds 3063 >= 0 @ 9.82287
11.58/11.79	c bounds 3050 >= 0 @ 9.84287
11.68/11.80	c bounds 2992 >= 0 @ 9.84892
11.68/11.81	c bounds 2960 >= 0 @ 9.85475
11.68/11.82	c bounds 2885 >= 0 @ 9.86022
11.68/11.83	c bounds 2830 >= 0 @ 9.86523
11.68/11.84	c bounds 2829 >= 0 @ 9.87218
11.68/11.85	c bounds 2788 >= 0 @ 9.88389
11.68/11.86	c bounds 2785 >= 0 @ 9.8938
11.68/11.88	c bounds 2776 >= 0 @ 9.90805
11.68/11.89	c bounds 2760 >= 0 @ 9.91535
11.78/11.90	c bounds 2728 >= 0 @ 9.92311
11.78/11.92	c bounds 2727 >= 0 @ 9.93543
11.78/11.93	c bounds 2696 >= 0 @ 9.9428
11.78/11.94	c bounds 2596 >= 0 @ 9.94952
11.78/11.95	c bounds 2534 >= 0 @ 9.95986
11.88/12.05	c bounds 2511 >= 0 @ 10.0551
11.88/12.07	c bounds 2390 >= 0 @ 10.0633
11.99/12.19	c bounds 2384 >= 0 @ 10.1797
12.18/12.33	c bounds 2382 >= 0 @ 10.3171
12.18/12.34	c bounds 2238 >= 0 @ 10.3268
12.18/12.36	c bounds 2236 >= 0 @ 10.341
12.18/12.37	c bounds 1977 >= 0 @ 10.3515
12.18/12.39	c bounds 1957 >= 0 @ 10.3603
12.28/12.40	c bounds 1946 >= 0 @ 10.3679
12.28/12.41	c bounds 1920 >= 0 @ 10.3756
12.28/12.42	c bounds 1850 >= 0 @ 10.3863
12.68/12.89	c bounds 1849 >= 0 @ 10.8411
12.78/12.91	c bounds 1839 >= 0 @ 10.8631
12.78/12.93	c bounds 1779 >= 0 @ 10.873
12.78/12.94	c bounds 1775 >= 0 @ 10.8819
12.88/13.06	c bounds 1762 >= 0 @ 10.9852
12.88/13.08	c bounds 1750 >= 0 @ 11.0067
12.88/13.10	c bounds 1687 >= 0 @ 11.0141
12.98/13.11	c bounds 1677 >= 0 @ 11.0246
12.98/13.15	c bounds 1643 >= 0 @ 11.0562
12.98/13.16	c bounds 1514 >= 0 @ 11.0644
13.08/13.27	c bounds 1453 >= 0 @ 11.1652
13.08/13.28	c bounds 1445 >= 0 @ 11.1739
13.18/13.30	c bounds 1250 >= 0 @ 11.1808
13.18/13.31	c bounds 1182 >= 0 @ 11.1884
13.18/13.32	c bounds 1090 >= 0 @ 11.2007
13.18/13.34	c bounds 1016 >= 0 @ 11.2082
14.28/14.40	c bounds 1015 >= 0 @ 12.2404
15.97/16.19	c bounds 1008 >= 0 @ 13.9824
16.66/16.83	c #Conflicts:       1000 | #Constraints:     658015
16.66/16.83	c bounds 1007 >= 0 @ 14.6145
16.66/16.85	c bounds 921 >= 0 @ 14.6234
16.66/16.86	c bounds 867 >= 0 @ 14.635
16.87/17.03	c bounds 814 >= 0 @ 14.7898
17.36/17.52	c bounds 807 >= 0 @ 15.2574
17.66/17.87	c bounds 773 >= 0 @ 15.5866
17.66/17.89	c bounds 707 >= 0 @ 15.5987
19.66/19.86	c #Conflicts:       2000 | #Constraints:     659023
19.66/19.86	c INPROCESSING
19.66/19.86	c GARBAGE COLLECT
19.66/19.86	c bounds 706 >= 0 @ 17.5346
19.66/19.87	c bounds 698 >= 0 @ 17.5426
19.66/19.88	c bounds 695 >= 0 @ 17.5486
19.76/19.90	c bounds 690 >= 0 @ 17.5619
19.76/19.91	c bounds 688 >= 0 @ 17.5732
19.76/19.92	c bounds 687 >= 0 @ 17.5837
19.76/19.94	c bounds 681 >= 0 @ 17.5935
22.46/22.68	c bounds 679 >= 0 @ 20.2736
23.85/24.02	c #Conflicts:       3000 | #Constraints:     658928
23.85/24.02	c bounds 518 >= 0 @ 21.5892
24.64/24.85	c bounds 473 >= 0 @ 22.388
28.04/28.23	c #Conflicts:       4000 | #Constraints:     659930
28.04/28.23	c INPROCESSING
28.04/28.23	c GARBAGE COLLECT
28.04/28.23	c bounds 466 >= 0 @ 25.7098
28.04/28.24	c bounds 464 >= 0 @ 25.7202
28.14/28.30	c bounds 461 >= 0 @ 25.7822
28.14/28.35	c bounds 460 >= 0 @ 25.8214
28.14/28.37	c bounds 457 >= 0 @ 25.8446
28.24/28.45	c bounds 454 >= 0 @ 25.9189
28.54/28.79	c bounds 448 >= 0 @ 26.2477
32.94/33.46	c #Conflicts:       5000 | #Constraints:     659331
32.94/33.46	c #Conflicts:       6000 | #Constraints:     660331
32.94/33.46	c bounds 351 >= 0 @ 30.5622
32.94/33.47	c bounds 347 >= 0 @ 30.5707
32.94/33.49	c bounds 341 >= 0 @ 30.5807
36.44/36.91	c bounds 340 >= 0 @ 33.9117
40.73/41.20	c INPROCESSING
40.73/41.20	c GARBAGE COLLECT
40.73/41.20	c rational objective 179.482
57.68/58.23	c #Conflicts:       7000 | #Constraints:     659330
57.68/58.23	c #Conflicts:       8000 | #Constraints:     660330
57.68/58.23	c #Conflicts:       9000 | #Constraints:     661330
57.68/58.23	c INPROCESSING
57.68/58.23	c GARBAGE COLLECT
57.68/58.23	c rational objective 181.764
73.08/73.70	c #Conflicts:      10000 | #Constraints:     660038
73.08/73.70	c #Conflicts:      11000 | #Constraints:     661038
73.08/73.70	c #Conflicts:      12000 | #Constraints:     662038
73.08/73.70	c INPROCESSING
73.08/73.70	c GARBAGE COLLECT
73.08/73.70	c rational objective 182.244
89.83/90.55	c #Conflicts:      13000 | #Constraints:     660498
89.83/90.55	c bounds 336 >= 0 @ 86.851
89.83/90.57	c bounds 336 >= 5 @ 86.8603
89.83/90.59	c bounds 336 >= 10 @ 86.8693
89.93/90.61	c bounds 336 >= 15 @ 86.8822
91.73/92.41	c bounds 336 >= 20 @ 88.66
98.84/99.74	c #Conflicts:      14000 | #Constraints:     661521
98.84/99.74	c #Conflicts:      15000 | #Constraints:     662521
98.84/99.74	c INPROCESSING
98.84/99.74	c rational objective 183.208
123.97/124.90	c #Conflicts:      16000 | #Constraints:     660739
123.97/124.90	c #Conflicts:      17000 | #Constraints:     661739
123.97/124.90	c #Conflicts:      18000 | #Constraints:     662739
123.97/124.90	c INPROCESSING
123.97/124.90	c GARBAGE COLLECT
123.97/124.90	c rational objective 183.302
147.61/148.62	c #Conflicts:      19000 | #Constraints:     660766
147.61/148.62	c #Conflicts:      20000 | #Constraints:     661766
147.61/148.62	c #Conflicts:      21000 | #Constraints:     662766
147.61/148.62	c INPROCESSING
147.61/148.62	c GARBAGE COLLECT
147.61/148.62	c rational objective 183.445
172.84/173.97	c #Conflicts:      22000 | #Constraints:     660568
172.84/173.97	c #Conflicts:      23000 | #Constraints:     661568
172.84/173.97	c #Conflicts:      24000 | #Constraints:     662568
172.84/173.97	c #Conflicts:      25000 | #Constraints:     663568
172.84/173.97	c INPROCESSING
172.84/173.97	c GARBAGE COLLECT
172.84/173.97	c rational objective 183.473
201.16/202.38	c #Conflicts:      26000 | #Constraints:     661167
201.16/202.38	c #Conflicts:      27000 | #Constraints:     662167
201.16/202.38	c #Conflicts:      28000 | #Constraints:     663168
201.16/202.38	c #Conflicts:      29000 | #Constraints:     664172
201.16/202.38	c INPROCESSING
201.16/202.38	c GARBAGE COLLECT
201.16/202.38	c rational objective 183.684
207.96/209.10	c bounds 329 >= 20 @ 203.862
207.96/209.12	c bounds 327 >= 20 @ 203.876
207.96/209.14	c bounds 324 >= 20 @ 203.89
207.96/209.18	c bounds 323 >= 20 @ 203.922
224.81/226.05	c #Conflicts:      30000 | #Constraints:     661591
224.81/226.05	c bounds 322 >= 20 @ 220.471
224.81/226.07	c bounds 322 >= 24 @ 220.488
281.65/283.03	c #Conflicts:      31000 | #Constraints:     662601
281.65/283.03	c #Conflicts:      32000 | #Constraints:     663605
281.65/283.03	c #Conflicts:      33000 | #Constraints:     664607
281.65/283.03	c INPROCESSING
281.65/283.03	c GARBAGE COLLECT
281.65/283.03	c #Conflicts:      34000 | #Constraints:     661780
281.65/283.03	c #Conflicts:      35000 | #Constraints:     662785
281.65/283.03	c #Conflicts:      36000 | #Constraints:     663788
281.65/283.03	c #Conflicts:      37000 | #Constraints:     664793
281.65/283.03	c INPROCESSING
281.65/283.03	c GARBAGE COLLECT
281.65/283.03	c rational objective 183.515
315.54/317.05	c #Conflicts:      38000 | #Constraints:     661780
315.54/317.05	c #Conflicts:      39000 | #Constraints:     662821
315.54/317.05	c #Conflicts:      40000 | #Constraints:     663862
315.54/317.05	c #Conflicts:      41000 | #Constraints:     664923
315.54/317.05	c INPROCESSING
315.54/317.05	c GARBAGE COLLECT
315.54/317.05	c rational objective 183.674
342.25/343.82	c #Conflicts:      42000 | #Constraints:     661670
342.25/343.82	c #Conflicts:      43000 | #Constraints:     662680
342.25/343.82	c #Conflicts:      44000 | #Constraints:     663696
342.25/343.82	c #Conflicts:      45000 | #Constraints:     664712
342.25/343.82	c #Conflicts:      46000 | #Constraints:     665726
342.25/343.82	c INPROCESSING
342.25/343.82	c GARBAGE COLLECT
342.25/343.82	c rational objective 183.674
405.75/407.52	c #Conflicts:      47000 | #Constraints:     662257
405.75/407.52	c #Conflicts:      48000 | #Constraints:     663270
405.75/407.52	c #Conflicts:      49000 | #Constraints:     664282
405.75/407.52	c #Conflicts:      50000 | #Constraints:     665293
405.75/407.52	c #Conflicts:      51000 | #Constraints:     666305
405.75/407.52	c INPROCESSING
405.75/407.52	c GARBAGE COLLECT
405.75/407.52	c #Conflicts:      52000 | #Constraints:     662644
405.75/407.52	c #Conflicts:      53000 | #Constraints:     663651
405.75/407.52	c #Conflicts:      54000 | #Constraints:     664660
405.75/407.52	c #Conflicts:      55000 | #Constraints:     665663
405.75/407.52	c #Conflicts:      56000 | #Constraints:     666665
405.75/407.52	c INPROCESSING
405.75/407.52	c rational objective 183.659
412.63/414.45	c bounds 320 >= 24 @ 406.877
418.32/420.14	c bounds 319 >= 24 @ 412.468
418.32/420.15	c bounds 319 >= 27 @ 412.481
524.96/527.17	c #Conflicts:      57000 | #Constraints:     662823
524.96/527.17	c #Conflicts:      58000 | #Constraints:     663825
524.96/527.17	c #Conflicts:      59000 | #Constraints:     664827
524.96/527.17	c #Conflicts:      60000 | #Constraints:     665829
524.96/527.17	c #Conflicts:      61000 | #Constraints:     666835
524.96/527.17	c INPROCESSING
524.96/527.17	c GARBAGE COLLECT
524.96/527.17	c #Conflicts:      62000 | #Constraints:     662801
524.96/527.17	c #Conflicts:      63000 | #Constraints:     663805
524.96/527.17	c #Conflicts:      64000 | #Constraints:     664810
524.96/527.17	c #Conflicts:      65000 | #Constraints:     665812
524.96/527.17	c #Conflicts:      66000 | #Constraints:     666816
524.96/527.17	c INPROCESSING
524.96/527.17	c GARBAGE COLLECT
524.96/527.17	c rational objective 183.92
622.91/625.48	c #Conflicts:      67000 | #Constraints:     662591
622.91/625.48	c #Conflicts:      68000 | #Constraints:     663593
622.91/625.48	c #Conflicts:      69000 | #Constraints:     664595
622.91/625.48	c #Conflicts:      70000 | #Constraints:     665597
622.91/625.48	c #Conflicts:      71000 | #Constraints:     666601
622.91/625.48	c #Conflicts:      72000 | #Constraints:     667607
622.91/625.48	c INPROCESSING
622.91/625.48	c GARBAGE COLLECT
622.91/625.48	c rational objective 183.921
633.39/635.90	c bounds 318 >= 27 @ 626.406
633.39/635.91	c bounds 318 >= 29 @ 626.413
633.39/635.93	c bounds 318 >= 31 @ 626.422
633.39/635.94	c bounds 318 >= 33 @ 626.436
633.39/635.96	c bounds 318 >= 35 @ 626.449
633.49/636.00	c bounds 318 >= 37 @ 626.484
637.58/640.14	c bounds 318 >= 39 @ 630.575
638.57/641.15	c bounds 318 >= 41 @ 631.548
644.55/647.18	c #Conflicts:      73000 | #Constraints:     663240
644.55/647.18	c #Conflicts:      74000 | #Constraints:     664240
644.55/647.18	c bounds 318 >= 43 @ 637.437
750.05/753.03	c #Conflicts:      75000 | #Constraints:     665258
750.05/753.03	c #Conflicts:      76000 | #Constraints:     666259
750.05/753.03	c #Conflicts:      77000 | #Constraints:     667261
750.05/753.03	c #Conflicts:      78000 | #Constraints:     668263
750.05/753.03	c INPROCESSING
750.05/753.03	c GARBAGE COLLECT
750.05/753.03	c rational objective 183.924
827.79/831.07	c #Conflicts:      79000 | #Constraints:     663635
827.79/831.07	c #Conflicts:      80000 | #Constraints:     664638
827.79/831.07	c #Conflicts:      81000 | #Constraints:     665639
827.79/831.07	c #Conflicts:      82000 | #Constraints:     666640
827.79/831.07	c #Conflicts:      83000 | #Constraints:     667642
827.79/831.07	c #Conflicts:      84000 | #Constraints:     668644
827.79/831.07	c INPROCESSING
827.79/831.07	c GARBAGE COLLECT
827.79/831.07	c rational objective 183.951
1038.38/1042.39	c #Conflicts:      85000 | #Constraints:     663851
1038.38/1042.39	c #Conflicts:      86000 | #Constraints:     664962
1038.38/1042.39	c #Conflicts:      87000 | #Constraints:     666135
1038.38/1042.39	c #Conflicts:      88000 | #Constraints:     667274
1038.38/1042.39	c #Conflicts:      89000 | #Constraints:     668425
1038.38/1042.39	c #Conflicts:      90000 | #Constraints:     669504
1038.38/1042.39	c INPROCESSING
1038.38/1042.39	c GARBAGE COLLECT
1038.38/1042.39	c #Conflicts:      91000 | #Constraints:     664151
1038.38/1042.39	c #Conflicts:      92000 | #Constraints:     665152
1038.38/1042.39	c #Conflicts:      93000 | #Constraints:     666153
1038.38/1042.39	c #Conflicts:      94000 | #Constraints:     667155
1038.38/1042.39	c #Conflicts:      95000 | #Constraints:     668155
1038.38/1042.39	c #Conflicts:      96000 | #Constraints:     669157
1038.38/1042.39	c INPROCESSING
1038.38/1042.39	c GARBAGE COLLECT
1038.38/1042.39	c rational objective 183.951
1071.37/1075.49	c #Conflicts:      97000 | #Constraints:     663797
1071.37/1075.49	c #Conflicts:      98000 | #Constraints:     664801
1071.37/1075.49	c #Conflicts:      99000 | #Constraints:     665802
1071.37/1075.49	c bounds 318 >= 45 @ 1061.48
1371.41/1376.55	c #Conflicts:     100000 | #Constraints:     666826
1371.41/1376.55	c #Conflicts:     101000 | #Constraints:     667829
1371.41/1376.55	c #Conflicts:     102000 | #Constraints:     668831
1371.41/1376.55	c #Conflicts:     103000 | #Constraints:     669832
1371.41/1376.55	c INPROCESSING
1371.41/1376.55	c GARBAGE COLLECT
1371.41/1376.55	c #Conflicts:     104000 | #Constraints:     664346
1371.41/1376.55	c #Conflicts:     105000 | #Constraints:     665346
1371.41/1376.55	c #Conflicts:     106000 | #Constraints:     666348
1371.41/1376.55	c #Conflicts:     107000 | #Constraints:     667350
1371.41/1376.55	c #Conflicts:     108000 | #Constraints:     668353
1371.41/1376.55	c #Conflicts:     109000 | #Constraints:     669355
1371.41/1376.55	c #Conflicts:     110000 | #Constraints:     670358
1371.41/1376.55	c INPROCESSING
1371.41/1376.55	c GARBAGE COLLECT
1371.41/1376.55	c #Conflicts:     111000 | #Constraints:     664711
1371.41/1376.55	c #Conflicts:     112000 | #Constraints:     665712
1371.41/1376.55	c #Conflicts:     113000 | #Constraints:     666712
1371.41/1376.55	c #Conflicts:     114000 | #Constraints:     667712
1371.41/1376.55	c #Conflicts:     115000 | #Constraints:     668712
1371.41/1376.55	c #Conflicts:     116000 | #Constraints:     669714
1371.41/1376.55	c #Conflicts:     117000 | #Constraints:     670716
1371.41/1376.55	c INPROCESSING
1371.41/1376.55	c GARBAGE COLLECT
1371.41/1376.55	c #Conflicts:     118000 | #Constraints:     664886
1371.41/1376.55	c #Conflicts:     119000 | #Constraints:     665887
1371.41/1376.55	c #Conflicts:     120000 | #Constraints:     666887
1371.41/1376.55	c #Conflicts:     121000 | #Constraints:     667887
1371.41/1376.55	c #Conflicts:     122000 | #Constraints:     668887
1371.41/1376.55	c #Conflicts:     123000 | #Constraints:     669888
1371.41/1376.55	c #Conflicts:     124000 | #Constraints:     670888
1371.41/1376.55	c INPROCESSING
1371.41/1376.55	c GARBAGE COLLECT
1371.41/1376.55	c rational objective 183.942
1385.06/1390.34	c #Conflicts:     125000 | #Constraints:     664869
1385.06/1390.34	c bounds 316 >= 45 @ 1372.98
1400.91/1406.23	c #Conflicts:     126000 | #Constraints:     665893
1400.91/1406.23	c bounds 315 >= 45 @ 1388.62
1400.91/1406.25	c bounds 315 >= 46 @ 1388.63
1400.91/1406.28	c bounds 315 >= 47 @ 1388.65
1400.91/1406.29	c bounds 315 >= 48 @ 1388.66
1401.01/1406.31	c bounds 315 >= 49 @ 1388.67
1401.01/1406.33	c bounds 315 >= 50 @ 1388.68
1401.01/1406.35	c bounds 315 >= 51 @ 1388.7
1401.11/1406.41	c bounds 315 >= 52 @ 1388.75
1401.11/1406.43	c bounds 315 >= 53 @ 1388.77
1401.11/1406.47	c bounds 315 >= 54 @ 1388.8
1401.21/1406.51	c bounds 315 >= 55 @ 1388.84
1402.90/1408.29	c bounds 315 >= 56 @ 1390.6
1403.01/1408.33	c bounds 315 >= 57 @ 1390.63
1403.10/1408.41	c bounds 315 >= 58 @ 1390.69
1403.10/1408.49	c bounds 315 >= 59 @ 1390.76
1403.20/1408.54	c bounds 315 >= 60 @ 1390.8
1403.30/1408.67	c bounds 315 >= 61 @ 1390.93
1403.61/1408.94	c bounds 315 >= 62 @ 1391.18
1404.00/1409.38	c bounds 315 >= 63 @ 1391.6
1404.81/1410.12	c bounds 314 >= 63 @ 1392.31
1405.20/1410.52	c #Conflicts:     127000 | #Constraints:     667081
1405.20/1410.52	c bounds 314 >= 64 @ 1392.69
1405.40/1410.72	c bounds 314 >= 65 @ 1392.89
1436.51/1441.92	c #Conflicts:     128000 | #Constraints:     668119
1436.51/1441.92	c #Conflicts:     129000 | #Constraints:     669128
1436.51/1441.92	c bounds 313 >= 65 @ 1423.64
1440.61/1446.08	c bounds 313 >= 66 @ 1427.75
1442.10/1447.58	c bounds 313 >= 67 @ 1429.21
1444.80/1450.21	c #Conflicts:     130000 | #Constraints:     670195
1444.80/1450.21	c bounds 313 >= 68 @ 1431.77
1448.29/1453.77	c #Conflicts:     131000 | #Constraints:     671228
1448.29/1453.77	c bounds 313 >= 69 @ 1435.25
1452.58/1458.06	c INPROCESSING
1452.58/1458.06	c GARBAGE COLLECT
1452.58/1458.06	c rational objective 183.942
1461.45/1466.90	c #Conflicts:     132000 | #Constraints:     664909
1461.45/1466.90	c bounds 313 >= 70 @ 1448.21
1468.83/1474.37	c bounds 313 >= 71 @ 1455.6
1472.72/1478.26	c #Conflicts:     133000 | #Constraints:     665987
1472.72/1478.26	c #Conflicts:     134000 | #Constraints:     666987
1472.72/1478.26	c bounds 313 >= 72 @ 1459.34
1485.88/1491.40	c #Conflicts:     135000 | #Constraints:     668014
1485.88/1491.40	c bounds 313 >= 73 @ 1472.27
1497.65/1503.26	c #Conflicts:     136000 | #Constraints:     669053
1497.65/1503.26	c #Conflicts:     137000 | #Constraints:     670053
1497.65/1503.26	c bounds 313 >= 74 @ 1484
1615.76/1621.74	c #Conflicts:     138000 | #Constraints:     671074
1615.76/1621.74	c #Conflicts:     139000 | #Constraints:     672074
1615.76/1621.74	c INPROCESSING
1615.76/1621.74	c GARBAGE COLLECT
1615.76/1621.74	c rational objective 183.942
1624.52/1630.50	c bounds 313 >= 75 @ 1610.48
1650.95/1657.09	c #Conflicts:     140000 | #Constraints:     665616
1650.95/1657.09	c #Conflicts:     141000 | #Constraints:     666616
1650.95/1657.09	c #Conflicts:     142000 | #Constraints:     667616
1650.95/1657.09	c bounds 313 >= 76 @ 1636.79
1658.93/1665.09	c #Conflicts:     143000 | #Constraints:     668661
1658.93/1665.09	c #Conflicts:     144000 | #Constraints:     669661
1658.93/1665.09	c bounds 313 >= 77 @ 1644.61
1666.21/1672.39	c #Conflicts:     145000 | #Constraints:     670700
1666.21/1672.39	c #Conflicts:     146000 | #Constraints:     671700
1666.21/1672.39	c bounds 313 >= 78 @ 1651.75
1790.46/1796.94	c #Conflicts:     147000 | #Constraints:     672724
1790.46/1796.94	c INPROCESSING
1790.46/1796.94	c GARBAGE COLLECT
1790.46/1796.94	c #Conflicts:     148000 | #Constraints:     666041
1790.46/1796.94	c bounds 313 >= 79 @ 1775.54
1828.35/1834.95	c #Conflicts:     149000 | #Constraints:     667092
1828.35/1834.95	c #Conflicts:     150000 | #Constraints:     668092
1828.35/1834.95	c #Conflicts:     151000 | #Constraints:     669092
1828.35/1834.95	c bounds 313 >= 80 @ 1813.09
1841.12/1847.77	c #Conflicts:     152000 | #Constraints:     670125
1841.12/1847.77	c #Conflicts:     153000 | #Constraints:     671125
1841.12/1847.77	c #Conflicts:     154000 | #Constraints:     672125
1841.12/1847.77	c bounds 313 >= 81 @ 1825.59
1947.70/1954.61	c #Conflicts:     155000 | #Constraints:     673161
1947.70/1954.61	c INPROCESSING
1947.70/1954.61	c GARBAGE COLLECT
1947.70/1954.61	c rational objective 183.942
1976.23/1983.25	c #Conflicts:     156000 | #Constraints:     666285
1976.23/1983.25	c #Conflicts:     157000 | #Constraints:     667285
1976.23/1983.25	c #Conflicts:     158000 | #Constraints:     668285
1976.23/1983.25	c #Conflicts:     159000 | #Constraints:     669286
1976.23/1983.25	c bounds 313 >= 82 @ 1959.95
2148.48/2156.03	c #Conflicts:     160000 | #Constraints:     670325
2148.48/2156.03	c #Conflicts:     161000 | #Constraints:     671325
2148.48/2156.03	c #Conflicts:     162000 | #Constraints:     672325
2148.48/2156.03	c #Conflicts:     163000 | #Constraints:     673325
2148.48/2156.03	c INPROCESSING
2148.48/2156.03	c GARBAGE COLLECT
2148.48/2156.03	c rational objective 183.942
2165.54/2173.18	c #Conflicts:     164000 | #Constraints:     666294
2165.54/2173.18	c bounds 313 >= 83 @ 2148.5
2255.20/2263.03	c #Conflicts:     165000 | #Constraints:     667341
2255.20/2263.03	c #Conflicts:     166000 | #Constraints:     668341
2255.20/2263.03	c #Conflicts:     167000 | #Constraints:     669341
2255.20/2263.03	c #Conflicts:     168000 | #Constraints:     670341
2255.20/2263.03	c #Conflicts:     169000 | #Constraints:     671342
2255.20/2263.03	c #Conflicts:     170000 | #Constraints:     672342
2255.20/2263.03	c #Conflicts:     171000 | #Constraints:     673342
2255.20/2263.03	c INPROCESSING
2255.20/2263.03	c GARBAGE COLLECT
2255.20/2263.03	c #Conflicts:     172000 | #Constraints:     666115
2255.20/2263.03	c #Conflicts:     173000 | #Constraints:     667116
2255.20/2263.03	c #Conflicts:     174000 | #Constraints:     668116
2255.20/2263.03	c bounds 313 >= 84 @ 2236.76
2479.74/2488.24	c #Conflicts:     175000 | #Constraints:     669179
2479.74/2488.24	c #Conflicts:     176000 | #Constraints:     670179
2479.74/2488.24	c #Conflicts:     177000 | #Constraints:     671179
2479.74/2488.24	c #Conflicts:     178000 | #Constraints:     672179
2479.74/2488.24	c #Conflicts:     179000 | #Constraints:     673179
2479.74/2488.24	c #Conflicts:     180000 | #Constraints:     674179
2479.74/2488.24	c INPROCESSING
2479.74/2488.24	c GARBAGE COLLECT
2479.74/2488.24	c #Conflicts:     181000 | #Constraints:     666740
2479.74/2488.24	c #Conflicts:     182000 | #Constraints:     667740
2479.74/2488.24	c #Conflicts:     183000 | #Constraints:     668740
2479.74/2488.24	c #Conflicts:     184000 | #Constraints:     669740
2479.74/2488.24	c #Conflicts:     185000 | #Constraints:     670740
2479.74/2488.24	c #Conflicts:     186000 | #Constraints:     671740
2479.74/2488.24	c #Conflicts:     187000 | #Constraints:     672740
2479.74/2488.24	c #Conflicts:     188000 | #Constraints:     673740
2479.74/2488.24	c bounds 313 >= 85 @ 2459.23
2558.35/2567.04	c #Conflicts:     189000 | #Constraints:     674788
2558.35/2567.04	c INPROCESSING
2558.35/2567.04	c GARBAGE COLLECT
2558.35/2567.04	c #Conflicts:     190000 | #Constraints:     667159
2558.35/2567.04	c #Conflicts:     191000 | #Constraints:     668159
2558.35/2567.04	c #Conflicts:     192000 | #Constraints:     669159
2558.35/2567.04	c #Conflicts:     193000 | #Constraints:     670159
2558.35/2567.04	c #Conflicts:     194000 | #Constraints:     671159
2558.35/2567.04	c #Conflicts:     195000 | #Constraints:     672159
2558.35/2567.04	c #Conflicts:     196000 | #Constraints:     673159
2558.35/2567.04	c #Conflicts:     197000 | #Constraints:     674159
2558.35/2567.04	c #Conflicts:     198000 | #Constraints:     675159
2558.35/2567.04	c INPROCESSING
2558.35/2567.04	c GARBAGE COLLECT
2558.35/2567.04	c rational objective 183.942
2622.07/2631.00	c #Conflicts:     199000 | #Constraints:     667350
2622.07/2631.00	c #Conflicts:     200000 | #Constraints:     668363
2622.07/2631.00	c #Conflicts:     201000 | #Constraints:     669366
2622.07/2631.00	c #Conflicts:     202000 | #Constraints:     670369
2622.07/2631.00	c #Conflicts:     203000 | #Constraints:     671374
2622.07/2631.00	c #Conflicts:     204000 | #Constraints:     672377
2622.07/2631.00	c #Conflicts:     205000 | #Constraints:     673381
2622.07/2631.00	c bounds 311 >= 85 @ 2599.91
2625.37/2634.29	c bounds 309 >= 85 @ 2603.14
2625.67/2634.56	c bounds 304 >= 85 @ 2603.4
2626.06/2634.94	c bounds 299 >= 85 @ 2603.77
2626.57/2635.48	c bounds 298 >= 85 @ 2604.3
2626.66/2635.52	c bounds 297 >= 85 @ 2604.33
2633.95/2642.83	c #Conflicts:     206000 | #Constraints:     674394
2633.95/2642.83	c bounds 296 >= 85 @ 2611.52
2642.63/2651.55	c #Conflicts:     207000 | #Constraints:     675399
2642.63/2651.55	c INPROCESSING
2642.63/2651.55	c GARBAGE COLLECT
2642.63/2651.55	c rational objective 183.942
2695.59/2704.61	c #Conflicts:     208000 | #Constraints:     667358
2695.59/2704.61	c #Conflicts:     209000 | #Constraints:     668358
2695.59/2704.61	c #Conflicts:     210000 | #Constraints:     669358
2695.59/2704.61	c #Conflicts:     211000 | #Constraints:     670358
2695.59/2704.61	c #Conflicts:     212000 | #Constraints:     671358
2695.59/2704.61	c bounds 296 >= 86 @ 2672.31
2698.78/2707.87	c #Conflicts:     213000 | #Constraints:     672412
2698.78/2707.87	c bounds 295 >= 86 @ 2675.53
2698.78/2707.90	c bounds 294 >= 86 @ 2675.55
2714.83/2723.91	c #Conflicts:     214000 | #Constraints:     673414
2714.83/2723.91	c bounds 293 >= 86 @ 2691.42
2733.98/2743.19	c #Conflicts:     215000 | #Constraints:     674416
2733.98/2743.19	c #Conflicts:     216000 | #Constraints:     675416
2733.98/2743.19	c INPROCESSING
2733.98/2743.19	c GARBAGE COLLECT
2733.98/2743.19	c rational objective 183.942
2817.85/2827.26	c #Conflicts:     217000 | #Constraints:     667177
2817.85/2827.26	c #Conflicts:     218000 | #Constraints:     668179
2817.85/2827.26	c #Conflicts:     219000 | #Constraints:     669179
2817.85/2827.26	c #Conflicts:     220000 | #Constraints:     670179
2817.85/2827.26	c #Conflicts:     221000 | #Constraints:     671179
2817.85/2827.26	c #Conflicts:     222000 | #Constraints:     672179
2817.85/2827.26	c #Conflicts:     223000 | #Constraints:     673180
2817.85/2827.26	c bounds 293 >= 87 @ 2793.13
3048.23/3058.27	c #Conflicts:     224000 | #Constraints:     674225
3048.23/3058.27	c #Conflicts:     225000 | #Constraints:     675225
3048.23/3058.27	c #Conflicts:     226000 | #Constraints:     676225
3048.23/3058.27	c INPROCESSING
3048.23/3058.27	c GARBAGE COLLECT
3048.23/3058.27	c #Conflicts:     227000 | #Constraints:     667798
3048.23/3058.27	c #Conflicts:     228000 | #Constraints:     668798
3048.23/3058.27	c #Conflicts:     229000 | #Constraints:     669798
3048.23/3058.27	c #Conflicts:     230000 | #Constraints:     670798
3048.23/3058.27	c #Conflicts:     231000 | #Constraints:     671798
3048.23/3058.27	c #Conflicts:     232000 | #Constraints:     672798
3048.23/3058.27	c #Conflicts:     233000 | #Constraints:     673798
3048.23/3058.27	c #Conflicts:     234000 | #Constraints:     674798
3048.23/3058.27	c #Conflicts:     235000 | #Constraints:     675798
3048.23/3058.27	c bounds 293 >= 88 @ 3021.62
3179.29/3189.66	c #Conflicts:     236000 | #Constraints:     676864
3179.29/3189.66	c INPROCESSING
3179.29/3189.66	c GARBAGE COLLECT
3179.29/3189.66	c #Conflicts:     237000 | #Constraints:     668232
3179.29/3189.66	c #Conflicts:     238000 | #Constraints:     669232
3179.29/3189.66	c #Conflicts:     239000 | #Constraints:     670232
3179.29/3189.66	c #Conflicts:     240000 | #Constraints:     671232
3179.29/3189.66	c #Conflicts:     241000 | #Constraints:     672232
3179.29/3189.66	c #Conflicts:     242000 | #Constraints:     673232
3179.29/3189.66	c #Conflicts:     243000 | #Constraints:     674232
3179.29/3189.66	c #Conflicts:     244000 | #Constraints:     675232
3179.29/3189.66	c #Conflicts:     245000 | #Constraints:     676233
3179.29/3189.66	c #Conflicts:     246000 | #Constraints:     677233
3179.29/3189.66	c INPROCESSING
3179.29/3189.66	c GARBAGE COLLECT
3179.29/3189.66	c rational objective 183.942
3379.62/3390.53	c #Conflicts:     247000 | #Constraints:     668419
3379.62/3390.53	c #Conflicts:     248000 | #Constraints:     669419
3379.62/3390.53	c #Conflicts:     249000 | #Constraints:     670419
3379.62/3390.53	c #Conflicts:     250000 | #Constraints:     671419
3379.62/3390.53	c #Conflicts:     251000 | #Constraints:     672419
3379.62/3390.53	c #Conflicts:     252000 | #Constraints:     673421
3379.62/3390.53	c #Conflicts:     253000 | #Constraints:     674421
3379.62/3390.53	c #Conflicts:     254000 | #Constraints:     675421
3379.62/3390.53	c #Conflicts:     255000 | #Constraints:     676421
3379.62/3390.53	c #Conflicts:     256000 | #Constraints:     677421
3379.62/3390.53	c INPROCESSING
3379.62/3390.53	c GARBAGE COLLECT
3379.62/3390.53	c rational objective 183.942
3448.35/3459.40	c #Conflicts:     257000 | #Constraints:     668420
3448.35/3459.40	c #Conflicts:     258000 | #Constraints:     669420
3448.35/3459.40	c #Conflicts:     259000 | #Constraints:     670420
3448.35/3459.40	c #Conflicts:     260000 | #Constraints:     671421
3448.35/3459.40	c #Conflicts:     261000 | #Constraints:     672422
3448.35/3459.40	c #Conflicts:     262000 | #Constraints:     673422
3448.35/3459.40	c #Conflicts:     263000 | #Constraints:     674422
3448.35/3459.40	c bounds 293 >= 89 @ 3416.56
3450.44/3461.56	c bounds 291 >= 89 @ 3418.66
3457.82/3468.98	c #Conflicts:     264000 | #Constraints:     675483
3457.82/3468.98	c bounds 288 >= 89 @ 3425.91
3516.45/3527.70	c #Conflicts:     265000 | #Constraints:     676502
3516.45/3527.70	c #Conflicts:     266000 | #Constraints:     677513
3516.45/3527.70	c INPROCESSING
3516.45/3527.70	c GARBAGE COLLECT
3516.45/3527.70	c rational objective 183.942
3600.08/3611.62	c #Conflicts:     267000 | #Constraints:     668309
3600.08/3611.62	c #Conflicts:     268000 | #Constraints:     669309
3600.08/3611.62	c #Conflicts:     269000 | #Constraints:     670310
3600.08/3611.62	c #Conflicts:     270000 | #Constraints:     671311
3600.08/3611.62	c #Conflicts:     271000 | #Constraints:     672312
3600.08/3611.62	c #Conflicts:     272000 | #Constraints:     673312
3600.08/3611.62	c #Conflicts:     273000 | #Constraints:     674312
3600.08/3611.62	c cpu time 3566.33 s
3600.08/3611.62	c deterministic time 85327186459 8.53e+10
3600.08/3611.62	c optimization time 78.9589 s
3600.08/3611.62	c total solve time 3484.4 s
3600.08/3611.62	c core-guided solve time 3083.58 s
3600.08/3611.62	c propagation time 1134.42 s
3600.08/3611.62	c conflict analysis time 839.502 s
3600.08/3611.62	c propagations 82773953
3600.08/3611.62	c resolve steps 4938824
3600.08/3611.62	c decisions 9450982
3600.08/3611.62	c conflicts 273956
3600.08/3611.62	c restarts 637
3600.08/3611.62	c inprocessing phases 43
3600.08/3611.62	c garbage collections 41 ,( 95.35 )
3600.08/3611.62	c input clauses 657277 ,( 99.84 )
3600.08/3611.62	c input cardinalities 436 ,( 0.07 )
3600.08/3611.62	c input general constraints 650 ,( 0.10 )
3600.08/3611.62	c input average constraint length 6.62
3600.08/3611.62	c input average constraint degree 117.82
3600.08/3611.62	c learned clauses 191747 ,( 69.64 )
3600.08/3611.62	c learned cardinalities 12 ,( 0.00 )
3600.08/3611.62	c learned general constraints 83583 ,( 30.36 )
3600.08/3611.62	c learned average constraint length 1692.27
3600.08/3611.62	c learned average constraint degree 39646061139.23
3600.08/3611.62	c watched  CF 32, 64, 128, Arb: 6636 , 0 , 0 , 0
3600.08/3611.62	c counting CF 32, 64, 128, Arb: 77598 , 0 , 0 , 0
3600.08/3611.62	c watched   constraints 6636 ,( 7.88 ) 
3600.08/3611.62	c counting  constraints 77597 ,( 92.12 ) 
3600.08/3611.62	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 60670199 , 2750923 , 1117396486 ,( 70607719 , 1046788767 )
3600.08/3611.62	c gcd simplifications 10650
3600.08/3611.62	c detected cardinalities 1
3600.08/3611.62	c weakened non-implied lits 830681643
3600.08/3611.62	c weakened non-implying lits 207658
3600.08/3611.62	c original variables 10000
3600.08/3611.62	c clausal propagations 18943592
3600.08/3611.62	c cardinality propagations 384579
3600.08/3611.62	c watched propagations 60683
3600.08/3611.62	c counting propagations 61441519
3600.08/3611.62	c watch lookups 7547025195
3600.08/3611.62	c watch backjump lookups 0
3600.08/3611.62	c watch checks 5105600160
3600.08/3611.62	c propagation checks 68437135724
3600.08/3611.62	c constraint additions 4052192397
3600.08/3611.62	c trail pops 92489539
3600.08/3611.62	c formula constraints 656900
3600.08/3611.62	c learned constraints 273698
3600.08/3611.62	c bound constraints 214
3600.08/3611.62	c core-guided constraints 1249
3600.08/3611.62	c encountered formula constraints 2443332
3600.08/3611.62	c encountered learned constraints 1723737
3600.08/3611.62	c encountered bound constraints 7491
3600.08/3611.62	c encountered core-guided constraints 1014251
3600.08/3611.62	c LP total time 2155.85 s
3600.08/3611.62	c LP solve time 1974.49 s
3600.08/3611.62	c LP constraints added 656957
3600.08/3611.62	c LP constraints removed 36
3600.08/3611.62	c LP pivots internal 275030
3600.08/3611.62	c LP pivots root 243478
3600.08/3611.62	c LP calls 1571
3600.08/3611.62	c LP optimalities 149
3600.08/3611.62	c LP no pivot count 20
3600.08/3611.62	c LP infeasibilities 1373
3600.08/3611.62	c LP valid Farkas constraints 1367
3600.08/3611.62	c LP learned Farkas constraints 260
3600.08/3611.62	c LP basis resets 50
3600.08/3611.62	c LP cycling count 9
3600.08/3611.62	c LP singular count 18
3600.08/3611.62	c LP no primal count 0
3600.08/3611.62	c LP no farkas count 6
3600.08/3611.62	c LP other issue count 17
3600.08/3611.62	c LP Gomory cuts 17
3600.08/3611.62	c LP learned cuts 40
3600.08/3611.62	c LP deleted cuts 36
3600.08/3611.62	c LP encountered Gomory constraints 205
3600.08/3611.62	c LP encountered Farkas constraints 23345
3600.08/3611.62	c LP encountered learned Farkas constraints 159
3600.08/3611.62	c CG auxiliary variables introduced 436
3600.08/3611.62	c CG solutions found 154
3600.08/3611.62	c CG cores constructed 59
3600.08/3611.62	c CG core cardinality constraints returned 0
3600.08/3611.62	c CG unit cores 0
3600.08/3611.62	c CG single cores 59
3600.08/3611.62	c CG blocks removed during cardinality reduction 0
3600.08/3611.62	c CG first core best 0
3600.08/3611.62	c CG decision core best 0
3600.08/3611.62	c CG core reduction tie 0
3600.08/3611.62	c CG core degree average 1.00
3600.08/3611.62	c CG core slack average 952.68
3600.08/3611.62	c CG core upper bound improvements 60
3600.08/3611.62	c STR number of successful calls 0
3600.08/3611.62	c STR number of unsuccessful calls 0
3600.08/3611.62	c STR number of inconclusive calls 0
3600.08/3611.62	c STR number of successful attempts 0
3600.08/3611.62	c STR number of unsuccessful attempts 0
3600.08/3611.62	c STR number of inconclusive attempts 0
3600.08/3611.62	c STR average degree increase per successful call inf
3600.08/3611.62	c STR average degree increase per successful attempt inf
3600.08/3611.62	c STR total number of conflicts for successful attempts 0
3600.08/3611.62	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.62	c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.62	c STR average number of conflicts per successful attempt inf
3600.08/3611.62	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.62	c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.62	c AVG.sumWPerc 87.94 
3600.08/3611.62	c bigint constraints 0 
3600.08/3611.62	o 288
3600.08/3611.62	s SATISFIABLE
3600.08/3611.62	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.08/3611.62	c Program interrupted by user.

Verifier Data 

OK	288

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489555-1751357681/watcher-4489555-1751357681 -o /tmp/evaluation-result-4489555-1751357681/solver-4489555-1751357681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48859 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489555-1751357681.opb PROOFDIR/proof-4489555-1751357681 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49630, runsolver pid=49627

[startup+0.100063 s]*
/proc/loadavg: 4.16 4.16 4.13 6/274 49632
/proc/meminfo: memFree=71993512/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49632] ppid=49630 vsize=162348 memory=145040 CPUtime=0.06 cores=5,7
/proc/49632/stat : 49632 (pbsuma) R 49630 49630 48846 0 -1 4194304 3539 0 0 0 3 3 0 0 20 0 1 0 51446596 166244352 36260 18446744073709551615 4210688 4653049 140737346920048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37498880 140737346922723 140737346923058 140737346923058 140737346928623 0
/proc/49632/statm: 40587 36260 992 108 0 37995 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 166540 KiB
Current children cumulated memory: 147856 KiB

[startup+0.205769 s]*
/proc/loadavg: 4.16 4.16 4.13 5/274 49632
/proc/meminfo: memFree=71979424/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49632] ppid=49630 vsize=179864 memory=164164 CPUtime=0.17 cores=5,7
/proc/49632/stat : 49632 (pbsuma) R 49630 49630 48846 0 -1 4194304 8503 0 0 0 13 4 0 0 20 0 1 0 51446596 184180736 41041 18446744073709551615 4210688 4653049 140737346920048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37498880 140737346922723 140737346923058 140737346923058 140737346928623 0
/proc/49632/statm: 44966 41041 992 108 0 42374 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184056 KiB
Current children cumulated memory: 166980 KiB

[startup+0.305719 s]*
/proc/loadavg: 4.16 4.16 4.13 5/274 49632
/proc/meminfo: memFree=71948076/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49632] ppid=49630 vsize=193728 memory=181592 CPUtime=0.27 cores=5,7
/proc/49632/stat : 49632 (pbsuma) R 49630 49630 48846 0 -1 4194304 11849 0 0 0 22 5 0 0 20 0 1 0 51446596 198377472 45398 18446744073709551615 4210688 4653049 140737346920048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37498880 140737346922723 140737346923058 140737346923058 140737346928623 0
/proc/49632/statm: 48432 45398 992 108 0 45840 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 197920 KiB
Current children cumulated memory: 184408 KiB

[startup+0.70021 s]
/proc/loadavg: 4.16 4.16 4.13 5/274 49632
/proc/meminfo: memFree=71855804/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49632] ppid=49630 vsize=330012 memory=279416 CPUtime=0.65 cores=5,7
/proc/49632/stat : 49632 (pbsuma) R 49630 49630 48846 0 -1 4194304 23803 0 0 0 57 8 0 0 20 0 1 0 51446596 337932288 69854 18446744073709551615 4210688 4653049 140737346920048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37498880 140737346922723 140737346923058 140737346923058 140737346928623 0
/proc/49632/statm: 82503 69854 992 108 0 79911 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 334204 KiB
Current children cumulated memory: 282232 KiB

[startup+1.5002 s]
/proc/loadavg: 4.16 4.16 4.13 4/274 49633
/proc/meminfo: memFree=71990076/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=108384 memory=63100 CPUtime=0.55 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 12815 0 0 0 44 11 0 0 20 0 1 0 51446686 110985216 15775 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 27096 15775 2048 1147 0 14523 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 112576 KiB
Current children cumulated memory: 65916 KiB

[startup+3.10558 s]
/proc/loadavg: 4.31 4.19 4.14 5/275 49635
/proc/meminfo: memFree=71154208/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=265032 memory=205480 CPUtime=2.15 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 44805 0 0 0 169 46 0 0 20 0 1 0 51446686 271392768 51370 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 66258 51370 2048 1147 0 53685 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 269224 KiB
Current children cumulated memory: 208296 KiB

[startup+6.30021 s]
/proc/loadavg: 4.31 4.19 4.14 5/269 49669
/proc/meminfo: memFree=81808388/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1064968 memory=805224 CPUtime=5.34 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 89164 0 0 0 454 80 0 0 20 0 1 0 51446686 1090527232 201306 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 266242 201306 2368 1147 0 253669 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 808040 KiB

[startup+12.7002 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49729
/proc/meminfo: memFree=126541584/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1263740 memory=944604 CPUtime=11.72 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 102619 0 0 0 1065 107 0 0 20 0 1 0 51446686 1294069760 236151 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 315935 236151 2432 1147 0 303362 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1267932 KiB
Current children cumulated memory: 947420 KiB

[startup+25.5002 s]
/proc/loadavg: 4.50 4.24 4.16 5/277 49729
/proc/meminfo: memFree=125039716/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1365304 memory=1043020 CPUtime=24.48 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 113580 0 0 0 2300 148 0 0 20 0 1 0 51446686 1398071296 260755 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 341326 260755 2432 1147 0 328753 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1369496 KiB
Current children cumulated memory: 1045836 KiB

[startup+51.1057 s]
/proc/loadavg: 4.80 4.34 4.19 5/277 49729
/proc/meminfo: memFree=124511764/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1509820 memory=1161316 CPUtime=49.75 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 130963 0 0 0 4797 178 0 0 20 0 1 0 51446686 1546055680 290329 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 377455 290329 2432 1147 0 364882 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 1514012 KiB
Current children cumulated memory: 1164132 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.30 4.18 5/276 49731
/proc/meminfo: memFree=123077352/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1816836 memory=1420272 CPUtime=100.57 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 170272 0 0 0 9826 231 0 0 20 0 1 0 51446686 1860440064 355068 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 454209 355068 2464 1147 0 441636 0
Current children cumulated CPU time: 101.43 s
Current children cumulated vsize: 1821028 KiB
Current children cumulated memory: 1423088 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.26 4.18 5/276 49733
/proc/meminfo: memFree=120690368/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1865920 memory=1500180 CPUtime=160.41 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 179107 0 0 0 15760 281 0 0 20 0 1 0 51446686 1910702080 375045 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 466480 375045 2464 1147 0 453907 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 1870112 KiB
Current children cumulated memory: 1502996 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.22 4.17 5/275 49735
/proc/meminfo: memFree=119373756/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=1944088 memory=1587864 CPUtime=220.26 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 202838 0 0 0 21678 348 0 0 20 0 1 0 51446686 1990746112 396966 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.12 5/273 49902
/proc/meminfo: memFree=7003792/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3468256 memory=3140364 CPUtime=3270.86 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 441363 0 0 0 324186 2900 0 0 20 0 1 0 51446686 3551494144 785091 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 867064 785091 2560 1147 0 854491 0
Current children cumulated CPU time: 3271.72 s
Current children cumulated vsize: 3472448 KiB
Current children cumulated memory: 3143180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/273 49905
/proc/meminfo: memFree=5829156/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3372896 memory=3045240 CPUtime=3330.69 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 442048 0 0 0 330126 2943 0 0 20 0 1 0 51446686 3453845504 761310 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 843224 761310 2560 1147 0 830651 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 3377088 KiB
Current children cumulated memory: 3048056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.15 4.12 5/275 49915
/proc/meminfo: memFree=3489988/131249996 swapFree=33010684/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3372896 memory=3045240 CPUtime=3390.53 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 442304 0 0 0 336086 2967 0 0 20 0 1 0 51446686 3453845504 761310 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 843224 761310 2560 1147 0 830651 0
Current children cumulated CPU time: 3391.39 s
Current children cumulated vsize: 3377088 KiB
Current children cumulated memory: 3048056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/276 49918
/proc/meminfo: memFree=835844/131249996 swapFree=33010160/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3399056 memory=3071304 CPUtime=3450.38 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 448763 0 0 0 341938 3100 0 0 20 0 1 0 51446686 3480633344 767826 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849764 767826 2560 1147 0 837191 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 3403248 KiB
Current children cumulated memory: 3074120 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/276 49920
/proc/meminfo: memFree=718052/131249996 swapFree=33010160/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3398544 memory=3070792 CPUtime=3510.2 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 456619 0 0 0 347865 3155 0 0 20 0 1 0 51446686 3480109056 767698 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849636 767698 2560 1147 0 837063 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 3402736 KiB
Current children cumulated memory: 3073608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/275 49922
/proc/meminfo: memFree=774780/131249996 swapFree=33010160/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3396492 memory=3068740 CPUtime=3570.01 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 463915 0 0 0 353775 3226 0 0 20 0 1 0 51446686 3478007808 767185 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849123 767185 2560 1147 0 836550 0
Current children cumulated CPU time: 3570.87 s
Current children cumulated vsize: 3400684 KiB
Current children cumulated memory: 3071556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.15 4.13 4.11 9/275 49922
/proc/meminfo: memFree=634576/131249996 swapFree=33010160/33010684
[pid=49630] ppid=49627 vsize=4192 memory=2816 CPUtime=0.86 cores=5,7
/proc/49630/stat : 49630 (run-opt-ls-log.) S 49627 49630 48846 0 -1 4194304 243 28591 0 0 0 0 76 10 20 0 1 0 51446594 4292608 704 18446744073709551615 94068798300160 94068799194693 140731487739856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94068799433744 94068799481488 94068826480640 140731487746331 140731487746529 140731487746529 140731487752131 0
/proc/49630/statm: 1048 704 640 219 0 110 0
[pid=49633] ppid=49630 vsize=3396492 memory=3068740 CPUtime=3599.22 cores=5,7
/proc/49633/stat : 49633 (roundingsat) R 49630 49630 48846 0 -1 4194304 463915 0 0 0 356632 3290 0 0 20 0 1 0 51446686 3478007808 767185 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849123 767185 2560 1147 0 836550 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3400684 KiB
Current children cumulated memory: 3071556 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.768284 s, system=0.107586 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.14 4.13 4.11 3/272 49922
/proc/meminfo: memFree=752976/131249996 swapFree=33010160/33010684
[pid=49633] ppid=49627 vsize=3396492 memory=3068868 CPUtime=3599.66 cores=5,7
/proc/49633/stat : 49633 (roundingsat) D 49627 49630 48846 0 -1 4194304 463916 0 2 0 356633 3333 0 0 20 0 1 0 51446686 3478007808 767217 18446744073709551615 4227072 8923433 140732378840544 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 9
/proc/49633/statm: 849123 767217 2592 1147 0 836550 0
??? kill 49633 sig 9
??? end of watcher thread

[startup+3618.83 s]
# the end of solver process 49633 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.15 4.13 4.11 4/273 49922
/proc/meminfo: memFree=746860/131249996 swapFree=33010160/33010684
[pid=49633] ppid=49627 vsize=3396492 memory=3068868 CPUtime=3599.63 cores=5,7
/proc/49633/stat : 49633 (roundingsat) D 49627 49630 48846 0 -1 4194304 463916 0 2 0 356633 3330 0 0 20 0 1 0 51446686 3478007808 767217 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849123 767217 2592 1147 0 836550 0
Current cumulated CPU time of completed processes: 0.87587 s
Current children cumulated CPU time: 3599.63 s
Current children cumulated vsize: 3396492 KiB
Current children cumulated memory: 3068868 KiB

[startup+3613.2 s]
/proc/loadavg: 4.14 4.13 4.11 4/273 49922
/proc/meminfo: memFree=752148/131249996 swapFree=33010160/33010684
[pid=49633] ppid=49627 vsize=3396492 memory=3068868 CPUtime=3599.64 cores=5,7
/proc/49633/stat : 49633 (roundingsat) D 49627 49630 48846 0 -1 4194304 463916 0 2 0 356633 3331 0 0 20 0 1 0 51446686 3478007808 767217 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849123 767217 2592 1147 0 836550 0
Current cumulated CPU time of completed processes: 0.87587 s
Current children cumulated CPU time: 3599.64 s
Current children cumulated vsize: 3396492 KiB
Current children cumulated memory: 3068868 KiB

[startup+3613.6 s]
/proc/loadavg: 4.14 4.13 4.11 4/273 49922
/proc/meminfo: memFree=752148/131249996 swapFree=33010160/33010684
[pid=49633] ppid=49627 vsize=3396492 memory=3068868 CPUtime=3599.66 cores=5,7
/proc/49633/stat : 49633 (roundingsat) D 49627 49630 48846 0 -1 4194304 463916 0 2 0 356633 3333 0 0 20 0 1 0 51446686 3478007808 767217 18446744073709551615 4227072 8923433 140732378840544 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 38301696 140732378847478 140732378847784 140732378847784 140732378853354 0
/proc/49633/statm: 849123 767217 2592 1147 0 836550 0
Current cumulated CPU time of completed processes: 0.87587 s
Current children cumulated CPU time: 3599.66 s
Current children cumulated vsize: 3396492 KiB
Current children cumulated memory: 3068868 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3618.83
CPU time (s): 3600.88
CPU user time (s): 3567.11
CPU system time (s): 33.7685
CPU usage (%): 99.5038
Max. virtual memory (cumulated for all children) (KiB): 3492144
Max. memory (cumulated for all children) (KiB): 3143180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.11
system time used= 33.7685
maximum resident set size= 3140492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492750
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 64197728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88894
involuntary context switches= 4122


# summary of solver processes directly reported to runsolver:
#   pid: 49630,49633
#   total CPU time (s): 3600.88
#   total CPU user time (s): 3567.11
#   total CPU system time (s): 33.7685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01067 second user time and 18.1254 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 10:14:41
IDJOB=4489555
IDBENCH=147557
IDSOLVER=3356
FILE ID=nodeC029/4489555-1751357681
RUNJOBID= nodeC029-1751350437-48859
SLURM_JOB_ID= 9598138
Free space on /tmp= 432956 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489555-1751357681/watcher-4489555-1751357681 -o /tmp/evaluation-result-4489555-1751357681/solver-4489555-1751357681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48859 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489555-1751357681.opb PROOFDIR/proof-4489555-1751357681

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1450135855

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        72142584 kB
MemAvailable:   123640972 kB
Buffers:            3280 kB
Cached:         52247276 kB
SwapCached:            0 kB
Active:          6070552 kB
Inactive:       51989948 kB
Active(anon):    5828052 kB
Inactive(anon):        0 kB
Active(file):     242500 kB
Inactive(file): 51989948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            125368 kB
Writeback:       6941520 kB
AnonPages:       5810868 kB
Mapped:           116832 kB
Shmem:             18060 kB
KReclaimable:     210360 kB
Slab:             554496 kB
SReclaimable:     210360 kB
SUnreclaim:       344136 kB
KernelStack:        4416 kB
PageTables:        16048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7271932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150712 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4552704 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC029 at 2025-07-01 11:15:01