Trace number 4489830

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 63f22adSAT (TO)338 3600.14 3610.61

General information on the benchmark

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

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489830-1751363764.opb'
0.28/0.34	c 	read 17.23MB  (326.71ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.67/0.71	c	 [group: #orbits ~= 0] (368.20ms)
0.67/0.71	c 
0.67/0.71	c detect special group actions
0.67/0.71	c 	probe for Johnson action (limit=64)
0.67/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.72	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.73	c 	 (22.12ms)
0.67/0.73	c 
0.67/0.73	c detect symmetries on remainder
0.67/0.74	c 	[graph: #vertices 706709 #edges 2766416]
0.67/0.74	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.62ms)
0.67/0.79	c 
0.67/0.79	c finalize break order and special generators
0.67/0.79	c 
0.67/0.79	c generation finished
0.67/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.79	c 
0.67/0.79	c write result to 'HOME/instance-4489830-1751363764.opb.pre'
0.77/0.82	c 	wrote 17.23MB (35.67ms)
0.77/0.82	c ------------------------------------------------------------------
0.77/0.82	c                 368.20ms 45.51% approx_orbits
0.77/0.82	c                 326.71ms 40.38% parse
0.77/0.82	c                  53.62ms  6.63% detect_generic
0.77/0.82	c                  35.67ms  4.41% output
0.77/0.82	c                  22.12ms  2.73% detect_special
0.77/0.82	c                   2.40ms  0.30% other
0.77/0.82	c                   0.38ms  0.05% finalize_order
0.77/0.82	c         ───────────────────────────────────────────────
0.77/0.82	c                 809.09ms   100% total
0.77/0.82	c ------------------------------------------------------------------
0.87/0.97	c RoundingSat 2
0.87/0.97	c branch pb25
0.87/0.97	c commit 63f22ad
3.43/3.58	c #variables 10000 #constraints 656900
3.43/3.58	c objective is ce32 
4.34/4.45	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.34/4.45	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.34/4.45	c bounds 5338 >= 0 @ 2.79504
6.82/6.92	c rational objective 172.654
10.42/10.57	c bounds 5331 >= 0 @ 8.78651
10.62/10.70	c bounds 5330 >= 0 @ 8.9085
10.62/10.71	c bounds 5326 >= 0 @ 8.91764
10.62/10.77	c bounds 5321 >= 0 @ 8.97764
10.81/10.96	c bounds 5304 >= 0 @ 9.16214
10.81/10.97	c bounds 5303 >= 0 @ 9.17161
10.81/10.98	c bounds 5302 >= 0 @ 9.17542
10.81/10.99	c bounds 5233 >= 0 @ 9.18644
10.92/11.00	c bounds 5212 >= 0 @ 9.19471
10.92/11.09	c bounds 5137 >= 0 @ 9.27804
10.92/11.09	c bounds 5134 >= 0 @ 9.28316
11.02/11.10	c bounds 5054 >= 0 @ 9.29139
11.02/11.12	c bounds 5040 >= 0 @ 9.30586
11.02/11.19	c bounds 4974 >= 0 @ 9.37875
11.12/11.27	c bounds 4970 >= 0 @ 9.45624
11.21/11.39	c bounds 4909 >= 0 @ 9.57362
11.31/11.41	c bounds 4832 >= 0 @ 9.58753
11.42/11.52	c bounds 4802 >= 0 @ 9.69409
11.42/11.54	c bounds 4721 >= 0 @ 9.71443
11.42/11.55	c bounds 4678 >= 0 @ 9.72663
11.42/11.56	c bounds 4626 >= 0 @ 9.73531
11.42/11.58	c bounds 4607 >= 0 @ 9.75226
11.51/11.68	c bounds 4586 >= 0 @ 9.85281
11.61/11.70	c bounds 4584 >= 0 @ 9.86455
11.61/11.79	c bounds 4579 >= 0 @ 9.95053
11.71/11.80	c bounds 4564 >= 0 @ 9.96098
11.71/11.81	c bounds 4562 >= 0 @ 9.97003
11.81/11.92	c bounds 4549 >= 0 @ 10.0829
11.81/11.93	c bounds 4515 >= 0 @ 10.086
11.81/11.94	c bounds 4428 >= 0 @ 10.0953
11.81/11.95	c bounds 4372 >= 0 @ 10.1024
11.81/11.96	c bounds 4324 >= 0 @ 10.1093
11.81/11.97	c bounds 4294 >= 0 @ 10.1175
11.81/11.98	c bounds 4282 >= 0 @ 10.1268
11.81/12.00	c bounds 4276 >= 0 @ 10.144
11.92/12.10	c bounds 4269 >= 0 @ 10.2369
12.02/12.10	c bounds 4262 >= 0 @ 10.2427
12.02/12.12	c bounds 4259 >= 0 @ 10.2563
12.02/12.13	c bounds 4258 >= 0 @ 10.2637
12.11/12.24	c bounds 4220 >= 0 @ 10.3638
12.11/12.25	c bounds 4171 >= 0 @ 10.3736
12.11/12.26	c bounds 4061 >= 0 @ 10.3788
12.11/12.27	c bounds 4040 >= 0 @ 10.3853
12.41/12.59	c bounds 4033 >= 0 @ 10.7023
12.51/12.60	c bounds 4005 >= 0 @ 10.709
12.61/12.74	c bounds 3942 >= 0 @ 10.8561
12.71/12.84	c bounds 3903 >= 0 @ 10.9497
12.71/12.85	c bounds 3890 >= 0 @ 10.9571
12.71/12.88	c bounds 3887 >= 0 @ 10.9868
12.71/12.89	c bounds 3822 >= 0 @ 10.9922
12.80/12.99	c bounds 3821 >= 0 @ 11.0884
12.92/13.09	c bounds 3762 >= 0 @ 11.1946
13.02/13.12	c bounds 3754 >= 0 @ 11.2159
13.02/13.14	c bounds 3751 >= 0 @ 11.2401
13.02/13.15	c bounds 3747 >= 0 @ 11.2461
13.11/13.28	c bounds 3744 >= 0 @ 11.3706
13.11/13.29	c bounds 3736 >= 0 @ 11.3829
13.20/13.39	c bounds 3729 >= 0 @ 11.4767
13.31/13.40	c bounds 3709 >= 0 @ 11.4874
13.31/13.41	c bounds 3680 >= 0 @ 11.4942
13.41/13.59	c bounds 3671 >= 0 @ 11.6783
13.51/13.61	c bounds 3656 >= 0 @ 11.6965
13.51/13.62	c bounds 3627 >= 0 @ 11.7053
13.51/13.63	c bounds 3598 >= 0 @ 11.7134
13.51/13.64	c bounds 3584 >= 0 @ 11.7201
13.51/13.65	c bounds 3566 >= 0 @ 11.7284
13.51/13.66	c bounds 3483 >= 0 @ 11.7362
13.51/13.67	c bounds 3456 >= 0 @ 11.7462
13.61/13.79	c bounds 3435 >= 0 @ 11.8599
13.70/13.80	c bounds 3363 >= 0 @ 11.872
13.70/13.82	c bounds 3349 >= 0 @ 11.8864
13.70/13.83	c bounds 3298 >= 0 @ 11.8968
13.70/13.84	c bounds 3285 >= 0 @ 11.909
13.70/13.85	c bounds 3264 >= 0 @ 11.9185
13.70/13.87	c bounds 3259 >= 0 @ 11.9306
13.70/13.88	c bounds 3223 >= 0 @ 11.9374
13.80/13.98	c bounds 3191 >= 0 @ 12.038
13.80/13.99	c bounds 3111 >= 0 @ 12.0455
13.91/14.01	c bounds 3101 >= 0 @ 12.0603
13.91/14.02	c bounds 3100 >= 0 @ 12.0673
13.91/14.03	c bounds 3055 >= 0 @ 12.0781
13.91/14.04	c bounds 3011 >= 0 @ 12.0868
13.91/14.05	c bounds 3006 >= 0 @ 12.0934
14.01/14.14	c bounds 2985 >= 0 @ 12.1861
14.10/14.25	c bounds 2980 >= 0 @ 12.2891
14.10/14.26	c bounds 2970 >= 0 @ 12.3004
14.10/14.27	c bounds 2908 >= 0 @ 12.3106
14.21/14.36	c bounds 2905 >= 0 @ 12.3977
14.31/14.47	c bounds 2884 >= 0 @ 12.5075
14.31/14.49	c bounds 2883 >= 0 @ 12.5207
14.40/14.50	c bounds 2876 >= 0 @ 12.5277
14.51/14.61	c bounds 2869 >= 0 @ 12.6355
14.51/14.63	c bounds 2851 >= 0 @ 12.6514
14.51/14.64	c bounds 2794 >= 0 @ 12.6599
14.51/14.65	c bounds 2781 >= 0 @ 12.668
18.29/18.48	c #Conflicts:       1000 | #Constraints:     658024
18.29/18.48	c bounds 2773 >= 0 @ 16.4311
18.29/18.49	c bounds 2772 >= 0 @ 16.4429
18.59/18.75	c bounds 2759 >= 0 @ 16.6885
18.99/19.12	c bounds 2753 >= 0 @ 17.0549
18.99/19.14	c bounds 2748 >= 0 @ 17.075
19.08/19.27	c bounds 2732 >= 0 @ 17.1998
19.29/19.47	c bounds 2731 >= 0 @ 17.3958
19.39/19.54	c bounds 2722 >= 0 @ 17.465
19.39/19.56	c bounds 2684 >= 0 @ 17.4775
19.39/19.57	c bounds 2645 >= 0 @ 17.492
19.39/19.59	c bounds 2621 >= 0 @ 17.507
19.48/19.61	c bounds 2586 >= 0 @ 17.5199
19.48/19.62	c bounds 2580 >= 0 @ 17.5312
20.09/20.25	c bounds 2579 >= 0 @ 18.1542
20.79/20.94	c bounds 2563 >= 0 @ 18.8307
20.79/20.95	c bounds 2561 >= 0 @ 18.8451
20.89/21.01	c bounds 2548 >= 0 @ 18.9044
20.89/21.04	c bounds 2539 >= 0 @ 18.9289
21.58/21.76	c bounds 2537 >= 0 @ 19.6332
21.68/21.81	c bounds 2536 >= 0 @ 19.6818
21.78/21.94	c bounds 2535 >= 0 @ 19.8134
21.88/22.01	c bounds 2507 >= 0 @ 19.8792
21.88/22.04	c bounds 2489 >= 0 @ 19.9035
21.88/22.05	c bounds 2481 >= 0 @ 19.92
21.88/22.08	c bounds 2448 >= 0 @ 19.9418
21.88/22.10	c bounds 2443 >= 0 @ 19.9573
21.99/22.11	c bounds 2433 >= 0 @ 19.9722
22.08/22.22	c bounds 2430 >= 0 @ 20.0795
22.08/22.24	c bounds 2367 >= 0 @ 20.0923
22.08/22.26	c bounds 2349 >= 0 @ 20.109
22.08/22.28	c bounds 2337 >= 0 @ 20.1241
22.18/22.39	c bounds 2286 >= 0 @ 20.2267
22.28/22.40	c bounds 2275 >= 0 @ 20.2392
22.28/22.44	c bounds 2258 >= 0 @ 20.2721
22.28/22.46	c bounds 2253 >= 0 @ 20.2859
22.28/22.47	c bounds 2212 >= 0 @ 20.3027
22.38/22.59	c bounds 2206 >= 0 @ 20.4154
22.48/22.60	c bounds 2203 >= 0 @ 20.4294
22.48/22.63	c bounds 2200 >= 0 @ 20.4498
22.48/22.64	c bounds 2147 >= 0 @ 20.4626
22.48/22.67	c bounds 2139 >= 0 @ 20.4931
22.58/22.71	c bounds 2124 >= 0 @ 20.5261
22.68/22.83	c bounds 2120 >= 0 @ 20.6424
22.68/22.84	c bounds 2118 >= 0 @ 20.6557
22.68/22.86	c bounds 2070 >= 0 @ 20.6691
22.68/22.88	c bounds 2067 >= 0 @ 20.6829
22.68/22.89	c bounds 2063 >= 0 @ 20.6975
22.77/22.94	c bounds 2059 >= 0 @ 20.7358
22.77/22.96	c bounds 1983 >= 0 @ 20.7499
22.77/22.97	c bounds 1969 >= 0 @ 20.7629
22.77/22.99	c bounds 1950 >= 0 @ 20.7813
22.88/23.01	c bounds 1930 >= 0 @ 20.7944
23.08/23.22	c bounds 1923 >= 0 @ 20.9923
23.08/23.24	c bounds 1899 >= 0 @ 21.0164
23.08/23.26	c bounds 1885 >= 0 @ 21.0359
27.16/27.35	c #Conflicts:       2000 | #Constraints:     659118
27.16/27.35	c INPROCESSING
27.16/27.35	c GARBAGE COLLECT
27.16/27.35	c bounds 1881 >= 0 @ 25.0733
27.16/27.36	c bounds 1870 >= 0 @ 25.0875
27.16/27.38	c bounds 1846 >= 0 @ 25.1017
27.46/27.62	c bounds 1844 >= 0 @ 25.3428
27.46/27.63	c bounds 1835 >= 0 @ 25.3512
27.56/27.74	c bounds 1834 >= 0 @ 25.4596
28.46/28.61	c bounds 1831 >= 0 @ 26.3278
28.46/28.63	c bounds 1826 >= 0 @ 26.3496
29.45/29.69	c bounds 1825 >= 0 @ 27.3992
30.15/30.34	c bounds 1805 >= 0 @ 28.0433
30.15/30.36	c bounds 1802 >= 0 @ 28.0632
30.15/30.38	c bounds 1790 >= 0 @ 28.0764
30.25/30.40	c bounds 1774 >= 0 @ 28.0898
30.25/30.42	c bounds 1741 >= 0 @ 28.103
30.25/30.45	c bounds 1735 >= 0 @ 28.1344
30.45/30.69	c bounds 1727 >= 0 @ 28.3689
30.56/30.75	c bounds 1726 >= 0 @ 28.4277
31.25/31.47	c bounds 1725 >= 0 @ 29.1365
31.25/31.49	c bounds 1724 >= 0 @ 29.1558
31.44/31.65	c bounds 1709 >= 0 @ 29.3151
31.44/31.69	c bounds 1702 >= 0 @ 29.3505
31.65/31.80	c bounds 1681 >= 0 @ 29.4596
31.65/31.83	c bounds 1676 >= 0 @ 29.4839
31.75/31.92	c bounds 1653 >= 0 @ 29.5722
32.05/32.22	c bounds 1650 >= 0 @ 29.8704
32.15/32.34	c bounds 1643 >= 0 @ 29.9879
32.15/32.36	c bounds 1640 >= 0 @ 30.0007
32.15/32.37	c bounds 1623 >= 0 @ 30.0125
32.15/32.40	c bounds 1622 >= 0 @ 30.0323
32.25/32.41	c bounds 1615 >= 0 @ 30.046
32.25/32.43	c bounds 1573 >= 0 @ 30.0594
32.25/32.44	c bounds 1566 >= 0 @ 30.0707
32.25/32.46	c bounds 1532 >= 0 @ 30.0835
32.45/32.60	c bounds 1531 >= 0 @ 30.2283
32.64/32.83	c bounds 1527 >= 0 @ 30.452
32.64/32.86	c bounds 1515 >= 0 @ 30.4739
32.64/32.87	c bounds 1510 >= 0 @ 30.4902
32.74/32.98	c bounds 1404 >= 0 @ 30.5919
32.74/33.00	c bounds 1397 >= 0 @ 30.6043
32.85/33.01	c bounds 1386 >= 0 @ 30.619
32.85/33.03	c bounds 1328 >= 0 @ 30.6327
32.85/33.05	c bounds 1313 >= 0 @ 30.6438
33.14/33.38	c bounds 1312 >= 0 @ 30.9679
33.54/33.79	c bounds 1294 >= 0 @ 31.3823
33.64/33.81	c bounds 1286 >= 0 @ 31.3946
33.64/33.83	c bounds 1281 >= 0 @ 31.4103
33.64/33.84	c bounds 1277 >= 0 @ 31.4225
33.64/33.86	c bounds 1266 >= 0 @ 31.4378
33.64/33.88	c bounds 1262 >= 0 @ 31.45
33.64/33.89	c bounds 1252 >= 0 @ 31.4604
34.44/34.65	c #Conflicts:       3000 | #Constraints:     659021
34.44/34.65	c bounds 1246 >= 0 @ 32.2127
34.63/34.87	c bounds 1244 >= 0 @ 32.4216
34.63/34.89	c bounds 1240 >= 0 @ 32.4365
34.74/34.91	c bounds 1231 >= 0 @ 32.4507
34.74/34.93	c bounds 1195 >= 0 @ 32.4681
34.74/34.96	c bounds 1156 >= 0 @ 32.4955
34.74/34.98	c bounds 1079 >= 0 @ 32.5077
34.94/35.15	c bounds 1076 >= 0 @ 32.6622
35.03/35.24	c bounds 916 >= 0 @ 32.741
35.03/35.25	c bounds 906 >= 0 @ 32.7544
35.03/35.28	c bounds 903 >= 0 @ 32.7709
35.03/35.29	c bounds 902 >= 0 @ 32.7827
35.14/35.33	c bounds 814 >= 0 @ 32.8097
35.14/35.35	c bounds 809 >= 0 @ 32.823
35.14/35.36	c bounds 798 >= 0 @ 32.8376
35.34/35.50	c bounds 759 >= 0 @ 32.9609
35.34/35.52	c bounds 758 >= 0 @ 32.9844
35.44/35.68	c bounds 757 >= 0 @ 33.1394
36.14/36.30	c bounds 751 >= 0 @ 33.7331
36.14/36.31	c bounds 741 >= 0 @ 33.745
36.23/36.42	c bounds 740 >= 0 @ 33.8483
36.23/36.44	c bounds 736 >= 0 @ 33.8626
36.23/36.46	c bounds 735 >= 0 @ 33.8798
36.23/36.49	c bounds 728 >= 0 @ 33.9076
36.54/36.72	c bounds 639 >= 0 @ 34.1249
37.03/37.28	c #Conflicts:       4000 | #Constraints:     660051
37.03/37.28	c bounds 638 >= 0 @ 34.6677
39.42/39.69	c INPROCESSING
39.42/39.69	c GARBAGE COLLECT
39.42/39.69	c bounds 622 >= 0 @ 37.0337
48.90/49.18	c #Conflicts:       5000 | #Constraints:     659344
48.90/49.18	c #Conflicts:       6000 | #Constraints:     660344
48.90/49.18	c INPROCESSING
48.90/49.18	c bounds 612 >= 0 @ 46.3931
48.90/49.19	c bounds 604 >= 0 @ 46.4012
48.99/49.21	c bounds 602 >= 0 @ 46.4217
50.48/50.75	c #Conflicts:       7000 | #Constraints:     659337
50.48/50.75	c bounds 597 >= 0 @ 47.9518
63.44/63.74	c #Conflicts:       8000 | #Constraints:     660340
63.44/63.74	c #Conflicts:       9000 | #Constraints:     661340
63.44/63.74	c INPROCESSING
63.44/63.74	c GARBAGE COLLECT
63.44/63.74	c rational objective 173.574
73.51/73.87	c #Conflicts:      10000 | #Constraints:     660028
73.51/73.87	c #Conflicts:      11000 | #Constraints:     661028
73.51/73.87	c #Conflicts:      12000 | #Constraints:     662028
73.51/73.87	c INPROCESSING
73.51/73.87	c bounds 589 >= 0 @ 70.7522
73.51/73.88	c bounds 588 >= 0 @ 70.7597
74.72/75.06	c bounds 585 >= 0 @ 71.9204
88.36/88.72	c #Conflicts:      13000 | #Constraints:     660475
88.36/88.72	c #Conflicts:      14000 | #Constraints:     661475
88.36/88.72	c #Conflicts:      15000 | #Constraints:     662475
88.36/88.72	c INPROCESSING
88.36/88.72	c GARBAGE COLLECT
88.36/88.72	c rational objective 174.482
119.86/120.30	c #Conflicts:      16000 | #Constraints:     660706
119.86/120.30	c #Conflicts:      17000 | #Constraints:     661706
119.86/120.30	c #Conflicts:      18000 | #Constraints:     662706
119.86/120.30	c INPROCESSING
119.86/120.30	c GARBAGE COLLECT
119.86/120.30	c #Conflicts:      19000 | #Constraints:     660726
119.86/120.30	c #Conflicts:      20000 | #Constraints:     661726
119.86/120.30	c #Conflicts:      21000 | #Constraints:     662726
119.86/120.30	c INPROCESSING
119.86/120.30	c GARBAGE COLLECT
119.86/120.30	c rational objective 174.995
123.96/124.43	c bounds 580 >= 0 @ 120.81
124.06/124.55	c bounds 578 >= 0 @ 120.92
124.06/124.57	c bounds 576 >= 0 @ 120.939
124.06/124.58	c bounds 572 >= 0 @ 120.952
220.86/221.64	c #Conflicts:      22000 | #Constraints:     660539
220.86/221.64	c #Conflicts:      23000 | #Constraints:     661717
220.86/221.64	c #Conflicts:      24000 | #Constraints:     663098
220.86/221.64	c #Conflicts:      25000 | #Constraints:     664526
220.86/221.64	c INPROCESSING
220.86/221.64	c GARBAGE COLLECT
220.86/221.64	c #Conflicts:      26000 | #Constraints:     661636
220.86/221.64	c #Conflicts:      27000 | #Constraints:     662742
220.86/221.64	c #Conflicts:      28000 | #Constraints:     663771
220.86/221.64	c #Conflicts:      29000 | #Constraints:     664801
220.86/221.64	c INPROCESSING
220.86/221.64	c GARBAGE COLLECT
220.86/221.64	c rational objective 176.464
265.53/266.40	c #Conflicts:      30000 | #Constraints:     661870
265.53/266.40	c #Conflicts:      31000 | #Constraints:     662873
265.53/266.40	c #Conflicts:      32000 | #Constraints:     663912
265.53/266.40	c #Conflicts:      33000 | #Constraints:     664929
265.53/266.40	c INPROCESSING
265.53/266.40	c GARBAGE COLLECT
265.53/266.40	c #Conflicts:      34000 | #Constraints:     661936
265.53/266.40	c #Conflicts:      35000 | #Constraints:     662955
265.53/266.40	c #Conflicts:      36000 | #Constraints:     664006
265.53/266.40	c #Conflicts:      37000 | #Constraints:     665044
265.53/266.40	c INPROCESSING
265.53/266.40	c GARBAGE COLLECT
265.53/266.40	c rational objective 176.492
317.48/318.53	c #Conflicts:      38000 | #Constraints:     661907
317.48/318.53	c #Conflicts:      39000 | #Constraints:     662912
317.48/318.53	c #Conflicts:      40000 | #Constraints:     663939
317.48/318.53	c #Conflicts:      41000 | #Constraints:     664971
317.48/318.53	c INPROCESSING
317.48/318.53	c GARBAGE COLLECT
317.48/318.53	c rational objective 176.779
365.14/366.33	c #Conflicts:      42000 | #Constraints:     661677
365.14/366.33	c #Conflicts:      43000 | #Constraints:     662679
365.14/366.33	c #Conflicts:      44000 | #Constraints:     663683
365.14/366.33	c #Conflicts:      45000 | #Constraints:     664700
365.14/366.33	c #Conflicts:      46000 | #Constraints:     665716
365.14/366.33	c INPROCESSING
365.14/366.33	c GARBAGE COLLECT
365.14/366.33	c rational objective 177.767
419.38/420.78	c #Conflicts:      47000 | #Constraints:     662237
419.38/420.78	c #Conflicts:      48000 | #Constraints:     663255
419.38/420.78	c #Conflicts:      49000 | #Constraints:     664265
419.38/420.78	c #Conflicts:      50000 | #Constraints:     665280
419.38/420.78	c #Conflicts:      51000 | #Constraints:     666284
419.38/420.78	c INPROCESSING
419.38/420.78	c GARBAGE COLLECT
419.38/420.78	c #Conflicts:      52000 | #Constraints:     662625
419.38/420.78	c #Conflicts:      53000 | #Constraints:     663636
419.38/420.78	c #Conflicts:      54000 | #Constraints:     664654
419.38/420.78	c #Conflicts:      55000 | #Constraints:     665662
419.38/420.78	c #Conflicts:      56000 | #Constraints:     666686
419.38/420.78	c INPROCESSING
419.38/420.78	c GARBAGE COLLECT
419.38/420.78	c #Conflicts:      57000 | #Constraints:     662844
419.38/420.78	c #Conflicts:      58000 | #Constraints:     663850
419.38/420.78	c bounds 348 >= 0 @ 414.557
523.15/524.88	c #Conflicts:      59000 | #Constraints:     664857
523.15/524.88	c #Conflicts:      60000 | #Constraints:     665876
523.15/524.88	c #Conflicts:      61000 | #Constraints:     666918
523.15/524.88	c INPROCESSING
523.15/524.88	c GARBAGE COLLECT
523.15/524.88	c #Conflicts:      62000 | #Constraints:     662842
523.15/524.88	c #Conflicts:      63000 | #Constraints:     663846
523.15/524.88	c #Conflicts:      64000 | #Constraints:     664855
523.15/524.88	c #Conflicts:      65000 | #Constraints:     665863
523.15/524.88	c #Conflicts:      66000 | #Constraints:     666871
523.15/524.88	c INPROCESSING
523.15/524.88	c GARBAGE COLLECT
523.15/524.88	c rational objective 192.13
584.66/586.58	c #Conflicts:      67000 | #Constraints:     662622
584.66/586.58	c #Conflicts:      68000 | #Constraints:     663628
584.66/586.58	c #Conflicts:      69000 | #Constraints:     664633
584.66/586.58	c #Conflicts:      70000 | #Constraints:     665638
584.66/586.58	c #Conflicts:      71000 | #Constraints:     666648
584.66/586.58	c #Conflicts:      72000 | #Constraints:     667687
584.66/586.58	c INPROCESSING
584.66/586.58	c GARBAGE COLLECT
584.66/586.58	c #Conflicts:      73000 | #Constraints:     663237
584.66/586.58	c #Conflicts:      74000 | #Constraints:     664242
584.66/586.58	c #Conflicts:      75000 | #Constraints:     665246
584.66/586.58	c #Conflicts:      76000 | #Constraints:     666249
584.66/586.58	c #Conflicts:      77000 | #Constraints:     667260
584.66/586.58	c #Conflicts:      78000 | #Constraints:     668267
584.66/586.58	c INPROCESSING
584.66/586.58	c GARBAGE COLLECT
584.66/586.58	c rational objective 194.575
660.65/662.76	c #Conflicts:      79000 | #Constraints:     663613
660.65/662.76	c #Conflicts:      80000 | #Constraints:     664622
660.65/662.76	c #Conflicts:      81000 | #Constraints:     665633
660.65/662.76	c #Conflicts:      82000 | #Constraints:     666664
660.65/662.76	c #Conflicts:      83000 | #Constraints:     667690
660.65/662.76	c #Conflicts:      84000 | #Constraints:     668707
660.65/662.76	c INPROCESSING
660.65/662.76	c GARBAGE COLLECT
660.65/662.76	c #Conflicts:      85000 | #Constraints:     663856
660.65/662.76	c #Conflicts:      86000 | #Constraints:     664890
660.65/662.76	c #Conflicts:      87000 | #Constraints:     665939
660.65/662.76	c #Conflicts:      88000 | #Constraints:     666978
660.65/662.76	c #Conflicts:      89000 | #Constraints:     668014
660.65/662.76	c #Conflicts:      90000 | #Constraints:     669049
660.65/662.76	c INPROCESSING
660.65/662.76	c GARBAGE COLLECT
660.65/662.76	c rational objective 202.356
726.57/728.89	c #Conflicts:      91000 | #Constraints:     663916
726.57/728.89	c #Conflicts:      92000 | #Constraints:     664923
726.57/728.89	c #Conflicts:      93000 | #Constraints:     665942
726.57/728.89	c #Conflicts:      94000 | #Constraints:     666946
726.57/728.89	c #Conflicts:      95000 | #Constraints:     667958
726.57/728.89	c #Conflicts:      96000 | #Constraints:     668978
726.57/728.89	c INPROCESSING
726.57/728.89	c GARBAGE COLLECT
726.57/728.89	c #Conflicts:      97000 | #Constraints:     663689
726.57/728.89	c #Conflicts:      98000 | #Constraints:     664694
726.57/728.89	c #Conflicts:      99000 | #Constraints:     665702
726.57/728.89	c #Conflicts:     100000 | #Constraints:     666705
726.57/728.89	c #Conflicts:     101000 | #Constraints:     667754
726.57/728.89	c #Conflicts:     102000 | #Constraints:     668787
726.57/728.89	c #Conflicts:     103000 | #Constraints:     669800
726.57/728.89	c INPROCESSING
726.57/728.89	c GARBAGE COLLECT
726.57/728.89	c rational objective 230.642
764.56/766.97	c #Conflicts:     104000 | #Constraints:     664297
764.56/766.97	c #Conflicts:     105000 | #Constraints:     665300
764.56/766.97	c #Conflicts:     106000 | #Constraints:     666304
764.56/766.97	c #Conflicts:     107000 | #Constraints:     667307
764.56/766.97	c #Conflicts:     108000 | #Constraints:     668313
764.56/766.97	c #Conflicts:     109000 | #Constraints:     669324
764.56/766.97	c #Conflicts:     110000 | #Constraints:     670331
764.56/766.97	c INPROCESSING
764.56/766.97	c GARBAGE COLLECT
764.56/766.97	c rational objective 230.642
769.35/771.79	c bounds 347 >= 0 @ 763.037
769.76/772.13	c bounds 345 >= 0 @ 763.365
770.54/772.90	c bounds 344 >= 0 @ 764.121
774.04/776.45	c bounds 342 >= 0 @ 767.621
774.04/776.47	c bounds 342 >= 5 @ 767.632
774.04/776.49	c bounds 342 >= 10 @ 767.645
774.14/776.52	c bounds 342 >= 15 @ 767.67
778.42/780.81	c #Conflicts:     111000 | #Constraints:     664678
778.42/780.81	c bounds 342 >= 20 @ 771.899
807.14/809.69	c #Conflicts:     112000 | #Constraints:     665690
807.14/809.69	c #Conflicts:     113000 | #Constraints:     666690
807.14/809.69	c #Conflicts:     114000 | #Constraints:     667690
807.14/809.69	c #Conflicts:     115000 | #Constraints:     668690
807.14/809.69	c #Conflicts:     116000 | #Constraints:     669690
807.14/809.69	c #Conflicts:     117000 | #Constraints:     670690
807.14/809.69	c INPROCESSING
807.14/809.69	c GARBAGE COLLECT
807.14/809.69	c rational objective 176.828
820.50/823.04	c #Conflicts:     118000 | #Constraints:     664830
820.50/823.04	c bounds 340 >= 20 @ 813.743
852.99/855.62	c #Conflicts:     119000 | #Constraints:     665848
852.99/855.62	c #Conflicts:     120000 | #Constraints:     666859
852.99/855.62	c #Conflicts:     121000 | #Constraints:     667870
852.99/855.62	c bounds 338 >= 20 @ 846.089
852.99/855.65	c bounds 338 >= 24 @ 846.114
872.14/874.84	c #Conflicts:     122000 | #Constraints:     668877
872.14/874.84	c #Conflicts:     123000 | #Constraints:     669877
872.14/874.84	c #Conflicts:     124000 | #Constraints:     670877
872.14/874.84	c INPROCESSING
872.14/874.84	c GARBAGE COLLECT
872.14/874.84	c rational objective 177.999
910.24/913.02	c #Conflicts:     125000 | #Constraints:     664819
910.24/913.02	c #Conflicts:     126000 | #Constraints:     665819
910.24/913.02	c #Conflicts:     127000 | #Constraints:     666819
910.24/913.02	c #Conflicts:     128000 | #Constraints:     667819
910.24/913.02	c #Conflicts:     129000 | #Constraints:     668819
910.24/913.02	c #Conflicts:     130000 | #Constraints:     669819
910.24/913.02	c #Conflicts:     131000 | #Constraints:     670819
910.24/913.02	c INPROCESSING
910.24/913.02	c rational objective 178.109
949.03/951.98	c #Conflicts:     132000 | #Constraints:     664590
949.03/951.98	c #Conflicts:     133000 | #Constraints:     665590
949.03/951.98	c #Conflicts:     134000 | #Constraints:     666590
949.03/951.98	c #Conflicts:     135000 | #Constraints:     667590
949.03/951.98	c #Conflicts:     136000 | #Constraints:     668590
949.03/951.98	c #Conflicts:     137000 | #Constraints:     669590
949.03/951.98	c #Conflicts:     138000 | #Constraints:     670590
949.03/951.98	c #Conflicts:     139000 | #Constraints:     671590
949.03/951.98	c INPROCESSING
949.03/951.98	c GARBAGE COLLECT
949.03/951.98	c rational objective 178.384
990.41/993.40	c #Conflicts:     140000 | #Constraints:     665182
990.41/993.40	c #Conflicts:     141000 | #Constraints:     666182
990.41/993.40	c #Conflicts:     142000 | #Constraints:     667182
990.41/993.40	c #Conflicts:     143000 | #Constraints:     668182
990.41/993.40	c #Conflicts:     144000 | #Constraints:     669182
990.41/993.40	c #Conflicts:     145000 | #Constraints:     670182
990.41/993.40	c #Conflicts:     146000 | #Constraints:     671182
990.41/993.40	c #Conflicts:     147000 | #Constraints:     672182
990.41/993.40	c INPROCESSING
990.41/993.40	c GARBAGE COLLECT
990.41/993.40	c rational objective 178.391
1147.48/1150.91	c #Conflicts:     148000 | #Constraints:     665589
1147.48/1150.91	c #Conflicts:     149000 | #Constraints:     666594
1147.48/1150.91	c #Conflicts:     150000 | #Constraints:     667601
1147.48/1150.91	c #Conflicts:     151000 | #Constraints:     668609
1147.48/1150.91	c #Conflicts:     152000 | #Constraints:     669613
1147.48/1150.91	c #Conflicts:     153000 | #Constraints:     670623
1147.48/1150.91	c #Conflicts:     154000 | #Constraints:     671641
1147.48/1150.91	c #Conflicts:     155000 | #Constraints:     672649
1147.48/1150.91	c INPROCESSING
1147.48/1150.91	c #Conflicts:     156000 | #Constraints:     665819
1147.48/1150.91	c #Conflicts:     157000 | #Constraints:     666823
1147.48/1150.91	c #Conflicts:     158000 | #Constraints:     667830
1147.48/1150.91	c #Conflicts:     159000 | #Constraints:     668840
1147.48/1150.91	c #Conflicts:     160000 | #Constraints:     669849
1147.48/1150.91	c #Conflicts:     161000 | #Constraints:     670853
1147.48/1150.91	c #Conflicts:     162000 | #Constraints:     671862
1147.48/1150.91	c #Conflicts:     163000 | #Constraints:     672873
1147.48/1150.91	c INPROCESSING
1147.48/1150.91	c GARBAGE COLLECT
1147.48/1150.91	c #Conflicts:     164000 | #Constraints:     665830
1147.48/1150.91	c #Conflicts:     165000 | #Constraints:     666849
1147.48/1150.91	c #Conflicts:     166000 | #Constraints:     667868
1147.48/1150.91	c #Conflicts:     167000 | #Constraints:     668884
1147.48/1150.91	c #Conflicts:     168000 | #Constraints:     669893
1147.48/1150.91	c #Conflicts:     169000 | #Constraints:     670901
1147.48/1150.91	c #Conflicts:     170000 | #Constraints:     671912
1147.48/1150.91	c #Conflicts:     171000 | #Constraints:     672917
1147.48/1150.91	c INPROCESSING
1147.48/1150.91	c #Conflicts:     172000 | #Constraints:     665650
1147.48/1150.91	c #Conflicts:     173000 | #Constraints:     666652
1147.48/1150.91	c #Conflicts:     174000 | #Constraints:     667654
1147.48/1150.91	c #Conflicts:     175000 | #Constraints:     668661
1147.48/1150.91	c #Conflicts:     176000 | #Constraints:     669668
1147.48/1150.91	c #Conflicts:     177000 | #Constraints:     670675
1147.48/1150.91	c #Conflicts:     178000 | #Constraints:     671681
1147.48/1150.91	c #Conflicts:     179000 | #Constraints:     672686
1147.48/1150.91	c #Conflicts:     180000 | #Constraints:     673690
1147.48/1150.91	c INPROCESSING
1147.48/1150.91	c GARBAGE COLLECT
1147.48/1150.91	c rational objective 178.4
1195.95/1199.53	c #Conflicts:     181000 | #Constraints:     666243
1195.95/1199.53	c #Conflicts:     182000 | #Constraints:     667255
1195.95/1199.53	c #Conflicts:     183000 | #Constraints:     668267
1195.95/1199.53	c #Conflicts:     184000 | #Constraints:     669279
1195.95/1199.53	c #Conflicts:     185000 | #Constraints:     670289
1195.95/1199.53	c #Conflicts:     186000 | #Constraints:     671296
1195.95/1199.53	c #Conflicts:     187000 | #Constraints:     672309
1195.95/1199.53	c #Conflicts:     188000 | #Constraints:     673321
1195.95/1199.53	c #Conflicts:     189000 | #Constraints:     674328
1195.95/1199.53	c INPROCESSING
1195.95/1199.53	c GARBAGE COLLECT
1195.95/1199.53	c rational objective 178.404
1373.02/1377.12	c #Conflicts:     190000 | #Constraints:     666723
1373.02/1377.12	c #Conflicts:     191000 | #Constraints:     667818
1373.02/1377.12	c #Conflicts:     192000 | #Constraints:     668888
1373.02/1377.12	c #Conflicts:     193000 | #Constraints:     669970
1373.02/1377.12	c #Conflicts:     194000 | #Constraints:     671040
1373.02/1377.12	c #Conflicts:     195000 | #Constraints:     672088
1373.02/1377.12	c #Conflicts:     196000 | #Constraints:     673140
1373.02/1377.12	c #Conflicts:     197000 | #Constraints:     674188
1373.02/1377.12	c #Conflicts:     198000 | #Constraints:     675276
1373.02/1377.12	c INPROCESSING
1373.02/1377.12	c GARBAGE COLLECT
1373.02/1377.12	c rational objective 178.406
1436.73/1441.09	c #Conflicts:     199000 | #Constraints:     667125
1436.73/1441.09	c #Conflicts:     200000 | #Constraints:     668134
1436.73/1441.09	c #Conflicts:     201000 | #Constraints:     669143
1436.73/1441.09	c #Conflicts:     202000 | #Constraints:     670153
1436.73/1441.09	c #Conflicts:     203000 | #Constraints:     671158
1436.73/1441.09	c #Conflicts:     204000 | #Constraints:     672164
1436.73/1441.09	c #Conflicts:     205000 | #Constraints:     673172
1436.73/1441.09	c #Conflicts:     206000 | #Constraints:     674178
1436.73/1441.09	c #Conflicts:     207000 | #Constraints:     675194
1436.73/1441.09	c INPROCESSING
1436.73/1441.09	c GARBAGE COLLECT
1436.73/1441.09	c rational objective 178.406
1782.41/1787.78	c #Conflicts:     208000 | #Constraints:     666995
1782.41/1787.78	c #Conflicts:     209000 | #Constraints:     668000
1782.41/1787.78	c #Conflicts:     210000 | #Constraints:     669007
1782.41/1787.78	c #Conflicts:     211000 | #Constraints:     670011
1782.41/1787.78	c #Conflicts:     212000 | #Constraints:     671017
1782.41/1787.78	c #Conflicts:     213000 | #Constraints:     672021
1782.41/1787.78	c #Conflicts:     214000 | #Constraints:     673029
1782.41/1787.78	c #Conflicts:     215000 | #Constraints:     674036
1782.41/1787.78	c #Conflicts:     216000 | #Constraints:     675046
1782.41/1787.78	c INPROCESSING
1782.41/1787.78	c #Conflicts:     217000 | #Constraints:     666724
1782.41/1787.78	c #Conflicts:     218000 | #Constraints:     667726
1782.41/1787.78	c #Conflicts:     219000 | #Constraints:     668743
1782.41/1787.78	c #Conflicts:     220000 | #Constraints:     669758
1782.41/1787.78	c #Conflicts:     221000 | #Constraints:     670777
1782.41/1787.78	c #Conflicts:     222000 | #Constraints:     671795
1782.41/1787.78	c #Conflicts:     223000 | #Constraints:     672804
1782.41/1787.78	c #Conflicts:     224000 | #Constraints:     673813
1782.41/1787.78	c #Conflicts:     225000 | #Constraints:     674821
1782.41/1787.78	c #Conflicts:     226000 | #Constraints:     675832
1782.41/1787.78	c INPROCESSING
1782.41/1787.78	c GARBAGE COLLECT
1782.41/1787.78	c #Conflicts:     227000 | #Constraints:     667330
1782.41/1787.78	c #Conflicts:     228000 | #Constraints:     668336
1782.41/1787.78	c #Conflicts:     229000 | #Constraints:     669346
1782.41/1787.78	c #Conflicts:     230000 | #Constraints:     670351
1782.41/1787.78	c #Conflicts:     231000 | #Constraints:     671353
1782.41/1787.78	c #Conflicts:     232000 | #Constraints:     672356
1782.41/1787.78	c #Conflicts:     233000 | #Constraints:     673358
1782.41/1787.78	c #Conflicts:     234000 | #Constraints:     674365
1782.41/1787.78	c #Conflicts:     235000 | #Constraints:     675374
1782.41/1787.78	c #Conflicts:     236000 | #Constraints:     676378
1782.41/1787.78	c INPROCESSING
1782.41/1787.78	c rational objective 178.406
1901.39/1907.01	c #Conflicts:     237000 | #Constraints:     667681
1901.39/1907.01	c #Conflicts:     238000 | #Constraints:     668692
1901.39/1907.01	c #Conflicts:     239000 | #Constraints:     669701
1901.39/1907.01	c #Conflicts:     240000 | #Constraints:     670705
1901.39/1907.01	c #Conflicts:     241000 | #Constraints:     671709
1901.39/1907.01	c #Conflicts:     242000 | #Constraints:     672714
1901.39/1907.01	c #Conflicts:     243000 | #Constraints:     673718
1901.39/1907.01	c #Conflicts:     244000 | #Constraints:     674723
1901.39/1907.01	c #Conflicts:     245000 | #Constraints:     675730
1901.39/1907.01	c #Conflicts:     246000 | #Constraints:     676740
1901.39/1907.01	c INPROCESSING
1901.39/1907.01	c GARBAGE COLLECT
1901.39/1907.01	c #Conflicts:     247000 | #Constraints:     667859
1901.39/1907.01	c #Conflicts:     248000 | #Constraints:     668868
1901.39/1907.01	c #Conflicts:     249000 | #Constraints:     669877
1901.39/1907.01	c #Conflicts:     250000 | #Constraints:     670891
1901.39/1907.01	c #Conflicts:     251000 | #Constraints:     671898
1901.39/1907.01	c #Conflicts:     252000 | #Constraints:     672901
1901.39/1907.01	c #Conflicts:     253000 | #Constraints:     673908
1901.39/1907.01	c #Conflicts:     254000 | #Constraints:     674910
1901.39/1907.01	c #Conflicts:     255000 | #Constraints:     675910
1901.39/1907.01	c #Conflicts:     256000 | #Constraints:     676910
1901.39/1907.01	c INPROCESSING
1901.39/1907.01	c rational objective 178.406
1962.32/1968.13	c #Conflicts:     257000 | #Constraints:     667852
1962.32/1968.13	c #Conflicts:     258000 | #Constraints:     668856
1962.32/1968.13	c #Conflicts:     259000 | #Constraints:     669858
1962.32/1968.13	c #Conflicts:     260000 | #Constraints:     670864
1962.32/1968.13	c #Conflicts:     261000 | #Constraints:     671873
1962.32/1968.13	c #Conflicts:     262000 | #Constraints:     672881
1962.32/1968.13	c #Conflicts:     263000 | #Constraints:     673893
1962.32/1968.13	c #Conflicts:     264000 | #Constraints:     674898
1962.32/1968.13	c #Conflicts:     265000 | #Constraints:     675911
1962.32/1968.13	c #Conflicts:     266000 | #Constraints:     676929
1962.32/1968.13	c INPROCESSING
1962.32/1968.13	c GARBAGE COLLECT
1962.32/1968.13	c rational objective 178.406
2133.89/2140.22	c #Conflicts:     267000 | #Constraints:     667652
2133.89/2140.22	c #Conflicts:     268000 | #Constraints:     668660
2133.89/2140.22	c #Conflicts:     269000 | #Constraints:     669672
2133.89/2140.22	c #Conflicts:     270000 | #Constraints:     670678
2133.89/2140.22	c #Conflicts:     271000 | #Constraints:     671693
2133.89/2140.22	c #Conflicts:     272000 | #Constraints:     672706
2133.89/2140.22	c #Conflicts:     273000 | #Constraints:     673714
2133.89/2140.22	c #Conflicts:     274000 | #Constraints:     674724
2133.89/2140.22	c #Conflicts:     275000 | #Constraints:     675734
2133.89/2140.22	c #Conflicts:     276000 | #Constraints:     676749
2133.89/2140.22	c #Conflicts:     277000 | #Constraints:     677753
2133.89/2140.22	c INPROCESSING
2133.89/2140.22	c GARBAGE COLLECT
2133.89/2140.22	c #Conflicts:     278000 | #Constraints:     668263
2133.89/2140.22	c #Conflicts:     279000 | #Constraints:     669266
2133.89/2140.22	c #Conflicts:     280000 | #Constraints:     670270
2133.89/2140.22	c #Conflicts:     281000 | #Constraints:     671275
2133.89/2140.22	c #Conflicts:     282000 | #Constraints:     672284
2133.89/2140.22	c #Conflicts:     283000 | #Constraints:     673289
2133.89/2140.22	c #Conflicts:     284000 | #Constraints:     674297
2133.89/2140.22	c #Conflicts:     285000 | #Constraints:     675302
2133.89/2140.22	c #Conflicts:     286000 | #Constraints:     676304
2133.89/2140.22	c #Conflicts:     287000 | #Constraints:     677314
2133.89/2140.22	c #Conflicts:     288000 | #Constraints:     678317
2133.89/2140.22	c INPROCESSING
2133.89/2140.22	c rational objective 178.406
2273.00/2279.79	c #Conflicts:     289000 | #Constraints:     668652
2273.00/2279.79	c #Conflicts:     290000 | #Constraints:     669657
2273.00/2279.79	c #Conflicts:     291000 | #Constraints:     670666
2273.00/2279.79	c #Conflicts:     292000 | #Constraints:     671681
2273.00/2279.79	c #Conflicts:     293000 | #Constraints:     672696
2273.00/2279.79	c #Conflicts:     294000 | #Constraints:     673716
2273.00/2279.79	c #Conflicts:     295000 | #Constraints:     674733
2273.00/2279.79	c #Conflicts:     296000 | #Constraints:     675742
2273.00/2279.79	c #Conflicts:     297000 | #Constraints:     676747
2273.00/2279.79	c #Conflicts:     298000 | #Constraints:     677757
2273.00/2279.79	c #Conflicts:     299000 | #Constraints:     678758
2273.00/2279.79	c INPROCESSING
2273.00/2279.79	c GARBAGE COLLECT
2273.00/2279.79	c rational objective 178.406
2393.98/2401.04	c #Conflicts:     300000 | #Constraints:     668879
2393.98/2401.04	c #Conflicts:     301000 | #Constraints:     669882
2393.98/2401.04	c #Conflicts:     302000 | #Constraints:     670886
2393.98/2401.04	c #Conflicts:     303000 | #Constraints:     671892
2393.98/2401.04	c #Conflicts:     304000 | #Constraints:     672895
2393.98/2401.04	c #Conflicts:     305000 | #Constraints:     673898
2393.98/2401.04	c #Conflicts:     306000 | #Constraints:     674902
2393.98/2401.04	c #Conflicts:     307000 | #Constraints:     675907
2393.98/2401.04	c #Conflicts:     308000 | #Constraints:     676912
2393.98/2401.04	c #Conflicts:     309000 | #Constraints:     677917
2393.98/2401.04	c #Conflicts:     310000 | #Constraints:     678922
2393.98/2401.04	c INPROCESSING
2393.98/2401.04	c #Conflicts:     311000 | #Constraints:     668870
2393.98/2401.04	c #Conflicts:     312000 | #Constraints:     669876
2393.98/2401.04	c #Conflicts:     313000 | #Constraints:     670891
2393.98/2401.04	c #Conflicts:     314000 | #Constraints:     671908
2393.98/2401.04	c #Conflicts:     315000 | #Constraints:     672923
2393.98/2401.04	c #Conflicts:     316000 | #Constraints:     673936
2393.98/2401.04	c #Conflicts:     317000 | #Constraints:     674948
2393.98/2401.04	c #Conflicts:     318000 | #Constraints:     675961
2393.98/2401.04	c #Conflicts:     319000 | #Constraints:     676984
2393.98/2401.04	c #Conflicts:     320000 | #Constraints:     677999
2393.98/2401.04	c #Conflicts:     321000 | #Constraints:     679018
2393.98/2401.04	c INPROCESSING
2393.98/2401.04	c GARBAGE COLLECT
2393.98/2401.04	c rational objective 178.406
2502.36/2509.77	c #Conflicts:     322000 | #Constraints:     668712
2502.36/2509.77	c #Conflicts:     323000 | #Constraints:     669717
2502.36/2509.77	c #Conflicts:     324000 | #Constraints:     670725
2502.36/2509.77	c #Conflicts:     325000 | #Constraints:     671741
2502.36/2509.77	c #Conflicts:     326000 | #Constraints:     672758
2502.36/2509.77	c #Conflicts:     327000 | #Constraints:     673766
2502.36/2509.77	c #Conflicts:     328000 | #Constraints:     674773
2502.36/2509.77	c #Conflicts:     329000 | #Constraints:     675777
2502.36/2509.77	c #Conflicts:     330000 | #Constraints:     676792
2502.36/2509.77	c #Conflicts:     331000 | #Constraints:     677805
2502.36/2509.77	c #Conflicts:     332000 | #Constraints:     678817
2502.36/2509.77	c #Conflicts:     333000 | #Constraints:     679826
2502.36/2509.77	c INPROCESSING
2502.36/2509.77	c GARBAGE COLLECT
2502.36/2509.77	c rational objective 178.406
2683.50/2691.43	c #Conflicts:     334000 | #Constraints:     669321
2683.50/2691.43	c #Conflicts:     335000 | #Constraints:     670328
2683.50/2691.43	c #Conflicts:     336000 | #Constraints:     671336
2683.50/2691.43	c #Conflicts:     337000 | #Constraints:     672347
2683.50/2691.43	c #Conflicts:     338000 | #Constraints:     673350
2683.50/2691.43	c #Conflicts:     339000 | #Constraints:     674355
2683.50/2691.43	c #Conflicts:     340000 | #Constraints:     675364
2683.50/2691.43	c #Conflicts:     341000 | #Constraints:     676373
2683.50/2691.43	c #Conflicts:     342000 | #Constraints:     677379
2683.50/2691.43	c #Conflicts:     343000 | #Constraints:     678387
2683.50/2691.43	c #Conflicts:     344000 | #Constraints:     679393
2683.50/2691.43	c #Conflicts:     345000 | #Constraints:     680412
2683.50/2691.43	c INPROCESSING
2683.50/2691.43	c rational objective 178.406
2783.92/2792.18	c #Conflicts:     346000 | #Constraints:     669702
2783.92/2792.18	c #Conflicts:     347000 | #Constraints:     670708
2783.92/2792.18	c #Conflicts:     348000 | #Constraints:     671717
2783.92/2792.18	c #Conflicts:     349000 | #Constraints:     672731
2783.92/2792.18	c #Conflicts:     350000 | #Constraints:     673748
2783.92/2792.18	c #Conflicts:     351000 | #Constraints:     674762
2783.92/2792.18	c #Conflicts:     352000 | #Constraints:     675777
2783.92/2792.18	c #Conflicts:     353000 | #Constraints:     676787
2783.92/2792.18	c #Conflicts:     354000 | #Constraints:     677791
2783.92/2792.18	c #Conflicts:     355000 | #Constraints:     678797
2783.92/2792.18	c #Conflicts:     356000 | #Constraints:     679801
2783.92/2792.18	c #Conflicts:     357000 | #Constraints:     680805
2783.92/2792.18	c INPROCESSING
2783.92/2792.18	c GARBAGE COLLECT
2783.92/2792.18	c rational objective 178.406
2866.29/2874.73	c #Conflicts:     358000 | #Constraints:     669903
2866.29/2874.73	c #Conflicts:     359000 | #Constraints:     670908
2866.29/2874.73	c #Conflicts:     360000 | #Constraints:     671912
2866.29/2874.73	c #Conflicts:     361000 | #Constraints:     672917
2866.29/2874.73	c #Conflicts:     362000 | #Constraints:     673922
2866.29/2874.73	c #Conflicts:     363000 | #Constraints:     674927
2866.29/2874.73	c #Conflicts:     364000 | #Constraints:     675936
2866.29/2874.73	c #Conflicts:     365000 | #Constraints:     676939
2866.29/2874.73	c #Conflicts:     366000 | #Constraints:     677945
2866.29/2874.73	c #Conflicts:     367000 | #Constraints:     678951
2866.29/2874.73	c #Conflicts:     368000 | #Constraints:     679961
2866.29/2874.73	c #Conflicts:     369000 | #Constraints:     680968
2866.29/2874.73	c INPROCESSING
2866.29/2874.73	c rational objective 178.406
2939.10/2947.74	c #Conflicts:     370000 | #Constraints:     669888
2939.10/2947.74	c #Conflicts:     371000 | #Constraints:     670894
2939.10/2947.74	c #Conflicts:     372000 | #Constraints:     671903
2939.10/2947.74	c #Conflicts:     373000 | #Constraints:     672908
2939.10/2947.74	c #Conflicts:     374000 | #Constraints:     673913
2939.10/2947.74	c #Conflicts:     375000 | #Constraints:     674919
2939.10/2947.74	c #Conflicts:     376000 | #Constraints:     675930
2939.10/2947.74	c #Conflicts:     377000 | #Constraints:     676940
2939.10/2947.74	c #Conflicts:     378000 | #Constraints:     677943
2939.10/2947.74	c #Conflicts:     379000 | #Constraints:     678950
2939.10/2947.74	c #Conflicts:     380000 | #Constraints:     679953
2939.10/2947.74	c #Conflicts:     381000 | #Constraints:     680958
2939.10/2947.74	c INPROCESSING
2939.10/2947.74	c GARBAGE COLLECT
2939.10/2947.74	c rational objective 178.407
3015.30/3024.18	c #Conflicts:     382000 | #Constraints:     669676
3015.30/3024.18	c #Conflicts:     383000 | #Constraints:     670679
3015.30/3024.18	c #Conflicts:     384000 | #Constraints:     671681
3015.30/3024.18	c #Conflicts:     385000 | #Constraints:     672688
3015.30/3024.18	c #Conflicts:     386000 | #Constraints:     673704
3015.30/3024.18	c #Conflicts:     387000 | #Constraints:     674710
3015.30/3024.18	c #Conflicts:     388000 | #Constraints:     675715
3015.30/3024.18	c #Conflicts:     389000 | #Constraints:     676724
3015.30/3024.18	c #Conflicts:     390000 | #Constraints:     677729
3015.30/3024.18	c #Conflicts:     391000 | #Constraints:     678733
3015.30/3024.18	c #Conflicts:     392000 | #Constraints:     679736
3015.30/3024.18	c #Conflicts:     393000 | #Constraints:     680740
3015.30/3024.18	c #Conflicts:     394000 | #Constraints:     681753
3015.30/3024.18	c INPROCESSING
3015.30/3024.18	c GARBAGE COLLECT
3015.30/3024.18	c rational objective 178.407
3225.83/3235.36	c #Conflicts:     395000 | #Constraints:     670296
3225.83/3235.36	c #Conflicts:     396000 | #Constraints:     671302
3225.83/3235.36	c #Conflicts:     397000 | #Constraints:     672313
3225.83/3235.36	c #Conflicts:     398000 | #Constraints:     673320
3225.83/3235.36	c #Conflicts:     399000 | #Constraints:     674325
3225.83/3235.36	c #Conflicts:     400000 | #Constraints:     675330
3225.83/3235.36	c #Conflicts:     401000 | #Constraints:     676337
3225.83/3235.36	c #Conflicts:     402000 | #Constraints:     677342
3225.83/3235.36	c #Conflicts:     403000 | #Constraints:     678347
3225.83/3235.36	c #Conflicts:     404000 | #Constraints:     679350
3225.83/3235.36	c #Conflicts:     405000 | #Constraints:     680354
3225.83/3235.36	c #Conflicts:     406000 | #Constraints:     681362
3225.83/3235.36	c #Conflicts:     407000 | #Constraints:     682367
3225.83/3235.36	c INPROCESSING
3225.83/3235.36	c GARBAGE COLLECT
3225.83/3235.36	c rational objective 178.407
3307.30/3317.07	c #Conflicts:     408000 | #Constraints:     670692
3307.30/3317.07	c #Conflicts:     409000 | #Constraints:     671696
3307.30/3317.07	c #Conflicts:     410000 | #Constraints:     672700
3307.30/3317.07	c #Conflicts:     411000 | #Constraints:     673705
3307.30/3317.07	c #Conflicts:     412000 | #Constraints:     674711
3307.30/3317.07	c #Conflicts:     413000 | #Constraints:     675714
3307.30/3317.07	c #Conflicts:     414000 | #Constraints:     676718
3307.30/3317.07	c #Conflicts:     415000 | #Constraints:     677727
3307.30/3317.07	c #Conflicts:     416000 | #Constraints:     678736
3307.30/3317.07	c #Conflicts:     417000 | #Constraints:     679749
3307.30/3317.07	c #Conflicts:     418000 | #Constraints:     680768
3307.30/3317.07	c #Conflicts:     419000 | #Constraints:     681781
3307.30/3317.07	c #Conflicts:     420000 | #Constraints:     682795
3307.30/3317.07	c INPROCESSING
3307.30/3317.07	c GARBAGE COLLECT
3307.30/3317.07	c rational objective 178.407
3393.37/3403.35	c #Conflicts:     421000 | #Constraints:     670906
3393.37/3403.35	c #Conflicts:     422000 | #Constraints:     671910
3393.37/3403.35	c #Conflicts:     423000 | #Constraints:     672918
3393.37/3403.35	c #Conflicts:     424000 | #Constraints:     673922
3393.37/3403.35	c #Conflicts:     425000 | #Constraints:     674928
3393.37/3403.35	c #Conflicts:     426000 | #Constraints:     675938
3393.37/3403.35	c #Conflicts:     427000 | #Constraints:     676950
3393.37/3403.35	c #Conflicts:     428000 | #Constraints:     677958
3393.37/3403.35	c #Conflicts:     429000 | #Constraints:     678970
3393.37/3403.35	c #Conflicts:     430000 | #Constraints:     679987
3393.37/3403.35	c #Conflicts:     431000 | #Constraints:     681002
3393.37/3403.35	c #Conflicts:     432000 | #Constraints:     682013
3393.37/3403.35	c #Conflicts:     433000 | #Constraints:     683025
3393.37/3403.35	c INPROCESSING
3393.37/3403.35	c GARBAGE COLLECT
3393.37/3403.35	c rational objective 178.408
3553.53/3563.96	c #Conflicts:     434000 | #Constraints:     670918
3553.53/3563.96	c #Conflicts:     435000 | #Constraints:     671921
3553.53/3563.96	c #Conflicts:     436000 | #Constraints:     672924
3553.53/3563.96	c #Conflicts:     437000 | #Constraints:     673929
3553.53/3563.96	c #Conflicts:     438000 | #Constraints:     674933
3553.53/3563.96	c #Conflicts:     439000 | #Constraints:     675940
3553.53/3563.96	c #Conflicts:     440000 | #Constraints:     676948
3553.53/3563.96	c #Conflicts:     441000 | #Constraints:     677959
3553.53/3563.96	c #Conflicts:     442000 | #Constraints:     678962
3553.53/3563.96	c #Conflicts:     443000 | #Constraints:     679968
3553.53/3563.96	c #Conflicts:     444000 | #Constraints:     680975
3553.53/3563.96	c #Conflicts:     445000 | #Constraints:     681981
3553.53/3563.96	c #Conflicts:     446000 | #Constraints:     682984
3553.53/3563.96	c INPROCESSING
3553.53/3563.96	c GARBAGE COLLECT
3553.53/3563.96	c #Conflicts:     447000 | #Constraints:     670711
3553.53/3563.96	c #Conflicts:     448000 | #Constraints:     671717
3553.53/3563.96	c #Conflicts:     449000 | #Constraints:     672725
3553.53/3563.96	c #Conflicts:     450000 | #Constraints:     673740
3553.53/3563.96	c #Conflicts:     451000 | #Constraints:     674742
3553.53/3563.96	c #Conflicts:     452000 | #Constraints:     675753
3553.53/3563.96	c #Conflicts:     453000 | #Constraints:     676759
3553.53/3563.96	c #Conflicts:     454000 | #Constraints:     677769
3553.53/3563.96	c #Conflicts:     455000 | #Constraints:     678777
3553.53/3563.96	c #Conflicts:     456000 | #Constraints:     679788
3553.53/3563.96	c #Conflicts:     457000 | #Constraints:     680801
3553.53/3563.96	c #Conflicts:     458000 | #Constraints:     681812
3553.53/3563.96	c #Conflicts:     459000 | #Constraints:     682826
3553.53/3563.96	c #Conflicts:     460000 | #Constraints:     683837
3553.53/3563.96	c INPROCESSING
3553.53/3563.96	c GARBAGE COLLECT
3553.53/3563.96	c rational objective 178.408
3600.00/3610.50	c #Conflicts:     461000 | #Constraints:     671334
3600.00/3610.50	c #Conflicts:     462000 | #Constraints:     672343
3600.00/3610.50	c #Conflicts:     463000 | #Constraints:     673356
3600.00/3610.50	c #Conflicts:     464000 | #Constraints:     674371
3600.00/3610.50	c #Conflicts:     465000 | #Constraints:     675384
3600.00/3610.50	c #Conflicts:     466000 | #Constraints:     676394
3600.00/3610.50	c cpu time 3582.98 s
3600.00/3610.50	c deterministic time 111927503031 1.12e+11
3600.00/3610.50	c optimization time 39.565 s
3600.00/3610.50	c total solve time 3541.49 s
3600.00/3610.50	c core-guided solve time 3220.29 s
3600.00/3610.50	c propagation time 1517.82 s
3600.00/3610.50	c conflict analysis time 645.244 s
3600.00/3610.50	c propagations 55637370
3600.00/3610.50	c resolve steps 11588651
3600.00/3610.50	c decisions 11541547
3600.00/3610.50	c conflicts 466756
3600.00/3610.50	c restarts 1022
3600.00/3610.50	c inprocessing phases 59
3600.00/3610.50	c garbage collections 47 ,( 79.66 )
3600.00/3610.50	c input clauses 656904 ,( 99.96 )
3600.00/3610.50	c input cardinalities 9 ,( 0.00 )
3600.00/3610.50	c input general constraints 260 ,( 0.04 )
3600.00/3610.50	c input average constraint length 5.90
3600.00/3610.50	c input average constraint degree 185.06
3600.00/3610.50	c learned clauses 445761 ,( 94.36 )
3600.00/3610.50	c learned cardinalities 13 ,( 0.00 )
3600.00/3610.50	c learned general constraints 26651 ,( 5.64 )
3600.00/3610.50	c learned average constraint length 2723.42
3600.00/3610.50	c learned average constraint degree 20868219454.04
3600.00/3610.50	c watched  CF 32, 64, 128, Arb: 5171 , 0 , 0 , 0
3600.00/3610.50	c counting CF 32, 64, 128, Arb: 21741 , 0 , 0 , 0
3600.00/3610.50	c watched   constraints 5171 ,( 19.22 ) 
3600.00/3610.50	c counting  constraints 21740 ,( 80.78 ) 
3600.00/3610.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 263257921 , 883340 , 393944435 ,( 19769574 , 374174861 )
3600.00/3610.50	c gcd simplifications 435
3600.00/3610.50	c detected cardinalities 0
3600.00/3610.50	c weakened non-implied lits 454140077
3600.00/3610.50	c weakened non-implying lits 18737
3600.00/3610.50	c original variables 10000
3600.00/3610.50	c clausal propagations 50538903
3600.00/3610.50	c cardinality propagations 24426
3600.00/3610.50	c watched propagations 23368
3600.00/3610.50	c counting propagations 4418661
3600.00/3610.50	c watch lookups 38992918386
3600.00/3610.50	c watch backjump lookups 0
3600.00/3610.50	c watch checks 9832717592
3600.00/3610.50	c propagation checks 59766629967
3600.00/3610.50	c constraint additions 3199718194
3600.00/3610.50	c trail pops 67635697
3600.00/3610.50	c formula constraints 656900
3600.00/3610.50	c learned constraints 466581
3600.00/3610.50	c bound constraints 251
3600.00/3610.50	c core-guided constraints 22
3600.00/3610.50	c encountered formula constraints 9242693
3600.00/3610.50	c encountered learned constraints 2773158
3600.00/3610.50	c encountered bound constraints 2469
3600.00/3610.50	c encountered core-guided constraints 15761
3600.00/3610.50	c LP total time 2180.11 s
3600.00/3610.50	c LP solve time 1830.04 s
3600.00/3610.50	c LP constraints added 656987
3600.00/3610.50	c LP constraints removed 58
3600.00/3610.50	c LP pivots internal 466883
3600.00/3610.50	c LP pivots root 237394
3600.00/3610.50	c LP calls 5895
3600.00/3610.50	c LP optimalities 199
3600.00/3610.50	c LP no pivot count 1
3600.00/3610.50	c LP infeasibilities 5650
3600.00/3610.50	c LP valid Farkas constraints 5648
3600.00/3610.50	c LP learned Farkas constraints 175
3600.00/3610.50	c LP basis resets 44
3600.00/3610.50	c LP cycling count 28
3600.00/3610.50	c LP singular count 11
3600.00/3610.50	c LP no primal count 0
3600.00/3610.50	c LP no farkas count 2
3600.00/3610.50	c LP other issue count 3
3600.00/3610.50	c LP Gomory cuts 21
3600.00/3610.50	c LP learned cuts 66
3600.00/3610.50	c LP deleted cuts 58
3600.00/3610.50	c LP encountered Gomory constraints 0
3600.00/3610.50	c LP encountered Farkas constraints 20981
3600.00/3610.50	c LP encountered learned Farkas constraints 170
3600.00/3610.50	c CG auxiliary variables introduced 9
3600.00/3610.50	c CG solutions found 245
3600.00/3610.50	c CG cores constructed 5
3600.00/3610.50	c CG core cardinality constraints returned 0
3600.00/3610.50	c CG unit cores 0
3600.00/3610.50	c CG single cores 5
3600.00/3610.50	c CG blocks removed during cardinality reduction 0
3600.00/3610.50	c CG first core best 0
3600.00/3610.50	c CG decision core best 0
3600.00/3610.50	c CG core reduction tie 0
3600.00/3610.50	c CG core degree average 1.00
3600.00/3610.50	c CG core slack average 2246.20
3600.00/3610.50	c CG core upper bound improvements 0
3600.00/3610.50	c STR number of successful calls 0
3600.00/3610.50	c STR number of unsuccessful calls 0
3600.00/3610.50	c STR number of inconclusive calls 0
3600.00/3610.50	c STR number of successful attempts 0
3600.00/3610.50	c STR number of unsuccessful attempts 0
3600.00/3610.50	c STR number of inconclusive attempts 0
3600.00/3610.50	c STR average degree increase per successful call inf
3600.00/3610.50	c STR average degree increase per successful attempt inf
3600.00/3610.50	c STR total number of conflicts for successful attempts 0
3600.00/3610.50	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.50	c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.50	c STR average number of conflicts per successful attempt inf
3600.00/3610.50	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.50	c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.50	c AVG.sumWPerc 79.53 
3600.00/3610.50	c bigint constraints 0 
3600.00/3610.50	o 338
3600.00/3610.50	s SATISFIABLE
3600.00/3610.50	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/3610.50	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: 63708 MiB (61527 MiB free)
  memory of node 1: 64465 MiB (62490 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489830-1751363764/watcher-4489830-1751363764 -o /tmp/evaluation-result-4489830-1751363764/solver-4489830-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59058 --watchdog 3760 run-opt-ls.sh HOME/instance-4489830-1751363764.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100065 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126436188/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59109] ppid=59103 vsize=163536 memory=146660 CPUtime=0.08 cores=0,2
/proc/59109/stat : 59109 (pbsuma) R 59103 59103 59048 0 -1 4194304 4021 0 0 0 5 3 0 0 20 0 1 0 52055234 167460864 36665 18446744073709551615 4210688 4653049 140722136504080 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28106752 140722136512867 140722136513074 140722136513074 140722136518639 0
/proc/59109/statm: 40884 36665 928 108 0 38292 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 167728 KiB
Current children cumulated memory: 149604 KiB

[startup+0.205659 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126364188/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59109] ppid=59103 vsize=180920 memory=166276 CPUtime=0.18 cores=0,2
/proc/59109/stat : 59109 (pbsuma) R 59103 59103 59048 0 -1 4194304 9077 0 0 0 14 4 0 0 20 0 1 0 52055234 185262080 41569 18446744073709551615 4210688 4653049 140722136504080 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28106752 140722136512867 140722136513074 140722136513074 140722136518639 0
/proc/59109/statm: 45230 41569 928 108 0 42638 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185112 KiB
Current children cumulated memory: 169220 KiB

[startup+0.305497 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126279320/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59109] ppid=59103 vsize=194784 memory=183344 CPUtime=0.28 cores=0,2
/proc/59109/stat : 59109 (pbsuma) R 59103 59103 59048 0 -1 4194304 12864 0 0 0 24 4 0 0 20 0 1 0 52055234 199458816 45836 18446744073709551615 4210688 4653049 140722136504080 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28106752 140722136512867 140722136513074 140722136513074 140722136518639 0
/proc/59109/statm: 48696 45836 928 108 0 46104 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 186288 KiB

[startup+0.700224 s]
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=125955320/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59109] ppid=59103 vsize=320844 memory=272692 CPUtime=0.67 cores=0,2
/proc/59109/stat : 59109 (pbsuma) R 59103 59103 59048 0 -1 4194304 24486 0 0 0 60 7 0 0 20 0 1 0 52055234 328544256 68173 18446744073709551615 4210688 4653049 140722136504080 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28106752 140722136512867 140722136513074 140722136513074 140722136518639 0
/proc/59109/statm: 80211 68173 960 108 0 77619 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 325036 KiB
Current children cumulated memory: 275636 KiB

[startup+1.50019 s]
/proc/loadavg: 2.16 3.62 3.98 4/271 59124
/proc/meminfo: memFree=126398800/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=120740 memory=75812 CPUtime=0.51 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 16318 0 0 0 38 13 0 0 20 0 1 0 52055330 123637760 18953 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 30185 18953 2016 1147 0 17612 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 78756 KiB

[startup+3.10564 s]
/proc/loadavg: 2.31 3.63 3.98 5/271 59125
/proc/meminfo: memFree=125019740/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=570000 memory=432484 CPUtime=2.12 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 56605 0 0 0 155 57 0 0 20 0 1 0 52055330 583680000 108121 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 142500 108121 2304 1147 0 129927 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 574192 KiB
Current children cumulated memory: 435428 KiB

[startup+6.30021 s]
/proc/loadavg: 2.31 3.63 3.98 5/271 59125
/proc/meminfo: memFree=123363376/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=1039960 memory=781808 CPUtime=5.3 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 80997 0 0 0 455 75 0 0 20 0 1 0 52055330 1064919040 195452 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 259990 195452 2368 1147 0 247417 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1044152 KiB
Current children cumulated memory: 784752 KiB

[startup+12.7002 s]
/proc/loadavg: 2.57 3.64 3.98 5/271 59125
/proc/meminfo: memFree=123277632/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=1233140 memory=911680 CPUtime=11.68 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 91598 0 0 0 1080 88 0 0 20 0 1 0 52055330 1262735360 227920 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 308285 227920 2464 1147 0 295712 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1237332 KiB
Current children cumulated memory: 914624 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 3.65 3.98 5/271 59125
/proc/meminfo: memFree=122625456/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=1515376 memory=1193188 CPUtime=24.44 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 124384 0 0 0 2323 121 0 0 20 0 1 0 52055330 1551745024 298297 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 378844 298297 2464 1147 0 366271 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1519568 KiB
Current children cumulated memory: 1196132 KiB

[startup+51.1054 s]
/proc/loadavg: 3.20 3.68 3.99 5/271 59126
/proc/meminfo: memFree=122109792/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=1554764 memory=1236620 CPUtime=49.96 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 128076 0 0 0 4829 167 0 0 20 0 1 0 52055330 1592078336 309155 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 388691 309155 2464 1147 0 376118 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1558956 KiB
Current children cumulated memory: 1239564 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.75 4.00 5/271 59128
/proc/meminfo: memFree=121820124/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=1693956 memory=1334224 CPUtime=100.99 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 136304 0 0 0 9890 209 0 0 20 0 1 0 52055330 1734610944 333556 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 423489 333556 2464 1147 0 410916 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1698148 KiB
Current children cumulated memory: 1337168 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.83 4.00 5/271 59131
/proc/meminfo: memFree=120944952/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=2190528 memory=1778196 CPUtime=160.81 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 223451 0 0 0 15829 252 0 0 20 0 1 0 52055330 2243100672 444549 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 547632 444549 2464 1147 0 535059 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2194720 KiB
Current children cumulated memory: 1781140 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.88 4.00 5/271 59132
/proc/meminfo: memFree=120048140/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=2712584 memory=2188640 CPUtime=220.63 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 295896 0 0 0 21777 286 0 0 20 0 1 0 52055330 2777686016 547160 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 678146 547160 2464 1147 0 665573 0
Current children cumulated CPU time: 221.56 s

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

[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4407144 memory=3785176 CPUtime=3092.32 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 605399 0 0 0 307733 1499 0 0 20 0 1 0 52055330 4512915456 946294 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1101786 946294 2592 1147 0 1089213 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 4411336 KiB
Current children cumulated memory: 3788120 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 59288
/proc/meminfo: memFree=112011100/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4407144 memory=3785176 CPUtime=3152.12 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 605573 0 0 0 313706 1506 0 0 20 0 1 0 52055330 4512915456 946294 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1101786 946294 2592 1147 0 1089213 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 4411336 KiB
Current children cumulated memory: 3788120 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 59290
/proc/meminfo: memFree=112000776/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4407144 memory=3785176 CPUtime=3211.94 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 605631 0 0 0 319685 1509 0 0 20 0 1 0 52055330 4512915456 946294 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1101786 946294 2592 1147 0 1089213 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 4411336 KiB
Current children cumulated memory: 3788120 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 59292
/proc/meminfo: memFree=112019988/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4407148 memory=3785180 CPUtime=3271.76 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 607319 0 0 0 325639 1537 0 0 20 0 1 0 52055330 4512919552 946295 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1101787 946295 2592 1147 0 1089214 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 4411340 KiB
Current children cumulated memory: 3788124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 59294
/proc/meminfo: memFree=112078696/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4372720 memory=3750752 CPUtime=3331.59 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 607938 0 0 0 331610 1549 0 0 20 0 1 0 52055330 4477665280 937688 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1093180 937688 2592 1147 0 1080607 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 4376912 KiB
Current children cumulated memory: 3753696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 59296
/proc/meminfo: memFree=112100416/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4372720 memory=3750752 CPUtime=3391.43 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 607967 0 0 0 337583 1560 0 0 20 0 1 0 52055330 4477665280 937688 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1093180 937688 2592 1147 0 1080607 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 4376912 KiB
Current children cumulated memory: 3753696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 59305
/proc/meminfo: memFree=112035288/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4398384 memory=3776416 CPUtime=3451.28 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 610805 0 0 0 343553 1575 0 0 20 0 1 0 52055330 4503945216 944104 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1099596 944104 2592 1147 0 1087023 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 4402576 KiB
Current children cumulated memory: 3779360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 59308
/proc/meminfo: memFree=111977636/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4415640 memory=3793672 CPUtime=3511.11 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 613991 0 0 0 349521 1590 0 0 20 0 1 0 52055330 4521615360 948418 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1103910 948418 2592 1147 0 1091337 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 4419832 KiB
Current children cumulated memory: 3796616 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 59310
/proc/meminfo: memFree=111913624/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4415640 memory=3793672 CPUtime=3570.95 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 614501 0 0 0 355493 1602 0 0 20 0 1 0 52055330 4521615360 948418 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1103910 948418 2592 1147 0 1091337 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 4419832 KiB
Current children cumulated memory: 3796616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 59312
/proc/meminfo: memFree=112040696/131249992 swapFree=33010684/33010684
[pid=59103] ppid=59097 vsize=4192 memory=2944 CPUtime=0.93 cores=0,2
/proc/59103/stat : 59103 (run-opt-ls.sh) S 59097 59103 59048 0 -1 4194304 237 30962 0 0 0 0 83 10 20 0 1 0 52055233 4292608 736 18446744073709551615 94511418220544 94511419115077 140730222013968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94511419354128 94511419401872 94511428476928 140730222016871 140730222016997 140730222016997 140730222022599 0
/proc/59103/statm: 1048 736 672 219 0 110 0
[pid=59122] ppid=59103 vsize=4357564 memory=3735724 CPUtime=3599.07 cores=0,2
/proc/59122/stat : 59122 (roundingsat) R 59103 59103 59048 0 -1 4194304 616025 0 0 0 358298 1609 0 0 20 0 1 0 52055330 4462145536 933931 18446744073709551615 4227072 8923433 140731310052944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35287040 140731310061894 140731310062120 140731310062120 140731310067690 0
/proc/59122/statm: 1089391 933931 2592 1147 0 1076818 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4361756 KiB
Current children cumulated memory: 3738668 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3610.6 s]*
/proc/loadavg: 4.13 4.10 4.09 5/267 59312
/proc/meminfo: memFree=115575832/131249992 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.944678 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.61
CPU time (s): 3600.14
CPU user time (s): 3583.86
CPU system time (s): 16.2717
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 4467288
Max. memory (cumulated for all children) (KiB): 3843980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.86
system time used= 16.2717
maximum resident set size= 3868420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280
involuntary context switches= 4600


# summary of solver processes directly reported to runsolver:
#   pid: 59103,59122
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3583.86
#   total CPU system time (s): 16.2717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25892 second user time and 17.6057 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-01 11:56:05
IDJOB=4489830
IDBENCH=147564
IDSOLVER=3355
FILE ID=nodeC025/4489830-1751363764
RUNJOBID= nodeC025-1751363764-59058
SLURM_JOB_ID= 9598181
Free space on /tmp= 433000 MiB

SOLVER NAME= roundingsat-ls+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489830-1751363764/watcher-4489830-1751363764 -o /tmp/evaluation-result-4489830-1751363764/solver-4489830-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59058 --watchdog 3760  run-opt-ls.sh HOME/instance-4489830-1751363764.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=137257437

nodeC025 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		: 3602.434
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126996644 kB
MemAvailable:   129791064 kB
Buffers:            3280 kB
Cached:          3592620 kB
SwapCached:            0 kB
Active:           409748 kB
Inactive:        3253460 kB
Active(anon):      85392 kB
Inactive(anon):        0 kB
Active(file):     324356 kB
Inactive(file):  3253460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             88136 kB
Writeback:             0 kB
AnonPages:         70120 kB
Mapped:           102340 kB
Shmem:             18084 kB
KReclaimable:     111684 kB
Slab:             200740 kB
SReclaimable:     111684 kB
SUnreclaim:        89056 kB
KernelStack:        4072 kB
PageTables:         2716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC025 at 2025-07-01 12:56:16