Trace number 4489557

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22adSAT (TO)356 3601 3620.15

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.04	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.04	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.04	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.04	c │      (c) 2025 Markus Anders                                    │
0.00/0.04	c └────────────────────────────────────────────────────────────────┘
0.00/0.04	c parse 'HOME/instance-4489557-1751357802.opb'
0.25/0.38	c 	read 17.23MB  (345.22ms)
0.25/0.38	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.25/0.39	c output proof to 'PROOFDIR/proof-4489557-1751357802'
0.25/0.39	c 
0.25/0.39	c make graph and approximate orbits
0.72/0.86	c	 [group: #orbits ~= 0] (469.49ms)
0.72/0.86	c 
0.72/0.86	c detect special group actions
0.72/0.86	c 	probe for Johnson action (limit=64)
0.72/0.87	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.72/0.88	c 	probe for row symmetry (limit=64, splits=16.78M)
0.72/0.89	c 	 (23.84ms)
0.72/0.89	c 
0.72/0.89	c detect symmetries on remainder
0.72/0.89	c 	[graph: #vertices 706700 #edges 2766398]
0.72/0.89	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.82/0.94	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.09ms)
0.82/0.94	c 
0.82/0.94	c finalize break order and special generators
0.82/0.94	c 
0.82/0.94	c generation finished
0.82/0.94	c 	[sbp: #constraints 0 #add_vars 0]
0.82/0.94	c 
0.82/0.94	c write result to 'HOME/instance-4489557-1751357802.opb.pre'
0.82/0.98	c 	wrote 17.23MB (36.95ms)
0.82/0.98	c ------------------------------------------------------------------
0.82/0.98	c                 469.49ms 49.95% approx_orbits
0.82/0.98	c                 345.22ms 36.73% parse
0.82/0.98	c                  53.09ms  5.65% detect_generic
0.82/0.98	c                  36.95ms  3.93% output
0.82/0.98	c                  23.84ms  2.54% detect_special
0.82/0.98	c                  11.01ms  1.17% other
0.82/0.98	c                   0.38ms  0.04% finalize_order
0.82/0.98	c         ───────────────────────────────────────────────
0.82/0.98	c                 939.97ms   100% total
0.82/0.98	c ------------------------------------------------------------------
1.02/1.18	c RoundingSat 2
1.02/1.18	c branch pb25
1.02/1.18	c commit 63f22ad
4.64/4.85	c #variables 10000 #constraints 656900
4.64/4.85	c objective is ce32 
4.64/4.85	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.64/4.85	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.64/4.85	c bounds - >= 0 @ 2.95474
6.33/6.52	c rational objective 177.855
10.61/10.89	c bounds 6353 >= 0 @ 8.84682
10.71/10.91	c bounds 6286 >= 0 @ 8.86767
10.71/10.92	c bounds 6245 >= 0 @ 8.87258
10.71/10.94	c bounds 6241 >= 0 @ 8.89408
10.71/10.95	c bounds 6008 >= 0 @ 8.89957
10.71/10.96	c bounds 5917 >= 0 @ 8.90625
10.71/10.96	c bounds 5849 >= 0 @ 8.91403
10.71/10.97	c bounds 5721 >= 0 @ 8.91946
10.71/10.98	c bounds 5674 >= 0 @ 8.9254
10.71/10.99	c bounds 5652 >= 0 @ 8.93747
10.82/11.00	c bounds 5563 >= 0 @ 8.94316
10.82/11.02	c bounds 5531 >= 0 @ 8.96026
10.82/11.03	c bounds 5482 >= 0 @ 8.97046
10.82/11.04	c bounds 5256 >= 0 @ 8.97601
10.82/11.05	c bounds 5135 >= 0 @ 8.98262
10.82/11.05	c bounds 5116 >= 0 @ 8.98661
10.82/11.06	c bounds 4945 >= 0 @ 8.99169
10.82/11.08	c bounds 4944 >= 0 @ 9.00311
10.82/11.08	c bounds 4859 >= 0 @ 9.00871
10.82/11.09	c bounds 4790 >= 0 @ 9.01277
10.91/11.10	c bounds 4783 >= 0 @ 9.02068
10.91/11.11	c bounds 4288 >= 0 @ 9.02793
11.01/11.23	c bounds 4270 >= 0 @ 9.14063
11.01/11.25	c bounds 4196 >= 0 @ 9.14785
11.01/11.25	c bounds 4195 >= 0 @ 9.15246
11.01/11.26	c bounds 4163 >= 0 @ 9.15694
11.22/11.44	c bounds 4159 >= 0 @ 9.32134
11.22/11.45	c bounds 4158 >= 0 @ 9.32767
11.22/11.46	c bounds 4045 >= 0 @ 9.33256
11.22/11.47	c bounds 4030 >= 0 @ 9.34197
11.22/11.48	c bounds 3916 >= 0 @ 9.34966
11.22/11.49	c bounds 3914 >= 0 @ 9.35641
11.31/11.50	c bounds 3843 >= 0 @ 9.3652
11.31/11.52	c bounds 3835 >= 0 @ 9.38708
11.31/11.54	c bounds 3834 >= 0 @ 9.40421
11.31/11.55	c bounds 3758 >= 0 @ 9.40871
11.41/11.65	c bounds 3649 >= 0 @ 9.50144
11.41/11.67	c bounds 3640 >= 0 @ 9.5188
11.41/11.69	c bounds 3552 >= 0 @ 9.52747
11.51/11.70	c bounds 3398 >= 0 @ 9.53514
11.51/11.70	c bounds 3391 >= 0 @ 9.53991
11.51/11.72	c bounds 3371 >= 0 @ 9.55549
11.51/11.74	c bounds 3369 >= 0 @ 9.5716
11.51/11.75	c bounds 3263 >= 0 @ 9.57829
11.51/11.76	c bounds 3260 >= 0 @ 9.58753
11.61/11.80	c bounds 3246 >= 0 @ 9.6179
11.61/11.80	c bounds 3245 >= 0 @ 9.62291
11.71/11.94	c bounds 3203 >= 0 @ 9.75971
11.71/11.95	c bounds 3146 >= 0 @ 9.76817
11.71/11.96	c bounds 3063 >= 0 @ 9.77468
11.71/11.98	c bounds 3045 >= 0 @ 9.79089
11.71/11.99	c bounds 2965 >= 0 @ 9.80062
11.82/12.02	c bounds 2929 >= 0 @ 9.82009
11.82/12.03	c bounds 2926 >= 0 @ 9.83245
11.82/12.04	c bounds 2925 >= 0 @ 9.83663
11.92/12.15	c bounds 2905 >= 0 @ 9.94482
11.92/12.16	c bounds 2903 >= 0 @ 9.95027
12.11/12.38	c bounds 2902 >= 0 @ 10.1639
12.11/12.40	c bounds 2812 >= 0 @ 10.171
12.51/12.70	c bounds 2804 >= 0 @ 10.4667
12.51/12.72	c bounds 2798 >= 0 @ 10.4771
12.51/12.78	c bounds 2759 >= 0 @ 10.5405
12.51/12.79	c bounds 2731 >= 0 @ 10.549
12.61/12.88	c bounds 2725 >= 0 @ 10.635
12.61/12.89	c bounds 2692 >= 0 @ 10.6413
13.10/13.36	c bounds 2665 >= 0 @ 11.1
13.30/13.58	c bounds 2658 >= 0 @ 11.3086
13.41/13.61	c bounds 2641 >= 0 @ 11.3318
13.41/13.62	c bounds 2631 >= 0 @ 11.3413
13.41/13.63	c bounds 2587 >= 0 @ 11.3485
13.41/13.64	c bounds 2554 >= 0 @ 11.3579
13.41/13.65	c bounds 2552 >= 0 @ 11.3628
13.41/13.66	c bounds 2433 >= 0 @ 11.371
13.60/13.82	c bounds 2417 >= 0 @ 11.5268
13.70/13.92	c bounds 2401 >= 0 @ 11.633
13.70/13.94	c bounds 2388 >= 0 @ 11.646
13.70/13.95	c bounds 2370 >= 0 @ 11.6537
13.70/13.96	c bounds 2323 >= 0 @ 11.6617
13.70/13.98	c bounds 2255 >= 0 @ 11.6696
13.70/13.98	c bounds 2229 >= 0 @ 11.6757
13.70/13.99	c bounds 2152 >= 0 @ 11.6836
13.80/14.01	c bounds 2139 >= 0 @ 11.698
13.80/14.02	c bounds 2080 >= 0 @ 11.704
13.80/14.03	c bounds 2038 >= 0 @ 11.7099
13.80/14.04	c bounds 2022 >= 0 @ 11.7151
13.80/14.05	c bounds 2007 >= 0 @ 11.7226
13.80/14.06	c bounds 1991 >= 0 @ 11.7267
13.91/14.16	c bounds 1988 >= 0 @ 11.8237
13.91/14.17	c bounds 1981 >= 0 @ 11.8366
13.91/14.18	c bounds 1959 >= 0 @ 11.8426
14.01/14.20	c bounds 1950 >= 0 @ 11.8576
14.01/14.21	c bounds 1863 >= 0 @ 11.8671
14.01/14.24	c bounds 1843 >= 0 @ 11.8863
14.01/14.25	c bounds 1827 >= 0 @ 11.8909
14.01/14.26	c bounds 1685 >= 0 @ 11.8979
14.11/14.33	c bounds 1676 >= 0 @ 11.9646
14.11/14.34	c bounds 1634 >= 0 @ 11.9735
14.11/14.35	c bounds 1518 >= 0 @ 11.9811
14.11/14.36	c bounds 1445 >= 0 @ 11.9887
14.11/14.38	c bounds 1444 >= 0 @ 11.9963
14.21/14.48	c bounds 1437 >= 0 @ 12.0931
14.30/14.51	c bounds 1344 >= 0 @ 12.1183
14.30/14.52	c bounds 1337 >= 0 @ 12.1241
14.30/14.53	c bounds 1331 >= 0 @ 12.131
14.30/14.54	c bounds 1315 >= 0 @ 12.1417
14.30/14.55	c bounds 1283 >= 0 @ 12.1484
14.30/14.56	c bounds 1281 >= 0 @ 12.1555
14.30/14.57	c bounds 1170 >= 0 @ 12.1639
14.80/15.08	c bounds 1163 >= 0 @ 12.6614
14.91/15.19	c bounds 1140 >= 0 @ 12.7605
15.00/15.20	c bounds 1061 >= 0 @ 12.77
15.00/15.21	c bounds 971 >= 0 @ 12.7766
15.00/15.25	c bounds 969 >= 0 @ 12.8053
15.00/15.27	c bounds 941 >= 0 @ 12.8188
15.50/15.77	c #Conflicts:       1000 | #Constraints:     658028
15.50/15.77	c bounds 810 >= 0 @ 13.2987
15.60/15.83	c bounds 725 >= 0 @ 13.3501
15.90/16.19	c bounds 627 >= 0 @ 13.6833
16.50/16.73	c bounds 550 >= 0 @ 14.2075
17.69/17.97	c #Conflicts:       2000 | #Constraints:     659032
17.69/17.97	c INPROCESSING
17.69/17.97	c GARBAGE COLLECT
17.69/17.97	c bounds 549 >= 0 @ 15.4162
18.19/18.41	c bounds 546 >= 0 @ 15.8526
21.28/21.54	c #Conflicts:       3000 | #Constraints:     658917
21.28/21.54	c bounds 496 >= 0 @ 18.9191
21.28/21.55	c bounds 491 >= 0 @ 18.9257
21.28/21.58	c bounds 490 >= 0 @ 18.9487
21.28/21.59	c bounds 483 >= 0 @ 18.9557
21.38/21.61	c bounds 481 >= 0 @ 18.9732
21.48/21.73	c bounds 480 >= 0 @ 19.0849
22.79/23.06	c bounds 476 >= 0 @ 20.3895
28.66/28.96	c #Conflicts:       4000 | #Constraints:     659925
28.66/28.96	c INPROCESSING
28.66/28.96	c GARBAGE COLLECT
28.66/28.96	c #Conflicts:       5000 | #Constraints:     659315
28.66/28.96	c bounds 413 >= 0 @ 26.185
35.54/35.84	c #Conflicts:       6000 | #Constraints:     660316
35.54/35.84	c INPROCESSING
35.54/35.84	c GARBAGE COLLECT
35.54/35.84	c bounds 412 >= 0 @ 32.9901
36.82/37.29	c bounds 410 >= 0 @ 34.2994
47.39/47.89	c #Conflicts:       7000 | #Constraints:     659325
47.39/47.89	c #Conflicts:       8000 | #Constraints:     660325
47.39/47.89	c #Conflicts:       9000 | #Constraints:     661325
47.39/47.89	c INPROCESSING
47.39/47.89	c GARBAGE COLLECT
47.39/47.89	c rational objective 179.482
52.87/53.33	c bounds 409 >= 0 @ 50.1603
52.87/53.35	c bounds 409 >= 5 @ 50.1685
52.87/53.36	c bounds 409 >= 10 @ 50.1773
52.87/53.38	c bounds 409 >= 15 @ 50.1899
55.17/55.65	c #Conflicts:      10000 | #Constraints:     660046
55.17/55.65	c bounds 409 >= 20 @ 52.4174
66.69/67.27	c #Conflicts:      11000 | #Constraints:     661058
66.69/67.27	c #Conflicts:      12000 | #Constraints:     662058
66.69/67.27	c INPROCESSING
66.69/67.27	c GARBAGE COLLECT
66.69/67.27	c rational objective 181.394
72.38/72.99	c bounds 408 >= 20 @ 69.4529
72.48/73.08	c bounds 407 >= 20 @ 69.539
72.58/73.14	c bounds 403 >= 20 @ 69.5843
72.68/73.23	c bounds 402 >= 20 @ 69.6741
74.87/75.44	c bounds 401 >= 20 @ 71.8165
79.65/80.24	c #Conflicts:      13000 | #Constraints:     660530
79.65/80.24	c bounds 399 >= 20 @ 76.5172
79.65/80.27	c bounds 399 >= 24 @ 76.5287
87.44/88.01	c #Conflicts:      14000 | #Constraints:     661535
87.44/88.01	c #Conflicts:      15000 | #Constraints:     662535
87.44/88.01	c INPROCESSING
87.44/88.01	c GARBAGE COLLECT
87.44/88.01	c rational objective 182.798
105.50/106.13	c #Conflicts:      16000 | #Constraints:     660743
105.50/106.13	c #Conflicts:      17000 | #Constraints:     661743
105.50/106.13	c #Conflicts:      18000 | #Constraints:     662743
105.50/106.13	c INPROCESSING
105.50/106.13	c GARBAGE COLLECT
105.50/106.13	c rational objective 182.804
113.77/114.45	c #Conflicts:      19000 | #Constraints:     660751
113.77/114.45	c bounds 395 >= 24 @ 110.433
113.77/114.47	c bounds 395 >= 27 @ 110.446
127.23/127.91	c #Conflicts:      20000 | #Constraints:     661755
127.23/127.91	c #Conflicts:      21000 | #Constraints:     662755
127.23/127.91	c INPROCESSING
127.23/127.91	c GARBAGE COLLECT
127.23/127.91	c rational objective 182.959
150.46/151.28	c #Conflicts:      22000 | #Constraints:     660556
150.46/151.28	c #Conflicts:      23000 | #Constraints:     661556
150.46/151.28	c #Conflicts:      24000 | #Constraints:     662556
150.46/151.28	c #Conflicts:      25000 | #Constraints:     663556
150.46/151.28	c INPROCESSING
150.46/151.28	c GARBAGE COLLECT
150.46/151.28	c rational objective 182.96
156.95/157.73	c bounds 394 >= 27 @ 153.23
156.95/157.75	c bounds 391 >= 27 @ 153.245
157.05/157.85	c bounds 383 >= 27 @ 153.336
157.15/157.91	c bounds 380 >= 27 @ 153.39
157.15/157.95	c bounds 374 >= 27 @ 153.432
159.14/160.06	c bounds 372 >= 27 @ 155.391
159.14/160.07	c bounds 372 >= 29 @ 155.401
159.14/160.09	c bounds 372 >= 31 @ 155.406
159.24/160.11	c bounds 372 >= 33 @ 155.419
159.24/160.12	c bounds 372 >= 35 @ 155.431
159.24/160.14	c bounds 372 >= 37 @ 155.445
159.24/160.16	c bounds 372 >= 39 @ 155.458
159.24/160.19	c bounds 372 >= 41 @ 155.484
159.33/160.27	c bounds 372 >= 43 @ 155.548
160.63/161.55	c bounds 372 >= 45 @ 156.815
161.14/162.08	c #Conflicts:      26000 | #Constraints:     661239
161.14/162.08	c bounds 372 >= 47 @ 157.329
164.42/165.38	c bounds 372 >= 49 @ 160.581
241.91/243.05	c #Conflicts:      27000 | #Constraints:     662286
241.91/243.05	c #Conflicts:      28000 | #Constraints:     663287
241.91/243.05	c #Conflicts:      29000 | #Constraints:     664289
241.91/243.05	c INPROCESSING
241.91/243.05	c GARBAGE COLLECT
241.91/243.05	c #Conflicts:      30000 | #Constraints:     661661
241.91/243.05	c bounds 369 >= 49 @ 237.598
241.91/243.07	c bounds 369 >= 50 @ 237.608
241.91/243.09	c bounds 369 >= 51 @ 237.625
242.01/243.11	c bounds 369 >= 52 @ 237.637
242.01/243.12	c bounds 369 >= 53 @ 237.642
242.01/243.14	c bounds 369 >= 54 @ 237.653
242.01/243.16	c bounds 369 >= 55 @ 237.661
242.01/243.17	c bounds 369 >= 56 @ 237.672
242.01/243.19	c bounds 369 >= 57 @ 237.685
242.10/243.21	c bounds 369 >= 58 @ 237.694
242.10/243.23	c bounds 369 >= 59 @ 237.703
242.10/243.24	c bounds 369 >= 60 @ 237.712
242.10/243.26	c bounds 369 >= 61 @ 237.727
242.10/243.28	c bounds 369 >= 62 @ 237.745
242.20/243.31	c bounds 369 >= 63 @ 237.763
242.20/243.34	c bounds 369 >= 64 @ 237.788
242.20/243.38	c bounds 369 >= 65 @ 237.818
242.30/243.41	c bounds 369 >= 66 @ 237.848
242.30/243.46	c bounds 369 >= 67 @ 237.884
242.30/243.49	c bounds 369 >= 68 @ 237.906
242.40/243.55	c bounds 369 >= 69 @ 237.961
243.80/244.91	c bounds 369 >= 70 @ 239.301
243.80/244.96	c bounds 369 >= 71 @ 239.343
243.90/245.03	c bounds 369 >= 72 @ 239.414
244.00/245.14	c bounds 369 >= 73 @ 239.512
244.19/245.35	c bounds 369 >= 74 @ 239.714
244.59/245.77	c bounds 369 >= 75 @ 240.098
245.09/246.26	c #Conflicts:      31000 | #Constraints:     662879
245.09/246.26	c bounds 369 >= 76 @ 240.561
246.09/247.22	c bounds 369 >= 77 @ 241.49
249.18/250.33	c bounds 369 >= 78 @ 244.562
250.48/251.70	c bounds 369 >= 79 @ 245.871
255.87/257.09	c #Conflicts:      32000 | #Constraints:     663979
255.87/257.09	c bounds 369 >= 80 @ 251.174
406.28/407.92	c #Conflicts:      33000 | #Constraints:     665010
406.28/407.92	c INPROCESSING
406.28/407.92	c GARBAGE COLLECT
406.28/407.92	c rational objective 182.961
413.37/415.08	c bounds 369 >= 81 @ 408.38
427.12/428.86	c bounds 369 >= 82 @ 422.041
430.32/432.00	c #Conflicts:      34000 | #Constraints:     662170
430.32/432.00	c bounds 369 >= 83 @ 425.124
437.10/438.88	c #Conflicts:      35000 | #Constraints:     663194
437.10/438.88	c #Conflicts:      36000 | #Constraints:     664194
437.10/438.88	c bounds 369 >= 84 @ 431.849
457.85/459.66	c #Conflicts:      37000 | #Constraints:     665233
457.85/459.66	c INPROCESSING
457.85/459.66	c GARBAGE COLLECT
457.85/459.66	c #Conflicts:      38000 | #Constraints:     662153
457.85/459.66	c #Conflicts:      39000 | #Constraints:     663154
457.85/459.66	c bounds 369 >= 85 @ 452.305
482.48/484.38	c #Conflicts:      40000 | #Constraints:     664205
482.48/484.38	c #Conflicts:      41000 | #Constraints:     665205
482.48/484.38	c INPROCESSING
482.48/484.38	c GARBAGE COLLECT
482.48/484.38	c #Conflicts:      42000 | #Constraints:     661952
482.48/484.38	c #Conflicts:      43000 | #Constraints:     662952
482.48/484.38	c bounds 369 >= 86 @ 476.563
513.39/515.38	c #Conflicts:      44000 | #Constraints:     664000
513.39/515.38	c #Conflicts:      45000 | #Constraints:     665000
513.39/515.38	c #Conflicts:      46000 | #Constraints:     666000
513.39/515.38	c INPROCESSING
513.39/515.38	c GARBAGE COLLECT
513.39/515.38	c bounds 368 >= 86 @ 507.037
548.49/550.59	c #Conflicts:      47000 | #Constraints:     662571
548.49/550.59	c #Conflicts:      48000 | #Constraints:     663571
548.49/550.59	c #Conflicts:      49000 | #Constraints:     664572
548.49/550.59	c #Conflicts:      50000 | #Constraints:     665572
548.49/550.59	c #Conflicts:      51000 | #Constraints:     666572
548.49/550.59	c INPROCESSING
548.49/550.59	c GARBAGE COLLECT
548.49/550.59	c rational objective 182.962
556.27/558.32	c bounds 365 >= 86 @ 549.209
560.06/562.16	c bounds 363 >= 86 @ 552.967
572.22/574.39	c #Conflicts:      52000 | #Constraints:     662965
572.22/574.39	c bounds 360 >= 86 @ 564.956
591.57/593.75	c #Conflicts:      53000 | #Constraints:     663987
591.57/593.75	c #Conflicts:      54000 | #Constraints:     664987
591.57/593.75	c #Conflicts:      55000 | #Constraints:     665987
591.57/593.75	c bounds 360 >= 87 @ 583.917
600.25/602.42	c #Conflicts:      56000 | #Constraints:     667041
600.25/602.42	c INPROCESSING
600.25/602.42	c GARBAGE COLLECT
600.25/602.42	c rational objective 182.961
657.85/660.24	c #Conflicts:      57000 | #Constraints:     663194
657.85/660.24	c #Conflicts:      58000 | #Constraints:     664197
657.85/660.24	c #Conflicts:      59000 | #Constraints:     665197
657.85/660.24	c #Conflicts:      60000 | #Constraints:     666199
657.85/660.24	c #Conflicts:      61000 | #Constraints:     667199
657.85/660.24	c INPROCESSING
657.85/660.24	c GARBAGE COLLECT
657.85/660.24	c rational objective 183.333
663.64/666.02	c bounds 358 >= 87 @ 655.056
690.85/693.33	c #Conflicts:      62000 | #Constraints:     663176
690.85/693.33	c #Conflicts:      63000 | #Constraints:     664181
690.85/693.33	c #Conflicts:      64000 | #Constraints:     665197
690.85/693.33	c bounds 357 >= 87 @ 681.926
722.24/724.82	c #Conflicts:      65000 | #Constraints:     666200
722.24/724.82	c #Conflicts:      66000 | #Constraints:     667200
722.24/724.82	c INPROCESSING
722.24/724.82	c GARBAGE COLLECT
722.24/724.82	c rational objective 187.165
835.85/838.85	c #Conflicts:      67000 | #Constraints:     662977
835.85/838.85	c #Conflicts:      68000 | #Constraints:     663980
835.85/838.85	c #Conflicts:      69000 | #Constraints:     664980
835.85/838.85	c #Conflicts:      70000 | #Constraints:     665983
835.85/838.85	c #Conflicts:      71000 | #Constraints:     666983
835.85/838.85	c #Conflicts:      72000 | #Constraints:     667983
835.85/838.85	c INPROCESSING
835.85/838.85	c GARBAGE COLLECT
835.85/838.85	c rational objective 187.451
904.94/908.13	c #Conflicts:      73000 | #Constraints:     663573
904.94/908.13	c #Conflicts:      74000 | #Constraints:     664574
904.94/908.13	c #Conflicts:      75000 | #Constraints:     665574
904.94/908.13	c #Conflicts:      76000 | #Constraints:     666574
904.94/908.13	c #Conflicts:      77000 | #Constraints:     667575
904.94/908.13	c #Conflicts:      78000 | #Constraints:     668578
904.94/908.13	c INPROCESSING
904.94/908.13	c GARBAGE COLLECT
904.94/908.13	c rational objective 187.455
917.80/921.01	c #Conflicts:      79000 | #Constraints:     663972
917.80/921.01	c bounds 357 >= 88 @ 906.39
1117.13/1121.04	c #Conflicts:      80000 | #Constraints:     665033
1117.13/1121.04	c #Conflicts:      81000 | #Constraints:     666033
1117.13/1121.04	c #Conflicts:      82000 | #Constraints:     667035
1117.13/1121.04	c #Conflicts:      83000 | #Constraints:     668035
1117.13/1121.04	c #Conflicts:      84000 | #Constraints:     669036
1117.13/1121.04	c INPROCESSING
1117.13/1121.04	c GARBAGE COLLECT
1117.13/1121.04	c #Conflicts:      85000 | #Constraints:     664209
1117.13/1121.04	c #Conflicts:      86000 | #Constraints:     665215
1117.13/1121.04	c #Conflicts:      87000 | #Constraints:     666222
1117.13/1121.04	c #Conflicts:      88000 | #Constraints:     667228
1117.13/1121.04	c #Conflicts:      89000 | #Constraints:     668232
1117.13/1121.04	c #Conflicts:      90000 | #Constraints:     669237
1117.13/1121.04	c INPROCESSING
1117.13/1121.04	c GARBAGE COLLECT
1117.13/1121.04	c rational objective 182.029
1169.16/1173.20	c #Conflicts:      91000 | #Constraints:     664235
1169.16/1173.20	c #Conflicts:      92000 | #Constraints:     665235
1169.16/1173.20	c #Conflicts:      93000 | #Constraints:     666235
1169.16/1173.20	c #Conflicts:      94000 | #Constraints:     667235
1169.16/1173.20	c #Conflicts:      95000 | #Constraints:     668235
1169.16/1173.20	c #Conflicts:      96000 | #Constraints:     669235
1169.16/1173.20	c INPROCESSING
1169.16/1173.20	c GARBAGE COLLECT
1169.16/1173.20	c rational objective 182.754
1186.10/1190.26	c #Conflicts:      97000 | #Constraints:     664021
1186.10/1190.26	c #Conflicts:      98000 | #Constraints:     665021
1186.10/1190.26	c bounds 357 >= 89 @ 1172.12
1227.26/1231.55	c #Conflicts:      99000 | #Constraints:     666060
1227.26/1231.55	c #Conflicts:     100000 | #Constraints:     667060
1227.26/1231.55	c #Conflicts:     101000 | #Constraints:     668060
1227.26/1231.55	c #Conflicts:     102000 | #Constraints:     669060
1227.26/1231.55	c #Conflicts:     103000 | #Constraints:     670060
1227.26/1231.55	c INPROCESSING
1227.26/1231.55	c GARBAGE COLLECT
1227.26/1231.55	c rational objective 182.92
1336.56/1341.25	c #Conflicts:     104000 | #Constraints:     664623
1336.56/1341.25	c #Conflicts:     105000 | #Constraints:     665625
1336.56/1341.25	c #Conflicts:     106000 | #Constraints:     666626
1336.56/1341.25	c #Conflicts:     107000 | #Constraints:     667626
1336.56/1341.25	c #Conflicts:     108000 | #Constraints:     668626
1336.56/1341.25	c #Conflicts:     109000 | #Constraints:     669629
1336.56/1341.25	c #Conflicts:     110000 | #Constraints:     670630
1336.56/1341.25	c INPROCESSING
1336.56/1341.25	c GARBAGE COLLECT
1336.56/1341.25	c rational objective 182.926
1409.42/1414.31	c #Conflicts:     111000 | #Constraints:     665024
1409.42/1414.31	c #Conflicts:     112000 | #Constraints:     666025
1409.42/1414.31	c #Conflicts:     113000 | #Constraints:     667026
1409.42/1414.31	c #Conflicts:     114000 | #Constraints:     668027
1409.42/1414.31	c #Conflicts:     115000 | #Constraints:     669028
1409.42/1414.31	c #Conflicts:     116000 | #Constraints:     670029
1409.42/1414.31	c bounds 357 >= 90 @ 1392.75
1426.25/1431.21	c #Conflicts:     117000 | #Constraints:     671054
1426.25/1431.21	c INPROCESSING
1426.25/1431.21	c GARBAGE COLLECT
1426.25/1431.21	c rational objective 182.926
1536.77/1542.17	c #Conflicts:     118000 | #Constraints:     665231
1536.77/1542.17	c #Conflicts:     119000 | #Constraints:     666233
1536.77/1542.17	c #Conflicts:     120000 | #Constraints:     667233
1536.77/1542.17	c #Conflicts:     121000 | #Constraints:     668233
1536.77/1542.17	c #Conflicts:     122000 | #Constraints:     669233
1536.77/1542.17	c #Conflicts:     123000 | #Constraints:     670233
1536.77/1542.17	c #Conflicts:     124000 | #Constraints:     671233
1536.77/1542.17	c INPROCESSING
1536.77/1542.17	c GARBAGE COLLECT
1536.77/1542.17	c rational objective 182.946
1804.83/1811.12	c #Conflicts:     125000 | #Constraints:     665228
1804.83/1811.12	c #Conflicts:     126000 | #Constraints:     666229
1804.83/1811.12	c #Conflicts:     127000 | #Constraints:     667229
1804.83/1811.12	c #Conflicts:     128000 | #Constraints:     668229
1804.83/1811.12	c #Conflicts:     129000 | #Constraints:     669229
1804.83/1811.12	c #Conflicts:     130000 | #Constraints:     670229
1804.83/1811.12	c #Conflicts:     131000 | #Constraints:     671229
1804.83/1811.12	c INPROCESSING
1804.83/1811.12	c GARBAGE COLLECT
1804.83/1811.12	c bounds 357 >= 91 @ 1785.79
1991.30/1998.22	c #Conflicts:     132000 | #Constraints:     665069
1991.30/1998.22	c #Conflicts:     133000 | #Constraints:     666069
1991.30/1998.22	c #Conflicts:     134000 | #Constraints:     667070
1991.30/1998.22	c #Conflicts:     135000 | #Constraints:     668071
1991.30/1998.22	c #Conflicts:     136000 | #Constraints:     669071
1991.30/1998.22	c #Conflicts:     137000 | #Constraints:     670072
1991.30/1998.22	c #Conflicts:     138000 | #Constraints:     671072
1991.30/1998.22	c #Conflicts:     139000 | #Constraints:     672072
1991.30/1998.22	c INPROCESSING
1991.30/1998.22	c GARBAGE COLLECT
1991.30/1998.22	c rational objective 182.948
2086.73/2093.92	c #Conflicts:     140000 | #Constraints:     665676
2086.73/2093.92	c #Conflicts:     141000 | #Constraints:     666676
2086.73/2093.92	c #Conflicts:     142000 | #Constraints:     667678
2086.73/2093.92	c #Conflicts:     143000 | #Constraints:     668678
2086.73/2093.92	c #Conflicts:     144000 | #Constraints:     669679
2086.73/2093.92	c #Conflicts:     145000 | #Constraints:     670680
2086.73/2093.92	c #Conflicts:     146000 | #Constraints:     671680
2086.73/2093.92	c #Conflicts:     147000 | #Constraints:     672681
2086.73/2093.92	c INPROCESSING
2086.73/2093.92	c GARBAGE COLLECT
2086.73/2093.92	c rational objective 182.972
2165.38/2172.82	c #Conflicts:     148000 | #Constraints:     666070
2165.38/2172.82	c #Conflicts:     149000 | #Constraints:     667072
2165.38/2172.82	c #Conflicts:     150000 | #Constraints:     668072
2165.38/2172.82	c #Conflicts:     151000 | #Constraints:     669072
2165.38/2172.82	c #Conflicts:     152000 | #Constraints:     670072
2165.38/2172.82	c #Conflicts:     153000 | #Constraints:     671073
2165.38/2172.82	c #Conflicts:     154000 | #Constraints:     672073
2165.38/2172.82	c #Conflicts:     155000 | #Constraints:     673073
2165.38/2172.82	c INPROCESSING
2165.38/2172.82	c GARBAGE COLLECT
2165.38/2172.82	c rational objective 182.972
2312.35/2320.27	c #Conflicts:     156000 | #Constraints:     666264
2312.35/2320.27	c #Conflicts:     157000 | #Constraints:     667266
2312.35/2320.27	c #Conflicts:     158000 | #Constraints:     668267
2312.35/2320.27	c #Conflicts:     159000 | #Constraints:     669268
2312.35/2320.27	c #Conflicts:     160000 | #Constraints:     670268
2312.35/2320.27	c #Conflicts:     161000 | #Constraints:     671269
2312.35/2320.27	c #Conflicts:     162000 | #Constraints:     672270
2312.35/2320.27	c #Conflicts:     163000 | #Constraints:     673270
2312.35/2320.27	c INPROCESSING
2312.35/2320.27	c GARBAGE COLLECT
2312.35/2320.27	c rational objective 182.972
2355.32/2363.30	c #Conflicts:     164000 | #Constraints:     666267
2355.32/2363.30	c #Conflicts:     165000 | #Constraints:     667267
2355.32/2363.30	c #Conflicts:     166000 | #Constraints:     668287
2355.32/2363.30	c bounds 356 >= 91 @ 2330.99
2407.87/2416.07	c #Conflicts:     167000 | #Constraints:     669381
2407.87/2416.07	c #Conflicts:     168000 | #Constraints:     670381
2407.87/2416.07	c #Conflicts:     169000 | #Constraints:     671382
2407.87/2416.07	c #Conflicts:     170000 | #Constraints:     672382
2407.87/2416.07	c #Conflicts:     171000 | #Constraints:     673382
2407.87/2416.07	c INPROCESSING
2407.87/2416.07	c GARBAGE COLLECT
2407.87/2416.07	c rational objective 182.972
2496.33/2504.71	c #Conflicts:     172000 | #Constraints:     666125
2496.33/2504.71	c #Conflicts:     173000 | #Constraints:     667125
2496.33/2504.71	c #Conflicts:     174000 | #Constraints:     668125
2496.33/2504.71	c #Conflicts:     175000 | #Constraints:     669125
2496.33/2504.71	c #Conflicts:     176000 | #Constraints:     670125
2496.33/2504.71	c #Conflicts:     177000 | #Constraints:     671126
2496.33/2504.71	c #Conflicts:     178000 | #Constraints:     672126
2496.33/2504.71	c #Conflicts:     179000 | #Constraints:     673126
2496.33/2504.71	c #Conflicts:     180000 | #Constraints:     674128
2496.33/2504.71	c INPROCESSING
2496.33/2504.71	c GARBAGE COLLECT
2496.33/2504.71	c rational objective 182.972
2616.49/2625.30	c #Conflicts:     181000 | #Constraints:     666702
2616.49/2625.30	c #Conflicts:     182000 | #Constraints:     667703
2616.49/2625.30	c #Conflicts:     183000 | #Constraints:     668705
2616.49/2625.30	c #Conflicts:     184000 | #Constraints:     669705
2616.49/2625.30	c #Conflicts:     185000 | #Constraints:     670706
2616.49/2625.30	c #Conflicts:     186000 | #Constraints:     671707
2616.49/2625.30	c #Conflicts:     187000 | #Constraints:     672708
2616.49/2625.30	c #Conflicts:     188000 | #Constraints:     673709
2616.49/2625.30	c #Conflicts:     189000 | #Constraints:     674710
2616.49/2625.30	c INPROCESSING
2616.49/2625.30	c GARBAGE COLLECT
2616.49/2625.30	c rational objective 182.972
2669.16/2678.05	c #Conflicts:     190000 | #Constraints:     667082
2669.16/2678.05	c #Conflicts:     191000 | #Constraints:     668082
2669.16/2678.05	c #Conflicts:     192000 | #Constraints:     669082
2669.16/2678.05	c #Conflicts:     193000 | #Constraints:     670082
2669.16/2678.05	c #Conflicts:     194000 | #Constraints:     671082
2669.16/2678.05	c bounds 356 >= 92 @ 2641.06
2701.07/2710.01	c #Conflicts:     195000 | #Constraints:     672145
2701.07/2710.01	c #Conflicts:     196000 | #Constraints:     673146
2701.07/2710.01	c #Conflicts:     197000 | #Constraints:     674146
2701.07/2710.01	c #Conflicts:     198000 | #Constraints:     675146
2701.07/2710.01	c INPROCESSING
2701.07/2710.01	c GARBAGE COLLECT
2701.07/2710.01	c rational objective 182.972
2875.35/2884.83	c #Conflicts:     199000 | #Constraints:     667330
2875.35/2884.83	c #Conflicts:     200000 | #Constraints:     668399
2875.35/2884.83	c #Conflicts:     201000 | #Constraints:     669416
2875.35/2884.83	c #Conflicts:     202000 | #Constraints:     670419
2875.35/2884.83	c #Conflicts:     203000 | #Constraints:     671419
2875.35/2884.83	c #Conflicts:     204000 | #Constraints:     672419
2875.35/2884.83	c #Conflicts:     205000 | #Constraints:     673429
2875.35/2884.83	c #Conflicts:     206000 | #Constraints:     674441
2875.35/2884.83	c #Conflicts:     207000 | #Constraints:     675448
2875.35/2884.83	c INPROCESSING
2875.35/2884.83	c GARBAGE COLLECT
2875.35/2884.83	c rational objective 182.942
2985.94/2995.75	c #Conflicts:     208000 | #Constraints:     667388
2985.94/2995.75	c #Conflicts:     209000 | #Constraints:     668388
2985.94/2995.75	c #Conflicts:     210000 | #Constraints:     669389
2985.94/2995.75	c #Conflicts:     211000 | #Constraints:     670390
2985.94/2995.75	c #Conflicts:     212000 | #Constraints:     671391
2985.94/2995.75	c #Conflicts:     213000 | #Constraints:     672392
2985.94/2995.75	c #Conflicts:     214000 | #Constraints:     673392
2985.94/2995.75	c #Conflicts:     215000 | #Constraints:     674392
2985.94/2995.75	c #Conflicts:     216000 | #Constraints:     675394
2985.94/2995.75	c INPROCESSING
2985.94/2995.75	c GARBAGE COLLECT
2985.94/2995.75	c rational objective 182.944
3459.04/3470.27	c #Conflicts:     217000 | #Constraints:     667137
3459.04/3470.27	c #Conflicts:     218000 | #Constraints:     668138
3459.04/3470.27	c #Conflicts:     219000 | #Constraints:     669138
3459.04/3470.27	c #Conflicts:     220000 | #Constraints:     670139
3459.04/3470.27	c #Conflicts:     221000 | #Constraints:     671140
3459.04/3470.27	c #Conflicts:     222000 | #Constraints:     672140
3459.04/3470.27	c #Conflicts:     223000 | #Constraints:     673140
3459.04/3470.27	c #Conflicts:     224000 | #Constraints:     674140
3459.04/3470.27	c #Conflicts:     225000 | #Constraints:     675141
3459.04/3470.27	c #Conflicts:     226000 | #Constraints:     676141
3459.04/3470.27	c INPROCESSING
3459.04/3470.27	c GARBAGE COLLECT
3459.04/3470.27	c #Conflicts:     227000 | #Constraints:     667695
3459.04/3470.27	c #Conflicts:     228000 | #Constraints:     668695
3459.04/3470.27	c #Conflicts:     229000 | #Constraints:     669695
3459.04/3470.27	c #Conflicts:     230000 | #Constraints:     670695
3459.04/3470.27	c #Conflicts:     231000 | #Constraints:     671695
3459.04/3470.27	c #Conflicts:     232000 | #Constraints:     672695
3459.04/3470.27	c #Conflicts:     233000 | #Constraints:     673696
3459.04/3470.27	c #Conflicts:     234000 | #Constraints:     674696
3459.04/3470.27	c #Conflicts:     235000 | #Constraints:     675696
3459.04/3470.27	c #Conflicts:     236000 | #Constraints:     676696
3459.04/3470.27	c INPROCESSING
3459.04/3470.27	c GARBAGE COLLECT
3459.04/3470.27	c #Conflicts:     237000 | #Constraints:     668093
3459.04/3470.27	c #Conflicts:     238000 | #Constraints:     669093
3459.04/3470.27	c #Conflicts:     239000 | #Constraints:     670094
3459.04/3470.27	c #Conflicts:     240000 | #Constraints:     671094
3459.04/3470.27	c #Conflicts:     241000 | #Constraints:     672095
3459.04/3470.27	c #Conflicts:     242000 | #Constraints:     673096
3459.04/3470.27	c #Conflicts:     243000 | #Constraints:     674097
3459.04/3470.27	c #Conflicts:     244000 | #Constraints:     675097
3459.04/3470.27	c #Conflicts:     245000 | #Constraints:     676098
3459.04/3470.27	c #Conflicts:     246000 | #Constraints:     677099
3459.04/3470.27	c INPROCESSING
3459.04/3470.27	c GARBAGE COLLECT
3459.04/3470.27	c rational objective 182.944
3516.67/3528.02	c #Conflicts:     247000 | #Constraints:     668286
3516.67/3528.02	c #Conflicts:     248000 | #Constraints:     669286
3516.67/3528.02	c #Conflicts:     249000 | #Constraints:     670288
3516.67/3528.02	c #Conflicts:     250000 | #Constraints:     671288
3516.67/3528.02	c #Conflicts:     251000 | #Constraints:     672288
3516.67/3528.02	c #Conflicts:     252000 | #Constraints:     673289
3516.67/3528.02	c bounds 356 >= 93 @ 3478.66
3565.11/3576.66	c #Conflicts:     253000 | #Constraints:     674346
3565.11/3576.66	c #Conflicts:     254000 | #Constraints:     675347
3565.11/3576.66	c #Conflicts:     255000 | #Constraints:     676347
3565.11/3576.66	c #Conflicts:     256000 | #Constraints:     677348
3565.11/3576.66	c INPROCESSING
3565.11/3576.66	c GARBAGE COLLECT
3565.11/3576.66	c rational objective 182.944
3600.03/3611.63	c #Conflicts:     257000 | #Constraints:     668341
3600.03/3611.63	c #Conflicts:     258000 | #Constraints:     669341
3600.03/3611.63	c #Conflicts:     259000 | #Constraints:     670341
3600.03/3611.63	c cpu time 3560.76 s
3600.03/3611.63	c deterministic time 93948403744 9.39e+10
3600.03/3611.63	c optimization time 29.613 s
3600.03/3611.63	c total solve time 3528.19 s
3600.03/3611.63	c core-guided solve time 3145.71 s
3600.03/3611.63	c propagation time 1194.78 s
3600.03/3611.63	c conflict analysis time 899.654 s
3600.03/3611.63	c propagations 90708475
3600.03/3611.63	c resolve steps 3185236
3600.03/3611.63	c decisions 10649127
3600.03/3611.63	c conflicts 259698
3600.03/3611.63	c restarts 615
3600.03/3611.63	c inprocessing phases 42
3600.03/3611.63	c garbage collections 42 ,( 100.00 )
3600.03/3611.63	c input clauses 657191 ,( 99.86 )
3600.03/3611.63	c input cardinalities 352 ,( 0.05 )
3600.03/3611.63	c input general constraints 565 ,( 0.09 )
3600.03/3611.63	c input average constraint length 6.20
3600.03/3611.63	c input average constraint degree 115.38
3600.03/3611.63	c learned clauses 188785 ,( 72.55 )
3600.03/3611.63	c learned cardinalities 25 ,( 0.01 )
3600.03/3611.63	c learned general constraints 71406 ,( 27.44 )
3600.03/3611.63	c learned average constraint length 1364.84
3600.03/3611.63	c learned average constraint degree 27455131179.45
3600.03/3611.63	c watched  CF 32, 64, 128, Arb: 2129 , 0 , 0 , 0
3600.03/3611.63	c counting CF 32, 64, 128, Arb: 69843 , 0 , 0 , 0
3600.03/3611.63	c watched   constraints 2129 ,( 2.96 ) 
3600.03/3611.63	c counting  constraints 69842 ,( 97.04 ) 
3600.03/3611.63	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 39162900 , 2209564 , 647122190 ,( 9172199 , 637949991 )
3600.03/3611.63	c gcd simplifications 12222
3600.03/3611.63	c detected cardinalities 0
3600.03/3611.63	c weakened non-implied lits 1160052544
3600.03/3611.63	c weakened non-implying lits 171907
3600.03/3611.63	c original variables 10000
3600.03/3611.63	c clausal propagations 11303355
3600.03/3611.63	c cardinality propagations 364577
3600.03/3611.63	c watched propagations 51819
3600.03/3611.63	c counting propagations 75965555
3600.03/3611.63	c watch lookups 2724154278
3600.03/3611.63	c watch backjump lookups 0
3600.03/3611.63	c watch checks 2202600494
3600.03/3611.63	c propagation checks 84036192315
3600.03/3611.63	c constraint additions 4782030870
3600.03/3611.63	c trail pops 101607222
3600.03/3611.63	c formula constraints 656900
3600.03/3611.63	c learned constraints 259555
3600.03/3611.63	c bound constraints 213
3600.03/3611.63	c core-guided constraints 995
3600.03/3611.63	c encountered formula constraints 886221
3600.03/3611.63	c encountered learned constraints 1633563
3600.03/3611.63	c encountered bound constraints 10177
3600.03/3611.63	c encountered core-guided constraints 895703
3600.03/3611.63	c LP total time 2093.49 s
3600.03/3611.63	c LP solve time 1907.48 s
3600.03/3611.63	c LP constraints added 656949
3600.03/3611.63	c LP constraints removed 29
3600.03/3611.63	c LP pivots internal 261862
3600.03/3611.63	c LP pivots root 199100
3600.03/3611.63	c LP calls 670
3600.03/3611.63	c LP optimalities 145
3600.03/3611.63	c LP no pivot count 20
3600.03/3611.63	c LP infeasibilities 488
3600.03/3611.63	c LP valid Farkas constraints 485
3600.03/3611.63	c LP learned Farkas constraints 148
3600.03/3611.63	c LP basis resets 35
3600.03/3611.63	c LP cycling count 14
3600.03/3611.63	c LP singular count 13
3600.03/3611.63	c LP no primal count 0
3600.03/3611.63	c LP no farkas count 3
3600.03/3611.63	c LP other issue count 5
3600.03/3611.63	c LP Gomory cuts 28
3600.03/3611.63	c LP learned cuts 21
3600.03/3611.63	c LP deleted cuts 29
3600.03/3611.63	c LP encountered Gomory constraints 366
3600.03/3611.63	c LP encountered Farkas constraints 18678
3600.03/3611.63	c LP encountered learned Farkas constraints 78
3600.03/3611.63	c CG auxiliary variables introduced 352
3600.03/3611.63	c CG solutions found 152
3600.03/3611.63	c CG cores constructed 61
3600.03/3611.63	c CG core cardinality constraints returned 0
3600.03/3611.63	c CG unit cores 0
3600.03/3611.63	c CG single cores 61
3600.03/3611.63	c CG blocks removed during cardinality reduction 0
3600.03/3611.63	c CG first core best 0
3600.03/3611.63	c CG decision core best 0
3600.03/3611.63	c CG core reduction tie 0
3600.03/3611.63	c CG core degree average 1.00
3600.03/3611.63	c CG core slack average 821.57
3600.03/3611.63	c CG core upper bound improvements 52
3600.03/3611.63	c STR number of successful calls 0
3600.03/3611.63	c STR number of unsuccessful calls 0
3600.03/3611.63	c STR number of inconclusive calls 0
3600.03/3611.63	c STR number of successful attempts 0
3600.03/3611.63	c STR number of unsuccessful attempts 0
3600.03/3611.63	c STR number of inconclusive attempts 0
3600.03/3611.63	c STR average degree increase per successful call inf
3600.03/3611.63	c STR average degree increase per successful attempt inf
3600.03/3611.63	c STR total number of conflicts for successful attempts 0
3600.03/3611.63	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.63	c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.63	c STR average number of conflicts per successful attempt inf
3600.03/3611.63	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.63	c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.63	c AVG.sumWPerc 93.79 
3600.03/3611.63	c bigint constraints 0 
3600.03/3611.63	o 356
3600.03/3611.63	s SATISFIABLE
3600.03/3611.63	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.03/3611.63	c Program interrupted by user.

Verifier Data 

OK	356

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489557-1751357802/watcher-4489557-1751357802 -o /tmp/evaluation-result-4489557-1751357802/solver-4489557-1751357802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751350557-51304 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489557-1751357802.opb PROOFDIR/proof-4489557-1751357802 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=52082, runsolver pid=52079

[startup+0.100061 s]*
/proc/loadavg: 4.04 4.14 4.11 3/264 52084
/proc/meminfo: memFree=77215888/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52084] ppid=52082 vsize=159768 memory=140800 CPUtime=0.05 cores=4,6
/proc/52084/stat : 52084 (pbsuma) R 52082 52082 51293 0 -1 4194304 2863 0 0 0 3 2 0 0 20 0 1 0 51459636 163602432 35200 18446744073709551615 4210688 4653049 140735663858400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10371072 140735663859939 140735663860274 140735663860274 140735663865839 0
/proc/52084/statm: 39942 35200 960 108 0 37350 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 163960 KiB
Current children cumulated memory: 143744 KiB

[startup+0.205841 s]*
/proc/loadavg: 4.04 4.14 4.11 3/264 52084
/proc/meminfo: memFree=77191752/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52084] ppid=52082 vsize=175120 memory=158852 CPUtime=0.15 cores=4,6
/proc/52084/stat : 52084 (pbsuma) R 52082 52082 51293 0 -1 4194304 7589 0 0 0 12 3 0 0 20 0 1 0 51459636 179322880 39713 18446744073709551615 4210688 4653049 140735663858400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10371072 140735663859939 140735663860274 140735663860274 140735663865839 0
/proc/52084/statm: 43780 39713 960 108 0 41188 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 179312 KiB
Current children cumulated memory: 161796 KiB

