Trace number 4532382

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 0f876b3SAT (TO)261 3601.27 3629.23

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
MD5SUM50cf9112b5ea763531dadde21846562c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark211
Best CPU time to get the best result obtained on this benchmark3586.65
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 495981
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 495981
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532382-1752585390.opb'
0.67/0.71	c 	read 17.23MB  (700.37ms)
0.67/0.71	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.67/0.71	c output proof to 'PROOFDIR/proof-4532382-1752585390'
0.67/0.71	c 
0.67/0.71	c make graph and approximate orbits
1.17/1.26	c	 [group: #orbits ~= 0] (547.47ms)
1.17/1.26	c 
1.17/1.26	c detect special group actions
1.17/1.26	c 	probe for Johnson action (limit=64)
1.17/1.27	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.17/1.28	c 	probe for row symmetry (limit=64, splits=16.78M)
1.17/1.30	c 	 (34.79ms)
1.17/1.30	c 
1.17/1.30	c detect symmetries on remainder
1.27/1.30	c 	[graph: #vertices 706674 #edges 2766346]
1.27/1.31	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.27/1.36	c 	 [group: #symmetries 1.00*10^0 #generators 0] (65.43ms)
1.27/1.36	c 
1.27/1.36	c finalize break order and special generators
1.27/1.36	c 
1.27/1.36	c generation finished
1.27/1.36	c 	[sbp: #constraints 0 #add_vars 0]
1.27/1.36	c 
1.27/1.36	c write result to 'HOME/instance-4532382-1752585390.opb.pre'
1.37/1.42	c 	wrote 17.23MB (52.41ms)
1.37/1.42	c ------------------------------------------------------------------
1.37/1.42	c                 700.37ms 49.83% parse
1.37/1.42	c                 547.47ms 38.95% approx_orbits
1.37/1.42	c                  65.43ms  4.66% detect_generic
1.37/1.42	c                  52.41ms  3.73% output
1.37/1.42	c                  34.79ms  2.48% detect_special
1.37/1.42	c                   4.42ms  0.31% other
1.37/1.42	c                   0.55ms  0.04% finalize_order
1.37/1.42	c         ───────────────────────────────────────────────
1.37/1.42	c                1405.43ms   100% total
1.37/1.42	c ------------------------------------------------------------------
1.47/1.58	c RoundingSat 2
1.47/1.58	c branch pb25
1.47/1.58	c commit 0f876b3
5.14/5.27	c #variables 10000 #constraints 656900
5.14/5.27	c objective is ce32 
5.14/5.27	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.14/5.27	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.14/5.27	c bounds - >= 0 @ 2.97046
6.95/7.04	c rational objective 154.151
11.93/12.09	c bounds 6811 >= 0 @ 9.6486
11.93/12.09	c bounds 6729 >= 0 @ 9.65484
11.93/12.10	c bounds 6710 >= 0 @ 9.65986
12.03/12.11	c bounds 6654 >= 0 @ 9.66411
12.03/12.12	c bounds 6617 >= 0 @ 9.66841
12.03/12.13	c bounds 6573 >= 0 @ 9.67372
12.03/12.14	c bounds 6237 >= 0 @ 9.67992
12.03/12.14	c bounds 6185 >= 0 @ 9.6843
12.03/12.16	c bounds 6144 >= 0 @ 9.69392
12.03/12.17	c bounds 6066 >= 0 @ 9.69906
12.03/12.18	c bounds 6045 >= 0 @ 9.70904
12.03/12.19	c bounds 5986 >= 0 @ 9.71658
12.12/12.20	c bounds 5902 >= 0 @ 9.72278
12.12/12.21	c bounds 5719 >= 0 @ 9.72932
12.12/12.22	c bounds 5454 >= 0 @ 9.73672
12.12/12.24	c bounds 5422 >= 0 @ 9.7591
12.12/12.25	c bounds 5389 >= 0 @ 9.76817
12.12/12.26	c bounds 5307 >= 0 @ 9.77678
12.12/12.27	c bounds 5238 >= 0 @ 9.78201
12.12/12.28	c bounds 5211 >= 0 @ 9.78735
12.12/12.29	c bounds 5194 >= 0 @ 9.79367
12.12/12.29	c bounds 5187 >= 0 @ 9.79859
12.22/12.30	c bounds 4856 >= 0 @ 9.80653
12.22/12.31	c bounds 4764 >= 0 @ 9.81329
12.22/12.32	c bounds 4714 >= 0 @ 9.81905
12.22/12.33	c bounds 4429 >= 0 @ 9.82617
12.22/12.34	c bounds 4289 >= 0 @ 9.83333
12.22/12.35	c bounds 4230 >= 0 @ 9.84013
12.22/12.36	c bounds 4122 >= 0 @ 9.848
12.22/12.37	c bounds 4016 >= 0 @ 9.85693
12.22/12.38	c bounds 3888 >= 0 @ 9.86528
12.22/12.39	c bounds 3881 >= 0 @ 9.87453
12.31/12.41	c bounds 3874 >= 0 @ 9.8849
12.31/12.42	c bounds 3813 >= 0 @ 9.89205
12.31/12.42	c bounds 3645 >= 0 @ 9.89828
13.51/13.62	c bounds 3631 >= 0 @ 11.0658
13.71/13.81	c bounds 3611 >= 0 @ 11.2453
13.92/14.07	c bounds 3558 >= 0 @ 11.4953
14.21/14.36	c bounds 3531 >= 0 @ 11.7839
14.40/14.52	c bounds 3530 >= 0 @ 11.94
14.51/14.63	c bounds 3520 >= 0 @ 12.0507
14.60/14.79	c bounds 3515 >= 0 @ 12.2026
14.71/14.80	c bounds 3503 >= 0 @ 12.2095
14.71/14.84	c bounds 3478 >= 0 @ 12.2491
14.81/14.96	c bounds 3457 >= 0 @ 12.359
14.81/14.97	c bounds 3411 >= 0 @ 12.3667
15.30/15.46	c bounds 3385 >= 0 @ 12.8529
15.30/15.47	c bounds 3338 >= 0 @ 12.8617
15.40/15.58	c bounds 3327 >= 0 @ 12.9714
15.40/15.60	c bounds 3154 >= 0 @ 12.9813
15.51/15.61	c bounds 3055 >= 0 @ 12.987
15.51/15.62	c bounds 2905 >= 0 @ 12.9947
15.51/15.63	c bounds 2849 >= 0 @ 13.0012
15.60/15.72	c bounds 2818 >= 0 @ 13.0944
15.70/15.82	c bounds 2813 >= 0 @ 13.1902
15.70/15.84	c bounds 2809 >= 0 @ 13.2069
15.70/15.85	c bounds 2756 >= 0 @ 13.2144
15.81/15.93	c bounds 2755 >= 0 @ 13.2919
16.60/16.71	c #Conflicts:       1000 | #Constraints:     657976
16.60/16.71	c bounds 2751 >= 0 @ 14.0609
16.60/16.72	c bounds 2749 >= 0 @ 14.0663
16.60/16.73	c bounds 2737 >= 0 @ 14.0753
16.60/16.75	c bounds 2734 >= 0 @ 14.0913
19.30/19.43	c bounds 2728 >= 0 @ 16.7062
19.30/19.46	c bounds 2720 >= 0 @ 16.7282
19.30/19.48	c bounds 2700 >= 0 @ 16.7489
19.39/19.50	c bounds 2699 >= 0 @ 16.7722
19.39/19.51	c bounds 2693 >= 0 @ 16.779
19.39/19.54	c bounds 2677 >= 0 @ 16.8036
19.49/19.63	c bounds 2647 >= 0 @ 16.8886
19.49/19.64	c bounds 2642 >= 0 @ 16.9001
19.49/19.65	c bounds 2630 >= 0 @ 16.9067
19.49/19.67	c bounds 2622 >= 0 @ 16.9225
19.49/19.68	c bounds 2600 >= 0 @ 16.9349
19.59/19.71	c bounds 2587 >= 0 @ 16.9607
19.59/19.77	c bounds 2546 >= 0 @ 17.0106
19.59/19.78	c bounds 2541 >= 0 @ 17.0183
19.59/19.79	c bounds 2512 >= 0 @ 17.0296
19.69/19.81	c bounds 2511 >= 0 @ 17.0472
19.69/19.83	c bounds 2510 >= 0 @ 17.0708
19.69/19.86	c bounds 2509 >= 0 @ 17.093
19.90/20.07	c bounds 2488 >= 0 @ 17.2875
19.90/20.09	c bounds 2485 >= 0 @ 17.3104
20.01/20.14	c bounds 2478 >= 0 @ 17.3583
20.01/20.16	c bounds 2446 >= 0 @ 17.3785
20.01/20.17	c bounds 2419 >= 0 @ 17.3879
20.10/20.25	c bounds 2416 >= 0 @ 17.4595
20.10/20.27	c bounds 2412 >= 0 @ 17.4741
20.10/20.29	c bounds 2392 >= 0 @ 17.494
20.19/20.30	c bounds 2378 >= 0 @ 17.5081
20.19/20.32	c bounds 2362 >= 0 @ 17.522
20.19/20.35	c bounds 2343 >= 0 @ 17.5468
20.19/20.36	c bounds 2322 >= 0 @ 17.5625
20.19/20.38	c bounds 2300 >= 0 @ 17.5738
20.19/20.40	c bounds 2296 >= 0 @ 17.5899
20.29/20.41	c bounds 2282 >= 0 @ 17.6047
20.29/20.43	c bounds 2278 >= 0 @ 17.6158
20.29/20.47	c bounds 2244 >= 0 @ 17.6528
20.29/20.48	c bounds 2221 >= 0 @ 17.6667
20.29/20.49	c bounds 2206 >= 0 @ 17.6715
20.69/20.81	c bounds 2179 >= 0 @ 17.9797
20.69/20.86	c bounds 2161 >= 0 @ 18.024
20.69/20.87	c bounds 2144 >= 0 @ 18.0394
20.69/20.89	c bounds 2113 >= 0 @ 18.0575
20.79/20.90	c bounds 2104 >= 0 @ 18.0661
20.79/20.99	c bounds 2090 >= 0 @ 18.1494
20.79/21.01	c bounds 2054 >= 0 @ 18.1652
20.90/21.02	c bounds 2030 >= 0 @ 18.1814
20.90/21.05	c bounds 1996 >= 0 @ 18.2033
20.90/21.07	c bounds 1947 >= 0 @ 18.2258
20.90/21.09	c bounds 1930 >= 0 @ 18.2382
20.90/21.10	c bounds 1920 >= 0 @ 18.2514
21.00/21.11	c bounds 1915 >= 0 @ 18.2584
21.00/21.14	c bounds 1877 >= 0 @ 18.2859
21.00/21.16	c bounds 1858 >= 0 @ 18.3005
21.08/21.28	c bounds 1855 >= 0 @ 18.4165
21.08/21.29	c bounds 1816 >= 0 @ 18.4332
21.19/21.34	c bounds 1782 >= 0 @ 18.4723
21.19/21.36	c bounds 1745 >= 0 @ 18.4943
21.19/21.37	c bounds 1732 >= 0 @ 18.5015
21.19/21.39	c bounds 1729 >= 0 @ 18.5223
21.28/21.40	c bounds 1728 >= 0 @ 18.5294
21.28/21.48	c bounds 1699 >= 0 @ 18.6045
23.99/24.16	c #Conflicts:       2000 | #Constraints:     659040
23.99/24.16	c INPROCESSING
23.99/24.16	c GARBAGE COLLECT
23.99/24.16	c bounds 1693 >= 0 @ 21.2626
24.18/24.30	c bounds 1692 >= 0 @ 21.3976
24.28/24.40	c bounds 1686 >= 0 @ 21.4881
24.28/24.41	c bounds 1655 >= 0 @ 21.4947
24.28/24.42	c bounds 1620 >= 0 @ 21.5015
24.38/24.51	c bounds 1582 >= 0 @ 21.5898
24.38/24.53	c bounds 1577 >= 0 @ 21.5981
24.38/24.54	c bounds 1565 >= 0 @ 21.6099
24.38/24.58	c bounds 1558 >= 0 @ 21.6403
24.38/24.59	c bounds 1548 >= 0 @ 21.6548
24.48/24.60	c bounds 1541 >= 0 @ 21.6625
24.48/24.63	c bounds 1530 >= 0 @ 21.6849
25.18/25.33	c bounds 1514 >= 0 @ 22.3763
25.77/25.92	c bounds 1512 >= 0 @ 22.9558
25.77/25.93	c bounds 1510 >= 0 @ 22.9651
26.27/26.47	c bounds 1508 >= 0 @ 23.5014
26.27/26.49	c bounds 1474 >= 0 @ 23.5078
26.58/26.79	c bounds 1464 >= 0 @ 23.8036
26.67/26.80	c bounds 1425 >= 0 @ 23.8125
26.67/26.82	c bounds 1399 >= 0 @ 23.8219
26.67/26.83	c bounds 1394 >= 0 @ 23.8346
26.89/27.06	c bounds 1389 >= 0 @ 24.0555
27.07/27.21	c bounds 1388 >= 0 @ 24.2005
27.47/27.60	c bounds 1386 >= 0 @ 24.57
27.58/27.72	c bounds 1375 >= 0 @ 24.6867
27.58/27.75	c bounds 1364 >= 0 @ 24.7093
27.67/27.85	c bounds 1361 >= 0 @ 24.8041
30.36/30.52	c bounds 1360 >= 0 @ 27.4184
30.36/30.53	c bounds 1359 >= 0 @ 27.4296
30.47/30.68	c bounds 1358 >= 0 @ 27.5732
30.47/30.69	c bounds 1351 >= 0 @ 27.584
30.56/30.71	c bounds 1350 >= 0 @ 27.6012
30.97/31.18	c bounds 1340 >= 0 @ 28.0594
31.66/31.84	c #Conflicts:       3000 | #Constraints:     658972
31.66/31.84	c bounds 1339 >= 0 @ 28.6936
33.05/33.23	c bounds 1334 >= 0 @ 30.0497
33.25/33.47	c bounds 1321 >= 0 @ 30.2766
37.14/37.34	c bounds 1319 >= 0 @ 34.0383
37.14/37.36	c bounds 1318 >= 0 @ 34.0514
37.44/37.64	c bounds 1315 >= 0 @ 34.3221
37.44/37.66	c bounds 1312 >= 0 @ 34.3397
37.54/37.78	c bounds 1304 >= 0 @ 34.4633
37.65/37.84	c bounds 1297 >= 0 @ 34.514
37.74/37.95	c bounds 1285 >= 0 @ 34.6155
38.24/38.45	c bounds 1284 >= 0 @ 35.1089
38.34/38.50	c bounds 1265 >= 0 @ 35.1616
38.64/38.82	c bounds 1257 >= 0 @ 35.4718
39.43/39.64	c bounds 1241 >= 0 @ 36.2745
39.85/40.06	c bounds 1219 >= 0 @ 36.6759
39.85/40.08	c bounds 1183 >= 0 @ 36.6886
39.85/40.10	c bounds 1136 >= 0 @ 36.7018
39.95/40.12	c bounds 1099 >= 0 @ 36.712
73.31/73.63	c #Conflicts:       4000 | #Constraints:     660025
73.31/73.63	c INPROCESSING
73.31/73.63	c GARBAGE COLLECT
73.31/73.63	c bounds 1091 >= 0 @ 69.9818
73.31/73.69	c bounds 1085 >= 0 @ 70.0363
73.41/73.78	c bounds 1077 >= 0 @ 70.1257
73.61/73.98	c bounds 1074 >= 0 @ 70.3152
73.61/74.00	c bounds 1071 >= 0 @ 70.3377
74.21/74.57	c bounds 1069 >= 0 @ 70.8925
74.21/74.58	c bounds 1066 >= 0 @ 70.904
74.30/74.69	c bounds 1059 >= 0 @ 71.0116
74.40/74.71	c bounds 1058 >= 0 @ 71.033
74.60/74.97	c bounds 1047 >= 0 @ 71.2842
74.60/74.99	c bounds 995 >= 0 @ 71.2955
74.60/75.00	c bounds 994 >= 0 @ 71.303
74.72/75.02	c bounds 975 >= 0 @ 71.3121
74.72/75.03	c bounds 973 >= 0 @ 71.3233
74.72/75.04	c bounds 853 >= 0 @ 71.3346
74.82/75.15	c bounds 847 >= 0 @ 71.4381
74.90/75.20	c bounds 844 >= 0 @ 71.4817
75.50/75.90	c bounds 842 >= 0 @ 72.1612
95.13/95.59	c #Conflicts:       5000 | #Constraints:     659378
95.13/95.59	c #Conflicts:       6000 | #Constraints:     660391
95.13/95.59	c INPROCESSING
95.13/95.59	c GARBAGE COLLECT
95.13/95.59	c bounds 841 >= 0 @ 91.3692
95.23/95.60	c bounds 840 >= 0 @ 91.3824
95.23/95.62	c bounds 829 >= 0 @ 91.3915
95.23/95.65	c bounds 827 >= 0 @ 91.4197
95.23/95.67	c bounds 826 >= 0 @ 91.437
95.33/95.78	c bounds 825 >= 0 @ 91.5375
95.42/95.81	c bounds 821 >= 0 @ 91.5574
95.53/95.94	c bounds 819 >= 0 @ 91.6765
95.53/95.95	c bounds 818 >= 0 @ 91.6872
95.63/96.06	c bounds 815 >= 0 @ 91.79
95.63/96.09	c bounds 814 >= 0 @ 91.8117
95.74/96.11	c bounds 813 >= 0 @ 91.8293
96.02/96.45	c bounds 806 >= 0 @ 92.1469
96.02/96.48	c bounds 803 >= 0 @ 92.1831
96.11/96.52	c bounds 798 >= 0 @ 92.2246
96.11/96.54	c bounds 788 >= 0 @ 92.2414
96.81/97.24	c bounds 780 >= 0 @ 92.9247
97.01/97.48	c bounds 765 >= 0 @ 93.1632
97.12/97.59	c bounds 761 >= 0 @ 93.2739
97.31/97.77	c bounds 758 >= 0 @ 93.454
97.31/97.80	c bounds 756 >= 0 @ 93.4737
97.41/97.83	c bounds 740 >= 0 @ 93.5057
97.41/97.86	c bounds 739 >= 0 @ 93.535
97.51/97.90	c bounds 737 >= 0 @ 93.57
97.63/98.02	c bounds 736 >= 0 @ 93.6939
97.63/98.06	c bounds 735 >= 0 @ 93.7307
97.63/98.09	c bounds 728 >= 0 @ 93.753
97.72/98.11	c bounds 725 >= 0 @ 93.7759
97.72/98.13	c bounds 721 >= 0 @ 93.7947
97.81/98.23	c bounds 717 >= 0 @ 93.8909
97.91/98.32	c bounds 711 >= 0 @ 93.9779
98.01/98.41	c bounds 710 >= 0 @ 94.0702
98.11/98.52	c bounds 697 >= 0 @ 94.1727
98.11/98.57	c bounds 687 >= 0 @ 94.2258
98.21/98.62	c bounds 679 >= 0 @ 94.2659
98.31/98.75	c bounds 676 >= 0 @ 94.3953
98.31/98.78	c bounds 675 >= 0 @ 94.4219
98.62/99.04	c bounds 671 >= 0 @ 94.6756
98.62/99.08	c bounds 665 >= 0 @ 94.7079
98.62/99.09	c bounds 663 >= 0 @ 94.7233
98.80/99.25	c #Conflicts:       7000 | #Constraints:     659399
98.80/99.25	c bounds 657 >= 0 @ 94.8781
98.80/99.27	c bounds 647 >= 0 @ 94.9005
98.80/99.29	c bounds 643 >= 0 @ 94.9153
98.91/99.33	c bounds 640 >= 0 @ 94.9511
98.91/99.35	c bounds 633 >= 0 @ 94.9693
98.91/99.37	c bounds 624 >= 0 @ 94.9953
99.01/99.41	c bounds 621 >= 0 @ 95.0274
99.01/99.45	c bounds 615 >= 0 @ 95.0643
99.01/99.47	c bounds 614 >= 0 @ 95.0877
99.01/99.49	c bounds 612 >= 0 @ 95.0986
99.10/99.54	c bounds 611 >= 0 @ 95.1476
99.31/99.70	c bounds 610 >= 0 @ 95.303
99.40/99.88	c bounds 604 >= 0 @ 95.4753
99.72/100.11	c bounds 602 >= 0 @ 95.7017
99.72/100.13	c bounds 592 >= 0 @ 95.719
99.81/100.28	c bounds 591 >= 0 @ 95.8608
99.81/100.29	c bounds 586 >= 0 @ 95.8769
99.91/100.31	c bounds 578 >= 0 @ 95.896
99.91/100.38	c bounds 573 >= 0 @ 95.9612
100.00/100.43	c bounds 570 >= 0 @ 96.0046
100.00/100.47	c bounds 568 >= 0 @ 96.0406
100.10/100.50	c bounds 567 >= 0 @ 96.0636
100.10/100.54	c bounds 559 >= 0 @ 96.0983
100.20/100.67	c bounds 556 >= 0 @ 96.2236
100.20/100.69	c bounds 552 >= 0 @ 96.2413
100.30/100.72	c bounds 542 >= 0 @ 96.2732
100.61/101.06	c bounds 537 >= 0 @ 96.6085
100.61/101.11	c bounds 536 >= 0 @ 96.6523
101.61/102.08	c bounds 535 >= 0 @ 97.6099
102.10/102.52	c bounds 534 >= 0 @ 98.0321
102.10/102.58	c bounds 532 >= 0 @ 98.0879
102.30/102.71	c bounds 531 >= 0 @ 98.2189
102.30/102.73	c bounds 528 >= 0 @ 98.2318
102.61/103.09	c bounds 523 >= 0 @ 98.5857
102.80/103.24	c bounds 517 >= 0 @ 98.7319
102.80/103.28	c bounds 504 >= 0 @ 98.7758
102.89/103.32	c bounds 502 >= 0 @ 98.8094
103.00/103.47	c bounds 501 >= 0 @ 98.9534
103.09/103.50	c bounds 497 >= 0 @ 98.9764
103.09/103.52	c bounds 494 >= 0 @ 98.9953
103.19/103.66	c bounds 493 >= 0 @ 99.1259
103.29/103.71	c bounds 490 >= 0 @ 99.1661
103.29/103.73	c bounds 481 >= 0 @ 99.1817
103.40/103.86	c bounds 480 >= 0 @ 99.3119
103.70/104.16	c bounds 476 >= 0 @ 99.6008
103.79/104.22	c bounds 473 >= 0 @ 99.6538
103.79/104.24	c bounds 464 >= 0 @ 99.6804
105.38/105.87	c bounds 453 >= 0 @ 101.265
105.60/106.08	c bounds 446 >= 0 @ 101.476
105.60/106.10	c bounds 442 >= 0 @ 101.495
107.77/108.29	c bounds 441 >= 0 @ 103.633
108.48/108.95	c #Conflicts:       8000 | #Constraints:     660483
108.48/108.95	c bounds 440 >= 0 @ 104.272
108.48/108.97	c bounds 438 >= 0 @ 104.287
109.07/109.55	c bounds 437 >= 0 @ 104.854
109.87/110.30	c bounds 436 >= 0 @ 105.597
110.97/111.40	c bounds 432 >= 0 @ 106.674
110.97/111.48	c bounds 430 >= 0 @ 106.755
111.26/111.75	c bounds 426 >= 0 @ 107.018
111.47/111.91	c bounds 424 >= 0 @ 107.171
111.47/111.95	c bounds 423 >= 0 @ 107.207
111.86/112.39	c bounds 417 >= 0 @ 107.629
112.76/113.29	c bounds 413 >= 0 @ 108.519
115.06/115.55	c bounds 406 >= 0 @ 110.731
115.57/116.05	c bounds 398 >= 0 @ 111.22
115.85/116.39	c bounds 397 >= 0 @ 111.548
116.66/117.18	c bounds 393 >= 0 @ 112.328
117.95/118.44	c bounds 392 >= 0 @ 113.554
118.55/119.09	c #Conflicts:       9000 | #Constraints:     661529
118.55/119.09	c bounds 391 >= 0 @ 114.184
141.55/142.18	c INPROCESSING
141.55/142.18	c GARBAGE COLLECT
141.55/142.18	c bounds 390 >= 0 @ 137.047
144.03/144.69	c bounds 386 >= 0 @ 139.488
170.92/171.68	c #Conflicts:      10000 | #Constraints:     660080
170.92/171.68	c #Conflicts:      11000 | #Constraints:     661091
170.92/171.68	c #Conflicts:      12000 | #Constraints:     662102
170.92/171.68	c INPROCESSING
170.92/171.68	c GARBAGE COLLECT
170.92/171.68	c bounds 385 >= 0 @ 165.87
171.03/171.75	c bounds 383 >= 0 @ 165.932
171.52/172.25	c bounds 382 >= 0 @ 166.428
176.01/176.79	c bounds 380 >= 0 @ 170.89
179.99/180.74	c bounds 377 >= 0 @ 174.774
181.18/182.01	c bounds 376 >= 0 @ 176.007
213.18/214.09	c #Conflicts:      13000 | #Constraints:     660530
213.18/214.09	c #Conflicts:      14000 | #Constraints:     661539
213.18/214.09	c #Conflicts:      15000 | #Constraints:     662544
213.18/214.09	c INPROCESSING
213.18/214.09	c GARBAGE COLLECT
213.18/214.09	c rational objective 156.044
303.61/304.80	c #Conflicts:      16000 | #Constraints:     660740
303.61/304.80	c #Conflicts:      17000 | #Constraints:     661749
303.61/304.80	c #Conflicts:      18000 | #Constraints:     662758
303.61/304.80	c INPROCESSING
303.61/304.80	c GARBAGE COLLECT
303.61/304.80	c #Conflicts:      19000 | #Constraints:     660747
303.61/304.80	c #Conflicts:      20000 | #Constraints:     661757
303.61/304.80	c #Conflicts:      21000 | #Constraints:     662764
303.61/304.80	c INPROCESSING
303.61/304.80	c GARBAGE COLLECT
303.61/304.80	c rational objective 157
347.13/348.55	c #Conflicts:      22000 | #Constraints:     660554
347.13/348.55	c #Conflicts:      23000 | #Constraints:     661565
347.13/348.55	c #Conflicts:      24000 | #Constraints:     662570
347.13/348.55	c bounds 366 >= 0 @ 340.107
461.01/462.80	c #Conflicts:      25000 | #Constraints:     663586
461.01/462.80	c INPROCESSING
461.01/462.80	c GARBAGE COLLECT
461.01/462.80	c #Conflicts:      26000 | #Constraints:     661162
461.01/462.80	c #Conflicts:      27000 | #Constraints:     662168
461.01/462.80	c #Conflicts:      28000 | #Constraints:     663178
461.01/462.80	c #Conflicts:      29000 | #Constraints:     664188
461.01/462.80	c INPROCESSING
461.01/462.80	c GARBAGE COLLECT
461.01/462.80	c #Conflicts:      30000 | #Constraints:     661562
461.01/462.80	c #Conflicts:      31000 | #Constraints:     662571
461.01/462.80	c #Conflicts:      32000 | #Constraints:     663580
461.01/462.80	c #Conflicts:      33000 | #Constraints:     664591
461.01/462.80	c INPROCESSING
461.01/462.80	c GARBAGE COLLECT
461.01/462.80	c rational objective 157.402
476.84/478.72	c bounds 365 >= 0 @ 468.221
509.32/511.32	c #Conflicts:      34000 | #Constraints:     661774
509.32/511.32	c #Conflicts:      35000 | #Constraints:     662783
509.32/511.32	c bounds 362 >= 0 @ 500.317
617.70/620.18	c #Conflicts:      36000 | #Constraints:     663797
617.70/620.18	c #Conflicts:      37000 | #Constraints:     664809
617.70/620.18	c INPROCESSING
617.70/620.18	c GARBAGE COLLECT
617.70/620.18	c #Conflicts:      38000 | #Constraints:     661775
617.70/620.18	c #Conflicts:      39000 | #Constraints:     662784
617.70/620.18	c #Conflicts:      40000 | #Constraints:     663789
617.70/620.18	c #Conflicts:      41000 | #Constraints:     664799
617.70/620.18	c INPROCESSING
617.70/620.18	c GARBAGE COLLECT
617.70/620.18	c rational objective 157.435
623.07/625.54	c bounds 361 >= 0 @ 613.05
623.36/625.88	c bounds 360 >= 0 @ 613.381
749.33/752.27	c #Conflicts:      42000 | #Constraints:     661585
749.33/752.27	c #Conflicts:      43000 | #Constraints:     662850
749.33/752.27	c #Conflicts:      44000 | #Constraints:     664395
749.33/752.27	c bounds 359 >= 0 @ 738.709
751.71/754.66	c #Conflicts:      45000 | #Constraints:     665560
751.71/754.66	c bounds 358 >= 0 @ 741.065
824.67/827.85	c #Conflicts:      46000 | #Constraints:     666561
824.67/827.85	c INPROCESSING
824.67/827.85	c GARBAGE COLLECT
824.67/827.85	c #Conflicts:      47000 | #Constraints:     662643
824.67/827.85	c #Conflicts:      48000 | #Constraints:     663643
824.67/827.85	c #Conflicts:      49000 | #Constraints:     664643
824.67/827.85	c #Conflicts:      50000 | #Constraints:     665643
824.67/827.85	c #Conflicts:      51000 | #Constraints:     666643
824.67/827.85	c INPROCESSING
824.67/827.85	c GARBAGE COLLECT
824.67/827.85	c rational objective 157.449
831.35/834.56	c bounds 357 >= 0 @ 819.589
834.95/838.12	c bounds 350 >= 0 @ 823.123
858.77/862.03	c #Conflicts:      52000 | #Constraints:     662783
858.77/862.03	c bounds 349 >= 0 @ 846.729
948.18/951.79	c #Conflicts:      53000 | #Constraints:     663784
948.18/951.79	c #Conflicts:      54000 | #Constraints:     664784
948.18/951.79	c #Conflicts:      55000 | #Constraints:     665788
948.18/951.79	c #Conflicts:      56000 | #Constraints:     667064
948.18/951.79	c INPROCESSING
948.18/951.79	c GARBAGE COLLECT
948.18/951.79	c rational objective 159.055
1029.32/1033.15	c #Conflicts:      57000 | #Constraints:     662995
1029.32/1033.15	c #Conflicts:      58000 | #Constraints:     664005
1029.32/1033.15	c #Conflicts:      59000 | #Constraints:     665013
1029.32/1033.15	c #Conflicts:      60000 | #Constraints:     666019
1029.32/1033.15	c #Conflicts:      61000 | #Constraints:     667025
1029.32/1033.15	c INPROCESSING
1029.32/1033.15	c GARBAGE COLLECT
1029.32/1033.15	c rational objective 158.083
1040.98/1044.82	c bounds 348 >= 0 @ 1027.44
1243.86/1248.47	c #Conflicts:      62000 | #Constraints:     662885
1243.86/1248.47	c #Conflicts:      63000 | #Constraints:     663893
1243.86/1248.47	c #Conflicts:      64000 | #Constraints:     664905
1243.86/1248.47	c #Conflicts:      65000 | #Constraints:     665906
1243.86/1248.47	c #Conflicts:      66000 | #Constraints:     666915
1243.86/1248.47	c INPROCESSING
1243.86/1248.47	c GARBAGE COLLECT
1243.86/1248.47	c #Conflicts:      67000 | #Constraints:     662624
1243.86/1248.47	c #Conflicts:      68000 | #Constraints:     663637
1243.86/1248.47	c #Conflicts:      69000 | #Constraints:     664645
1243.86/1248.47	c #Conflicts:      70000 | #Constraints:     665658
1243.86/1248.47	c #Conflicts:      71000 | #Constraints:     666667
1243.86/1248.47	c #Conflicts:      72000 | #Constraints:     667676
1243.86/1248.47	c INPROCESSING
1243.86/1248.47	c GARBAGE COLLECT
1243.86/1248.47	c rational objective 158.492
1473.87/1479.20	c #Conflicts:      73000 | #Constraints:     663202
1473.87/1479.20	c #Conflicts:      74000 | #Constraints:     664212
1473.87/1479.20	c #Conflicts:      75000 | #Constraints:     665218
1473.87/1479.20	c #Conflicts:      76000 | #Constraints:     666229
1473.87/1479.20	c #Conflicts:      77000 | #Constraints:     667241
1473.87/1479.20	c #Conflicts:      78000 | #Constraints:     668251
1473.87/1479.20	c INPROCESSING
1473.87/1479.20	c GARBAGE COLLECT
1473.87/1479.20	c #Conflicts:      79000 | #Constraints:     663592
1473.87/1479.20	c #Conflicts:      80000 | #Constraints:     664601
1473.87/1479.20	c #Conflicts:      81000 | #Constraints:     665611
1473.87/1479.20	c #Conflicts:      82000 | #Constraints:     666617
1473.87/1479.20	c #Conflicts:      83000 | #Constraints:     667625
1473.87/1479.20	c #Conflicts:      84000 | #Constraints:     668632
1473.87/1479.20	c INPROCESSING
1473.87/1479.20	c GARBAGE COLLECT
1473.87/1479.20	c rational objective 158.517
1664.05/1670.03	c #Conflicts:      85000 | #Constraints:     663814
1664.05/1670.03	c #Conflicts:      86000 | #Constraints:     664867
1664.05/1670.03	c #Conflicts:      87000 | #Constraints:     665936
1664.05/1670.03	c #Conflicts:      88000 | #Constraints:     666999
1664.05/1670.03	c #Conflicts:      89000 | #Constraints:     668092
1664.05/1670.03	c #Conflicts:      90000 | #Constraints:     669160
1664.05/1670.03	c INPROCESSING
1664.05/1670.03	c #Conflicts:      91000 | #Constraints:     663989
1664.05/1670.03	c #Conflicts:      92000 | #Constraints:     665029
1664.05/1670.03	c #Conflicts:      93000 | #Constraints:     666066
1664.05/1670.03	c #Conflicts:      94000 | #Constraints:     667105
1664.05/1670.03	c #Conflicts:      95000 | #Constraints:     668144
1664.05/1670.03	c #Conflicts:      96000 | #Constraints:     669190
1664.05/1670.03	c INPROCESSING
1664.05/1670.03	c GARBAGE COLLECT
1664.05/1670.03	c #Conflicts:      97000 | #Constraints:     663785
1664.05/1670.03	c #Conflicts:      98000 | #Constraints:     664789
1664.05/1670.03	c #Conflicts:      99000 | #Constraints:     665793
1664.05/1670.03	c #Conflicts:     100000 | #Constraints:     666796
1664.05/1670.03	c #Conflicts:     101000 | #Constraints:     667802
1664.05/1670.03	c #Conflicts:     102000 | #Constraints:     668807
1664.05/1670.03	c #Conflicts:     103000 | #Constraints:     669813
1664.05/1670.03	c INPROCESSING
1664.05/1670.03	c GARBAGE COLLECT
1664.05/1670.03	c rational objective 158.517
1693.83/1699.91	c #Conflicts:     104000 | #Constraints:     664272
1693.83/1699.91	c bounds 341 >= 0 @ 1675
1787.20/1793.65	c #Conflicts:     105000 | #Constraints:     665279
1787.20/1793.65	c #Conflicts:     106000 | #Constraints:     666285
1787.20/1793.65	c #Conflicts:     107000 | #Constraints:     667292
1787.20/1793.65	c #Conflicts:     108000 | #Constraints:     668300
1787.20/1793.65	c #Conflicts:     109000 | #Constraints:     669314
1787.20/1793.65	c #Conflicts:     110000 | #Constraints:     670321
1787.20/1793.65	c INPROCESSING
1787.20/1793.65	c GARBAGE COLLECT
1787.20/1793.65	c rational objective 158.517
1799.04/1805.56	c bounds 340 >= 0 @ 1779.36
1802.43/1809.00	c bounds 339 >= 0 @ 1782.73
1802.83/1809.32	c bounds 338 >= 0 @ 1783.05
1809.21/1815.76	c #Conflicts:     111000 | #Constraints:     664638
1809.21/1815.76	c bounds 337 >= 0 @ 1789.38
1810.91/1817.44	c bounds 336 >= 0 @ 1791.03
1816.28/1822.87	c bounds 335 >= 0 @ 1796.35
1860.92/1867.67	c #Conflicts:     112000 | #Constraints:     665644
1860.92/1867.67	c #Conflicts:     113000 | #Constraints:     666645
1860.92/1867.67	c #Conflicts:     114000 | #Constraints:     667646
1860.92/1867.67	c #Conflicts:     115000 | #Constraints:     668652
1860.92/1867.67	c #Conflicts:     116000 | #Constraints:     669654
1860.92/1867.67	c #Conflicts:     117000 | #Constraints:     670655
1860.92/1867.67	c INPROCESSING
1860.92/1867.67	c GARBAGE COLLECT
1860.92/1867.67	c rational objective 158.517
1870.80/1877.53	c bounds 333 >= 0 @ 1850.46
1915.51/1922.49	c #Conflicts:     118000 | #Constraints:     664809
1915.51/1922.49	c #Conflicts:     119000 | #Constraints:     665825
1915.51/1922.49	c #Conflicts:     120000 | #Constraints:     666837
1915.51/1922.49	c bounds 332 >= 0 @ 1894.65
1941.04/1948.08	c #Conflicts:     121000 | #Constraints:     667841
1941.04/1948.08	c #Conflicts:     122000 | #Constraints:     668841
1941.04/1948.08	c #Conflicts:     123000 | #Constraints:     669841
1941.04/1948.08	c #Conflicts:     124000 | #Constraints:     670841
1941.04/1948.08	c INPROCESSING
1941.04/1948.08	c GARBAGE COLLECT
1941.04/1948.08	c rational objective 158.583
2027.41/2034.75	c #Conflicts:     125000 | #Constraints:     664783
2027.41/2034.75	c #Conflicts:     126000 | #Constraints:     665788
2027.41/2034.75	c #Conflicts:     127000 | #Constraints:     666812
2027.41/2034.75	c #Conflicts:     128000 | #Constraints:     667841
2027.41/2034.75	c #Conflicts:     129000 | #Constraints:     668861
2027.41/2034.75	c #Conflicts:     130000 | #Constraints:     669913
2027.41/2034.75	c #Conflicts:     131000 | #Constraints:     670941
2027.41/2034.75	c INPROCESSING
2027.41/2034.75	c #Conflicts:     132000 | #Constraints:     664644
2027.41/2034.75	c #Conflicts:     133000 | #Constraints:     665670
2027.41/2034.75	c #Conflicts:     134000 | #Constraints:     666687
2027.41/2034.75	c #Conflicts:     135000 | #Constraints:     667703
2027.41/2034.75	c #Conflicts:     136000 | #Constraints:     668729
2027.41/2034.75	c #Conflicts:     137000 | #Constraints:     669743
2027.41/2034.75	c #Conflicts:     138000 | #Constraints:     670766
2027.41/2034.75	c #Conflicts:     139000 | #Constraints:     671815
2027.41/2034.75	c INPROCESSING
2027.41/2034.75	c GARBAGE COLLECT
2027.41/2034.75	c #Conflicts:     140000 | #Constraints:     665299
2027.41/2034.75	c #Conflicts:     141000 | #Constraints:     666324
2027.41/2034.75	c bounds 315 >= 0 @ 2005.75
2134.88/2142.61	c #Conflicts:     142000 | #Constraints:     667338
2134.88/2142.61	c #Conflicts:     143000 | #Constraints:     668342
2134.88/2142.61	c #Conflicts:     144000 | #Constraints:     669346
2134.88/2142.61	c #Conflicts:     145000 | #Constraints:     670372
2134.88/2142.61	c #Conflicts:     146000 | #Constraints:     671401
2134.88/2142.61	c #Conflicts:     147000 | #Constraints:     672439
2134.88/2142.61	c INPROCESSING
2134.88/2142.61	c rational objective 158.673
2204.92/2213.00	c #Conflicts:     148000 | #Constraints:     665709
2204.92/2213.00	c #Conflicts:     149000 | #Constraints:     666746
2204.92/2213.00	c #Conflicts:     150000 | #Constraints:     667774
2204.92/2213.00	c #Conflicts:     151000 | #Constraints:     668803
2204.92/2213.00	c #Conflicts:     152000 | #Constraints:     669810
2204.92/2213.00	c #Conflicts:     153000 | #Constraints:     670821
2204.92/2213.00	c #Conflicts:     154000 | #Constraints:     671861
2204.92/2213.00	c #Conflicts:     155000 | #Constraints:     672914
2204.92/2213.00	c INPROCESSING
2204.92/2213.00	c GARBAGE COLLECT
2204.92/2213.00	c #Conflicts:     156000 | #Constraints:     665925
2204.92/2213.00	c #Conflicts:     157000 | #Constraints:     666925
2204.92/2213.00	c #Conflicts:     158000 | #Constraints:     667927
2204.92/2213.00	c #Conflicts:     159000 | #Constraints:     668933
2204.92/2213.00	c #Conflicts:     160000 | #Constraints:     669943
2204.92/2213.00	c bounds 299 >= 0 @ 2182.47
2227.82/2235.91	c #Conflicts:     161000 | #Constraints:     670950
2227.82/2235.91	c #Conflicts:     162000 | #Constraints:     671961
2227.82/2235.91	c #Conflicts:     163000 | #Constraints:     672963
2227.82/2235.91	c INPROCESSING
2227.82/2235.91	c rational objective 158.698
2283.29/2291.61	c #Conflicts:     164000 | #Constraints:     665858
2283.29/2291.61	c #Conflicts:     165000 | #Constraints:     666860
2283.29/2291.61	c #Conflicts:     166000 | #Constraints:     667869
2283.29/2291.61	c #Conflicts:     167000 | #Constraints:     668873
2283.29/2291.61	c #Conflicts:     168000 | #Constraints:     669880
2283.29/2291.61	c #Conflicts:     169000 | #Constraints:     670889
2283.29/2291.61	c #Conflicts:     170000 | #Constraints:     671891
2283.29/2291.61	c #Conflicts:     171000 | #Constraints:     672897
2283.29/2291.61	c INPROCESSING
2283.29/2291.61	c GARBAGE COLLECT
2283.29/2291.61	c rational objective 158.704
2359.80/2368.40	c #Conflicts:     172000 | #Constraints:     665633
2359.80/2368.40	c #Conflicts:     173000 | #Constraints:     666638
2359.80/2368.40	c #Conflicts:     174000 | #Constraints:     667647
2359.80/2368.40	c #Conflicts:     175000 | #Constraints:     668658
2359.80/2368.40	c #Conflicts:     176000 | #Constraints:     669662
2359.80/2368.40	c #Conflicts:     177000 | #Constraints:     670669
2359.80/2368.40	c #Conflicts:     178000 | #Constraints:     671679
2359.80/2368.40	c #Conflicts:     179000 | #Constraints:     672687
2359.80/2368.40	c #Conflicts:     180000 | #Constraints:     673691
2359.80/2368.40	c INPROCESSING
2359.80/2368.40	c rational objective 158.705
2421.65/2431.13	c #Conflicts:     181000 | #Constraints:     666235
2421.65/2431.13	c #Conflicts:     182000 | #Constraints:     667239
2421.65/2431.13	c #Conflicts:     183000 | #Constraints:     668249
2421.65/2431.13	c #Conflicts:     184000 | #Constraints:     669252
2421.65/2431.13	c #Conflicts:     185000 | #Constraints:     670264
2421.65/2431.13	c #Conflicts:     186000 | #Constraints:     671272
2421.65/2431.13	c #Conflicts:     187000 | #Constraints:     672278
2421.65/2431.13	c #Conflicts:     188000 | #Constraints:     673285
2421.65/2431.13	c #Conflicts:     189000 | #Constraints:     674287
2421.65/2431.13	c INPROCESSING
2421.65/2431.13	c GARBAGE COLLECT
2421.65/2431.13	c rational objective 159.399
2546.85/2561.58	c #Conflicts:     190000 | #Constraints:     666650
2546.85/2561.58	c #Conflicts:     191000 | #Constraints:     667658
2546.85/2561.58	c #Conflicts:     192000 | #Constraints:     668667
2546.85/2561.58	c #Conflicts:     193000 | #Constraints:     669672
2546.85/2561.58	c #Conflicts:     194000 | #Constraints:     670675
2546.85/2561.58	c #Conflicts:     195000 | #Constraints:     671679
2546.85/2561.58	c #Conflicts:     196000 | #Constraints:     672682
2546.85/2561.58	c #Conflicts:     197000 | #Constraints:     673684
2546.85/2561.58	c #Conflicts:     198000 | #Constraints:     674690
2546.85/2561.58	c INPROCESSING
2546.85/2561.58	c GARBAGE COLLECT
2546.85/2561.58	c #Conflicts:     199000 | #Constraints:     666841
2546.85/2561.58	c #Conflicts:     200000 | #Constraints:     667846
2546.85/2561.58	c #Conflicts:     201000 | #Constraints:     668855
2546.85/2561.58	c #Conflicts:     202000 | #Constraints:     669866
2546.85/2561.58	c #Conflicts:     203000 | #Constraints:     670869
2546.85/2561.58	c #Conflicts:     204000 | #Constraints:     671871
2546.85/2561.58	c #Conflicts:     205000 | #Constraints:     672872
2546.85/2561.58	c #Conflicts:     206000 | #Constraints:     673881
2546.85/2561.58	c #Conflicts:     207000 | #Constraints:     674899
2546.85/2561.58	c INPROCESSING
2546.85/2561.58	c GARBAGE COLLECT
2546.85/2561.58	c bounds 295 >= 0 @ 2522.94
2546.95/2561.60	c bounds 294 >= 0 @ 2522.95
2546.95/2561.63	c bounds 291 >= 0 @ 2522.98
2547.15/2561.87	c bounds 290 >= 0 @ 2523.2
2627.66/2643.24	c #Conflicts:     208000 | #Constraints:     666848
2627.66/2643.24	c #Conflicts:     209000 | #Constraints:     667862
2627.66/2643.24	c #Conflicts:     210000 | #Constraints:     668871
2627.66/2643.24	c #Conflicts:     211000 | #Constraints:     669884
2627.66/2643.24	c #Conflicts:     212000 | #Constraints:     670896
2627.66/2643.24	c #Conflicts:     213000 | #Constraints:     671904
2627.66/2643.24	c #Conflicts:     214000 | #Constraints:     672912
2627.66/2643.24	c bounds 289 >= 0 @ 2602.56
2627.66/2643.28	c bounds 289 >= 4 @ 2602.58
2627.75/2643.32	c bounds 289 >= 8 @ 2602.62
2627.75/2643.36	c bounds 289 >= 12 @ 2602.65
2627.96/2643.52	c bounds 289 >= 16 @ 2602.8
2631.14/2646.75	c bounds 289 >= 20 @ 2605.99
2650.26/2666.00	c #Conflicts:     215000 | #Constraints:     673944
2650.26/2666.00	c #Conflicts:     216000 | #Constraints:     674944
2650.26/2666.00	c INPROCESSING
2650.26/2666.00	c GARBAGE COLLECT
2650.26/2666.00	c rational objective 159
2671.69/2687.42	c #Conflicts:     217000 | #Constraints:     666676
2671.69/2687.42	c #Conflicts:     218000 | #Constraints:     667676
2671.69/2687.42	c bounds 289 >= 24 @ 2646.33
2724.32/2740.27	c #Conflicts:     219000 | #Constraints:     668688
2724.32/2740.27	c #Conflicts:     220000 | #Constraints:     669688
2724.32/2740.27	c #Conflicts:     221000 | #Constraints:     670688
2724.32/2740.27	c #Conflicts:     222000 | #Constraints:     671688
2724.32/2740.27	c #Conflicts:     223000 | #Constraints:     672688
2724.32/2740.27	c #Conflicts:     224000 | #Constraints:     673688
2724.32/2740.27	c #Conflicts:     225000 | #Constraints:     674688
2724.32/2740.27	c #Conflicts:     226000 | #Constraints:     675688
2724.32/2740.27	c INPROCESSING
2724.32/2740.27	c GARBAGE COLLECT
2724.32/2740.27	c rational objective 159
2801.72/2817.96	c #Conflicts:     227000 | #Constraints:     667247
2801.72/2817.96	c #Conflicts:     228000 | #Constraints:     668247
2801.72/2817.96	c #Conflicts:     229000 | #Constraints:     669247
2801.72/2817.96	c #Conflicts:     230000 | #Constraints:     670247
2801.72/2817.96	c #Conflicts:     231000 | #Constraints:     671247
2801.72/2817.96	c #Conflicts:     232000 | #Constraints:     672247
2801.72/2817.96	c #Conflicts:     233000 | #Constraints:     673247
2801.72/2817.96	c #Conflicts:     234000 | #Constraints:     674247
2801.72/2817.96	c #Conflicts:     235000 | #Constraints:     675247
2801.72/2817.96	c #Conflicts:     236000 | #Constraints:     676247
2801.72/2817.96	c INPROCESSING
2801.72/2817.96	c GARBAGE COLLECT
2801.72/2817.96	c rational objective 159
2811.50/2827.87	c bounds 288 >= 24 @ 2785.22
2811.71/2828.04	c bounds 287 >= 24 @ 2785.39
2811.71/2828.07	c bounds 282 >= 24 @ 2785.41
2811.82/2828.15	c bounds 279 >= 24 @ 2785.48
2812.50/2828.86	c bounds 278 >= 24 @ 2786.18
2812.50/2828.88	c bounds 277 >= 24 @ 2786.2
2821.45/2837.87	c #Conflicts:     237000 | #Constraints:     667644
2821.45/2837.87	c bounds 275 >= 24 @ 2794.96
2825.33/2841.71	c bounds 274 >= 24 @ 2798.72
2833.77/2850.21	c #Conflicts:     238000 | #Constraints:     668651
2833.77/2850.21	c bounds 269 >= 24 @ 2807.05
2833.77/2850.29	c bounds 269 >= 27 @ 2807.13
2835.97/2852.49	c bounds 269 >= 30 @ 2809.29
2861.95/2878.51	c #Conflicts:     239000 | #Constraints:     669666
2861.95/2878.51	c #Conflicts:     240000 | #Constraints:     670666
2861.95/2878.51	c #Conflicts:     241000 | #Constraints:     671666
2861.95/2878.51	c #Conflicts:     242000 | #Constraints:     672666
2861.95/2878.51	c #Conflicts:     243000 | #Constraints:     673666
2861.95/2878.51	c bounds 269 >= 33 @ 2834.87
2862.05/2878.60	c bounds 268 >= 33 @ 2834.96
2862.14/2878.72	c bounds 266 >= 33 @ 2835.07
2865.23/2881.85	c bounds 265 >= 33 @ 2838.15
2865.44/2882.05	c bounds 263 >= 33 @ 2838.35
2867.23/2883.89	c bounds 261 >= 33 @ 2840.15
2958.28/2975.27	c #Conflicts:     244000 | #Constraints:     674688
2958.28/2975.27	c #Conflicts:     245000 | #Constraints:     675697
2958.28/2975.27	c #Conflicts:     246000 | #Constraints:     676704
2958.28/2975.27	c INPROCESSING
2958.28/2975.27	c GARBAGE COLLECT
2958.28/2975.27	c rational objective 159
3069.36/3086.78	c #Conflicts:     247000 | #Constraints:     667837
3069.36/3086.78	c #Conflicts:     248000 | #Constraints:     668841
3069.36/3086.78	c #Conflicts:     249000 | #Constraints:     669842
3069.36/3086.78	c #Conflicts:     250000 | #Constraints:     670845
3069.36/3086.78	c #Conflicts:     251000 | #Constraints:     671845
3069.36/3086.78	c #Conflicts:     252000 | #Constraints:     672853
3069.36/3086.78	c #Conflicts:     253000 | #Constraints:     673861
3069.36/3086.78	c #Conflicts:     254000 | #Constraints:     674868
3069.36/3086.78	c #Conflicts:     255000 | #Constraints:     675871
3069.36/3086.78	c #Conflicts:     256000 | #Constraints:     676877
3069.36/3086.78	c INPROCESSING
3069.36/3086.78	c GARBAGE COLLECT
3069.36/3086.78	c rational objective 159.178
3258.36/3276.46	c #Conflicts:     257000 | #Constraints:     667827
3258.36/3276.46	c #Conflicts:     258000 | #Constraints:     668827
3258.36/3276.46	c #Conflicts:     259000 | #Constraints:     669834
3258.36/3276.46	c #Conflicts:     260000 | #Constraints:     670837
3258.36/3276.46	c #Conflicts:     261000 | #Constraints:     671842
3258.36/3276.46	c #Conflicts:     262000 | #Constraints:     672850
3258.36/3276.46	c #Conflicts:     263000 | #Constraints:     673855
3258.36/3276.46	c #Conflicts:     264000 | #Constraints:     674863
3258.36/3276.46	c #Conflicts:     265000 | #Constraints:     675871
3258.36/3276.46	c #Conflicts:     266000 | #Constraints:     676877
3258.36/3276.46	c INPROCESSING
3258.36/3276.46	c GARBAGE COLLECT
3258.36/3276.46	c rational objective 159.283
3445.17/3463.84	c #Conflicts:     267000 | #Constraints:     667628
3445.17/3463.84	c #Conflicts:     268000 | #Constraints:     668636
3445.17/3463.84	c #Conflicts:     269000 | #Constraints:     669641
3445.17/3463.84	c #Conflicts:     270000 | #Constraints:     670644
3445.17/3463.84	c #Conflicts:     271000 | #Constraints:     671653
3445.17/3463.84	c #Conflicts:     272000 | #Constraints:     672663
3445.17/3463.84	c #Conflicts:     273000 | #Constraints:     673673
3445.17/3463.84	c #Conflicts:     274000 | #Constraints:     674681
3445.17/3463.84	c #Conflicts:     275000 | #Constraints:     675687
3445.17/3463.84	c #Conflicts:     276000 | #Constraints:     676694
3445.17/3463.84	c #Conflicts:     277000 | #Constraints:     677708
3445.17/3463.84	c INPROCESSING
3445.17/3463.84	c GARBAGE COLLECT
3445.17/3463.84	c rational objective 159.313
3600.07/3619.31	c #Conflicts:     278000 | #Constraints:     668241
3600.07/3619.31	c #Conflicts:     279000 | #Constraints:     669243
3600.07/3619.31	c #Conflicts:     280000 | #Constraints:     670247
3600.07/3619.31	c #Conflicts:     281000 | #Constraints:     671250
3600.07/3619.31	c #Conflicts:     282000 | #Constraints:     672252
3600.07/3619.31	c #Conflicts:     283000 | #Constraints:     673261
3600.07/3619.31	c #Conflicts:     284000 | #Constraints:     674266
3600.07/3619.31	c #Conflicts:     285000 | #Constraints:     675267
3600.07/3619.31	c #Conflicts:     286000 | #Constraints:     676269
3600.07/3619.31	c #Conflicts:     287000 | #Constraints:     677274
3600.07/3619.31	c #Conflicts:     288000 | #Constraints:     678283
3600.07/3619.31	c INPROCESSING
3600.07/3619.31	c GARBAGE COLLECT
3600.07/3619.31	c Disabling crashed LP
3600.07/3619.31	c cpu time 3566.28 s
3600.07/3619.31	c deterministic time 302659200369 3.03e+11
3600.07/3619.31	c optimization time 0.989595 s
3600.07/3619.31	c total solve time 3562.32 s
3600.07/3619.31	c core-guided solve time 2594.34 s
3600.07/3619.31	c propagation time 1436.91 s
3600.07/3619.31	c conflict analysis time 964.69 s
3600.07/3619.31	c propagations 46360904
3600.07/3619.31	c resolve steps 5509349
3600.07/3619.31	c decisions 8934717
3600.07/3619.31	c conflicts 288001
3600.07/3619.31	c restarts 690
3600.07/3619.31	c inprocessing phases 45
3600.07/3619.31	c garbage collections 40 ,( 88.89 )
3600.07/3619.31	c input clauses 656911 ,( 99.94 )
3600.07/3619.31	c input cardinalities 20 ,( 0.00 )
3600.07/3619.31	c input general constraints 377 ,( 0.06 )
3600.07/3619.31	c input average constraint length 7.58
3600.07/3619.31	c input average constraint degree 262.77
3600.07/3619.31	c learned clauses 154622 ,( 52.91 )
3600.07/3619.31	c learned cardinalities 20 ,( 0.01 )
3600.07/3619.31	c learned general constraints 137606 ,( 47.09 )
3600.07/3619.31	c learned average constraint length 4940.04
3600.07/3619.31	c learned average constraint degree 214242048889.58
3600.07/3619.31	c watched  CF 32, 64, 128, Arb: 4673 , 0 , 0 , 0
3600.07/3619.31	c counting CF 32, 64, 128, Arb: 133311 , 0 , 0 , 0
3600.07/3619.31	c watched   constraints 4673 ,( 3.39 ) 
3600.07/3619.31	c counting  constraints 133310 ,( 96.61 ) 
3600.07/3619.31	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 79580905 , 343506 , 682055621 ,( 32817907 , 649237714 )
3600.07/3619.31	c gcd simplifications 2457
3600.07/3619.31	c detected cardinalities 1
3600.07/3619.31	c weakened non-implied lits 383008954
3600.07/3619.31	c weakened non-implying lits 113382
3600.07/3619.31	c original variables 10000
3600.07/3619.31	c clausal propagations 25549982
3600.07/3619.31	c cardinality propagations 14621
3600.07/3619.31	c watched propagations 27513
3600.07/3619.31	c counting propagations 19471907
3600.07/3619.31	c watch lookups 19820141906
3600.07/3619.31	c watch backjump lookups 0
3600.07/3619.31	c watch checks 6749583465
3600.07/3619.31	c propagation checks 272311572211
3600.07/3619.31	c constraint additions 3666532153
3600.07/3619.31	c trail pops 55582368
3600.07/3619.31	c formula constraints 656900
3600.07/3619.31	c learned constraints 286748
3600.07/3619.31	c bound constraints 357
3600.07/3619.31	c core-guided constraints 51
3600.07/3619.31	c encountered formula constraints 4547831
3600.07/3619.31	c encountered learned constraints 1087169
3600.07/3619.31	c encountered bound constraints 6133
3600.07/3619.31	c encountered core-guided constraints 13494
3600.07/3619.31	c LP total time 1513.67 s
3600.07/3619.31	c LP solve time 1237.82 s
3600.07/3619.31	c LP constraints added 656982
3600.07/3619.31	c LP constraints removed 60
3600.07/3619.31	c LP pivots internal 288060
3600.07/3619.31	c LP pivots root 204584
3600.07/3619.31	c LP calls 4439
3600.07/3619.31	c LP optimalities 195
3600.07/3619.31	c LP no pivot count 2
3600.07/3619.31	c LP infeasibilities 4223
3600.07/3619.31	c LP valid Farkas constraints 4219
3600.07/3619.31	c LP learned Farkas constraints 1254
3600.07/3619.31	c LP basis resets 21
3600.07/3619.31	c LP cycling count 11
3600.07/3619.31	c LP singular count 4
3600.07/3619.31	c LP no primal count 0
3600.07/3619.31	c LP no farkas count 4
3600.07/3619.31	c LP other issue count 2
3600.07/3619.31	c LP Gomory cuts 27
3600.07/3619.31	c LP learned cuts 55
3600.07/3619.31	c LP deleted cuts 60
3600.07/3619.31	c LP encountered Gomory constraints 0
3600.07/3619.31	c LP encountered Farkas constraints 138550
3600.07/3619.31	c LP encountered learned Farkas constraints 2919
3600.07/3619.31	c CG auxiliary variables introduced 20
3600.07/3619.31	c CG solutions found 348
3600.07/3619.31	c CG cores constructed 9
3600.07/3619.31	c CG core cardinality constraints returned 0
3600.07/3619.31	c CG unit cores 0
3600.07/3619.31	c CG single cores 9
3600.07/3619.31	c CG blocks removed during cardinality reduction 0
3600.07/3619.31	c CG first core best 0
3600.07/3619.31	c CG decision core best 0
3600.07/3619.31	c CG core reduction tie 0
3600.07/3619.31	c CG core degree average 1.00
3600.07/3619.31	c CG core slack average 2191.11
3600.07/3619.31	c CG core upper bound improvements 0
3600.07/3619.31	c STR number of successful calls 0
3600.07/3619.31	c STR number of unsuccessful calls 0
3600.07/3619.31	c STR number of inconclusive calls 0
3600.07/3619.31	c STR number of successful attempts 0
3600.07/3619.31	c STR number of unsuccessful attempts 0
3600.07/3619.31	c STR number of inconclusive attempts 0
3600.07/3619.31	c STR average degree increase per successful call inf
3600.07/3619.31	c STR average degree increase per successful attempt inf
3600.07/3619.31	c STR total number of conflicts for successful attempts 0
3600.07/3619.31	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3619.31	c STR total number of conflicts for inconclusive attempts 0
3600.07/3619.31	c STR average number of conflicts per successful attempt inf
3600.07/3619.31	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3619.31	c STR average number of conflicts per inconclusive attempt inf
3600.07/3619.31	c AVG.sumWPerc 95.62 
3600.07/3619.31	c bigint constraints 0 
3600.07/3619.31	o 261
3600.07/3619.31	s SATISFIABLE
3600.07/3619.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 x7732 -x7733 -x7734 -x7735 -x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.07/3619.31	c Program interrupted by user.

Verifier Data 

OK	261

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532382-1752585390/watcher-4532382-1752585390 -o /tmp/evaluation-result-4532382-1752585390/solver-4532382-1752585390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752584602-130767 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532382-1752585390.opb PROOFDIR/proof-4532382-1752585390 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=131157, runsolver pid=131154

[startup+0.100103 s]*
/proc/loadavg: 4.26 3.92 2.52 5/263 131159
/proc/meminfo: memFree=109181188/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131159] ppid=131157 vsize=158060 memory=138776 CPUtime=0.08 cores=5,7
/proc/131159/stat : 131159 (pbsuma) R 131157 131157 130754 0 -1 4194304 2249 0 0 0 4 4 0 0 20 0 1 0 174218399 161853440 34694 18446744073709551615 4210688 4653049 140726254996816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31547392 140726255003873 140726255004208 140726255004208 140726255009775 0
/proc/131159/statm: 39515 34694 992 108 0 36923 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 162252 KiB
Current children cumulated memory: 141848 KiB

[startup+0.206649 s]*
/proc/loadavg: 4.26 3.92 2.52 5/263 131159
/proc/meminfo: memFree=109165500/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131159] ppid=131157 vsize=166012 memory=150856 CPUtime=0.2 cores=5,7
/proc/131159/stat : 131159 (pbsuma) R 131157 131157 130754 0 -1 4194304 4743 0 0 0 14 6 0 0 20 0 1 0 174218399 169996288 37714 18446744073709551615 4210688 4653049 140726254996816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31547392 140726255003873 140726255004208 140726255004208 140726255009775 0
/proc/131159/statm: 41503 37714 992 108 0 38911 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 170204 KiB
Current children cumulated memory: 153928 KiB

[startup+0.30966 s]*
/proc/loadavg: 4.26 3.92 2.52 5/263 131159
/proc/meminfo: memFree=109159956/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131159] ppid=131157 vsize=171752 memory=157232 CPUtime=0.3 cores=5,7
/proc/131159/stat : 131159 (pbsuma) R 131157 131157 130754 0 -1 4194304 6637 0 0 0 23 7 0 0 20 0 1 0 174218399 175874048 39308 18446744073709551615 4210688 4653049 140726254996816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31547392 140726255003873 140726255004208 140726255004208 140726255009775 0
/proc/131159/statm: 42938 39308 992 108 0 40346 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 175944 KiB
Current children cumulated memory: 160304 KiB

[startup+0.700286 s]
/proc/loadavg: 4.26 3.92 2.52 5/263 131159
/proc/meminfo: memFree=109134124/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131159] ppid=131157 vsize=202160 memory=188508 CPUtime=0.67 cores=5,7
/proc/131159/stat : 131159 (pbsuma) R 131157 131157 130754 0 -1 4194304 12754 0 0 0 57 10 0 0 20 0 1 0 174218399 207011840 47127 18446744073709551615 4210688 4653049 140726254996816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31547392 140726255003873 140726255004208 140726255004208 140726255009775 0
/proc/131159/statm: 50540 47127 992 108 0 47948 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 206352 KiB
Current children cumulated memory: 191580 KiB

