Trace number 4489831

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22adSAT (TO)338 3600.13 3643.14

General information on the benchmark

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

Solver Data 

0.00/0.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-4489831-1751368624.opb'
0.28/0.34	c 	read 17.23MB  (327.40ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c output proof to 'PROOFDIR/proof-4489831-1751368624'
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.67/0.73	c	 [group: #orbits ~= 0] (382.84ms)
0.67/0.73	c 
0.67/0.73	c detect special group actions
0.67/0.73	c 	probe for Johnson action (limit=64)
0.67/0.73	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.74	c 	 (18.61ms)
0.67/0.74	c 
0.67/0.74	c detect symmetries on remainder
0.67/0.75	c 	[graph: #vertices 706709 #edges 2766416]
0.67/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.80	c 	 [group: #symmetries 1.00*10^0 #generators 0] (50.34ms)
0.67/0.80	c 
0.67/0.80	c finalize break order and special generators
0.77/0.80	c 
0.77/0.80	c generation finished
0.77/0.80	c 	[sbp: #constraints 0 #add_vars 0]
0.77/0.80	c 
0.77/0.80	c write result to 'HOME/instance-4489831-1751368624.opb.pre'
0.77/0.83	c 	wrote 17.23MB (35.62ms)
0.77/0.83	c ------------------------------------------------------------------
0.77/0.83	c                 382.84ms 46.78% approx_orbits
0.77/0.83	c                 327.40ms 40.00% parse
0.77/0.83	c                  50.34ms  6.15% detect_generic
0.77/0.83	c                  35.62ms  4.35% output
0.77/0.83	c                  18.61ms  2.27% detect_special
0.77/0.83	c                   3.24ms  0.40% other
0.77/0.83	c                   0.38ms  0.05% finalize_order
0.77/0.83	c         ───────────────────────────────────────────────
0.77/0.83	c                 818.43ms   100% total
0.77/0.83	c ------------------------------------------------------------------
0.87/0.96	c RoundingSat 2
0.87/0.96	c branch pb25
0.87/0.96	c commit 63f22ad
4.54/4.61	c #variables 10000 #constraints 656900
4.54/4.61	c objective is ce32 
5.44/5.51	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.44/5.51	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.44/5.51	c bounds 5338 >= 0 @ 3.8539
7.82/7.97	c rational objective 172.654
11.42/11.55	c bounds 5331 >= 0 @ 9.76377
11.72/11.81	c bounds 5330 >= 0 @ 10.0126
11.72/11.82	c bounds 5326 >= 0 @ 10.0265
11.81/11.93	c bounds 5321 >= 0 @ 10.1309
12.11/12.20	c bounds 5304 >= 0 @ 10.3933
12.11/12.21	c bounds 5303 >= 0 @ 10.4037
12.11/12.22	c bounds 5302 >= 0 @ 10.4073
12.11/12.24	c bounds 5233 >= 0 @ 10.4254
12.11/12.25	c bounds 5212 >= 0 @ 10.437
12.22/12.34	c bounds 5137 >= 0 @ 10.5222
12.22/12.34	c bounds 5134 >= 0 @ 10.5278
12.22/12.35	c bounds 5054 >= 0 @ 10.5366
12.22/12.38	c bounds 5040 >= 0 @ 10.5578
12.31/12.46	c bounds 4974 >= 0 @ 10.6384
12.42/12.54	c bounds 4970 >= 0 @ 10.7186
12.52/12.68	c bounds 4909 >= 0 @ 10.8474
12.52/12.69	c bounds 4832 >= 0 @ 10.8639
12.72/12.81	c bounds 4802 >= 0 @ 10.975
12.72/12.83	c bounds 4721 >= 0 @ 10.996
12.72/12.85	c bounds 4678 >= 0 @ 11.0087
12.72/12.86	c bounds 4626 >= 0 @ 11.0193
12.72/12.89	c bounds 4607 >= 0 @ 11.0482
12.81/13.00	c bounds 4586 >= 0 @ 11.1536
12.92/13.02	c bounds 4584 >= 0 @ 11.1715
13.02/13.12	c bounds 4579 >= 0 @ 11.2688
13.02/13.14	c bounds 4564 >= 0 @ 11.2857
13.02/13.16	c bounds 4562 >= 0 @ 11.3034
13.11/13.28	c bounds 4549 >= 0 @ 11.4228
13.11/13.29	c bounds 4515 >= 0 @ 11.4323
13.21/13.31	c bounds 4428 >= 0 @ 11.4477
13.21/13.32	c bounds 4372 >= 0 @ 11.4602
13.21/13.33	c bounds 4324 >= 0 @ 11.4701
13.21/13.34	c bounds 4294 >= 0 @ 11.4788
13.21/13.36	c bounds 4282 >= 0 @ 11.491
13.21/13.38	c bounds 4276 >= 0 @ 11.5078
13.31/13.48	c bounds 4269 >= 0 @ 11.6072
13.31/13.49	c bounds 4262 >= 0 @ 11.6137
13.41/13.51	c bounds 4259 >= 0 @ 11.6298
13.41/13.52	c bounds 4258 >= 0 @ 11.636
13.51/13.63	c bounds 4220 >= 0 @ 11.7398
13.51/13.64	c bounds 4171 >= 0 @ 11.7529
13.51/13.65	c bounds 4061 >= 0 @ 11.7587
13.51/13.66	c bounds 4040 >= 0 @ 11.765
13.91/14.09	c bounds 4033 >= 0 @ 12.1812
13.91/14.09	c bounds 4005 >= 0 @ 12.1892
14.21/14.30	c bounds 3942 >= 0 @ 12.3895
14.31/14.40	c bounds 3903 >= 0 @ 12.4935
14.31/14.42	c bounds 3890 >= 0 @ 12.5044
14.31/14.47	c bounds 3887 >= 0 @ 12.554
14.31/14.48	c bounds 3822 >= 0 @ 12.5625
14.50/14.60	c bounds 3821 >= 0 @ 12.6862
14.61/14.73	c bounds 3762 >= 0 @ 12.808
14.61/14.76	c bounds 3754 >= 0 @ 12.837
14.61/14.79	c bounds 3751 >= 0 @ 12.8673
14.70/14.80	c bounds 3747 >= 0 @ 12.8738
14.81/14.97	c bounds 3744 >= 0 @ 13.033
14.81/14.98	c bounds 3736 >= 0 @ 13.0462
14.91/15.08	c bounds 3729 >= 0 @ 13.142
14.91/15.09	c bounds 3709 >= 0 @ 13.1559
15.01/15.11	c bounds 3680 >= 0 @ 13.1685
15.20/15.34	c bounds 3671 >= 0 @ 13.4027
15.20/15.37	c bounds 3656 >= 0 @ 13.4244
15.20/15.38	c bounds 3627 >= 0 @ 13.4385
15.30/15.40	c bounds 3598 >= 0 @ 13.4486
15.30/15.41	c bounds 3584 >= 0 @ 13.4583
15.30/15.42	c bounds 3566 >= 0 @ 13.4694
15.30/15.43	c bounds 3483 >= 0 @ 13.4796
15.30/15.45	c bounds 3456 >= 0 @ 13.4939
15.41/15.57	c bounds 3435 >= 0 @ 13.6197
15.41/15.59	c bounds 3363 >= 0 @ 13.635
15.50/15.61	c bounds 3349 >= 0 @ 13.6532
15.50/15.62	c bounds 3298 >= 0 @ 13.6624
15.50/15.64	c bounds 3285 >= 0 @ 13.6803
15.50/15.66	c bounds 3264 >= 0 @ 13.6929
15.50/15.68	c bounds 3259 >= 0 @ 13.7123
15.50/15.69	c bounds 3223 >= 0 @ 13.7229
15.71/15.80	c bounds 3191 >= 0 @ 13.8258
15.71/15.81	c bounds 3111 >= 0 @ 13.8313
15.71/15.83	c bounds 3101 >= 0 @ 13.8484
15.71/15.84	c bounds 3100 >= 0 @ 13.8548
15.71/15.85	c bounds 3055 >= 0 @ 13.8682
15.71/15.86	c bounds 3011 >= 0 @ 13.8739
15.71/15.87	c bounds 3006 >= 0 @ 13.8815
15.80/15.97	c bounds 2985 >= 0 @ 13.9851
15.90/16.08	c bounds 2980 >= 0 @ 14.0869
15.90/16.09	c bounds 2970 >= 0 @ 14.0989
16.01/16.11	c bounds 2908 >= 0 @ 14.114
16.10/16.21	c bounds 2905 >= 0 @ 14.2048
16.20/16.33	c bounds 2884 >= 0 @ 14.3263
16.20/16.35	c bounds 2883 >= 0 @ 14.3399
16.20/16.35	c bounds 2876 >= 0 @ 14.3472
16.30/16.48	c bounds 2869 >= 0 @ 14.4662
16.40/16.50	c bounds 2851 >= 0 @ 14.4898
16.40/16.51	c bounds 2794 >= 0 @ 14.4972
16.40/16.52	c bounds 2781 >= 0 @ 14.5042
21.99/22.19	c #Conflicts:       1000 | #Constraints:     658024
21.99/22.19	c bounds 2773 >= 0 @ 20.0112
22.08/22.20	c bounds 2772 >= 0 @ 20.0218
22.38/22.53	c bounds 2759 >= 0 @ 20.3329
22.78/22.98	c bounds 2753 >= 0 @ 20.7711
22.89/23.00	c bounds 2748 >= 0 @ 20.7977
22.98/23.17	c bounds 2732 >= 0 @ 20.9606
23.28/23.40	c bounds 2731 >= 0 @ 21.1877
23.38/23.50	c bounds 2722 >= 0 @ 21.2823
23.38/23.52	c bounds 2684 >= 0 @ 21.2942
23.38/23.54	c bounds 2645 >= 0 @ 21.3093
23.38/23.56	c bounds 2621 >= 0 @ 21.3291
23.38/23.58	c bounds 2586 >= 0 @ 21.3476
23.38/23.59	c bounds 2580 >= 0 @ 21.3594
24.38/24.50	c bounds 2579 >= 0 @ 22.2469
25.28/25.45	c bounds 2563 >= 0 @ 23.1705
25.28/25.46	c bounds 2561 >= 0 @ 23.188
25.37/25.55	c bounds 2548 >= 0 @ 23.2723
25.37/25.58	c bounds 2539 >= 0 @ 23.3024
26.47/26.64	c bounds 2537 >= 0 @ 24.3281
26.57/26.72	c bounds 2536 >= 0 @ 24.4022
26.67/26.86	c bounds 2535 >= 0 @ 24.5391
26.76/26.96	c bounds 2507 >= 0 @ 24.6336
26.76/26.99	c bounds 2489 >= 0 @ 24.6587
26.87/27.01	c bounds 2481 >= 0 @ 24.6746
26.87/27.04	c bounds 2448 >= 0 @ 24.7004
26.87/27.06	c bounds 2443 >= 0 @ 24.7176
26.87/27.07	c bounds 2433 >= 0 @ 24.7316
27.07/27.20	c bounds 2430 >= 0 @ 24.8522
27.07/27.21	c bounds 2367 >= 0 @ 24.8642
27.07/27.23	c bounds 2349 >= 0 @ 24.8831
27.07/27.25	c bounds 2337 >= 0 @ 24.8967
27.17/27.36	c bounds 2286 >= 0 @ 25.0004
27.17/27.37	c bounds 2275 >= 0 @ 25.0132
27.26/27.41	c bounds 2258 >= 0 @ 25.0547
27.26/27.43	c bounds 2253 >= 0 @ 25.0678
27.26/27.45	c bounds 2212 >= 0 @ 25.0798
27.36/27.56	c bounds 2206 >= 0 @ 25.1955
27.36/27.58	c bounds 2203 >= 0 @ 25.2068
27.47/27.60	c bounds 2200 >= 0 @ 25.2282
27.47/27.62	c bounds 2147 >= 0 @ 25.2416
27.47/27.66	c bounds 2139 >= 0 @ 25.2783
27.57/27.70	c bounds 2124 >= 0 @ 25.312
27.66/27.82	c bounds 2120 >= 0 @ 25.4274
27.66/27.83	c bounds 2118 >= 0 @ 25.4402
27.66/27.85	c bounds 2070 >= 0 @ 25.4523
27.66/27.87	c bounds 2067 >= 0 @ 25.4658
27.66/27.88	c bounds 2063 >= 0 @ 25.4789
27.77/27.94	c bounds 2059 >= 0 @ 25.5276
27.77/27.95	c bounds 1983 >= 0 @ 25.5418
27.77/27.97	c bounds 1969 >= 0 @ 25.5549
27.77/27.99	c bounds 1950 >= 0 @ 25.5731
27.87/28.01	c bounds 1930 >= 0 @ 25.5885
28.17/28.30	c bounds 1923 >= 0 @ 25.8687
28.17/28.33	c bounds 1899 >= 0 @ 25.8961
28.17/28.36	c bounds 1885 >= 0 @ 25.9191
33.15/33.32	c #Conflicts:       2000 | #Constraints:     659118
33.15/33.32	c INPROCESSING
33.15/33.32	c GARBAGE COLLECT
33.15/33.32	c bounds 1881 >= 0 @ 30.7978
33.15/33.34	c bounds 1870 >= 0 @ 30.8147
33.15/33.36	c bounds 1846 >= 0 @ 30.8322
33.44/33.69	c bounds 1844 >= 0 @ 31.1507
33.54/33.70	c bounds 1835 >= 0 @ 31.1613
33.64/33.82	c bounds 1834 >= 0 @ 31.2795
34.95/35.12	c bounds 1831 >= 0 @ 32.5418
34.95/35.15	c bounds 1826 >= 0 @ 32.5723
36.54/36.77	c bounds 1825 >= 0 @ 34.1502
37.53/37.71	c bounds 1805 >= 0 @ 35.0784
37.53/37.74	c bounds 1802 >= 0 @ 35.1002
37.53/37.75	c bounds 1790 >= 0 @ 35.1126
37.53/37.77	c bounds 1774 >= 0 @ 35.1241
37.53/37.79	c bounds 1741 >= 0 @ 35.1389
37.64/37.84	c bounds 1735 >= 0 @ 35.1765
37.94/38.13	c bounds 1727 >= 0 @ 35.4607
38.03/38.22	c bounds 1726 >= 0 @ 35.5487
39.03/39.20	c bounds 1725 >= 0 @ 36.5186
39.03/39.23	c bounds 1724 >= 0 @ 36.5463
39.23/39.49	c bounds 1709 >= 0 @ 36.7962
39.33/39.55	c bounds 1702 >= 0 @ 36.8522
39.43/39.68	c bounds 1681 >= 0 @ 36.9855
39.52/39.71	c bounds 1676 >= 0 @ 37.0133
39.62/39.80	c bounds 1653 >= 0 @ 37.1037
39.93/40.19	c bounds 1650 >= 0 @ 37.4799
40.12/40.34	c bounds 1643 >= 0 @ 37.6314
40.12/40.36	c bounds 1640 >= 0 @ 37.6478
40.12/40.38	c bounds 1623 >= 0 @ 37.6614
40.23/40.41	c bounds 1622 >= 0 @ 37.6829
40.23/40.43	c bounds 1615 >= 0 @ 37.7
40.23/40.45	c bounds 1573 >= 0 @ 37.7138
40.23/40.47	c bounds 1566 >= 0 @ 37.7329
40.23/40.49	c bounds 1532 >= 0 @ 37.7462
40.42/40.68	c bounds 1531 >= 0 @ 37.941
40.72/40.98	c bounds 1527 >= 0 @ 38.2291
40.83/41.01	c bounds 1515 >= 0 @ 38.2561
40.83/41.03	c bounds 1510 >= 0 @ 38.2749
40.93/41.13	c bounds 1404 >= 0 @ 38.3759
40.93/41.15	c bounds 1397 >= 0 @ 38.3893
40.93/41.17	c bounds 1386 >= 0 @ 38.4074
40.93/41.19	c bounds 1328 >= 0 @ 38.4224
41.02/41.21	c bounds 1313 >= 0 @ 38.4338
41.48/41.87	c bounds 1312 >= 0 @ 38.8661
42.01/42.45	c bounds 1294 >= 0 @ 39.428
42.01/42.47	c bounds 1286 >= 0 @ 39.4407
42.01/42.49	c bounds 1281 >= 0 @ 39.456
42.11/42.51	c bounds 1277 >= 0 @ 39.4728
42.11/42.53	c bounds 1266 >= 0 @ 39.4875
42.11/42.55	c bounds 1262 >= 0 @ 39.5007
42.11/42.57	c bounds 1252 >= 0 @ 39.5146
43.20/43.63	c #Conflicts:       3000 | #Constraints:     659021
43.20/43.63	c bounds 1246 >= 0 @ 40.5536
43.51/43.90	c bounds 1244 >= 0 @ 40.8196
43.51/43.92	c bounds 1240 >= 0 @ 40.8334
43.51/43.94	c bounds 1231 >= 0 @ 40.8498
43.51/43.97	c bounds 1195 >= 0 @ 40.8691
43.60/44.00	c bounds 1156 >= 0 @ 40.9006
43.60/44.02	c bounds 1079 >= 0 @ 40.9161
43.70/44.20	c bounds 1076 >= 0 @ 41.0792
43.81/44.28	c bounds 916 >= 0 @ 41.1594
43.90/44.30	c bounds 906 >= 0 @ 41.1691
43.90/44.32	c bounds 903 >= 0 @ 41.1859
43.90/44.33	c bounds 902 >= 0 @ 41.1981
43.90/44.37	c bounds 814 >= 0 @ 41.2159
43.90/44.38	c bounds 809 >= 0 @ 41.2286
44.00/44.40	c bounds 798 >= 0 @ 41.2419
44.10/44.54	c bounds 759 >= 0 @ 41.3746
44.10/44.57	c bounds 758 >= 0 @ 41.4059
44.30/44.78	c bounds 757 >= 0 @ 41.6095
44.90/45.35	c bounds 751 >= 0 @ 42.1466
44.90/45.36	c bounds 741 >= 0 @ 42.1588
45.10/45.51	c bounds 740 >= 0 @ 42.303
45.10/45.53	c bounds 736 >= 0 @ 42.317
45.10/45.55	c bounds 735 >= 0 @ 42.3378
45.20/45.60	c bounds 728 >= 0 @ 42.3783
45.40/45.84	c bounds 639 >= 0 @ 42.6052
46.20/46.67	c #Conflicts:       4000 | #Constraints:     660051
46.20/46.67	c bounds 638 >= 0 @ 43.4176
48.10/48.56	c INPROCESSING
48.10/48.56	c GARBAGE COLLECT
48.10/48.56	c bounds 622 >= 0 @ 45.2646
57.96/58.46	c #Conflicts:       5000 | #Constraints:     659344
57.96/58.46	c #Conflicts:       6000 | #Constraints:     660344
57.96/58.46	c INPROCESSING
57.96/58.46	c bounds 612 >= 0 @ 55.0258
57.96/58.47	c bounds 604 >= 0 @ 55.036
58.06/58.50	c bounds 602 >= 0 @ 55.0612
60.57/61.05	c #Conflicts:       7000 | #Constraints:     659337
60.57/61.05	c bounds 597 >= 0 @ 57.5464
73.72/74.24	c #Conflicts:       8000 | #Constraints:     660340
73.72/74.24	c #Conflicts:       9000 | #Constraints:     661340
73.72/74.24	c INPROCESSING
73.72/74.24	c GARBAGE COLLECT
73.72/74.24	c rational objective 173.574
84.28/84.88	c #Conflicts:      10000 | #Constraints:     660028
84.28/84.88	c #Conflicts:      11000 | #Constraints:     661028
84.28/84.88	c #Conflicts:      12000 | #Constraints:     662028
84.28/84.88	c INPROCESSING
84.28/84.88	c bounds 589 >= 0 @ 81.0617
84.39/84.90	c bounds 588 >= 0 @ 81.0727
85.98/86.51	c bounds 585 >= 0 @ 82.6453
99.95/100.56	c #Conflicts:      13000 | #Constraints:     660475
99.95/100.56	c #Conflicts:      14000 | #Constraints:     661475
99.95/100.56	c #Conflicts:      15000 | #Constraints:     662475
99.95/100.56	c INPROCESSING
99.95/100.56	c GARBAGE COLLECT
99.95/100.56	c rational objective 174.482
133.70/134.64	c #Conflicts:      16000 | #Constraints:     660706
133.70/134.64	c #Conflicts:      17000 | #Constraints:     661706
133.70/134.64	c #Conflicts:      18000 | #Constraints:     662706
133.70/134.64	c INPROCESSING
133.70/134.64	c GARBAGE COLLECT
133.70/134.64	c #Conflicts:      19000 | #Constraints:     660726
133.70/134.64	c #Conflicts:      20000 | #Constraints:     661726
133.70/134.64	c #Conflicts:      21000 | #Constraints:     662726
133.70/134.64	c INPROCESSING
133.70/134.64	c GARBAGE COLLECT
133.70/134.64	c rational objective 174.995
137.89/138.89	c bounds 580 >= 0 @ 134.242
138.09/139.03	c bounds 578 >= 0 @ 134.373
138.09/139.06	c bounds 576 >= 0 @ 134.4
138.09/139.08	c bounds 572 >= 0 @ 134.418
249.14/250.92	c #Conflicts:      22000 | #Constraints:     660539
249.14/250.92	c #Conflicts:      23000 | #Constraints:     661717
249.14/250.92	c #Conflicts:      24000 | #Constraints:     663098
249.14/250.92	c #Conflicts:      25000 | #Constraints:     664526
249.14/250.92	c INPROCESSING
249.14/250.92	c GARBAGE COLLECT
249.14/250.92	c #Conflicts:      26000 | #Constraints:     661636
249.14/250.92	c #Conflicts:      27000 | #Constraints:     662742
249.14/250.92	c #Conflicts:      28000 | #Constraints:     663771
249.14/250.92	c #Conflicts:      29000 | #Constraints:     664801
249.14/250.92	c INPROCESSING
249.14/250.92	c GARBAGE COLLECT
249.14/250.92	c rational objective 176.464
296.91/298.97	c #Conflicts:      30000 | #Constraints:     661870
296.91/298.97	c #Conflicts:      31000 | #Constraints:     662873
296.91/298.97	c #Conflicts:      32000 | #Constraints:     663912
296.91/298.97	c #Conflicts:      33000 | #Constraints:     664929
296.91/298.97	c INPROCESSING
296.91/298.97	c GARBAGE COLLECT
296.91/298.97	c #Conflicts:      34000 | #Constraints:     661936
296.91/298.97	c #Conflicts:      35000 | #Constraints:     662955
296.91/298.97	c #Conflicts:      36000 | #Constraints:     664006
296.91/298.97	c #Conflicts:      37000 | #Constraints:     665044
296.91/298.97	c INPROCESSING
296.91/298.97	c GARBAGE COLLECT
296.91/298.97	c rational objective 176.492
351.69/354.00	c #Conflicts:      38000 | #Constraints:     661907
351.69/354.00	c #Conflicts:      39000 | #Constraints:     662912
351.69/354.00	c #Conflicts:      40000 | #Constraints:     663939
351.69/354.00	c #Conflicts:      41000 | #Constraints:     664971
351.69/354.00	c INPROCESSING
351.69/354.00	c GARBAGE COLLECT
351.69/354.00	c rational objective 176.779
399.25/401.63	c #Conflicts:      42000 | #Constraints:     661677
399.25/401.63	c #Conflicts:      43000 | #Constraints:     662679
399.25/401.63	c #Conflicts:      44000 | #Constraints:     663683
399.25/401.63	c #Conflicts:      45000 | #Constraints:     664700
399.25/401.63	c #Conflicts:      46000 | #Constraints:     665716
399.25/401.63	c INPROCESSING
399.25/401.63	c GARBAGE COLLECT
399.25/401.63	c rational objective 177.767
453.86/456.46	c #Conflicts:      47000 | #Constraints:     662237
453.86/456.46	c #Conflicts:      48000 | #Constraints:     663255
453.86/456.46	c #Conflicts:      49000 | #Constraints:     664265
453.86/456.46	c #Conflicts:      50000 | #Constraints:     665280
453.86/456.46	c #Conflicts:      51000 | #Constraints:     666284
453.86/456.46	c INPROCESSING
453.86/456.46	c GARBAGE COLLECT
453.86/456.46	c #Conflicts:      52000 | #Constraints:     662625
453.86/456.46	c #Conflicts:      53000 | #Constraints:     663636
453.86/456.46	c #Conflicts:      54000 | #Constraints:     664654
453.86/456.46	c #Conflicts:      55000 | #Constraints:     665662
453.86/456.46	c #Conflicts:      56000 | #Constraints:     666686
453.86/456.46	c INPROCESSING
453.86/456.46	c GARBAGE COLLECT
453.86/456.46	c #Conflicts:      57000 | #Constraints:     662844
453.86/456.46	c #Conflicts:      58000 | #Constraints:     663850
453.86/456.46	c bounds 348 >= 0 @ 447.64
557.79/560.78	c #Conflicts:      59000 | #Constraints:     664857
557.79/560.78	c #Conflicts:      60000 | #Constraints:     665876
557.79/560.78	c #Conflicts:      61000 | #Constraints:     666918
557.79/560.78	c INPROCESSING
557.79/560.78	c GARBAGE COLLECT
557.79/560.78	c #Conflicts:      62000 | #Constraints:     662842
557.79/560.78	c #Conflicts:      63000 | #Constraints:     663846
557.79/560.78	c #Conflicts:      64000 | #Constraints:     664855
557.79/560.78	c #Conflicts:      65000 | #Constraints:     665863
557.79/560.78	c #Conflicts:      66000 | #Constraints:     666871
557.79/560.78	c INPROCESSING
557.79/560.78	c GARBAGE COLLECT
557.79/560.78	c rational objective 192.13
626.32/629.51	c #Conflicts:      67000 | #Constraints:     662622
626.32/629.51	c #Conflicts:      68000 | #Constraints:     663628
626.32/629.51	c #Conflicts:      69000 | #Constraints:     664633
626.32/629.51	c #Conflicts:      70000 | #Constraints:     665638
626.32/629.51	c #Conflicts:      71000 | #Constraints:     666648
626.32/629.51	c #Conflicts:      72000 | #Constraints:     667687
626.32/629.51	c INPROCESSING
626.32/629.51	c GARBAGE COLLECT
626.32/629.51	c #Conflicts:      73000 | #Constraints:     663237
626.32/629.51	c #Conflicts:      74000 | #Constraints:     664242
626.32/629.51	c #Conflicts:      75000 | #Constraints:     665246
626.32/629.51	c #Conflicts:      76000 | #Constraints:     666249
626.32/629.51	c #Conflicts:      77000 | #Constraints:     667260
626.32/629.51	c #Conflicts:      78000 | #Constraints:     668267
626.32/629.51	c INPROCESSING
626.32/629.51	c GARBAGE COLLECT
626.32/629.51	c rational objective 194.575
705.26/708.77	c #Conflicts:      79000 | #Constraints:     663613
705.26/708.77	c #Conflicts:      80000 | #Constraints:     664622
705.26/708.77	c #Conflicts:      81000 | #Constraints:     665633
705.26/708.77	c #Conflicts:      82000 | #Constraints:     666664
705.26/708.77	c #Conflicts:      83000 | #Constraints:     667690
705.26/708.77	c #Conflicts:      84000 | #Constraints:     668707
705.26/708.77	c INPROCESSING
705.26/708.77	c GARBAGE COLLECT
705.26/708.77	c #Conflicts:      85000 | #Constraints:     663856
705.26/708.77	c #Conflicts:      86000 | #Constraints:     664890
705.26/708.77	c #Conflicts:      87000 | #Constraints:     665939
705.26/708.77	c #Conflicts:      88000 | #Constraints:     666978
705.26/708.77	c #Conflicts:      89000 | #Constraints:     668014
705.26/708.77	c #Conflicts:      90000 | #Constraints:     669049
705.26/708.77	c INPROCESSING
705.26/708.77	c GARBAGE COLLECT
705.26/708.77	c rational objective 202.356
773.39/777.09	c #Conflicts:      91000 | #Constraints:     663916
773.39/777.09	c #Conflicts:      92000 | #Constraints:     664923
773.39/777.09	c #Conflicts:      93000 | #Constraints:     665942
773.39/777.09	c #Conflicts:      94000 | #Constraints:     666946
773.39/777.09	c #Conflicts:      95000 | #Constraints:     667958
773.39/777.09	c #Conflicts:      96000 | #Constraints:     668978
773.39/777.09	c INPROCESSING
773.39/777.09	c GARBAGE COLLECT
773.39/777.09	c #Conflicts:      97000 | #Constraints:     663689
773.39/777.09	c #Conflicts:      98000 | #Constraints:     664694
773.39/777.09	c #Conflicts:      99000 | #Constraints:     665702
773.39/777.09	c #Conflicts:     100000 | #Constraints:     666705
773.39/777.09	c #Conflicts:     101000 | #Constraints:     667754
773.39/777.09	c #Conflicts:     102000 | #Constraints:     668787
773.39/777.09	c #Conflicts:     103000 | #Constraints:     669800
773.39/777.09	c INPROCESSING
773.39/777.09	c GARBAGE COLLECT
773.39/777.09	c rational objective 230.642
812.76/816.55	c #Conflicts:     104000 | #Constraints:     664297
812.76/816.55	c #Conflicts:     105000 | #Constraints:     665300
812.76/816.55	c #Conflicts:     106000 | #Constraints:     666304
812.76/816.55	c #Conflicts:     107000 | #Constraints:     667307
812.76/816.55	c #Conflicts:     108000 | #Constraints:     668313
812.76/816.55	c #Conflicts:     109000 | #Constraints:     669324
812.76/816.55	c #Conflicts:     110000 | #Constraints:     670331
812.76/816.55	c INPROCESSING
812.76/816.55	c GARBAGE COLLECT
812.76/816.55	c rational objective 230.642
818.55/822.37	c bounds 347 >= 0 @ 810.615
818.95/822.77	c bounds 345 >= 0 @ 811.003
819.94/823.70	c bounds 344 >= 0 @ 811.92
824.73/828.58	c bounds 342 >= 0 @ 816.667
824.83/828.60	c bounds 342 >= 5 @ 816.682
824.83/828.62	c bounds 342 >= 10 @ 816.696
824.83/828.65	c bounds 342 >= 15 @ 816.723
829.02/832.84	c #Conflicts:     111000 | #Constraints:     664678
829.02/832.84	c bounds 342 >= 20 @ 820.863
857.95/862.05	c #Conflicts:     112000 | #Constraints:     665690
857.95/862.05	c #Conflicts:     113000 | #Constraints:     666690
857.95/862.05	c #Conflicts:     114000 | #Constraints:     667690
857.95/862.05	c #Conflicts:     115000 | #Constraints:     668690
857.95/862.05	c #Conflicts:     116000 | #Constraints:     669690
857.95/862.05	c #Conflicts:     117000 | #Constraints:     670690
857.95/862.05	c INPROCESSING
857.95/862.05	c GARBAGE COLLECT
857.95/862.05	c rational objective 176.828
874.32/878.65	c #Conflicts:     118000 | #Constraints:     664830
874.32/878.65	c bounds 340 >= 20 @ 865.657
915.70/920.12	c #Conflicts:     119000 | #Constraints:     665848
915.70/920.12	c #Conflicts:     120000 | #Constraints:     666859
915.70/920.12	c #Conflicts:     121000 | #Constraints:     667870
915.70/920.12	c bounds 338 >= 20 @ 906.383
915.70/920.16	c bounds 338 >= 24 @ 906.41
939.40/943.95	c #Conflicts:     122000 | #Constraints:     668877
939.40/943.95	c #Conflicts:     123000 | #Constraints:     669877
939.40/943.95	c #Conflicts:     124000 | #Constraints:     670877
939.40/943.95	c INPROCESSING
939.40/943.95	c GARBAGE COLLECT
939.40/943.95	c rational objective 177.999
985.35/990.03	c #Conflicts:     125000 | #Constraints:     664819
985.35/990.03	c #Conflicts:     126000 | #Constraints:     665819
985.35/990.03	c #Conflicts:     127000 | #Constraints:     666819
985.35/990.03	c #Conflicts:     128000 | #Constraints:     667819
985.35/990.03	c #Conflicts:     129000 | #Constraints:     668819
985.35/990.03	c #Conflicts:     130000 | #Constraints:     669819
985.35/990.03	c #Conflicts:     131000 | #Constraints:     670819
985.35/990.03	c INPROCESSING
985.35/990.03	c rational objective 178.109
1026.51/1032.26	c #Conflicts:     132000 | #Constraints:     664590
1026.51/1032.26	c #Conflicts:     133000 | #Constraints:     665590
1026.51/1032.26	c #Conflicts:     134000 | #Constraints:     666590
1026.51/1032.26	c #Conflicts:     135000 | #Constraints:     667590
1026.51/1032.26	c #Conflicts:     136000 | #Constraints:     668590
1026.51/1032.26	c #Conflicts:     137000 | #Constraints:     669590
1026.51/1032.26	c #Conflicts:     138000 | #Constraints:     670590
1026.51/1032.26	c #Conflicts:     139000 | #Constraints:     671590
1026.51/1032.26	c INPROCESSING
1026.51/1032.26	c GARBAGE COLLECT
1026.51/1032.26	c rational objective 178.384
1070.05/1075.96	c #Conflicts:     140000 | #Constraints:     665182
1070.05/1075.96	c #Conflicts:     141000 | #Constraints:     666182
1070.05/1075.96	c #Conflicts:     142000 | #Constraints:     667182
1070.05/1075.96	c #Conflicts:     143000 | #Constraints:     668182
1070.05/1075.96	c #Conflicts:     144000 | #Constraints:     669182
1070.05/1075.96	c #Conflicts:     145000 | #Constraints:     670182
1070.05/1075.96	c #Conflicts:     146000 | #Constraints:     671182
1070.05/1075.96	c #Conflicts:     147000 | #Constraints:     672182
1070.05/1075.96	c INPROCESSING
1070.05/1075.96	c GARBAGE COLLECT
1070.05/1075.96	c rational objective 178.391
1233.66/1240.18	c #Conflicts:     148000 | #Constraints:     665589
1233.66/1240.18	c #Conflicts:     149000 | #Constraints:     666594
1233.66/1240.18	c #Conflicts:     150000 | #Constraints:     667601
1233.66/1240.18	c #Conflicts:     151000 | #Constraints:     668609
1233.66/1240.18	c #Conflicts:     152000 | #Constraints:     669613
1233.66/1240.18	c #Conflicts:     153000 | #Constraints:     670623
1233.66/1240.18	c #Conflicts:     154000 | #Constraints:     671641
1233.66/1240.18	c #Conflicts:     155000 | #Constraints:     672649
1233.66/1240.18	c INPROCESSING
1233.66/1240.18	c #Conflicts:     156000 | #Constraints:     665819
1233.66/1240.18	c #Conflicts:     157000 | #Constraints:     666823
1233.66/1240.18	c #Conflicts:     158000 | #Constraints:     667830
1233.66/1240.18	c #Conflicts:     159000 | #Constraints:     668840
1233.66/1240.18	c #Conflicts:     160000 | #Constraints:     669849
1233.66/1240.18	c #Conflicts:     161000 | #Constraints:     670853
1233.66/1240.18	c #Conflicts:     162000 | #Constraints:     671862
1233.66/1240.18	c #Conflicts:     163000 | #Constraints:     672873
1233.66/1240.18	c INPROCESSING
1233.66/1240.18	c GARBAGE COLLECT
1233.66/1240.18	c #Conflicts:     164000 | #Constraints:     665830
1233.66/1240.18	c #Conflicts:     165000 | #Constraints:     666849
1233.66/1240.18	c #Conflicts:     166000 | #Constraints:     667868
1233.66/1240.18	c #Conflicts:     167000 | #Constraints:     668884
1233.66/1240.18	c #Conflicts:     168000 | #Constraints:     669893
1233.66/1240.18	c #Conflicts:     169000 | #Constraints:     670901
1233.66/1240.18	c #Conflicts:     170000 | #Constraints:     671912
1233.66/1240.18	c #Conflicts:     171000 | #Constraints:     672917
1233.66/1240.18	c INPROCESSING
1233.66/1240.18	c #Conflicts:     172000 | #Constraints:     665650
1233.66/1240.18	c #Conflicts:     173000 | #Constraints:     666652
1233.66/1240.18	c #Conflicts:     174000 | #Constraints:     667654
1233.66/1240.18	c #Conflicts:     175000 | #Constraints:     668661
1233.66/1240.18	c #Conflicts:     176000 | #Constraints:     669668
1233.66/1240.18	c #Conflicts:     177000 | #Constraints:     670675
1233.66/1240.18	c #Conflicts:     178000 | #Constraints:     671681
1233.66/1240.18	c #Conflicts:     179000 | #Constraints:     672686
1233.66/1240.18	c #Conflicts:     180000 | #Constraints:     673690
1233.66/1240.18	c INPROCESSING
1233.66/1240.18	c GARBAGE COLLECT
1233.66/1240.18	c rational objective 178.4
1290.61/1297.37	c #Conflicts:     181000 | #Constraints:     666243
1290.61/1297.37	c #Conflicts:     182000 | #Constraints:     667255
1290.61/1297.37	c #Conflicts:     183000 | #Constraints:     668267
1290.61/1297.37	c #Conflicts:     184000 | #Constraints:     669279
1290.61/1297.37	c #Conflicts:     185000 | #Constraints:     670289
1290.61/1297.37	c #Conflicts:     186000 | #Constraints:     671296
1290.61/1297.37	c #Conflicts:     187000 | #Constraints:     672309
1290.61/1297.37	c #Conflicts:     188000 | #Constraints:     673321
1290.61/1297.37	c #Conflicts:     189000 | #Constraints:     674328
1290.61/1297.37	c INPROCESSING
1290.61/1297.37	c GARBAGE COLLECT
1290.61/1297.37	c rational objective 178.404
1498.76/1516.13	c #Conflicts:     190000 | #Constraints:     666723
1498.76/1516.13	c #Conflicts:     191000 | #Constraints:     667818
1498.76/1516.13	c #Conflicts:     192000 | #Constraints:     668888
1498.76/1516.13	c #Conflicts:     193000 | #Constraints:     669970
1498.76/1516.13	c #Conflicts:     194000 | #Constraints:     671040
1498.76/1516.13	c #Conflicts:     195000 | #Constraints:     672088
1498.76/1516.13	c #Conflicts:     196000 | #Constraints:     673140
1498.76/1516.13	c #Conflicts:     197000 | #Constraints:     674188
1498.76/1516.13	c #Conflicts:     198000 | #Constraints:     675276
1498.76/1516.13	c INPROCESSING
1498.76/1516.13	c GARBAGE COLLECT
1498.76/1516.13	c rational objective 178.406
1563.74/1587.95	c #Conflicts:     199000 | #Constraints:     667125
1563.74/1587.95	c #Conflicts:     200000 | #Constraints:     668134
1563.74/1587.95	c #Conflicts:     201000 | #Constraints:     669143
1563.74/1587.95	c #Conflicts:     202000 | #Constraints:     670153
1563.74/1587.95	c #Conflicts:     203000 | #Constraints:     671158
1563.74/1587.95	c #Conflicts:     204000 | #Constraints:     672164
1563.74/1587.95	c #Conflicts:     205000 | #Constraints:     673172
1563.74/1587.95	c #Conflicts:     206000 | #Constraints:     674178
1563.74/1587.95	c #Conflicts:     207000 | #Constraints:     675194
1563.74/1587.95	c INPROCESSING
1563.74/1587.95	c GARBAGE COLLECT
1563.74/1587.95	c rational objective 178.406
1917.09/1946.61	c #Conflicts:     208000 | #Constraints:     666995
1917.09/1946.61	c #Conflicts:     209000 | #Constraints:     668000
1917.09/1946.61	c #Conflicts:     210000 | #Constraints:     669007
1917.09/1946.61	c #Conflicts:     211000 | #Constraints:     670011
1917.09/1946.61	c #Conflicts:     212000 | #Constraints:     671017
1917.09/1946.61	c #Conflicts:     213000 | #Constraints:     672021
1917.09/1946.61	c #Conflicts:     214000 | #Constraints:     673029
1917.09/1946.61	c #Conflicts:     215000 | #Constraints:     674036
1917.09/1946.61	c #Conflicts:     216000 | #Constraints:     675046
1917.09/1946.61	c INPROCESSING
1917.09/1946.61	c #Conflicts:     217000 | #Constraints:     666724
1917.09/1946.61	c #Conflicts:     218000 | #Constraints:     667726
1917.09/1946.61	c #Conflicts:     219000 | #Constraints:     668743
1917.09/1946.61	c #Conflicts:     220000 | #Constraints:     669758
1917.09/1946.61	c #Conflicts:     221000 | #Constraints:     670777
1917.09/1946.61	c #Conflicts:     222000 | #Constraints:     671795
1917.09/1946.61	c #Conflicts:     223000 | #Constraints:     672804
1917.09/1946.61	c #Conflicts:     224000 | #Constraints:     673813
1917.09/1946.61	c #Conflicts:     225000 | #Constraints:     674821
1917.09/1946.61	c #Conflicts:     226000 | #Constraints:     675832
1917.09/1946.61	c INPROCESSING
1917.09/1946.61	c GARBAGE COLLECT
1917.09/1946.61	c #Conflicts:     227000 | #Constraints:     667330
1917.09/1946.61	c #Conflicts:     228000 | #Constraints:     668336
1917.09/1946.61	c #Conflicts:     229000 | #Constraints:     669346
1917.09/1946.61	c #Conflicts:     230000 | #Constraints:     670351
1917.09/1946.61	c #Conflicts:     231000 | #Constraints:     671353
1917.09/1946.61	c #Conflicts:     232000 | #Constraints:     672356
1917.09/1946.61	c #Conflicts:     233000 | #Constraints:     673358
1917.09/1946.61	c #Conflicts:     234000 | #Constraints:     674365
1917.09/1946.61	c #Conflicts:     235000 | #Constraints:     675374
1917.09/1946.61	c #Conflicts:     236000 | #Constraints:     676378
1917.09/1946.61	c INPROCESSING
1917.09/1946.61	c rational objective 178.406
2037.83/2067.89	c #Conflicts:     237000 | #Constraints:     667681
2037.83/2067.89	c #Conflicts:     238000 | #Constraints:     668692
2037.83/2067.89	c #Conflicts:     239000 | #Constraints:     669701
2037.83/2067.89	c #Conflicts:     240000 | #Constraints:     670705
2037.83/2067.89	c #Conflicts:     241000 | #Constraints:     671709
2037.83/2067.89	c #Conflicts:     242000 | #Constraints:     672714
2037.83/2067.89	c #Conflicts:     243000 | #Constraints:     673718
2037.83/2067.89	c #Conflicts:     244000 | #Constraints:     674723
2037.83/2067.89	c #Conflicts:     245000 | #Constraints:     675730
2037.83/2067.89	c #Conflicts:     246000 | #Constraints:     676740
2037.83/2067.89	c INPROCESSING
2037.83/2067.89	c GARBAGE COLLECT
2037.83/2067.89	c #Conflicts:     247000 | #Constraints:     667859
2037.83/2067.89	c #Conflicts:     248000 | #Constraints:     668868
2037.83/2067.89	c #Conflicts:     249000 | #Constraints:     669877
2037.83/2067.89	c #Conflicts:     250000 | #Constraints:     670891
2037.83/2067.89	c #Conflicts:     251000 | #Constraints:     671898
2037.83/2067.89	c #Conflicts:     252000 | #Constraints:     672901
2037.83/2067.89	c #Conflicts:     253000 | #Constraints:     673908
2037.83/2067.89	c #Conflicts:     254000 | #Constraints:     674910
2037.83/2067.89	c #Conflicts:     255000 | #Constraints:     675910
2037.83/2067.89	c #Conflicts:     256000 | #Constraints:     676910
2037.83/2067.89	c INPROCESSING
2037.83/2067.89	c rational objective 178.406
2099.44/2129.89	c #Conflicts:     257000 | #Constraints:     667852
2099.44/2129.89	c #Conflicts:     258000 | #Constraints:     668856
2099.44/2129.89	c #Conflicts:     259000 | #Constraints:     669858
2099.44/2129.89	c #Conflicts:     260000 | #Constraints:     670864
2099.44/2129.89	c #Conflicts:     261000 | #Constraints:     671873
2099.44/2129.89	c #Conflicts:     262000 | #Constraints:     672881
2099.44/2129.89	c #Conflicts:     263000 | #Constraints:     673893
2099.44/2129.89	c #Conflicts:     264000 | #Constraints:     674898
2099.44/2129.89	c #Conflicts:     265000 | #Constraints:     675911
2099.44/2129.89	c #Conflicts:     266000 | #Constraints:     676929
2099.44/2129.89	c INPROCESSING
2099.44/2129.89	c GARBAGE COLLECT
2099.44/2129.89	c rational objective 178.406
2257.45/2288.48	c #Conflicts:     267000 | #Constraints:     667652
2257.45/2288.48	c #Conflicts:     268000 | #Constraints:     668660
2257.45/2288.48	c #Conflicts:     269000 | #Constraints:     669672
2257.45/2288.48	c #Conflicts:     270000 | #Constraints:     670678
2257.45/2288.48	c #Conflicts:     271000 | #Constraints:     671693
2257.45/2288.48	c #Conflicts:     272000 | #Constraints:     672706
2257.45/2288.48	c #Conflicts:     273000 | #Constraints:     673714
2257.45/2288.48	c #Conflicts:     274000 | #Constraints:     674724
2257.45/2288.48	c #Conflicts:     275000 | #Constraints:     675734
2257.45/2288.48	c #Conflicts:     276000 | #Constraints:     676749
2257.45/2288.48	c #Conflicts:     277000 | #Constraints:     677753
2257.45/2288.48	c INPROCESSING
2257.45/2288.48	c GARBAGE COLLECT
2257.45/2288.48	c #Conflicts:     278000 | #Constraints:     668263
2257.45/2288.48	c #Conflicts:     279000 | #Constraints:     669266
2257.45/2288.48	c #Conflicts:     280000 | #Constraints:     670270
2257.45/2288.48	c #Conflicts:     281000 | #Constraints:     671275
2257.45/2288.48	c #Conflicts:     282000 | #Constraints:     672284
2257.45/2288.48	c #Conflicts:     283000 | #Constraints:     673289
2257.45/2288.48	c #Conflicts:     284000 | #Constraints:     674297
2257.45/2288.48	c #Conflicts:     285000 | #Constraints:     675302
2257.45/2288.48	c #Conflicts:     286000 | #Constraints:     676304
2257.45/2288.48	c #Conflicts:     287000 | #Constraints:     677314
2257.45/2288.48	c #Conflicts:     288000 | #Constraints:     678317
2257.45/2288.48	c INPROCESSING
2257.45/2288.48	c rational objective 178.406
2404.19/2435.61	c #Conflicts:     289000 | #Constraints:     668652
2404.19/2435.61	c #Conflicts:     290000 | #Constraints:     669657
2404.19/2435.61	c #Conflicts:     291000 | #Constraints:     670666
2404.19/2435.61	c #Conflicts:     292000 | #Constraints:     671681
2404.19/2435.61	c #Conflicts:     293000 | #Constraints:     672696
2404.19/2435.61	c #Conflicts:     294000 | #Constraints:     673716
2404.19/2435.61	c #Conflicts:     295000 | #Constraints:     674733
2404.19/2435.61	c #Conflicts:     296000 | #Constraints:     675742
2404.19/2435.61	c #Conflicts:     297000 | #Constraints:     676747
2404.19/2435.61	c #Conflicts:     298000 | #Constraints:     677757
2404.19/2435.61	c #Conflicts:     299000 | #Constraints:     678758
2404.19/2435.61	c INPROCESSING
2404.19/2435.61	c GARBAGE COLLECT
2404.19/2435.61	c rational objective 178.406
2538.44/2570.31	c #Conflicts:     300000 | #Constraints:     668879
2538.44/2570.31	c #Conflicts:     301000 | #Constraints:     669882
2538.44/2570.31	c #Conflicts:     302000 | #Constraints:     670886
2538.44/2570.31	c #Conflicts:     303000 | #Constraints:     671892
2538.44/2570.31	c #Conflicts:     304000 | #Constraints:     672895
2538.44/2570.31	c #Conflicts:     305000 | #Constraints:     673898
2538.44/2570.31	c #Conflicts:     306000 | #Constraints:     674902
2538.44/2570.31	c #Conflicts:     307000 | #Constraints:     675907
2538.44/2570.31	c #Conflicts:     308000 | #Constraints:     676912
2538.44/2570.31	c #Conflicts:     309000 | #Constraints:     677917
2538.44/2570.31	c #Conflicts:     310000 | #Constraints:     678922
2538.44/2570.31	c INPROCESSING
2538.44/2570.31	c #Conflicts:     311000 | #Constraints:     668870
2538.44/2570.31	c #Conflicts:     312000 | #Constraints:     669876
2538.44/2570.31	c #Conflicts:     313000 | #Constraints:     670891
2538.44/2570.31	c #Conflicts:     314000 | #Constraints:     671908
2538.44/2570.31	c #Conflicts:     315000 | #Constraints:     672923
2538.44/2570.31	c #Conflicts:     316000 | #Constraints:     673936
2538.44/2570.31	c #Conflicts:     317000 | #Constraints:     674948
2538.44/2570.31	c #Conflicts:     318000 | #Constraints:     675961
2538.44/2570.31	c #Conflicts:     319000 | #Constraints:     676984
2538.44/2570.31	c #Conflicts:     320000 | #Constraints:     677999
2538.44/2570.31	c #Conflicts:     321000 | #Constraints:     679018
2538.44/2570.31	c INPROCESSING
2538.44/2570.31	c GARBAGE COLLECT
2538.44/2570.31	c rational objective 178.406
2641.63/2674.77	c #Conflicts:     322000 | #Constraints:     668712
2641.63/2674.77	c #Conflicts:     323000 | #Constraints:     669717
2641.63/2674.77	c #Conflicts:     324000 | #Constraints:     670725
2641.63/2674.77	c #Conflicts:     325000 | #Constraints:     671741
2641.63/2674.77	c #Conflicts:     326000 | #Constraints:     672758
2641.63/2674.77	c #Conflicts:     327000 | #Constraints:     673766
2641.63/2674.77	c #Conflicts:     328000 | #Constraints:     674773
2641.63/2674.77	c #Conflicts:     329000 | #Constraints:     675777
2641.63/2674.77	c #Conflicts:     330000 | #Constraints:     676792
2641.63/2674.77	c #Conflicts:     331000 | #Constraints:     677805
2641.63/2674.77	c #Conflicts:     332000 | #Constraints:     678817
2641.63/2674.77	c #Conflicts:     333000 | #Constraints:     679826
2641.63/2674.77	c INPROCESSING
2641.63/2674.77	c GARBAGE COLLECT
2641.63/2674.77	c rational objective 178.406
2815.36/2849.12	c #Conflicts:     334000 | #Constraints:     669321
2815.36/2849.12	c #Conflicts:     335000 | #Constraints:     670328
2815.36/2849.12	c #Conflicts:     336000 | #Constraints:     671336
2815.36/2849.12	c #Conflicts:     337000 | #Constraints:     672347
2815.36/2849.12	c #Conflicts:     338000 | #Constraints:     673350
2815.36/2849.12	c #Conflicts:     339000 | #Constraints:     674355
2815.36/2849.12	c #Conflicts:     340000 | #Constraints:     675364
2815.36/2849.12	c #Conflicts:     341000 | #Constraints:     676373
2815.36/2849.12	c #Conflicts:     342000 | #Constraints:     677379
2815.36/2849.12	c #Conflicts:     343000 | #Constraints:     678387
2815.36/2849.12	c #Conflicts:     344000 | #Constraints:     679393
2815.36/2849.12	c #Conflicts:     345000 | #Constraints:     680412
2815.36/2849.12	c INPROCESSING
2815.36/2849.12	c rational objective 178.406
2916.00/2950.27	c #Conflicts:     346000 | #Constraints:     669702
2916.00/2950.27	c #Conflicts:     347000 | #Constraints:     670708
2916.00/2950.27	c #Conflicts:     348000 | #Constraints:     671717
2916.00/2950.27	c #Conflicts:     349000 | #Constraints:     672731
2916.00/2950.27	c #Conflicts:     350000 | #Constraints:     673748
2916.00/2950.27	c #Conflicts:     351000 | #Constraints:     674762
2916.00/2950.27	c #Conflicts:     352000 | #Constraints:     675777
2916.00/2950.27	c #Conflicts:     353000 | #Constraints:     676787
2916.00/2950.27	c #Conflicts:     354000 | #Constraints:     677791
2916.00/2950.27	c #Conflicts:     355000 | #Constraints:     678797
2916.00/2950.27	c #Conflicts:     356000 | #Constraints:     679801
2916.00/2950.27	c #Conflicts:     357000 | #Constraints:     680805
2916.00/2950.27	c INPROCESSING
2916.00/2950.27	c GARBAGE COLLECT
2916.00/2950.27	c rational objective 178.406
3006.41/3041.19	c #Conflicts:     358000 | #Constraints:     669903
3006.41/3041.19	c #Conflicts:     359000 | #Constraints:     670908
3006.41/3041.19	c #Conflicts:     360000 | #Constraints:     671912
3006.41/3041.19	c #Conflicts:     361000 | #Constraints:     672917
3006.41/3041.19	c #Conflicts:     362000 | #Constraints:     673922
3006.41/3041.19	c #Conflicts:     363000 | #Constraints:     674927
3006.41/3041.19	c #Conflicts:     364000 | #Constraints:     675936
3006.41/3041.19	c #Conflicts:     365000 | #Constraints:     676939
3006.41/3041.19	c #Conflicts:     366000 | #Constraints:     677945
3006.41/3041.19	c #Conflicts:     367000 | #Constraints:     678951
3006.41/3041.19	c #Conflicts:     368000 | #Constraints:     679961
3006.41/3041.19	c #Conflicts:     369000 | #Constraints:     680968
3006.41/3041.19	c INPROCESSING
3006.41/3041.19	c rational objective 178.406
3084.31/3119.46	c #Conflicts:     370000 | #Constraints:     669888
3084.31/3119.46	c #Conflicts:     371000 | #Constraints:     670894
3084.31/3119.46	c #Conflicts:     372000 | #Constraints:     671903
3084.31/3119.46	c #Conflicts:     373000 | #Constraints:     672908
3084.31/3119.46	c #Conflicts:     374000 | #Constraints:     673913
3084.31/3119.46	c #Conflicts:     375000 | #Constraints:     674919
3084.31/3119.46	c #Conflicts:     376000 | #Constraints:     675930
3084.31/3119.46	c #Conflicts:     377000 | #Constraints:     676940
3084.31/3119.46	c #Conflicts:     378000 | #Constraints:     677943
3084.31/3119.46	c #Conflicts:     379000 | #Constraints:     678950
3084.31/3119.46	c #Conflicts:     380000 | #Constraints:     679953
3084.31/3119.46	c #Conflicts:     381000 | #Constraints:     680958
3084.31/3119.46	c INPROCESSING
3084.31/3119.46	c GARBAGE COLLECT
3084.31/3119.46	c rational objective 178.407
3167.81/3203.30	c #Conflicts:     382000 | #Constraints:     669676
3167.81/3203.30	c #Conflicts:     383000 | #Constraints:     670679
3167.81/3203.30	c #Conflicts:     384000 | #Constraints:     671681
3167.81/3203.30	c #Conflicts:     385000 | #Constraints:     672688
3167.81/3203.30	c #Conflicts:     386000 | #Constraints:     673704
3167.81/3203.30	c #Conflicts:     387000 | #Constraints:     674710
3167.81/3203.30	c #Conflicts:     388000 | #Constraints:     675715
3167.81/3203.30	c #Conflicts:     389000 | #Constraints:     676724
3167.81/3203.30	c #Conflicts:     390000 | #Constraints:     677729
3167.81/3203.30	c #Conflicts:     391000 | #Constraints:     678733
3167.81/3203.30	c #Conflicts:     392000 | #Constraints:     679736
3167.81/3203.30	c #Conflicts:     393000 | #Constraints:     680740
3167.81/3203.30	c #Conflicts:     394000 | #Constraints:     681753
3167.81/3203.30	c INPROCESSING
3167.81/3203.30	c GARBAGE COLLECT
3167.81/3203.30	c rational objective 178.407
3375.69/3411.97	c #Conflicts:     395000 | #Constraints:     670296
3375.69/3411.97	c #Conflicts:     396000 | #Constraints:     671302
3375.69/3411.97	c #Conflicts:     397000 | #Constraints:     672313
3375.69/3411.97	c #Conflicts:     398000 | #Constraints:     673320
3375.69/3411.97	c #Conflicts:     399000 | #Constraints:     674325
3375.69/3411.97	c #Conflicts:     400000 | #Constraints:     675330
3375.69/3411.97	c #Conflicts:     401000 | #Constraints:     676337
3375.69/3411.97	c #Conflicts:     402000 | #Constraints:     677342
3375.69/3411.97	c #Conflicts:     403000 | #Constraints:     678347
3375.69/3411.97	c #Conflicts:     404000 | #Constraints:     679350
3375.69/3411.97	c #Conflicts:     405000 | #Constraints:     680354
3375.69/3411.97	c #Conflicts:     406000 | #Constraints:     681362
3375.69/3411.97	c #Conflicts:     407000 | #Constraints:     682367
3375.69/3411.97	c INPROCESSING
3375.69/3411.97	c GARBAGE COLLECT
3375.69/3411.97	c rational objective 178.407
3453.92/3490.49	c #Conflicts:     408000 | #Constraints:     670692
3453.92/3490.49	c #Conflicts:     409000 | #Constraints:     671696
3453.92/3490.49	c #Conflicts:     410000 | #Constraints:     672700
3453.92/3490.49	c #Conflicts:     411000 | #Constraints:     673705
3453.92/3490.49	c #Conflicts:     412000 | #Constraints:     674711
3453.92/3490.49	c #Conflicts:     413000 | #Constraints:     675714
3453.92/3490.49	c #Conflicts:     414000 | #Constraints:     676718
3453.92/3490.49	c #Conflicts:     415000 | #Constraints:     677727
3453.92/3490.49	c #Conflicts:     416000 | #Constraints:     678736
3453.92/3490.49	c #Conflicts:     417000 | #Constraints:     679749
3453.92/3490.49	c #Conflicts:     418000 | #Constraints:     680768
3453.92/3490.49	c #Conflicts:     419000 | #Constraints:     681781
3453.92/3490.49	c #Conflicts:     420000 | #Constraints:     682795
3453.92/3490.49	c INPROCESSING
3453.92/3490.49	c GARBAGE COLLECT
3453.92/3490.49	c rational objective 178.407
3542.02/3584.81	c #Conflicts:     421000 | #Constraints:     670906
3542.02/3584.81	c #Conflicts:     422000 | #Constraints:     671910
3542.02/3584.81	c #Conflicts:     423000 | #Constraints:     672918
3542.02/3584.81	c #Conflicts:     424000 | #Constraints:     673922
3542.02/3584.81	c #Conflicts:     425000 | #Constraints:     674928
3542.02/3584.81	c #Conflicts:     426000 | #Constraints:     675938
3542.02/3584.81	c #Conflicts:     427000 | #Constraints:     676950
3542.02/3584.81	c #Conflicts:     428000 | #Constraints:     677958
3542.02/3584.81	c #Conflicts:     429000 | #Constraints:     678970
3542.02/3584.81	c #Conflicts:     430000 | #Constraints:     679987
3542.02/3584.81	c #Conflicts:     431000 | #Constraints:     681002
3542.02/3584.81	c #Conflicts:     432000 | #Constraints:     682013
3542.02/3584.81	c #Conflicts:     433000 | #Constraints:     683025
3542.02/3584.81	c INPROCESSING
3542.02/3584.81	c GARBAGE COLLECT
3542.02/3584.81	c rational objective 178.408
3600.00/3643.02	c #Conflicts:     434000 | #Constraints:     670918
3600.00/3643.02	c #Conflicts:     435000 | #Constraints:     671921
3600.00/3643.02	c #Conflicts:     436000 | #Constraints:     672924
3600.00/3643.02	c #Conflicts:     437000 | #Constraints:     673929
3600.00/3643.02	c #Conflicts:     438000 | #Constraints:     674933
3600.00/3643.02	c #Conflicts:     439000 | #Constraints:     675940
3600.00/3643.02	c #Conflicts:     440000 | #Constraints:     676948
3600.00/3643.02	c #Conflicts:     441000 | #Constraints:     677959
3600.00/3643.02	c #Conflicts:     442000 | #Constraints:     678962
3600.00/3643.02	c Disabling crashed LP
3600.00/3643.02	c cpu time 3576.28 s
3600.00/3643.02	c deterministic time 107926341223 1.08e+11
3600.00/3643.02	c optimization time 49.24 s
3600.00/3643.02	c total solve time 3524.08 s
3600.00/3643.02	c core-guided solve time 3141.46 s
3600.00/3643.02	c propagation time 1463.78 s
3600.00/3643.02	c conflict analysis time 694.661 s
3600.00/3643.02	c propagations 52910070
3600.00/3643.02	c resolve steps 10952663
3600.00/3643.02	c decisions 11484096
3600.00/3643.02	c conflicts 442390
3600.00/3643.02	c restarts 1021
3600.00/3643.02	c inprocessing phases 57
3600.00/3643.02	c garbage collections 45 ,( 78.95 )
3600.00/3643.02	c input clauses 656904 ,( 99.96 )
3600.00/3643.02	c input cardinalities 9 ,( 0.00 )
3600.00/3643.02	c input general constraints 260 ,( 0.04 )
3600.00/3643.02	c input average constraint length 5.90
3600.00/3643.02	c input average constraint degree 185.06
3600.00/3643.02	c learned clauses 421515 ,( 94.12 )
3600.00/3643.02	c learned cardinalities 13 ,( 0.00 )
3600.00/3643.02	c learned general constraints 26311 ,( 5.88 )
3600.00/3643.02	c learned average constraint length 2718.78
3600.00/3643.02	c learned average constraint degree 21990279036.02
3600.00/3643.02	c watched  CF 32, 64, 128, Arb: 4924 , 0 , 0 , 0
3600.00/3643.02	c counting CF 32, 64, 128, Arb: 21648 , 0 , 0 , 0
3600.00/3643.02	c watched   constraints 4924 ,( 18.53 ) 
3600.00/3643.02	c counting  constraints 21647 ,( 81.47 ) 
3600.00/3643.02	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 241099444 , 827993 , 367794835 ,( 18388207 , 349406628 )
3600.00/3643.02	c gcd simplifications 435
3600.00/3643.02	c detected cardinalities 0
3600.00/3643.02	c weakened non-implied lits 428902648
3600.00/3643.02	c weakened non-implying lits 18737
3600.00/3643.02	c original variables 10000
3600.00/3643.02	c clausal propagations 47880484
3600.00/3643.02	c cardinality propagations 23419
3600.00/3643.02	c watched propagations 21408
3600.00/3643.02	c counting propagations 4377142
3600.00/3643.02	c watch lookups 36352064962
3600.00/3643.02	c watch backjump lookups 0
3600.00/3643.02	c watch checks 9155378843
3600.00/3643.02	c propagation checks 59271131513
3600.00/3643.02	c constraint additions 3017868294
3600.00/3643.02	c trail pops 64826684
3600.00/3643.02	c formula constraints 656900
3600.00/3643.02	c learned constraints 442216
3600.00/3643.02	c bound constraints 251
3600.00/3643.02	c core-guided constraints 22
3600.00/3643.02	c encountered formula constraints 8784679
3600.00/3643.02	c encountered learned constraints 2571850
3600.00/3643.02	c encountered bound constraints 2469
3600.00/3643.02	c encountered core-guided constraints 14729
3600.00/3643.02	c LP total time 2109.83 s
3600.00/3643.02	c LP solve time 1722.56 s
3600.00/3643.02	c LP constraints added 656986
3600.00/3643.02	c LP constraints removed 58
3600.00/3643.02	c LP pivots internal 442390
3600.00/3643.02	c LP pivots root 234370
3600.00/3643.02	c LP calls 5668
3600.00/3643.02	c LP optimalities 197
3600.00/3643.02	c LP no pivot count 1
3600.00/3643.02	c LP infeasibilities 5429
3600.00/3643.02	c LP valid Farkas constraints 5427
3600.00/3643.02	c LP learned Farkas constraints 175
3600.00/3643.02	c LP basis resets 40
3600.00/3643.02	c LP cycling count 26
3600.00/3643.02	c LP singular count 9
3600.00/3643.02	c LP no primal count 0
3600.00/3643.02	c LP no farkas count 2
3600.00/3643.02	c LP other issue count 3
3600.00/3643.02	c LP Gomory cuts 21
3600.00/3643.02	c LP learned cuts 65
3600.00/3643.02	c LP deleted cuts 58
3600.00/3643.02	c LP encountered Gomory constraints 0
3600.00/3643.02	c LP encountered Farkas constraints 20981
3600.00/3643.02	c LP encountered learned Farkas constraints 170
3600.00/3643.02	c CG auxiliary variables introduced 9
3600.00/3643.02	c CG solutions found 245
3600.00/3643.02	c CG cores constructed 5
3600.00/3643.02	c CG core cardinality constraints returned 0
3600.00/3643.02	c CG unit cores 0
3600.00/3643.02	c CG single cores 5
3600.00/3643.02	c CG blocks removed during cardinality reduction 0
3600.00/3643.02	c CG first core best 0
3600.00/3643.02	c CG decision core best 0
3600.00/3643.02	c CG core reduction tie 0
3600.00/3643.02	c CG core degree average 1.00
3600.00/3643.02	c CG core slack average 2246.20
3600.00/3643.02	c CG core upper bound improvements 0
3600.00/3643.02	c STR number of successful calls 0
3600.00/3643.02	c STR number of unsuccessful calls 0
3600.00/3643.02	c STR number of inconclusive calls 0
3600.00/3643.02	c STR number of successful attempts 0
3600.00/3643.02	c STR number of unsuccessful attempts 0
3600.00/3643.02	c STR number of inconclusive attempts 0
3600.00/3643.02	c STR average degree increase per successful call inf
3600.00/3643.02	c STR average degree increase per successful attempt inf
3600.00/3643.02	c STR total number of conflicts for successful attempts 0
3600.00/3643.02	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3643.02	c STR total number of conflicts for inconclusive attempts 0
3600.00/3643.02	c STR average number of conflicts per successful attempt inf
3600.00/3643.02	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3643.02	c STR average number of conflicts per inconclusive attempt inf
3600.00/3643.02	c AVG.sumWPerc 80.17 
3600.00/3643.02	c bigint constraints 0 
3600.00/3643.02	o 338
3600.00/3643.02	s SATISFIABLE
3600.00/3643.02	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.00/3643.02	c Program interrupted by user.

Verifier Data 

OK	338

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: 63665 MiB (62935 MiB free)
  memory of node 1: 64507 MiB (63851 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=54730, runsolver pid=54725
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129448564/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54734] ppid=54730 vsize=163932 memory=147164 CPUtime=0.07 cores=1,3
/proc/54734/stat : 54734 (pbsuma) R 54730 54730 54673 0 -1 4194304 4154 0 0 0 4 3 0 0 20 0 1 0 52540302 167866368 36791 18446744073709551615 4210688 4653049 140737360149600 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 18735104 140737360156899 140737360157234 140737360157234 140737360162799 0
/proc/54734/statm: 40983 36791 928 108 0 38391 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 168124 KiB
Current children cumulated memory: 150108 KiB

[startup+0.20563 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129347436/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54734] ppid=54730 vsize=181184 memory=166924 CPUtime=0.19 cores=1,3
/proc/54734/stat : 54734 (pbsuma) R 54730 54730 54673 0 -1 4194304 8738 0 0 0 14 5 0 0 20 0 1 0 52540302 185532416 41731 18446744073709551615 4210688 4653049 140737360149600 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 18735104 140737360156899 140737360157234 140737360157234 140737360162799 0
/proc/54734/statm: 45296 41731 928 108 0 42704 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185376 KiB
Current children cumulated memory: 169868 KiB

[startup+0.305591 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129219864/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54734] ppid=54730 vsize=194784 memory=182956 CPUtime=0.28 cores=1,3
/proc/54734/stat : 54734 (pbsuma) R 54730 54730 54673 0 -1 4194304 11728 0 0 0 23 5 0 0 20 0 1 0 52540302 199458816 45739 18446744073709551615 4210688 4653049 140737360149600 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 18735104 140737360156899 140737360157234 140737360157234 140737360162799 0
/proc/54734/statm: 48696 45739 928 108 0 46104 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 185900 KiB

[startup+0.700217 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=128988876/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54734] ppid=54730 vsize=309832 memory=262100 CPUtime=0.67 cores=1,3
/proc/54734/stat : 54734 (pbsuma) R 54730 54730 54673 0 -1 4194304 22340 0 0 0 60 7 0 0 20 0 1 0 52540302 317267968 65525 18446744073709551615 4210688 4653049 140737360149600 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 18735104 140737360156899 140737360157234 140737360157234 140737360162799 0
/proc/54734/statm: 77458 65525 960 108 0 74866 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 314024 KiB
Current children cumulated memory: 265044 KiB

[startup+1.50016 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54748
/proc/meminfo: memFree=129279960/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=107592 memory=62204 CPUtime=0.53 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 12617 0 0 0 42 11 0 0 20 0 1 0 52540396 110174208 15551 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 26898 15551 2016 1147 0 14325 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 111784 KiB
Current children cumulated memory: 65148 KiB

[startup+3.10533 s]
/proc/loadavg: 2.74 3.76 3.97 5/269 54750
/proc/meminfo: memFree=128772252/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=267012 memory=210168 CPUtime=2.13 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 45503 0 0 0 170 43 0 0 20 0 1 0 52540396 273420288 52542 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 66753 52542 2016 1147 0 54180 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 271204 KiB
Current children cumulated memory: 213112 KiB

[startup+6.30021 s]
/proc/loadavg: 2.74 3.76 3.97 5/270 54751
/proc/meminfo: memFree=126177924/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=1064968 memory=805704 CPUtime=5.31 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 89891 0 0 0 455 76 0 0 20 0 1 0 52540396 1090527232 201426 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 266242 201426 2304 1147 0 253669 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 808648 KiB

[startup+12.7002 s]
/proc/loadavg: 2.84 3.77 3.98 5/270 54751
/proc/meminfo: memFree=125978524/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=1234212 memory=914244 CPUtime=11.69 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 96680 0 0 0 1086 83 0 0 20 0 1 0 52540396 1263833088 228561 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 308553 228561 2400 1147 0 295980 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1238404 KiB
Current children cumulated memory: 917188 KiB

[startup+25.5002 s]
/proc/loadavg: 3.24 3.81 3.99 5/270 54751
/proc/meminfo: memFree=124672144/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=1498608 memory=1156480 CPUtime=24.45 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 120630 0 0 0 2321 124 0 0 20 0 1 0 52540396 1534574592 289120 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 374652 289120 2400 1147 0 362079 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1502800 KiB
Current children cumulated memory: 1159424 KiB

[startup+51.1054 s]
/proc/loadavg: 3.50 3.83 3.99 5/271 54755
/proc/meminfo: memFree=123539028/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=1581976 memory=1264448 CPUtime=49.77 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 131363 0 0 0 4773 204 0 0 20 0 1 0 52540396 1619943424 316112 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 395494 316112 2400 1147 0 382921 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 1586168 KiB
Current children cumulated memory: 1267392 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.89 4.01 5/273 54758
/proc/meminfo: memFree=122153228/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=1693920 memory=1332908 CPUtime=100.82 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 134824 0 0 0 9825 257 0 0 20 0 1 0 52540396 1734574080 333227 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 423480 333227 2400 1147 0 410907 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 1698112 KiB
Current children cumulated memory: 1335852 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.92 4.01 5/273 54760
/proc/meminfo: memFree=121044984/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=1858344 memory=1526624 CPUtime=160.4 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 182757 0 0 0 15720 320 0 0 20 0 1 0 52540396 1902944256 381656 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 464586 381656 2400 1147 0 452013 0
Current children cumulated CPU time: 161.32 s
Current children cumulated vsize: 1862536 KiB
Current children cumulated memory: 1529568 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.96 4.01 5/273 54763
/proc/meminfo: memFree=118264236/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=2476552 memory=2147040 CPUtime=219.71 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 299699 0 0 0 21582 389 0 0 20 0 1 0 52540396 2535989248 536760 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 619138 536760 2400 1147 0 606565 0

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

[pid=54748] ppid=54730 vsize=4464120 memory=3963220 CPUtime=3126.04 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 637055 0 0 0 310495 2109 0 0 20 0 1 0 52540396 4571258880 990805 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116030 990805 2560 1147 0 1103457 0
Current children cumulated CPU time: 3126.96 s
Current children cumulated vsize: 4468312 KiB
Current children cumulated memory: 3966164 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 54932
/proc/meminfo: memFree=41704520/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4464120 memory=3985364 CPUtime=3185.84 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 637057 0 0 0 316445 2139 0 0 20 0 1 0 52540396 4571258880 996341 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116030 996341 2560 1147 0 1103457 0
Current children cumulated CPU time: 3186.76 s
Current children cumulated vsize: 4468312 KiB
Current children cumulated memory: 3988308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 54934
/proc/meminfo: memFree=39691112/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4464120 memory=3998164 CPUtime=3245.57 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 638345 0 0 0 322371 2186 0 0 20 0 1 0 52540396 4571258880 999541 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116030 999541 2560 1147 0 1103457 0
Current children cumulated CPU time: 3246.49 s
Current children cumulated vsize: 4468312 KiB
Current children cumulated memory: 4001108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/273 54940
/proc/meminfo: memFree=38013584/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4464120 memory=4008788 CPUtime=3305.36 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 638355 0 0 0 328344 2192 0 0 20 0 1 0 52540396 4571258880 1002197 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116030 1002197 2560 1147 0 1103457 0
Current children cumulated CPU time: 3306.28 s
Current children cumulated vsize: 4468312 KiB
Current children cumulated memory: 4011732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/274 54947
/proc/meminfo: memFree=36459736/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4464120 memory=4009300 CPUtime=3365.2 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 638526 0 0 0 334325 2195 0 0 20 0 1 0 52540396 4571258880 1002325 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116030 1002325 2560 1147 0 1103457 0
Current children cumulated CPU time: 3366.12 s
Current children cumulated vsize: 4468312 KiB
Current children cumulated memory: 4012244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/275 54951
/proc/meminfo: memFree=35281848/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4464124 memory=4009304 CPUtime=3425.03 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 641136 0 0 0 340272 2231 0 0 20 0 1 0 52540396 4571262976 1002326 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116031 1002326 2560 1147 0 1103458 0
Current children cumulated CPU time: 3425.95 s
Current children cumulated vsize: 4468316 KiB
Current children cumulated memory: 4012248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.11 5/277 54957
/proc/meminfo: memFree=33447920/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4471008 memory=4016188 CPUtime=3478.79 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 641988 0 0 0 345631 2248 0 0 20 0 1 0 52540396 4578312192 1004047 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1117752 1004047 2560 1147 0 1105179 0
Current children cumulated CPU time: 3479.71 s
Current children cumulated vsize: 4475200 KiB
Current children cumulated memory: 4019132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/278 54960
/proc/meminfo: memFree=30867488/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4471008 memory=4016188 CPUtime=3538.61 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 643276 0 0 0 351599 2262 0 0 20 0 1 0 52540396 4578312192 1004047 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1117752 1004047 2560 1147 0 1105179 0
Current children cumulated CPU time: 3539.53 s
Current children cumulated vsize: 4475200 KiB
Current children cumulated memory: 4019132 KiB

[startup+3642.3 s]
/proc/loadavg: 4.33 4.21 4.12 5/277 55056
/proc/meminfo: memFree=101512732/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4467116 memory=4012296 CPUtime=3598.38 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 644662 0 0 0 357556 2282 0 0 20 0 1 0 52540396 4574326784 1003074 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116779 1003074 2560 1147 0 1104206 0
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 4471308 KiB
Current children cumulated memory: 4015240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3643 s]*
/proc/loadavg: 4.30 4.20 4.12 5/277 55056
/proc/meminfo: memFree=101473636/131250000 swapFree=33010416/33010684
[pid=54730] ppid=54725 vsize=4192 memory=2944 CPUtime=0.92 cores=1,3
/proc/54730/stat : 54730 (run-opt-ls-log.) S 54725 54730 54673 0 -1 4194304 240 29926 0 0 0 0 81 11 20 0 1 0 52540301 4292608 736 18446744073709551615 93961696014336 93961696908869 140731640327904 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93961697147920 93961697195664 93961729032192 140731640330523 140731640330721 140731640330721 140731640336323 0
/proc/54730/statm: 1048 736 672 219 0 110 0
[pid=54748] ppid=54730 vsize=4467116 memory=4012296 CPUtime=3599.08 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54730 54730 54673 0 -1 4194304 644662 0 0 0 357626 2282 0 0 20 0 1 0 52540396 4574326784 1003074 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 1116779 1003074 2560 1147 0 1104206 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4471308 KiB
Current children cumulated memory: 4015240 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3643.11 s]*
/proc/loadavg: 4.30 4.20 4.12 5/276 55056
/proc/meminfo: memFree=103785336/131250000 swapFree=33010416/33010684
[pid=54748] ppid=54725 vsize=1784844 memory=1726332 CPUtime=3599.16 cores=1,3
/proc/54748/stat : 54748 (roundingsat) R 54725 54730 54673 0 -1 4194304 644678 0 0 0 357632 2284 0 0 20 0 1 0 52540396 1827680256 431583 18446744073709551615 4227072 8923433 140727259632160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16486400 140727259638006 140727259638312 140727259638312 140727259643882 0
/proc/54748/statm: 446211 431583 2592 1147 0 433638 0
Current cumulated CPU time of completed processes: 0.933156 s
Current children cumulated CPU time: 3599.16 s
Current children cumulated vsize: 1784844 KiB
Current children cumulated memory: 1726332 KiB

Child status: 2

Real time (s): 3643.14
CPU time (s): 3600.13
CPU user time (s): 3577.16
CPU system time (s): 22.9625
CPU usage (%): 98.8194
Max. virtual memory (cumulated for all children) (KiB): 4514268
Max. memory (cumulated for all children) (KiB): 4056460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.16
system time used= 22.9625
maximum resident set size= 4053516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 674859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20003528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 617
involuntary context switches= 7700


# summary of solver processes directly reported to runsolver:
#   pid: 54730,54748
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3577.16
#   total CPU system time (s): 22.9625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4454 second user time and 17.2804 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 13:17:05
IDJOB=4489831
IDBENCH=147564
IDSOLVER=3356
FILE ID=nodeC018/4489831-1751368624
RUNJOBID= nodeC018-1751368624-54685
SLURM_JOB_ID= 9598184
Free space on /tmp= 432860 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1688743210

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.004
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.591
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3606.452
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.095
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.026
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.517
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3609.546
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129838172 kB
MemAvailable:   129601944 kB
Buffers:            2128 kB
Cached:           565548 kB
SwapCached:           32 kB
Active:           537604 kB
Inactive:         231000 kB
Active(anon):     217464 kB
Inactive(anon):     1564 kB
Active(file):     320140 kB
Inactive(file):   229436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81348 kB
Writeback:             0 kB
AnonPages:        204116 kB
Mapped:           103984 kB
Shmem:             18044 kB
KReclaimable:     106472 kB
Slab:             194232 kB
SReclaimable:     106472 kB
SUnreclaim:        87760 kB
KernelStack:        4192 kB
PageTables:         3020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     502868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432840 MiB
End job on nodeC018 at 2025-07-01 14:17:48