[startup+0.305703 s]*
/proc/loadavg: 4.04 4.14 4.11 4/264 52084
/proc/meminfo: memFree=77165476/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52084] ppid=52082 vsize=186992 memory=176212 CPUtime=0.25 cores=4,6
/proc/52084/stat : 52084 (pbsuma) R 52082 52082 51293 0 -1 4194304 10541 0 0 0 21 4 0 0 20 0 1 0 51459636 191479808 44053 18446744073709551615 4210688 4653049 140735663858400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10371072 140735663859939 140735663860274 140735663860274 140735663865839 0
/proc/52084/statm: 46748 44053 960 108 0 44156 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 191184 KiB
Current children cumulated memory: 179156 KiB

[startup+0.70023 s]
/proc/loadavg: 4.04 4.14 4.11 3/264 52084
/proc/meminfo: memFree=77075512/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52084] ppid=52082 vsize=309820 memory=263184 CPUtime=0.63 cores=4,6
/proc/52084/stat : 52084 (pbsuma) R 52082 52082 51293 0 -1 4194304 21536 0 0 0 56 7 0 0 20 0 1 0 51459636 317255680 65796 18446744073709551615 4210688 4653049 140735663858400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10371072 140735663859939 140735663860274 140735663860274 140735663865839 0
/proc/52084/statm: 77455 65796 1024 108 0 74863 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 314012 KiB
Current children cumulated memory: 266128 KiB