[startup+1.50041 s]
/proc/loadavg: 4.26 3.92 2.52 5/263 131159
/proc/meminfo: memFree=109040872/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131159] ppid=131157 vsize=107056 memory=100720 CPUtime=1.47 cores=5,7
/proc/131159/stat : 131159 (pbsuma) R 131157 131157 130754 0 -1 4194304 28048 0 0 0 128 19 0 0 20 0 1 0 174218399 109625344 25180 18446744073709551615 4210688 4653049 140726254996816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31547392 140726255003873 140726255004208 140726255004208 140726255009775 0
/proc/131159/statm: 26764 25180 1056 108 0 24172 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 111248 KiB
Current children cumulated memory: 103792 KiB

[startup+3.11433 s]
/proc/loadavg: 4.26 3.92 2.52 5/263 131160
/proc/meminfo: memFree=109196356/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=113852 memory=66788 CPUtime=1.52 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 13672 0 0 0 119 33 0 0 20 0 1 0 174218556 116584448 16697 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 28463 16697 1920 1147 0 15889 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 118044 KiB
Current children cumulated memory: 69860 KiB

[startup+6.30038 s]
/proc/loadavg: 4.24 3.92 2.53 5/263 131160
/proc/meminfo: memFree=108461572/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=914864 memory=664700 CPUtime=4.69 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 53167 0 0 0 392 77 0 0 20 0 1 0 174218556 936820736 166175 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 228716 166175 2304 1147 0 216142 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 919056 KiB
Current children cumulated memory: 667772 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 3.92 2.54 5/263 131160
/proc/meminfo: memFree=108464952/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=1081696 memory=751868 CPUtime=11.07 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 59249 0 0 0 1015 92 0 0 20 0 1 0 174218556 1107656704 187967 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 270424 187967 2368 1147 0 257850 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1085888 KiB
Current children cumulated memory: 754940 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 3.93 2.56 5/263 131160
/proc/meminfo: memFree=108073260/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=1236248 memory=911880 CPUtime=23.84 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 82262 0 0 0 2254 130 0 0 20 0 1 0 174218556 1265917952 227970 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 309062 227970 2368 1147 0 296488 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1240440 KiB
Current children cumulated memory: 914952 KiB

