Trace number 4489740

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22adSAT (TO)363 3600.25 3612.06

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
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 benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
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 491651
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 491651
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-4489740-1751368684.opb'
0.28/0.34	c 	read 17.23MB  (325.21ms)
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.66/0.71	c	 [group: #orbits ~= 0] (371.07ms)
0.66/0.71	c 
0.66/0.71	c detect special group actions
0.66/0.71	c 	probe for Johnson action (limit=64)
0.66/0.72	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.73	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.74	c 	 (26.26ms)
0.66/0.74	c 
0.66/0.74	c detect symmetries on remainder
0.66/0.74	c 	[graph: #vertices 706697 #edges 2766392]
0.66/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.77ms)
0.66/0.79	c 
0.66/0.79	c finalize break order and special generators
0.66/0.79	c 
0.66/0.79	c generation finished
0.66/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.79	c 
0.66/0.79	c write result to 'HOME/instance-4489740-1751368684.opb.pre'
0.77/0.83	c 	wrote 17.23MB (39.72ms)
0.77/0.83	c ------------------------------------------------------------------
0.77/0.83	c                 371.07ms 45.33% approx_orbits
0.77/0.83	c                 325.21ms 39.73% parse
0.77/0.83	c                  53.77ms  6.57% detect_generic
0.77/0.83	c                  39.72ms  4.85% output
0.77/0.83	c                  26.26ms  3.21% detect_special
0.77/0.83	c                   2.11ms  0.26% other
0.77/0.83	c                   0.39ms  0.05% finalize_order
0.77/0.83	c         ───────────────────────────────────────────────
0.77/0.83	c                 818.52ms   100% total
0.77/0.83	c ------------------------------------------------------------------
0.87/0.98	c RoundingSat 2
0.87/0.98	c branch pb25
0.87/0.98	c commit 63f22ad
3.33/3.43	c #variables 10000 #constraints 656900
3.33/3.43	c objective is ce32 
3.33/3.43	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.33/3.43	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.33/3.43	c bounds - >= 0 @ 1.80759
5.53/5.67	c rational objective 172.243
9.62/9.72	c bounds 6869 >= 0 @ 7.9647
9.62/9.73	c bounds 6517 >= 0 @ 7.97301
9.62/9.74	c bounds 6463 >= 0 @ 7.97763
9.62/9.74	c bounds 6202 >= 0 @ 7.98463
9.62/9.75	c bounds 5864 >= 0 @ 7.98957
9.62/9.77	c bounds 5827 >= 0 @ 8.00174
9.62/9.79	c bounds 5798 >= 0 @ 8.02672
9.71/9.80	c bounds 5653 >= 0 @ 8.03224
9.71/9.81	c bounds 5474 >= 0 @ 8.03763
9.71/9.82	c bounds 5432 >= 0 @ 8.05305
9.71/9.83	c bounds 5264 >= 0 @ 8.05974
9.71/9.85	c bounds 5243 >= 0 @ 8.07243
9.71/9.85	c bounds 5207 >= 0 @ 8.07821
9.71/9.87	c bounds 5188 >= 0 @ 8.09449
9.71/9.88	c bounds 5120 >= 0 @ 8.09945
9.71/9.89	c bounds 4896 >= 0 @ 8.10591
9.71/9.89	c bounds 4781 >= 0 @ 8.11316
9.82/9.91	c bounds 4765 >= 0 @ 8.12507
9.82/9.92	c bounds 4685 >= 0 @ 8.13237
9.82/9.92	c bounds 4647 >= 0 @ 8.14076
9.82/9.93	c bounds 4612 >= 0 @ 8.14586
9.82/9.94	c bounds 4472 >= 0 @ 8.15167
9.82/9.95	c bounds 4447 >= 0 @ 8.1582
9.82/9.96	c bounds 4405 >= 0 @ 8.16476
9.82/9.97	c bounds 4351 >= 0 @ 8.17137
9.82/9.98	c bounds 4219 >= 0 @ 8.17935
9.82/9.99	c bounds 4178 >= 0 @ 8.18665
10.11/10.26	c bounds 4160 >= 0 @ 8.45438
10.11/10.27	c bounds 4154 >= 0 @ 8.46005
10.22/10.36	c bounds 4100 >= 0 @ 8.54138
10.31/10.46	c bounds 4098 >= 0 @ 8.63984
10.31/10.46	c bounds 4086 >= 0 @ 8.64512
10.41/10.56	c bounds 4028 >= 0 @ 8.74349
10.51/10.67	c bounds 4005 >= 0 @ 8.84724
10.51/10.69	c bounds 4003 >= 0 @ 8.86137
10.62/10.76	c bounds 3998 >= 0 @ 8.93412
11.51/11.63	c bounds 3983 >= 0 @ 9.79446
11.51/11.64	c bounds 3954 >= 0 @ 9.80089
11.51/11.67	c bounds 3916 >= 0 @ 9.83777
11.51/11.68	c bounds 3873 >= 0 @ 9.84515
11.61/11.73	c bounds 3868 >= 0 @ 9.89311
11.61/11.74	c bounds 3838 >= 0 @ 9.90172
11.61/11.75	c bounds 3827 >= 0 @ 9.90737
11.61/11.76	c bounds 3723 >= 0 @ 9.91463
11.61/11.76	c bounds 3668 >= 0 @ 9.92136
11.61/11.77	c bounds 3663 >= 0 @ 9.92606
11.71/11.80	c bounds 3662 >= 0 @ 9.94664
11.71/11.81	c bounds 3624 >= 0 @ 9.95762
11.71/11.81	c bounds 3618 >= 0 @ 9.962
11.71/11.82	c bounds 3585 >= 0 @ 9.96711
11.71/11.84	c bounds 3573 >= 0 @ 9.98915
11.81/11.92	c bounds 3571 >= 0 @ 10.0674
11.81/11.93	c bounds 3567 >= 0 @ 10.0728
11.81/11.94	c bounds 3516 >= 0 @ 10.0857
11.81/11.98	c bounds 3491 >= 0 @ 10.1231
11.81/11.99	c bounds 3483 >= 0 @ 10.13
11.81/12.00	c bounds 3471 >= 0 @ 10.1371
11.91/12.01	c bounds 3377 >= 0 @ 10.1419
11.91/12.02	c bounds 3334 >= 0 @ 10.1479
12.11/12.24	c bounds 3325 >= 0 @ 10.372
12.11/12.25	c bounds 3267 >= 0 @ 10.3777
12.11/12.27	c bounds 3257 >= 0 @ 10.3922
12.11/12.28	c bounds 3183 >= 0 @ 10.398
12.11/12.29	c bounds 3133 >= 0 @ 10.4028
12.21/12.30	c bounds 3076 >= 0 @ 10.4069
12.21/12.31	c bounds 2991 >= 0 @ 10.4119
12.21/12.33	c bounds 2955 >= 0 @ 10.4337
12.21/12.34	c bounds 2943 >= 0 @ 10.4401
12.21/12.35	c bounds 2881 >= 0 @ 10.4455
12.21/12.37	c bounds 2874 >= 0 @ 10.4638
12.21/12.39	c bounds 2714 >= 0 @ 10.4771
12.30/12.40	c bounds 2643 >= 0 @ 10.4807
12.30/12.41	c bounds 2578 >= 0 @ 10.4858
12.30/12.49	c bounds 2575 >= 0 @ 10.5619
12.41/12.50	c bounds 2573 >= 0 @ 10.5676
12.41/12.51	c bounds 2487 >= 0 @ 10.5729
12.41/12.52	c bounds 2458 >= 0 @ 10.5803
12.41/12.53	c bounds 2431 >= 0 @ 10.5868
12.41/12.54	c bounds 2407 >= 0 @ 10.5923
12.41/12.55	c bounds 2353 >= 0 @ 10.6002
12.41/12.56	c bounds 2199 >= 0 @ 10.6071
12.41/12.57	c bounds 2171 >= 0 @ 10.615
12.41/12.58	c bounds 2122 >= 0 @ 10.6208
12.41/12.59	c bounds 2108 >= 0 @ 10.6267
12.50/12.61	c bounds 2001 >= 0 @ 10.6319
12.50/12.62	c bounds 1971 >= 0 @ 10.6371
12.50/12.63	c bounds 1958 >= 0 @ 10.6441
12.50/12.65	c bounds 1796 >= 0 @ 10.6571
12.50/12.66	c bounds 1777 >= 0 @ 10.6612
12.71/12.83	c bounds 1776 >= 0 @ 10.8315
12.71/12.84	c bounds 1715 >= 0 @ 10.839
12.71/12.85	c bounds 1680 >= 0 @ 10.8449
12.71/12.87	c bounds 1649 >= 0 @ 10.8508
12.71/12.89	c bounds 1568 >= 0 @ 10.8706
12.81/12.90	c bounds 1556 >= 0 @ 10.8773
12.81/12.95	c #Conflicts:       1000 | #Constraints:     657996
12.81/12.95	c bounds 1465 >= 0 @ 10.9277
12.81/12.97	c bounds 1391 >= 0 @ 10.9319
12.81/12.98	c bounds 1355 >= 0 @ 10.9388
12.81/12.99	c bounds 1241 >= 0 @ 10.9457
12.92/13.01	c bounds 1089 >= 0 @ 10.956
13.41/13.51	c bounds 1087 >= 0 @ 11.4355
15.10/15.28	c bounds 1085 >= 0 @ 13.1703
15.60/15.70	c bounds 1072 >= 0 @ 13.578
15.60/15.72	c bounds 1063 >= 0 @ 13.5931
15.60/15.74	c bounds 1039 >= 0 @ 13.6037
16.00/16.12	c bounds 1031 >= 0 @ 13.9635
18.89/19.05	c #Conflicts:       2000 | #Constraints:     659012
18.89/19.05	c INPROCESSING
18.89/19.05	c GARBAGE COLLECT
18.89/19.05	c bounds 915 >= 0 @ 16.8706
18.99/19.17	c bounds 893 >= 0 @ 16.9724
18.99/19.18	c bounds 755 >= 0 @ 16.9821
19.08/19.20	c bounds 663 >= 0 @ 16.991
19.28/19.41	c bounds 659 >= 0 @ 17.189
20.48/20.64	c #Conflicts:       3000 | #Constraints:     658913
20.48/20.64	c bounds 611 >= 0 @ 18.3967
21.37/21.58	c bounds 482 >= 0 @ 19.3017
21.37/21.59	c bounds 482 >= 8 @ 19.3075
26.26/26.43	c #Conflicts:       4000 | #Constraints:     659918
26.26/26.43	c INPROCESSING
26.26/26.43	c GARBAGE COLLECT
26.26/26.43	c rational objective 172.792
38.83/39.05	c #Conflicts:       5000 | #Constraints:     659326
38.83/39.05	c #Conflicts:       6000 | #Constraints:     660326
38.83/39.05	c INPROCESSING
38.83/39.05	c GARBAGE COLLECT
38.83/39.05	c bounds 481 >= 8 @ 36.564
38.83/39.06	c bounds 480 >= 8 @ 36.5727
38.83/39.10	c bounds 479 >= 8 @ 36.6057
38.92/39.11	c bounds 475 >= 8 @ 36.6162
38.92/39.13	c bounds 472 >= 8 @ 36.6259
38.92/39.15	c bounds 471 >= 8 @ 36.6494
38.92/39.17	c bounds 470 >= 8 @ 36.6639
38.92/39.19	c bounds 467 >= 8 @ 36.6819
40.02/40.27	c bounds 464 >= 8 @ 37.7559
76.81/77.12	c #Conflicts:       7000 | #Constraints:     659337
76.81/77.12	c #Conflicts:       8000 | #Constraints:     660337
76.81/77.12	c #Conflicts:       9000 | #Constraints:     661337
76.81/77.12	c INPROCESSING
76.81/77.12	c GARBAGE COLLECT
76.81/77.12	c #Conflicts:      10000 | #Constraints:     660039
76.81/77.12	c #Conflicts:      11000 | #Constraints:     661049
76.81/77.12	c #Conflicts:      12000 | #Constraints:     662058
76.81/77.12	c INPROCESSING
76.81/77.12	c GARBAGE COLLECT
76.81/77.12	c rational objective 173.805
104.02/104.45	c #Conflicts:      13000 | #Constraints:     660497
104.02/104.45	c #Conflicts:      14000 | #Constraints:     661497
104.02/104.45	c #Conflicts:      15000 | #Constraints:     662497
104.02/104.45	c INPROCESSING
104.02/104.45	c GARBAGE COLLECT
104.02/104.45	c #Conflicts:      16000 | #Constraints:     660720
104.02/104.45	c #Conflicts:      17000 | #Constraints:     661720
104.02/104.45	c #Conflicts:      18000 | #Constraints:     662720
104.02/104.45	c INPROCESSING
104.02/104.45	c GARBAGE COLLECT
104.02/104.45	c rational objective 175.434
123.65/124.11	c #Conflicts:      19000 | #Constraints:     660733
123.65/124.11	c #Conflicts:      20000 | #Constraints:     661733
123.65/124.11	c #Conflicts:      21000 | #Constraints:     662733
123.65/124.11	c INPROCESSING
123.65/124.11	c GARBAGE COLLECT
123.65/124.11	c rational objective 176.746
156.85/157.42	c #Conflicts:      22000 | #Constraints:     660539
156.85/157.42	c #Conflicts:      23000 | #Constraints:     661539
156.85/157.42	c #Conflicts:      24000 | #Constraints:     662539
156.85/157.42	c #Conflicts:      25000 | #Constraints:     663539
156.85/157.42	c INPROCESSING
156.85/157.42	c GARBAGE COLLECT
156.85/157.42	c #Conflicts:      26000 | #Constraints:     661144
156.85/157.42	c #Conflicts:      27000 | #Constraints:     662144
156.85/157.42	c #Conflicts:      28000 | #Constraints:     663144
156.85/157.42	c #Conflicts:      29000 | #Constraints:     664144
156.85/157.42	c INPROCESSING
156.85/157.42	c GARBAGE COLLECT
156.85/157.42	c rational objective 176.881
194.82/195.54	c #Conflicts:      30000 | #Constraints:     661545
194.82/195.54	c #Conflicts:      31000 | #Constraints:     662548
194.82/195.54	c #Conflicts:      32000 | #Constraints:     663561
194.82/195.54	c #Conflicts:      33000 | #Constraints:     664580
194.82/195.54	c INPROCESSING
194.82/195.54	c GARBAGE COLLECT
194.82/195.54	c #Conflicts:      34000 | #Constraints:     661771
194.82/195.54	c #Conflicts:      35000 | #Constraints:     662786
194.82/195.54	c #Conflicts:      36000 | #Constraints:     663801
194.82/195.54	c #Conflicts:      37000 | #Constraints:     664830
194.82/195.54	c INPROCESSING
194.82/195.54	c GARBAGE COLLECT
194.82/195.54	c rational objective 176.925
214.27/215.04	c #Conflicts:      38000 | #Constraints:     661808
214.27/215.04	c #Conflicts:      39000 | #Constraints:     662811
214.27/215.04	c #Conflicts:      40000 | #Constraints:     663848
214.27/215.04	c #Conflicts:      41000 | #Constraints:     664874
214.27/215.04	c bounds 392 >= 8 @ 210.717
223.34/224.14	c INPROCESSING
223.34/224.14	c GARBAGE COLLECT
223.34/224.14	c rational objective 177.036
305.86/306.92	c #Conflicts:      42000 | #Constraints:     661621
305.86/306.92	c #Conflicts:      43000 | #Constraints:     662631
305.86/306.92	c #Conflicts:      44000 | #Constraints:     663642
305.86/306.92	c #Conflicts:      45000 | #Constraints:     664654
305.86/306.92	c #Conflicts:      46000 | #Constraints:     665656
305.86/306.92	c INPROCESSING
305.86/306.92	c GARBAGE COLLECT
305.86/306.92	c #Conflicts:      47000 | #Constraints:     662212
305.86/306.92	c #Conflicts:      48000 | #Constraints:     663217
305.86/306.92	c #Conflicts:      49000 | #Constraints:     664221
305.86/306.92	c #Conflicts:      50000 | #Constraints:     665225
305.86/306.92	c #Conflicts:      51000 | #Constraints:     666231
305.86/306.92	c INPROCESSING
305.86/306.92	c GARBAGE COLLECT
305.86/306.92	c rational objective 177.258
332.18/333.35	c #Conflicts:      52000 | #Constraints:     662608
332.18/333.35	c #Conflicts:      53000 | #Constraints:     663615
332.18/333.35	c #Conflicts:      54000 | #Constraints:     664623
332.18/333.35	c #Conflicts:      55000 | #Constraints:     665627
332.18/333.35	c #Conflicts:      56000 | #Constraints:     666632
332.18/333.35	c INPROCESSING
332.18/333.35	c GARBAGE COLLECT
332.18/333.35	c rational objective 177.441
516.04/517.85	c #Conflicts:      57000 | #Constraints:     662813
516.04/517.85	c #Conflicts:      58000 | #Constraints:     663815
516.04/517.85	c #Conflicts:      59000 | #Constraints:     664820
516.04/517.85	c #Conflicts:      60000 | #Constraints:     665826
516.04/517.85	c #Conflicts:      61000 | #Constraints:     666829
516.04/517.85	c INPROCESSING
516.04/517.85	c GARBAGE COLLECT
516.04/517.85	c #Conflicts:      62000 | #Constraints:     662807
516.04/517.85	c #Conflicts:      63000 | #Constraints:     663807
516.04/517.85	c #Conflicts:      64000 | #Constraints:     664807
516.04/517.85	c #Conflicts:      65000 | #Constraints:     665808
516.04/517.85	c #Conflicts:      66000 | #Constraints:     666811
516.04/517.85	c INPROCESSING
516.04/517.85	c GARBAGE COLLECT
516.04/517.85	c #Conflicts:      67000 | #Constraints:     662602
516.04/517.85	c #Conflicts:      68000 | #Constraints:     663603
516.04/517.85	c #Conflicts:      69000 | #Constraints:     664606
516.04/517.85	c #Conflicts:      70000 | #Constraints:     665608
516.04/517.85	c #Conflicts:      71000 | #Constraints:     666614
516.04/517.85	c #Conflicts:      72000 | #Constraints:     667619
516.04/517.85	c INPROCESSING
516.04/517.85	c GARBAGE COLLECT
516.04/517.85	c #Conflicts:      73000 | #Constraints:     663193
516.04/517.85	c #Conflicts:      74000 | #Constraints:     664197
516.04/517.85	c #Conflicts:      75000 | #Constraints:     665201
516.04/517.85	c #Conflicts:      76000 | #Constraints:     666205
516.04/517.85	c #Conflicts:      77000 | #Constraints:     667210
516.04/517.85	c #Conflicts:      78000 | #Constraints:     668213
516.04/517.85	c INPROCESSING
516.04/517.85	c GARBAGE COLLECT
516.04/517.85	c rational objective 177.539
611.82/613.91	c #Conflicts:      79000 | #Constraints:     663599
611.82/613.91	c #Conflicts:      80000 | #Constraints:     664607
611.82/613.91	c #Conflicts:      81000 | #Constraints:     665613
611.82/613.91	c #Conflicts:      82000 | #Constraints:     666621
611.82/613.91	c #Conflicts:      83000 | #Constraints:     667624
611.82/613.91	c #Conflicts:      84000 | #Constraints:     668632
611.82/613.91	c INPROCESSING
611.82/613.91	c GARBAGE COLLECT
611.82/613.91	c #Conflicts:      85000 | #Constraints:     663804
611.82/613.91	c #Conflicts:      86000 | #Constraints:     664806
611.82/613.91	c #Conflicts:      87000 | #Constraints:     665809
611.82/613.91	c #Conflicts:      88000 | #Constraints:     666812
611.82/613.91	c #Conflicts:      89000 | #Constraints:     667818
611.82/613.91	c #Conflicts:      90000 | #Constraints:     668824
611.82/613.91	c INPROCESSING
611.82/613.91	c GARBAGE COLLECT
611.82/613.91	c #Conflicts:      91000 | #Constraints:     663807
611.82/613.91	c #Conflicts:      92000 | #Constraints:     664817
611.82/613.91	c #Conflicts:      93000 | #Constraints:     665826
611.82/613.91	c #Conflicts:      94000 | #Constraints:     666829
611.82/613.91	c #Conflicts:      95000 | #Constraints:     667835
611.82/613.91	c #Conflicts:      96000 | #Constraints:     668840
611.82/613.91	c INPROCESSING
611.82/613.91	c GARBAGE COLLECT
611.82/613.91	c rational objective 178.084
617.10/619.25	c bounds 389 >= 8 @ 611.789
617.20/619.30	c bounds 387 >= 8 @ 611.832
618.50/620.66	c #Conflicts:      97000 | #Constraints:     663617
618.50/620.66	c bounds 381 >= 8 @ 613.179
619.29/621.42	c bounds 379 >= 8 @ 613.934
619.29/621.43	c bounds 379 >= 13 @ 613.939
619.40/621.50	c bounds 379 >= 18 @ 613.995
629.87/632.05	c #Conflicts:      98000 | #Constraints:     664628
629.87/632.05	c bounds 379 >= 23 @ 624.47
631.36/633.52	c #Conflicts:      99000 | #Constraints:     665638
631.36/633.52	c bounds 375 >= 23 @ 625.93
659.07/661.37	c #Conflicts:     100000 | #Constraints:     666639
659.07/661.37	c #Conflicts:     101000 | #Constraints:     667642
659.07/661.37	c #Conflicts:     102000 | #Constraints:     668642
659.07/661.37	c #Conflicts:     103000 | #Constraints:     669644
659.07/661.37	c INPROCESSING
659.07/661.37	c GARBAGE COLLECT
659.07/661.37	c rational objective 217.627
664.75/667.02	c bounds 373 >= 23 @ 659.207
664.75/667.05	c bounds 371 >= 23 @ 659.229
664.85/667.19	c bounds 370 >= 23 @ 659.366
856.31/859.22	c #Conflicts:     104000 | #Constraints:     664220
856.31/859.22	c #Conflicts:     105000 | #Constraints:     665285
856.31/859.22	c #Conflicts:     106000 | #Constraints:     666335
856.31/859.22	c #Conflicts:     107000 | #Constraints:     667372
856.31/859.22	c #Conflicts:     108000 | #Constraints:     668385
856.31/859.22	c #Conflicts:     109000 | #Constraints:     669513
856.31/859.22	c #Conflicts:     110000 | #Constraints:     670575
856.31/859.22	c INPROCESSING
856.31/859.22	c GARBAGE COLLECT
856.31/859.22	c bounds 370 >= 27 @ 849.975
1028.94/1032.50	c #Conflicts:     111000 | #Constraints:     664781
1028.94/1032.50	c #Conflicts:     112000 | #Constraints:     665784
1028.94/1032.50	c #Conflicts:     113000 | #Constraints:     666791
1028.94/1032.50	c #Conflicts:     114000 | #Constraints:     667802
1028.94/1032.50	c #Conflicts:     115000 | #Constraints:     668812
1028.94/1032.50	c #Conflicts:     116000 | #Constraints:     669820
1028.94/1032.50	c #Conflicts:     117000 | #Constraints:     670830
1028.94/1032.50	c INPROCESSING
1028.94/1032.50	c #Conflicts:     118000 | #Constraints:     664893
1028.94/1032.50	c #Conflicts:     119000 | #Constraints:     665903
1028.94/1032.50	c #Conflicts:     120000 | #Constraints:     666933
1028.94/1032.50	c #Conflicts:     121000 | #Constraints:     667952
1028.94/1032.50	c #Conflicts:     122000 | #Constraints:     668968
1028.94/1032.50	c #Conflicts:     123000 | #Constraints:     669973
1028.94/1032.50	c #Conflicts:     124000 | #Constraints:     670986
1028.94/1032.50	c INPROCESSING
1028.94/1032.50	c GARBAGE COLLECT
1028.94/1032.50	c #Conflicts:     125000 | #Constraints:     664876
1028.94/1032.50	c #Conflicts:     126000 | #Constraints:     665880
1028.94/1032.50	c #Conflicts:     127000 | #Constraints:     666886
1028.94/1032.50	c #Conflicts:     128000 | #Constraints:     667899
1028.94/1032.50	c #Conflicts:     129000 | #Constraints:     668913
1028.94/1032.50	c #Conflicts:     130000 | #Constraints:     669932
1028.94/1032.50	c #Conflicts:     131000 | #Constraints:     670939
1028.94/1032.50	c INPROCESSING
1028.94/1032.50	c #Conflicts:     132000 | #Constraints:     664648
1028.94/1032.50	c #Conflicts:     133000 | #Constraints:     665651
1028.94/1032.50	c #Conflicts:     134000 | #Constraints:     666652
1028.94/1032.50	c #Conflicts:     135000 | #Constraints:     667652
1028.94/1032.50	c #Conflicts:     136000 | #Constraints:     668653
1028.94/1032.50	c #Conflicts:     137000 | #Constraints:     669653
1028.94/1032.50	c #Conflicts:     138000 | #Constraints:     670655
1028.94/1032.50	c #Conflicts:     139000 | #Constraints:     671659
1028.94/1032.50	c INPROCESSING
1028.94/1032.50	c GARBAGE COLLECT
1028.94/1032.50	c rational objective 177.548
1069.62/1073.24	c #Conflicts:     140000 | #Constraints:     665222
1069.62/1073.24	c #Conflicts:     141000 | #Constraints:     666222
1069.62/1073.24	c #Conflicts:     142000 | #Constraints:     667222
1069.62/1073.24	c #Conflicts:     143000 | #Constraints:     668222
1069.62/1073.24	c #Conflicts:     144000 | #Constraints:     669222
1069.62/1073.24	c #Conflicts:     145000 | #Constraints:     670222
1069.62/1073.24	c #Conflicts:     146000 | #Constraints:     671222
1069.62/1073.24	c #Conflicts:     147000 | #Constraints:     672222
1069.62/1073.24	c INPROCESSING
1069.62/1073.24	c GARBAGE COLLECT
1069.62/1073.24	c rational objective 177.63
1110.29/1114.03	c #Conflicts:     148000 | #Constraints:     665613
1110.29/1114.03	c #Conflicts:     149000 | #Constraints:     666614
1110.29/1114.03	c #Conflicts:     150000 | #Constraints:     667614
1110.29/1114.03	c #Conflicts:     151000 | #Constraints:     668615
1110.29/1114.03	c #Conflicts:     152000 | #Constraints:     669615
1110.29/1114.03	c #Conflicts:     153000 | #Constraints:     670615
1110.29/1114.03	c #Conflicts:     154000 | #Constraints:     671615
1110.29/1114.03	c #Conflicts:     155000 | #Constraints:     672615
1110.29/1114.03	c INPROCESSING
1110.29/1114.03	c rational objective 177.855
1151.17/1155.00	c #Conflicts:     156000 | #Constraints:     665800
1151.17/1155.00	c #Conflicts:     157000 | #Constraints:     666800
1151.17/1155.00	c #Conflicts:     158000 | #Constraints:     667800
1151.17/1155.00	c #Conflicts:     159000 | #Constraints:     668800
1151.17/1155.00	c #Conflicts:     160000 | #Constraints:     669800
1151.17/1155.00	c #Conflicts:     161000 | #Constraints:     670800
1151.17/1155.00	c #Conflicts:     162000 | #Constraints:     671801
1151.17/1155.00	c #Conflicts:     163000 | #Constraints:     672801
1151.17/1155.00	c INPROCESSING
1151.17/1155.00	c GARBAGE COLLECT
1151.17/1155.00	c rational objective 177.867
1207.88/1211.95	c #Conflicts:     164000 | #Constraints:     665812
1207.88/1211.95	c #Conflicts:     165000 | #Constraints:     666839
1207.88/1211.95	c #Conflicts:     166000 | #Constraints:     667871
1207.88/1211.95	c #Conflicts:     167000 | #Constraints:     668893
1207.88/1211.95	c #Conflicts:     168000 | #Constraints:     669914
1207.88/1211.95	c #Conflicts:     169000 | #Constraints:     670931
1207.88/1211.95	c #Conflicts:     170000 | #Constraints:     671949
1207.88/1211.95	c #Conflicts:     171000 | #Constraints:     672983
1207.88/1211.95	c INPROCESSING
1207.88/1211.95	c GARBAGE COLLECT
1207.88/1211.95	c rational objective 177.867
1295.71/1300.01	c #Conflicts:     172000 | #Constraints:     665688
1295.71/1300.01	c #Conflicts:     173000 | #Constraints:     666704
1295.71/1300.01	c #Conflicts:     174000 | #Constraints:     667714
1295.71/1300.01	c #Conflicts:     175000 | #Constraints:     668739
1295.71/1300.01	c #Conflicts:     176000 | #Constraints:     669766
1295.71/1300.01	c #Conflicts:     177000 | #Constraints:     670780
1295.71/1300.01	c #Conflicts:     178000 | #Constraints:     671805
1295.71/1300.01	c #Conflicts:     179000 | #Constraints:     672821
1295.71/1300.01	c #Conflicts:     180000 | #Constraints:     673837
1295.71/1300.01	c INPROCESSING
1295.71/1300.01	c GARBAGE COLLECT
1295.71/1300.01	c #Conflicts:     181000 | #Constraints:     666318
1295.71/1300.01	c #Conflicts:     182000 | #Constraints:     667328
1295.71/1300.01	c #Conflicts:     183000 | #Constraints:     668350
1295.71/1300.01	c #Conflicts:     184000 | #Constraints:     669371
1295.71/1300.01	c #Conflicts:     185000 | #Constraints:     670386
1295.71/1300.01	c #Conflicts:     186000 | #Constraints:     671410
1295.71/1300.01	c #Conflicts:     187000 | #Constraints:     672439
1295.71/1300.01	c #Conflicts:     188000 | #Constraints:     673456
1295.71/1300.01	c #Conflicts:     189000 | #Constraints:     674483
1295.71/1300.01	c INPROCESSING
1295.71/1300.01	c GARBAGE COLLECT
1295.71/1300.01	c rational objective 177.867
1395.58/1400.23	c #Conflicts:     190000 | #Constraints:     666756
1395.58/1400.23	c #Conflicts:     191000 | #Constraints:     667780
1395.58/1400.23	c #Conflicts:     192000 | #Constraints:     668800
1395.58/1400.23	c #Conflicts:     193000 | #Constraints:     669824
1395.58/1400.23	c #Conflicts:     194000 | #Constraints:     670853
1395.58/1400.23	c #Conflicts:     195000 | #Constraints:     671873
1395.58/1400.23	c #Conflicts:     196000 | #Constraints:     672891
1395.58/1400.23	c #Conflicts:     197000 | #Constraints:     673922
1395.58/1400.23	c #Conflicts:     198000 | #Constraints:     674948
1395.58/1400.23	c INPROCESSING
1395.58/1400.23	c GARBAGE COLLECT
1395.58/1400.23	c #Conflicts:     199000 | #Constraints:     666980
1395.58/1400.23	c #Conflicts:     200000 | #Constraints:     667980
1395.58/1400.23	c #Conflicts:     201000 | #Constraints:     668980
1395.58/1400.23	c #Conflicts:     202000 | #Constraints:     669980
1395.58/1400.23	c #Conflicts:     203000 | #Constraints:     670980
1395.58/1400.23	c #Conflicts:     204000 | #Constraints:     671981
1395.58/1400.23	c #Conflicts:     205000 | #Constraints:     672981
1395.58/1400.23	c #Conflicts:     206000 | #Constraints:     673982
1395.58/1400.23	c #Conflicts:     207000 | #Constraints:     674982
1395.58/1400.23	c INPROCESSING
1395.58/1400.23	c GARBAGE COLLECT
1395.58/1400.23	c rational objective 177.867
1542.53/1547.64	c #Conflicts:     208000 | #Constraints:     666904
1542.53/1547.64	c #Conflicts:     209000 | #Constraints:     667911
1542.53/1547.64	c #Conflicts:     210000 | #Constraints:     668928
1542.53/1547.64	c #Conflicts:     211000 | #Constraints:     669951
1542.53/1547.64	c #Conflicts:     212000 | #Constraints:     670967
1542.53/1547.64	c #Conflicts:     213000 | #Constraints:     671984
1542.53/1547.64	c #Conflicts:     214000 | #Constraints:     673000
1542.53/1547.64	c #Conflicts:     215000 | #Constraints:     674023
1542.53/1547.64	c #Conflicts:     216000 | #Constraints:     675045
1542.53/1547.64	c INPROCESSING
1542.53/1547.64	c GARBAGE COLLECT
1542.53/1547.64	c #Conflicts:     217000 | #Constraints:     666756
1542.53/1547.64	c #Conflicts:     218000 | #Constraints:     667770
1542.53/1547.64	c #Conflicts:     219000 | #Constraints:     668815
1542.53/1547.64	c #Conflicts:     220000 | #Constraints:     669862
1542.53/1547.64	c #Conflicts:     221000 | #Constraints:     670905
1542.53/1547.64	c #Conflicts:     222000 | #Constraints:     671933
1542.53/1547.64	c #Conflicts:     223000 | #Constraints:     672973
1542.53/1547.64	c #Conflicts:     224000 | #Constraints:     674014
1542.53/1547.64	c #Conflicts:     225000 | #Constraints:     675048
1542.53/1547.64	c #Conflicts:     226000 | #Constraints:     676071
1542.53/1547.64	c INPROCESSING
1542.53/1547.64	c GARBAGE COLLECT
1542.53/1547.64	c #Conflicts:     227000 | #Constraints:     667463
1542.53/1547.64	c #Conflicts:     228000 | #Constraints:     668482
1542.53/1547.64	c #Conflicts:     229000 | #Constraints:     669515
1542.53/1547.64	c #Conflicts:     230000 | #Constraints:     670553
1542.53/1547.64	c #Conflicts:     231000 | #Constraints:     671582
1542.53/1547.64	c #Conflicts:     232000 | #Constraints:     672613
1542.53/1547.64	c #Conflicts:     233000 | #Constraints:     673622
1542.53/1547.64	c #Conflicts:     234000 | #Constraints:     674646
1542.53/1547.64	c #Conflicts:     235000 | #Constraints:     675667
1542.53/1547.64	c #Conflicts:     236000 | #Constraints:     676688
1542.53/1547.64	c INPROCESSING
1542.53/1547.64	c GARBAGE COLLECT
1542.53/1547.64	c rational objective 177.867
1644.20/1649.69	c #Conflicts:     237000 | #Constraints:     667850
1644.20/1649.69	c #Conflicts:     238000 | #Constraints:     668869
1644.20/1649.69	c #Conflicts:     239000 | #Constraints:     669894
1644.20/1649.69	c #Conflicts:     240000 | #Constraints:     670917
1644.20/1649.69	c #Conflicts:     241000 | #Constraints:     671930
1644.20/1649.69	c #Conflicts:     242000 | #Constraints:     672967
1644.20/1649.69	c #Conflicts:     243000 | #Constraints:     673981
1644.20/1649.69	c #Conflicts:     244000 | #Constraints:     674994
1644.20/1649.69	c #Conflicts:     245000 | #Constraints:     676015
1644.20/1649.69	c #Conflicts:     246000 | #Constraints:     677045
1644.20/1649.69	c INPROCESSING
1644.20/1649.69	c GARBAGE COLLECT
1644.20/1649.69	c #Conflicts:     247000 | #Constraints:     668024
1644.20/1649.69	c #Conflicts:     248000 | #Constraints:     669039
1644.20/1649.69	c #Conflicts:     249000 | #Constraints:     670064
1644.20/1649.69	c #Conflicts:     250000 | #Constraints:     671080
1644.20/1649.69	c #Conflicts:     251000 | #Constraints:     672097
1644.20/1649.69	c #Conflicts:     252000 | #Constraints:     673113
1644.20/1649.69	c #Conflicts:     253000 | #Constraints:     674140
1644.20/1649.69	c #Conflicts:     254000 | #Constraints:     675168
1644.20/1649.69	c #Conflicts:     255000 | #Constraints:     676174
1644.20/1649.69	c #Conflicts:     256000 | #Constraints:     677174
1644.20/1649.69	c INPROCESSING
1644.20/1649.69	c GARBAGE COLLECT
1644.20/1649.69	c rational objective 177.867
1693.95/1699.53	c #Conflicts:     257000 | #Constraints:     667985
1693.95/1699.53	c #Conflicts:     258000 | #Constraints:     668985
1693.95/1699.53	c #Conflicts:     259000 | #Constraints:     669985
1693.95/1699.53	c #Conflicts:     260000 | #Constraints:     670985
1693.95/1699.53	c #Conflicts:     261000 | #Constraints:     671985
1693.95/1699.53	c #Conflicts:     262000 | #Constraints:     672985
1693.95/1699.53	c #Conflicts:     263000 | #Constraints:     673985
1693.95/1699.53	c #Conflicts:     264000 | #Constraints:     674985
1693.95/1699.53	c #Conflicts:     265000 | #Constraints:     675985
1693.95/1699.53	c #Conflicts:     266000 | #Constraints:     676985
1693.95/1699.53	c INPROCESSING
1693.95/1699.53	c GARBAGE COLLECT
1693.95/1699.53	c rational objective 177.963
1750.38/1756.14	c #Conflicts:     267000 | #Constraints:     667696
1750.38/1756.14	c #Conflicts:     268000 | #Constraints:     668696
1750.38/1756.14	c #Conflicts:     269000 | #Constraints:     669696
1750.38/1756.14	c #Conflicts:     270000 | #Constraints:     670697
1750.38/1756.14	c #Conflicts:     271000 | #Constraints:     671698
1750.38/1756.14	c #Conflicts:     272000 | #Constraints:     672698
1750.38/1756.14	c #Conflicts:     273000 | #Constraints:     673699
1750.38/1756.14	c #Conflicts:     274000 | #Constraints:     674699
1750.38/1756.14	c #Conflicts:     275000 | #Constraints:     675699
1750.38/1756.14	c #Conflicts:     276000 | #Constraints:     676700
1750.38/1756.14	c #Conflicts:     277000 | #Constraints:     677701
1750.38/1756.14	c INPROCESSING
1750.38/1756.14	c GARBAGE COLLECT
1750.38/1756.14	c rational objective 177.964
1918.22/1924.51	c #Conflicts:     278000 | #Constraints:     668251
1918.22/1924.51	c #Conflicts:     279000 | #Constraints:     669260
1918.22/1924.51	c #Conflicts:     280000 | #Constraints:     670268
1918.22/1924.51	c #Conflicts:     281000 | #Constraints:     671279
1918.22/1924.51	c #Conflicts:     282000 | #Constraints:     672302
1918.22/1924.51	c #Conflicts:     283000 | #Constraints:     673339
1918.22/1924.51	c #Conflicts:     284000 | #Constraints:     674358
1918.22/1924.51	c #Conflicts:     285000 | #Constraints:     675377
1918.22/1924.51	c #Conflicts:     286000 | #Constraints:     676410
1918.22/1924.51	c #Conflicts:     287000 | #Constraints:     677419
1918.22/1924.51	c #Conflicts:     288000 | #Constraints:     678433
1918.22/1924.51	c INPROCESSING
1918.22/1924.51	c GARBAGE COLLECT
1918.22/1924.51	c #Conflicts:     289000 | #Constraints:     668710
1918.22/1924.51	c #Conflicts:     290000 | #Constraints:     669721
1918.22/1924.51	c #Conflicts:     291000 | #Constraints:     670748
1918.22/1924.51	c #Conflicts:     292000 | #Constraints:     671773
1918.22/1924.51	c #Conflicts:     293000 | #Constraints:     672797
1918.22/1924.51	c #Conflicts:     294000 | #Constraints:     673811
1918.22/1924.51	c #Conflicts:     295000 | #Constraints:     674839
1918.22/1924.51	c #Conflicts:     296000 | #Constraints:     675860
1918.22/1924.51	c #Conflicts:     297000 | #Constraints:     676868
1918.22/1924.51	c #Conflicts:     298000 | #Constraints:     677882
1918.22/1924.51	c #Conflicts:     299000 | #Constraints:     678898
1918.22/1924.51	c INPROCESSING
1918.22/1924.51	c GARBAGE COLLECT
1918.22/1924.51	c rational objective 177.964
1995.27/2001.88	c #Conflicts:     300000 | #Constraints:     668954
1995.27/2001.88	c #Conflicts:     301000 | #Constraints:     669973
1995.27/2001.88	c #Conflicts:     302000 | #Constraints:     670997
1995.27/2001.88	c #Conflicts:     303000 | #Constraints:     672026
1995.27/2001.88	c #Conflicts:     304000 | #Constraints:     673050
1995.27/2001.88	c #Conflicts:     305000 | #Constraints:     674058
1995.27/2001.88	c #Conflicts:     306000 | #Constraints:     675068
1995.27/2001.88	c #Conflicts:     307000 | #Constraints:     676077
1995.27/2001.88	c #Conflicts:     308000 | #Constraints:     677089
1995.27/2001.88	c #Conflicts:     309000 | #Constraints:     678117
1995.27/2001.88	c #Conflicts:     310000 | #Constraints:     679153
1995.27/2001.88	c INPROCESSING
1995.27/2001.88	c GARBAGE COLLECT
1995.27/2001.88	c rational objective 177.972
2086.77/2093.69	c #Conflicts:     311000 | #Constraints:     669001
2086.77/2093.69	c #Conflicts:     312000 | #Constraints:     670023
2086.77/2093.69	c #Conflicts:     313000 | #Constraints:     671034
2086.77/2093.69	c #Conflicts:     314000 | #Constraints:     672049
2086.77/2093.69	c #Conflicts:     315000 | #Constraints:     673073
2086.77/2093.69	c #Conflicts:     316000 | #Constraints:     674091
2086.77/2093.69	c #Conflicts:     317000 | #Constraints:     675108
2086.77/2093.69	c #Conflicts:     318000 | #Constraints:     676132
2086.77/2093.69	c #Conflicts:     319000 | #Constraints:     677150
2086.77/2093.69	c #Conflicts:     320000 | #Constraints:     678182
2086.77/2093.69	c #Conflicts:     321000 | #Constraints:     679199
2086.77/2093.69	c INPROCESSING
2086.77/2093.69	c GARBAGE COLLECT
2086.77/2093.69	c rational objective 177.981
2184.96/2192.18	c #Conflicts:     322000 | #Constraints:     668829
2184.96/2192.18	c #Conflicts:     323000 | #Constraints:     669835
2184.96/2192.18	c #Conflicts:     324000 | #Constraints:     670853
2184.96/2192.18	c #Conflicts:     325000 | #Constraints:     671863
2184.96/2192.18	c #Conflicts:     326000 | #Constraints:     672881
2184.96/2192.18	c #Conflicts:     327000 | #Constraints:     673912
2184.96/2192.18	c #Conflicts:     328000 | #Constraints:     674933
2184.96/2192.18	c #Conflicts:     329000 | #Constraints:     675953
2184.96/2192.18	c #Conflicts:     330000 | #Constraints:     676958
2184.96/2192.18	c #Conflicts:     331000 | #Constraints:     677967
2184.96/2192.18	c #Conflicts:     332000 | #Constraints:     678974
2184.96/2192.18	c #Conflicts:     333000 | #Constraints:     679990
2184.96/2192.18	c INPROCESSING
2184.96/2192.18	c GARBAGE COLLECT
2184.96/2192.18	c rational objective 177.981
2246.67/2254.09	c #Conflicts:     334000 | #Constraints:     669418
2246.67/2254.09	c #Conflicts:     335000 | #Constraints:     670431
2246.67/2254.09	c #Conflicts:     336000 | #Constraints:     671439
2246.67/2254.09	c #Conflicts:     337000 | #Constraints:     672457
2246.67/2254.09	c #Conflicts:     338000 | #Constraints:     673461
2246.67/2254.09	c #Conflicts:     339000 | #Constraints:     674470
2246.67/2254.09	c #Conflicts:     340000 | #Constraints:     675497
2246.67/2254.09	c #Conflicts:     341000 | #Constraints:     676517
2246.67/2254.09	c #Conflicts:     342000 | #Constraints:     677541
2246.67/2254.09	c #Conflicts:     343000 | #Constraints:     678551
2246.67/2254.09	c #Conflicts:     344000 | #Constraints:     679574
2246.67/2254.09	c #Conflicts:     345000 | #Constraints:     680583
2246.67/2254.09	c INPROCESSING
2246.67/2254.09	c GARBAGE COLLECT
2246.67/2254.09	c rational objective 177.981
2400.25/2408.14	c #Conflicts:     346000 | #Constraints:     669798
2400.25/2408.14	c #Conflicts:     347000 | #Constraints:     670802
2400.25/2408.14	c #Conflicts:     348000 | #Constraints:     671810
2400.25/2408.14	c #Conflicts:     349000 | #Constraints:     672810
2400.25/2408.14	c #Conflicts:     350000 | #Constraints:     673812
2400.25/2408.14	c #Conflicts:     351000 | #Constraints:     674823
2400.25/2408.14	c #Conflicts:     352000 | #Constraints:     675835
2400.25/2408.14	c #Conflicts:     353000 | #Constraints:     676853
2400.25/2408.14	c #Conflicts:     354000 | #Constraints:     677868
2400.25/2408.14	c #Conflicts:     355000 | #Constraints:     678879
2400.25/2408.14	c #Conflicts:     356000 | #Constraints:     679886
2400.25/2408.14	c #Conflicts:     357000 | #Constraints:     680895
2400.25/2408.14	c INPROCESSING
2400.25/2408.14	c GARBAGE COLLECT
2400.25/2408.14	c #Conflicts:     358000 | #Constraints:     669944
2400.25/2408.14	c #Conflicts:     359000 | #Constraints:     670958
2400.25/2408.14	c #Conflicts:     360000 | #Constraints:     671986
2400.25/2408.14	c #Conflicts:     361000 | #Constraints:     672999
2400.25/2408.14	c #Conflicts:     362000 | #Constraints:     674009
2400.25/2408.14	c #Conflicts:     363000 | #Constraints:     675028
2400.25/2408.14	c #Conflicts:     364000 | #Constraints:     676044
2400.25/2408.14	c #Conflicts:     365000 | #Constraints:     677053
2400.25/2408.14	c #Conflicts:     366000 | #Constraints:     678056
2400.25/2408.14	c #Conflicts:     367000 | #Constraints:     679074
2400.25/2408.14	c #Conflicts:     368000 | #Constraints:     680097
2400.25/2408.14	c #Conflicts:     369000 | #Constraints:     681118
2400.25/2408.14	c INPROCESSING
2400.25/2408.14	c GARBAGE COLLECT
2400.25/2408.14	c rational objective 177.981
2521.75/2530.07	c #Conflicts:     370000 | #Constraints:     669975
2521.75/2530.07	c #Conflicts:     371000 | #Constraints:     670993
2521.75/2530.07	c #Conflicts:     372000 | #Constraints:     672010
2521.75/2530.07	c #Conflicts:     373000 | #Constraints:     673036
2521.75/2530.07	c #Conflicts:     374000 | #Constraints:     674039
2521.75/2530.07	c #Conflicts:     375000 | #Constraints:     675051
2521.75/2530.07	c #Conflicts:     376000 | #Constraints:     676065
2521.75/2530.07	c #Conflicts:     377000 | #Constraints:     677077
2521.75/2530.07	c #Conflicts:     378000 | #Constraints:     678095
2521.75/2530.07	c #Conflicts:     379000 | #Constraints:     679108
2521.75/2530.07	c #Conflicts:     380000 | #Constraints:     680115
2521.75/2530.07	c #Conflicts:     381000 | #Constraints:     681133
2521.75/2530.07	c INPROCESSING
2521.75/2530.07	c GARBAGE COLLECT
2521.75/2530.07	c #Conflicts:     382000 | #Constraints:     669772
2521.75/2530.07	c #Conflicts:     383000 | #Constraints:     670772
2521.75/2530.07	c #Conflicts:     384000 | #Constraints:     671772
2521.75/2530.07	c #Conflicts:     385000 | #Constraints:     672772
2521.75/2530.07	c #Conflicts:     386000 | #Constraints:     673772
2521.75/2530.07	c #Conflicts:     387000 | #Constraints:     674773
2521.75/2530.07	c #Conflicts:     388000 | #Constraints:     675773
2521.75/2530.07	c #Conflicts:     389000 | #Constraints:     676773
2521.75/2530.07	c #Conflicts:     390000 | #Constraints:     677773
2521.75/2530.07	c #Conflicts:     391000 | #Constraints:     678774
2521.75/2530.07	c #Conflicts:     392000 | #Constraints:     679774
2521.75/2530.07	c #Conflicts:     393000 | #Constraints:     680774
2521.75/2530.07	c #Conflicts:     394000 | #Constraints:     681774
2521.75/2530.07	c INPROCESSING
2521.75/2530.07	c GARBAGE COLLECT
2521.75/2530.07	c rational objective 177.981
2596.71/2605.25	c #Conflicts:     395000 | #Constraints:     670311
2596.71/2605.25	c #Conflicts:     396000 | #Constraints:     671354
2596.71/2605.25	c #Conflicts:     397000 | #Constraints:     672402
2596.71/2605.25	c #Conflicts:     398000 | #Constraints:     673428
2596.71/2605.25	c #Conflicts:     399000 | #Constraints:     674435
2596.71/2605.25	c #Conflicts:     400000 | #Constraints:     675442
2596.71/2605.25	c #Conflicts:     401000 | #Constraints:     676458
2596.71/2605.25	c #Conflicts:     402000 | #Constraints:     677472
2596.71/2605.25	c #Conflicts:     403000 | #Constraints:     678482
2596.71/2605.25	c #Conflicts:     404000 | #Constraints:     679492
2596.71/2605.25	c #Conflicts:     405000 | #Constraints:     680520
2596.71/2605.25	c #Conflicts:     406000 | #Constraints:     681541
2596.71/2605.25	c #Conflicts:     407000 | #Constraints:     682550
2596.71/2605.25	c INPROCESSING
2596.71/2605.25	c GARBAGE COLLECT
2596.71/2605.25	c rational objective 177.992
2687.91/2696.79	c #Conflicts:     408000 | #Constraints:     670773
2687.91/2696.79	c #Conflicts:     409000 | #Constraints:     671776
2687.91/2696.79	c #Conflicts:     410000 | #Constraints:     672789
2687.91/2696.79	c #Conflicts:     411000 | #Constraints:     673792
2687.91/2696.79	c #Conflicts:     412000 | #Constraints:     674809
2687.91/2696.79	c #Conflicts:     413000 | #Constraints:     675834
2687.91/2696.79	c #Conflicts:     414000 | #Constraints:     676850
2687.91/2696.79	c #Conflicts:     415000 | #Constraints:     677871
2687.91/2696.79	c #Conflicts:     416000 | #Constraints:     678887
2687.91/2696.79	c #Conflicts:     417000 | #Constraints:     679913
2687.91/2696.79	c #Conflicts:     418000 | #Constraints:     680932
2687.91/2696.79	c #Conflicts:     419000 | #Constraints:     681952
2687.91/2696.79	c #Conflicts:     420000 | #Constraints:     682964
2687.91/2696.79	c INPROCESSING
2687.91/2696.79	c GARBAGE COLLECT
2687.91/2696.79	c rational objective 177.992
2755.50/2764.50	c #Conflicts:     421000 | #Constraints:     670989
2755.50/2764.50	c #Conflicts:     422000 | #Constraints:     671999
2755.50/2764.50	c #Conflicts:     423000 | #Constraints:     673014
2755.50/2764.50	c #Conflicts:     424000 | #Constraints:     674029
2755.50/2764.50	c #Conflicts:     425000 | #Constraints:     675040
2755.50/2764.50	c #Conflicts:     426000 | #Constraints:     676056
2755.50/2764.50	c #Conflicts:     427000 | #Constraints:     677074
2755.50/2764.50	c #Conflicts:     428000 | #Constraints:     678092
2755.50/2764.50	c #Conflicts:     429000 | #Constraints:     679104
2755.50/2764.50	c #Conflicts:     430000 | #Constraints:     680124
2755.50/2764.50	c #Conflicts:     431000 | #Constraints:     681148
2755.50/2764.50	c #Conflicts:     432000 | #Constraints:     682170
2755.50/2764.50	c #Conflicts:     433000 | #Constraints:     683180
2755.50/2764.50	c INPROCESSING
2755.50/2764.50	c GARBAGE COLLECT
2755.50/2764.50	c bounds 368 >= 27 @ 2740.38
2781.41/2790.58	c #Conflicts:     434000 | #Constraints:     671028
2781.41/2790.58	c #Conflicts:     435000 | #Constraints:     672039
2781.41/2790.58	c bounds 366 >= 27 @ 2766.3
2783.70/2792.80	c #Conflicts:     436000 | #Constraints:     673047
2783.70/2792.80	c bounds 366 >= 30 @ 2768.5
2861.02/2870.41	c #Conflicts:     437000 | #Constraints:     674050
2861.02/2870.41	c #Conflicts:     438000 | #Constraints:     675050
2861.02/2870.41	c #Conflicts:     439000 | #Constraints:     676050
2861.02/2870.41	c #Conflicts:     440000 | #Constraints:     677050
2861.02/2870.41	c #Conflicts:     441000 | #Constraints:     678050
2861.02/2870.41	c #Conflicts:     442000 | #Constraints:     679050
2861.02/2870.41	c #Conflicts:     443000 | #Constraints:     680050
2861.02/2870.41	c #Conflicts:     444000 | #Constraints:     681050
2861.02/2870.41	c #Conflicts:     445000 | #Constraints:     682050
2861.02/2870.41	c #Conflicts:     446000 | #Constraints:     683050
2861.02/2870.41	c INPROCESSING
2861.02/2870.41	c GARBAGE COLLECT
2861.02/2870.41	c rational objective 178.218
2952.33/2962.03	c #Conflicts:     447000 | #Constraints:     670738
2952.33/2962.03	c #Conflicts:     448000 | #Constraints:     671738
2952.33/2962.03	c #Conflicts:     449000 | #Constraints:     672738
2952.33/2962.03	c #Conflicts:     450000 | #Constraints:     673738
2952.33/2962.03	c #Conflicts:     451000 | #Constraints:     674738
2952.33/2962.03	c #Conflicts:     452000 | #Constraints:     675738
2952.33/2962.03	c #Conflicts:     453000 | #Constraints:     676738
2952.33/2962.03	c #Conflicts:     454000 | #Constraints:     677738
2952.33/2962.03	c #Conflicts:     455000 | #Constraints:     678738
2952.33/2962.03	c #Conflicts:     456000 | #Constraints:     679738
2952.33/2962.03	c #Conflicts:     457000 | #Constraints:     680739
2952.33/2962.03	c #Conflicts:     458000 | #Constraints:     681741
2952.33/2962.03	c #Conflicts:     459000 | #Constraints:     682745
2952.33/2962.03	c #Conflicts:     460000 | #Constraints:     683746
2952.33/2962.03	c INPROCESSING
2952.33/2962.03	c GARBAGE COLLECT
2952.33/2962.03	c rational objective 178.296
3043.02/3053.08	c #Conflicts:     461000 | #Constraints:     671298
3043.02/3053.08	c #Conflicts:     462000 | #Constraints:     672370
3043.02/3053.08	c #Conflicts:     463000 | #Constraints:     673604
3043.02/3053.08	c #Conflicts:     464000 | #Constraints:     674820
3043.02/3053.08	c bounds 364 >= 30 @ 3027.24
3043.13/3053.11	c bounds 364 >= 32 @ 3027.27
3191.63/3202.11	c #Conflicts:     465000 | #Constraints:     675855
3191.63/3202.11	c #Conflicts:     466000 | #Constraints:     676911
3191.63/3202.11	c #Conflicts:     467000 | #Constraints:     677974
3191.63/3202.11	c #Conflicts:     468000 | #Constraints:     679002
3191.63/3202.11	c #Conflicts:     469000 | #Constraints:     680101
3191.63/3202.11	c #Conflicts:     470000 | #Constraints:     681273
3191.63/3202.11	c #Conflicts:     471000 | #Constraints:     682328
3191.63/3202.11	c #Conflicts:     472000 | #Constraints:     683377
3191.63/3202.11	c #Conflicts:     473000 | #Constraints:     684467
3191.63/3202.11	c #Conflicts:     474000 | #Constraints:     685543
3191.63/3202.11	c INPROCESSING
3191.63/3202.11	c GARBAGE COLLECT
3191.63/3202.11	c rational objective 178.296
3540.86/3552.51	c #Conflicts:     475000 | #Constraints:     672273
3540.86/3552.51	c #Conflicts:     476000 | #Constraints:     673313
3540.86/3552.51	c #Conflicts:     477000 | #Constraints:     674338
3540.86/3552.51	c #Conflicts:     478000 | #Constraints:     675381
3540.86/3552.51	c #Conflicts:     479000 | #Constraints:     676424
3540.86/3552.51	c #Conflicts:     480000 | #Constraints:     677479
3540.86/3552.51	c #Conflicts:     481000 | #Constraints:     678494
3540.86/3552.51	c #Conflicts:     482000 | #Constraints:     679513
3540.86/3552.51	c #Conflicts:     483000 | #Constraints:     680549
3540.86/3552.51	c #Conflicts:     484000 | #Constraints:     681575
3540.86/3552.51	c #Conflicts:     485000 | #Constraints:     682614
3540.86/3552.51	c #Conflicts:     486000 | #Constraints:     683662
3540.86/3552.51	c #Conflicts:     487000 | #Constraints:     684700
3540.86/3552.51	c #Conflicts:     488000 | #Constraints:     685769
3540.86/3552.51	c INPROCESSING
3540.86/3552.51	c GARBAGE COLLECT
3540.86/3552.51	c #Conflicts:     489000 | #Constraints:     672388
3540.86/3552.51	c #Conflicts:     490000 | #Constraints:     673397
3540.86/3552.51	c #Conflicts:     491000 | #Constraints:     674405
3540.86/3552.51	c #Conflicts:     492000 | #Constraints:     675413
3540.86/3552.51	c #Conflicts:     493000 | #Constraints:     676420
3540.86/3552.51	c #Conflicts:     494000 | #Constraints:     677428
3540.86/3552.51	c #Conflicts:     495000 | #Constraints:     678435
3540.86/3552.51	c #Conflicts:     496000 | #Constraints:     679444
3540.86/3552.51	c #Conflicts:     497000 | #Constraints:     680451
3540.86/3552.51	c #Conflicts:     498000 | #Constraints:     681458
3540.86/3552.51	c #Conflicts:     499000 | #Constraints:     682464
3540.86/3552.51	c #Conflicts:     500000 | #Constraints:     683469
3540.86/3552.51	c #Conflicts:     501000 | #Constraints:     684477
3540.86/3552.51	c #Conflicts:     502000 | #Constraints:     685484
3540.86/3552.51	c INPROCESSING
3540.86/3552.51	c GARBAGE COLLECT
3540.86/3552.51	c rational objective 178.296
3550.72/3562.45	c bounds 363 >= 32 @ 3533.3
3600.07/3611.90	c #Conflicts:     503000 | #Constraints:     672144
3600.07/3611.90	c #Conflicts:     504000 | #Constraints:     673159
3600.07/3611.90	c #Conflicts:     505000 | #Constraints:     674168
3600.07/3611.90	c #Conflicts:     506000 | #Constraints:     675183
3600.07/3611.90	c #Conflicts:     507000 | #Constraints:     676193
3600.07/3611.90	c cpu time 3582.48 s
3600.07/3611.90	c deterministic time 205832475089 2.06e+11
3600.07/3611.90	c optimization time 49.523 s
3600.07/3611.90	c total solve time 3531.15 s
3600.07/3611.90	c core-guided solve time 3183.07 s
3600.07/3611.90	c propagation time 1730.96 s
3600.07/3611.90	c conflict analysis time 721.745 s
3600.07/3611.90	c propagations 59489201
3600.07/3611.90	c resolve steps 12498604
3600.07/3611.90	c decisions 11400391
3600.07/3611.90	c conflicts 507083
3600.07/3611.90	c restarts 1022
3600.07/3611.90	c inprocessing phases 62
3600.07/3611.90	c garbage collections 59 ,( 95.16 )
3600.07/3611.90	c input clauses 656902 ,( 99.98 )
3600.07/3611.90	c input cardinalities 9 ,( 0.00 )
3600.07/3611.90	c input general constraints 151 ,( 0.02 )
3600.07/3611.90	c input average constraint length 4.26
3600.07/3611.90	c input average constraint degree 101.48
3600.07/3611.90	c learned clauses 468232 ,( 91.05 )
3600.07/3611.90	c learned cardinalities 12 ,( 0.00 )
3600.07/3611.90	c learned general constraints 46028 ,( 8.95 )
3600.07/3611.90	c learned average constraint length 3276.52
3600.07/3611.90	c learned average constraint degree 38664577899.05
3600.07/3611.90	c watched  CF 32, 64, 128, Arb: 6230 , 0 , 0 , 0
3600.07/3611.90	c counting CF 32, 64, 128, Arb: 39950 , 0 , 0 , 0
3600.07/3611.90	c watched   constraints 6230 ,( 13.49 ) 
3600.07/3611.90	c counting  constraints 39949 ,( 86.51 ) 
3600.07/3611.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 271652639 , 803039 , 698579794 ,( 59847199 , 638732595 )
3600.07/3611.90	c gcd simplifications 1481
3600.07/3611.90	c detected cardinalities 0
3600.07/3611.90	c weakened non-implied lits 263266399
3600.07/3611.90	c weakened non-implying lits 62843
3600.07/3611.90	c original variables 10000
3600.07/3611.90	c clausal propagations 52789642
3600.07/3611.90	c cardinality propagations 63221
3600.07/3611.90	c watched propagations 74862
3600.07/3611.90	c counting propagations 5785820
3600.07/3611.90	c watch lookups 38331000577
3600.07/3611.90	c watch backjump lookups 0
3600.07/3611.90	c watch checks 15504676744
3600.07/3611.90	c propagation checks 148124241098
3600.07/3611.90	c constraint additions 3729542968
3600.07/3611.90	c trail pops 71386519
3600.07/3611.90	c formula constraints 656900
3600.07/3611.90	c learned constraints 506786
3600.07/3611.90	c bound constraints 142
3600.07/3611.90	c core-guided constraints 20
3600.07/3611.90	c encountered formula constraints 9541579
3600.07/3611.90	c encountered learned constraints 3380387
3600.07/3611.90	c encountered bound constraints 2670
3600.07/3611.90	c encountered core-guided constraints 31598
3600.07/3611.90	c LP total time 1920.72 s
3600.07/3611.90	c LP solve time 1559.3 s
3600.07/3611.90	c LP constraints added 656986
3600.07/3611.90	c LP constraints removed 55
3600.07/3611.90	c LP pivots internal 507142
3600.07/3611.90	c LP pivots root 230448
3600.07/3611.90	c LP calls 7522
3600.07/3611.90	c LP optimalities 301
3600.07/3611.90	c LP no pivot count 1
3600.07/3611.90	c LP infeasibilities 7177
3600.07/3611.90	c LP valid Farkas constraints 7170
3600.07/3611.90	c LP learned Farkas constraints 296
3600.07/3611.90	c LP basis resets 47
3600.07/3611.90	c LP cycling count 23
3600.07/3611.90	c LP singular count 12
3600.07/3611.90	c LP no primal count 0
3600.07/3611.90	c LP no farkas count 7
3600.07/3611.90	c LP other issue count 5
3600.07/3611.90	c LP Gomory cuts 20
3600.07/3611.90	c LP learned cuts 66
3600.07/3611.90	c LP deleted cuts 55
3600.07/3611.90	c LP encountered Gomory constraints 119
3600.07/3611.90	c LP encountered Farkas constraints 47914
3600.07/3611.90	c LP encountered learned Farkas constraints 1124
3600.07/3611.90	c CG auxiliary variables introduced 9
3600.07/3611.90	c CG solutions found 135
3600.07/3611.90	c CG cores constructed 7
3600.07/3611.90	c CG core cardinality constraints returned 0
3600.07/3611.90	c CG unit cores 0
3600.07/3611.90	c CG single cores 7
3600.07/3611.90	c CG blocks removed during cardinality reduction 0
3600.07/3611.90	c CG first core best 0
3600.07/3611.90	c CG decision core best 0
3600.07/3611.90	c CG core reduction tie 0
3600.07/3611.90	c CG core degree average 1.00
3600.07/3611.90	c CG core slack average 2297.71
3600.07/3611.90	c CG core upper bound improvements 0
3600.07/3611.90	c STR number of successful calls 0
3600.07/3611.90	c STR number of unsuccessful calls 0
3600.07/3611.90	c STR number of inconclusive calls 0
3600.07/3611.90	c STR number of successful attempts 0
3600.07/3611.90	c STR number of unsuccessful attempts 0
3600.07/3611.90	c STR number of inconclusive attempts 0
3600.07/3611.90	c STR average degree increase per successful call inf
3600.07/3611.90	c STR average degree increase per successful attempt inf
3600.07/3611.90	c STR total number of conflicts for successful attempts 0
3600.07/3611.90	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.90	c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.90	c STR average number of conflicts per successful attempt inf
3600.07/3611.90	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.90	c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.90	c AVG.sumWPerc 85.28 
3600.07/3611.90	c bigint constraints 0 
3600.07/3611.90	o 363
3600.07/3611.90	s SATISFIABLE
3600.07/3611.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.07/3611.90	c Program interrupted by user.

Verifier Data 

OK	363

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489740-1751368684/watcher-4489740-1751368684 -o /tmp/evaluation-result-4489740-1751368684/solver-4489740-1751368684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60713 --watchdog 3760 run-opt-break.sh HOME/instance-4489740-1751368684.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=60770, runsolver pid=60752

[startup+0.100056 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128133036/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60773] ppid=60770 vsize=163536 memory=146960 CPUtime=0.07 cores=5,7
/proc/60773/stat : 60773 (pbsuma) R 60770 60770 60700 0 -1 4194304 4029 0 0 0 5 2 0 0 20 0 1 0 52545982 167460864 36740 18446744073709551615 4210688 4653049 140729348298304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 11927552 140729348307299 140729348307506 140729348307506 140729348313071 0
/proc/60773/statm: 40884 36740 960 108 0 38292 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167728 KiB
Current children cumulated memory: 150032 KiB

[startup+0.204754 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128074568/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60773] ppid=60770 vsize=180920 memory=167400 CPUtime=0.18 cores=5,7
/proc/60773/stat : 60773 (pbsuma) R 60770 60770 60700 0 -1 4194304 8814 0 0 0 14 4 0 0 20 0 1 0 52545982 185262080 41850 18446744073709551615 4210688 4653049 140729348298304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 11927552 140729348307299 140729348307506 140729348307506 140729348313071 0
/proc/60773/statm: 45230 41850 960 108 0 42638 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185112 KiB
Current children cumulated memory: 170472 KiB

[startup+0.304933 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128006524/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60773] ppid=60770 vsize=194784 memory=182180 CPUtime=0.28 cores=5,7
/proc/60773/stat : 60773 (pbsuma) R 60770 60770 60700 0 -1 4194304 12021 0 0 0 24 4 0 0 20 0 1 0 52545982 199458816 45545 18446744073709551615 4210688 4653049 140729348298304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 11927552 140729348307299 140729348307506 140729348307506 140729348313071 0
/proc/60773/statm: 48696 45545 960 108 0 46104 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 185252 KiB

[startup+0.700157 s]
/proc/loadavg: 2.28 2.97 3.41 6/268 60773
/proc/meminfo: memFree=127691924/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60773] ppid=60770 vsize=320840 memory=275312 CPUtime=0.66 cores=5,7
/proc/60773/stat : 60773 (pbsuma) R 60770 60770 60700 0 -1 4194304 20996 0 0 0 59 7 0 0 20 0 1 0 52545982 328540160 68828 18446744073709551615 4210688 4653049 140729348298304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 11927552 140729348307299 140729348307506 140729348307506 140729348313071 0
/proc/60773/statm: 80210 68828 992 108 0 77618 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 325032 KiB
Current children cumulated memory: 278384 KiB

