Trace number 4489695

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22adSAT (TO)377 3600.37 3621.28

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
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-4489695-1751370004.opb'
0.28/0.34	c 	read 17.23MB  (321.72ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.35	c output proof to 'PROOFDIR/proof-4489695-1751370004'
0.28/0.35	c 
0.28/0.35	c make graph and approximate orbits
0.66/0.72	c	 [group: #orbits ~= 0] (372.80ms)
0.66/0.72	c 
0.66/0.72	c detect special group actions
0.66/0.72	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.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.75	c 	 (25.03ms)
0.66/0.75	c 
0.66/0.75	c detect symmetries on remainder
0.66/0.75	c 	[graph: #vertices 706711 #edges 2766420]
0.66/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.76/0.80	c 	 [group: #symmetries 1.00*10^0 #generators 0] (54.16ms)
0.76/0.80	c 
0.76/0.80	c finalize break order and special generators
0.76/0.80	c 
0.76/0.80	c generation finished
0.76/0.80	c 	[sbp: #constraints 0 #add_vars 0]
0.76/0.80	c 
0.76/0.80	c write result to 'HOME/instance-4489695-1751370004.opb.pre'
0.76/0.84	c 	wrote 17.23MB (35.75ms)
0.76/0.84	c ------------------------------------------------------------------
0.76/0.84	c                 372.80ms 45.76% approx_orbits
0.76/0.84	c                 321.72ms 39.49% parse
0.76/0.84	c                  54.16ms  6.65% detect_generic
0.76/0.84	c                  35.75ms  4.39% output
0.76/0.84	c                  25.03ms  3.07% detect_special
0.76/0.84	c                   4.77ms  0.59% other
0.76/0.84	c                   0.38ms  0.05% finalize_order
0.76/0.84	c         ───────────────────────────────────────────────
0.76/0.84	c                 814.61ms   100% total
0.76/0.84	c ------------------------------------------------------------------
0.94/1.00	c RoundingSat 2
0.94/1.00	c branch pb25
0.94/1.00	c commit 63f22ad
4.32/4.46	c #variables 10000 #constraints 656900
4.32/4.46	c objective is ce32 
4.32/4.46	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.32/4.46	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.32/4.46	c bounds - >= 0 @ 2.76792
6.50/6.60	c rational objective 197.264
11.09/11.24	c bounds 7000 >= 0 @ 9.39512
11.09/11.25	c bounds 6719 >= 0 @ 9.40204
11.09/11.26	c bounds 6677 >= 0 @ 9.40733
11.09/11.27	c bounds 6642 >= 0 @ 9.41201
11.09/11.28	c bounds 6534 >= 0 @ 9.4181
11.09/11.28	c bounds 6263 >= 0 @ 9.42366
11.09/11.29	c bounds 6152 >= 0 @ 9.42766
11.20/11.30	c bounds 5931 >= 0 @ 9.4329
11.20/11.31	c bounds 5862 >= 0 @ 9.44254
11.20/11.32	c bounds 5840 >= 0 @ 9.45097
11.20/11.33	c bounds 5779 >= 0 @ 9.45727
11.20/11.34	c bounds 5048 >= 0 @ 9.4619
11.20/11.35	c bounds 5004 >= 0 @ 9.46687
11.20/11.36	c bounds 4613 >= 0 @ 9.47262
11.20/11.37	c bounds 4529 >= 0 @ 9.47618
11.20/11.37	c bounds 4512 >= 0 @ 9.48287
11.20/11.38	c bounds 4327 >= 0 @ 9.48946
11.20/11.39	c bounds 4141 >= 0 @ 9.49639
11.30/11.40	c bounds 4053 >= 0 @ 9.50214
11.30/11.41	c bounds 4045 >= 0 @ 9.5099
11.30/11.42	c bounds 3902 >= 0 @ 9.51385
11.30/11.43	c bounds 3888 >= 0 @ 9.52097
11.30/11.44	c bounds 3819 >= 0 @ 9.52596
11.30/11.45	c bounds 3812 >= 0 @ 9.53394
11.30/11.47	c bounds 3803 >= 0 @ 9.54789
11.30/11.48	c bounds 3658 >= 0 @ 9.5541
11.30/11.49	c bounds 3546 >= 0 @ 9.55793
11.39/11.52	c bounds 3538 >= 0 @ 9.58178
11.39/11.53	c bounds 3488 >= 0 @ 9.58915
11.39/11.54	c bounds 3476 >= 0 @ 9.59744
11.39/11.54	c bounds 3471 >= 0 @ 9.60263
11.39/11.57	c bounds 3431 >= 0 @ 9.62691
11.39/11.58	c bounds 3343 >= 0 @ 9.63541
11.39/11.59	c bounds 3315 >= 0 @ 9.63978
11.49/11.60	c bounds 3250 >= 0 @ 9.64612
11.49/11.61	c bounds 3142 >= 0 @ 9.65289
11.49/11.62	c bounds 3079 >= 0 @ 9.66273
11.49/11.64	c bounds 3048 >= 0 @ 9.68606
11.49/11.65	c bounds 2977 >= 0 @ 9.69292
11.49/11.66	c bounds 2889 >= 0 @ 9.70209
11.49/11.68	c bounds 2850 >= 0 @ 9.70949
11.49/11.69	c bounds 2785 >= 0 @ 9.71791
11.59/11.70	c bounds 2728 >= 0 @ 9.72191
11.69/11.83	c bounds 2726 >= 0 @ 9.85547
11.69/11.85	c bounds 2703 >= 0 @ 9.87441
11.69/11.89	c bounds 2685 >= 0 @ 9.90303
11.69/11.89	c bounds 2679 >= 0 @ 9.90986
11.79/11.92	c bounds 2660 >= 0 @ 9.93289
11.79/11.95	c bounds 2659 >= 0 @ 9.95921
11.79/11.96	c bounds 2626 >= 0 @ 9.96316
11.79/11.97	c bounds 2593 >= 0 @ 9.96946
12.39/12.56	c bounds 2586 >= 0 @ 10.5478
12.48/12.65	c bounds 2585 >= 0 @ 10.6341
12.58/12.76	c bounds 2584 >= 0 @ 10.7411
12.79/12.95	c bounds 2550 >= 0 @ 10.92
13.29/13.42	c bounds 2547 >= 0 @ 11.3813
13.38/13.53	c bounds 2510 >= 0 @ 11.4943
13.78/13.92	c bounds 2504 >= 0 @ 11.866
13.78/13.94	c bounds 2491 >= 0 @ 11.886
13.78/13.95	c bounds 2358 >= 0 @ 11.8936
13.78/13.96	c bounds 2284 >= 0 @ 11.8999
13.78/13.97	c bounds 2256 >= 0 @ 11.9074
13.78/13.98	c bounds 2210 >= 0 @ 11.9148
13.78/13.99	c bounds 2202 >= 0 @ 11.9204
13.89/14.01	c bounds 2170 >= 0 @ 11.9348
13.89/14.02	c bounds 2163 >= 0 @ 11.9454
13.89/14.05	c bounds 2162 >= 0 @ 11.9645
13.89/14.06	c bounds 2119 >= 0 @ 11.9745
13.99/14.11	c bounds 2117 >= 0 @ 12.0178
14.08/14.20	c bounds 2108 >= 0 @ 12.1144
14.18/14.37	c bounds 2101 >= 0 @ 12.2815
14.18/14.39	c bounds 2078 >= 0 @ 12.2887
14.28/14.40	c bounds 1993 >= 0 @ 12.2993
14.38/14.55	c bounds 1982 >= 0 @ 12.4369
14.38/14.56	c bounds 1969 >= 0 @ 12.4436
14.38/14.57	c bounds 1944 >= 0 @ 12.4557
14.48/14.62	c bounds 1940 >= 0 @ 12.4971
14.69/14.84	c bounds 1937 >= 0 @ 12.7096
14.78/14.94	c bounds 1907 >= 0 @ 12.8087
14.78/14.95	c bounds 1858 >= 0 @ 12.8148
14.78/14.97	c bounds 1835 >= 0 @ 12.8226
14.78/14.99	c bounds 1832 >= 0 @ 12.8409
14.78/15.00	c bounds 1800 >= 0 @ 12.8476
14.89/15.01	c bounds 1783 >= 0 @ 12.8556
14.89/15.07	c bounds 1776 >= 0 @ 12.9096
14.89/15.09	c bounds 1746 >= 0 @ 12.9215
14.99/15.10	c bounds 1678 >= 0 @ 12.9309
14.99/15.11	c bounds 1665 >= 0 @ 12.9409
14.99/15.13	c bounds 1585 >= 0 @ 12.952
14.99/15.14	c bounds 1580 >= 0 @ 12.9589
14.99/15.15	c bounds 1578 >= 0 @ 12.9656
14.99/15.17	c bounds 1569 >= 0 @ 12.9824
15.08/15.26	c bounds 1500 >= 0 @ 13.0675
15.08/15.28	c bounds 1486 >= 0 @ 13.0786
15.08/15.29	c bounds 1426 >= 0 @ 13.0848
15.19/15.30	c bounds 1421 >= 0 @ 13.0929
15.39/15.53	c bounds 1283 >= 0 @ 13.3094
15.48/15.64	c bounds 1278 >= 0 @ 13.4188
15.48/15.65	c bounds 1214 >= 0 @ 13.4289
15.48/15.67	c bounds 1202 >= 0 @ 13.4359
15.48/15.68	c bounds 1130 >= 0 @ 13.444
15.58/15.74	c #Conflicts:       1000 | #Constraints:     658014
15.58/15.74	c bounds 1128 >= 0 @ 13.5008
15.58/15.77	c bounds 1024 >= 0 @ 13.521
15.58/15.78	c bounds 1020 >= 0 @ 13.5308
15.68/15.81	c bounds 1013 >= 0 @ 13.5562
15.68/15.82	c bounds 1012 >= 0 @ 13.563
15.68/15.89	c bounds 1007 >= 0 @ 13.6264
15.78/15.91	c bounds 933 >= 0 @ 13.6442
15.89/16.05	c bounds 859 >= 0 @ 13.7607
15.89/16.06	c bounds 849 >= 0 @ 13.7719
15.89/16.08	c bounds 838 >= 0 @ 13.7873
15.98/16.17	c bounds 825 >= 0 @ 13.8755
16.08/16.20	c bounds 805 >= 0 @ 13.8939
16.08/16.21	c bounds 802 >= 0 @ 13.9061
16.08/16.22	c bounds 799 >= 0 @ 13.9164
17.08/17.26	c bounds 732 >= 0 @ 14.9118
17.08/17.28	c bounds 725 >= 0 @ 14.9263
26.95/27.14	c #Conflicts:       2000 | #Constraints:     659031
26.95/27.14	c INPROCESSING
26.95/27.14	c GARBAGE COLLECT
26.95/27.14	c bounds 721 >= 0 @ 24.7243
28.54/28.70	c bounds 713 >= 0 @ 26.2557
28.74/28.97	c bounds 712 >= 0 @ 26.5229
28.74/29.00	c bounds 663 >= 0 @ 26.5431
30.14/30.37	c #Conflicts:       3000 | #Constraints:     658917
30.14/30.37	c bounds 602 >= 0 @ 27.8845
30.14/30.38	c bounds 602 >= 9 @ 27.892
33.93/34.15	c #Conflicts:       4000 | #Constraints:     659921
33.93/34.15	c INPROCESSING
33.93/34.15	c GARBAGE COLLECT
33.93/34.15	c bounds 596 >= 9 @ 31.5979
33.93/34.16	c bounds 595 >= 9 @ 31.609
33.93/34.19	c bounds 586 >= 9 @ 31.6366
34.42/34.69	c bounds 583 >= 9 @ 32.1247
36.23/36.45	c bounds 436 >= 9 @ 33.8339
46.06/46.39	c #Conflicts:       5000 | #Constraints:     659325
46.06/46.39	c #Conflicts:       6000 | #Constraints:     660325
46.06/46.39	c INPROCESSING
46.06/46.39	c GARBAGE COLLECT
46.06/46.39	c bounds 432 >= 9 @ 43.6058
53.34/53.65	c #Conflicts:       7000 | #Constraints:     659324
53.34/53.65	c bounds 431 >= 9 @ 50.7278
61.42/61.77	c #Conflicts:       8000 | #Constraints:     660327
61.42/61.77	c #Conflicts:       9000 | #Constraints:     661327
61.42/61.77	c INPROCESSING
61.42/61.77	c rational objective 199.794
76.37/76.73	c #Conflicts:      10000 | #Constraints:     660033
76.37/76.73	c #Conflicts:      11000 | #Constraints:     661033
76.37/76.73	c #Conflicts:      12000 | #Constraints:     662033
76.37/76.73	c INPROCESSING
76.37/76.73	c GARBAGE COLLECT
76.37/76.73	c rational objective 200.907
91.93/92.33	c #Conflicts:      13000 | #Constraints:     660487
91.93/92.33	c #Conflicts:      14000 | #Constraints:     661487
91.93/92.33	c #Conflicts:      15000 | #Constraints:     662487
91.93/92.33	c INPROCESSING
91.93/92.33	c GARBAGE COLLECT
91.93/92.33	c rational objective 202.159
110.46/110.94	c #Conflicts:      16000 | #Constraints:     660723
110.46/110.94	c #Conflicts:      17000 | #Constraints:     661723
110.46/110.94	c #Conflicts:      18000 | #Constraints:     662723
110.46/110.94	c INPROCESSING
110.46/110.94	c GARBAGE COLLECT
110.46/110.94	c rational objective 202.546
136.59/137.14	c #Conflicts:      19000 | #Constraints:     660746
136.59/137.14	c #Conflicts:      20000 | #Constraints:     661746
136.59/137.14	c #Conflicts:      21000 | #Constraints:     662746
136.59/137.14	c INPROCESSING
136.59/137.14	c GARBAGE COLLECT
136.59/137.14	c #Conflicts:      22000 | #Constraints:     660553
136.59/137.14	c #Conflicts:      23000 | #Constraints:     661553
136.59/137.14	c #Conflicts:      24000 | #Constraints:     662553
136.59/137.14	c #Conflicts:      25000 | #Constraints:     663553
136.59/137.14	c INPROCESSING
136.59/137.14	c GARBAGE COLLECT
136.59/137.14	c rational objective 203.055
157.91/158.57	c #Conflicts:      26000 | #Constraints:     661160
157.91/158.57	c #Conflicts:      27000 | #Constraints:     662160
157.91/158.57	c #Conflicts:      28000 | #Constraints:     663160
157.91/158.57	c #Conflicts:      29000 | #Constraints:     664160
157.91/158.57	c INPROCESSING
157.91/158.57	c GARBAGE COLLECT
157.91/158.57	c rational objective 203.056
179.51/180.28	c #Conflicts:      30000 | #Constraints:     661562
179.51/180.28	c #Conflicts:      31000 | #Constraints:     662562
179.51/180.28	c #Conflicts:      32000 | #Constraints:     663562
179.51/180.28	c #Conflicts:      33000 | #Constraints:     664562
179.51/180.28	c INPROCESSING
179.51/180.28	c GARBAGE COLLECT
179.51/180.28	c rational objective 203.136
199.25/200.02	c #Conflicts:      34000 | #Constraints:     661770
199.25/200.02	c #Conflicts:      35000 | #Constraints:     662770
199.25/200.02	c #Conflicts:      36000 | #Constraints:     663770
199.25/200.02	c #Conflicts:      37000 | #Constraints:     664770
199.25/200.02	c INPROCESSING
199.25/200.02	c GARBAGE COLLECT
199.25/200.02	c rational objective 203.536
220.78/221.65	c #Conflicts:      38000 | #Constraints:     661777
220.78/221.65	c #Conflicts:      39000 | #Constraints:     662777
220.78/221.65	c #Conflicts:      40000 | #Constraints:     663777
220.78/221.65	c #Conflicts:      41000 | #Constraints:     664777
220.78/221.65	c INPROCESSING
220.78/221.65	c GARBAGE COLLECT
220.78/221.65	c rational objective 203.536
247.27/248.24	c #Conflicts:      42000 | #Constraints:     661575
247.27/248.24	c #Conflicts:      43000 | #Constraints:     662575
247.27/248.24	c #Conflicts:      44000 | #Constraints:     663575
247.27/248.24	c #Conflicts:      45000 | #Constraints:     664575
247.27/248.24	c #Conflicts:      46000 | #Constraints:     665575
247.27/248.24	c INPROCESSING
247.27/248.24	c GARBAGE COLLECT
247.27/248.24	c rational objective 203.536
270.89/271.99	c #Conflicts:      47000 | #Constraints:     662173
270.89/271.99	c #Conflicts:      48000 | #Constraints:     663173
270.89/271.99	c #Conflicts:      49000 | #Constraints:     664173
270.89/271.99	c #Conflicts:      50000 | #Constraints:     665173
270.89/271.99	c #Conflicts:      51000 | #Constraints:     666173
270.89/271.99	c INPROCESSING
270.89/271.99	c GARBAGE COLLECT
270.89/271.99	c rational objective 203.539
293.82/294.90	c #Conflicts:      52000 | #Constraints:     662582
293.82/294.90	c #Conflicts:      53000 | #Constraints:     663582
293.82/294.90	c #Conflicts:      54000 | #Constraints:     664582
293.82/294.90	c #Conflicts:      55000 | #Constraints:     665582
293.82/294.90	c #Conflicts:      56000 | #Constraints:     666582
293.82/294.90	c INPROCESSING
293.82/294.90	c GARBAGE COLLECT
293.82/294.90	c rational objective 203.584
319.06/320.24	c #Conflicts:      57000 | #Constraints:     662785
319.06/320.24	c #Conflicts:      58000 | #Constraints:     663785
319.06/320.24	c #Conflicts:      59000 | #Constraints:     664785
319.06/320.24	c #Conflicts:      60000 | #Constraints:     665785
319.06/320.24	c #Conflicts:      61000 | #Constraints:     666785
319.06/320.24	c INPROCESSING
319.06/320.24	c GARBAGE COLLECT
319.06/320.24	c rational objective 203.879
324.75/325.99	c bounds 426 >= 9 @ 320.289
324.85/326.01	c bounds 425 >= 9 @ 320.304
327.95/329.19	c bounds 424 >= 9 @ 323.398
328.04/329.21	c bounds 424 >= 14 @ 323.407
328.04/329.22	c bounds 424 >= 19 @ 323.416
330.94/332.12	c #Conflicts:      62000 | #Constraints:     662793
330.94/332.12	c bounds 424 >= 24 @ 326.29
350.96/352.20	c #Conflicts:      63000 | #Constraints:     663802
350.96/352.20	c #Conflicts:      64000 | #Constraints:     664802
350.96/352.20	c #Conflicts:      65000 | #Constraints:     665802
350.96/352.20	c #Conflicts:      66000 | #Constraints:     666802
350.96/352.20	c INPROCESSING
350.96/352.20	c GARBAGE COLLECT
350.96/352.20	c rational objective 203.895
357.15/358.48	c bounds 423 >= 24 @ 352.321
357.25/358.51	c bounds 419 >= 24 @ 352.348
357.25/358.53	c bounds 418 >= 24 @ 352.364
368.00/369.39	c #Conflicts:      67000 | #Constraints:     662609
368.00/369.39	c bounds 417 >= 24 @ 362.973
368.11/369.41	c bounds 417 >= 28 @ 362.989
396.48/397.92	c #Conflicts:      68000 | #Constraints:     663619
396.48/397.92	c #Conflicts:      69000 | #Constraints:     664626
396.48/397.92	c #Conflicts:      70000 | #Constraints:     665627
396.48/397.92	c #Conflicts:      71000 | #Constraints:     666630
396.48/397.92	c #Conflicts:      72000 | #Constraints:     667636
396.48/397.92	c INPROCESSING
396.48/397.92	c GARBAGE COLLECT
396.48/397.92	c rational objective 203.961
428.49/430.10	c #Conflicts:      73000 | #Constraints:     663185
428.49/430.10	c #Conflicts:      74000 | #Constraints:     664185
428.49/430.10	c #Conflicts:      75000 | #Constraints:     665189
428.49/430.10	c #Conflicts:      76000 | #Constraints:     666194
428.49/430.10	c #Conflicts:      77000 | #Constraints:     667195
428.49/430.10	c #Conflicts:      78000 | #Constraints:     668196
428.49/430.10	c INPROCESSING
428.49/430.10	c GARBAGE COLLECT
428.49/430.10	c rational objective 203.967
435.07/436.76	c bounds 411 >= 28 @ 429.293
438.65/440.31	c bounds 410 >= 28 @ 432.731
466.56/472.55	c #Conflicts:      79000 | #Constraints:     663575
466.56/472.55	c #Conflicts:      80000 | #Constraints:     664575
466.56/472.55	c #Conflicts:      81000 | #Constraints:     665575
466.56/472.55	c #Conflicts:      82000 | #Constraints:     666575
466.56/472.55	c #Conflicts:      83000 | #Constraints:     667575
466.56/472.55	c #Conflicts:      84000 | #Constraints:     668575
466.56/472.55	c INPROCESSING
466.56/472.55	c GARBAGE COLLECT
466.56/472.55	c rational objective 203.967
472.82/478.86	c bounds 406 >= 28 @ 466.804
478.50/484.57	c bounds 404 >= 28 @ 472.392
478.50/484.58	c bounds 404 >= 30 @ 472.407
478.60/484.60	c bounds 404 >= 32 @ 472.418
478.60/484.62	c bounds 404 >= 34 @ 472.433
478.60/484.64	c bounds 404 >= 36 @ 472.442
478.60/484.66	c bounds 404 >= 38 @ 472.459
480.01/486.01	c bounds 404 >= 40 @ 473.784
480.50/486.51	c bounds 404 >= 42 @ 474.273
484.49/490.57	c #Conflicts:      85000 | #Constraints:     663826
484.49/490.57	c #Conflicts:      86000 | #Constraints:     664826
484.49/490.57	c bounds 404 >= 44 @ 478.277
518.49/524.63	c #Conflicts:      87000 | #Constraints:     665852
518.49/524.63	c #Conflicts:      88000 | #Constraints:     666856
518.49/524.63	c #Conflicts:      89000 | #Constraints:     667858
518.49/524.63	c bounds 403 >= 44 @ 511.559
527.06/533.28	c #Conflicts:      90000 | #Constraints:     668866
527.06/533.28	c INPROCESSING
527.06/533.28	c GARBAGE COLLECT
527.06/533.28	c rational objective 203.969
681.55/688.25	c #Conflicts:      91000 | #Constraints:     663837
681.55/688.25	c #Conflicts:      92000 | #Constraints:     664839
681.55/688.25	c #Conflicts:      93000 | #Constraints:     665839
681.55/688.25	c #Conflicts:      94000 | #Constraints:     666839
681.55/688.25	c #Conflicts:      95000 | #Constraints:     667839
681.55/688.25	c #Conflicts:      96000 | #Constraints:     668839
681.55/688.25	c INPROCESSING
681.55/688.25	c GARBAGE COLLECT
681.55/688.25	c rational objective 203.972
690.83/697.59	c #Conflicts:      97000 | #Constraints:     663630
690.83/697.59	c bounds 403 >= 46 @ 683.406
805.44/812.52	c #Conflicts:      98000 | #Constraints:     664651
805.44/812.52	c #Conflicts:      99000 | #Constraints:     665651
805.44/812.52	c #Conflicts:     100000 | #Constraints:     666652
805.44/812.52	c #Conflicts:     101000 | #Constraints:     667656
805.44/812.52	c #Conflicts:     102000 | #Constraints:     668657
805.44/812.52	c #Conflicts:     103000 | #Constraints:     669661
805.44/812.52	c INPROCESSING
805.44/812.52	c GARBAGE COLLECT
805.44/812.52	c rational objective 204.068
812.81/819.93	c bounds 401 >= 46 @ 804.886
817.80/824.92	c bounds 399 >= 46 @ 809.741
818.20/825.39	c bounds 398 >= 46 @ 810.201
836.74/844.00	c #Conflicts:     104000 | #Constraints:     664262
836.74/844.00	c #Conflicts:     105000 | #Constraints:     665280
836.74/844.00	c bounds 397 >= 46 @ 828.463
836.85/844.02	c bounds 397 >= 47 @ 828.479
836.85/844.04	c bounds 397 >= 48 @ 828.499
836.85/844.07	c bounds 397 >= 49 @ 828.516
836.85/844.10	c bounds 397 >= 50 @ 828.541
836.95/844.13	c bounds 397 >= 51 @ 828.564
836.95/844.16	c bounds 397 >= 52 @ 828.587
836.95/844.19	c bounds 397 >= 53 @ 828.617
837.05/844.24	c bounds 397 >= 54 @ 828.654
837.05/844.27	c bounds 397 >= 55 @ 828.68
837.14/844.32	c bounds 397 >= 56 @ 828.718
837.14/844.38	c bounds 397 >= 57 @ 828.773
837.24/844.41	c bounds 397 >= 58 @ 828.8
837.44/844.61	c bounds 397 >= 59 @ 828.986
839.83/847.10	c bounds 397 >= 60 @ 831.442
839.94/847.18	c bounds 397 >= 61 @ 831.522
840.04/847.26	c bounds 397 >= 62 @ 831.589
840.13/847.36	c bounds 397 >= 63 @ 831.688
840.23/847.49	c bounds 397 >= 64 @ 831.808
840.53/847.79	c bounds 397 >= 65 @ 832.099
841.13/848.30	c bounds 397 >= 66 @ 832.587
841.83/849.05	c #Conflicts:     106000 | #Constraints:     666473
841.83/849.05	c bounds 397 >= 67 @ 833.308
843.72/850.93	c bounds 397 >= 68 @ 835.132
847.71/854.90	c #Conflicts:     107000 | #Constraints:     667539
847.71/854.90	c bounds 397 >= 69 @ 838.997
852.80/860.05	c bounds 397 >= 70 @ 844.095
854.10/861.31	c #Conflicts:     108000 | #Constraints:     668614
854.10/861.31	c bounds 397 >= 71 @ 845.333
854.99/862.20	c bounds 397 >= 72 @ 846.201
855.89/863.12	c bounds 397 >= 73 @ 847.101
857.79/865.04	c #Conflicts:     109000 | #Constraints:     669671
857.79/865.04	c bounds 397 >= 74 @ 848.974
865.26/872.54	c bounds 397 >= 75 @ 856.383
1029.43/1037.21	c #Conflicts:     110000 | #Constraints:     670728
1029.43/1037.21	c INPROCESSING
1029.43/1037.21	c GARBAGE COLLECT
1029.43/1037.21	c bounds 397 >= 76 @ 1020.31
1036.92/1044.75	c #Conflicts:     111000 | #Constraints:     665011
1036.92/1044.75	c bounds 397 >= 77 @ 1027.71
1051.37/1059.26	c #Conflicts:     112000 | #Constraints:     666038
1051.37/1059.26	c #Conflicts:     113000 | #Constraints:     667038
1051.37/1059.26	c bounds 397 >= 78 @ 1041.96
1054.46/1062.36	c bounds 397 >= 79 @ 1044.99
1057.15/1065.06	c #Conflicts:     114000 | #Constraints:     668113
1057.15/1065.06	c bounds 397 >= 80 @ 1047.61
1060.55/1068.48	c #Conflicts:     115000 | #Constraints:     669137
1060.55/1068.48	c bounds 397 >= 81 @ 1050.91
1075.49/1083.44	c #Conflicts:     116000 | #Constraints:     670158
1075.49/1083.44	c bounds 397 >= 82 @ 1065.66
1157.66/1165.82	c #Conflicts:     117000 | #Constraints:     671185
1157.66/1165.82	c INPROCESSING
1157.66/1165.82	c GARBAGE COLLECT
1157.66/1165.82	c #Conflicts:     118000 | #Constraints:     665251
1157.66/1165.82	c #Conflicts:     119000 | #Constraints:     666251
1157.66/1165.82	c bounds 397 >= 83 @ 1147.44
1168.72/1176.92	c #Conflicts:     120000 | #Constraints:     667312
1168.72/1176.92	c #Conflicts:     121000 | #Constraints:     668312
1168.72/1176.92	c bounds 397 >= 84 @ 1158.32
1179.40/1187.63	c #Conflicts:     122000 | #Constraints:     669357
1179.40/1187.63	c #Conflicts:     123000 | #Constraints:     670357
1179.40/1187.63	c #Conflicts:     124000 | #Constraints:     671357
1179.40/1187.63	c INPROCESSING
1179.40/1187.63	c GARBAGE COLLECT
1179.40/1187.63	c bounds 397 >= 85 @ 1168.73
1209.91/1218.21	c #Conflicts:     125000 | #Constraints:     665321
1209.91/1218.21	c #Conflicts:     126000 | #Constraints:     666321
1209.91/1218.21	c #Conflicts:     127000 | #Constraints:     667323
1209.91/1218.21	c #Conflicts:     128000 | #Constraints:     668324
1209.91/1218.21	c bounds 397 >= 86 @ 1198.81
1236.44/1244.83	c #Conflicts:     129000 | #Constraints:     669381
1236.44/1244.83	c #Conflicts:     130000 | #Constraints:     670381
1236.44/1244.83	c #Conflicts:     131000 | #Constraints:     671381
1236.44/1244.83	c bounds 397 >= 87 @ 1224.93
1263.56/1272.02	c INPROCESSING
1263.56/1272.02	c GARBAGE COLLECT
1263.56/1272.02	c rational objective 204.069
1275.91/1284.46	c #Conflicts:     132000 | #Constraints:     665138
1275.91/1284.46	c bounds 396 >= 87 @ 1264.24
1300.75/1309.38	c #Conflicts:     133000 | #Constraints:     666141
1300.75/1309.38	c #Conflicts:     134000 | #Constraints:     667141
1300.75/1309.38	c #Conflicts:     135000 | #Constraints:     668141
1300.75/1309.38	c #Conflicts:     136000 | #Constraints:     669141
1300.75/1309.38	c bounds 396 >= 88 @ 1288.62
1336.94/1345.67	c #Conflicts:     137000 | #Constraints:     670201
1336.94/1345.67	c #Conflicts:     138000 | #Constraints:     671201
1336.94/1345.67	c #Conflicts:     139000 | #Constraints:     672202
1336.94/1345.67	c INPROCESSING
1336.94/1345.67	c GARBAGE COLLECT
1336.94/1345.67	c rational objective 204.083
1342.34/1351.02	c bounds 395 >= 88 @ 1329.86
1353.41/1362.18	c #Conflicts:     140000 | #Constraints:     665733
1353.41/1362.18	c #Conflicts:     141000 | #Constraints:     666733
1353.41/1362.18	c bounds 394 >= 88 @ 1340.86
1363.38/1372.17	c #Conflicts:     142000 | #Constraints:     667734
1363.38/1372.17	c #Conflicts:     143000 | #Constraints:     668734
1363.38/1372.17	c bounds 394 >= 89 @ 1350.61
1390.70/1399.55	c #Conflicts:     144000 | #Constraints:     669777
1390.70/1399.55	c #Conflicts:     145000 | #Constraints:     670777
1390.70/1399.55	c #Conflicts:     146000 | #Constraints:     671777
1390.70/1399.55	c #Conflicts:     147000 | #Constraints:     672777
1390.70/1399.55	c INPROCESSING
1390.70/1399.55	c GARBAGE COLLECT
1390.70/1399.55	c rational objective 204.083
1431.79/1440.73	c #Conflicts:     148000 | #Constraints:     666150
1431.79/1440.73	c bounds 394 >= 90 @ 1418.29
1454.52/1463.59	c #Conflicts:     149000 | #Constraints:     667198
1454.52/1463.59	c #Conflicts:     150000 | #Constraints:     668198
1454.52/1463.59	c #Conflicts:     151000 | #Constraints:     669198
1454.52/1463.59	c #Conflicts:     152000 | #Constraints:     670198
1454.52/1463.59	c bounds 394 >= 91 @ 1440.49
1525.91/1535.16	c #Conflicts:     153000 | #Constraints:     671240
1525.91/1535.16	c #Conflicts:     154000 | #Constraints:     672240
1525.91/1535.16	c #Conflicts:     155000 | #Constraints:     673240
1525.91/1535.16	c INPROCESSING
1525.91/1535.16	c GARBAGE COLLECT
1525.91/1535.16	c #Conflicts:     156000 | #Constraints:     666411
1525.91/1535.16	c #Conflicts:     157000 | #Constraints:     667411
1525.91/1535.16	c bounds 394 >= 92 @ 1511.04
1689.79/1699.57	c #Conflicts:     158000 | #Constraints:     668453
1689.79/1699.57	c #Conflicts:     159000 | #Constraints:     669453
1689.79/1699.57	c #Conflicts:     160000 | #Constraints:     670453
1689.79/1699.57	c #Conflicts:     161000 | #Constraints:     671453
1689.79/1699.57	c #Conflicts:     162000 | #Constraints:     672453
1689.79/1699.57	c #Conflicts:     163000 | #Constraints:     673453
1689.79/1699.57	c INPROCESSING
1689.79/1699.57	c GARBAGE COLLECT
1689.79/1699.57	c rational objective 204.083
1696.78/1706.51	c bounds 393 >= 92 @ 1680.87
1723.00/1732.82	c #Conflicts:     164000 | #Constraints:     666424
1723.00/1732.82	c #Conflicts:     165000 | #Constraints:     667424
1723.00/1732.82	c bounds 392 >= 92 @ 1706.78
1749.03/1758.90	c #Conflicts:     166000 | #Constraints:     668530
1749.03/1758.90	c #Conflicts:     167000 | #Constraints:     669530
1749.03/1758.90	c #Conflicts:     168000 | #Constraints:     670530
1749.03/1758.90	c #Conflicts:     169000 | #Constraints:     671530
1749.03/1758.90	c bounds 392 >= 93 @ 1732.32
1768.67/1778.68	c #Conflicts:     170000 | #Constraints:     672578
1768.67/1778.68	c #Conflicts:     171000 | #Constraints:     673578
1768.67/1778.68	c INPROCESSING
1768.67/1778.68	c GARBAGE COLLECT
1768.67/1778.68	c rational objective 204.08
1833.00/1843.12	c #Conflicts:     172000 | #Constraints:     666296
1833.00/1843.12	c #Conflicts:     173000 | #Constraints:     667296
1833.00/1843.12	c #Conflicts:     174000 | #Constraints:     668296
1833.00/1843.12	c #Conflicts:     175000 | #Constraints:     669296
1833.00/1843.12	c #Conflicts:     176000 | #Constraints:     670296
1833.00/1843.12	c #Conflicts:     177000 | #Constraints:     671296
1833.00/1843.12	c #Conflicts:     178000 | #Constraints:     672297
1833.00/1843.12	c bounds 392 >= 94 @ 1814.98
1858.32/1868.56	c #Conflicts:     179000 | #Constraints:     673336
1858.32/1868.56	c #Conflicts:     180000 | #Constraints:     674336
1858.32/1868.56	c INPROCESSING
1858.32/1868.56	c GARBAGE COLLECT
1858.32/1868.56	c rational objective 204.08
2072.15/2083.08	c #Conflicts:     181000 | #Constraints:     666890
2072.15/2083.08	c #Conflicts:     182000 | #Constraints:     667890
2072.15/2083.08	c #Conflicts:     183000 | #Constraints:     668890
2072.15/2083.08	c #Conflicts:     184000 | #Constraints:     669890
2072.15/2083.08	c #Conflicts:     185000 | #Constraints:     670890
2072.15/2083.08	c #Conflicts:     186000 | #Constraints:     671890
2072.15/2083.08	c #Conflicts:     187000 | #Constraints:     672890
2072.15/2083.08	c #Conflicts:     188000 | #Constraints:     673890
2072.15/2083.08	c #Conflicts:     189000 | #Constraints:     674891
2072.15/2083.08	c INPROCESSING
2072.15/2083.08	c GARBAGE COLLECT
2072.15/2083.08	c #Conflicts:     190000 | #Constraints:     667266
2072.15/2083.08	c #Conflicts:     191000 | #Constraints:     668272
2072.15/2083.08	c #Conflicts:     192000 | #Constraints:     669276
2072.15/2083.08	c bounds 391 >= 94 @ 2052
2104.64/2115.64	c #Conflicts:     193000 | #Constraints:     670281
2104.64/2115.64	c #Conflicts:     194000 | #Constraints:     671281
2104.64/2115.64	c #Conflicts:     195000 | #Constraints:     672281
2104.64/2115.64	c #Conflicts:     196000 | #Constraints:     673281
2104.64/2115.64	c bounds 391 >= 95 @ 2083.9
2141.93/2153.05	c #Conflicts:     197000 | #Constraints:     674330
2141.93/2153.05	c #Conflicts:     198000 | #Constraints:     675336
2141.93/2153.05	c INPROCESSING
2141.93/2153.05	c GARBAGE COLLECT
2141.93/2153.05	c rational objective 204.08
2282.69/2294.27	c #Conflicts:     199000 | #Constraints:     667516
2282.69/2294.27	c #Conflicts:     200000 | #Constraints:     668517
2282.69/2294.27	c #Conflicts:     201000 | #Constraints:     669517
2282.69/2294.27	c #Conflicts:     202000 | #Constraints:     670519
2282.69/2294.27	c #Conflicts:     203000 | #Constraints:     671519
2282.69/2294.27	c #Conflicts:     204000 | #Constraints:     672519
2282.69/2294.27	c #Conflicts:     205000 | #Constraints:     673521
2282.69/2294.27	c #Conflicts:     206000 | #Constraints:     674521
2282.69/2294.27	c #Conflicts:     207000 | #Constraints:     675521
2282.69/2294.27	c INPROCESSING
2282.69/2294.27	c GARBAGE COLLECT
2282.69/2294.27	c rational objective 204.08
2371.04/2382.82	c #Conflicts:     208000 | #Constraints:     667501
2371.04/2382.82	c #Conflicts:     209000 | #Constraints:     668555
2371.04/2382.82	c #Conflicts:     210000 | #Constraints:     669617
2371.04/2382.82	c #Conflicts:     211000 | #Constraints:     670629
2371.04/2382.82	c #Conflicts:     212000 | #Constraints:     671631
2371.04/2382.82	c #Conflicts:     213000 | #Constraints:     672635
2371.04/2382.82	c #Conflicts:     214000 | #Constraints:     673638
2371.04/2382.82	c #Conflicts:     215000 | #Constraints:     674640
2371.04/2382.82	c #Conflicts:     216000 | #Constraints:     675644
2371.04/2382.82	c INPROCESSING
2371.04/2382.82	c GARBAGE COLLECT
2371.04/2382.82	c rational objective 204.08
2722.53/2735.40	c #Conflicts:     217000 | #Constraints:     667364
2722.53/2735.40	c #Conflicts:     218000 | #Constraints:     668364
2722.53/2735.40	c #Conflicts:     219000 | #Constraints:     669364
2722.53/2735.40	c #Conflicts:     220000 | #Constraints:     670383
2722.53/2735.40	c #Conflicts:     221000 | #Constraints:     671393
2722.53/2735.40	c #Conflicts:     222000 | #Constraints:     672396
2722.53/2735.40	c #Conflicts:     223000 | #Constraints:     673396
2722.53/2735.40	c #Conflicts:     224000 | #Constraints:     674405
2722.53/2735.40	c #Conflicts:     225000 | #Constraints:     675414
2722.53/2735.40	c #Conflicts:     226000 | #Constraints:     676418
2722.53/2735.40	c INPROCESSING
2722.53/2735.40	c GARBAGE COLLECT
2722.53/2735.40	c #Conflicts:     227000 | #Constraints:     667940
2722.53/2735.40	c #Conflicts:     228000 | #Constraints:     668940
2722.53/2735.40	c #Conflicts:     229000 | #Constraints:     669940
2722.53/2735.40	c #Conflicts:     230000 | #Constraints:     670940
2722.53/2735.40	c #Conflicts:     231000 | #Constraints:     671940
2722.53/2735.40	c #Conflicts:     232000 | #Constraints:     672940
2722.53/2735.40	c #Conflicts:     233000 | #Constraints:     673940
2722.53/2735.40	c #Conflicts:     234000 | #Constraints:     674940
2722.53/2735.40	c #Conflicts:     235000 | #Constraints:     675941
2722.53/2735.40	c #Conflicts:     236000 | #Constraints:     676942
2722.53/2735.40	c INPROCESSING
2722.53/2735.40	c GARBAGE COLLECT
2722.53/2735.40	c rational objective 204.08
2801.68/2814.88	c #Conflicts:     237000 | #Constraints:     668267
2801.68/2814.88	c #Conflicts:     238000 | #Constraints:     669267
2801.68/2814.88	c #Conflicts:     239000 | #Constraints:     670267
2801.68/2814.88	c #Conflicts:     240000 | #Constraints:     671267
2801.68/2814.88	c #Conflicts:     241000 | #Constraints:     672267
2801.68/2814.88	c #Conflicts:     242000 | #Constraints:     673267
2801.68/2814.88	c #Conflicts:     243000 | #Constraints:     674267
2801.68/2814.88	c bounds 391 >= 96 @ 2774.71
2921.23/2934.71	c #Conflicts:     244000 | #Constraints:     675312
2921.23/2934.71	c #Conflicts:     245000 | #Constraints:     676312
2921.23/2934.71	c #Conflicts:     246000 | #Constraints:     677312
2921.23/2934.71	c INPROCESSING
2921.23/2934.71	c GARBAGE COLLECT
2921.23/2934.71	c #Conflicts:     247000 | #Constraints:     668497
2921.23/2934.71	c #Conflicts:     248000 | #Constraints:     669497
2921.23/2934.71	c #Conflicts:     249000 | #Constraints:     670497
2921.23/2934.71	c #Conflicts:     250000 | #Constraints:     671497
2921.23/2934.71	c #Conflicts:     251000 | #Constraints:     672497
2921.23/2934.71	c #Conflicts:     252000 | #Constraints:     673497
2921.23/2934.71	c #Conflicts:     253000 | #Constraints:     674497
2921.23/2934.71	c #Conflicts:     254000 | #Constraints:     675497
2921.23/2934.71	c #Conflicts:     255000 | #Constraints:     676497
2921.23/2934.71	c #Conflicts:     256000 | #Constraints:     677497
2921.23/2934.71	c INPROCESSING
2921.23/2934.71	c GARBAGE COLLECT
2921.23/2934.71	c rational objective 204.085
2944.46/2958.02	c #Conflicts:     257000 | #Constraints:     668476
2944.46/2958.02	c #Conflicts:     258000 | #Constraints:     669476
2944.46/2958.02	c bounds 388 >= 96 @ 2915.26
2983.15/2996.84	c #Conflicts:     259000 | #Constraints:     670477
2983.15/2996.84	c #Conflicts:     260000 | #Constraints:     671477
2983.15/2996.84	c #Conflicts:     261000 | #Constraints:     672477
2983.15/2996.84	c #Conflicts:     262000 | #Constraints:     673477
2983.15/2996.84	c bounds 388 >= 97 @ 2953.32
3024.90/3038.74	c #Conflicts:     263000 | #Constraints:     674531
3024.90/3038.74	c #Conflicts:     264000 | #Constraints:     675531
3024.90/3038.74	c #Conflicts:     265000 | #Constraints:     676531
3024.90/3038.74	c #Conflicts:     266000 | #Constraints:     677531
3024.90/3038.74	c INPROCESSING
3024.90/3038.74	c GARBAGE COLLECT
3024.90/3038.74	c rational objective 204.085
3233.59/3248.08	c #Conflicts:     267000 | #Constraints:     668321
3233.59/3248.08	c #Conflicts:     268000 | #Constraints:     669322
3233.59/3248.08	c #Conflicts:     269000 | #Constraints:     670322
3233.59/3248.08	c #Conflicts:     270000 | #Constraints:     671322
3233.59/3248.08	c #Conflicts:     271000 | #Constraints:     672322
3233.59/3248.08	c #Conflicts:     272000 | #Constraints:     673322
3233.59/3248.08	c #Conflicts:     273000 | #Constraints:     674322
3233.59/3248.08	c #Conflicts:     274000 | #Constraints:     675323
3233.59/3248.08	c #Conflicts:     275000 | #Constraints:     676323
3233.59/3248.08	c #Conflicts:     276000 | #Constraints:     677323
3233.59/3248.08	c #Conflicts:     277000 | #Constraints:     678324
3233.59/3248.08	c INPROCESSING
3233.59/3248.08	c GARBAGE COLLECT
3233.59/3248.08	c #Conflicts:     278000 | #Constraints:     668920
3233.59/3248.08	c #Conflicts:     279000 | #Constraints:     669920
3233.59/3248.08	c #Conflicts:     280000 | #Constraints:     670920
3233.59/3248.08	c #Conflicts:     281000 | #Constraints:     671920
3233.59/3248.08	c #Conflicts:     282000 | #Constraints:     672920
3233.59/3248.08	c #Conflicts:     283000 | #Constraints:     673920
3233.59/3248.08	c #Conflicts:     284000 | #Constraints:     674920
3233.59/3248.08	c #Conflicts:     285000 | #Constraints:     675920
3233.59/3248.08	c #Conflicts:     286000 | #Constraints:     676920
3233.59/3248.08	c #Conflicts:     287000 | #Constraints:     677921
3233.59/3248.08	c #Conflicts:     288000 | #Constraints:     678921
3233.59/3248.08	c INPROCESSING
3233.59/3248.08	c GARBAGE COLLECT
3233.59/3248.08	c rational objective 204.085
3242.27/3256.76	c bounds 385 >= 97 @ 3207.96
3242.87/3257.33	c bounds 381 >= 97 @ 3208.51
3256.53/3271.03	c #Conflicts:     289000 | #Constraints:     669326
3256.53/3271.03	c #Conflicts:     290000 | #Constraints:     670331
3256.53/3271.03	c bounds 380 >= 97 @ 3221.91
3339.48/3354.22	c #Conflicts:     291000 | #Constraints:     671334
3339.48/3354.22	c #Conflicts:     292000 | #Constraints:     672334
3339.48/3354.22	c #Conflicts:     293000 | #Constraints:     673334
3339.48/3354.22	c #Conflicts:     294000 | #Constraints:     674334
3339.48/3354.22	c #Conflicts:     295000 | #Constraints:     675334
3339.48/3354.22	c #Conflicts:     296000 | #Constraints:     676336
3339.48/3354.22	c #Conflicts:     297000 | #Constraints:     677336
3339.48/3354.22	c #Conflicts:     298000 | #Constraints:     678336
3339.48/3354.22	c #Conflicts:     299000 | #Constraints:     679337
3339.48/3354.22	c INPROCESSING
3339.48/3354.22	c GARBAGE COLLECT
3339.48/3354.22	c rational objective 204.085
3447.02/3462.10	c #Conflicts:     300000 | #Constraints:     669522
3447.02/3462.10	c #Conflicts:     301000 | #Constraints:     670522
3447.02/3462.10	c #Conflicts:     302000 | #Constraints:     671523
3447.02/3462.10	c #Conflicts:     303000 | #Constraints:     672524
3447.02/3462.10	c #Conflicts:     304000 | #Constraints:     673524
3447.02/3462.10	c #Conflicts:     305000 | #Constraints:     674525
3447.02/3462.10	c #Conflicts:     306000 | #Constraints:     675525
3447.02/3462.10	c #Conflicts:     307000 | #Constraints:     676527
3447.02/3462.10	c #Conflicts:     308000 | #Constraints:     677527
3447.02/3462.10	c #Conflicts:     309000 | #Constraints:     678527
3447.02/3462.10	c bounds 380 >= 98 @ 3408.73
3447.42/3462.59	c bounds 379 >= 98 @ 3409.2
3563.56/3579.04	c #Conflicts:     310000 | #Constraints:     679594
3563.56/3579.04	c INPROCESSING
3563.56/3579.04	c GARBAGE COLLECT
3563.56/3579.04	c bounds 378 >= 98 @ 3525.12
3568.54/3584.06	c #Conflicts:     311000 | #Constraints:     669613
3568.54/3584.06	c bounds 377 >= 98 @ 3530.04
3600.04/3615.62	c #Conflicts:     312000 | #Constraints:     670614
3600.04/3615.62	c #Conflicts:     313000 | #Constraints:     671615
3600.04/3615.62	c #Conflicts:     314000 | #Constraints:     672615
3600.04/3615.62	c cpu time 3560.72 s
3600.04/3615.62	c deterministic time 62914088142 6.29e+10
3600.04/3615.62	c optimization time 31.7021 s
3600.04/3615.62	c total solve time 3526.25 s
3600.04/3615.62	c core-guided solve time 3019.41 s
3600.04/3615.62	c propagation time 1124.8 s
3600.04/3615.62	c conflict analysis time 976.416 s
3600.04/3615.62	c propagations 107904477
3600.04/3615.62	c resolve steps 5883676
3600.04/3615.62	c decisions 11016353
3600.04/3615.62	c conflicts 314538
3600.04/3615.62	c restarts 764
3600.04/3615.62	c inprocessing phases 47
3600.04/3615.62	c garbage collections 46 ,( 97.87 )
3600.04/3615.62	c input clauses 657346 ,( 99.81 )
3600.04/3615.62	c input cardinalities 513 ,( 0.08 )
3600.04/3615.62	c input general constraints 735 ,( 0.11 )
3600.04/3615.62	c input average constraint length 6.94
3600.04/3615.62	c input average constraint degree 119.94
3600.04/3615.62	c learned clauses 240918 ,( 76.46 )
3600.04/3615.62	c learned cardinalities 15 ,( 0.00 )
3600.04/3615.62	c learned general constraints 74137 ,( 23.53 )
3600.04/3615.62	c learned average constraint length 1667.25
3600.04/3615.62	c learned average constraint degree 20556197759.20
3600.04/3615.62	c watched  CF 32, 64, 128, Arb: 3002 , 0 , 0 , 0
3600.04/3615.62	c counting CF 32, 64, 128, Arb: 71871 , 0 , 0 , 0
3600.04/3615.62	c watched   constraints 3002 ,( 4.01 ) 
3600.04/3615.62	c counting  constraints 71870 ,( 95.99 ) 
3600.04/3615.62	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 76710184 , 3915344 , 886774638 ,( 24619433 , 862155205 )
3600.04/3615.62	c gcd simplifications 9761
3600.04/3615.62	c detected cardinalities 0
3600.04/3615.62	c weakened non-implied lits 820594264
3600.04/3615.62	c weakened non-implying lits 184519
3600.04/3615.62	c original variables 10000
3600.04/3615.62	c clausal propagations 19830593
3600.04/3615.62	c cardinality propagations 925524
3600.04/3615.62	c watched propagations 47962
3600.04/3615.62	c counting propagations 84512665
3600.04/3615.62	c watch lookups 6527952718
3600.04/3615.62	c watch backjump lookups 0
3600.04/3615.62	c watch checks 4308358426
3600.04/3615.62	c propagation checks 47335474034
3600.04/3615.62	c constraint additions 4503612120
3600.04/3615.62	c trail pops 119226268
3600.04/3615.62	c formula constraints 656900
3600.04/3615.62	c learned constraints 314365
3600.04/3615.62	c bound constraints 224
3600.04/3615.62	c core-guided constraints 1470
3600.04/3615.62	c encountered formula constraints 2409392
3600.04/3615.62	c encountered learned constraints 2131564
3600.04/3615.62	c encountered bound constraints 9780
3600.04/3615.62	c encountered core-guided constraints 1626218
3600.04/3615.62	c LP total time 2038.29 s
3600.04/3615.62	c LP solve time 1846.22 s
3600.04/3615.62	c LP constraints added 656989
3600.04/3615.62	c LP constraints removed 64
3600.04/3615.62	c LP pivots internal 315014
3600.04/3615.62	c LP pivots root 228731
3600.04/3615.62	c LP calls 846
3600.04/3615.62	c LP optimalities 288
3600.04/3615.62	c LP no pivot count 40
3600.04/3615.62	c LP infeasibilities 518
3600.04/3615.62	c LP valid Farkas constraints 508
3600.04/3615.62	c LP learned Farkas constraints 174
3600.04/3615.62	c LP basis resets 45
3600.04/3615.62	c LP cycling count 9
3600.04/3615.62	c LP singular count 16
3600.04/3615.62	c LP no primal count 0
3600.04/3615.62	c LP no farkas count 10
3600.04/3615.62	c LP other issue count 10
3600.04/3615.62	c LP Gomory cuts 23
3600.04/3615.62	c LP learned cuts 66
3600.04/3615.62	c LP deleted cuts 64
3600.04/3615.62	c LP encountered Gomory constraints 2376
3600.04/3615.62	c LP encountered Farkas constraints 18622
3600.04/3615.62	c LP encountered learned Farkas constraints 88
3600.04/3615.62	c CG auxiliary variables introduced 512
3600.04/3615.62	c CG solutions found 158
3600.04/3615.62	c CG cores constructed 66
3600.04/3615.62	c CG core cardinality constraints returned 0
3600.04/3615.62	c CG unit cores 0
3600.04/3615.62	c CG single cores 66
3600.04/3615.62	c CG blocks removed during cardinality reduction 0
3600.04/3615.62	c CG first core best 0
3600.04/3615.62	c CG decision core best 0
3600.04/3615.62	c CG core reduction tie 0
3600.04/3615.62	c CG core degree average 1.00
3600.04/3615.62	c CG core slack average 863.30
3600.04/3615.62	c CG core upper bound improvements 110
3600.04/3615.62	c STR number of successful calls 0
3600.04/3615.62	c STR number of unsuccessful calls 0
3600.04/3615.62	c STR number of inconclusive calls 0
3600.04/3615.62	c STR number of successful attempts 0
3600.04/3615.62	c STR number of unsuccessful attempts 0
3600.04/3615.62	c STR number of inconclusive attempts 0
3600.04/3615.62	c STR average degree increase per successful call inf
3600.04/3615.62	c STR average degree increase per successful attempt inf
3600.04/3615.62	c STR total number of conflicts for successful attempts 0
3600.04/3615.62	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3615.62	c STR total number of conflicts for inconclusive attempts 0
3600.04/3615.62	c STR average number of conflicts per successful attempt inf
3600.04/3615.62	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3615.62	c STR average number of conflicts per inconclusive attempt inf
3600.04/3615.62	c AVG.sumWPerc 91.86 
3600.04/3615.62	c bigint constraints 0 
3600.04/3615.62	o 377
3600.04/3615.62	s SATISFIABLE
3600.04/3615.62	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.04/3615.62	c Program interrupted by user.

Verifier Data 

OK	377

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (63020 MiB free)
  memory of node 1: 64507 MiB (63868 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 3.27 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129394688/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47994] ppid=47983 vsize=163008 memory=145872 CPUtime=0.06 cores=0,2
/proc/47994/stat : 47994 (pbsuma) R 47983 47983 47923 0 -1 4194304 3784 0 0 0 4 2 0 0 20 0 1 0 52680029 166920192 36468 18446744073709551615 4210688 4653049 140731725278752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 32903168 140731725281507 140731725281842 140731725281842 140731725287407 0
/proc/47994/statm: 40752 36468 960 108 0 38160 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 167200 KiB
Current children cumulated memory: 148816 KiB

[startup+0.205099 s]*
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129317948/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47994] ppid=47983 vsize=180392 memory=166132 CPUtime=0.17 cores=0,2
/proc/47994/stat : 47994 (pbsuma) R 47983 47983 47923 0 -1 4194304 8523 0 0 0 14 3 0 0 20 0 1 0 52680029 184721408 41533 18446744073709551615 4210688 4653049 140731725278752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 32903168 140731725281507 140731725281842 140731725281842 140731725287407 0
/proc/47994/statm: 45098 41533 960 108 0 42506 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184584 KiB
Current children cumulated memory: 169076 KiB

[startup+0.304879 s]*
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129229488/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47994] ppid=47983 vsize=194388 memory=180072 CPUtime=0.28 cores=0,2
/proc/47994/stat : 47994 (pbsuma) R 47983 47983 47923 0 -1 4194304 11501 0 0 0 24 4 0 0 20 0 1 0 52680029 199053312 45018 18446744073709551615 4210688 4653049 140731725278752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 32903168 140731725281507 140731725281842 140731725281842 140731725287407 0
/proc/47994/statm: 48597 45018 960 108 0 46005 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198580 KiB
Current children cumulated memory: 183016 KiB

[startup+0.700176 s]
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=128918604/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47994] ppid=47983 vsize=309824 memory=260588 CPUtime=0.66 cores=0,2
/proc/47994/stat : 47994 (pbsuma) R 47983 47983 47923 0 -1 4194304 21420 0 0 0 60 6 0 0 20 0 1 0 52680029 317259776 65147 18446744073709551615 4210688 4653049 140731725278752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 32903168 140731725281507 140731725281842 140731725281842 140731725287407 0
/proc/47994/statm: 77456 65147 992 108 0 74864 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 314016 KiB
Current children cumulated memory: 263532 KiB

[startup+1.50015 s]
/proc/loadavg: 3.33 3.92 4.03 2/268 48000
/proc/meminfo: memFree=129492084/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=77264 memory=32332 CPUtime=0.48 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 5791 0 0 0 39 9 0 0 20 0 1 0 52680126 79118336 8083 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 19316 8083 1920 1147 0 6743 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 35276 KiB

[startup+3.10465 s]
/proc/loadavg: 3.33 3.92 4.03 6/268 48000
/proc/meminfo: memFree=129241208/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=150160 memory=99524 CPUtime=2.08 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 21165 0 0 0 163 45 0 0 20 0 1 0 52680126 153763840 24881 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 37540 24881 1920 1147 0 24967 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 154352 KiB
Current children cumulated memory: 102468 KiB

[startup+6.3006 s]
/proc/loadavg: 3.39 3.92 4.03 6/268 48000
/proc/meminfo: memFree=126675824/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=914892 memory=667744 CPUtime=5.28 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 54642 0 0 0 452 76 0 0 20 0 1 0 52680126 936849408 166936 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 228723 166936 2272 1147 0 216150 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 919084 KiB
Current children cumulated memory: 670688 KiB

[startup+12.7002 s]
/proc/loadavg: 3.44 3.93 4.03 6/271 48004
/proc/meminfo: memFree=126642276/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=1086524 memory=759716 CPUtime=11.64 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 61224 0 0 0 1067 97 0 0 20 0 1 0 52680126 1112600576 189929 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 271631 189929 2368 1147 0 259058 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1090716 KiB
Current children cumulated memory: 762660 KiB

[startup+25.5002 s]
/proc/loadavg: 3.52 3.93 4.03 6/271 48004
/proc/meminfo: memFree=125919760/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=1170392 memory=845124 CPUtime=24.41 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 66815 0 0 0 2309 132 0 0 20 0 1 0 52680126 1198481408 211281 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 292598 211281 2368 1147 0 280025 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1174584 KiB
Current children cumulated memory: 848068 KiB

[startup+51.1055 s]
/proc/loadavg: 3.76 3.95 4.03 6/271 48004
/proc/meminfo: memFree=124845932/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=1255348 memory=944012 CPUtime=49.91 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 81511 0 0 0 4822 169 0 0 20 0 1 0 52680126 1285476352 236003 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 313837 236003 2368 1147 0 301264 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1259540 KiB
Current children cumulated memory: 946956 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.97 4.03 6/273 48008
/proc/meminfo: memFree=122969644/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=1366700 memory=1048656 CPUtime=100.96 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 89254 0 0 0 9887 209 0 0 20 0 1 0 52680126 1399500800 262164 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 341675 262164 2368 1147 0 329102 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1370892 KiB
Current children cumulated memory: 1051600 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.01 4.04 6/273 48010
/proc/meminfo: memFree=122476116/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=1387824 memory=1078212 CPUtime=160.76 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 92706 0 0 0 15820 256 0 0 20 0 1 0 52680126 1421131776 269553 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 346956 269553 2368 1147 0 334383 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1392016 KiB
Current children cumulated memory: 1081156 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 4.01 4.03 6/272 48012
/proc/meminfo: memFree=121353308/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=1474104 memory=1095848 CPUtime=220.53 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 94061 0 0 0 21767 286 0 0 20 0 1 0 52680126 1509482496 273962 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0

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

Current children cumulated memory: 2294048 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.18 4.12 6/273 48188
/proc/meminfo: memFree=18399524/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=2868664 memory=2291104 CPUtime=3326.67 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 385097 0 0 0 329151 3516 0 0 20 0 1 0 52680126 2937511936 572776 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717166 572776 2496 1147 0 704593 0
Current children cumulated CPU time: 3327.61 s
Current children cumulated vsize: 2872856 KiB
Current children cumulated memory: 2294048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 6/272 48190
/proc/meminfo: memFree=14806364/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=2868664 memory=2291104 CPUtime=3386.46 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 385111 0 0 0 335021 3625 0 0 20 0 1 0 52680126 2937511936 572776 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717166 572776 2496 1147 0 704593 0
Current children cumulated CPU time: 3387.4 s
Current children cumulated vsize: 2872856 KiB
Current children cumulated memory: 2294048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 6/273 48193
/proc/meminfo: memFree=11431368/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=2868664 memory=2291108 CPUtime=3446.28 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 405374 0 0 0 340890 3738 0 0 20 0 1 0 52680126 2937511936 572777 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717166 572777 2496 1147 0 704593 0
Current children cumulated CPU time: 3447.22 s
Current children cumulated vsize: 2872856 KiB
Current children cumulated memory: 2294052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 6/274 48200
/proc/meminfo: memFree=9234772/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=2868664 memory=2291236 CPUtime=3506.07 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 406858 0 0 0 346859 3748 0 0 20 0 1 0 52680126 2937511936 572809 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717166 572809 2496 1147 0 704593 0
Current children cumulated CPU time: 3507.01 s
Current children cumulated vsize: 2872856 KiB
Current children cumulated memory: 2294180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.18 4.12 6/275 48203
/proc/meminfo: memFree=6954944/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=2868664 memory=2291236 CPUtime=3565.9 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 407071 0 0 0 352831 3759 0 0 20 0 1 0 52680126 2937511936 572809 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717166 572809 2496 1147 0 704593 0
Current children cumulated CPU time: 3566.84 s
Current children cumulated vsize: 2872856 KiB
Current children cumulated memory: 2294180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.6 s]
/proc/loadavg: 4.27 4.18 4.12 7/275 48204
/proc/meminfo: memFree=5287200/131249996 swapFree=33010416/33010684
[pid=47983] ppid=47974 vsize=4192 memory=2944 CPUtime=0.94 cores=0,2
/proc/47983/stat : 47983 (run-opt-break-l) S 47974 47983 47923 0 -1 4194304 243 28951 0 0 0 0 84 10 20 0 1 0 52680028 4292608 736 18446744073709551615 93853077303296 93853078197829 140724577148576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93853078436880 93853078484624 93853088587776 140724577155349 140724577155550 140724577155550 140724577161152 0
/proc/47983/statm: 1048 736 672 219 0 110 0
[pid=47999] ppid=47983 vsize=2869052 memory=2291496 CPUtime=3599.1 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47983 47983 47923 0 -1 4194304 427428 0 0 0 356072 3838 0 0 20 0 1 0 52680126 2937909248 572874 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717263 572874 2496 1147 0 704690 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2873244 KiB
Current children cumulated memory: 2294440 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.846351 s, system=0.105687 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.25 4.18 4.12 4/274 48204
/proc/meminfo: memFree=5193552/131249996 swapFree=33010416/33010684
[pid=47999] ppid=47974 vsize=2869052 memory=2291624 CPUtime=3599.3 cores=0,2
/proc/47999/stat : 47999 (roundingsat) D 47974 47983 47923 0 -1 4194304 427429 0 2 0 356072 3858 0 0 20 0 1 0 52680126 2937909248 572906 18446744073709551615 4227072 8923433 140732438141104 0 0 256 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 9
/proc/47999/statm: 717263 572906 2528 1147 0 704690 0
??? kill 47999 sig 9
??? end of watcher thread

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

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3616 s]*
/proc/loadavg: 4.25 4.18 4.12 6/274 48204
/proc/meminfo: memFree=5268788/131249996 swapFree=33010416/33010684
[pid=47999] ppid=47974 vsize=2869052 memory=2291624 CPUtime=3599.27 cores=0,2
/proc/47999/stat : 47999 (roundingsat) R 47974 47983 47923 0 -1 4194304 427429 0 2 0 356072 3855 0 0 20 0 1 0 52680126 2937909248 572906 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717263 572906 2528 1147 0 704690 0
Current cumulated CPU time of completed processes: 0.952038 s
Current children cumulated CPU time: 3599.27 s
Current children cumulated vsize: 2869052 KiB
Current children cumulated memory: 2291624 KiB