[startup+51.1139 s]
/proc/loadavg: 4.11 3.93 2.60 5/262 131161
/proc/meminfo: memFree=107392940/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=1479256 memory=1162744 CPUtime=49.37 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 109500 0 0 0 4760 177 0 0 20 0 1 0 174218556 1514758144 290686 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 369814 290686 2368 1147 0 357240 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1483448 KiB
Current children cumulated memory: 1165816 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.98 2.69 5/260 131162
/proc/meminfo: memFree=105712384/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=1916172 memory=1450092 CPUtime=100.35 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 151819 0 0 0 9781 254 0 0 20 0 1 0 174218556 1962160128 362523 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 479043 362523 2368 1147 0 466469 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1920364 KiB
Current children cumulated memory: 1453164 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.02 2.78 5/259 131170
/proc/meminfo: memFree=103551892/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=2080220 memory=1651808 CPUtime=160.11 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 182416 0 0 0 15674 337 0 0 20 0 1 0 174218556 2130145280 412952 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 520055 412952 2368 1147 0 507481 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 2084412 KiB
Current children cumulated memory: 1654880 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.03 2.87 5/258 131172
/proc/meminfo: memFree=102228324/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=2518396 memory=2023748 CPUtime=219.88 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 252125 0 0 0 21573 415 0 0 20 0 1 0 174218556 2578837504 505937 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 629599 505937 2368 1147 0 617025 0
Current children cumulated CPU time: 221.42 s

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