[startup+1.50015 s]
/proc/loadavg: 2.28 2.97 3.41 6/268 60777
/proc/meminfo: memFree=128147752/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=79216 memory=35932 CPUtime=0.5 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 5957 0 0 0 34 16 0 0 20 0 1 0 52546078 81117184 8983 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 19804 8983 1888 1147 0 7231 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 83408 KiB
Current children cumulated memory: 39004 KiB

[startup+3.1047 s]
/proc/loadavg: 2.28 2.97 3.41 6/268 60777
/proc/meminfo: memFree=127149504/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=445504 memory=394240 CPUtime=2.11 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 27106 0 0 0 156 55 0 0 20 0 1 0 52546078 456196096 98560 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 111376 98560 2208 1147 0 98803 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 449696 KiB
Current children cumulated memory: 397312 KiB

[startup+6.30015 s]
/proc/loadavg: 2.42 2.99 3.42 6/268 60777
/proc/meminfo: memFree=125686060/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=913988 memory=651968 CPUtime=5.29 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 45945 0 0 0 459 70 0 0 20 0 1 0 52546078 935923712 162992 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 228497 162992 2336 1147 0 215924 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 918180 KiB
Current children cumulated memory: 655040 KiB

[startup+12.7001 s]
/proc/loadavg: 2.55 3.00 3.42 6/268 60777
/proc/meminfo: memFree=125610460/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=1094224 memory=778456 CPUtime=11.67 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 50121 0 0 0 1069 98 0 0 20 0 1 0 52546078 1120485376 194614 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 273556 194614 2368 1147 0 260983 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1098416 KiB
Current children cumulated memory: 781528 KiB