[startup+1.50019 s]
/proc/loadavg: 4.04 4.14 4.11 3/266 52096
/proc/meminfo: memFree=76973024/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3.10584 s]
/proc/loadavg: 4.04 4.14 4.11 4/270 52124
/proc/meminfo: memFree=84669960/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=144220 memory=88492 CPUtime=1.9 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 18870 0 0 0 152 38 0 0 20 0 1 0 51459749 147681280 22123 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 36055 22123 1984 1147 0 23482 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 148412 KiB
Current children cumulated memory: 91436 KiB

[startup+6.30021 s]
/proc/loadavg: 4.04 4.14 4.11 5/271 52140
/proc/meminfo: memFree=86444760/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=914892 memory=664776 CPUtime=5.06 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 50259 0 0 0 432 74 0 0 20 0 1 0 51459749 936849408 166194 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 228723 166194 2336 1147 0 216150 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 919084 KiB
Current children cumulated memory: 667720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52173
/proc/meminfo: memFree=126149544/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=1092920 memory=774368 CPUtime=11.44 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 59239 0 0 0 1046 98 0 0 20 0 1 0 51459749 1119150080 193592 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 273230 193592 2400 1147 0 260657 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 1097112 KiB
Current children cumulated memory: 777312 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.11 5/274 52174
/proc/meminfo: memFree=124672828/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=1176692 memory=860348 CPUtime=24.2 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 66496 0 0 0 2279 141 0 0 20 0 1 0 51459749 1204932608 215087 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 294173 215087 2400 1147 0 281600 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 1180884 KiB
Current children cumulated memory: 863292 KiB