Current children cumulated memory: 4357964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.17 6/260 131578
/proc/meminfo: memFree=92056656/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=5187344 memory=4357148 CPUtime=3322.51 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 616491 0 0 0 329306 2945 0 0 20 0 1 0 174218556 5311840256 1089287 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1296836 1089287 2528 1147 0 1284262 0
Current children cumulated CPU time: 3324.05 s
Current children cumulated vsize: 5191536 KiB
Current children cumulated memory: 4360220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.17 6/260 131580
/proc/meminfo: memFree=90834320/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=5187344 memory=4357148 CPUtime=3382.32 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 616661 0 0 0 335227 3005 0 0 20 0 1 0 174218556 5311840256 1089287 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1296836 1089287 2528 1147 0 1284262 0
Current children cumulated CPU time: 3383.86 s
Current children cumulated vsize: 5191536 KiB
Current children cumulated memory: 4360220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.17 6/260 131582
/proc/meminfo: memFree=89187448/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=6054788 memory=4974976 CPUtime=3442.14 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 745502 0 0 0 341144 3070 0 0 20 0 1 0 174218556 6200102912 1243744 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1513697 1243744 2528 1147 0 1501123 0
Current children cumulated CPU time: 3443.68 s
Current children cumulated vsize: 6058980 KiB
Current children cumulated memory: 4978048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.17 6/258 131584
/proc/meminfo: memFree=87883576/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=6108012 memory=5028288 CPUtime=3501.9 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 754108 0 0 0 347044 3146 0 0 20 0 1 0 174218556 6254604288 1257072 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1527003 1257072 2528 1147 0 1514429 0
Current children cumulated CPU time: 3503.44 s
Current children cumulated vsize: 6112204 KiB
Current children cumulated memory: 5031360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.16 6/258 131586
/proc/meminfo: memFree=86494576/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=6108012 memory=5032896 CPUtime=3561.67 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 755765 0 0 0 352949 3218 0 0 20 0 1 0 174218556 6254604288 1258224 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1527003 1258224 2528 1147 0 1514429 0
Current children cumulated CPU time: 3563.21 s
Current children cumulated vsize: 6112204 KiB
Current children cumulated memory: 5035968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619.3 s]
/proc/loadavg: 4.12 4.15 4.16 6/258 131587
/proc/meminfo: memFree=86198200/131382112 swapFree=33002444/33010684
[pid=131157] ppid=131154 vsize=4192 memory=3072 CPUtime=1.54 cores=5,7
/proc/131157/stat : 131157 (run-opt-break-l) S 131154 131157 130754 0 -1 4194304 239 28051 0 0 0 0 135 19 20 0 1 0 174218399 4292608 768 18446744073709551615 93928991449088 93928992343621 140724419540896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928992582672 93928992630416 93929003294720 140724419549459 140724419549660 140724419549660 140724419555264 0
/proc/131157/statm: 1048 768 704 219 0 110 0
[pid=131160] ppid=131157 vsize=6108652 memory=5037888 CPUtime=3598.53 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131157 131157 130754 0 -1 4194304 757136 0 0 0 356626 3227 0 0 20 0 1 0 174218556 6255259648 1259472 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1527163 1259472 2528 1147 0 1514589 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6112844 KiB
Current children cumulated memory: 5040960 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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.11 4.15 4.16 6/257 131587
/proc/meminfo: memFree=86577904/131382112 swapFree=33002444/33010684
[pid=131160] ppid=131154 vsize=5465460 memory=4614616 CPUtime=3599.05 cores=5,7
/proc/131160/stat : 131160 (roundingsat) R 131154 131157 130754 0 -1 4194304 757149 0 0 0 356631 3274 0 0 20 0 1 0 174218556 5596631040 1153654 18446744073709551615 4227072 8923577 140732004223792 0 0 256 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 9
/proc/131160/statm: 1366365 1153654 2560 1147 0 1353791 0
??? kill 131160 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3567.72 s, system=33.5513 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+3620 s]*
/proc/loadavg: 4.12 4.15 4.16 5/257 131587
/proc/meminfo: memFree=86569996/131382112 swapFree=33002444/33010684
[pid=131160] ppid=131154 vsize=5465460 memory=4614616 CPUtime=3598.97 cores=5,7
/proc/131160/stat : 131160 (roundingsat) D 131154 131157 130754 0 -1 4194304 757149 0 0 0 356629 3268 0 0 20 0 1 0 174218556 5596631040 1153654 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1366365 1153654 2560 1147 0 1353791 0
Current cumulated CPU time of completed processes: 1.55271 s
Current children cumulated CPU time: 3598.97 s
Current children cumulated vsize: 5465460 KiB
Current children cumulated memory: 4614616 KiB