[startup+25.5002 s]
/proc/loadavg: 2.77 3.04 3.43 6/268 60777
/proc/meminfo: memFree=125350184/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=1173092 memory=858268 CPUtime=24.43 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 55569 0 0 0 2316 127 0 0 20 0 1 0 52546078 1201246208 214567 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 293273 214567 2400 1147 0 280700 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1177284 KiB
Current children cumulated memory: 861340 KiB

[startup+51.1053 s]
/proc/loadavg: 3.32 3.15 3.45 6/269 60779
/proc/meminfo: memFree=124782888/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=1340160 memory=1004624 CPUtime=49.95 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 78913 0 0 0 4838 157 0 0 20 0 1 0 52546078 1372323840 251156 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 335040 251156 2400 1147 0 322467 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1344352 KiB
Current children cumulated memory: 1007696 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 3.30 3.49 6/269 60780
/proc/meminfo: memFree=124114612/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=1756280 memory=1410856 CPUtime=100.99 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 140791 0 0 0 9906 193 0 0 20 0 1 0 52546078 1798430720 352714 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 439070 352714 2400 1147 0 426497 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1760472 KiB
Current children cumulated memory: 1413928 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.43 3.52 6/269 60784
/proc/meminfo: memFree=123972892/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=1779372 memory=1434032 CPUtime=160.79 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 142468 0 0 0 15843 236 0 0 20 0 1 0 52546078 1822076928 358508 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 444843 358508 2400 1147 0 432270 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1783564 KiB
Current children cumulated memory: 1437104 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.56 3.57 6/269 60786
/proc/meminfo: memFree=122842116/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=1901672 memory=1560972 CPUtime=220.59 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 149470 0 0 0 21791 268 0 0 20 0 1 0 52546078 1947312128 390243 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 475418 390243 2400 1147 0 462845 0

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