[startup+3616.8 s]
/proc/loadavg: 4.25 4.18 4.12 6/274 48204
/proc/meminfo: memFree=5268788/131249996 swapFree=33010416/33010684
[pid=47999] ppid=47974 vsize=2869052 memory=2291624 CPUtime=3599.3 cores=0,2
/proc/47999/stat : 47999 (roundingsat) D 47974 47983 47923 0 -1 4194304 427429 0 2 0 356072 3858 0 0 20 0 1 0 52680126 2937909248 572906 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717263 572906 2528 1147 0 704690 0
Current cumulated CPU time of completed processes: 0.952038 s
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 2869052 KiB
Current children cumulated memory: 2291624 KiB

[startup+3617.2 s]
/proc/loadavg: 4.25 4.18 4.12 5/274 48204
/proc/meminfo: memFree=5215364/131249996 swapFree=33010416/33010684
[pid=47999] ppid=47974 vsize=2869052 memory=2291624 CPUtime=3599.3 cores=0,2
/proc/47999/stat : 47999 (roundingsat) D 47974 47983 47923 0 -1 4194304 427429 0 2 0 356072 3858 0 0 20 0 1 0 52680126 2937909248 572906 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717263 572906 2528 1147 0 704690 0
Current cumulated CPU time of completed processes: 0.952038 s
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 2869052 KiB
Current children cumulated memory: 2291624 KiB

