0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.03	c #variables 10000 #constraints 1
0.00/0.03	c objective is ce32 
0.00/0.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.03	c GLOBAL bounds - >= -1678816 @ 0.01148
0.00/0.04	c GLOBAL bounds - >= -1678816 @ 0.014407
0.00/0.05	c GLOBAL bounds - >= -1678816 @ 0.018928
0.00/0.06	c GLOBAL bounds - >= -1678816 @ 0.024096
0.00/0.07	c GLOBAL bounds - >= -1678816 @ 0.027829
0.00/0.08	c GLOBAL bounds - >= -1678816 @ 0.034338
0.00/0.09	c GLOBAL bounds - >= -1678816 @ 0.039105
0.08/0.10	c GLOBAL bounds - >= -1678816 @ 0.044765
0.08/0.12	c GLOBAL bounds - >= -1678816 @ 0.048754
0.08/0.13	c GLOBAL bounds - >= -1678816 @ 0.05399
0.08/0.14	c GLOBAL bounds - >= -1678816 @ 0.059662
0.08/0.15	c GLOBAL bounds - >= -1678816 @ 0.063567
0.08/0.16	c GLOBAL bounds - >= -1678816 @ 0.068102
0.08/0.17	c GLOBAL bounds - >= -1678816 @ 0.070851
0.08/0.18	c GLOBAL bounds - >= -1678816 @ 0.074648
0.08/0.19	c GLOBAL bounds - >= -1678816 @ 0.080694
0.08/0.20	c GLOBAL bounds - >= -1678816 @ 0.087425
0.19/0.21	c GLOBAL bounds - >= -1678816 @ 0.093441
0.19/0.22	c GLOBAL bounds - >= -1678816 @ 0.098067
0.19/0.23	c GLOBAL bounds - >= -1678816 @ 0.103861
0.19/0.25	c GLOBAL bounds - >= -1678816 @ 0.109669
0.19/0.26	c GLOBAL bounds - >= -1678816 @ 0.116547
0.19/0.27	c GLOBAL bounds - >= -1678816 @ 0.121375
0.19/0.28	c GLOBAL bounds - >= -1678816 @ 0.126228
0.19/0.29	c GLOBAL bounds - >= -1678816 @ 0.13036
0.19/0.30	c GLOBAL bounds - >= -1678816 @ 0.135008
0.29/0.31	c GLOBAL bounds - >= -1678816 @ 0.138919
0.29/0.32	c GLOBAL bounds - >= -1678816 @ 0.144886
0.29/0.33	c GLOBAL bounds - >= -1678816 @ 0.150847
0.29/0.34	c GLOBAL bounds - >= -1678816 @ 0.154736
0.29/0.35	c GLOBAL bounds - >= -1678816 @ 0.162719
0.29/0.37	c GLOBAL bounds - >= -1678816 @ 0.16579
0.29/0.38	c GLOBAL bounds - >= -1678816 @ 0.173706
0.29/0.39	c GLOBAL bounds - >= -1678816 @ 0.178722
0.29/0.40	c GLOBAL bounds - >= -1678816 @ 0.18574
0.38/0.41	c GLOBAL bounds - >= -1678816 @ 0.19087
0.38/0.42	c GLOBAL bounds - >= -1678816 @ 0.197209
0.38/0.43	c GLOBAL bounds - >= -1678816 @ 0.200204
0.38/0.44	c GLOBAL bounds - >= -1678816 @ 0.204177
0.38/0.45	c GLOBAL bounds - >= -1678816 @ 0.208237
0.38/0.47	c GLOBAL bounds - >= -1678816 @ 0.213363
0.38/0.48	c GLOBAL bounds - >= -1678816 @ 0.215505
0.38/0.49	c GLOBAL bounds - >= -1678816 @ 0.223679
0.38/0.50	c GLOBAL bounds - >= -1678816 @ 0.227886
0.48/0.51	c GLOBAL bounds - >= -1678816 @ 0.2334
0.48/0.52	c GLOBAL bounds - >= -1678816 @ 0.239452
0.48/0.53	c GLOBAL bounds - >= -1678816 @ 0.242754
0.48/0.54	c GLOBAL bounds - >= -1678816 @ 0.249055
0.48/0.56	c GLOBAL bounds - >= -1678816 @ 0.253401
0.48/0.57	c GLOBAL bounds - >= -1678816 @ 0.259736
0.48/0.58	c GLOBAL bounds - >= -1678816 @ 0.264316
0.48/0.59	c GLOBAL bounds - >= -1678816 @ 0.268439
0.57/0.60	c GLOBAL bounds - >= -1678816 @ 0.276017
0.57/0.61	c GLOBAL bounds - >= -1678816 @ 0.281287
0.57/0.62	c GLOBAL bounds - >= -1678816 @ 0.285647
0.57/0.64	c GLOBAL bounds - >= -1678816 @ 0.292257
0.57/0.65	c GLOBAL bounds - >= -1678816 @ 0.297603
0.57/0.66	c GLOBAL bounds - >= -1678816 @ 0.305169
0.57/0.67	c GLOBAL bounds - >= -1678816 @ 0.310682
0.57/0.68	c GLOBAL bounds - >= -1678816 @ 0.31726
0.57/0.69	c GLOBAL bounds - >= -1678816 @ 0.324919
0.67/0.70	c GLOBAL bounds - >= -1678816 @ 0.331495
0.67/0.72	c GLOBAL bounds - >= -1678816 @ 0.337202
0.67/0.73	c GLOBAL bounds - >= -1678816 @ 0.341782
0.67/0.74	c GLOBAL bounds - >= -1678816 @ 0.349433
0.67/0.75	c GLOBAL bounds - >= -1678816 @ 0.356186
0.67/0.76	c GLOBAL bounds - >= -1678816 @ 0.359839
0.67/0.77	c GLOBAL bounds - >= -1678816 @ 0.367653
0.67/0.79	c GLOBAL bounds - >= -1678816 @ 0.374449
0.77/0.80	c GLOBAL bounds - >= -1678816 @ 0.378318
0.77/0.81	c GLOBAL bounds - >= -1678816 @ 0.382227
0.77/0.82	c GLOBAL bounds - >= -1678816 @ 0.389114
0.77/0.83	c GLOBAL bounds - >= -1678816 @ 0.394842
0.77/0.85	c GLOBAL bounds - >= -1678816 @ 0.400785
0.77/0.86	c GLOBAL bounds - >= -1678816 @ 0.40672
0.77/0.87	c GLOBAL bounds - >= -1678816 @ 0.413719
0.77/0.88	c GLOBAL bounds - >= -1678816 @ 0.419698
0.77/0.89	c GLOBAL bounds - >= -1678816 @ 0.428683
0.87/0.91	c GLOBAL bounds - >= -1678816 @ 0.433706
0.87/0.92	c GLOBAL bounds - >= -1678816 @ 0.439852
0.87/0.93	c GLOBAL bounds - >= -1678816 @ 0.443969
0.87/0.94	c GLOBAL bounds - >= -1678816 @ 0.451143
0.87/0.95	c GLOBAL bounds - >= -1678816 @ 0.4576
0.87/0.97	c GLOBAL bounds - >= -1678816 @ 0.463519
0.87/0.98	c GLOBAL bounds - >= -1678816 @ 0.469758
0.87/0.99	c GLOBAL bounds - >= -1678816 @ 0.476053
0.98/1.00	c GLOBAL bounds - >= -1678816 @ 0.48354
0.98/1.02	c GLOBAL bounds - >= -1678816 @ 0.49095
0.98/1.03	c GLOBAL bounds - >= -1678816 @ 0.497494
0.98/1.04	c GLOBAL bounds - >= -1678816 @ 0.501484
0.98/1.05	c GLOBAL bounds - >= -1678816 @ 0.507749
0.98/1.07	c GLOBAL bounds - >= -1678816 @ 0.513604
0.98/1.08	c GLOBAL bounds - >= -1678816 @ 0.521108
0.98/1.09	c GLOBAL bounds - >= -1678816 @ 0.529773
1.08/1.10	c GLOBAL bounds - >= -1678816 @ 0.535495
1.08/1.12	c GLOBAL bounds - >= -1678816 @ 0.542512
1.08/1.15	c GLOBAL bounds - >= -1678816 @ 0.568064
1.08/1.16	c GLOBAL bounds - >= -1678816 @ 0.57639
1.08/1.18	c GLOBAL bounds - >= -1678816 @ 0.585708
1.17/1.20	c GLOBAL bounds - >= -1678816 @ 0.599716
1.17/1.22	c GLOBAL bounds - >= -1678816 @ 0.621693
1.17/1.24	c GLOBAL bounds - >= -1678816 @ 0.634716
1.17/1.26	c GLOBAL bounds - >= -1678816 @ 0.644836
1.17/1.27	c GLOBAL bounds - >= -1678816 @ 0.650928
1.17/1.29	c GLOBAL bounds - >= -1678816 @ 0.667556
1.27/1.31	c GLOBAL bounds - >= -1678816 @ 0.678573
1.27/1.33	c GLOBAL bounds - >= -1678816 @ 0.693333
1.27/1.34	c GLOBAL bounds - >= -1678816 @ 0.703434
1.27/1.36	c GLOBAL bounds - >= -1678816 @ 0.713619
1.27/1.37	c GLOBAL bounds - >= -1678816 @ 0.722713
1.27/1.39	c GLOBAL bounds - >= -1678816 @ 0.729936
1.37/1.41	c GLOBAL bounds - >= -1678816 @ 0.748541
1.37/1.44	c GLOBAL bounds - >= -1678816 @ 0.762867
1.37/1.48	c GLOBAL bounds - >= -1678816 @ 0.795016
1.47/1.56	c GLOBAL bounds - >= -1678816 @ 0.863203
1.47/1.59	c GLOBAL bounds - >= -1678816 @ 0.88777
1.57/1.60	c GLOBAL bounds - >= -1678816 @ 0.898413
1.57/1.62	c GLOBAL bounds - >= -1678816 @ 0.914402
1.57/1.66	c GLOBAL bounds - >= -1678816 @ 0.945372
1.67/1.75	c GLOBAL bounds - >= -1678816 @ 1.02925
1.67/1.79	c GLOBAL bounds - >= -1678816 @ 1.06277
1.77/1.86	c GLOBAL bounds - >= -1678816 @ 1.12424
1.77/1.89	c GLOBAL bounds - >= -1678816 @ 1.1429
1.87/1.94	c GLOBAL bounds - >= -1678816 @ 1.18288
1.87/1.97	c GLOBAL bounds - >= -1678816 @ 1.20141
1.87/2.00	c GLOBAL bounds - >= -1678816 @ 1.21686
1.97/2.07	c GLOBAL bounds - >= -1678816 @ 1.27098
2.07/2.18	c GLOBAL bounds - >= -1678816 @ 1.3632
2.16/2.22	c GLOBAL bounds - >= -1678816 @ 1.40207
2.16/2.27	c GLOBAL bounds - >= -1678816 @ 1.44146
2.26/2.32	c GLOBAL bounds - >= -1678816 @ 1.47564
2.26/2.36	c GLOBAL bounds - >= -1678816 @ 1.50691
2.37/2.40	c GLOBAL bounds - >= -1678816 @ 1.53872
2.37/2.43	c GLOBAL bounds - >= -1678816 @ 1.55638
2.37/2.48	c GLOBAL bounds - >= -1678816 @ 1.59831
2.46/2.53	c GLOBAL bounds - >= -1678816 @ 1.62843
2.46/2.59	c GLOBAL bounds - >= -1678816 @ 1.67548
2.57/2.64	c GLOBAL bounds - >= -1678816 @ 1.70852
2.57/2.69	c GLOBAL bounds - >= -1678816 @ 1.74541
2.67/2.72	c GLOBAL bounds - >= -1678816 @ 1.76669
2.76/2.80	c GLOBAL bounds - >= -1678816 @ 1.82777
2.76/2.84	c GLOBAL bounds - >= -1678816 @ 1.85761
2.76/2.88	c GLOBAL bounds - >= -1678816 @ 1.88458
2.86/2.91	c GLOBAL bounds - >= -1678816 @ 1.91318
2.86/2.96	c GLOBAL bounds - >= -1678816 @ 1.95204
2.96/3.02	c GLOBAL bounds - >= -1678816 @ 1.99713
2.96/3.07	c GLOBAL bounds - >= -1678816 @ 2.03409
3.07/3.11	c GLOBAL bounds - >= -1678816 @ 2.06055
3.07/3.14	c GLOBAL bounds - >= -1678816 @ 2.08012
3.07/3.17	c GLOBAL bounds - >= -1678816 @ 2.1043
3.16/3.21	c GLOBAL bounds - >= -1678816 @ 2.13963
3.16/3.26	c GLOBAL bounds - >= -1678816 @ 2.18154
3.26/3.30	c GLOBAL bounds - >= -1678816 @ 2.20942
3.26/3.33	c GLOBAL bounds - >= -1678816 @ 2.23227
3.26/3.36	c GLOBAL bounds - >= -1678816 @ 2.25538
3.36/3.41	c GLOBAL bounds - >= -1678816 @ 2.29287
3.36/3.46	c GLOBAL bounds - >= -1678816 @ 2.33533
3.47/3.52	c GLOBAL bounds - >= -1678816 @ 2.3765
3.47/3.57	c GLOBAL bounds - >= -1678816 @ 2.41574
3.57/3.61	c GLOBAL bounds - >= -1678816 @ 2.4508
3.57/3.65	c GLOBAL bounds - >= -1678816 @ 2.4846
3.66/3.70	c GLOBAL bounds - >= -1678816 @ 2.52838
3.66/3.74	c GLOBAL bounds - >= -1678816 @ 2.56074
3.66/3.78	c GLOBAL bounds - >= -1678816 @ 2.5945
3.77/3.84	c GLOBAL bounds - >= -1678816 @ 2.63474
3.77/3.89	c GLOBAL bounds - >= -1678816 @ 2.67804
3.86/3.93	c GLOBAL bounds - >= -1678816 @ 2.708
3.86/3.98	c GLOBAL bounds - >= -1678816 @ 2.75362
3.96/4.02	c GLOBAL bounds - >= -1678816 @ 2.77756
3.96/4.05	c GLOBAL bounds - >= -1678816 @ 2.80278
3.96/4.08	c GLOBAL bounds - >= -1678816 @ 2.8268
4.06/4.12	c GLOBAL bounds - >= -1678816 @ 2.86134
4.06/4.17	c GLOBAL bounds - >= -1678816 @ 2.90191
4.16/4.22	c GLOBAL bounds - >= -1678816 @ 2.93828
4.16/4.26	c GLOBAL bounds - >= -1678816 @ 2.97326
4.16/4.29	c GLOBAL bounds - >= -1678816 @ 2.99777
4.26/4.33	c GLOBAL bounds - >= -1678816 @ 3.03236
4.26/4.39	c GLOBAL bounds - >= -1678816 @ 3.07636
4.36/4.44	c GLOBAL bounds - >= -1678816 @ 3.1207
4.36/4.48	c GLOBAL bounds - >= -1678816 @ 3.14459
4.46/4.52	c GLOBAL bounds - >= -1678816 @ 3.18171
4.46/4.55	c GLOBAL bounds - >= -1678816 @ 3.20567
4.56/4.61	c GLOBAL bounds - >= -1678816 @ 3.253
4.56/4.66	c GLOBAL bounds - >= -1678816 @ 3.29388
4.65/4.72	c GLOBAL bounds - >= -1678816 @ 3.3376
4.65/4.77	c GLOBAL bounds - >= -1678816 @ 3.37041
4.76/4.80	c GLOBAL bounds - >= -1678816 @ 3.39467
4.76/4.83	c GLOBAL bounds - >= -1678816 @ 3.41814
4.76/4.86	c GLOBAL bounds - >= -1678816 @ 3.44516
4.86/4.91	c GLOBAL bounds - >= -1678816 @ 3.48243
4.86/4.95	c GLOBAL bounds - >= -1678816 @ 3.5225
4.96/5.01	c GLOBAL bounds - >= -1678816 @ 3.57031
4.96/5.06	c GLOBAL bounds - >= -1678816 @ 3.60917
5.06/5.12	c GLOBAL bounds - >= -1678816 @ 3.65647
5.06/5.18	c GLOBAL bounds - >= -1678816 @ 3.70868
5.16/5.22	c GLOBAL bounds - >= -1678816 @ 3.74455
5.16/5.28	c GLOBAL bounds - >= -1678816 @ 3.79041
5.26/5.33	c GLOBAL bounds - >= -1678816 @ 3.82847
5.26/5.39	c GLOBAL bounds - >= -1678816 @ 3.87574
5.36/5.45	c GLOBAL bounds - >= -1678816 @ 3.92378
5.36/5.48	c GLOBAL bounds - >= -1678816 @ 3.95352
5.45/5.53	c GLOBAL bounds - >= -1678816 @ 3.99206
5.45/5.57	c GLOBAL bounds - >= -1678816 @ 4.02828
5.55/5.61	c GLOBAL bounds - >= -1678816 @ 4.05604
5.55/5.64	c GLOBAL bounds - >= -1678816 @ 4.08065
5.55/5.69	c GLOBAL bounds - >= -1678816 @ 4.11674
5.66/5.74	c GLOBAL bounds - >= -1678816 @ 4.15578
5.75/5.81	c GLOBAL bounds - >= -1678816 @ 4.21849
5.75/5.85	c GLOBAL bounds - >= -1678816 @ 4.25195
5.85/5.97	c GLOBAL bounds - >= -1678816 @ 4.35281
5.95/6.03	c GLOBAL bounds - >= -1678816 @ 4.40157
5.95/6.07	c GLOBAL bounds - >= -1678816 @ 4.4277
6.06/6.14	c GLOBAL bounds - >= -1678816 @ 4.49242
6.06/6.19	c GLOBAL bounds - >= -1678816 @ 4.53598
6.16/6.23	c GLOBAL bounds - >= -1678816 @ 4.56393
6.16/6.27	c GLOBAL bounds - >= -1678816 @ 4.60487
6.25/6.31	c GLOBAL bounds - >= -1678816 @ 4.63261
6.25/6.34	c GLOBAL bounds - >= -1678816 @ 4.66134
6.35/6.41	c GLOBAL bounds - >= -1678816 @ 4.71352
6.35/6.48	c GLOBAL bounds - >= -1678816 @ 4.77405
6.46/6.56	c GLOBAL bounds - >= -1678816 @ 4.83986
6.55/6.63	c GLOBAL bounds - >= -1678816 @ 4.89183
6.65/6.70	c GLOBAL bounds - >= -1678816 @ 4.96056
6.65/6.75	c GLOBAL bounds - >= -1678816 @ 5.0023
6.65/6.79	c GLOBAL bounds - >= -1678816 @ 5.0337
6.75/6.85	c GLOBAL bounds - >= -1678816 @ 5.08924
6.85/6.91	c GLOBAL bounds - >= -1678816 @ 5.12873
6.85/6.96	c GLOBAL bounds - >= -1678816 @ 5.17431
6.85/6.99	c GLOBAL bounds - >= -1678816 @ 5.20458
6.96/7.03	c GLOBAL bounds - >= -1678816 @ 5.23212
6.96/7.07	c GLOBAL bounds - >= -1678816 @ 5.26265
7.06/7.10	c GLOBAL bounds - >= -1678816 @ 5.29371
7.06/7.15	c GLOBAL bounds - >= -1678816 @ 5.33761
7.06/7.19	c GLOBAL bounds - >= -1678816 @ 5.36598
7.15/7.24	c GLOBAL bounds - >= -1678816 @ 5.40995
7.25/7.31	c GLOBAL bounds - >= -1678816 @ 5.46741
7.25/7.37	c GLOBAL bounds - >= -1678816 @ 5.52479
7.35/7.43	c GLOBAL bounds - >= -1678816 @ 5.56721
7.35/7.49	c GLOBAL bounds - >= -1678816 @ 5.62421
7.45/7.56	c GLOBAL bounds - >= -1678816 @ 5.67992
7.54/7.60	c GLOBAL bounds - >= -1678816 @ 5.71064
7.54/7.65	c GLOBAL bounds - >= -1678816 @ 5.75795
7.65/7.70	c GLOBAL bounds - >= -1678816 @ 5.80409
7.65/7.76	c GLOBAL bounds - >= -1678816 @ 5.84719
7.74/7.84	c GLOBAL bounds - >= -1678816 @ 5.92016
7.84/7.91	c GLOBAL bounds - >= -1678816 @ 5.9779
7.84/7.96	c GLOBAL bounds - >= -1678816 @ 6.02425
7.95/8.02	c GLOBAL bounds - >= -1678816 @ 6.06801
7.95/8.10	c GLOBAL bounds - >= -1678816 @ 6.14162
8.05/8.19	c GLOBAL bounds - >= -1678816 @ 6.21661
8.25/8.31	c GLOBAL bounds - >= -1678816 @ 6.3242
8.25/8.35	c GLOBAL bounds - >= -1678816 @ 6.35812
8.34/8.44	c GLOBAL bounds - >= -1678816 @ 6.43284
8.34/8.47	c GLOBAL bounds - >= -1678816 @ 6.46676
8.45/8.54	c GLOBAL bounds - >= -1678816 @ 6.5299
8.54/8.67	c GLOBAL bounds - >= -1678816 @ 6.64441
8.65/8.73	c GLOBAL bounds - >= -1678816 @ 6.68878
8.65/8.77	c GLOBAL bounds - >= -1678816 @ 6.72017
8.75/8.81	c GLOBAL bounds - >= -1678816 @ 6.75145
8.75/8.86	c GLOBAL bounds - >= -1678816 @ 6.80086
8.85/8.92	c GLOBAL bounds - >= -1678816 @ 6.84967
8.85/8.99	c GLOBAL bounds - >= -1678816 @ 6.90996
8.95/9.09	c GLOBAL bounds - >= -1678816 @ 6.99462
9.05/9.16	c GLOBAL bounds - >= -1678816 @ 7.05655
9.14/9.22	c GLOBAL bounds - >= -1678816 @ 7.1054
9.14/9.26	c GLOBAL bounds - >= -1678816 @ 7.14177
9.25/9.30	c GLOBAL bounds - >= -1678816 @ 7.1755
9.25/9.34	c GLOBAL bounds - >= -1678816 @ 7.211
9.34/9.45	c GLOBAL bounds - >= -1678816 @ 7.29779
9.44/9.52	c GLOBAL bounds - >= -1678816 @ 7.35968
9.44/9.59	c GLOBAL bounds - >= -1678816 @ 7.42738
9.55/9.64	c GLOBAL bounds - >= -1678816 @ 7.4643
9.55/9.69	c GLOBAL bounds - >= -1678816 @ 7.51326
9.64/9.75	c GLOBAL bounds - >= -1678816 @ 7.56238
9.64/9.79	c GLOBAL bounds - >= -1678816 @ 7.59996
9.74/9.87	c GLOBAL bounds - >= -1678816 @ 7.6666
9.84/9.95	c GLOBAL bounds - >= -1678816 @ 7.72785
9.95/10.02	c GLOBAL bounds - >= -1678816 @ 7.78877
9.95/10.10	c GLOBAL bounds - >= -1678816 @ 7.8568
10.05/10.14	c GLOBAL bounds - >= -1678816 @ 7.89333
10.14/10.20	c GLOBAL bounds - >= -1678816 @ 7.94037
10.14/10.24	c GLOBAL bounds - >= -1678816 @ 7.97688
10.24/10.30	c GLOBAL bounds - >= -1678816 @ 8.0292
10.24/10.35	c GLOBAL bounds - >= -1678816 @ 8.07822
10.35/10.42	c GLOBAL bounds - >= -1678816 @ 8.14545
10.35/10.46	c GLOBAL bounds - >= -1678816 @ 8.18007
10.44/10.51	c GLOBAL bounds - >= -1678816 @ 8.22128
10.44/10.55	c GLOBAL bounds - >= -1678816 @ 8.25712
10.54/10.60	c GLOBAL bounds - >= -1678816 @ 8.30302
10.54/10.69	c GLOBAL bounds - >= -1678816 @ 8.38799
10.74/10.84	c GLOBAL bounds - >= -1678816 @ 8.52025
10.95/11.02	c GLOBAL bounds - >= -1678816 @ 8.70353
11.14/11.27	c GLOBAL bounds - >= -1678816 @ 8.94135
11.24/11.32	c GLOBAL bounds - >= -1678816 @ 8.98534
11.24/11.35	c GLOBAL bounds - >= -1678816 @ 9.01434
11.43/11.52	c GLOBAL bounds - >= -1678816 @ 9.17817
11.54/11.64	c GLOBAL bounds - >= -1678816 @ 9.29345
11.63/11.78	c GLOBAL bounds - >= -1678816 @ 9.41821
12.13/12.25	c GLOBAL bounds - >= -1678816 @ 9.87303
12.53/12.65	c GLOBAL bounds - >= -1678816 @ 10.2534
12.64/12.76	c GLOBAL bounds - >= -1678816 @ 10.3557
13.23/13.30	c GLOBAL bounds - >= -1678816 @ 10.8777
13.83/13.96	c GLOBAL bounds - >= -1678816 @ 11.5103
13.93/14.05	c GLOBAL bounds - >= -1678816 @ 11.5929
14.04/14.13	c GLOBAL bounds - >= -1678816 @ 11.6659
14.93/15.07	c GLOBAL bounds - >= -1678816 @ 12.5837
15.03/15.14	c GLOBAL bounds - >= -1678816 @ 12.6436
15.13/15.25	c GLOBAL bounds - >= -1678816 @ 12.7484
15.22/15.31	c GLOBAL bounds - >= -1678816 @ 12.802
15.32/15.47	c GLOBAL bounds - >= -1678816 @ 12.9447
15.42/15.55	c GLOBAL bounds - >= -1678816 @ 13.0185
15.52/15.68	c GLOBAL bounds - >= -1678816 @ 13.146
15.62/15.76	c GLOBAL bounds - >= -1678816 @ 13.2169
15.72/15.89	c GLOBAL bounds - >= -1678816 @ 13.3432
15.93/16.02	c GLOBAL bounds - >= -1678816 @ 13.4646
16.03/16.11	c GLOBAL bounds - >= -1678816 @ 13.5509
16.12/16.26	c GLOBAL bounds - >= -1678816 @ 13.6968
16.72/16.87	c GLOBAL bounds - >= -1678816 @ 14.29
17.03/17.19	c GLOBAL bounds - >= -1678816 @ 14.5996
17.22/17.30	c GLOBAL bounds - >= -1678816 @ 14.6957
17.22/17.39	c GLOBAL bounds - >= -1678816 @ 14.7793
17.41/17.56	c GLOBAL bounds - >= -1678816 @ 14.9405
17.61/17.79	c GLOBAL bounds - >= -1678816 @ 15.1617
19.12/19.22	c #Conflicts:       1000 | #Constraints:       1643
19.12/19.22	c GLOBAL bounds - >= -1678816 @ 16.573
19.21/19.32	c GLOBAL bounds - >= -1678816 @ 16.6631
19.31/19.41	c GLOBAL bounds - >= -1678816 @ 16.7425
19.51/19.60	c GLOBAL bounds - >= -1678816 @ 16.9273
19.92/20.06	c GLOBAL bounds - >= -1678816 @ 17.373
20.61/20.75	c GLOBAL bounds - >= -1678816 @ 18.0009
21.60/21.75	c GLOBAL bounds - >= -1678816 @ 18.964
22.10/22.29	c GLOBAL bounds - >= -1678816 @ 19.4972
22.31/22.45	c GLOBAL bounds - >= -1678816 @ 19.649
22.50/22.66	c GLOBAL bounds - >= -1678816 @ 19.8507
22.80/22.94	c GLOBAL bounds - >= -1678816 @ 20.1227
23.09/23.20	c GLOBAL bounds - >= -1678816 @ 20.371
23.20/23.34	c GLOBAL bounds - >= -1678816 @ 20.5016
23.29/23.49	c GLOBAL bounds - >= -1678816 @ 20.6498
30.88/31.07	c #Conflicts:       2000 | #Constraints:       2671
30.88/31.07	c INPROCESSING
30.88/31.07	c GARBAGE COLLECT
30.88/31.07	c GLOBAL bounds - >= -1678816 @ 28.1017
30.98/31.15	c GLOBAL bounds - >= -1678816 @ 28.1716
31.07/31.25	c GLOBAL bounds - >= -1678816 @ 28.2665
33.57/33.75	c GLOBAL bounds - >= -1678816 @ 30.7299
33.66/33.86	c GLOBAL bounds - >= -1678816 @ 30.8432
33.77/34.00	c GLOBAL bounds - >= -1678816 @ 30.9698
34.56/34.74	c GLOBAL bounds - >= -1678816 @ 31.7003
34.87/35.04	c GLOBAL bounds - >= -1678816 @ 31.9801
35.36/35.51	c GLOBAL bounds - >= -1678816 @ 32.4364
36.06/36.22	c GLOBAL bounds - >= -1678816 @ 33.1243
36.96/37.18	c GLOBAL bounds - >= -1678816 @ 34.0658
39.35/39.51	c GLOBAL bounds - >= -1678816 @ 36.3662
39.65/39.84	c GLOBAL bounds - >= -1678816 @ 36.6917
44.33/44.50	c #Conflicts:       3000 | #Constraints:       2701
44.33/44.50	c GLOBAL bounds - >= -1678816 @ 41.2796
46.73/46.96	c GLOBAL bounds - >= -1678816 @ 43.6877
50.81/51.04	c GLOBAL bounds - >= -1678816 @ 47.6674
51.91/52.20	c GLOBAL bounds - >= -1678816 @ 48.8006
52.40/52.60	c GLOBAL bounds - >= -1678816 @ 49.202
53.50/53.72	c GLOBAL bounds - >= -1678816 @ 50.2949
54.80/55.03	c #Conflicts:       4000 | #Constraints:       3713
54.80/55.03	c GLOBAL bounds - >= -1678816 @ 51.5877
54.99/55.22	c GLOBAL bounds - >= -1678816 @ 51.771
55.39/55.64	c GLOBAL bounds - >= -1678816 @ 52.1771
55.60/55.81	c GLOBAL bounds - >= -1678816 @ 52.3391
55.80/56.05	c GLOBAL bounds - >= -1678816 @ 52.5699
56.79/57.08	c GLOBAL bounds - >= -1678816 @ 53.5773
60.18/60.48	c INPROCESSING
60.18/60.48	c GARBAGE COLLECT
60.18/60.48	c GLOBAL bounds - >= -1678816 @ 56.904
66.46/66.72	c #Conflicts:       5000 | #Constraints:       3151
66.46/66.72	c GLOBAL bounds - >= -1678816 @ 63.0668
69.15/69.43	c GLOBAL bounds - >= -1678816 @ 65.7466
69.25/69.55	c GLOBAL bounds - >= -1678816 @ 65.8636
83.11/83.44	c #Conflicts:       6000 | #Constraints:       4157
83.11/83.44	c GLOBAL bounds - >= -1678816 @ 79.6029
83.30/83.63	c GLOBAL bounds - >= -1678816 @ 79.7828
97.56/97.91	c INPROCESSING
97.56/97.91	c GARBAGE COLLECT
97.56/97.91	c #Conflicts:       7000 | #Constraints:       3158
97.56/97.91	c GLOBAL bounds - >= -1678816 @ 93.9598
97.67/98.04	c GLOBAL bounds - >= -1678816 @ 94.0896
98.96/99.39	c GLOBAL bounds - >= -1678816 @ 95.4221
118.10/118.57	c #Conflicts:       8000 | #Constraints:       4164
118.10/118.57	c GLOBAL bounds - >= -1678816 @ 114.442
130.35/130.89	c #Conflicts:       9000 | #Constraints:       5166
130.35/130.89	c INPROCESSING
130.35/130.89	c GARBAGE COLLECT
130.35/130.89	c GLOBAL bounds - >= -1678816 @ 126.613
130.56/131.05	c GLOBAL bounds - >= -1678816 @ 126.761
132.85/133.39	c GLOBAL bounds - >= -1678816 @ 129.073
134.14/134.64	c GLOBAL bounds - >= -1678816 @ 130.307
134.24/134.79	c GLOBAL bounds - >= -1678816 @ 130.451
134.84/135.35	c GLOBAL bounds - >= -1678816 @ 131.005
135.93/136.44	c #Conflicts:      10000 | #Constraints:       3945
135.93/136.44	c GLOBAL bounds - >= -1678816 @ 132.073
136.03/136.52	c GLOBAL bounds - >= -1678816 @ 132.151
136.54/137.01	c GLOBAL bounds - >= -1678816 @ 132.628
136.64/137.16	c GLOBAL bounds - >= -1678816 @ 132.782
137.03/137.52	c GLOBAL bounds - >= -1678816 @ 133.134
137.93/138.44	c GLOBAL bounds - >= -1678816 @ 134.041
139.03/139.51	c GLOBAL bounds - >= -1678816 @ 135.104
140.82/141.37	c GLOBAL bounds - >= -1678816 @ 136.939
142.51/143.03	c GLOBAL bounds - >= -1678816 @ 138.566
148.19/148.73	c GLOBAL bounds - >= -1678816 @ 144.227
151.98/152.52	c #Conflicts:      11000 | #Constraints:       4965
151.98/152.52	c GLOBAL bounds - >= -1678816 @ 147.962
161.86/162.43	c GLOBAL bounds - >= -1678816 @ 157.776
176.80/177.45	c #Conflicts:      12000 | #Constraints:       5969
176.80/177.45	c INPROCESSING
176.80/177.45	c GARBAGE COLLECT
176.80/177.45	c GLOBAL bounds - >= -1678816 @ 172.647
178.50/179.11	c GLOBAL bounds - >= -1678816 @ 174.248
178.70/179.34	c GLOBAL bounds - >= -1678816 @ 174.473
179.79/180.49	c #Conflicts:      13000 | #Constraints:       4391
179.79/180.49	c GLOBAL bounds - >= -1678816 @ 175.609
187.38/188.04	c GLOBAL bounds - >= -1678816 @ 183.083
188.26/188.97	c GLOBAL bounds - >= -1678816 @ 183.996
190.66/191.38	c GLOBAL bounds - >= -1678816 @ 186.383
198.63/199.30	c #Conflicts:      14000 | #Constraints:       5399
198.63/199.30	c GLOBAL bounds - >= -1678816 @ 194.238
200.13/200.80	c GLOBAL bounds - >= -1678816 @ 195.715
201.52/202.20	c GLOBAL bounds - >= -1678816 @ 197.102
207.51/208.22	c GLOBAL bounds - >= -1678816 @ 203.004
207.80/208.59	c GLOBAL bounds - >= -1678816 @ 203.36
208.00/208.71	c GLOBAL bounds - >= -1678816 @ 203.472
209.20/209.93	c GLOBAL bounds - >= -1678816 @ 204.675
212.29/213.07	c GLOBAL bounds - >= -1678816 @ 207.765
212.69/213.40	c GLOBAL bounds - >= -1678816 @ 208.087
212.88/213.63	c GLOBAL bounds - >= -1678816 @ 208.304
213.18/213.90	c GLOBAL bounds - >= -1678816 @ 208.57
213.28/214.03	c GLOBAL bounds - >= -1678816 @ 208.692
214.48/215.29	c GLOBAL bounds - >= -1678816 @ 209.933
218.66/219.41	c #Conflicts:      15000 | #Constraints:       6425
218.66/219.41	c INPROCESSING
218.66/219.41	c GARBAGE COLLECT
218.66/219.41	c GLOBAL bounds - >= -1678816 @ 214.018
229.63/230.42	c #Conflicts:      16000 | #Constraints:       4628
229.63/230.42	c GLOBAL bounds - >= -1678816 @ 224.972
267.51/268.47	c #Conflicts:      17000 | #Constraints:       5630
267.51/268.47	c #Conflicts:      18000 | #Constraints:       6630
267.51/268.47	c INPROCESSING
267.51/268.47	c GARBAGE COLLECT
267.51/268.47	c GLOBAL bounds - >= -1678816 @ 262.847
268.81/269.74	c GLOBAL bounds - >= -1678816 @ 264.105
269.11/270.07	c GLOBAL bounds - >= -1678816 @ 264.426
269.30/270.27	c GLOBAL bounds - >= -1678816 @ 264.625
269.60/270.58	c GLOBAL bounds - >= -1678816 @ 264.924
274.58/275.59	c GLOBAL bounds - >= -1678816 @ 269.888
274.98/275.91	c GLOBAL bounds - >= -1678816 @ 270.195
274.98/275.99	c GLOBAL bounds - >= -1678816 @ 270.263
275.28/276.22	c GLOBAL bounds - >= -1678816 @ 270.477
275.38/276.33	c GLOBAL bounds - >= -1678816 @ 270.588
275.48/276.41	c GLOBAL bounds - >= -1678816 @ 270.658
275.68/276.67	c GLOBAL bounds - >= -1678816 @ 270.904
275.78/276.78	c GLOBAL bounds - >= -1678816 @ 271.014
275.98/276.91	c GLOBAL bounds - >= -1678816 @ 271.129
275.98/276.98	c GLOBAL bounds - >= -1678816 @ 271.198
276.09/277.09	c GLOBAL bounds - >= -1678816 @ 271.298
277.09/278.02	c GLOBAL bounds - >= -1678816 @ 272.213
277.67/278.64	c GLOBAL bounds - >= -1678816 @ 272.833
277.78/278.79	c GLOBAL bounds - >= -1678816 @ 272.969
277.98/278.94	c GLOBAL bounds - >= -1678816 @ 273.11
278.27/279.22	c GLOBAL bounds - >= -1678816 @ 273.386
279.96/280.95	c #Conflicts:      19000 | #Constraints:       4687
279.96/280.95	c GLOBAL bounds - >= -1678816 @ 275.102
280.07/281.03	c GLOBAL bounds - >= -1678816 @ 275.183
281.56/282.59	c GLOBAL bounds - >= -1678816 @ 276.71
282.76/283.74	c GLOBAL bounds - >= -1678816 @ 277.845
283.96/284.90	c GLOBAL bounds - >= -1678816 @ 278.993
288.84/289.83	c GLOBAL bounds - >= -1678816 @ 283.884
298.81/299.81	c #Conflicts:      20000 | #Constraints:       5699
298.81/299.81	c GLOBAL bounds - >= -1678816 @ 293.792
303.99/305.10	c GLOBAL bounds - >= -1678816 @ 299.041
307.68/308.74	c GLOBAL bounds - >= -1678816 @ 302.653
308.47/309.57	c GLOBAL bounds - >= -1678816 @ 303.471
308.78/309.87	c GLOBAL bounds - >= -1678816 @ 303.759
309.08/310.14	c GLOBAL bounds - >= -1678816 @ 304.019
313.16/314.25	c GLOBAL bounds - >= -1678816 @ 308.076
314.56/315.63	c GLOBAL bounds - >= -1678816 @ 309.431
317.14/318.24	c GLOBAL bounds - >= -1678816 @ 312.022
317.34/318.45	c GLOBAL bounds - >= -1678816 @ 312.223
317.95/319.05	c #Conflicts:      21000 | #Constraints:       6719
317.95/319.05	c GLOBAL bounds - >= -1678816 @ 312.811
318.14/319.23	c GLOBAL bounds - >= -1678816 @ 312.975
341.56/342.72	c INPROCESSING
341.56/342.72	c GARBAGE COLLECT
341.56/342.72	c #Conflicts:      22000 | #Constraints:       4520
341.56/342.72	c GLOBAL bounds - >= -1678816 @ 336.038
341.97/343.15	c GLOBAL bounds - >= -1678816 @ 336.46
346.05/347.25	c GLOBAL bounds - >= -1678816 @ 340.523
346.45/347.65	c GLOBAL bounds - >= -1678816 @ 340.913
351.53/352.75	c #Conflicts:      23000 | #Constraints:       5528
351.53/352.75	c GLOBAL bounds - >= -1678816 @ 345.964
352.24/353.48	c GLOBAL bounds - >= -1678816 @ 346.681
352.73/353.93	c GLOBAL bounds - >= -1678816 @ 347.117
355.92/357.17	c GLOBAL bounds - >= -1678816 @ 350.343
356.92/358.16	c GLOBAL bounds - >= -1678816 @ 351.285
357.52/358.71	c GLOBAL bounds - >= -1678816 @ 351.823
358.31/359.52	c GLOBAL bounds - >= -1678816 @ 352.608
358.52/359.78	c GLOBAL bounds - >= -1678816 @ 352.858
360.10/361.31	c GLOBAL bounds - >= -1678816 @ 354.366
361.10/362.36	c GLOBAL bounds - >= -1678816 @ 355.406
364.49/365.71	c #Conflicts:      24000 | #Constraints:       6548
364.49/365.71	c GLOBAL bounds - >= -1678816 @ 358.712
381.44/382.74	c #Conflicts:      25000 | #Constraints:       7550
381.44/382.74	c INPROCESSING
381.44/382.74	c GARBAGE COLLECT
381.44/382.74	c GLOBAL bounds - >= -1678816 @ 375.53
384.13/385.41	c GLOBAL bounds - >= -1678816 @ 378.171
384.23/385.52	c GLOBAL bounds - >= -1678816 @ 378.272
384.33/385.67	c GLOBAL bounds - >= -1678816 @ 378.411
384.73/386.00	c GLOBAL bounds - >= -1678816 @ 378.732
384.83/386.12	c GLOBAL bounds - >= -1678816 @ 378.844
425.09/426.50	c #Conflicts:      26000 | #Constraints:       5158
425.09/426.50	c #Conflicts:      27000 | #Constraints:       6158
425.09/426.50	c GLOBAL bounds - >= -1678816 @ 418.821
425.19/426.60	c GLOBAL bounds - >= -1678816 @ 418.917
436.46/437.92	c GLOBAL bounds - >= -1678816 @ 430.143
444.44/445.96	c GLOBAL bounds - >= -1678816 @ 438.115
448.02/449.58	c #Conflicts:      28000 | #Constraints:       7166
448.02/449.58	c GLOBAL bounds - >= -1678816 @ 441.702
449.71/451.27	c GLOBAL bounds - >= -1678816 @ 443.365
450.82/452.32	c GLOBAL bounds - >= -1678816 @ 444.405
456.60/458.19	c GLOBAL bounds - >= -1678816 @ 450.232
463.28/464.80	c #Conflicts:      29000 | #Constraints:       8174
463.28/464.80	c INPROCESSING
463.28/464.80	c GARBAGE COLLECT
463.28/464.80	c GLOBAL bounds - >= -1678816 @ 456.813
464.77/466.33	c GLOBAL bounds - >= -1678816 @ 458.323
465.66/467.21	c GLOBAL bounds - >= -1678816 @ 459.172
468.56/470.11	c GLOBAL bounds - >= -1678816 @ 462.031
468.76/470.37	c GLOBAL bounds - >= -1678816 @ 462.283
470.16/471.74	c GLOBAL bounds - >= -1678816 @ 463.639
475.84/477.49	c GLOBAL bounds - >= -1678816 @ 469.322
481.43/483.01	c #Conflicts:      30000 | #Constraints:       5588
481.43/483.01	c GLOBAL bounds - >= -1678816 @ 474.715
491.20/492.84	c #Conflicts:      31000 | #Constraints:       6590
491.20/492.84	c GLOBAL bounds - >= -1678816 @ 484.446
491.59/493.24	c GLOBAL bounds - >= -1678816 @ 484.848
506.15/507.81	c #Conflicts:      32000 | #Constraints:       7594
506.15/507.81	c GLOBAL bounds - >= -1678816 @ 499.303
506.94/508.61	c GLOBAL bounds - >= -1678816 @ 500.094
543.13/544.92	c #Conflicts:      33000 | #Constraints:       8598
543.13/544.92	c INPROCESSING
543.13/544.92	c GARBAGE COLLECT
543.13/544.92	c GLOBAL bounds - >= -1678816 @ 536.219
544.63/546.41	c #Conflicts:      34000 | #Constraints:       5803
544.63/546.41	c GLOBAL bounds - >= -1678816 @ 537.69
545.24/547.05	c GLOBAL bounds - >= -1678816 @ 538.322
556.40/558.23	c GLOBAL bounds - >= -1678816 @ 549.416
563.48/565.33	c #Conflicts:      35000 | #Constraints:       6809
563.48/565.33	c GLOBAL bounds - >= -1678816 @ 556.462
564.37/566.26	c GLOBAL bounds - >= -1678816 @ 557.377
566.17/568.10	c GLOBAL bounds - >= -1678816 @ 559.204
568.67/570.51	c GLOBAL bounds - >= -1678816 @ 561.596
674.75/676.96	c #Conflicts:      36000 | #Constraints:       7817
674.75/676.96	c #Conflicts:      37000 | #Constraints:       8817
674.75/676.96	c INPROCESSING
674.75/676.96	c GARBAGE COLLECT
674.75/676.96	c #Conflicts:      38000 | #Constraints:       5897
674.75/676.96	c #Conflicts:      39000 | #Constraints:       6897
674.75/676.96	c #Conflicts:      40000 | #Constraints:       7897
674.75/676.96	c #Conflicts:      41000 | #Constraints:       8897
674.75/676.96	c INPROCESSING
674.75/676.96	c GARBAGE COLLECT
674.75/676.96	c GLOBAL bounds - >= -1678816 @ 667.277
678.73/680.93	c #Conflicts:      42000 | #Constraints:       5663
678.73/680.93	c GLOBAL bounds - >= -1678816 @ 671.216
679.14/681.37	c GLOBAL bounds - >= -1678816 @ 671.641
679.84/682.05	c GLOBAL bounds - >= -1678816 @ 672.296
681.43/683.61	c GLOBAL bounds - >= -1678816 @ 673.85
684.72/686.99	c GLOBAL bounds - >= -17191 @ 677.21
684.82/687.03	c rational objective -17191.3
684.82/687.05	c Inconsistent constraint found
684.82/687.05	c cpu time 677.258 s
684.82/687.05	c deterministic time 53165 5.32e+04
684.82/687.05	c optimization time 677.223 s
684.82/687.05	c total solve time 0.026215 s
684.82/687.05	c core-guided solve time 0 s
684.82/687.05	c propagation time 0.004806 s
684.82/687.05	c conflict analysis time 0 s
684.82/687.05	c propagations 9215
684.82/687.05	c resolve steps 0
684.82/687.05	c decisions 1289
684.82/687.05	c conflicts 0
684.82/687.05	c restarts 1
684.82/687.05	c inprocessing phases 0
684.82/687.05	c garbage collections 0 ,( -nan )
684.82/687.05	c input clauses 0 ,( 0.00 )
684.82/687.05	c input cardinalities 0 ,( 0.00 )
684.82/687.05	c input general constraints 2 ,( 100.00 )
684.82/687.05	c input average constraint length 10000.00
684.82/687.05	c input average constraint degree 4976048.00
684.82/687.05	c learned clauses 0 ,( 0.00 )
684.82/687.05	c learned cardinalities 0 ,( 0.00 )
684.82/687.05	c learned general constraints 1 ,( 100.00 )
684.82/687.05	c learned average constraint length 9799.00
684.82/687.05	c learned average constraint degree 2617801042201.00
684.82/687.05	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
684.82/687.05	c counting CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
684.82/687.05	c watched   constraints 0 ,( 0.00 ) 
684.82/687.05	c counting  constraints 3 ,( 100.00 ) 
684.82/687.05	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 309 ,( 0 , 309 )
684.82/687.05	c gcd simplifications 0
684.82/687.05	c detected cardinalities 0
684.82/687.05	c weakened non-implied lits 0
684.82/687.05	c weakened non-implying lits 0
684.82/687.05	c original variables 10000
684.82/687.05	c clausal propagations 0
684.82/687.05	c cardinality propagations 0
684.82/687.05	c watched propagations 0
684.82/687.05	c counting propagations 9215
684.82/687.05	c watch lookups 2355
684.82/687.05	c watch backjump lookups 0
684.82/687.05	c watch checks 0
684.82/687.05	c propagation checks 29799
684.82/687.05	c constraint additions 0
684.82/687.05	c trail pops 10504
684.82/687.05	c formula constraints 1
684.82/687.05	c learned constraints 0
684.82/687.05	c bound constraints 0
684.82/687.05	c core-guided constraints 0
684.82/687.05	c encountered formula constraints 0
684.82/687.05	c encountered learned constraints 0
684.82/687.05	c encountered bound constraints 0
684.82/687.05	c encountered core-guided constraints 0
684.82/687.05	c LP total time 0.023119 s
684.82/687.05	c LP solve time 0.01 s
684.82/687.05	c LP constraints added 2
684.82/687.05	c LP constraints removed 0
684.82/687.05	c LP pivots internal 1
684.82/687.05	c LP pivots root 1
684.82/687.05	c LP calls 2
684.82/687.05	c LP optimalities 2
684.82/687.05	c LP no pivot count 0
684.82/687.05	c LP infeasibilities 0
684.82/687.05	c LP valid Farkas constraints 0
684.82/687.05	c LP learned Farkas constraints 0
684.82/687.05	c LP basis resets 0
684.82/687.05	c LP cycling count 0
684.82/687.05	c LP singular count 0
684.82/687.05	c LP no primal count 0
684.82/687.05	c LP no farkas count 0
684.82/687.05	c LP other issue count 0
684.82/687.05	c LP Gomory cuts 1
684.82/687.05	c LP learned cuts 0
684.82/687.05	c LP deleted cuts 0
684.82/687.05	c LP encountered Gomory constraints 0
684.82/687.05	c LP encountered Farkas constraints 0
684.82/687.05	c LP encountered learned Farkas constraints 0
684.82/687.05	c CG auxiliary variables introduced 504
684.82/687.05	c CG solutions found 1
684.82/687.05	c CG cores constructed 0
684.82/687.05	c CG core cardinality constraints returned 0
684.82/687.05	c CG unit cores 0
684.82/687.05	c CG single cores 0
684.82/687.05	c CG blocks removed during cardinality reduction 0
684.82/687.05	c CG first core best 0
684.82/687.05	c CG decision core best 0
684.82/687.05	c CG core reduction tie 0
684.82/687.05	c CG core degree average 0.00
684.82/687.05	c CG core slack average 0.00
684.82/687.05	c CG core upper bound improvements 0
684.82/687.05	c STR number of successful calls 0
684.82/687.05	c STR number of unsuccessful calls 0
684.82/687.05	c STR number of inconclusive calls 0
684.82/687.05	c STR number of successful attempts 0
684.82/687.05	c STR number of unsuccessful attempts 0
684.82/687.05	c STR number of inconclusive attempts 0
684.82/687.05	c STR average degree increase per successful call inf
684.82/687.05	c STR average degree increase per successful attempt inf
684.82/687.05	c STR total number of conflicts for successful attempts 0
684.82/687.05	c STR total number of conflicts for unsuccessful attempts 0
684.82/687.05	c STR total number of conflicts for inconclusive attempts 0
684.82/687.05	c STR average number of conflicts per successful attempt inf
684.82/687.05	c STR average number of conflicts per unsuccessful attempt inf
684.82/687.05	c STR average number of conflicts per inconclusive attempt inf
684.82/687.05	c AVG.sumWPerc 99.42 
684.82/687.05	c bigint constraints 0 
684.82/687.05	o -17191
684.82/687.05	s OPTIMUM FOUND
684.82/687.05	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: 63708 MiB (50219 MiB free)
  memory of node 1: 64465 MiB (61034 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518134-1751543886/watcher-4518134-1751543886 -o /tmp/evaluation-result-4518134-1751543886/solver-4518134-1751543886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77533 --watchdog 3760 run-opt.sh HOME/instance-4518134-1751543886.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=77587, runsolver pid=77573

[startup+0.100057 s]*
/proc/loadavg: 0.25 1.25 2.42 5/268 77594
/proc/meminfo: memFree=113906028/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=67068 memory=17780 CPUtime=0.08 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 2649 0 0 0 4 4 0 0 20 0 1 0 70066477 68677632 4445 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 16767 4445 2400 1147 0 4194 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71260 KiB
Current children cumulated memory: 20724 KiB

[startup+0.205441 s]*
/proc/loadavg: 0.25 1.25 2.42 5/268 77594
/proc/meminfo: memFree=113901996/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=67068 memory=20584 CPUtime=0.19 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 2833 0 0 0 9 10 0 0 20 0 1 0 70066477 68677632 5146 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 16767 5146 2400 1147 0 4194 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71260 KiB
Current children cumulated memory: 23528 KiB

[startup+0.304963 s]*
/proc/loadavg: 0.25 1.25 2.42 5/268 77594
/proc/meminfo: memFree=113890152/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=67216 memory=20584 CPUtime=0.29 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 2851 0 0 0 14 15 0 0 20 0 1 0 70066477 68829184 5146 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 16804 5146 2400 1147 0 4231 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71408 KiB
Current children cumulated memory: 23528 KiB

[startup+0.700166 s]
/proc/loadavg: 0.55 1.29 2.43 5/268 77594
/proc/meminfo: memFree=113886120/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=70708 memory=22888 CPUtime=0.67 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 3427 0 0 0 32 35 0 0 20 0 1 0 70066477 72404992 5722 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 17677 5722 2400 1147 0 5104 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 74900 KiB
Current children cumulated memory: 25832 KiB

[startup+1.5002 s]
/proc/loadavg: 0.55 1.29 2.43 5/268 77594
/proc/meminfo: memFree=113864184/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=83188 memory=36576 CPUtime=1.47 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 6351 0 0 0 80 67 0 0 20 0 1 0 70066477 85184512 9144 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 20797 9144 2400 1147 0 8224 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 87380 KiB
Current children cumulated memory: 39520 KiB

[startup+3.1055 s]
/proc/loadavg: 0.55 1.29 2.43 5/268 77594
/proc/meminfo: memFree=113729532/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=120852 memory=66172 CPUtime=3.07 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 11694 0 0 0 205 102 0 0 20 0 1 0 70066477 123752448 16543 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 30213 16543 2400 1147 0 17640 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 125044 KiB
Current children cumulated memory: 69116 KiB

[startup+6.3002 s]
/proc/loadavg: 0.83 1.34 2.44 5/268 77594
/proc/meminfo: memFree=113657780/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=144308 memory=83032 CPUtime=6.25 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 13354 0 0 0 462 163 0 0 20 0 1 0 70066477 147771392 20758 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 36077 20758 2400 1147 0 23504 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 148500 KiB
Current children cumulated memory: 85976 KiB

[startup+12.7002 s]
/proc/loadavg: 1.16 1.40 2.45 5/268 77594
/proc/meminfo: memFree=113517512/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=198484 memory=126860 CPUtime=12.64 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 19717 0 0 0 1030 234 0 0 20 0 1 0 70066477 203247616 31715 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 49621 31715 2400 1147 0 37048 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 202676 KiB
Current children cumulated memory: 129804 KiB

[startup+25.5002 s]
/proc/loadavg: 1.60 1.49 2.47 5/269 77596
/proc/meminfo: memFree=113178632/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=372996 memory=295608 CPUtime=25.39 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 50155 0 0 0 2261 278 0 0 20 0 1 0 70066477 381947904 73902 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 93249 73902 2400 1147 0 80676 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 377188 KiB
Current children cumulated memory: 298552 KiB

[startup+51.1056 s]
/proc/loadavg: 2.55 1.73 2.52 5/269 77596
/proc/meminfo: memFree=112691440/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=725336 memory=604280 CPUtime=50.92 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 109438 0 0 0 4772 320 0 0 20 0 1 0 70066477 742744064 151070 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 181334 151070 2400 1147 0 168761 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 729528 KiB
Current children cumulated memory: 607224 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.09 2.60 5/269 77599
/proc/meminfo: memFree=112358344/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1076744 memory=822652 CPUtime=101.95 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 151784 0 0 0 9831 364 0 0 20 0 1 0 70066477 1102585856 205663 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 269186 205663 2400 1147 0 256613 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1080936 KiB
Current children cumulated memory: 825596 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.46 2.70 5/270 77606
/proc/meminfo: memFree=112081484/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1154912 memory=1006568 CPUtime=161.76 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 180458 0 0 0 15764 412 0 0 20 0 1 0 70066477 1182629888 251642 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 288728 251642 2400 1147 0 276155 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1159104 KiB
Current children cumulated memory: 1009512 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.76 2.79 5/270 77619
/proc/meminfo: memFree=111643048/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1456120 memory=1254680 CPUtime=221.55 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 232794 0 0 0 21689 466 0 0 20 0 1 0 70066477 1491066880 313670 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 364030 313670 2400 1147 0 351457 0
Current children cumulated CPU time: 221.55 s

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

/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1875612 memory=1502856 CPUtime=460.78 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 276963 0 0 0 45431 647 0 0 20 0 1 0 70066477 1920626688 375714 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 468903 375714 2400 1147 0 456330 0
Current children cumulated CPU time: 460.78 s
Current children cumulated vsize: 1879804 KiB
Current children cumulated memory: 1505800 KiB

[startup+522.3 s]
/proc/loadavg: 4.10 3.63 3.17 5/270 77679
/proc/meminfo: memFree=111129768/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1875612 memory=1502984 CPUtime=520.61 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 276991 0 0 0 51371 690 0 0 20 0 1 0 70066477 1920626688 375746 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 468903 375746 2400 1147 0 456330 0
Current children cumulated CPU time: 520.61 s
Current children cumulated vsize: 1879804 KiB
Current children cumulated memory: 1505928 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 3.71 3.23 5/269 77681
/proc/meminfo: memFree=111058348/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1875612 memory=1504520 CPUtime=580.43 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 277027 0 0 0 57323 720 0 0 20 0 1 0 70066477 1920626688 376130 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 468903 376130 2400 1147 0 456330 0
Current children cumulated CPU time: 580.43 s
Current children cumulated vsize: 1879804 KiB
Current children cumulated memory: 1507464 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 3.78 3.28 5/269 77683
/proc/meminfo: memFree=110828348/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=1975612 memory=1648368 CPUtime=640.25 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 296444 0 0 0 63281 744 0 0 20 0 1 0 70066477 2023026688 412092 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 493903 412092 2400 1147 0 481330 0
Current children cumulated CPU time: 640.25 s
Current children cumulated vsize: 1979804 KiB
Current children cumulated memory: 1651312 KiB

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

# cumulated CPU time of all completed processes:  user=677.267 s, system=7.6751 s

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

[startup+665.6 s]
/proc/loadavg: 4.13 3.82 3.31 5/269 77684
/proc/meminfo: memFree=110701636/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2058316 memory=1787336 CPUtime=663.49 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 313781 0 0 0 65598 751 0 0 20 0 1 0 70066477 2107715584 446834 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 514579 446834 2400 1147 0 502006 0
Current children cumulated CPU time: 663.49 s
Current children cumulated vsize: 2062508 KiB
Current children cumulated memory: 1790280 KiB

[startup+678.4 s]
/proc/loadavg: 4.10 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110656956/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2413712 memory=1815968 CPUtime=676.25 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 316348 0 0 0 66870 755 0 0 20 0 1 0 70066477 2471641088 453992 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 603428 453992 2400 1147 0 590855 0
Current children cumulated CPU time: 676.25 s
Current children cumulated vsize: 2417904 KiB
Current children cumulated memory: 1818912 KiB

[startup+681.6 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110649144/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2413712 memory=1815968 CPUtime=679.43 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 316348 0 0 0 67185 758 0 0 20 0 1 0 70066477 2471641088 453992 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 603428 453992 2400 1147 0 590855 0
Current children cumulated CPU time: 679.43 s
Current children cumulated vsize: 2417904 KiB
Current children cumulated memory: 1818912 KiB

[startup+684.8 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110648640/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2413712 memory=1815968 CPUtime=682.62 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 316350 0 0 0 67502 760 0 0 20 0 1 0 70066477 2471641088 453992 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 603428 453992 2400 1147 0 590855 0
Current children cumulated CPU time: 682.62 s
Current children cumulated vsize: 2417904 KiB
Current children cumulated memory: 1818912 KiB

[startup+686.4 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110646344/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2413712 memory=1815968 CPUtime=684.22 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 316350 0 0 0 67661 761 0 0 20 0 1 0 70066477 2471641088 453992 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 603428 453992 2400 1147 0 590855 0
Current children cumulated CPU time: 684.22 s
Current children cumulated vsize: 2417904 KiB
Current children cumulated memory: 1818912 KiB

[startup+686.8 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110646344/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2413712 memory=1815968 CPUtime=684.62 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 316352 0 0 0 67701 761 0 0 20 0 1 0 70066477 2471641088 453992 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 603428 453992 2400 1147 0 590855 0
Current children cumulated CPU time: 684.62 s
Current children cumulated vsize: 2417904 KiB
Current children cumulated memory: 1818912 KiB

[startup+687 s]*
/proc/loadavg: 4.09 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110646344/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
[pid=77589] ppid=77587 vsize=2415684 memory=1816852 CPUtime=684.82 cores=1,3
/proc/77589/stat : 77589 (roundingsat) R 77587 77587 77498 0 -1 4194304 316761 0 0 0 67721 761 0 0 20 0 1 0 70066477 2473660416 454213 18446744073709551615 4227072 8923433 140733155374096 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16261120 140733155375522 140733155375656 140733155375656 140733155381226 0
/proc/77589/statm: 603921 454213 2400 1147 0 591348 0
Current children cumulated CPU time: 684.82 s
Current children cumulated vsize: 2419876 KiB
Current children cumulated memory: 1819796 KiB

[startup+687.106 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77684
/proc/meminfo: memFree=110646344/131249996 swapFree=33004236/33010684
[pid=77587] ppid=77573 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77587/stat : 77587 (run-opt.sh) S 77573 77587 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70066476 4292608 736 18446744073709551615 94343427653632 94343428548165 140722228311424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94343428787216 94343428834960 94343458557952 140722228320621 140722228320744 140722228320744 140722228326346 0
/proc/77587/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 687.112
CPU time (s): 684.942
CPU user time (s): 677.267
CPU system time (s): 7.6751
CPU usage (%): 99.6842
Max. virtual memory (cumulated for all children) (KiB): 2419876
Max. memory (cumulated for all children) (KiB): 1819796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.267
system time used= 7.6751
maximum resident set size= 1823628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 1060


# summary of solver processes directly reported to runsolver:
#   pid: 77587
#   total CPU time (s): 684.942
#   total CPU user time (s): 677.267
#   total CPU system time (s): 7.6751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92616 second user time and 2.80739 second system time

The end

Begin job on nodeC023 at 2025-07-03 13:58:06
IDJOB=4518134
IDBENCH=176392
IDSOLVER=3350
FILE ID=nodeC023/4518134-1751543886
RUNJOBID= nodeC023-1751543886-77533
SLURM_JOB_ID= 9598710
Free space on /tmp= 431872 MiB

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

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

MD5SUM BENCH= b64c15565e2e2abc4a6ec3aecc6a0814
RANDOM SEED=289542404

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113932992 kB
MemAvailable:   129694536 kB
Buffers:              16 kB
Cached:         16505732 kB
SwapCached:          592 kB
Active:           285108 kB
Inactive:       16300652 kB
Active(anon):      72964 kB
Inactive(anon):    20452 kB
Active(file):     212144 kB
Inactive(file): 16280200 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29100 kB
Writeback:            16 kB
AnonPages:         82440 kB
Mapped:            99272 kB
Shmem:             13404 kB
KReclaimable:     216876 kB
Slab:             307348 kB
SReclaimable:     216876 kB
SUnreclaim:        90472 kB
KernelStack:        4084 kB
PageTables:         2872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     344336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 14:09:33