[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=4300464 memory=3836676 CPUtime=3091.22 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 541316 0 0 0 307611 1511 0 0 20 0 1 0 52546078 4403675136 959169 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1075116 959169 2528 1147 0 1062543 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 4304656 KiB
Current children cumulated memory: 3839748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/268 60946
/proc/meminfo: memFree=116004784/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=4945656 memory=4101836 CPUtime=3151.03 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 571732 0 0 0 313576 1527 0 0 20 0 1 0 52546078 5064351744 1025459 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1236414 1025459 2528 1147 0 1223841 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 4949848 KiB
Current children cumulated memory: 4104908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.69 4.26 4.11 6/269 60950
/proc/meminfo: memFree=115996380/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=4952260 memory=4098224 CPUtime=3210.82 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 576939 0 0 0 319543 1539 0 0 20 0 1 0 52546078 5071114240 1024556 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1238065 1024556 2528 1147 0 1225492 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 4956452 KiB
Current children cumulated memory: 4101296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.22 4.10 6/269 60958
/proc/meminfo: memFree=115841788/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=4952260 memory=4098224 CPUtime=3270.63 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 577355 0 0 0 325513 1550 0 0 20 0 1 0 52546078 5071114240 1024556 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1238065 1024556 2528 1147 0 1225492 0
Current children cumulated CPU time: 3271.57 s
Current children cumulated vsize: 4956452 KiB
Current children cumulated memory: 4101296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.11 6/269 60961
/proc/meminfo: memFree=115832236/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=4938152 memory=4094728 CPUtime=3330.41 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 582598 0 0 0 331477 1564 0 0 20 0 1 0 52546078 5056667648 1023682 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1234538 1023682 2528 1147 0 1221965 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 4942344 KiB
Current children cumulated memory: 4097800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.49 4.33 4.15 6/268 60963
/proc/meminfo: memFree=115325336/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=5666012 memory=4574484 CPUtime=3390.21 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 691569 0 0 0 337430 1591 0 0 20 0 1 0 52546078 5801996288 1143621 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1416503 1143621 2528 1147 0 1403930 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 5670204 KiB
Current children cumulated memory: 4577556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.28 4.15 6/268 60965
/proc/meminfo: memFree=114490180/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=6635220 memory=5371724 CPUtime=3450.02 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 844300 0 0 0 343377 1625 0 0 20 0 1 0 52546078 6794465280 1342931 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1658805 1342931 2528 1147 0 1646232 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 6639412 KiB
Current children cumulated memory: 5374796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.24 4.14 6/267 60967
/proc/meminfo: memFree=114010556/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=6991908 memory=5799424 CPUtime=3509.83 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 916486 0 0 0 349335 1648 0 0 20 0 1 0 52546078 7159713792 1449856 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1747977 1449856 2528 1147 0 1735404 0
Current children cumulated CPU time: 3510.77 s
Current children cumulated vsize: 6996100 KiB
Current children cumulated memory: 5802496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.23 4.14 6/267 60969
/proc/meminfo: memFree=113955908/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=6982388 memory=5790168 CPUtime=3569.63 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 921676 0 0 0 355301 1662 0 0 20 0 1 0 52546078 7149965312 1447542 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1745597 1447542 2528 1147 0 1733024 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 6986580 KiB
Current children cumulated memory: 5793240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.09 4.21 4.14 3/254 60980
/proc/meminfo: memFree=122792720/131250000 swapFree=33010684/33010684
[pid=60770] ppid=60752 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/60770/stat : 60770 (run-opt-break.s) S 60752 60770 60700 0 -1 4194304 238 28411 0 0 0 0 83 11 20 0 1 0 52545981 4292608 768 18446744073709551615 94357779038208 94357779932741 140728978792704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357780171792 94357780219536 94357800042496 140728978798945 140728978799074 140728978799074 140728978804676 0
/proc/60770/statm: 1048 768 704 219 0 110 0
[pid=60777] ppid=60770 vsize=6997784 memory=5795252 CPUtime=3599.13 cores=5,7
/proc/60777/stat : 60777 (roundingsat) R 60770 60770 60700 0 -1 4194304 922120 0 0 0 358248 1665 0 0 20 0 1 0 52546078 7165730816 1448813 18446744073709551615 4227072 8923433 140726468036544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140726468041060 140726468041256 140726468041256 140726468046826 0
/proc/60777/statm: 1749446 1448813 2528 1147 0 1736873 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 7001976 KiB
Current children cumulated memory: 5798324 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3583.33 s, system=16.9237 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+3612 s]*
/proc/loadavg: 4.17 4.22 4.14 5/260 61013
/proc/meminfo: memFree=126773024/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.956114 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): 3612.06
CPU time (s): 3600.25
CPU user time (s): 3583.33
CPU system time (s): 16.9237
CPU usage (%): 99.673
Max. virtual memory (cumulated for all children) (KiB): 7104588
Max. memory (cumulated for all children) (KiB): 5911008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.33
system time used= 16.9237
maximum resident set size= 5910972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 950790
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= 235
involuntary context switches= 1896