[startup+3620.8 s]
/proc/loadavg: 4.12 4.15 4.16 5/257 131587
/proc/meminfo: memFree=86569996/131382112 swapFree=33002444/33010684
[pid=131160] ppid=131154 vsize=5465460 memory=4614616 CPUtime=3599 cores=5,7
/proc/131160/stat : 131160 (roundingsat) D 131154 131157 130754 0 -1 4194304 757149 0 0 0 356629 3271 0 0 20 0 1 0 174218556 5596631040 1153654 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1366365 1153654 2560 1147 0 1353791 0
Current cumulated CPU time of completed processes: 1.55271 s
Current children cumulated CPU time: 3599 s
Current children cumulated vsize: 5465460 KiB
Current children cumulated memory: 4614616 KiB

[startup+3621.2 s]
/proc/loadavg: 4.11 4.15 4.16 5/257 131587
/proc/meminfo: memFree=86574244/131382112 swapFree=33002444/33010684
[pid=131160] ppid=131154 vsize=5465460 memory=4614616 CPUtime=3599.04 cores=5,7
/proc/131160/stat : 131160 (roundingsat) D 131154 131157 130754 0 -1 4194304 757149 0 0 0 356630 3274 0 0 20 0 1 0 174218556 5596631040 1153654 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1366365 1153654 2560 1147 0 1353791 0
Current cumulated CPU time of completed processes: 1.55271 s
Current children cumulated CPU time: 3599.04 s
Current children cumulated vsize: 5465460 KiB
Current children cumulated memory: 4614616 KiB

