0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4518136-1751532558.opb'
0.00/0.01	c 	read 0.21MB  (4.07ms)
0.00/0.01	c	 [cnf: #variables 10000 #clauses 2 #duplicates 0 #arr 20000]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 2000] (8.43ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	 found row 13x2, generating row predicate
0.00/0.05	c 	 found row 9x2, generating row predicate
0.00/0.07	c 	 found row 11x2, generating row predicate
0.00/0.07	c 	 found row 7x2, generating row predicate
0.00/0.10	c 	 found row 20x2, generating row predicate
0.08/0.11	c 	 found row 11x2, generating row predicate
0.08/0.12	c 	 found row 9x2, generating row predicate
0.08/0.13	c 	 found row 9x2, generating row predicate
0.08/0.15	c 	 found row 14x2, generating row predicate
0.08/0.17	c 	 found row 12x2, generating row predicate
0.08/0.18	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.20	c 	 found row 6x2, generating row predicate
0.18/0.21	c 	 found row 11x2, generating row predicate
0.18/0.22	c 	 found row 8x2, generating row predicate
0.18/0.23	c 	 found row 12x2, generating row predicate
0.18/0.24	c 	 found row 9x2, generating row predicate
0.18/0.26	c 	 found row 14x2, generating row predicate
0.18/0.27	c 	 found row 10x2, generating row predicate
0.18/0.29	c 	 found row 11x2, generating row predicate
0.28/0.31	c 	 found row 17x2, generating row predicate
0.28/0.32	c 	 found row 10x2, generating row predicate
0.28/0.33	c 	 found row 8x2, generating row predicate
0.28/0.34	c 	 found row 12x2, generating row predicate
0.28/0.36	c 	 found row 12x2, generating row predicate
0.28/0.37	c 	 found row 12x2, generating row predicate
0.28/0.39	c 	 found row 16x2, generating row predicate
0.38/0.41	c 	 found row 11x2, generating row predicate
0.38/0.42	c 	 found row 10x2, generating row predicate
0.38/0.44	c 	 found row 18x2, generating row predicate
0.38/0.46	c 	 found row 13x2, generating row predicate
0.38/0.47	c 	 found row 11x2, generating row predicate
0.38/0.47	c 	 (451.01ms)
0.38/0.47	c 
0.38/0.47	c detect symmetries on remainder
0.38/0.47	c 	[graph: #vertices 39994 #edges 99984]
0.38/0.47	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.38/0.48	c 	 [group: #symmetries 1.79*10^6509 #generators 8666] (11.41ms)
0.38/0.48	c 
0.38/0.48	c optimize generators (opt_passes=64, conjugate_limit=256)
0.38/0.48	c 	ran it=0, +gens=6 
0.48/0.59	c 	con best_support=4, best_gens=8666, +gens=144
0.48/0.59	c 	(110.44ms)
0.48/0.59	c 
0.48/0.59	c finalize break order and special generators
0.48/0.59	c 
0.48/0.59	c add generic predicates (break_depth=20)
0.48/0.60	c 	added predicates for 8816 generators (1.14ms)
0.48/0.60	c 
0.48/0.60	c generation finished
0.48/0.60	c 	[sbp: #constraints 9174 #add_vars 8]
0.48/0.60	c 
0.48/0.60	c write result to 'HOME/instance-4518136-1751532558.opb.pre'
0.48/0.60	c 	wrote 0.45MB (1.24ms)
0.48/0.60	c ------------------------------------------------------------------
0.48/0.60	c                 451.01ms 76.53% detect_special
0.48/0.60	c                 110.44ms 18.74% optimize_gens
0.48/0.60	c                  11.41ms  1.94% detect_generic
0.48/0.60	c                   8.43ms  1.43% approx_orbits
0.48/0.60	c                   4.07ms  0.69% parse
0.48/0.60	c                   1.24ms  0.21% output
0.48/0.60	c                   1.14ms  0.19% break_generic
0.48/0.60	c                   0.91ms  0.15% other
0.48/0.60	c                   0.69ms  0.12% finalize_order
0.48/0.60	c         ───────────────────────────────────────────────
0.48/0.60	c                 589.34ms   100% total
0.48/0.60	c ------------------------------------------------------------------
0.58/0.61	c RoundingSat 2
0.58/0.61	c branch pb25
0.58/0.61	c commit 63f22ad
0.58/0.66	c #variables 10008 #constraints 9175
0.58/0.66	c objective is ce32 
3.25/3.34	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.25/3.34	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.25/3.34	c bounds -16982 >= -1678816 @ 2.7132
3.25/3.36	c rational objective -17191.3
3.36/3.48	c bounds -16983 >= -1678816 @ 2.8393
3.36/3.48	c bounds -16983 >= -1674820 @ 2.84286
3.45/3.54	c bounds -16983 >= -1674487 @ 2.90255
3.55/3.60	c bounds -16983 >= -1674154 @ 2.95858
3.55/3.61	c bounds -16984 >= -1674154 @ 2.96757
3.55/3.68	c bounds -16985 >= -1674154 @ 3.03444
3.75/3.88	c bounds -16986 >= -1674154 @ 3.22692
3.96/4.01	c bounds -16987 >= -1674154 @ 3.35305
3.96/4.01	c bounds -16987 >= -1673822 @ 3.35394
3.96/4.03	c bounds -16988 >= -1673822 @ 3.3742
3.96/4.04	c bounds -16988 >= -1673160 @ 3.37702
3.96/4.04	c bounds -16988 >= -1672829 @ 3.38171
3.96/4.05	c bounds -16988 >= -1672498 @ 3.38788
3.96/4.06	c bounds -16988 >= -1672167 @ 3.39263
3.96/4.06	c bounds -16988 >= -1671836 @ 3.39919
3.96/4.09	c bounds -16988 >= -1671505 @ 3.42215
4.15/4.23	c bounds -16988 >= -1671174 @ 3.56114
4.85/4.93	c bounds -16989 >= -1671174 @ 4.24484
4.96/5.09	c bounds -16989 >= -1670843 @ 4.4043
5.45/5.55	c bounds -16989 >= -1670512 @ 4.85534
5.45/5.56	c bounds -16993 >= -1670512 @ 4.86642
5.45/5.57	c bounds -16993 >= -1670182 @ 4.87365
5.54/5.60	c bounds -16993 >= -1669852 @ 4.89967
6.06/6.14	c #Conflicts:       1000 | #Constraints:      10302
6.06/6.14	c bounds -16994 >= -1669852 @ 5.43077
6.15/6.20	c bounds -16995 >= -1669852 @ 5.4763
6.15/6.26	c bounds -16996 >= -1669852 @ 5.53508
6.15/6.28	c bounds -16997 >= -1669852 @ 5.54793
6.25/6.32	c bounds -16998 >= -1669852 @ 5.58791
6.25/6.38	c bounds -16999 >= -1669852 @ 5.63734
6.34/6.41	c bounds -17000 >= -1669852 @ 5.65541
6.34/6.46	c bounds -17001 >= -1669852 @ 5.69682
6.34/6.47	c bounds -17001 >= -1669523 @ 5.70015
6.45/6.58	c bounds -17001 >= -1669194 @ 5.81096
6.55/6.64	c bounds -17002 >= -1669194 @ 5.87071
7.05/7.14	c bounds -17003 >= -1669194 @ 6.34978
7.05/7.14	c bounds -17003 >= -1668866 @ 6.35306
7.05/7.14	c bounds -17003 >= -1668538 @ 6.35511
7.05/7.15	c bounds -17003 >= -1668210 @ 6.36263
7.05/7.15	c bounds -17003 >= -1667882 @ 6.36814
7.05/7.18	c bounds -17003 >= -1667554 @ 6.39384
7.15/7.24	c bounds -17003 >= -1667226 @ 6.45406
7.34/7.45	c bounds -17003 >= -1666898 @ 6.65655
7.65/7.71	c #Conflicts:       2000 | #Constraints:      11395
7.65/7.71	c INPROCESSING
7.65/7.71	c GARBAGE COLLECT
7.65/7.71	c rational objective -17191
8.64/8.73	c #Conflicts:       3000 | #Constraints:      11335
8.64/8.73	c bounds -17003 >= -1666570 @ 7.92171
8.84/8.97	c bounds -17004 >= -1666570 @ 8.15177
8.84/8.97	c bounds -17004 >= -1666243 @ 8.1536
8.84/8.98	c bounds -17004 >= -1665916 @ 8.16053
8.84/8.99	c bounds -17004 >= -1665589 @ 8.17342
8.95/9.01	c bounds -17004 >= -1665262 @ 8.18916
9.05/9.19	c bounds -17004 >= -1664935 @ 8.36913
9.14/9.28	c bounds -17005 >= -1664935 @ 8.45766
9.14/9.29	c bounds -17005 >= -1664609 @ 8.46288
9.14/9.29	c bounds -17005 >= -1664283 @ 8.46712
9.24/9.31	c bounds -17005 >= -1663957 @ 8.48568
9.24/9.33	c bounds -17006 >= -1663957 @ 8.49705
9.24/9.33	c bounds -17006 >= -1663632 @ 8.50376
9.24/9.34	c bounds -17006 >= -1663307 @ 8.51299
9.24/9.39	c bounds -17006 >= -1662982 @ 8.5589
9.34/9.41	c bounds -17007 >= -1662982 @ 8.58044
9.34/9.41	c bounds -17007 >= -1662658 @ 8.58254
9.34/9.42	c bounds -17007 >= -1662334 @ 8.59185
9.34/9.44	c bounds -17008 >= -1662334 @ 8.60938
9.34/9.45	c bounds -17008 >= -1662011 @ 8.6116
9.34/9.45	c bounds -17008 >= -1661688 @ 8.61471
9.64/9.72	c bounds -17009 >= -1661688 @ 8.87711
9.64/9.73	c bounds -17009 >= -1661366 @ 8.88136
9.64/9.74	c bounds -17009 >= -1661044 @ 8.89006
9.64/9.77	c bounds -17010 >= -1661044 @ 8.91988
9.64/9.77	c bounds -17010 >= -1660723 @ 8.92239
9.64/9.79	c bounds -17010 >= -1660402 @ 8.93921
9.74/9.80	c bounds -17010 >= -1660081 @ 8.94701
9.74/9.85	c bounds -17010 >= -1659760 @ 8.99914
9.74/9.85	c bounds -17010 >= -1659439 @ 9.00219
9.74/9.86	c bounds -17010 >= -1659118 @ 9.01153
9.74/9.88	c bounds -17011 >= -1659118 @ 9.02065
9.74/9.88	c bounds -17011 >= -1658798 @ 9.02317
9.74/9.88	c bounds -17011 >= -1658478 @ 9.02772
9.84/9.98	c bounds -17011 >= -1658158 @ 9.12632
9.94/10.01	c bounds -17011 >= -1657838 @ 9.15333
9.94/10.08	c bounds -17011 >= -1657518 @ 9.22334
10.94/11.02	c #Conflicts:       4000 | #Constraints:      12567
10.94/11.02	c bounds -17012 >= -1657518 @ 10.1533
10.94/11.05	c bounds -17013 >= -1657518 @ 10.1761
10.94/11.09	c bounds -17014 >= -1657518 @ 10.2143
11.04/11.13	c bounds -17015 >= -1657518 @ 10.2417
11.04/11.16	c bounds -17016 >= -1657518 @ 10.2693
11.04/11.18	c bounds -17017 >= -1657518 @ 10.2815
11.13/11.20	c bounds -17018 >= -1657518 @ 10.3058
11.13/11.23	c bounds -17019 >= -1657518 @ 10.3263
11.13/11.26	c bounds -17020 >= -1657518 @ 10.3527
11.13/11.28	c bounds -17021 >= -1657518 @ 10.3659
11.24/11.31	c bounds -17022 >= -1657518 @ 10.3879
11.24/11.32	c bounds -17023 >= -1657518 @ 10.4021
11.24/11.34	c bounds -17024 >= -1657518 @ 10.419
11.24/11.38	c bounds -17025 >= -1657518 @ 10.4505
11.24/11.39	c bounds -17026 >= -1657518 @ 10.4602
11.34/11.45	c bounds -17027 >= -1657518 @ 10.508
11.34/11.47	c bounds -17028 >= -1657518 @ 10.5303
11.44/11.50	c bounds -17029 >= -1657518 @ 10.5594
11.44/11.52	c bounds -17030 >= -1657518 @ 10.5681
11.44/11.54	c bounds -17031 >= -1657518 @ 10.5863
11.53/11.61	c bounds -17032 >= -1657518 @ 10.6473
11.53/11.65	c bounds -17033 >= -1657518 @ 10.6892
11.63/11.75	c INPROCESSING
11.63/11.75	c GARBAGE COLLECT
11.63/11.75	c rational objective -17191
11.83/11.97	c bounds -17034 >= -1657518 @ 10.9968
11.83/11.99	c bounds -17035 >= -1657518 @ 11.0099
11.94/12.01	c bounds -17036 >= -1657518 @ 11.025
11.94/12.03	c bounds -17037 >= -1657518 @ 11.0431
11.94/12.07	c bounds -17038 >= -1657518 @ 11.0771
12.03/12.13	c bounds -17039 >= -1657518 @ 11.1324
12.03/12.13	c bounds -17039 >= -1657199 @ 11.1354
12.03/12.17	c bounds -17039 >= -1656880 @ 11.1716
12.03/12.19	c bounds -17039 >= -1656561 @ 11.189
12.33/12.42	c bounds -17039 >= -1656242 @ 11.4238
12.33/12.45	c bounds -17039 >= -1655923 @ 11.4509
12.33/12.48	c bounds -17040 >= -1655923 @ 11.4729
12.43/12.56	c bounds -17040 >= -1655604 @ 11.5584
12.43/12.59	c bounds -17041 >= -1655604 @ 11.5823
13.33/13.43	c bounds -17041 >= -1655285 @ 12.413
13.43/13.51	c bounds -17042 >= -1655285 @ 12.4923
13.43/13.56	c bounds -17043 >= -1655285 @ 12.5409
13.53/13.64	c bounds -17044 >= -1655285 @ 12.6162
13.53/13.68	c bounds -17045 >= -1655285 @ 12.6502
13.63/13.71	c bounds -17046 >= -1655285 @ 12.6709
13.63/13.73	c bounds -17047 >= -1655285 @ 12.6868
13.63/13.75	c bounds -17048 >= -1655285 @ 12.7043
13.63/13.76	c bounds -17049 >= -1655285 @ 12.722
13.63/13.78	c bounds -17050 >= -1655285 @ 12.7336
13.73/13.80	c bounds -17051 >= -1655285 @ 12.7426
13.73/13.89	c bounds -17052 >= -1655285 @ 12.8332
14.03/14.14	c bounds -17053 >= -1655285 @ 13.0639
14.03/14.18	c bounds -17053 >= -1654966 @ 13.1033
14.13/14.20	c bounds -17053 >= -1654647 @ 13.123
14.32/14.41	c bounds -17053 >= -1654328 @ 13.3371
14.32/14.47	c bounds -17053 >= -1654009 @ 13.393
15.03/15.16	c #Conflicts:       5000 | #Constraints:      12018
15.03/15.16	c bounds -17054 >= -1654009 @ 14.0643
15.03/15.19	c bounds -17055 >= -1654009 @ 14.0876
15.13/15.23	c bounds -17056 >= -1654009 @ 14.1197
15.13/15.26	c bounds -17057 >= -1654009 @ 14.1515
15.13/15.28	c bounds -17058 >= -1654009 @ 14.1697
15.23/15.33	c bounds -17059 >= -1654009 @ 14.2154
15.23/15.36	c bounds -17060 >= -1654009 @ 14.2439
15.23/15.38	c bounds -17061 >= -1654009 @ 14.2645
15.33/15.40	c bounds -17062 >= -1654009 @ 14.2772
15.33/15.43	c bounds -17063 >= -1654009 @ 14.2981
15.33/15.45	c bounds -17064 >= -1654009 @ 14.3119
15.33/15.47	c bounds -17065 >= -1654009 @ 14.3335
15.42/15.50	c bounds -17066 >= -1654009 @ 14.3622
15.53/15.64	c bounds -17067 >= -1654009 @ 14.4914
15.53/15.66	c bounds -17068 >= -1654009 @ 14.5103
15.53/15.69	c bounds -17069 >= -1654009 @ 14.5369
15.62/15.74	c bounds -17070 >= -1654009 @ 14.5756
15.62/15.77	c bounds -17071 >= -1654009 @ 14.596
15.72/15.81	c bounds -17072 >= -1654009 @ 14.6265
15.72/15.83	c bounds -17073 >= -1654009 @ 14.6452
15.72/15.85	c bounds -17074 >= -1654009 @ 14.6582
15.72/15.87	c bounds -17075 >= -1654009 @ 14.68
15.82/15.93	c bounds -17076 >= -1654009 @ 14.7247
15.82/15.96	c bounds -17077 >= -1654009 @ 14.7518
15.93/16.01	c bounds -17078 >= -1654009 @ 14.7997
15.93/16.01	c bounds -17078 >= -1652737 @ 14.8028
15.93/16.03	c bounds -17078 >= -1652419 @ 14.8183
16.03/16.11	c bounds -17078 >= -1652101 @ 14.8986
16.32/16.40	c bounds -17079 >= -1652101 @ 15.1751
16.32/16.43	c bounds -17079 >= -1651783 @ 15.2033
16.32/16.43	c bounds -17079 >= -1651465 @ 15.2083
16.32/16.46	c bounds -17079 >= -1651147 @ 15.2385
16.32/16.47	c bounds -17079 >= -1650829 @ 15.2486
16.32/16.48	c bounds -17079 >= -1650511 @ 15.2575
16.42/16.54	c bounds -17079 >= -1650193 @ 15.3115
16.42/16.59	c bounds -17079 >= -1649875 @ 15.3652
16.72/16.80	c bounds -17079 >= -1649557 @ 15.5732
16.72/16.83	c bounds -17079 >= -1649239 @ 15.6027
16.82/16.92	c bounds -17079 >= -1648921 @ 15.6946
16.82/16.97	c bounds -17079 >= -1648603 @ 15.7367
17.52/17.61	c bounds -17080 >= -1648603 @ 16.3648
17.52/17.63	c bounds -17081 >= -1648603 @ 16.3795
17.52/17.64	c bounds -17083 >= -1648603 @ 16.3886
17.52/17.65	c bounds -17084 >= -1648603 @ 16.3974
17.52/17.69	c bounds -17085 >= -1648603 @ 16.4244
17.62/17.73	c bounds -17086 >= -1648603 @ 16.4657
17.62/17.75	c bounds -17087 >= -1648603 @ 16.4829
17.62/17.78	c bounds -17088 >= -1648603 @ 16.5094
17.72/17.83	c bounds -17089 >= -1648603 @ 16.5532
17.72/17.86	c bounds -17090 >= -1648603 @ 16.5819
17.72/17.89	c bounds -17091 >= -1648603 @ 16.604
17.82/17.91	c bounds -17092 >= -1648603 @ 16.6279
17.82/17.96	c bounds -17093 >= -1648603 @ 16.6667
17.82/17.99	c bounds -17094 >= -1648603 @ 16.6891
17.92/18.03	c bounds -17095 >= -1648603 @ 16.73
17.92/18.06	c bounds -17096 >= -1648603 @ 16.7488
17.92/18.09	c bounds -17097 >= -1648603 @ 16.7761
18.02/18.11	c bounds -17098 >= -1648603 @ 16.7951
18.02/18.14	c bounds -17099 >= -1648603 @ 16.8194
18.02/18.14	c bounds -17099 >= -1648286 @ 16.8212
18.02/18.14	c bounds -17099 >= -1647969 @ 16.8257
18.02/18.15	c bounds -17099 >= -1647652 @ 16.8282
18.02/18.15	c bounds -17099 >= -1647335 @ 16.8346
18.11/18.22	c bounds -17099 >= -1647018 @ 16.8999
18.11/18.23	c bounds -17099 >= -1646701 @ 16.9052
18.11/18.26	c bounds -17099 >= -1646384 @ 16.9356
18.42/18.52	c #Conflicts:       6000 | #Constraints:      13251
18.42/18.52	c bounds -17100 >= -1646384 @ 17.1785
18.62/18.71	c bounds -17100 >= -1646067 @ 17.3675
19.12/19.26	c bounds -17100 >= -1645750 @ 17.9093
19.21/19.34	c bounds -17100 >= -1645433 @ 17.995
19.51/19.67	c INPROCESSING
19.51/19.67	c GARBAGE COLLECT
19.51/19.67	c rational objective -17191
19.92/20.04	c bounds -17101 >= -1645433 @ 18.6877
20.11/20.20	c bounds -17102 >= -1645433 @ 18.8431
20.11/20.21	c bounds -17102 >= -1640693 @ 18.847
20.31/20.49	c bounds -17102 >= -1640377 @ 19.125
20.41/20.53	c bounds -17102 >= -1640061 @ 19.1683
20.41/20.56	c bounds -17102 >= -1639745 @ 19.1982
20.51/20.60	c bounds -17103 >= -1639745 @ 19.231
20.51/20.65	c bounds -17103 >= -1639429 @ 19.279
20.51/20.66	c bounds -17104 >= -1639429 @ 19.2969
20.61/20.72	c #Conflicts:       7000 | #Constraints:      12128
20.61/20.72	c bounds -17104 >= -1639113 @ 19.3508
20.81/20.98	c bounds -17105 >= -1639113 @ 19.6099
21.31/21.43	c bounds -17105 >= -1638797 @ 20.0466
21.71/21.81	c bounds -17105 >= -1638481 @ 20.4267
22.01/22.12	c bounds -17106 >= -1638481 @ 20.7299
22.30/22.42	c bounds -17106 >= -1638165 @ 21.0247
23.80/23.91	c #Conflicts:       8000 | #Constraints:      13178
23.80/23.91	c bounds -17106 >= -1637849 @ 22.4978
23.80/23.92	c bounds -17107 >= -1637849 @ 22.5115
23.80/23.95	c bounds -17108 >= -1637849 @ 22.5375
23.91/24.06	c bounds -17109 >= -1637849 @ 22.6393
24.10/24.20	c bounds -17110 >= -1637849 @ 22.7821
24.30/24.43	c bounds -17111 >= -1637849 @ 23.0024
24.30/24.47	c bounds -17112 >= -1637849 @ 23.0334
24.40/24.53	c bounds -17113 >= -1637849 @ 23.0923
24.40/24.57	c bounds -17114 >= -1637849 @ 23.1327
25.00/25.19	c bounds -17115 >= -1637849 @ 23.7342
25.10/25.27	c bounds -17116 >= -1637849 @ 23.8086
25.10/25.29	c bounds -17117 >= -1637849 @ 23.8261
25.20/25.31	c bounds -17118 >= -1637849 @ 23.8483
25.20/25.34	c bounds -17119 >= -1637849 @ 23.8686
25.30/25.43	c bounds -17120 >= -1637849 @ 23.9631
25.60/25.78	c #Conflicts:       9000 | #Constraints:      14218
25.60/25.78	c bounds -17120 >= -1637533 @ 24.2989
25.90/26.07	c INPROCESSING
25.90/26.07	c GARBAGE COLLECT
25.90/26.07	c rational objective -17191
26.49/26.65	c bounds -17121 >= -1637533 @ 25.1609
26.49/26.66	c bounds -17121 >= -1632493 @ 25.1678
26.49/26.67	c bounds -17121 >= -1632178 @ 25.1772
26.59/26.71	c bounds -17122 >= -1632178 @ 25.2092
26.59/26.72	c bounds -17122 >= -1631863 @ 25.2261
26.59/26.79	c bounds -17122 >= -1631548 @ 25.2906
26.89/27.08	c bounds -17123 >= -1631548 @ 25.5736
27.29/27.43	c bounds -17123 >= -1631233 @ 25.9247
32.58/32.79	c #Conflicts:      10000 | #Constraints:      12737
32.58/32.79	c bounds -17123 >= -1630918 @ 31.2289
33.28/33.41	c bounds -17124 >= -1630918 @ 31.8376
33.28/33.44	c bounds -17125 >= -1630918 @ 31.8658
33.28/33.47	c bounds -17126 >= -1630918 @ 31.8909
33.38/33.50	c bounds -17127 >= -1630918 @ 31.9168
33.38/33.52	c bounds -17128 >= -1630918 @ 31.9331
33.38/33.55	c bounds -17129 >= -1630918 @ 31.9541
33.47/33.62	c bounds -17130 >= -1630918 @ 32.0264
33.47/33.65	c bounds -17131 >= -1630918 @ 32.0513
34.97/35.18	c #Conflicts:      11000 | #Constraints:      13753
34.97/35.18	c bounds -17132 >= -1630918 @ 33.5157
35.27/35.44	c bounds -17133 >= -1630918 @ 33.7644
35.27/35.47	c bounds -17134 >= -1630918 @ 33.7943
35.36/35.55	c bounds -17135 >= -1630918 @ 33.8671
35.36/35.58	c bounds -17136 >= -1630918 @ 33.8982
35.47/35.64	c bounds -17137 >= -1630918 @ 33.9593
35.47/35.69	c bounds -17138 >= -1630918 @ 33.997
35.57/35.73	c bounds -17139 >= -1630918 @ 34.0277
35.57/35.75	c bounds -17140 >= -1630918 @ 34.0476
36.87/37.04	c bounds -17141 >= -1630918 @ 35.2928
36.97/37.13	c bounds -17142 >= -1630918 @ 35.3858
36.97/37.19	c bounds -17143 >= -1630918 @ 35.4414
37.66/37.80	c bounds -17144 >= -1630918 @ 36.0368
38.06/38.28	c bounds -17145 >= -1630918 @ 36.504
38.16/38.38	c bounds -17146 >= -1630918 @ 36.6022
38.36/38.54	c bounds -17147 >= -1630918 @ 36.7518
38.46/38.60	c bounds -17148 >= -1630918 @ 36.8041
38.46/38.67	c bounds -17149 >= -1630918 @ 36.8743
38.76/38.93	c bounds -17150 >= -1630918 @ 37.1299
38.76/38.96	c bounds -17151 >= -1630918 @ 37.1535
38.76/39.00	c bounds -17152 >= -1630918 @ 37.1842
38.86/39.02	c bounds -17152 >= -1630603 @ 37.2042
38.86/39.03	c bounds -17152 >= -1630288 @ 37.2116
38.86/39.09	c bounds -17153 >= -1630288 @ 37.2664
38.97/39.12	c bounds -17153 >= -1629973 @ 37.2979
38.97/39.12	c bounds -17153 >= -1629658 @ 37.3024
39.06/39.26	c bounds -17153 >= -1629343 @ 37.436
40.15/40.32	c bounds -17153 >= -1629028 @ 38.4648
41.15/41.36	c #Conflicts:      12000 | #Constraints:      14841
41.15/41.36	c INPROCESSING
41.15/41.36	c GARBAGE COLLECT
41.15/41.36	c rational objective -17191
41.86/42.04	c bounds -17154 >= -1629028 @ 40.1212
42.34/42.51	c bounds -17155 >= -1629028 @ 40.5755
42.45/42.66	c bounds -17155 >= -1628713 @ 40.7211
42.55/42.71	c bounds -17156 >= -1628713 @ 40.7709
42.55/42.78	c bounds -17157 >= -1628713 @ 40.832
42.55/42.79	c bounds -17157 >= -1619920 @ 40.8359
42.55/42.79	c bounds -17157 >= -1619602 @ 40.841
42.64/42.80	c bounds -17157 >= -1619284 @ 40.8532
42.64/42.81	c bounds -17157 >= -1618966 @ 40.8593
42.75/42.97	c bounds -17158 >= -1618966 @ 41.0164
42.75/42.98	c bounds -17158 >= -1618648 @ 41.0222
42.75/42.98	c bounds -17158 >= -1618330 @ 41.0273
42.85/43.01	c bounds -17158 >= -1618014 @ 41.0507
42.85/43.02	c bounds -17158 >= -1617695 @ 41.0566
42.85/43.02	c bounds -17158 >= -1617381 @ 41.0625
42.85/43.04	c bounds -17158 >= -1617062 @ 41.0781
42.85/43.05	c bounds -17158 >= -1616740 @ 41.0927
42.85/43.05	c bounds -17158 >= -1616421 @ 41.0945
42.85/43.06	c bounds -17158 >= -1616102 @ 41.0963
42.85/43.06	c bounds -17158 >= -1615783 @ 41.0982
42.85/43.06	c bounds -17158 >= -1615464 @ 41.1
42.85/43.06	c bounds -17158 >= -1615145 @ 41.1018
42.85/43.06	c bounds -17158 >= -1614826 @ 41.1036
42.85/43.06	c bounds -17158 >= -1614507 @ 41.1055
42.85/43.07	c bounds -17158 >= -1614188 @ 41.1073
42.85/43.07	c bounds -17158 >= -1613869 @ 41.1105
42.85/43.07	c bounds -17158 >= -1613550 @ 41.1146
42.85/43.08	c bounds -17158 >= -1613231 @ 41.1189
42.85/43.08	c bounds -17158 >= -1612912 @ 41.121
42.85/43.09	c bounds -17158 >= -1612593 @ 41.1276
42.85/43.10	c bounds -17158 >= -1612274 @ 41.1358
42.85/43.10	c bounds -17158 >= -1611955 @ 41.1376
42.95/43.11	c bounds -17158 >= -1611637 @ 41.1469
42.95/43.11	c bounds -17158 >= -1611323 @ 41.1488
42.95/43.12	c bounds -17158 >= -1611009 @ 41.157
42.95/43.12	c bounds -17158 >= -1610695 @ 41.1587
42.95/43.13	c bounds -17158 >= -1610380 @ 41.1665
42.95/43.13	c bounds -17158 >= -1610066 @ 41.171
42.95/43.14	c bounds -17158 >= -1609752 @ 41.1796
42.95/43.16	c bounds -17158 >= -1609436 @ 41.1982
42.95/43.17	c bounds -17158 >= -1609120 @ 41.206
43.04/43.20	c bounds -17159 >= -1609120 @ 41.2295
43.04/43.21	c bounds -17159 >= -1608806 @ 41.2394
43.04/43.27	c bounds -17160 >= -1608806 @ 41.2936
43.14/43.38	c bounds -17161 >= -1608806 @ 41.3996
43.14/43.38	c bounds -17161 >= -1606302 @ 41.4021
43.14/43.38	c bounds -17161 >= -1605989 @ 41.4046
43.14/43.39	c bounds -17161 >= -1605676 @ 41.4125
43.24/43.40	c bounds -17161 >= -1605363 @ 41.4226
43.24/43.41	c bounds -17161 >= -1605050 @ 41.4301
43.24/43.42	c bounds -17161 >= -1604737 @ 41.4366
43.24/43.42	c bounds -17161 >= -1604424 @ 41.4397
43.24/43.44	c bounds -17161 >= -1604111 @ 41.4619
43.24/43.47	c bounds -17161 >= -1603798 @ 41.4918
43.24/43.49	c bounds -17161 >= -1603485 @ 41.5102
43.34/43.53	c bounds -17161 >= -1603172 @ 41.5526
43.64/43.88	c bounds -17161 >= -1602859 @ 41.8978
44.14/44.37	c #Conflicts:      13000 | #Constraints:      13397
44.14/44.37	c bounds -17162 >= -1602859 @ 42.3729
44.44/44.68	c bounds -17162 >= -1602546 @ 42.6819
44.64/44.83	c bounds -17162 >= -1602233 @ 42.8316
44.73/44.92	c bounds -17162 >= -1601916 @ 42.9251
44.73/44.95	c bounds -17162 >= -1601603 @ 42.9545
44.95/45.14	c bounds -17162 >= -1601290 @ 43.1375
46.83/47.06	c #Conflicts:      14000 | #Constraints:      14454
46.83/47.06	c bounds -17162 >= -1600977 @ 45.0449
46.94/47.16	c bounds -17163 >= -1600977 @ 45.1384
47.03/47.23	c bounds -17164 >= -1600977 @ 45.2037
47.13/47.33	c bounds -17165 >= -1600977 @ 45.2964
47.23/47.40	c bounds -17166 >= -1600977 @ 45.3646
47.23/47.44	c bounds -17167 >= -1600977 @ 45.4065
47.23/47.46	c bounds -17168 >= -1600977 @ 45.4244
47.53/47.74	c bounds -17169 >= -1600977 @ 45.6933
47.94/48.15	c bounds -17170 >= -1600977 @ 46.0919
48.03/48.22	c bounds -17171 >= -1600977 @ 46.1544
48.03/48.26	c bounds -17172 >= -1600977 @ 46.1961
48.23/48.45	c bounds -17172 >= -1600664 @ 46.3786
48.33/48.55	c bounds -17173 >= -1600664 @ 46.476
49.03/49.21	c #Conflicts:      15000 | #Constraints:      15500
49.03/49.21	c INPROCESSING
49.03/49.21	c GARBAGE COLLECT
49.03/49.21	c rational objective -17191
50.62/50.87	c bounds -17175 >= -1600664 @ 48.7715
50.62/50.88	c bounds -17175 >= -1592864 @ 48.7846
50.72/50.92	c bounds -17175 >= -1592552 @ 48.8229
51.22/51.44	c bounds -17175 >= -1592240 @ 49.3337
51.51/51.75	c bounds -17175 >= -1591924 @ 49.6432
51.51/51.75	c bounds -17175 >= -1591607 @ 49.6444
51.51/51.76	c bounds -17175 >= -1591290 @ 49.6483
51.51/51.76	c bounds -17175 >= -1590973 @ 49.6507
51.51/51.77	c bounds -17175 >= -1590656 @ 49.6562
51.51/51.77	c bounds -17175 >= -1590339 @ 49.6657
51.51/51.79	c bounds -17175 >= -1590023 @ 49.6764
51.51/51.79	c bounds -17175 >= -1589707 @ 49.6828
51.62/51.80	c bounds -17175 >= -1589391 @ 49.6941
51.62/51.81	c bounds -17175 >= -1589079 @ 49.7023
51.92/52.17	c bounds -17176 >= -1589079 @ 50.0566
51.92/52.18	c bounds -17176 >= -1581926 @ 50.061
52.02/52.20	c bounds -17176 >= -1581615 @ 50.0809
52.02/52.22	c bounds -17176 >= -1581304 @ 50.0946
52.02/52.27	c bounds -17176 >= -1580993 @ 50.1429
52.32/52.51	c #Conflicts:      16000 | #Constraints:      13162
52.32/52.51	c bounds -17177 >= -1580993 @ 50.3811
52.32/52.54	c bounds -17178 >= -1580993 @ 50.4013
52.32/52.58	c bounds -17179 >= -1580993 @ 50.4406
52.32/52.59	c bounds -17179 >= -1574793 @ 50.4433
52.42/52.63	c bounds -17179 >= -1574483 @ 50.4844
52.51/52.79	c bounds -17179 >= -1574173 @ 50.6427
52.61/52.81	c bounds -17180 >= -1574173 @ 50.655
52.82/53.09	c bounds -17181 >= -1574173 @ 50.9251
53.31/53.56	c bounds -17181 >= -1573863 @ 51.3947
54.01/54.28	c bounds -17181 >= -1573548 @ 52.1099
54.11/54.38	c bounds -17182 >= -1573548 @ 52.1975
54.21/54.41	c bounds -17183 >= -1573548 @ 52.2261
54.51/54.71	c bounds -17184 >= -1573548 @ 52.5237
54.51/54.72	c bounds -17184 >= -1573234 @ 52.5283
54.51/54.73	c bounds -17184 >= -1572918 @ 52.5385
54.51/54.73	c bounds -17184 >= -1572601 @ 52.5408
54.51/54.74	c bounds -17184 >= -1572284 @ 52.5525
54.51/54.75	c bounds -17184 >= -1571648 @ 52.5537
54.51/54.75	c bounds -17184 >= -1571330 @ 52.5571
54.51/54.75	c bounds -17184 >= -1571011 @ 52.5611
54.51/54.76	c bounds -17184 >= -1570687 @ 52.5629
54.51/54.76	c bounds -17184 >= -1570367 @ 52.5674
54.51/54.76	c bounds -17184 >= -1570047 @ 52.5701
54.51/54.76	c bounds -17184 >= -1569727 @ 52.5725
54.61/54.84	c bounds -17184 >= -1569413 @ 52.645
54.61/54.84	c bounds -17184 >= -1569099 @ 52.6468
54.61/54.86	c bounds -17184 >= -1568785 @ 52.6653
54.81/55.06	c #Conflicts:      17000 | #Constraints:      14274
54.81/55.06	c bounds -17184 >= -1568475 @ 52.8645
55.01/55.29	c bounds -17185 >= -1568475 @ 53.0941
55.11/55.39	c bounds -17185 >= -1568133 @ 53.1922
55.11/55.39	c bounds -17185 >= -1567813 @ 53.1933
55.11/55.39	c bounds -17185 >= -1567493 @ 53.1945
55.21/55.40	c bounds -17185 >= -1567172 @ 53.1956
55.21/55.40	c bounds -17185 >= -1566852 @ 53.1971
55.21/55.40	c bounds -17185 >= -1566532 @ 53.199
55.21/55.40	c bounds -17185 >= -1566212 @ 53.2006
55.21/55.40	c bounds -17185 >= -1565892 @ 53.2023
55.21/55.40	c bounds -17185 >= -1565575 @ 53.204
55.21/55.41	c bounds -17185 >= -1565261 @ 53.2056
55.21/55.41	c bounds -17185 >= -1564941 @ 53.208
55.21/55.41	c bounds -17185 >= -1564621 @ 53.2102
55.21/55.41	c bounds -17185 >= -1564301 @ 53.2118
55.21/55.41	c bounds -17185 >= -1563987 @ 53.214
55.21/55.42	c bounds -17185 >= -1563667 @ 53.2159
55.21/55.42	c bounds -17185 >= -1563347 @ 53.2178
55.21/55.42	c bounds -17185 >= -1563027 @ 53.2191
55.21/55.42	c bounds -17185 >= -1562710 @ 53.2208
55.21/55.45	c bounds -17185 >= -1562390 @ 53.2466
55.21/55.45	c bounds -17185 >= -1562070 @ 53.2486
55.21/55.45	c bounds -17185 >= -1561750 @ 53.2503
55.21/55.45	c bounds -17185 >= -1561430 @ 53.252
55.21/55.46	c bounds -17185 >= -1561113 @ 53.2537
55.21/55.46	c bounds -17185 >= -1560796 @ 53.2554
55.21/55.46	c bounds -17185 >= -1560479 @ 53.2571
55.21/55.46	c bounds -17185 >= -1560159 @ 53.2592
55.21/55.46	c bounds -17185 >= -1559839 @ 53.2608
55.21/55.46	c bounds -17185 >= -1559519 @ 53.2623
55.21/55.47	c bounds -17185 >= -1559199 @ 53.2638
55.21/55.47	c bounds -17185 >= -1558882 @ 53.2653
55.21/55.47	c bounds -17185 >= -1558564 @ 53.2669
55.21/55.47	c bounds -17185 >= -1558246 @ 53.2675
55.21/55.47	c bounds -17185 >= -1557928 @ 53.269
55.21/55.47	c bounds -17185 >= -1557610 @ 53.2706
55.21/55.47	c bounds -17185 >= -1557292 @ 53.2721
55.21/55.48	c bounds -17185 >= -1556974 @ 53.274
55.21/55.48	c bounds -17185 >= -1556657 @ 53.2812
55.21/55.49	c bounds -17185 >= -1556337 @ 53.2833
55.21/55.49	c bounds -17185 >= -1556011 @ 53.285
55.21/55.49	c bounds -17185 >= -1555690 @ 53.2865
55.21/55.49	c bounds -17185 >= -1555369 @ 53.288
55.21/55.49	c bounds -17185 >= -1555048 @ 53.2899
55.21/55.49	c bounds -17185 >= -1554727 @ 53.2915
55.31/55.50	c bounds -17185 >= -1554406 @ 53.2931
55.31/55.50	c bounds -17185 >= -1554085 @ 53.2946
55.31/55.50	c bounds -17185 >= -1553764 @ 53.2962
55.31/55.50	c bounds -17185 >= -1553443 @ 53.2978
55.31/55.50	c bounds -17185 >= -1553122 @ 53.2993
55.31/55.50	c bounds -17185 >= -1552801 @ 53.3009
55.31/55.51	c bounds -17185 >= -1552480 @ 53.3025
55.31/55.51	c bounds -17185 >= -1552159 @ 53.3041
55.31/55.51	c bounds -17185 >= -1551838 @ 53.3057
55.31/55.51	c bounds -17185 >= -1551517 @ 53.3073
55.31/55.51	c bounds -17185 >= -1551196 @ 53.3088
55.31/55.51	c bounds -17185 >= -1550875 @ 53.3104
55.31/55.51	c bounds -17185 >= -1550554 @ 53.312
55.31/55.52	c bounds -17185 >= -1550233 @ 53.3136
55.31/55.52	c bounds -17185 >= -1549912 @ 53.3152
55.31/55.52	c bounds -17185 >= -1549591 @ 53.3168
55.31/55.52	c bounds -17185 >= -1549270 @ 53.3184
55.31/55.52	c bounds -17185 >= -1548950 @ 53.3201
55.31/55.53	c bounds -17185 >= -1548630 @ 53.3224
55.31/55.53	c bounds -17185 >= -1548313 @ 53.3246
55.31/55.53	c bounds -17185 >= -1547996 @ 53.3269
55.31/55.53	c bounds -17185 >= -1547679 @ 53.3293
55.31/55.53	c bounds -17185 >= -1547358 @ 53.3308
55.31/55.54	c bounds -17185 >= -1547035 @ 53.3336
55.31/55.54	c bounds -17185 >= -1546714 @ 53.3351
55.31/55.54	c bounds -17185 >= -1546397 @ 53.3366
55.41/55.61	c bounds -17185 >= -1546087 @ 53.4098
55.41/55.66	c bounds -17186 >= -1546087 @ 53.4458
55.61/55.88	c bounds -17187 >= -1546087 @ 53.6665
55.71/55.91	c bounds -17188 >= -1546087 @ 53.6949
55.71/55.93	c bounds -17189 >= -1546087 @ 53.7127
55.71/55.95	c bounds -17190 >= -1546087 @ 53.7316
55.81/56.01	c rational objective -17191
56.81/57.08	c bounds -17191 >= -1546087 @ 54.8563
56.81/57.08	c bounds -17191 >= -147115 @ 54.857
56.81/57.08	c bounds -17191 >= -136750 @ 54.8573
56.81/57.08	c bounds -17191 >= -128286 @ 54.8575
56.81/57.08	c bounds -17191 >= -121124 @ 54.8577
56.81/57.08	c bounds -17191 >= -115260 @ 54.8579
56.81/57.08	c bounds -17191 >= -110054 @ 54.8581
56.81/57.08	c bounds -17191 >= -104848 @ 54.8584
56.81/57.08	c bounds -17191 >= -99642 @ 54.8584
56.81/57.09	c bounds -17191 >= -94755 @ 54.8584
56.81/57.09	c bounds -17191 >= -90184 @ 54.8584
56.81/57.09	c bounds -17191 >= -85613 @ 54.8584
56.81/57.09	c bounds -17191 >= -81692 @ 54.8584
56.81/57.09	c bounds -17191 >= -78097 @ 54.8586
56.81/57.09	c bounds -17191 >= -74825 @ 54.8588
56.81/57.09	c bounds -17191 >= -71553 @ 54.8589
56.81/57.09	c bounds -17191 >= -68603 @ 54.8591
56.81/57.09	c bounds -17191 >= -65653 @ 54.8593
56.81/57.09	c bounds -17191 >= -63357 @ 54.8595
56.81/57.09	c bounds -17191 >= -61061 @ 54.8597
56.81/57.09	c bounds -17191 >= -58765 @ 54.8598
56.81/57.09	c bounds -17191 >= -56469 @ 54.86
56.81/57.09	c bounds -17191 >= -54501 @ 54.8602
56.81/57.09	c bounds -17191 >= -53185 @ 54.8604
56.81/57.09	c bounds -17191 >= -51869 @ 54.8605
56.81/57.09	c bounds -17191 >= -50553 @ 54.8607
56.81/57.09	c bounds -17191 >= -49237 @ 54.8609
56.81/57.09	c bounds -17191 >= -47921 @ 54.8611
56.81/57.09	c bounds -17191 >= -46605 @ 54.8612
56.81/57.09	c bounds -17191 >= -45616 @ 54.8614
56.81/57.09	c bounds -17191 >= -45283 @ 54.8615
56.81/57.09	c bounds -17191 >= -44950 @ 54.8617
56.81/57.09	c bounds -17191 >= -44617 @ 54.8619
56.81/57.09	c bounds -17191 >= -44284 @ 54.862
56.81/57.09	c bounds -17191 >= -43951 @ 54.8622
56.81/57.09	c bounds -17191 >= -43618 @ 54.8623
56.81/57.09	c bounds -17191 >= -43285 @ 54.8625
56.81/57.09	c bounds -17191 >= -42952 @ 54.8626
57.10/57.30	c bounds -17191 >= -17191 @ 55.0716
57.10/57.30	c cpu time 55.0716 s
57.10/57.30	c deterministic time 3391584403 3.39e+09
57.10/57.30	c optimization time 3.32785 s
57.10/57.30	c total solve time 51.7086 s
57.10/57.30	c core-guided solve time 30.3142 s
57.10/57.30	c propagation time 26.9792 s
57.10/57.30	c conflict analysis time 17.3148 s
57.10/57.30	c propagations 29975669
57.10/57.30	c resolve steps 142353
57.10/57.30	c decisions 1796506
57.10/57.30	c conflicts 17433
57.10/57.30	c restarts 62
57.10/57.30	c inprocessing phases 6
57.10/57.30	c garbage collections 6 ,( 100.00 )
57.10/57.30	c input clauses 9897 ,( 86.51 )
57.10/57.30	c input cardinalities 631 ,( 5.52 )
57.10/57.30	c input general constraints 912 ,( 7.97 )
57.10/57.30	c input average constraint length 420.95
57.10/57.30	c input average constraint degree 2177.50
57.10/57.30	c learned clauses 9684 ,( 55.16 )
57.10/57.30	c learned cardinalities 253 ,( 1.44 )
57.10/57.30	c learned general constraints 7618 ,( 43.40 )
57.10/57.30	c learned average constraint length 2911.01
57.10/57.30	c learned average constraint degree 91787375431.15
57.10/57.30	c watched  CF 32, 64, 128, Arb: 1768 , 0 , 0 , 0
57.10/57.30	c counting CF 32, 64, 128, Arb: 6763 , 0 , 0 , 0
57.10/57.30	c watched   constraints 1768 ,( 20.73 ) 
57.10/57.30	c counting  constraints 6762 ,( 79.27 ) 
57.10/57.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2013022 , 383828 , 22312589 ,( 1448242 , 20864347 )
57.10/57.30	c gcd simplifications 3229
57.10/57.30	c detected cardinalities 24
57.10/57.30	c weakened non-implied lits 22160637
57.10/57.30	c weakened non-implying lits 63355
57.10/57.30	c original variables 10008
57.10/57.30	c clausal propagations 1567113
57.10/57.30	c cardinality propagations 270350
57.10/57.30	c watched propagations 203324
57.10/57.30	c counting propagations 26352343
57.10/57.30	c watch lookups 275087191
57.10/57.30	c watch backjump lookups 0
57.10/57.30	c watch checks 350047687
57.10/57.30	c propagation checks 2510619136
57.10/57.30	c constraint additions 192259744
57.10/57.30	c trail pops 31779847
57.10/57.30	c formula constraints 9175
57.10/57.30	c learned constraints 17396
57.10/57.30	c bound constraints 479
57.10/57.30	c core-guided constraints 1786
57.10/57.30	c encountered formula constraints 32049
57.10/57.30	c encountered learned constraints 54911
57.10/57.30	c encountered bound constraints 2215
57.10/57.30	c encountered core-guided constraints 67840
57.10/57.30	c LP total time 12.7037 s
57.10/57.30	c LP solve time 9.56 s
57.10/57.30	c LP constraints added 9181
57.10/57.30	c LP constraints removed 3
57.10/57.30	c LP pivots internal 17441
57.10/57.30	c LP pivots root 1181
57.10/57.30	c LP calls 585
57.10/57.30	c LP optimalities 497
57.10/57.30	c LP no pivot count 180
57.10/57.30	c LP infeasibilities 79
57.10/57.30	c LP valid Farkas constraints 77
57.10/57.30	c LP learned Farkas constraints 76
57.10/57.30	c LP basis resets 9
57.10/57.30	c LP cycling count 7
57.10/57.30	c LP singular count 0
57.10/57.30	c LP no primal count 0
57.10/57.30	c LP no farkas count 1
57.10/57.30	c LP other issue count 1
57.10/57.30	c LP Gomory cuts 6
57.10/57.30	c LP learned cuts 0
57.10/57.30	c LP deleted cuts 3
57.10/57.30	c LP encountered Gomory constraints 0
57.10/57.30	c LP encountered Farkas constraints 2025
57.10/57.30	c LP encountered learned Farkas constraints 669
57.10/57.30	c CG auxiliary variables introduced 899
57.10/57.30	c CG solutions found 204
57.10/57.30	c CG cores constructed 311
57.10/57.30	c CG core cardinality constraints returned 10
57.10/57.30	c CG unit cores 92
57.10/57.30	c CG single cores 205
57.10/57.30	c CG blocks removed during cardinality reduction 25
57.10/57.30	c CG first core best 2
57.10/57.30	c CG decision core best 1
57.10/57.30	c CG core reduction tie 11
57.10/57.30	c CG core degree average 1.65
57.10/57.30	c CG core slack average 4.11
57.10/57.30	c CG core upper bound improvements 0
57.10/57.30	c STR number of successful calls 0
57.10/57.30	c STR number of unsuccessful calls 0
57.10/57.30	c STR number of inconclusive calls 0
57.10/57.30	c STR number of successful attempts 0
57.10/57.30	c STR number of unsuccessful attempts 0
57.10/57.30	c STR number of inconclusive attempts 0
57.10/57.30	c STR average degree increase per successful call inf
57.10/57.30	c STR average degree increase per successful attempt inf
57.10/57.30	c STR total number of conflicts for successful attempts 0
57.10/57.30	c STR total number of conflicts for unsuccessful attempts 0
57.10/57.30	c STR total number of conflicts for inconclusive attempts 0
57.10/57.30	c STR average number of conflicts per successful attempt inf
57.10/57.30	c STR average number of conflicts per unsuccessful attempt inf
57.10/57.30	c STR average number of conflicts per inconclusive attempt inf
57.10/57.30	c AVG.sumWPerc 77.00 
57.10/57.30	c bigint constraints 0 
57.10/57.30	o -17191
57.10/57.30	s OPTIMUM FOUND
57.10/57.30	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

OK	-17191

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=75327, runsolver pid=75324

[startup+0.100058 s]*
/proc/loadavg: 3.75 2.65 2.88 5/268 75329
/proc/meminfo: memFree=127787516/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68935366 4292608 736 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 736 672 219 0 110 0
[pid=75329] ppid=75327 vsize=22396 memory=13620 CPUtime=0.08 cores=1,3
/proc/75329/stat : 75329 (pbsuma) R 75327 75327 74262 0 -1 4194304 3468 0 0 0 8 0 0 0 20 0 1 0 68935367 22933504 3405 18446744073709551615 4210688 4653049 140735127931280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23171072 140735127939427 140735127939634 140735127939634 140735127945199 0
/proc/75329/statm: 5599 3405 1024 108 0 3007 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26588 KiB
Current children cumulated memory: 16564 KiB

[startup+0.205565 s]*
/proc/loadavg: 3.75 2.65 2.88 5/268 75329
/proc/meminfo: memFree=127787876/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68935366 4292608 736 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 736 672 219 0 110 0
[pid=75329] ppid=75327 vsize=22396 memory=13620 CPUtime=0.18 cores=1,3
/proc/75329/stat : 75329 (pbsuma) R 75327 75327 74262 0 -1 4194304 3470 0 0 0 18 0 0 0 20 0 1 0 68935367 22933504 3405 18446744073709551615 4210688 4653049 140735127931280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23171072 140735127939427 140735127939634 140735127939634 140735127945199 0
/proc/75329/statm: 5599 3405 1024 108 0 3007 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26588 KiB
Current children cumulated memory: 16564 KiB

[startup+0.304838 s]*
/proc/loadavg: 3.75 2.65 2.88 5/268 75329
/proc/meminfo: memFree=127787876/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68935366 4292608 736 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 736 672 219 0 110 0
[pid=75329] ppid=75327 vsize=22396 memory=13620 CPUtime=0.28 cores=1,3
/proc/75329/stat : 75329 (pbsuma) R 75327 75327 74262 0 -1 4194304 3470 0 0 0 28 0 0 0 20 0 1 0 68935367 22933504 3405 18446744073709551615 4210688 4653049 140735127931280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23171072 140735127939427 140735127939634 140735127939634 140735127945199 0
/proc/75329/statm: 5599 3405 1024 108 0 3007 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26588 KiB
Current children cumulated memory: 16564 KiB

[startup+0.70014 s]
/proc/loadavg: 3.75 2.65 2.88 5/268 75329
/proc/meminfo: memFree=127787876/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+1.50013 s]
/proc/loadavg: 3.75 2.65 2.88 5/268 75330
/proc/meminfo: memFree=127783812/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=73836 memory=26688 CPUtime=0.88 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 4868 0 0 0 87 1 0 0 20 0 1 0 68935426 75608064 6672 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 18459 6672 2272 1147 0 5886 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78028 KiB
Current children cumulated memory: 29760 KiB

[startup+3.10537 s]
/proc/loadavg: 3.75 2.65 2.88 5/268 75330
/proc/meminfo: memFree=127766280/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=73836 memory=26688 CPUtime=2.48 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 4868 0 0 0 247 1 0 0 20 0 1 0 68935426 75608064 6672 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 18459 6672 2272 1147 0 5886 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 78028 KiB
Current children cumulated memory: 29760 KiB

[startup+6.30018 s]
/proc/loadavg: 3.77 2.67 2.88 5/268 75330
/proc/meminfo: memFree=127650796/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=194384 memory=130264 CPUtime=5.67 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 25233 0 0 0 556 11 0 0 20 0 1 0 68935426 199049216 32566 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 48596 32566 2400 1147 0 36023 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 198576 KiB
Current children cumulated memory: 133336 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 2.71 2.89 5/268 75330
/proc/meminfo: memFree=127566388/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=224804 memory=170272 CPUtime=12.05 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 32704 0 0 0 1168 37 0 0 20 0 1 0 68935426 230199296 42568 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 56201 42568 2400 1147 0 43628 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 228996 KiB
Current children cumulated memory: 173344 KiB

[startup+25.5002 s]
/proc/loadavg: 3.90 2.78 2.91 5/268 75330
/proc/meminfo: memFree=127356208/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=330572 memory=263160 CPUtime=24.82 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 50725 0 0 0 2402 80 0 0 20 0 1 0 68935426 338505728 65790 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 82643 65790 2496 1147 0 70070 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 334764 KiB
Current children cumulated memory: 266232 KiB

[startup+51.1056 s]
/proc/loadavg: 3.93 2.87 2.94 5/268 75331
/proc/meminfo: memFree=127046876/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=658552 memory=530692 CPUtime=50.35 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98707 0 0 0 4900 135 0 0 20 0 1 0 68935426 674357248 132673 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164638 132673 2496 1147 0 152065 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 662744 KiB
Current children cumulated memory: 533764 KiB

[startup+57.3328 s]
# the end of solver process 75327 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=55.6583 s, system=1.49931 s

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

[startup+51.2002 s]
/proc/loadavg: 3.93 2.87 2.94 5/268 75331
/proc/meminfo: memFree=127046876/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=658552 memory=530692 CPUtime=50.44 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98707 0 0 0 4909 135 0 0 20 0 1 0 68935426 674357248 132673 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164638 132673 2496 1147 0 152065 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 662744 KiB
Current children cumulated memory: 533764 KiB

[startup+54.4002 s]
/proc/loadavg: 3.93 2.87 2.94 5/268 75331
/proc/meminfo: memFree=127038812/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=659700 memory=530692 CPUtime=53.63 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98717 0 0 0 5221 142 0 0 20 0 1 0 68935426 675532800 132673 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164925 132673 2496 1147 0 152352 0
Current children cumulated CPU time: 54.21 s
Current children cumulated vsize: 663892 KiB
Current children cumulated memory: 533764 KiB

[startup+56.0002 s]*
/proc/loadavg: 4.02 2.91 2.95 5/268 75331
/proc/meminfo: memFree=127038812/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=659700 memory=530820 CPUtime=55.23 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98721 0 0 0 5378 145 0 0 20 0 1 0 68935426 675532800 132705 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164925 132705 2496 1147 0 152352 0
Current children cumulated CPU time: 55.81 s
Current children cumulated vsize: 663892 KiB
Current children cumulated memory: 533892 KiB

[startup+56.8002 s]
/proc/loadavg: 4.02 2.91 2.95 5/268 75331
/proc/meminfo: memFree=127038812/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=659700 memory=530820 CPUtime=56.03 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98721 0 0 0 5457 146 0 0 20 0 1 0 68935426 675532800 132705 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164925 132705 2496 1147 0 152352 0
Current children cumulated CPU time: 56.61 s
Current children cumulated vsize: 663892 KiB
Current children cumulated memory: 533892 KiB

[startup+57.2002 s]
/proc/loadavg: 4.02 2.91 2.95 5/268 75331
/proc/meminfo: memFree=127038812/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=659700 memory=530820 CPUtime=56.42 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98733 0 0 0 5496 146 0 0 20 0 1 0 68935426 675532800 132705 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164925 132705 2496 1147 0 152352 0
Current children cumulated CPU time: 57 s
Current children cumulated vsize: 663892 KiB
Current children cumulated memory: 533892 KiB

[startup+57.3002 s]
/proc/loadavg: 4.02 2.91 2.95 5/268 75331
/proc/meminfo: memFree=127038812/131249996 swapFree=33010416/33010684
[pid=75327] ppid=75324 vsize=4192 memory=3072 CPUtime=0.58 cores=1,3
/proc/75327/stat : 75327 (run-opt-ls.sh) S 75324 75327 74262 0 -1 4194304 239 5001 0 0 0 0 58 0 20 0 1 0 68935366 4292608 768 18446744073709551615 94571433619456 94571434513989 140724296085440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94571434753040 94571434800784 94571455696896 140724296092007 140724296092133 140724296092133 140724296097735 0
/proc/75327/statm: 1048 768 704 219 0 110 0
[pid=75330] ppid=75327 vsize=659700 memory=530820 CPUtime=56.52 cores=1,3
/proc/75330/stat : 75330 (roundingsat) R 75327 75327 74262 0 -1 4194304 98733 0 0 0 5506 146 0 0 20 0 1 0 68935426 675532800 132705 18446744073709551615 4227072 8923433 140725366878016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15183872 140725366884678 140725366884904 140725366884904 140725366890474 0
/proc/75330/statm: 164925 132705 2496 1147 0 152352 0
Current children cumulated CPU time: 57.1 s
Current children cumulated vsize: 663892 KiB
Current children cumulated memory: 533892 KiB

Child status: 0

Real time (s): 57.3328
CPU time (s): 57.1576
CPU user time (s): 55.6583
CPU system time (s): 1.49931
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 663892
Max. memory (cumulated for all children) (KiB): 533892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.6583
system time used= 1.49931
maximum resident set size= 530820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 98


# summary of solver processes directly reported to runsolver:
#   pid: 75327
#   total CPU time (s): 57.1576
#   total CPU user time (s): 55.6583
#   total CPU system time (s): 1.49931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.127807 second user time and 0.293452 second system time

The end

Begin job on nodeC030 at 2025-07-03 10:49:18
IDJOB=4518136
IDBENCH=176392
IDSOLVER=3355
FILE ID=nodeC030/4518136-1751532558
RUNJOBID= nodeC030-1751532423-74274
SLURM_JOB_ID= 9598677
Free space on /tmp= 432484 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_2000_1000_5_-50838.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518136-1751532558/watcher-4518136-1751532558 -o /tmp/evaluation-result-4518136-1751532558/solver-4518136-1751532558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74274 --watchdog 3760  run-opt-ls.sh HOME/instance-4518136-1751532558.opb

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

MD5SUM BENCH= b64c15565e2e2abc4a6ec3aecc6a0814
RANDOM SEED=1939357001

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127788308 kB
MemAvailable:   128476276 kB
Buffers:            2564 kB
Cached:          1479552 kB
SwapCached:           16 kB
Active:          1760772 kB
Inactive:        1036020 kB
Active(anon):    1328180 kB
Inactive(anon):     4548 kB
Active(file):     432592 kB
Inactive(file):  1031472 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7560 kB
Writeback:            32 kB
AnonPages:       1317168 kB
Mapped:           117704 kB
Shmem:             18048 kB
KReclaimable:     125884 kB
Slab:             214668 kB
SReclaimable:     125884 kB
SUnreclaim:        88784 kB
KernelStack:        4368 kB
PageTables:         5840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1783984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-03 10:50:15