# summary of solver processes directly reported to runsolver:
#   pid: 60770,60777
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3583.33
#   total CPU system time (s): 16.9237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90799 second user time and 14.0664 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-01 13:18:04
IDJOB=4489740
IDBENCH=147562
IDSOLVER=3359
FILE ID=nodeC016/4489740-1751368684
RUNJOBID= nodeC016-1751368684-60713
SLURM_JOB_ID= 9598185
Free space on /tmp= 432996 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489740-1751368684/watcher-4489740-1751368684 -o /tmp/evaluation-result-4489740-1751368684/solver-4489740-1751368684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60713 --watchdog 3760  run-opt-break.sh HOME/instance-4489740-1751368684.opb

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=615101040

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128677860 kB
MemAvailable:   129732672 kB
Buffers:            3280 kB
Cached:          1857716 kB
SwapCached:            0 kB
Active:           344348 kB
Inactive:        1587228 kB
Active(anon):      88976 kB
Inactive(anon):        0 kB
Active(file):     255372 kB
Inactive(file):  1587228 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95904 kB
Writeback:             0 kB
AnonPages:         74004 kB
Mapped:           103396 kB
Shmem:             18072 kB
KReclaimable:     102904 kB
Slab:             190452 kB
SReclaimable:     102904 kB
SUnreclaim:        87548 kB
KernelStack:        3940 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC016 at 2025-07-01 14:18:17