[startup+51.1059 s]
/proc/loadavg: 4.06 4.14 4.11 5/274 52175
/proc/meminfo: memFree=123495464/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=1188380 memory=885096 CPUtime=49.62 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 67049 0 0 0 4798 164 0 0 20 0 1 0 51459749 1216901120 221274 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 297095 221274 2400 1147 0 284522 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 1192572 KiB
Current children cumulated memory: 888040 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 52177
/proc/meminfo: memFree=120916980/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=1578196 memory=1194824 CPUtime=100.63 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 100659 0 0 0 9836 227 0 0 20 0 1 0 51459749 1616072704 298706 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 394549 298706 2432 1147 0 381976 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 1582388 KiB
Current children cumulated memory: 1197768 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/274 52179
/proc/meminfo: memFree=118775480/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=1578196 memory=1195208 CPUtime=160.36 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 100959 0 0 0 15753 283 0 0 20 0 1 0 51459749 1616072704 298802 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 394549 298802 2432 1147 0 381976 0
Current children cumulated CPU time: 161.43 s
Current children cumulated vsize: 1582388 KiB
Current children cumulated memory: 1198152 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/274 52181
/proc/meminfo: memFree=117199652/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=1616332 memory=1254280 CPUtime=220.18 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 106541 0 0 0 21708 310 0 0 20 0 1 0 51459749 1655123968 313570 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 404083 313570 2432 1147 0 391510 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 1620524 KiB
Current children cumulated memory: 1257224 KiB

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/275 52366
/proc/meminfo: memFree=6661188/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736388 CPUtime=3270.63 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 480993 0 0 0 323642 3421 0 0 20 0 1 0 51459749 3276972032 684097 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684097 2528 1147 0 787469 0
Current children cumulated CPU time: 3271.7 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/275 52368
/proc/meminfo: memFree=5159584/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736388 CPUtime=3330.43 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 481322 0 0 0 329601 3442 0 0 20 0 1 0 51459749 3276972032 684097 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684097 2528 1147 0 787469 0
Current children cumulated CPU time: 3331.5 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/276 52377
/proc/meminfo: memFree=2270668/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736388 CPUtime=3390.26 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 506800 0 0 0 335471 3555 0 0 20 0 1 0 51459749 3276972032 684097 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684097 2528 1147 0 787469 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.22 4.16 5/276 52379
/proc/meminfo: memFree=584784/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736388 CPUtime=3450.09 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 506802 0 0 0 341411 3598 0 0 20 0 1 0 51459749 3276972032 684097 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684097 2528 1147 0 787469 0
Current children cumulated CPU time: 3451.16 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.20 4.15 5/275 52381
/proc/meminfo: memFree=655604/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736388 CPUtime=3509.91 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 520866 0 0 0 347306 3685 0 0 20 0 1 0 51459749 3276972032 684097 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684097 2528 1147 0 787469 0
Current children cumulated CPU time: 3510.98 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/273 52383
/proc/meminfo: memFree=571120/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736900 CPUtime=3569.73 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 522062 0 0 0 353213 3760 0 0 20 0 1 0 51459749 3276972032 684225 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684225 2528 1147 0 787469 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.08 4.15 4.14 5/276 52387
/proc/meminfo: memFree=655252/131250000 swapFree=33009904/33010684
[pid=52082] ppid=52079 vsize=4192 memory=2944 CPUtime=1.07 cores=4,6
/proc/52082/stat : 52082 (run-opt-break-l) S 52079 52082 51293 0 -1 4194304 240 28450 0 0 0 0 97 10 20 0 1 0 51459633 4292608 736 18446744073709551615 93915232641024 93915233535557 140727308858144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93915233774608 93915233822352 93915248128000 140727308863765 140727308863966 140727308863966 140727308869568 0
/proc/52082/statm: 1048 736 672 219 0 110 0
[pid=52101] ppid=52082 vsize=3200168 memory=2736900 CPUtime=3598.96 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52082 52082 51293 0 -1 4194304 523268 0 0 0 356075 3821 0 0 20 0 1 0 51459749 3276972032 684225 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684225 2528 1147 0 787469 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3204360 KiB
Current children cumulated memory: 2739844 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.973619 s, system=0.110369 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.07 4.15 4.14 5/270 52395
/proc/meminfo: memFree=5633264/131250000 swapFree=33009904/33010684
[pid=52101] ppid=52079 vsize=3200168 memory=2737156 CPUtime=3599.65 cores=4,6
/proc/52101/stat : 52101 (roundingsat) D 52079 52082 51293 0 -1 4194304 523269 0 2 0 356076 3889 0 0 20 0 1 0 51459749 3276972032 684289 18446744073709551615 4227072 8923433 140734106781824 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 9
/proc/52101/statm: 800042 684289 2592 1147 0 787469 0
??? kill 52101 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3561.77 s, system=39.2355 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.08 4.15 4.14 6/275 52387
/proc/meminfo: memFree=575800/131250000 swapFree=33009904/33010684
[pid=52101] ppid=52079 vsize=3200168 memory=2737156 CPUtime=3599.61 cores=4,6
/proc/52101/stat : 52101 (roundingsat) D 52079 52082 51293 0 -1 4194304 523269 0 2 0 356076 3885 0 0 20 0 1 0 51459749 3276972032 684289 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684289 2592 1147 0 787469 0
Current cumulated CPU time of completed processes: 1.08399 s
Current children cumulated CPU time: 3599.61 s
Current children cumulated vsize: 3200168 KiB
Current children cumulated memory: 2737156 KiB

