Trace number 4489694

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22adSAT (TO)370 3600.08 3609.94

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

Verifier Data 

OK	370

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61789 MiB free)
  memory of node 1: 64465 MiB (63872 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=60760, runsolver pid=60750

[startup+0.100063 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128158868/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60763] ppid=60760 vsize=162612 memory=145160 CPUtime=0.07 cores=4,6
/proc/60763/stat : 60763 (pbsuma) R 60760 60760 60700 0 -1 4194304 3612 0 0 0 5 2 0 0 20 0 1 0 52545979 166514688 36290 18446744073709551615 4210688 4653049 140720341549824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33071104 140720341555555 140720341555762 140720341555762 140720341561327 0
/proc/60763/statm: 40653 36290 928 108 0 38061 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166804 KiB
Current children cumulated memory: 148104 KiB

[startup+0.205011 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128094416/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60763] ppid=60760 vsize=179732 memory=165540 CPUtime=0.17 cores=4,6
/proc/60763/stat : 60763 (pbsuma) R 60760 60760 60700 0 -1 4194304 8394 0 0 0 14 3 0 0 20 0 1 0 52545979 184045568 41385 18446744073709551615 4210688 4653049 140720341549824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33071104 140720341555555 140720341555762 140720341555762 140720341561327 0
/proc/60763/statm: 44933 41385 928 108 0 42341 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 183924 KiB
Current children cumulated memory: 168484 KiB

[startup+0.305779 s]*
/proc/loadavg: 2.13 2.95 3.41 6/268 60773
/proc/meminfo: memFree=128030844/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60763] ppid=60760 vsize=193332 memory=179360 CPUtime=0.27 cores=4,6
/proc/60763/stat : 60763 (pbsuma) R 60760 60760 60700 0 -1 4194304 11351 0 0 0 23 4 0 0 20 0 1 0 52545979 197971968 44840 18446744073709551615 4210688 4653049 140720341549824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33071104 140720341555555 140720341555762 140720341555762 140720341561327 0
/proc/60763/statm: 48333 44840 928 108 0 45741 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 182304 KiB

[startup+0.700205 s]
/proc/loadavg: 2.28 2.97 3.41 6/268 60773
/proc/meminfo: memFree=127691924/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60763] ppid=60760 vsize=309796 memory=262940 CPUtime=0.66 cores=4,6
/proc/60763/stat : 60763 (pbsuma) R 60760 60760 60700 0 -1 4194304 20999 0 0 0 59 7 0 0 20 0 1 0 52545979 317231104 65735 18446744073709551615 4210688 4653049 140720341549824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33071104 140720341555555 140720341555762 140720341555762 140720341561327 0
/proc/60763/statm: 77449 65735 992 108 0 74857 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 313988 KiB
Current children cumulated memory: 265884 KiB

[startup+1.50016 s]
/proc/loadavg: 2.28 2.97 3.41 3/268 60776
/proc/meminfo: memFree=128058876/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=78296 memory=32888 CPUtime=0.49 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 5718 0 0 0 34 15 0 0 20 0 1 0 52546077 80175104 8222 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 19574 8222 1888 1147 0 7001 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 82488 KiB
Current children cumulated memory: 35832 KiB

[startup+3.10476 s]
/proc/loadavg: 2.28 2.97 3.41 6/268 60777
/proc/meminfo: memFree=127149504/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=442084 memory=368908 CPUtime=2.08 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 26412 0 0 0 151 57 0 0 20 0 1 0 52546077 452694016 92227 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 110521 92227 2208 1147 0 97948 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 446276 KiB
Current children cumulated memory: 371852 KiB

[startup+6.30014 s]
/proc/loadavg: 2.42 2.99 3.42 6/268 60777
/proc/meminfo: memFree=125686060/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=913868 memory=652468 CPUtime=5.27 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 46670 0 0 0 455 72 0 0 20 0 1 0 52546077 935800832 163117 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 228467 163117 2304 1147 0 215894 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 918060 KiB
Current children cumulated memory: 655412 KiB

[startup+12.7001 s]
/proc/loadavg: 2.55 3.00 3.42 6/268 60777
/proc/meminfo: memFree=125610460/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=1083840 memory=763144 CPUtime=11.65 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 52535 0 0 0 1065 100 0 0 20 0 1 0 52546077 1109852160 190786 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 270960 190786 2368 1147 0 258387 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1088032 KiB
Current children cumulated memory: 766088 KiB

[startup+25.5002 s]
/proc/loadavg: 2.77 3.04 3.43 6/268 60777
/proc/meminfo: memFree=125350184/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=1142728 memory=815708 CPUtime=24.41 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 57013 0 0 0 2317 124 0 0 20 0 1 0 52546077 1170153472 203927 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 285682 203927 2368 1147 0 273109 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1146920 KiB
Current children cumulated memory: 818652 KiB

[startup+51.105 s]
/proc/loadavg: 3.32 3.15 3.45 6/269 60779
/proc/meminfo: memFree=124782888/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=1314596 memory=965952 CPUtime=49.95 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 76947 0 0 0 4835 160 0 0 20 0 1 0 52546077 1346146304 241488 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 328649 241488 2368 1147 0 316076 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1318788 KiB
Current children cumulated memory: 968896 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 3.30 3.49 6/269 60780
/proc/meminfo: memFree=124114612/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=1327840 memory=1018432 CPUtime=101 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 78775 0 0 0 9907 193 0 0 20 0 1 0 52546077 1359708160 254608 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 331960 254608 2368 1147 0 319387 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1332032 KiB
Current children cumulated memory: 1021376 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.43 3.52 6/269 60784
/proc/meminfo: memFree=123972892/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=1343240 memory=1024840 CPUtime=160.84 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 79892 0 0 0 15841 243 0 0 20 0 1 0 52546077 1375477760 256210 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 335810 256210 2368 1147 0 323237 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1347432 KiB
Current children cumulated memory: 1027784 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.56 3.57 6/269 60786
/proc/meminfo: memFree=122842116/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=1424628 memory=1043392 CPUtime=220.68 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 80561 0 0 0 21801 267 0 0 20 0 1 0 52546077 1458819072 260848 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 356157 260848 2368 1147 0 343584 0
Current children cumulated CPU time: 221.63 s

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