[startup+3617.6 s]
/proc/loadavg: 4.25 4.18 4.12 5/274 48204
/proc/meminfo: memFree=5215364/131249996 swapFree=33010416/33010684
[pid=47999] ppid=47974 vsize=2869052 memory=2291624 CPUtime=3599.3 cores=0,2
/proc/47999/stat : 47999 (roundingsat) D 47974 47983 47923 0 -1 4194304 427429 0 2 0 356072 3858 0 0 20 0 1 0 52680126 2937909248 572906 18446744073709551615 4227072 8923433 140732438141104 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 39899136 140732438149396 140732438149672 140732438149672 140732438155242 0
/proc/47999/statm: 717263 572906 2528 1147 0 704690 0
Current cumulated CPU time of completed processes: 0.952038 s
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 2869052 KiB
Current children cumulated memory: 2291624 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3621.28
CPU time (s): 3600.37
CPU user time (s): 3561.58
CPU system time (s): 38.7901
CPU usage (%): 99.4224
Max. virtual memory (cumulated for all children) (KiB): 2954108
Max. memory (cumulated for all children) (KiB): 2371632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.58
system time used= 38.7901
maximum resident set size= 2368688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456623
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 73567216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60674
involuntary context switches= 10801


# summary of solver processes directly reported to runsolver:
#   pid: 47983,47999
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3561.58
#   total CPU system time (s): 38.7901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26603 second user time and 15.6332 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 13:40:04
IDJOB=4489695
IDBENCH=147561
IDSOLVER=3360
FILE ID=nodeC030/4489695-1751370004
RUNJOBID= nodeC030-1751370004-47933
SLURM_JOB_ID= 9598188
Free space on /tmp= 432972 MiB

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

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=1824616051

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129942084 kB
MemAvailable:   129791588 kB
Buffers:            2564 kB
Cached:           643452 kB
SwapCached:           16 kB
Active:           480220 kB
Inactive:         225576 kB
Active(anon):      73280 kB
Inactive(anon):     4548 kB
Active(file):     406940 kB
Inactive(file):   221028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95900 kB
Writeback:             4 kB
AnonPages:         63876 kB
Mapped:           103152 kB
Shmem:             18048 kB
KReclaimable:     121148 kB
Slab:             209292 kB
SReclaimable:     121148 kB
SUnreclaim:        88144 kB
KernelStack:        4064 kB
PageTables:         2688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     328896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432876 MiB
End job on nodeC030 at 2025-07-01 14:40:26