[startup+3613.2 s]
/proc/loadavg: 4.07 4.15 4.14 3/270 52392
/proc/meminfo: memFree=5630948/131250000 swapFree=33009904/33010684
[pid=52101] ppid=52079 vsize=3200168 memory=2737156 CPUtime=3599.62 cores=4,6
/proc/52101/stat : 52101 (roundingsat) D 52079 52082 51293 0 -1 4194304 523269 0 2 0 356076 3886 0 0 20 0 1 0 51459749 3276972032 684289 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684289 2592 1147 0 787469 0
Current cumulated CPU time of completed processes: 1.08399 s
Current children cumulated CPU time: 3599.62 s
Current children cumulated vsize: 3200168 KiB
Current children cumulated memory: 2737156 KiB

[startup+3613.6 s]
/proc/loadavg: 4.07 4.15 4.14 3/270 52392
/proc/meminfo: memFree=5630948/131250000 swapFree=33009904/33010684
[pid=52101] ppid=52079 vsize=3200168 memory=2737156 CPUtime=3599.65 cores=4,6
/proc/52101/stat : 52101 (roundingsat) R 52079 52082 51293 0 -1 4194304 523269 0 2 0 356076 3889 0 0 20 0 1 0 51459749 3276972032 684289 18446744073709551615 4227072 8923433 140734106781824 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 25931776 140734106790164 140734106790440 140734106790440 140734106796010 0
/proc/52101/statm: 800042 684289 2592 1147 0 787469 0
Current cumulated CPU time of completed processes: 1.08399 s
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 3200168 KiB
Current children cumulated memory: 2737156 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3620.15
CPU time (s): 3601
CPU user time (s): 3561.77
CPU system time (s): 39.2355
CPU usage (%): 99.4711
Max. virtual memory (cumulated for all children) (KiB): 3240472
Max. memory (cumulated for all children) (KiB): 2775872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.77
system time used= 39.2355
maximum resident set size= 2772928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551959
page faults= 2
swaps= 0
block input operations= 3520
block output operations= 80424472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229264
involuntary context switches= 6969