/proc/60774/statm: 703383 559254 2464 1147 0 690810 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 2817724 KiB
Current children cumulated memory: 2239960 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/268 60946
/proc/meminfo: memFree=116004784/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2813532 memory=2237016 CPUtime=3152.65 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 289779 0 0 0 313856 1409 0 0 20 0 1 0 52546077 2881056768 559254 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 703383 559254 2464 1147 0 690810 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 2817724 KiB
Current children cumulated memory: 2239960 KiB

[startup+3222.3 s]
/proc/loadavg: 4.69 4.26 4.11 6/269 60950
/proc/meminfo: memFree=115996380/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2813532 memory=2237272 CPUtime=3212.47 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 289844 0 0 0 319823 1424 0 0 20 0 1 0 52546077 2881056768 559318 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 703383 559318 2464 1147 0 690810 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 2817724 KiB
Current children cumulated memory: 2240216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.22 4.10 6/269 60958
/proc/meminfo: memFree=115841788/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2813532 memory=2290144 CPUtime=3272.31 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 295505 0 0 0 325774 1457 0 0 20 0 1 0 52546077 2881056768 572536 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 703383 572536 2464 1147 0 690810 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 2817724 KiB
Current children cumulated memory: 2293088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.11 6/269 60961
/proc/meminfo: memFree=115831984/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2816684 memory=2293540 CPUtime=3332.15 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 295931 0 0 0 331749 1466 0 0 20 0 1 0 52546077 2884284416 573385 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 704171 573385 2464 1147 0 691598 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 2820876 KiB
Current children cumulated memory: 2296484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.49 4.33 4.15 6/268 60963
/proc/meminfo: memFree=115325336/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2816684 memory=2293540 CPUtime=3392 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 295931 0 0 0 337730 1470 0 0 20 0 1 0 52546077 2884284416 573385 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 704171 573385 2464 1147 0 691598 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 2820876 KiB
Current children cumulated memory: 2296484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.28 4.15 6/268 60965
/proc/meminfo: memFree=114490180/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2821256 memory=2287908 CPUtime=3451.84 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 301066 0 0 0 343689 1495 0 0 20 0 1 0 52546077 2888966144 571977 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 705314 571977 2464 1147 0 692741 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 2825448 KiB
Current children cumulated memory: 2290852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.24 4.14 6/267 60967
/proc/meminfo: memFree=114010556/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2821256 memory=2295204 CPUtime=3511.68 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 311541 0 0 0 349634 1534 0 0 20 0 1 0 52546077 2888966144 573801 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 705314 573801 2464 1147 0 692741 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 2825448 KiB
Current children cumulated memory: 2298148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.23 4.14 6/267 60969
/proc/meminfo: memFree=113955908/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2816124 memory=2293144 CPUtime=3571.53 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 317186 0 0 0 355580 1573 0 0 20 0 1 0 52546077 2883710976 573286 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 704031 573286 2464 1147 0 691458 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 2820316 KiB
Current children cumulated memory: 2296088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.09 4.21 4.14 6/267 60971
/proc/meminfo: memFree=113958508/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2828472 memory=2305412 CPUtime=3599.07 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 319752 0 0 0 358326 1581 0 0 20 0 1 0 52546077 2896355328 576353 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 707118 576353 2464 1147 0 694545 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2832664 KiB
Current children cumulated memory: 2308356 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3609.9 s]
/proc/loadavg: 4.09 4.21 4.14 6/267 60971
/proc/meminfo: memFree=113958508/131250000 swapFree=33010684/33010684
[pid=60760] ppid=60750 vsize=4192 memory=2944 CPUtime=0.95 cores=4,6
/proc/60760/stat : 60760 (run-opt-break.s) S 60750 60760 60700 0 -1 4194304 237 28184 0 0 0 0 84 11 20 0 1 0 52545978 4292608 736 18446744073709551615 94499804483584 94499805378117 140720392596000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94499805617168 94499805664912 94499810115584 140720392604001 140720392604130 140720392604130 140720392609732 0
/proc/60760/statm: 1048 736 672 219 0 110 0
[pid=60774] ppid=60760 vsize=2828472 memory=2305412 CPUtime=3599.07 cores=4,6
/proc/60774/stat : 60774 (roundingsat) R 60760 60760 60700 0 -1 4194304 319752 0 0 0 358326 1581 0 0 20 0 1 0 52546077 2896355328 576353 18446744073709551615 4227072 8923433 140734578276224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13856768 140734578284900 140734578285096 140734578285096 140734578290666 0
/proc/60774/statm: 707118 576353 2464 1147 0 694545 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2832664 KiB
Current children cumulated memory: 2308356 KiB

Child status: 2

Real time (s): 3609.94
CPU time (s): 3600.08
CPU user time (s): 3584.11
CPU system time (s): 15.968
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 2967424
Max. memory (cumulated for all children) (KiB): 2443096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.11
system time used= 15.968
maximum resident set size= 2440152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 315
involuntary context switches= 2307


# summary of solver processes directly reported to runsolver:
#   pid: 60760,60774
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3584.11
#   total CPU system time (s): 15.968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55598 second user time and 13.7032 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=615101040

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

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

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

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

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

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

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

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

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

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


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

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