[startup+3621.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/257 131587
/proc/meminfo: memFree=86574244/131382112 swapFree=33002444/33010684
[pid=131160] ppid=131154 vsize=5465460 memory=4614616 CPUtime=3599.05 cores=5,7
/proc/131160/stat : 131160 (roundingsat) D 131154 131157 130754 0 -1 4194304 757149 0 0 0 356631 3274 0 0 20 0 1 0 174218556 5596631040 1153654 18446744073709551615 4227072 8923577 140732004223792 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 33787904 140732004227346 140732004227622 140732004227622 140732004233194 0
/proc/131160/statm: 1366365 1153654 2560 1147 0 1353791 0
Current cumulated CPU time of completed processes: 1.55271 s
Current children cumulated CPU time: 3599.05 s
Current children cumulated vsize: 5465460 KiB
Current children cumulated memory: 4614616 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3629.23
CPU time (s): 3601.27
CPU user time (s): 3567.72
CPU system time (s): 33.5513
CPU usage (%): 99.2295
Max. virtual memory (cumulated for all children) (KiB): 6158904
Max. memory (cumulated for all children) (KiB): 5077428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.72
system time used= 33.5513
maximum resident set size= 5107672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 59519376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144938
involuntary context switches= 5613


# summary of solver processes directly reported to runsolver:
#   pid: 131157,131160
#   total CPU time (s): 3601.27
#   total CPU user time (s): 3567.72
#   total CPU system time (s): 33.5513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1758 second user time and 37.9985 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-15 15:16:30
IDJOB=4532382
IDBENCH=147555
IDSOLVER=3393
FILE ID=nodeC005/4532382-1752585390
RUNJOBID= nodeC005-1752584602-130767
SLURM_JOB_ID= 9684335
Free space on /tmp= 431396 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532382-1752585390/watcher-4532382-1752585390 -o /tmp/evaluation-result-4532382-1752585390/solver-4532382-1752585390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752584602-130767 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532382-1752585390.opb PROOFDIR/proof-4532382-1752585390

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1041866726

nodeC005 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	: 0xb00001f
cpu MHz		: 3662.865
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 2993.001
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.574
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.446
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3577.277
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3094.038
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        109320072 kB
MemAvailable:   127911400 kB
Buffers:              12 kB
Cached:         19360548 kB
SwapCached:          244 kB
Active:          2265580 kB
Inactive:       19078312 kB
Active(anon):    1964900 kB
Inactive(anon):    39608 kB
Active(file):     300680 kB
Inactive(file): 19038704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           2925464 kB
Writeback:             4 kB
AnonPages:       1985296 kB
Mapped:           116164 kB
Shmem:             21084 kB
KReclaimable:     183140 kB
Slab:             363560 kB
SReclaimable:     183140 kB
SUnreclaim:       180420 kB
KernelStack:        4224 kB
PageTables:         7180 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2530264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149624 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431380 MiB
End job on nodeC005 at 2025-07-15 16:17:00