# summary of solver processes directly reported to runsolver:
#   pid: 52082,52101
#   total CPU time (s): 3601
#   total CPU user time (s): 3561.77
#   total CPU system time (s): 39.2355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5712 second user time and 17.8207 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-01 10:16:42
IDJOB=4489557
IDBENCH=147557
IDSOLVER=3360
FILE ID=nodeC033/4489557-1751357802
RUNJOBID= nodeC033-1751350557-51304
SLURM_JOB_ID= 9598139
Free space on /tmp= 432372 MiB

SOLVER NAME= roundingsat+pbsuma-opt-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-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489557-1751357802/watcher-4489557-1751357802 -o /tmp/evaluation-result-4489557-1751357802/solver-4489557-1751357802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751350557-51304 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489557-1751357802.opb PROOFDIR/proof-4489557-1751357802

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=420367292

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        77370028 kB
MemAvailable:   126937696 kB
Buffers:            2128 kB
Cached:         50314324 kB
SwapCached:           68 kB
Active:          2751244 kB
Inactive:       50136908 kB
Active(anon):    2565220 kB
Inactive(anon):    24524 kB
Active(file):     186024 kB
Inactive(file): 50112384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81528 kB
Writeback:       6987444 kB
AnonPages:       2572924 kB
Mapped:           112760 kB
Shmem:             18028 kB
KReclaimable:     216996 kB
Slab:             563108 kB
SReclaimable:     216996 kB
SUnreclaim:       346112 kB
KernelStack:        4224 kB
PageTables:         8048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3247744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2430976 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432316 MiB
End job on nodeC033 at 2025-07-01 11:17:02