0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.73	c #variables 225 #constraints 225
0.00/0.79	c bounds - >= 0 @ 0.002539
0.00/0.79	c rational objective 48.5261
0.65/1.47	c bounds 75 >= 0 @ 0.057872
0.65/1.47	c bounds 75 >= 1 @ 0.099529
0.65/1.47	c bounds 75 >= 2 @ 0.099858
0.65/1.47	c bounds 75 >= 3 @ 0.100141
0.65/1.47	c bounds 75 >= 4 @ 0.100425
0.65/1.47	c bounds 75 >= 5 @ 0.100717
0.65/1.47	c bounds 75 >= 6 @ 0.101031
0.65/1.47	c bounds 75 >= 7 @ 0.10135
0.65/1.47	c bounds 75 >= 8 @ 0.101655
0.65/1.47	c bounds 75 >= 9 @ 0.10196
0.65/1.47	c bounds 75 >= 10 @ 0.102245
0.65/1.47	c bounds 75 >= 11 @ 0.102573
0.65/1.47	c bounds 75 >= 12 @ 0.102908
0.65/1.47	c bounds 75 >= 13 @ 0.103226
0.65/1.47	c bounds 75 >= 14 @ 0.10355
0.65/1.47	c bounds 75 >= 15 @ 0.103894
0.65/1.47	c bounds 75 >= 16 @ 0.104195
0.65/1.47	c bounds 75 >= 17 @ 0.104301
0.65/1.47	c bounds 75 >= 18 @ 0.104301
0.65/1.47	c bounds 75 >= 19 @ 0.104301
0.65/1.47	c bounds 75 >= 20 @ 0.104527
0.65/1.47	c bounds 75 >= 21 @ 0.104842
0.65/1.47	c bounds 75 >= 22 @ 0.105194
0.65/1.47	c bounds 74 >= 22 @ 0.105322
0.65/1.47	c bounds 74 >= 23 @ 0.105322
0.65/1.47	c bounds 74 >= 24 @ 0.105542
0.65/1.47	c bounds 74 >= 25 @ 0.105883
0.65/1.47	c bounds 74 >= 26 @ 0.106226
0.65/1.47	c bounds 74 >= 27 @ 0.106307
0.65/1.47	c bounds 74 >= 28 @ 0.106307
0.65/1.47	c bounds 74 >= 29 @ 0.106307
0.65/1.47	c bounds 74 >= 30 @ 0.106675
0.65/1.47	c bounds 74 >= 31 @ 0.107128
0.65/1.47	c bounds 74 >= 32 @ 0.107298
0.65/1.47	c bounds 74 >= 33 @ 0.107298
0.65/1.47	c bounds 74 >= 34 @ 0.107298
0.65/1.47	c bounds 74 >= 35 @ 0.107334
0.65/1.47	c bounds 74 >= 36 @ 0.107334
0.65/1.47	c bounds 74 >= 37 @ 0.107334
0.65/1.47	c bounds 74 >= 38 @ 0.107342
0.65/1.47	c bounds 74 >= 39 @ 0.107342
0.65/1.47	c bounds 74 >= 40 @ 0.107534
0.65/1.47	c bounds 74 >= 41 @ 0.107878
0.65/1.47	c bounds 74 >= 42 @ 0.108166
0.65/1.47	c bounds 74 >= 43 @ 0.108517
0.65/1.47	c bounds 74 >= 44 @ 0.1099
0.65/1.47	c bounds 73 >= 44 @ 0.110485
0.65/1.47	c bounds 73 >= 45 @ 0.111351
0.65/1.47	c bounds 72 >= 45 @ 0.111359
0.65/1.47	c bounds 71 >= 45 @ 0.111374
0.65/1.47	c bounds 71 >= 46 @ 0.114367
0.65/1.47	c bounds 70 >= 46 @ 0.116624
0.65/1.47	c bounds 69 >= 46 @ 0.121855
0.65/1.47	c bounds 69 >= 47 @ 0.124305
0.65/1.47	c bounds 69 >= 48 @ 0.148936
0.65/1.47	c bounds 68 >= 48 @ 0.149903
0.65/1.47	c bounds 67 >= 48 @ 0.15101
0.65/1.47	c bounds 66 >= 48 @ 0.155677
0.65/1.47	c bounds 65 >= 48 @ 0.160833
0.65/1.47	c bounds 64 >= 48 @ 0.176921
0.65/1.47	c #Conflicts:       1000 | #Constraints:       1518
0.65/1.47	c bounds 64 >= 49 @ 0.438716
0.65/1.47	c bounds 63 >= 49 @ 0.498994
0.65/1.47	c bounds 62 >= 49 @ 0.503843
0.65/1.47	c bounds 61 >= 49 @ 0.510145
0.65/1.47	c bounds 60 >= 49 @ 0.519924
0.65/1.47	c #Conflicts:       2000 | #Constraints:       2576
0.65/1.47	c INPROCESSING
0.65/1.47	c GARBAGE COLLECT
0.65/1.47	c rational objective 49
1.45/2.20	c bounds 59 >= 49 @ 0.871582
1.45/2.20	c #Conflicts:       3000 | #Constraints:       2562
1.45/2.20	c #Conflicts:       4000 | #Constraints:       3562
1.45/2.20	c INPROCESSING
1.45/2.20	c GARBAGE COLLECT
1.45/2.20	c rational objective 49
1.95/2.71	c bounds 58 >= 49 @ 1.36101
1.95/2.71	c #Conflicts:       5000 | #Constraints:       3017
1.95/2.71	c bounds 57 >= 49 @ 1.46832
1.95/2.71	c #Conflicts:       6000 | #Constraints:       4075
1.95/2.71	c INPROCESSING
1.95/2.71	c GARBAGE COLLECT
1.95/2.71	c rational objective 49
2.64/3.46	c #Conflicts:       7000 | #Constraints:       3034
2.64/3.46	c #Conflicts:       8000 | #Constraints:       4034
2.64/3.46	c bounds 57 >= 50 @ 2.43247
2.64/3.46	c #Conflicts:       9000 | #Constraints:       5097
2.64/3.46	c INPROCESSING
2.64/3.46	c GARBAGE COLLECT
2.64/3.46	c rational objective 50
3.14/3.96	c #Conflicts:      10000 | #Constraints:       3773
3.14/3.96	c bounds 56 >= 50 @ 2.65227
3.14/3.96	c #Conflicts:      11000 | #Constraints:       4822
3.14/3.96	c bounds 55 >= 50 @ 2.8138
3.14/3.96	c #Conflicts:      12000 | #Constraints:       5866
3.14/3.96	c INPROCESSING
3.14/3.96	c GARBAGE COLLECT
3.14/3.96	c rational objective 50
3.74/4.58	c #Conflicts:      13000 | #Constraints:       4272
3.74/4.58	c #Conflicts:      14000 | #Constraints:       5315
3.74/4.58	c #Conflicts:      15000 | #Constraints:       6353
3.74/4.58	c INPROCESSING
3.74/4.58	c GARBAGE COLLECT
3.74/4.58	c rational objective 50
4.94/5.71	c #Conflicts:      16000 | #Constraints:       4487
4.94/5.71	c #Conflicts:      17000 | #Constraints:       5487
4.94/5.71	c #Conflicts:      18000 | #Constraints:       6487
4.94/5.71	c INPROCESSING
4.94/5.71	c GARBAGE COLLECT
4.94/5.71	c rational objective 50
6.03/6.89	c #Conflicts:      19000 | #Constraints:       4473
6.03/6.89	c #Conflicts:      20000 | #Constraints:       5497
6.03/6.89	c #Conflicts:      21000 | #Constraints:       6529
6.03/6.89	c INPROCESSING
6.03/6.89	c GARBAGE COLLECT
6.03/6.89	c rational objective 50
7.52/8.36	c #Conflicts:      22000 | #Constraints:       4294
7.52/8.36	c #Conflicts:      23000 | #Constraints:       5294
7.52/8.36	c #Conflicts:      24000 | #Constraints:       6294
7.52/8.36	c #Conflicts:      25000 | #Constraints:       7294
7.52/8.36	c INPROCESSING
7.52/8.36	c GARBAGE COLLECT
7.52/8.36	c rational objective 50
8.23/9.05	c #Conflicts:      26000 | #Constraints:       4885
8.23/9.05	c #Conflicts:      27000 | #Constraints:       5910
8.23/9.05	c #Conflicts:      28000 | #Constraints:       6957
8.23/9.05	c #Conflicts:      29000 | #Constraints:       7994
8.23/9.05	c INPROCESSING
8.23/9.05	c GARBAGE COLLECT
8.23/9.05	c rational objective 50
9.12/9.95	c #Conflicts:      30000 | #Constraints:       5361
9.12/9.95	c #Conflicts:      31000 | #Constraints:       6407
9.12/9.95	c #Conflicts:      32000 | #Constraints:       7444
9.12/9.95	c #Conflicts:      33000 | #Constraints:       8478
9.12/9.95	c INPROCESSING
9.12/9.95	c GARBAGE COLLECT
9.12/9.95	c rational objective 50
10.11/10.94	c #Conflicts:      34000 | #Constraints:       5579
10.11/10.94	c #Conflicts:      35000 | #Constraints:       6618
10.11/10.94	c #Conflicts:      36000 | #Constraints:       7665
10.11/10.94	c #Conflicts:      37000 | #Constraints:       8710
10.11/10.94	c INPROCESSING
10.11/10.94	c GARBAGE COLLECT
10.11/10.94	c rational objective 50
11.51/12.37	c #Conflicts:      38000 | #Constraints:       5574
11.51/12.37	c #Conflicts:      39000 | #Constraints:       6574
11.51/12.37	c bounds 55 >= 51 @ 10.389
11.51/12.37	c #Conflicts:      40000 | #Constraints:       7651
11.51/12.37	c #Conflicts:      41000 | #Constraints:       8678
11.51/12.37	c INPROCESSING
11.51/12.37	c GARBAGE COLLECT
11.51/12.37	c rational objective 51
13.81/14.64	c #Conflicts:      42000 | #Constraints:       5391
13.81/14.64	c #Conflicts:      43000 | #Constraints:       6391
13.81/14.64	c #Conflicts:      44000 | #Constraints:       7391
13.81/14.64	c #Conflicts:      45000 | #Constraints:       8391
13.81/14.64	c #Conflicts:      46000 | #Constraints:       9391
13.81/14.64	c INPROCESSING
13.81/14.64	c GARBAGE COLLECT
13.81/14.64	c rational objective 51
14.90/15.78	c #Conflicts:      47000 | #Constraints:       5983
14.90/15.78	c #Conflicts:      48000 | #Constraints:       7013
14.90/15.78	c #Conflicts:      49000 | #Constraints:       8044
14.90/15.78	c #Conflicts:      50000 | #Constraints:       9077
14.90/15.78	c #Conflicts:      51000 | #Constraints:      10111
14.90/15.78	c INPROCESSING
14.90/15.78	c GARBAGE COLLECT
14.90/15.78	c rational objective 51
16.10/17.00	c #Conflicts:      52000 | #Constraints:       6443
16.10/17.00	c #Conflicts:      53000 | #Constraints:       7486
16.10/17.00	c #Conflicts:      54000 | #Constraints:       8521
16.10/17.00	c #Conflicts:      55000 | #Constraints:       9553
16.10/17.00	c #Conflicts:      56000 | #Constraints:      10587
16.10/17.00	c INPROCESSING
16.10/17.00	c GARBAGE COLLECT
16.10/17.00	c rational objective 51
17.49/18.35	c #Conflicts:      57000 | #Constraints:       6669
17.49/18.35	c #Conflicts:      58000 | #Constraints:       7698
17.49/18.35	c #Conflicts:      59000 | #Constraints:       8728
17.49/18.35	c #Conflicts:      60000 | #Constraints:       9760
17.49/18.35	c #Conflicts:      61000 | #Constraints:      10786
17.49/18.35	c INPROCESSING
17.49/18.35	c GARBAGE COLLECT
17.49/18.35	c rational objective 51
20.59/21.46	c #Conflicts:      62000 | #Constraints:       6631
20.59/21.46	c #Conflicts:      63000 | #Constraints:       7632
20.59/21.46	c #Conflicts:      64000 | #Constraints:       8632
20.59/21.46	c #Conflicts:      65000 | #Constraints:       9632
20.59/21.46	c #Conflicts:      66000 | #Constraints:      10632
20.59/21.46	c INPROCESSING
20.59/21.46	c GARBAGE COLLECT
20.59/21.46	c rational objective 51
31.94/32.82	c #Conflicts:      67000 | #Constraints:       6393
31.94/32.82	c #Conflicts:      68000 | #Constraints:       7419
31.94/32.82	c #Conflicts:      69000 | #Constraints:       8455
31.94/32.82	c #Conflicts:      70000 | #Constraints:       9493
31.94/32.82	c #Conflicts:      71000 | #Constraints:      10525
31.94/32.82	c #Conflicts:      72000 | #Constraints:      11559
31.94/32.82	c #Conflicts:      73000 | #Constraints:      12586
31.94/32.82	c #Conflicts:      74000 | #Constraints:      13617
31.94/32.82	c #Conflicts:      75000 | #Constraints:      14655
31.94/32.82	c #Conflicts:      76000 | #Constraints:      15686
31.94/32.82	c #Conflicts:      77000 | #Constraints:      16713
31.94/32.82	c #Conflicts:      78000 | #Constraints:      17749
31.94/32.82	c #Conflicts:      79000 | #Constraints:      18789
31.94/32.82	c #Conflicts:      80000 | #Constraints:      19822
31.94/32.82	c #Conflicts:      81000 | #Constraints:      20853
31.94/32.82	c #Conflicts:      82000 | #Constraints:      21893
31.94/32.82	c #Conflicts:      83000 | #Constraints:      22924
31.94/32.82	c #Conflicts:      84000 | #Constraints:      23957
31.94/32.82	c #Conflicts:      85000 | #Constraints:      24996
31.94/32.82	c #Conflicts:      86000 | #Constraints:      26029
31.94/32.82	c #Conflicts:      87000 | #Constraints:      27061
31.94/32.82	c #Conflicts:      88000 | #Constraints:      28103
31.94/32.82	c #Conflicts:      89000 | #Constraints:      29132
31.94/32.82	c INPROCESSING
31.94/32.82	c GARBAGE COLLECT
31.94/32.82	c rational objective 51
38.31/39.27	c #Conflicts:      90000 | #Constraints:      15774
38.31/39.27	c #Conflicts:      91000 | #Constraints:      16774
38.31/39.27	c #Conflicts:      92000 | #Constraints:      17774
38.31/39.27	c #Conflicts:      93000 | #Constraints:      18774
38.31/39.27	c #Conflicts:      94000 | #Constraints:      19774
38.31/39.27	c #Conflicts:      95000 | #Constraints:      20774
38.31/39.27	c #Conflicts:      96000 | #Constraints:      21774
38.31/39.27	c INPROCESSING
38.31/39.27	c GARBAGE COLLECT
38.31/39.27	c rational objective 51
45.69/46.60	c #Conflicts:      97000 | #Constraints:      12267
45.69/46.60	c #Conflicts:      98000 | #Constraints:      13267
45.69/46.60	c #Conflicts:      99000 | #Constraints:      14267
45.69/46.60	c #Conflicts:     100000 | #Constraints:      15267
45.69/46.60	c #Conflicts:     101000 | #Constraints:      16267
45.69/46.60	c #Conflicts:     102000 | #Constraints:      17267
45.69/46.60	c INPROCESSING
45.69/46.60	c GARBAGE COLLECT
45.69/46.60	c rational objective 51
47.98/48.96	c #Conflicts:     103000 | #Constraints:       9570
47.98/48.96	c #Conflicts:     104000 | #Constraints:      10595
47.98/48.96	c #Conflicts:     105000 | #Constraints:      11636
47.98/48.96	c #Conflicts:     106000 | #Constraints:      12676
47.98/48.96	c #Conflicts:     107000 | #Constraints:      13710
47.98/48.96	c #Conflicts:     108000 | #Constraints:      14745
47.98/48.96	c #Conflicts:     109000 | #Constraints:      15779
47.98/48.96	c #Conflicts:     110000 | #Constraints:      16817
47.98/48.96	c INPROCESSING
47.98/48.96	c GARBAGE COLLECT
47.98/48.96	c rational objective 51
50.57/51.54	c #Conflicts:     111000 | #Constraints:       9790
50.57/51.54	c #Conflicts:     112000 | #Constraints:      10823
50.57/51.54	c #Conflicts:     113000 | #Constraints:      11864
50.57/51.54	c #Conflicts:     114000 | #Constraints:      12903
50.57/51.54	c #Conflicts:     115000 | #Constraints:      13934
50.57/51.54	c #Conflicts:     116000 | #Constraints:      14961
50.57/51.54	c #Conflicts:     117000 | #Constraints:      15994
50.57/51.54	c INPROCESSING
50.57/51.54	c GARBAGE COLLECT
50.57/51.54	c rational objective 51
53.18/54.12	c #Conflicts:     118000 | #Constraints:       9220
53.18/54.12	c #Conflicts:     119000 | #Constraints:      10265
53.18/54.12	c #Conflicts:     120000 | #Constraints:      11305
53.18/54.12	c #Conflicts:     121000 | #Constraints:      12343
53.18/54.12	c #Conflicts:     122000 | #Constraints:      13380
53.18/54.12	c #Conflicts:     123000 | #Constraints:      14430
53.18/54.12	c #Conflicts:     124000 | #Constraints:      15473
53.18/54.12	c INPROCESSING
53.18/54.12	c GARBAGE COLLECT
53.18/54.12	c rational objective 51
60.16/61.12	c #Conflicts:     125000 | #Constraints:       8697
60.16/61.12	c #Conflicts:     126000 | #Constraints:       9697
60.16/61.12	c #Conflicts:     127000 | #Constraints:      10697
60.16/61.12	c #Conflicts:     128000 | #Constraints:      11697
60.16/61.12	c #Conflicts:     129000 | #Constraints:      12697
60.16/61.12	c #Conflicts:     130000 | #Constraints:      13697
60.16/61.12	c #Conflicts:     131000 | #Constraints:      14697
60.16/61.12	c #Conflicts:     132000 | #Constraints:      15697
60.16/61.12	c INPROCESSING
60.16/61.12	c GARBAGE COLLECT
60.16/61.12	c rational objective 51
81.56/82.65	c #Conflicts:     133000 | #Constraints:       8989
81.56/82.65	c #Conflicts:     134000 | #Constraints:      10029
81.56/82.65	c #Conflicts:     135000 | #Constraints:      11060
81.56/82.65	c #Conflicts:     136000 | #Constraints:      12099
81.56/82.65	c #Conflicts:     137000 | #Constraints:      13136
81.56/82.65	c #Conflicts:     138000 | #Constraints:      14181
81.56/82.65	c #Conflicts:     139000 | #Constraints:      15219
81.56/82.65	c #Conflicts:     140000 | #Constraints:      16252
81.56/82.65	c #Conflicts:     141000 | #Constraints:      17283
81.56/82.65	c #Conflicts:     142000 | #Constraints:      18325
81.56/82.65	c #Conflicts:     143000 | #Constraints:      19359
81.56/82.65	c #Conflicts:     144000 | #Constraints:      20395
81.56/82.65	c #Conflicts:     145000 | #Constraints:      21424
81.56/82.65	c #Conflicts:     146000 | #Constraints:      22462
81.56/82.65	c #Conflicts:     147000 | #Constraints:      23488
81.56/82.65	c #Conflicts:     148000 | #Constraints:      24526
81.56/82.65	c #Conflicts:     149000 | #Constraints:      25554
81.56/82.65	c #Conflicts:     150000 | #Constraints:      26585
81.56/82.65	c #Conflicts:     151000 | #Constraints:      27621
81.56/82.65	c #Conflicts:     152000 | #Constraints:      28644
81.56/82.65	c #Conflicts:     153000 | #Constraints:      29676
81.56/82.65	c #Conflicts:     154000 | #Constraints:      30706
81.56/82.65	c #Conflicts:     155000 | #Constraints:      31743
81.56/82.65	c #Conflicts:     156000 | #Constraints:      32768
81.56/82.65	c #Conflicts:     157000 | #Constraints:      33796
81.56/82.65	c #Conflicts:     158000 | #Constraints:      34829
81.56/82.65	c #Conflicts:     159000 | #Constraints:      35866
81.56/82.65	c #Conflicts:     160000 | #Constraints:      36890
81.56/82.65	c #Conflicts:     161000 | #Constraints:      37914
81.56/82.65	c #Conflicts:     162000 | #Constraints:      38950
81.56/82.65	c #Conflicts:     163000 | #Constraints:      39985
81.56/82.65	c INPROCESSING
81.56/82.65	c GARBAGE COLLECT
81.56/82.65	c rational objective 51
94.40/95.51	c #Conflicts:     164000 | #Constraints:      20959
94.40/95.51	c #Conflicts:     165000 | #Constraints:      21959
94.40/95.51	c #Conflicts:     166000 | #Constraints:      22959
94.40/95.51	c #Conflicts:     167000 | #Constraints:      23959
94.40/95.51	c #Conflicts:     168000 | #Constraints:      24959
94.40/95.51	c #Conflicts:     169000 | #Constraints:      25959
94.40/95.51	c #Conflicts:     170000 | #Constraints:      26959
94.40/95.51	c #Conflicts:     171000 | #Constraints:      27959
94.40/95.51	c #Conflicts:     172000 | #Constraints:      28959
94.40/95.51	c INPROCESSING
94.40/95.51	c GARBAGE COLLECT
94.40/95.51	c rational objective 51
109.04/110.20	c #Conflicts:     173000 | #Constraints:      15462
109.04/110.20	c #Conflicts:     174000 | #Constraints:      16462
109.04/110.20	c #Conflicts:     175000 | #Constraints:      17462
109.04/110.20	c #Conflicts:     176000 | #Constraints:      18462
109.04/110.20	c #Conflicts:     177000 | #Constraints:      19462
109.04/110.20	c #Conflicts:     178000 | #Constraints:      20462
109.04/110.20	c #Conflicts:     179000 | #Constraints:      21462
109.04/110.20	c #Conflicts:     180000 | #Constraints:      22462
109.04/110.20	c #Conflicts:     181000 | #Constraints:      23462
109.04/110.20	c #Conflicts:     182000 | #Constraints:      24462
109.04/110.20	c INPROCESSING
109.04/110.20	c GARBAGE COLLECT
109.04/110.20	c rational objective 51
113.03/114.21	c #Conflicts:     183000 | #Constraints:      13639
113.03/114.21	c #Conflicts:     184000 | #Constraints:      14677
113.03/114.21	c #Conflicts:     185000 | #Constraints:      15710
113.03/114.21	c #Conflicts:     186000 | #Constraints:      16743
113.03/114.21	c #Conflicts:     187000 | #Constraints:      17791
113.03/114.21	c #Conflicts:     188000 | #Constraints:      18827
113.03/114.21	c #Conflicts:     189000 | #Constraints:      19854
113.03/114.21	c #Conflicts:     190000 | #Constraints:      20882
113.03/114.21	c #Conflicts:     191000 | #Constraints:      21910
113.03/114.21	c INPROCESSING
113.03/114.21	c GARBAGE COLLECT
113.03/114.21	c rational objective 51
117.12/118.31	c #Conflicts:     192000 | #Constraints:      12132
117.12/118.31	c #Conflicts:     193000 | #Constraints:      13174
117.12/118.31	c #Conflicts:     194000 | #Constraints:      14205
117.12/118.31	c #Conflicts:     195000 | #Constraints:      15241
117.12/118.31	c #Conflicts:     196000 | #Constraints:      16270
117.12/118.31	c #Conflicts:     197000 | #Constraints:      17304
117.12/118.31	c #Conflicts:     198000 | #Constraints:      18342
117.12/118.31	c #Conflicts:     199000 | #Constraints:      19368
117.12/118.31	c #Conflicts:     200000 | #Constraints:      20393
117.12/118.31	c #Conflicts:     201000 | #Constraints:      21409
117.12/118.31	c INPROCESSING
117.12/118.31	c GARBAGE COLLECT
117.12/118.31	c rational objective 51
121.10/122.39	c #Conflicts:     202000 | #Constraints:      12092
121.10/122.39	c #Conflicts:     203000 | #Constraints:      13135
121.10/122.39	c #Conflicts:     204000 | #Constraints:      14166
121.10/122.39	c #Conflicts:     205000 | #Constraints:      15205
121.10/122.39	c #Conflicts:     206000 | #Constraints:      16245
121.10/122.39	c #Conflicts:     207000 | #Constraints:      17289
121.10/122.39	c #Conflicts:     208000 | #Constraints:      18335
121.10/122.39	c #Conflicts:     209000 | #Constraints:      19376
121.10/122.39	c #Conflicts:     210000 | #Constraints:      20400
121.10/122.39	c INPROCESSING
121.10/122.39	c GARBAGE COLLECT
121.10/122.39	c rational objective 51
125.09/126.30	c #Conflicts:     211000 | #Constraints:      11161
125.09/126.30	c #Conflicts:     212000 | #Constraints:      12208
125.09/126.30	c #Conflicts:     213000 | #Constraints:      13244
125.09/126.30	c #Conflicts:     214000 | #Constraints:      14284
125.09/126.30	c #Conflicts:     215000 | #Constraints:      15305
125.09/126.30	c #Conflicts:     216000 | #Constraints:      16333
125.09/126.30	c #Conflicts:     217000 | #Constraints:      17363
125.09/126.30	c #Conflicts:     218000 | #Constraints:      18414
125.09/126.30	c #Conflicts:     219000 | #Constraints:      19446
125.09/126.30	c #Conflicts:     220000 | #Constraints:      20478
125.09/126.30	c INPROCESSING
125.09/126.30	c GARBAGE COLLECT
125.09/126.30	c rational objective 51
138.14/139.44	c #Conflicts:     221000 | #Constraints:      11201
138.14/139.44	c #Conflicts:     222000 | #Constraints:      12201
138.14/139.44	c #Conflicts:     223000 | #Constraints:      13201
138.14/139.44	c #Conflicts:     224000 | #Constraints:      14201
138.14/139.44	c #Conflicts:     225000 | #Constraints:      15201
138.14/139.44	c #Conflicts:     226000 | #Constraints:      16201
138.14/139.44	c #Conflicts:     227000 | #Constraints:      17201
138.14/139.44	c #Conflicts:     228000 | #Constraints:      18201
138.14/139.44	c #Conflicts:     229000 | #Constraints:      19201
138.14/139.44	c #Conflicts:     230000 | #Constraints:      20201
138.14/139.44	c #Conflicts:     231000 | #Constraints:      21201
138.14/139.44	c INPROCESSING
138.14/139.44	c GARBAGE COLLECT
138.14/139.44	c rational objective 51
174.71/176.12	c #Conflicts:     232000 | #Constraints:      12017
174.71/176.12	c #Conflicts:     233000 | #Constraints:      13059
174.71/176.12	c #Conflicts:     234000 | #Constraints:      14100
174.71/176.12	c #Conflicts:     235000 | #Constraints:      15141
174.71/176.12	c #Conflicts:     236000 | #Constraints:      16178
174.71/176.12	c bounds 54 >= 51 @ 136.631
174.71/176.12	c #Conflicts:     237000 | #Constraints:      17223
174.71/176.12	c #Conflicts:     238000 | #Constraints:      18260
174.71/176.12	c #Conflicts:     239000 | #Constraints:      19295
174.71/176.12	c #Conflicts:     240000 | #Constraints:      20334
174.71/176.12	c #Conflicts:     241000 | #Constraints:      21369
174.71/176.12	c #Conflicts:     242000 | #Constraints:      22405
174.71/176.12	c #Conflicts:     243000 | #Constraints:      23431
174.71/176.12	c #Conflicts:     244000 | #Constraints:      24466
174.71/176.12	c #Conflicts:     245000 | #Constraints:      25499
174.71/176.12	c #Conflicts:     246000 | #Constraints:      26533
174.71/176.12	c #Conflicts:     247000 | #Constraints:      27564
174.71/176.12	c #Conflicts:     248000 | #Constraints:      28598
174.71/176.12	c #Conflicts:     249000 | #Constraints:      29631
174.71/176.12	c #Conflicts:     250000 | #Constraints:      30652
174.71/176.12	c #Conflicts:     251000 | #Constraints:      31676
174.71/176.12	c #Conflicts:     252000 | #Constraints:      32702
174.71/176.12	c #Conflicts:     253000 | #Constraints:      33733
174.71/176.12	c #Conflicts:     254000 | #Constraints:      34760
174.71/176.12	c #Conflicts:     255000 | #Constraints:      35785
174.71/176.12	c #Conflicts:     256000 | #Constraints:      36811
174.71/176.12	c #Conflicts:     257000 | #Constraints:      37843
174.71/176.12	c #Conflicts:     258000 | #Constraints:      38879
174.71/176.12	c #Conflicts:     259000 | #Constraints:      39899
174.71/176.12	c #Conflicts:     260000 | #Constraints:      40924
174.71/176.12	c #Conflicts:     261000 | #Constraints:      41959
174.71/176.12	c #Conflicts:     262000 | #Constraints:      42982
174.71/176.12	c #Conflicts:     263000 | #Constraints:      44003
174.71/176.12	c #Conflicts:     264000 | #Constraints:      45031
174.71/176.12	c #Conflicts:     265000 | #Constraints:      46058
174.71/176.12	c #Conflicts:     266000 | #Constraints:      47089
174.71/176.12	c #Conflicts:     267000 | #Constraints:      48122
174.71/176.12	c #Conflicts:     268000 | #Constraints:      49150
174.71/176.12	c #Conflicts:     269000 | #Constraints:      50181
174.71/176.12	c #Conflicts:     270000 | #Constraints:      51216
174.71/176.12	c #Conflicts:     271000 | #Constraints:      52253
174.71/176.12	c #Conflicts:     272000 | #Constraints:      53286
174.71/176.12	c INPROCESSING
174.71/176.12	c GARBAGE COLLECT
174.71/176.12	c rational objective 51
197.52/199.10	c #Conflicts:     273000 | #Constraints:      27998
197.52/199.10	c #Conflicts:     274000 | #Constraints:      28998
197.52/199.10	c #Conflicts:     275000 | #Constraints:      29999
197.52/199.10	c #Conflicts:     276000 | #Constraints:      30999
197.52/199.10	c #Conflicts:     277000 | #Constraints:      31999
197.52/199.10	c #Conflicts:     278000 | #Constraints:      32999
197.52/199.10	c #Conflicts:     279000 | #Constraints:      33999
197.52/199.10	c #Conflicts:     280000 | #Constraints:      34999
197.52/199.10	c #Conflicts:     281000 | #Constraints:      35999
197.52/199.10	c #Conflicts:     282000 | #Constraints:      36999
197.52/199.10	c #Conflicts:     283000 | #Constraints:      37999
197.52/199.10	c INPROCESSING
197.52/199.10	c GARBAGE COLLECT
197.52/199.10	c rational objective 51
202.79/204.31	c #Conflicts:     284000 | #Constraints:      20139
202.79/204.31	c #Conflicts:     285000 | #Constraints:      21167
202.79/204.31	c #Conflicts:     286000 | #Constraints:      22194
202.79/204.31	c #Conflicts:     287000 | #Constraints:      23222
202.79/204.31	c #Conflicts:     288000 | #Constraints:      24244
202.79/204.31	c #Conflicts:     289000 | #Constraints:      25268
202.79/204.31	c #Conflicts:     290000 | #Constraints:      26301
202.79/204.31	c #Conflicts:     291000 | #Constraints:      27334
202.79/204.31	c #Conflicts:     292000 | #Constraints:      28362
202.79/204.31	c #Conflicts:     293000 | #Constraints:      29388
202.79/204.31	c #Conflicts:     294000 | #Constraints:      30424
202.79/204.31	c #Conflicts:     295000 | #Constraints:      31447
202.79/204.31	c INPROCESSING
202.79/204.31	c GARBAGE COLLECT
202.79/204.31	c rational objective 51
209.96/211.56	c #Conflicts:     296000 | #Constraints:      16977
209.96/211.56	c #Conflicts:     297000 | #Constraints:      17977
209.96/211.56	c bounds 54 >= 52 @ 201.763
209.96/211.56	c #Conflicts:     298000 | #Constraints:      19039
209.96/211.56	c #Conflicts:     299000 | #Constraints:      20070
209.96/211.56	c #Conflicts:     300000 | #Constraints:      21094
209.96/211.56	c #Conflicts:     301000 | #Constraints:      22133
209.96/211.56	c #Conflicts:     302000 | #Constraints:      23164
209.96/211.56	c #Conflicts:     303000 | #Constraints:      24194
209.96/211.56	c #Conflicts:     304000 | #Constraints:      25216
209.96/211.56	c #Conflicts:     305000 | #Constraints:      26242
209.96/211.56	c #Conflicts:     306000 | #Constraints:      27272
209.96/211.56	c #Conflicts:     307000 | #Constraints:      28302
209.96/211.56	c INPROCESSING
209.96/211.56	c GARBAGE COLLECT
209.96/211.56	c rational objective 52
227.00/228.67	c #Conflicts:     308000 | #Constraints:      15480
227.00/228.67	c #Conflicts:     309000 | #Constraints:      16480
227.00/228.67	c #Conflicts:     310000 | #Constraints:      17481
227.00/228.67	c #Conflicts:     311000 | #Constraints:      18481
227.00/228.67	c #Conflicts:     312000 | #Constraints:      19482
227.00/228.67	c #Conflicts:     313000 | #Constraints:      20482
227.00/228.67	c #Conflicts:     314000 | #Constraints:      21482
227.00/228.67	c #Conflicts:     315000 | #Constraints:      22482
227.00/228.67	c #Conflicts:     316000 | #Constraints:      23482
227.00/228.67	c #Conflicts:     317000 | #Constraints:      24482
227.00/228.67	c #Conflicts:     318000 | #Constraints:      25482
227.00/228.67	c #Conflicts:     319000 | #Constraints:      26484
227.00/228.67	c INPROCESSING
227.00/228.67	c GARBAGE COLLECT
227.00/228.67	c rational objective 52
266.57/268.35	c #Conflicts:     320000 | #Constraints:      14577
266.57/268.35	c #Conflicts:     321000 | #Constraints:      15625
266.57/268.35	c #Conflicts:     322000 | #Constraints:      16661
266.57/268.35	c #Conflicts:     323000 | #Constraints:      17698
266.57/268.35	c #Conflicts:     324000 | #Constraints:      18732
266.57/268.35	c #Conflicts:     325000 | #Constraints:      19770
266.57/268.35	c #Conflicts:     326000 | #Constraints:      20801
266.57/268.35	c #Conflicts:     327000 | #Constraints:      21833
266.57/268.35	c #Conflicts:     328000 | #Constraints:      22864
266.57/268.35	c #Conflicts:     329000 | #Constraints:      23902
266.57/268.35	c #Conflicts:     330000 | #Constraints:      24943
266.57/268.35	c #Conflicts:     331000 | #Constraints:      25978
266.57/268.35	c #Conflicts:     332000 | #Constraints:      27011
266.57/268.35	c #Conflicts:     333000 | #Constraints:      28043
266.57/268.35	c #Conflicts:     334000 | #Constraints:      29077
266.57/268.35	c #Conflicts:     335000 | #Constraints:      30106
266.57/268.35	c #Conflicts:     336000 | #Constraints:      31135
266.57/268.35	c #Conflicts:     337000 | #Constraints:      32161
266.57/268.35	c #Conflicts:     338000 | #Constraints:      33190
266.57/268.35	c #Conflicts:     339000 | #Constraints:      34215
266.57/268.35	c #Conflicts:     340000 | #Constraints:      35251
266.57/268.35	c #Conflicts:     341000 | #Constraints:      36277
266.57/268.35	c #Conflicts:     342000 | #Constraints:      37301
266.57/268.35	c #Conflicts:     343000 | #Constraints:      38325
266.57/268.35	c #Conflicts:     344000 | #Constraints:      39355
266.57/268.35	c #Conflicts:     345000 | #Constraints:      40374
266.57/268.35	c #Conflicts:     346000 | #Constraints:      41389
266.57/268.35	c #Conflicts:     347000 | #Constraints:      42414
266.57/268.35	c #Conflicts:     348000 | #Constraints:      43434
266.57/268.35	c #Conflicts:     349000 | #Constraints:      44466
266.57/268.35	c #Conflicts:     350000 | #Constraints:      45497
266.57/268.35	c #Conflicts:     351000 | #Constraints:      46535
266.57/268.35	c #Conflicts:     352000 | #Constraints:      47567
266.57/268.35	c #Conflicts:     353000 | #Constraints:      48588
266.57/268.35	c #Conflicts:     354000 | #Constraints:      49608
266.57/268.35	c #Conflicts:     355000 | #Constraints:      50630
266.57/268.35	c #Conflicts:     356000 | #Constraints:      51648
266.57/268.35	c #Conflicts:     357000 | #Constraints:      52661
266.57/268.35	c #Conflicts:     358000 | #Constraints:      53674
266.57/268.35	c #Conflicts:     359000 | #Constraints:      54701
266.57/268.35	c #Conflicts:     360000 | #Constraints:      55726
266.57/268.35	c #Conflicts:     361000 | #Constraints:      56748
266.57/268.35	c #Conflicts:     362000 | #Constraints:      57770
266.57/268.35	c #Conflicts:     363000 | #Constraints:      58792
266.57/268.35	c #Conflicts:     364000 | #Constraints:      59817
266.57/268.35	c #Conflicts:     365000 | #Constraints:      60837
266.57/268.35	c #Conflicts:     366000 | #Constraints:      61853
266.57/268.35	c INPROCESSING
266.57/268.35	c GARBAGE COLLECT
266.57/268.35	c rational objective 52
293.68/295.58	c #Conflicts:     367000 | #Constraints:      32023
293.68/295.58	c #Conflicts:     368000 | #Constraints:      33023
293.68/295.58	c #Conflicts:     369000 | #Constraints:      34025
293.68/295.58	c #Conflicts:     370000 | #Constraints:      35025
293.68/295.58	c #Conflicts:     371000 | #Constraints:      36025
293.68/295.58	c #Conflicts:     372000 | #Constraints:      37026
293.68/295.58	c #Conflicts:     373000 | #Constraints:      38027
293.68/295.58	c #Conflicts:     374000 | #Constraints:      39028
293.68/295.58	c #Conflicts:     375000 | #Constraints:      40029
293.68/295.58	c #Conflicts:     376000 | #Constraints:      41030
293.68/295.58	c #Conflicts:     377000 | #Constraints:      42030
293.68/295.58	c #Conflicts:     378000 | #Constraints:      43030
293.68/295.58	c #Conflicts:     379000 | #Constraints:      44031
293.68/295.58	c #Conflicts:     380000 | #Constraints:      45031
293.68/295.58	c INPROCESSING
293.68/295.58	c GARBAGE COLLECT
293.68/295.58	c rational objective 52
299.86/301.73	c #Conflicts:     381000 | #Constraints:      23950
299.86/301.73	c #Conflicts:     382000 | #Constraints:      24974
299.86/301.73	c #Conflicts:     383000 | #Constraints:      25997
299.86/301.73	c #Conflicts:     384000 | #Constraints:      27027
299.86/301.73	c #Conflicts:     385000 | #Constraints:      28063
299.86/301.73	c #Conflicts:     386000 | #Constraints:      29095
299.86/301.73	c #Conflicts:     387000 | #Constraints:      30121
299.86/301.73	c #Conflicts:     388000 | #Constraints:      31140
299.86/301.73	c #Conflicts:     389000 | #Constraints:      32169
299.86/301.73	c #Conflicts:     390000 | #Constraints:      33197
299.86/301.73	c #Conflicts:     391000 | #Constraints:      34218
299.86/301.73	c #Conflicts:     392000 | #Constraints:      35237
299.86/301.73	c #Conflicts:     393000 | #Constraints:      36258
299.86/301.73	c INPROCESSING
299.86/301.73	c GARBAGE COLLECT
299.86/301.73	c rational objective 52
306.84/308.74	c #Conflicts:     394000 | #Constraints:      19232
306.84/308.74	c #Conflicts:     395000 | #Constraints:      20284
306.84/308.74	c #Conflicts:     396000 | #Constraints:      21322
306.84/308.74	c #Conflicts:     397000 | #Constraints:      22364
306.84/308.74	c #Conflicts:     398000 | #Constraints:      23392
306.84/308.74	c #Conflicts:     399000 | #Constraints:      24429
306.84/308.74	c #Conflicts:     400000 | #Constraints:      25461
306.84/308.74	c #Conflicts:     401000 | #Constraints:      26486
306.84/308.74	c #Conflicts:     402000 | #Constraints:      27510
306.84/308.74	c #Conflicts:     403000 | #Constraints:      28534
306.84/308.74	c #Conflicts:     404000 | #Constraints:      29570
306.84/308.74	c #Conflicts:     405000 | #Constraints:      30602
306.84/308.74	c #Conflicts:     406000 | #Constraints:      31634
306.84/308.74	c #Conflicts:     407000 | #Constraints:      32655
306.84/308.74	c INPROCESSING
306.84/308.74	c GARBAGE COLLECT
306.84/308.74	c rational objective 52
331.36/333.37	c #Conflicts:     408000 | #Constraints:      17509
331.36/333.37	c #Conflicts:     409000 | #Constraints:      18510
331.36/333.37	c #Conflicts:     410000 | #Constraints:      19510
331.36/333.37	c #Conflicts:     411000 | #Constraints:      20510
331.36/333.37	c #Conflicts:     412000 | #Constraints:      21510
331.36/333.37	c #Conflicts:     413000 | #Constraints:      22510
331.36/333.37	c #Conflicts:     414000 | #Constraints:      23510
331.36/333.37	c #Conflicts:     415000 | #Constraints:      24510
331.36/333.37	c #Conflicts:     416000 | #Constraints:      25510
331.36/333.37	c #Conflicts:     417000 | #Constraints:      26510
331.36/333.37	c #Conflicts:     418000 | #Constraints:      27510
331.36/333.37	c #Conflicts:     419000 | #Constraints:      28510
331.36/333.37	c #Conflicts:     420000 | #Constraints:      29510
331.36/333.37	c #Conflicts:     421000 | #Constraints:      30511
331.36/333.37	c INPROCESSING
331.36/333.37	c GARBAGE COLLECT
331.36/333.37	c rational objective 52
378.09/380.29	c #Conflicts:     422000 | #Constraints:      16493
378.09/380.29	c #Conflicts:     423000 | #Constraints:      17522
378.09/380.29	c #Conflicts:     424000 | #Constraints:      18564
378.09/380.29	c #Conflicts:     425000 | #Constraints:      19607
378.09/380.29	c #Conflicts:     426000 | #Constraints:      20643
378.09/380.29	c #Conflicts:     427000 | #Constraints:      21681
378.09/380.29	c #Conflicts:     428000 | #Constraints:      22724
378.09/380.29	c #Conflicts:     429000 | #Constraints:      23762
378.09/380.29	c #Conflicts:     430000 | #Constraints:      24797
378.09/380.29	c #Conflicts:     431000 | #Constraints:      25827
378.09/380.29	c #Conflicts:     432000 | #Constraints:      26857
378.09/380.29	c #Conflicts:     433000 | #Constraints:      27887
378.09/380.29	c #Conflicts:     434000 | #Constraints:      28906
378.09/380.29	c #Conflicts:     435000 | #Constraints:      29936
378.09/380.29	c #Conflicts:     436000 | #Constraints:      30969
378.09/380.29	c #Conflicts:     437000 | #Constraints:      32001
378.09/380.29	c #Conflicts:     438000 | #Constraints:      33036
378.09/380.29	c #Conflicts:     439000 | #Constraints:      34076
378.09/380.29	c #Conflicts:     440000 | #Constraints:      35112
378.09/380.29	c #Conflicts:     441000 | #Constraints:      36162
378.09/380.29	c #Conflicts:     442000 | #Constraints:      37207
378.09/380.29	c #Conflicts:     443000 | #Constraints:      38244
378.09/380.29	c #Conflicts:     444000 | #Constraints:      39282
378.09/380.29	c #Conflicts:     445000 | #Constraints:      40313
378.09/380.29	c #Conflicts:     446000 | #Constraints:      41342
378.09/380.29	c #Conflicts:     447000 | #Constraints:      42371
378.09/380.29	c #Conflicts:     448000 | #Constraints:      43395
378.09/380.29	c #Conflicts:     449000 | #Constraints:      44423
378.09/380.29	c #Conflicts:     450000 | #Constraints:      45455
378.09/380.29	c #Conflicts:     451000 | #Constraints:      46482
378.09/380.29	c #Conflicts:     452000 | #Constraints:      47512
378.09/380.29	c #Conflicts:     453000 | #Constraints:      48541
378.09/380.29	c #Conflicts:     454000 | #Constraints:      49571
378.09/380.29	c #Conflicts:     455000 | #Constraints:      50600
378.09/380.29	c #Conflicts:     456000 | #Constraints:      51630
378.09/380.29	c #Conflicts:     457000 | #Constraints:      52663
378.09/380.29	c #Conflicts:     458000 | #Constraints:      53696
378.09/380.29	c #Conflicts:     459000 | #Constraints:      54733
378.09/380.29	c #Conflicts:     460000 | #Constraints:      55757
378.09/380.29	c #Conflicts:     461000 | #Constraints:      56781
378.09/380.29	c #Conflicts:     462000 | #Constraints:      57813
378.09/380.29	c #Conflicts:     463000 | #Constraints:      58850
378.09/380.29	c #Conflicts:     464000 | #Constraints:      59891
378.09/380.29	c #Conflicts:     465000 | #Constraints:      60929
378.09/380.29	c #Conflicts:     466000 | #Constraints:      61960
378.09/380.29	c #Conflicts:     467000 | #Constraints:      63000
378.09/380.29	c #Conflicts:     468000 | #Constraints:      64024
378.09/380.29	c #Conflicts:     469000 | #Constraints:      65059
378.09/380.29	c #Conflicts:     470000 | #Constraints:      66087
378.09/380.29	c #Conflicts:     471000 | #Constraints:      67114
378.09/380.29	c #Conflicts:     472000 | #Constraints:      68152
378.09/380.29	c #Conflicts:     473000 | #Constraints:      69190
378.09/380.29	c #Conflicts:     474000 | #Constraints:      70217
378.09/380.29	c #Conflicts:     475000 | #Constraints:      71245
378.09/380.29	c INPROCESSING
378.09/380.29	c GARBAGE COLLECT
378.09/380.29	c rational objective 52
423.63/425.99	c #Conflicts:     476000 | #Constraints:      36917
423.63/425.99	c #Conflicts:     477000 | #Constraints:      37917
423.63/425.99	c #Conflicts:     478000 | #Constraints:      38918
423.63/425.99	c #Conflicts:     479000 | #Constraints:      39919
423.63/425.99	c #Conflicts:     480000 | #Constraints:      40919
423.63/425.99	c #Conflicts:     481000 | #Constraints:      41919
423.63/425.99	c #Conflicts:     482000 | #Constraints:      42920
423.63/425.99	c #Conflicts:     483000 | #Constraints:      43920
423.63/425.99	c #Conflicts:     484000 | #Constraints:      44920
423.63/425.99	c #Conflicts:     485000 | #Constraints:      45920
423.63/425.99	c #Conflicts:     486000 | #Constraints:      46921
423.63/425.99	c #Conflicts:     487000 | #Constraints:      47921
423.63/425.99	c #Conflicts:     488000 | #Constraints:      48921
423.63/425.99	c #Conflicts:     489000 | #Constraints:      49921
423.63/425.99	c #Conflicts:     490000 | #Constraints:      50922
423.63/425.99	c INPROCESSING
423.63/425.99	c GARBAGE COLLECT
423.63/425.99	c rational objective 52
434.00/436.38	c #Conflicts:     491000 | #Constraints:      26643
434.00/436.38	c #Conflicts:     492000 | #Constraints:      27677
434.00/436.38	c #Conflicts:     493000 | #Constraints:      28723
434.00/436.38	c #Conflicts:     494000 | #Constraints:      29765
434.00/436.38	c #Conflicts:     495000 | #Constraints:      30808
434.00/436.38	c #Conflicts:     496000 | #Constraints:      31834
434.00/436.38	c #Conflicts:     497000 | #Constraints:      32859
434.00/436.38	c #Conflicts:     498000 | #Constraints:      33884
434.00/436.38	c #Conflicts:     499000 | #Constraints:      34924
434.00/436.38	c #Conflicts:     500000 | #Constraints:      35948
434.00/436.38	c #Conflicts:     501000 | #Constraints:      36983
434.00/436.38	c #Conflicts:     502000 | #Constraints:      38011
434.00/436.38	c #Conflicts:     503000 | #Constraints:      39047
434.00/436.38	c #Conflicts:     504000 | #Constraints:      40074
434.00/436.38	c #Conflicts:     505000 | #Constraints:      41100
434.00/436.38	c #Conflicts:     506000 | #Constraints:      42127
434.00/436.38	c INPROCESSING
434.00/436.38	c GARBAGE COLLECT
434.00/436.38	c rational objective 52
444.26/446.65	c #Conflicts:     507000 | #Constraints:      22488
444.26/446.65	c #Conflicts:     508000 | #Constraints:      23521
444.26/446.65	c #Conflicts:     509000 | #Constraints:      24555
444.26/446.65	c #Conflicts:     510000 | #Constraints:      25591
444.26/446.65	c #Conflicts:     511000 | #Constraints:      26624
444.26/446.65	c #Conflicts:     512000 | #Constraints:      27667
444.26/446.65	c #Conflicts:     513000 | #Constraints:      28692
444.26/446.65	c #Conflicts:     514000 | #Constraints:      29735
444.26/446.65	c #Conflicts:     515000 | #Constraints:      30763
444.26/446.65	c #Conflicts:     516000 | #Constraints:      31794
444.26/446.65	c #Conflicts:     517000 | #Constraints:      32829
444.26/446.65	c #Conflicts:     518000 | #Constraints:      33856
444.26/446.65	c #Conflicts:     519000 | #Constraints:      34884
444.26/446.65	c #Conflicts:     520000 | #Constraints:      35924
444.26/446.65	c #Conflicts:     521000 | #Constraints:      36955
444.26/446.65	c INPROCESSING
444.26/446.65	c GARBAGE COLLECT
444.26/446.65	c rational objective 52
484.41/486.99	c #Conflicts:     522000 | #Constraints:      19518
484.41/486.99	c #Conflicts:     523000 | #Constraints:      20518
484.41/486.99	c #Conflicts:     524000 | #Constraints:      21519
484.41/486.99	c #Conflicts:     525000 | #Constraints:      22519
484.41/486.99	c #Conflicts:     526000 | #Constraints:      23520
484.41/486.99	c #Conflicts:     527000 | #Constraints:      24520
484.41/486.99	c #Conflicts:     528000 | #Constraints:      25520
484.41/486.99	c #Conflicts:     529000 | #Constraints:      26520
484.41/486.99	c #Conflicts:     530000 | #Constraints:      27520
484.41/486.99	c #Conflicts:     531000 | #Constraints:      28520
484.41/486.99	c #Conflicts:     532000 | #Constraints:      29521
484.41/486.99	c #Conflicts:     533000 | #Constraints:      30522
484.41/486.99	c #Conflicts:     534000 | #Constraints:      31522
484.41/486.99	c #Conflicts:     535000 | #Constraints:      32523
484.41/486.99	c #Conflicts:     536000 | #Constraints:      33523
484.41/486.99	c #Conflicts:     537000 | #Constraints:      34523
484.41/486.99	c INPROCESSING
484.41/486.99	c GARBAGE COLLECT
484.41/486.99	c rational objective 52
553.16/555.97	c #Conflicts:     538000 | #Constraints:      19833
553.16/555.97	c #Conflicts:     539000 | #Constraints:      20871
553.16/555.97	c #Conflicts:     540000 | #Constraints:      21912
553.16/555.97	c #Conflicts:     541000 | #Constraints:      22958
553.16/555.97	c #Conflicts:     542000 | #Constraints:      23991
553.16/555.97	c #Conflicts:     543000 | #Constraints:      25029
553.16/555.97	c #Conflicts:     544000 | #Constraints:      26067
553.16/555.97	c #Conflicts:     545000 | #Constraints:      27100
553.16/555.97	c #Conflicts:     546000 | #Constraints:      28137
553.16/555.97	c #Conflicts:     547000 | #Constraints:      29177
553.16/555.97	c #Conflicts:     548000 | #Constraints:      30215
553.16/555.97	c #Conflicts:     549000 | #Constraints:      31261
553.16/555.97	c #Conflicts:     550000 | #Constraints:      32298
553.16/555.97	c #Conflicts:     551000 | #Constraints:      33324
553.16/555.97	c #Conflicts:     552000 | #Constraints:      34361
553.16/555.97	c #Conflicts:     553000 | #Constraints:      35400
553.16/555.97	c #Conflicts:     554000 | #Constraints:      36433
553.16/555.97	c #Conflicts:     555000 | #Constraints:      37473
553.16/555.97	c #Conflicts:     556000 | #Constraints:      38502
553.16/555.97	c #Conflicts:     557000 | #Constraints:      39526
553.16/555.97	c #Conflicts:     558000 | #Constraints:      40549
553.16/555.97	c #Conflicts:     559000 | #Constraints:      41577
553.16/555.97	c #Conflicts:     560000 | #Constraints:      42606
553.16/555.97	c #Conflicts:     561000 | #Constraints:      43638
553.16/555.97	c #Conflicts:     562000 | #Constraints:      44667
553.16/555.97	c #Conflicts:     563000 | #Constraints:      45695
553.16/555.97	c #Conflicts:     564000 | #Constraints:      46721
553.16/555.97	c #Conflicts:     565000 | #Constraints:      47752
553.16/555.97	c #Conflicts:     566000 | #Constraints:      48778
553.16/555.97	c #Conflicts:     567000 | #Constraints:      49805
553.16/555.97	c #Conflicts:     568000 | #Constraints:      50829
553.16/555.97	c #Conflicts:     569000 | #Constraints:      51858
553.16/555.97	c #Conflicts:     570000 | #Constraints:      52882
553.16/555.97	c #Conflicts:     571000 | #Constraints:      53906
553.16/555.97	c #Conflicts:     572000 | #Constraints:      54930
553.16/555.97	c #Conflicts:     573000 | #Constraints:      55964
553.16/555.97	c #Conflicts:     574000 | #Constraints:      56996
553.16/555.97	c #Conflicts:     575000 | #Constraints:      58018
553.16/555.97	c #Conflicts:     576000 | #Constraints:      59054
553.16/555.97	c #Conflicts:     577000 | #Constraints:      60075
553.16/555.97	c #Conflicts:     578000 | #Constraints:      61097
553.16/555.97	c #Conflicts:     579000 | #Constraints:      62120
553.16/555.97	c #Conflicts:     580000 | #Constraints:      63138
553.16/555.97	c #Conflicts:     581000 | #Constraints:      64161
553.16/555.97	c #Conflicts:     582000 | #Constraints:      65182
553.16/555.97	c #Conflicts:     583000 | #Constraints:      66205
553.16/555.97	c #Conflicts:     584000 | #Constraints:      67233
553.16/555.97	c #Conflicts:     585000 | #Constraints:      68257
553.16/555.97	c #Conflicts:     586000 | #Constraints:      69275
553.16/555.97	c #Conflicts:     587000 | #Constraints:      70294
553.16/555.97	c #Conflicts:     588000 | #Constraints:      71323
553.16/555.97	c #Conflicts:     589000 | #Constraints:      72344
553.16/555.97	c #Conflicts:     590000 | #Constraints:      73368
553.16/555.97	c #Conflicts:     591000 | #Constraints:      74392
553.16/555.97	c #Conflicts:     592000 | #Constraints:      75422
553.16/555.97	c #Conflicts:     593000 | #Constraints:      76443
553.16/555.97	c #Conflicts:     594000 | #Constraints:      77473
553.16/555.97	c #Conflicts:     595000 | #Constraints:      78499
553.16/555.97	c #Conflicts:     596000 | #Constraints:      79526
553.16/555.97	c #Conflicts:     597000 | #Constraints:      80551
553.16/555.97	c INPROCESSING
553.16/555.97	c GARBAGE COLLECT
553.16/555.97	c rational objective 52
619.43/622.43	c #Conflicts:     598000 | #Constraints:      41269
619.43/622.43	c #Conflicts:     599000 | #Constraints:      42269
619.43/622.43	c #Conflicts:     600000 | #Constraints:      43270
619.43/622.43	c #Conflicts:     601000 | #Constraints:      44270
619.43/622.43	c #Conflicts:     602000 | #Constraints:      45271
619.43/622.43	c #Conflicts:     603000 | #Constraints:      46271
619.43/622.43	c #Conflicts:     604000 | #Constraints:      47272
619.43/622.43	c #Conflicts:     605000 | #Constraints:      48272
619.43/622.43	c #Conflicts:     606000 | #Constraints:      49272
619.43/622.43	c #Conflicts:     607000 | #Constraints:      50273
619.43/622.43	c #Conflicts:     608000 | #Constraints:      51273
619.43/622.43	c #Conflicts:     609000 | #Constraints:      52274
619.43/622.43	c #Conflicts:     610000 | #Constraints:      53274
619.43/622.43	c #Conflicts:     611000 | #Constraints:      54275
619.43/622.43	c #Conflicts:     612000 | #Constraints:      55275
619.43/622.43	c #Conflicts:     613000 | #Constraints:      56276
619.43/622.43	c #Conflicts:     614000 | #Constraints:      57276
619.43/622.43	c #Conflicts:     615000 | #Constraints:      58276
619.43/622.43	c INPROCESSING
619.43/622.43	c GARBAGE COLLECT
619.43/622.43	c rational objective 52
630.00/633.04	c #Conflicts:     616000 | #Constraints:      30582
630.00/633.04	c #Conflicts:     617000 | #Constraints:      31617
630.00/633.04	c #Conflicts:     618000 | #Constraints:      32656
630.00/633.04	c #Conflicts:     619000 | #Constraints:      33684
630.00/633.04	c #Conflicts:     620000 | #Constraints:      34710
630.00/633.04	c #Conflicts:     621000 | #Constraints:      35742
630.00/633.04	c #Conflicts:     622000 | #Constraints:      36776
630.00/633.04	c #Conflicts:     623000 | #Constraints:      37803
630.00/633.04	c #Conflicts:     624000 | #Constraints:      38829
630.00/633.04	c #Conflicts:     625000 | #Constraints:      39852
630.00/633.04	c #Conflicts:     626000 | #Constraints:      40885
630.00/633.04	c #Conflicts:     627000 | #Constraints:      41907
630.00/633.04	c #Conflicts:     628000 | #Constraints:      42926
630.00/633.04	c #Conflicts:     629000 | #Constraints:      43951
630.00/633.04	c #Conflicts:     630000 | #Constraints:      44981
630.00/633.04	c #Conflicts:     631000 | #Constraints:      46013
630.00/633.04	c #Conflicts:     632000 | #Constraints:      47043
630.00/633.04	c INPROCESSING
630.00/633.04	c GARBAGE COLLECT
630.00/633.04	c rational objective 52
641.14/644.21	c #Conflicts:     633000 | #Constraints:      24727
641.14/644.21	c #Conflicts:     634000 | #Constraints:      25768
641.14/644.21	c #Conflicts:     635000 | #Constraints:      26804
641.14/644.21	c #Conflicts:     636000 | #Constraints:      27841
641.14/644.21	c #Conflicts:     637000 | #Constraints:      28884
641.14/644.21	c #Conflicts:     638000 | #Constraints:      29910
641.14/644.21	c #Conflicts:     639000 | #Constraints:      30944
641.14/644.21	c #Conflicts:     640000 | #Constraints:      31973
641.14/644.21	c #Conflicts:     641000 | #Constraints:      33005
641.14/644.21	c #Conflicts:     642000 | #Constraints:      34043
641.14/644.21	c #Conflicts:     643000 | #Constraints:      35068
641.14/644.21	c #Conflicts:     644000 | #Constraints:      36093
641.14/644.21	c #Conflicts:     645000 | #Constraints:      37127
641.14/644.21	c #Conflicts:     646000 | #Constraints:      38151
641.14/644.21	c #Conflicts:     647000 | #Constraints:      39178
641.14/644.21	c #Conflicts:     648000 | #Constraints:      40207
641.14/644.21	c #Conflicts:     649000 | #Constraints:      41238
641.14/644.21	c #Conflicts:     650000 | #Constraints:      42269
641.14/644.21	c INPROCESSING
641.14/644.21	c GARBAGE COLLECT
641.14/644.21	c rational objective 52
713.81/717.14	c #Conflicts:     651000 | #Constraints:      22657
713.81/717.14	c #Conflicts:     652000 | #Constraints:      23685
713.81/717.14	c #Conflicts:     653000 | #Constraints:      24713
713.81/717.14	c #Conflicts:     654000 | #Constraints:      25745
713.81/717.14	c #Conflicts:     655000 | #Constraints:      26790
713.81/717.14	c #Conflicts:     656000 | #Constraints:      27814
713.81/717.14	c #Conflicts:     657000 | #Constraints:      28849
713.81/717.14	c #Conflicts:     658000 | #Constraints:      29871
713.81/717.14	c #Conflicts:     659000 | #Constraints:      30895
713.81/717.14	c #Conflicts:     660000 | #Constraints:      31918
713.81/717.14	c #Conflicts:     661000 | #Constraints:      32951
713.81/717.14	c #Conflicts:     662000 | #Constraints:      33981
713.81/717.14	c #Conflicts:     663000 | #Constraints:      35020
713.81/717.14	c #Conflicts:     664000 | #Constraints:      36047
713.81/717.14	c #Conflicts:     665000 | #Constraints:      37075
713.81/717.14	c #Conflicts:     666000 | #Constraints:      38101
713.81/717.14	c #Conflicts:     667000 | #Constraints:      39123
713.81/717.14	c #Conflicts:     668000 | #Constraints:      40153
713.81/717.14	c #Conflicts:     669000 | #Constraints:      41188
713.81/717.14	c #Conflicts:     670000 | #Constraints:      42215
713.81/717.14	c #Conflicts:     671000 | #Constraints:      43255
713.81/717.14	c #Conflicts:     672000 | #Constraints:      44279
713.81/717.14	c #Conflicts:     673000 | #Constraints:      45304
713.81/717.14	c #Conflicts:     674000 | #Constraints:      46330
713.81/717.14	c #Conflicts:     675000 | #Constraints:      47360
713.81/717.14	c #Conflicts:     676000 | #Constraints:      48391
713.81/717.14	c #Conflicts:     677000 | #Constraints:      49415
713.81/717.14	c #Conflicts:     678000 | #Constraints:      50444
713.81/717.14	c #Conflicts:     679000 | #Constraints:      51467
713.81/717.14	c #Conflicts:     680000 | #Constraints:      52485
713.81/717.14	c #Conflicts:     681000 | #Constraints:      53504
713.81/717.14	c #Conflicts:     682000 | #Constraints:      54534
713.81/717.14	c #Conflicts:     683000 | #Constraints:      55559
713.81/717.14	c #Conflicts:     684000 | #Constraints:      56580
713.81/717.14	c #Conflicts:     685000 | #Constraints:      57600
713.81/717.14	c #Conflicts:     686000 | #Constraints:      58628
713.81/717.14	c #Conflicts:     687000 | #Constraints:      59651
713.81/717.14	c #Conflicts:     688000 | #Constraints:      60667
713.81/717.14	c #Conflicts:     689000 | #Constraints:      61688
713.81/717.14	c #Conflicts:     690000 | #Constraints:      62722
713.81/717.14	c #Conflicts:     691000 | #Constraints:      63739
713.81/717.14	c #Conflicts:     692000 | #Constraints:      64758
713.81/717.14	c #Conflicts:     693000 | #Constraints:      65785
713.81/717.14	c #Conflicts:     694000 | #Constraints:      66813
713.81/717.14	c #Conflicts:     695000 | #Constraints:      67847
713.81/717.14	c #Conflicts:     696000 | #Constraints:      68882
713.81/717.14	c #Conflicts:     697000 | #Constraints:      69916
713.81/717.14	c #Conflicts:     698000 | #Constraints:      70947
713.81/717.14	c #Conflicts:     699000 | #Constraints:      71978
713.81/717.14	c #Conflicts:     700000 | #Constraints:      73007
713.81/717.14	c #Conflicts:     701000 | #Constraints:      74039
713.81/717.14	c #Conflicts:     702000 | #Constraints:      75066
713.81/717.14	c #Conflicts:     703000 | #Constraints:      76095
713.81/717.14	c #Conflicts:     704000 | #Constraints:      77125
713.81/717.14	c #Conflicts:     705000 | #Constraints:      78151
713.81/717.14	c #Conflicts:     706000 | #Constraints:      79179
713.81/717.14	c #Conflicts:     707000 | #Constraints:      80211
713.81/717.14	c #Conflicts:     708000 | #Constraints:      81247
713.81/717.14	c #Conflicts:     709000 | #Constraints:      82276
713.81/717.14	c #Conflicts:     710000 | #Constraints:      83303
713.81/717.14	c #Conflicts:     711000 | #Constraints:      84322
713.81/717.14	c #Conflicts:     712000 | #Constraints:      85345
713.81/717.14	c #Conflicts:     713000 | #Constraints:      86383
713.81/717.14	c #Conflicts:     714000 | #Constraints:      87417
713.81/717.14	c #Conflicts:     715000 | #Constraints:      88442
713.81/717.14	c INPROCESSING
713.81/717.14	c GARBAGE COLLECT
713.81/717.14	c rational objective 52
799.80/803.47	c #Conflicts:     716000 | #Constraints:      45366
799.80/803.47	c #Conflicts:     717000 | #Constraints:      46367
799.80/803.47	c #Conflicts:     718000 | #Constraints:      47369
799.80/803.47	c #Conflicts:     719000 | #Constraints:      48369
799.80/803.47	c #Conflicts:     720000 | #Constraints:      49370
799.80/803.47	c #Conflicts:     721000 | #Constraints:      50370
799.80/803.47	c #Conflicts:     722000 | #Constraints:      51370
799.80/803.47	c #Conflicts:     723000 | #Constraints:      52370
799.80/803.47	c #Conflicts:     724000 | #Constraints:      53370
799.80/803.47	c #Conflicts:     725000 | #Constraints:      54370
799.80/803.47	c #Conflicts:     726000 | #Constraints:      55370
799.80/803.47	c #Conflicts:     727000 | #Constraints:      56370
799.80/803.47	c #Conflicts:     728000 | #Constraints:      57371
799.80/803.47	c #Conflicts:     729000 | #Constraints:      58371
799.80/803.47	c #Conflicts:     730000 | #Constraints:      59371
799.80/803.47	c #Conflicts:     731000 | #Constraints:      60371
799.80/803.47	c #Conflicts:     732000 | #Constraints:      61371
799.80/803.47	c #Conflicts:     733000 | #Constraints:      62371
799.80/803.47	c #Conflicts:     734000 | #Constraints:      63371
799.80/803.47	c INPROCESSING
799.80/803.47	c GARBAGE COLLECT
799.80/803.47	c rational objective 52
813.25/816.99	c #Conflicts:     735000 | #Constraints:      32912
813.25/816.99	c #Conflicts:     736000 | #Constraints:      33946
813.25/816.99	c #Conflicts:     737000 | #Constraints:      34986
813.25/816.99	c #Conflicts:     738000 | #Constraints:      36017
813.25/816.99	c #Conflicts:     739000 | #Constraints:      37056
813.25/816.99	c #Conflicts:     740000 | #Constraints:      38087
813.25/816.99	c #Conflicts:     741000 | #Constraints:      39122
813.25/816.99	c #Conflicts:     742000 | #Constraints:      40146
813.25/816.99	c #Conflicts:     743000 | #Constraints:      41172
813.25/816.99	c #Conflicts:     744000 | #Constraints:      42196
813.25/816.99	c #Conflicts:     745000 | #Constraints:      43224
813.25/816.99	c #Conflicts:     746000 | #Constraints:      44253
813.25/816.99	c #Conflicts:     747000 | #Constraints:      45272
813.25/816.99	c #Conflicts:     748000 | #Constraints:      46299
813.25/816.99	c #Conflicts:     749000 | #Constraints:      47326
813.25/816.99	c #Conflicts:     750000 | #Constraints:      48356
813.25/816.99	c #Conflicts:     751000 | #Constraints:      49388
813.25/816.99	c #Conflicts:     752000 | #Constraints:      50411
813.25/816.99	c #Conflicts:     753000 | #Constraints:      51436
813.25/816.99	c INPROCESSING
813.25/816.99	c GARBAGE COLLECT
813.25/816.99	c rational objective 52
828.69/832.44	c #Conflicts:     754000 | #Constraints:      26866
828.69/832.44	c #Conflicts:     755000 | #Constraints:      27911
828.69/832.44	c #Conflicts:     756000 | #Constraints:      28949
828.69/832.44	c #Conflicts:     757000 | #Constraints:      29984
828.69/832.44	c #Conflicts:     758000 | #Constraints:      31024
828.69/832.44	c #Conflicts:     759000 | #Constraints:      32060
828.69/832.44	c #Conflicts:     760000 | #Constraints:      33089
828.69/832.44	c #Conflicts:     761000 | #Constraints:      34122
828.69/832.44	c #Conflicts:     762000 | #Constraints:      35158
828.69/832.44	c #Conflicts:     763000 | #Constraints:      36188
828.69/832.44	c #Conflicts:     764000 | #Constraints:      37218
828.69/832.44	c #Conflicts:     765000 | #Constraints:      38253
828.69/832.44	c #Conflicts:     766000 | #Constraints:      39292
828.69/832.44	c #Conflicts:     767000 | #Constraints:      40317
828.69/832.44	c #Conflicts:     768000 | #Constraints:      41344
828.69/832.44	c #Conflicts:     769000 | #Constraints:      42368
828.69/832.44	c #Conflicts:     770000 | #Constraints:      43396
828.69/832.44	c #Conflicts:     771000 | #Constraints:      44423
828.69/832.44	c #Conflicts:     772000 | #Constraints:      45449
828.69/832.44	c INPROCESSING
828.69/832.44	c GARBAGE COLLECT
828.69/832.44	c rational objective 52
1368.67/1374.42	c #Conflicts:     773000 | #Constraints:      24135
1368.67/1374.42	c #Conflicts:     774000 | #Constraints:      25136
1368.67/1374.42	c #Conflicts:     775000 | #Constraints:      26137
1368.67/1374.42	c #Conflicts:     776000 | #Constraints:      27137
1368.67/1374.42	c #Conflicts:     777000 | #Constraints:      28137
1368.67/1374.42	c #Conflicts:     778000 | #Constraints:      29137
1368.67/1374.42	c #Conflicts:     779000 | #Constraints:      30138
1368.67/1374.42	c #Conflicts:     780000 | #Constraints:      31138
1368.67/1374.42	c #Conflicts:     781000 | #Constraints:      32138
1368.67/1374.42	c #Conflicts:     782000 | #Constraints:      33138
1368.67/1374.42	c #Conflicts:     783000 | #Constraints:      34138
1368.67/1374.42	c #Conflicts:     784000 | #Constraints:      35139
1368.67/1374.42	c #Conflicts:     785000 | #Constraints:      36141
1368.67/1374.42	c #Conflicts:     786000 | #Constraints:      37141
1368.67/1374.42	c #Conflicts:     787000 | #Constraints:      38141
1368.67/1374.42	c #Conflicts:     788000 | #Constraints:      39141
1368.67/1374.42	c #Conflicts:     789000 | #Constraints:      40141
1368.67/1374.42	c #Conflicts:     790000 | #Constraints:      41142
1368.67/1374.42	c #Conflicts:     791000 | #Constraints:      42142
1368.67/1374.42	c #Conflicts:     792000 | #Constraints:      43143
1368.67/1374.42	c #Conflicts:     793000 | #Constraints:      44143
1368.67/1374.42	c #Conflicts:     794000 | #Constraints:      45143
1368.67/1374.42	c #Conflicts:     795000 | #Constraints:      46143
1368.67/1374.42	c #Conflicts:     796000 | #Constraints:      47143
1368.67/1374.42	c #Conflicts:     797000 | #Constraints:      48143
1368.67/1374.42	c #Conflicts:     798000 | #Constraints:      49143
1368.67/1374.42	c #Conflicts:     799000 | #Constraints:      50143
1368.67/1374.42	c #Conflicts:     800000 | #Constraints:      51144
1368.67/1374.42	c #Conflicts:     801000 | #Constraints:      52144
1368.67/1374.42	c #Conflicts:     802000 | #Constraints:      53145
1368.67/1374.42	c #Conflicts:     803000 | #Constraints:      54145
1368.67/1374.42	c #Conflicts:     804000 | #Constraints:      55145
1368.67/1374.42	c #Conflicts:     805000 | #Constraints:      56145
1368.67/1374.42	c #Conflicts:     806000 | #Constraints:      57146
1368.67/1374.42	c #Conflicts:     807000 | #Constraints:      58146
1368.67/1374.42	c #Conflicts:     808000 | #Constraints:      59147
1368.67/1374.42	c #Conflicts:     809000 | #Constraints:      60147
1368.67/1374.42	c #Conflicts:     810000 | #Constraints:      61147
1368.67/1374.42	c #Conflicts:     811000 | #Constraints:      62147
1368.67/1374.42	c #Conflicts:     812000 | #Constraints:      63147
1368.67/1374.42	c #Conflicts:     813000 | #Constraints:      64148
1368.67/1374.42	c #Conflicts:     814000 | #Constraints:      65148
1368.67/1374.42	c #Conflicts:     815000 | #Constraints:      66149
1368.67/1374.42	c #Conflicts:     816000 | #Constraints:      67150
1368.67/1374.42	c #Conflicts:     817000 | #Constraints:      68150
1368.67/1374.42	c #Conflicts:     818000 | #Constraints:      69150
1368.67/1374.42	c #Conflicts:     819000 | #Constraints:      70150
1368.67/1374.42	c #Conflicts:     820000 | #Constraints:      71151
1368.67/1374.42	c #Conflicts:     821000 | #Constraints:      72152
1368.67/1374.42	c #Conflicts:     822000 | #Constraints:      73152
1368.67/1374.42	c #Conflicts:     823000 | #Constraints:      74152
1368.67/1374.42	c #Conflicts:     824000 | #Constraints:      75152
1368.67/1374.42	c #Conflicts:     825000 | #Constraints:      76152
1368.67/1374.42	c #Conflicts:     826000 | #Constraints:      77152
1368.67/1374.42	c #Conflicts:     827000 | #Constraints:      78152
1368.67/1374.42	c #Conflicts:     828000 | #Constraints:      79152
1368.67/1374.42	c #Conflicts:     829000 | #Constraints:      80153
1368.67/1374.42	c #Conflicts:     830000 | #Constraints:      81153
1368.67/1374.42	c #Conflicts:     831000 | #Constraints:      82153
1368.67/1374.42	c #Conflicts:     832000 | #Constraints:      83153
1368.67/1374.42	c #Conflicts:     833000 | #Constraints:      84153
1368.67/1374.42	c #Conflicts:     834000 | #Constraints:      85153
1368.67/1374.42	c #Conflicts:     835000 | #Constraints:      86153
1368.67/1374.42	c #Conflicts:     836000 | #Constraints:      87153
1368.67/1374.42	c #Conflicts:     837000 | #Constraints:      88153
1368.67/1374.42	c #Conflicts:     838000 | #Constraints:      89153
1368.67/1374.42	c #Conflicts:     839000 | #Constraints:      90153
1368.67/1374.42	c #Conflicts:     840000 | #Constraints:      91153
1368.67/1374.42	c #Conflicts:     841000 | #Constraints:      92154
1368.67/1374.42	c #Conflicts:     842000 | #Constraints:      93154
1368.67/1374.42	c #Conflicts:     843000 | #Constraints:      94154
1368.67/1374.42	c INPROCESSING
1368.67/1374.42	c GARBAGE COLLECT
1368.67/1374.42	c rational objective 52
1389.39/1395.29	c #Conflicts:     844000 | #Constraints:      48217
1389.39/1395.29	c #Conflicts:     845000 | #Constraints:      49239
1389.39/1395.29	c #Conflicts:     846000 | #Constraints:      50281
1389.39/1395.29	c #Conflicts:     847000 | #Constraints:      51320
1389.39/1395.29	c #Conflicts:     848000 | #Constraints:      52366
1389.39/1395.29	c #Conflicts:     849000 | #Constraints:      53400
1389.39/1395.29	c #Conflicts:     850000 | #Constraints:      54437
1389.39/1395.29	c #Conflicts:     851000 | #Constraints:      55465
1389.39/1395.29	c #Conflicts:     852000 | #Constraints:      56500
1389.39/1395.29	c #Conflicts:     853000 | #Constraints:      57529
1389.39/1395.29	c #Conflicts:     854000 | #Constraints:      58562
1389.39/1395.29	c #Conflicts:     855000 | #Constraints:      59596
1389.39/1395.29	c #Conflicts:     856000 | #Constraints:      60624
1389.39/1395.29	c #Conflicts:     857000 | #Constraints:      61654
1389.39/1395.29	c #Conflicts:     858000 | #Constraints:      62677
1389.39/1395.29	c #Conflicts:     859000 | #Constraints:      63705
1389.39/1395.29	c #Conflicts:     860000 | #Constraints:      64737
1389.39/1395.29	c #Conflicts:     861000 | #Constraints:      65769
1389.39/1395.29	c #Conflicts:     862000 | #Constraints:      66797
1389.39/1395.29	c #Conflicts:     863000 | #Constraints:      67834
1389.39/1395.29	c #Conflicts:     864000 | #Constraints:      68864
1389.39/1395.29	c INPROCESSING
1389.39/1395.29	c GARBAGE COLLECT
1389.39/1395.29	c rational objective 52
1406.72/1412.64	c #Conflicts:     865000 | #Constraints:      35749
1406.72/1412.64	c #Conflicts:     866000 | #Constraints:      36786
1406.72/1412.64	c #Conflicts:     867000 | #Constraints:      37827
1406.72/1412.64	c #Conflicts:     868000 | #Constraints:      38863
1406.72/1412.64	c #Conflicts:     869000 | #Constraints:      39890
1406.72/1412.64	c #Conflicts:     870000 | #Constraints:      40917
1406.72/1412.64	c #Conflicts:     871000 | #Constraints:      41952
1406.72/1412.64	c #Conflicts:     872000 | #Constraints:      42991
1406.72/1412.64	c #Conflicts:     873000 | #Constraints:      44024
1406.72/1412.64	c #Conflicts:     874000 | #Constraints:      45056
1406.72/1412.64	c #Conflicts:     875000 | #Constraints:      46083
1406.72/1412.64	c #Conflicts:     876000 | #Constraints:      47116
1406.72/1412.64	c #Conflicts:     877000 | #Constraints:      48140
1406.72/1412.64	c #Conflicts:     878000 | #Constraints:      49163
1406.72/1412.64	c #Conflicts:     879000 | #Constraints:      50195
1406.72/1412.64	c #Conflicts:     880000 | #Constraints:      51225
1406.72/1412.64	c #Conflicts:     881000 | #Constraints:      52256
1406.72/1412.64	c #Conflicts:     882000 | #Constraints:      53289
1406.72/1412.64	c #Conflicts:     883000 | #Constraints:      54317
1406.72/1412.64	c #Conflicts:     884000 | #Constraints:      55341
1406.72/1412.64	c #Conflicts:     885000 | #Constraints:      56374
1406.72/1412.64	c INPROCESSING
1406.72/1412.64	c GARBAGE COLLECT
1406.72/1412.64	c rational objective 52
1515.70/1522.11	c #Conflicts:     886000 | #Constraints:      31720
1515.70/1522.11	c #Conflicts:     887000 | #Constraints:      32765
1515.70/1522.11	c #Conflicts:     888000 | #Constraints:      33797
1515.70/1522.11	c #Conflicts:     889000 | #Constraints:      34825
1515.70/1522.11	c #Conflicts:     890000 | #Constraints:      35850
1515.70/1522.11	c #Conflicts:     891000 | #Constraints:      36879
1515.70/1522.11	c #Conflicts:     892000 | #Constraints:      37916
1515.70/1522.11	c #Conflicts:     893000 | #Constraints:      38951
1515.70/1522.11	c #Conflicts:     894000 | #Constraints:      39992
1515.70/1522.11	c #Conflicts:     895000 | #Constraints:      41022
1515.70/1522.11	c #Conflicts:     896000 | #Constraints:      42053
1515.70/1522.11	c #Conflicts:     897000 | #Constraints:      43091
1515.70/1522.11	c #Conflicts:     898000 | #Constraints:      44132
1515.70/1522.11	c #Conflicts:     899000 | #Constraints:      45156
1515.70/1522.11	c #Conflicts:     900000 | #Constraints:      46183
1515.70/1522.11	c #Conflicts:     901000 | #Constraints:      47212
1515.70/1522.11	c #Conflicts:     902000 | #Constraints:      48237
1515.70/1522.11	c #Conflicts:     903000 | #Constraints:      49269
1515.70/1522.11	c #Conflicts:     904000 | #Constraints:      50299
1515.70/1522.11	c #Conflicts:     905000 | #Constraints:      51329
1515.70/1522.11	c #Conflicts:     906000 | #Constraints:      52359
1515.70/1522.11	c #Conflicts:     907000 | #Constraints:      53395
1515.70/1522.11	c #Conflicts:     908000 | #Constraints:      54431
1515.70/1522.11	c #Conflicts:     909000 | #Constraints:      55464
1515.70/1522.11	c #Conflicts:     910000 | #Constraints:      56487
1515.70/1522.11	c #Conflicts:     911000 | #Constraints:      57512
1515.70/1522.11	c #Conflicts:     912000 | #Constraints:      58539
1515.70/1522.11	c #Conflicts:     913000 | #Constraints:      59566
1515.70/1522.11	c #Conflicts:     914000 | #Constraints:      60586
1515.70/1522.11	c #Conflicts:     915000 | #Constraints:      61609
1515.70/1522.11	c #Conflicts:     916000 | #Constraints:      62638
1515.70/1522.11	c #Conflicts:     917000 | #Constraints:      63666
1515.70/1522.11	c #Conflicts:     918000 | #Constraints:      64698
1515.70/1522.11	c #Conflicts:     919000 | #Constraints:      65726
1515.70/1522.11	c #Conflicts:     920000 | #Constraints:      66753
1515.70/1522.11	c #Conflicts:     921000 | #Constraints:      67782
1515.70/1522.11	c #Conflicts:     922000 | #Constraints:      68811
1515.70/1522.11	c #Conflicts:     923000 | #Constraints:      69829
1515.70/1522.11	c #Conflicts:     924000 | #Constraints:      70855
1515.70/1522.11	c #Conflicts:     925000 | #Constraints:      71881
1515.70/1522.11	c #Conflicts:     926000 | #Constraints:      72911
1515.70/1522.11	c #Conflicts:     927000 | #Constraints:      73941
1515.70/1522.11	c #Conflicts:     928000 | #Constraints:      74966
1515.70/1522.11	c #Conflicts:     929000 | #Constraints:      75997
1515.70/1522.11	c #Conflicts:     930000 | #Constraints:      77034
1515.70/1522.11	c #Conflicts:     931000 | #Constraints:      78068
1515.70/1522.11	c #Conflicts:     932000 | #Constraints:      79087
1515.70/1522.11	c #Conflicts:     933000 | #Constraints:      80118
1515.70/1522.11	c #Conflicts:     934000 | #Constraints:      81147
1515.70/1522.11	c #Conflicts:     935000 | #Constraints:      82181
1515.70/1522.11	c #Conflicts:     936000 | #Constraints:      83208
1515.70/1522.11	c #Conflicts:     937000 | #Constraints:      84234
1515.70/1522.11	c #Conflicts:     938000 | #Constraints:      85252
1515.70/1522.11	c #Conflicts:     939000 | #Constraints:      86282
1515.70/1522.11	c #Conflicts:     940000 | #Constraints:      87304
1515.70/1522.11	c #Conflicts:     941000 | #Constraints:      88331
1515.70/1522.11	c #Conflicts:     942000 | #Constraints:      89366
1515.70/1522.11	c #Conflicts:     943000 | #Constraints:      90388
1515.70/1522.11	c #Conflicts:     944000 | #Constraints:      91409
1515.70/1522.11	c #Conflicts:     945000 | #Constraints:      92435
1515.70/1522.11	c #Conflicts:     946000 | #Constraints:      93458
1515.70/1522.11	c #Conflicts:     947000 | #Constraints:      94487
1515.70/1522.11	c #Conflicts:     948000 | #Constraints:      95505
1515.70/1522.11	c #Conflicts:     949000 | #Constraints:      96532
1515.70/1522.11	c #Conflicts:     950000 | #Constraints:      97559
1515.70/1522.11	c #Conflicts:     951000 | #Constraints:      98582
1515.70/1522.11	c #Conflicts:     952000 | #Constraints:      99608
1515.70/1522.11	c #Conflicts:     953000 | #Constraints:     100638
1515.70/1522.11	c #Conflicts:     954000 | #Constraints:     101666
1515.70/1522.11	c #Conflicts:     955000 | #Constraints:     102683
1515.70/1522.11	c #Conflicts:     956000 | #Constraints:     103704
1515.70/1522.11	c #Conflicts:     957000 | #Constraints:     104727
1515.70/1522.11	c #Conflicts:     958000 | #Constraints:     105758
1515.70/1522.11	c #Conflicts:     959000 | #Constraints:     106784
1515.70/1522.11	c #Conflicts:     960000 | #Constraints:     107810
1515.70/1522.11	c INPROCESSING
1515.70/1522.11	c GARBAGE COLLECT
1515.70/1522.11	c rational objective 52
1550.05/1556.56	c #Conflicts:     961000 | #Constraints:      55328
1550.05/1556.56	c #Conflicts:     962000 | #Constraints:      56362
1550.05/1556.56	c #Conflicts:     963000 | #Constraints:      57393
1550.05/1556.56	c #Conflicts:     964000 | #Constraints:      58421
1550.05/1556.56	c #Conflicts:     965000 | #Constraints:      59459
1550.05/1556.56	c #Conflicts:     966000 | #Constraints:      60494
1550.05/1556.56	c #Conflicts:     967000 | #Constraints:      61520
1550.05/1556.56	c #Conflicts:     968000 | #Constraints:      62543
1550.05/1556.56	c #Conflicts:     969000 | #Constraints:      63574
1550.05/1556.56	c #Conflicts:     970000 | #Constraints:      64602
1550.05/1556.56	c #Conflicts:     971000 | #Constraints:      65625
1550.05/1556.56	c #Conflicts:     972000 | #Constraints:      66651
1550.05/1556.56	c #Conflicts:     973000 | #Constraints:      67675
1550.05/1556.56	c #Conflicts:     974000 | #Constraints:      68703
1550.05/1556.56	c #Conflicts:     975000 | #Constraints:      69729
1550.05/1556.56	c #Conflicts:     976000 | #Constraints:      70750
1550.05/1556.56	c #Conflicts:     977000 | #Constraints:      71772
1550.05/1556.56	c #Conflicts:     978000 | #Constraints:      72791
1550.05/1556.56	c #Conflicts:     979000 | #Constraints:      73814
1550.05/1556.56	c #Conflicts:     980000 | #Constraints:      74841
1550.05/1556.56	c #Conflicts:     981000 | #Constraints:      75870
1550.05/1556.56	c #Conflicts:     982000 | #Constraints:      76904
1550.05/1556.56	c INPROCESSING
1550.05/1556.56	c GARBAGE COLLECT
1550.05/1556.56	c rational objective 52
1571.47/1578.05	c #Conflicts:     983000 | #Constraints:      39815
1571.47/1578.05	c #Conflicts:     984000 | #Constraints:      40848
1571.47/1578.05	c #Conflicts:     985000 | #Constraints:      41876
1571.47/1578.05	c #Conflicts:     986000 | #Constraints:      42909
1571.47/1578.05	c #Conflicts:     987000 | #Constraints:      43940
1571.47/1578.05	c #Conflicts:     988000 | #Constraints:      44971
1571.47/1578.05	c #Conflicts:     989000 | #Constraints:      45998
1571.47/1578.05	c #Conflicts:     990000 | #Constraints:      47030
1571.47/1578.05	c #Conflicts:     991000 | #Constraints:      48063
1571.47/1578.05	c #Conflicts:     992000 | #Constraints:      49083
1571.47/1578.05	c #Conflicts:     993000 | #Constraints:      50104
1571.47/1578.05	c #Conflicts:     994000 | #Constraints:      51120
1571.47/1578.05	c #Conflicts:     995000 | #Constraints:      52135
1571.47/1578.05	c #Conflicts:     996000 | #Constraints:      53158
1571.47/1578.05	c #Conflicts:     997000 | #Constraints:      54178
1571.47/1578.05	c #Conflicts:     998000 | #Constraints:      55201
1571.47/1578.05	c #Conflicts:     999000 | #Constraints:      56219
1571.47/1578.05	c #Conflicts:    1000000 | #Constraints:      57239
1571.47/1578.05	c #Conflicts:    1001000 | #Constraints:      58276
1571.47/1578.05	c #Conflicts:    1002000 | #Constraints:      59308
1571.47/1578.05	c #Conflicts:    1003000 | #Constraints:      60340
1571.47/1578.05	c #Conflicts:    1004000 | #Constraints:      61366
1571.47/1578.05	c INPROCESSING
1571.47/1578.05	c GARBAGE COLLECT
1571.47/1578.05	c rational objective 52
1592.28/1598.91	c #Conflicts:    1005000 | #Constraints:      31890
1592.28/1598.91	c #Conflicts:    1006000 | #Constraints:      32922
1592.28/1598.91	c #Conflicts:    1007000 | #Constraints:      33958
1592.28/1598.91	c #Conflicts:    1008000 | #Constraints:      34980
1592.28/1598.91	c #Conflicts:    1009000 | #Constraints:      36014
1592.28/1598.91	c #Conflicts:    1010000 | #Constraints:      37046
1592.28/1598.91	c #Conflicts:    1011000 | #Constraints:      38077
1592.28/1598.91	c #Conflicts:    1012000 | #Constraints:      39109
1592.28/1598.91	c #Conflicts:    1013000 | #Constraints:      40137
1592.28/1598.91	c #Conflicts:    1014000 | #Constraints:      41162
1592.28/1598.91	c #Conflicts:    1015000 | #Constraints:      42192
1592.28/1598.91	c #Conflicts:    1016000 | #Constraints:      43221
1592.28/1598.91	c #Conflicts:    1017000 | #Constraints:      44246
1592.28/1598.91	c #Conflicts:    1018000 | #Constraints:      45277
1592.28/1598.91	c #Conflicts:    1019000 | #Constraints:      46303
1592.28/1598.91	c #Conflicts:    1020000 | #Constraints:      47321
1592.28/1598.91	c #Conflicts:    1021000 | #Constraints:      48345
1592.28/1598.91	c #Conflicts:    1022000 | #Constraints:      49363
1592.28/1598.91	c #Conflicts:    1023000 | #Constraints:      50384
1592.28/1598.91	c #Conflicts:    1024000 | #Constraints:      51413
1592.28/1598.91	c #Conflicts:    1025000 | #Constraints:      52439
1592.28/1598.91	c #Conflicts:    1026000 | #Constraints:      53470
1592.28/1598.91	c INPROCESSING
1592.28/1598.91	c GARBAGE COLLECT
1592.28/1598.91	c rational objective 52
1736.55/1743.71	c #Conflicts:    1027000 | #Constraints:      30773
1736.55/1743.71	c #Conflicts:    1028000 | #Constraints:      31812
1736.55/1743.71	c #Conflicts:    1029000 | #Constraints:      32847
1736.55/1743.71	c #Conflicts:    1030000 | #Constraints:      33892
1736.55/1743.71	c #Conflicts:    1031000 | #Constraints:      34928
1736.55/1743.71	c #Conflicts:    1032000 | #Constraints:      35965
1736.55/1743.71	c #Conflicts:    1033000 | #Constraints:      36991
1736.55/1743.71	c #Conflicts:    1034000 | #Constraints:      38033
1736.55/1743.71	c #Conflicts:    1035000 | #Constraints:      39070
1736.55/1743.71	c #Conflicts:    1036000 | #Constraints:      40096
1736.55/1743.71	c #Conflicts:    1037000 | #Constraints:      41122
1736.55/1743.71	c #Conflicts:    1038000 | #Constraints:      42153
1736.55/1743.71	c #Conflicts:    1039000 | #Constraints:      43180
1736.55/1743.71	c #Conflicts:    1040000 | #Constraints:      44198
1736.55/1743.71	c #Conflicts:    1041000 | #Constraints:      45242
1736.55/1743.71	c #Conflicts:    1042000 | #Constraints:      46273
1736.55/1743.71	c #Conflicts:    1043000 | #Constraints:      47294
1736.55/1743.71	c #Conflicts:    1044000 | #Constraints:      48316
1736.55/1743.71	c #Conflicts:    1045000 | #Constraints:      49351
1736.55/1743.71	c #Conflicts:    1046000 | #Constraints:      50380
1736.55/1743.71	c #Conflicts:    1047000 | #Constraints:      51412
1736.55/1743.71	c #Conflicts:    1048000 | #Constraints:      52444
1736.55/1743.71	c #Conflicts:    1049000 | #Constraints:      53480
1736.55/1743.71	c #Conflicts:    1050000 | #Constraints:      54505
1736.55/1743.71	c #Conflicts:    1051000 | #Constraints:      55534
1736.55/1743.71	c #Conflicts:    1052000 | #Constraints:      56566
1736.55/1743.71	c #Conflicts:    1053000 | #Constraints:      57588
1736.55/1743.71	c #Conflicts:    1054000 | #Constraints:      58612
1736.55/1743.71	c #Conflicts:    1055000 | #Constraints:      59638
1736.55/1743.71	c #Conflicts:    1056000 | #Constraints:      60663
1736.55/1743.71	c #Conflicts:    1057000 | #Constraints:      61690
1736.55/1743.71	c #Conflicts:    1058000 | #Constraints:      62715
1736.55/1743.71	c #Conflicts:    1059000 | #Constraints:      63739
1736.55/1743.71	c #Conflicts:    1060000 | #Constraints:      64770
1736.55/1743.71	c #Conflicts:    1061000 | #Constraints:      65795
1736.55/1743.71	c #Conflicts:    1062000 | #Constraints:      66815
1736.55/1743.71	c #Conflicts:    1063000 | #Constraints:      67835
1736.55/1743.71	c #Conflicts:    1064000 | #Constraints:      68855
1736.55/1743.71	c #Conflicts:    1065000 | #Constraints:      69875
1736.55/1743.71	c #Conflicts:    1066000 | #Constraints:      70895
1736.55/1743.71	c #Conflicts:    1067000 | #Constraints:      71910
1736.55/1743.71	c #Conflicts:    1068000 | #Constraints:      72930
1736.55/1743.71	c #Conflicts:    1069000 | #Constraints:      73947
1736.55/1743.71	c #Conflicts:    1070000 | #Constraints:      74964
1736.55/1743.71	c #Conflicts:    1071000 | #Constraints:      75980
1736.55/1743.71	c #Conflicts:    1072000 | #Constraints:      76997
1736.55/1743.71	c #Conflicts:    1073000 | #Constraints:      78020
1736.55/1743.71	c #Conflicts:    1074000 | #Constraints:      79046
1736.55/1743.71	c #Conflicts:    1075000 | #Constraints:      80068
1736.55/1743.71	c #Conflicts:    1076000 | #Constraints:      81088
1736.55/1743.71	c #Conflicts:    1077000 | #Constraints:      82113
1736.55/1743.71	c #Conflicts:    1078000 | #Constraints:      83131
1736.55/1743.71	c #Conflicts:    1079000 | #Constraints:      84144
1736.55/1743.71	c #Conflicts:    1080000 | #Constraints:      85159
1736.55/1743.71	c #Conflicts:    1081000 | #Constraints:      86173
1736.55/1743.71	c #Conflicts:    1082000 | #Constraints:      87193
1736.55/1743.71	c #Conflicts:    1083000 | #Constraints:      88212
1736.55/1743.71	c #Conflicts:    1084000 | #Constraints:      89231
1736.55/1743.71	c #Conflicts:    1085000 | #Constraints:      90250
1736.55/1743.71	c #Conflicts:    1086000 | #Constraints:      91281
1736.55/1743.71	c #Conflicts:    1087000 | #Constraints:      92310
1736.55/1743.71	c #Conflicts:    1088000 | #Constraints:      93338
1736.55/1743.71	c #Conflicts:    1089000 | #Constraints:      94373
1736.55/1743.71	c #Conflicts:    1090000 | #Constraints:      95396
1736.55/1743.71	c #Conflicts:    1091000 | #Constraints:      96423
1736.55/1743.71	c #Conflicts:    1092000 | #Constraints:      97439
1736.55/1743.71	c #Conflicts:    1093000 | #Constraints:      98464
1736.55/1743.71	c #Conflicts:    1094000 | #Constraints:      99487
1736.55/1743.71	c #Conflicts:    1095000 | #Constraints:     100507
1736.55/1743.71	c #Conflicts:    1096000 | #Constraints:     101533
1736.55/1743.71	c #Conflicts:    1097000 | #Constraints:     102559
1736.55/1743.71	c #Conflicts:    1098000 | #Constraints:     103585
1736.55/1743.71	c #Conflicts:    1099000 | #Constraints:     104611
1736.55/1743.71	c #Conflicts:    1100000 | #Constraints:     105629
1736.55/1743.71	c #Conflicts:    1101000 | #Constraints:     106657
1736.55/1743.71	c #Conflicts:    1102000 | #Constraints:     107682
1736.55/1743.71	c #Conflicts:    1103000 | #Constraints:     108707
1736.55/1743.71	c #Conflicts:    1104000 | #Constraints:     109734
1736.55/1743.71	c #Conflicts:    1105000 | #Constraints:     110760
1742.73/1749.91	c #Conflicts:    1106000 | #Constraints:     111780
1742.73/1749.91	c #Conflicts:    1107000 | #Constraints:     112806
1742.73/1749.91	c INPROCESSING
1742.73/1749.91	c GARBAGE COLLECT
1742.73/1749.91	c rational objective 52
1783.18/1790.57	c #Conflicts:    1108000 | #Constraints:      57727
1783.18/1790.57	c #Conflicts:    1109000 | #Constraints:      58764
1783.18/1790.57	c #Conflicts:    1110000 | #Constraints:      59792
1783.18/1790.57	c #Conflicts:    1111000 | #Constraints:      60831
1783.18/1790.57	c #Conflicts:    1112000 | #Constraints:      61856
1783.18/1790.57	c #Conflicts:    1113000 | #Constraints:      62879
1783.18/1790.57	c #Conflicts:    1114000 | #Constraints:      63904
1783.18/1790.57	c #Conflicts:    1115000 | #Constraints:      64937
1783.18/1790.57	c #Conflicts:    1116000 | #Constraints:      65966
1783.18/1790.57	c #Conflicts:    1117000 | #Constraints:      66997
1783.18/1790.57	c #Conflicts:    1118000 | #Constraints:      68023
1783.18/1790.57	c #Conflicts:    1119000 | #Constraints:      69042
1783.18/1790.57	c #Conflicts:    1120000 | #Constraints:      70066
1783.18/1790.57	c #Conflicts:    1121000 | #Constraints:      71086
1783.18/1790.57	c #Conflicts:    1122000 | #Constraints:      72109
1783.18/1790.57	c #Conflicts:    1123000 | #Constraints:      73140
1783.18/1790.57	c #Conflicts:    1124000 | #Constraints:      74176
1783.18/1790.57	c #Conflicts:    1125000 | #Constraints:      75208
1783.18/1790.57	c #Conflicts:    1126000 | #Constraints:      76236
1783.18/1790.57	c #Conflicts:    1127000 | #Constraints:      77263
1783.18/1790.57	c #Conflicts:    1128000 | #Constraints:      78291
1783.18/1790.57	c #Conflicts:    1129000 | #Constraints:      79309
1783.18/1790.57	c #Conflicts:    1130000 | #Constraints:      80335
1783.18/1790.57	c #Conflicts:    1131000 | #Constraints:      81360
1783.18/1790.57	c INPROCESSING
1783.18/1790.57	c GARBAGE COLLECT
1783.18/1790.57	c rational objective 52
1812.27/1819.80	c #Conflicts:    1132000 | #Constraints:      42095
1812.27/1819.80	c #Conflicts:    1133000 | #Constraints:      43121
1812.27/1819.80	c #Conflicts:    1134000 | #Constraints:      44141
1812.27/1819.80	c #Conflicts:    1135000 | #Constraints:      45172
1812.27/1819.80	c #Conflicts:    1136000 | #Constraints:      46197
1812.27/1819.80	c #Conflicts:    1137000 | #Constraints:      47218
1812.27/1819.80	c #Conflicts:    1138000 | #Constraints:      48241
1812.27/1819.80	c #Conflicts:    1139000 | #Constraints:      49265
1812.27/1819.80	c #Conflicts:    1140000 | #Constraints:      50282
1812.27/1819.80	c #Conflicts:    1141000 | #Constraints:      51304
1812.27/1819.80	c #Conflicts:    1142000 | #Constraints:      52329
1812.27/1819.80	c #Conflicts:    1143000 | #Constraints:      53360
1812.27/1819.80	c #Conflicts:    1144000 | #Constraints:      54379
1812.27/1819.80	c #Conflicts:    1145000 | #Constraints:      55408
1812.27/1819.80	c #Conflicts:    1146000 | #Constraints:      56438
1812.27/1819.80	c #Conflicts:    1147000 | #Constraints:      57457
1812.27/1819.80	c #Conflicts:    1148000 | #Constraints:      58482
1812.27/1819.80	c #Conflicts:    1149000 | #Constraints:      59504
1812.27/1819.80	c #Conflicts:    1150000 | #Constraints:      60528
1812.27/1819.80	c #Conflicts:    1151000 | #Constraints:      61548
1812.27/1819.80	c #Conflicts:    1152000 | #Constraints:      62565
1812.27/1819.80	c #Conflicts:    1153000 | #Constraints:      63594
1812.27/1819.80	c #Conflicts:    1154000 | #Constraints:      64631
1812.27/1819.80	c #Conflicts:    1155000 | #Constraints:      65655
1812.27/1819.80	c INPROCESSING
1812.27/1819.80	c GARBAGE COLLECT
1812.27/1819.80	c rational objective 52
1834.60/1842.14	c #Conflicts:    1156000 | #Constraints:      34240
1834.60/1842.14	c #Conflicts:    1157000 | #Constraints:      35258
1834.60/1842.14	c #Conflicts:    1158000 | #Constraints:      36294
1834.60/1842.14	c #Conflicts:    1159000 | #Constraints:      37322
1834.60/1842.14	c #Conflicts:    1160000 | #Constraints:      38342
1834.60/1842.14	c #Conflicts:    1161000 | #Constraints:      39370
1834.60/1842.14	c #Conflicts:    1162000 | #Constraints:      40406
1834.60/1842.14	c #Conflicts:    1163000 | #Constraints:      41444
1834.60/1842.14	c #Conflicts:    1164000 | #Constraints:      42481
1834.60/1842.14	c #Conflicts:    1165000 | #Constraints:      43505
1834.60/1842.14	c #Conflicts:    1166000 | #Constraints:      44536
1834.60/1842.14	c #Conflicts:    1167000 | #Constraints:      45566
1834.60/1842.14	c #Conflicts:    1168000 | #Constraints:      46587
1834.60/1842.14	c #Conflicts:    1169000 | #Constraints:      47626
1834.60/1842.14	c #Conflicts:    1170000 | #Constraints:      48662
1834.60/1842.14	c #Conflicts:    1171000 | #Constraints:      49685
1834.60/1842.14	c #Conflicts:    1172000 | #Constraints:      50712
1834.60/1842.14	c #Conflicts:    1173000 | #Constraints:      51728
1834.60/1842.14	c #Conflicts:    1174000 | #Constraints:      52751
1834.60/1842.14	c #Conflicts:    1175000 | #Constraints:      53776
1834.60/1842.14	c #Conflicts:    1176000 | #Constraints:      54795
1834.60/1842.14	c #Conflicts:    1177000 | #Constraints:      55822
1834.60/1842.14	c #Conflicts:    1178000 | #Constraints:      56841
1834.60/1842.14	c #Conflicts:    1179000 | #Constraints:      57866
1834.60/1842.14	c INPROCESSING
1834.60/1842.14	c GARBAGE COLLECT
1834.60/1842.14	c rational objective 52
2752.21/2763.18	c #Conflicts:    1180000 | #Constraints:      31493
2752.21/2763.18	c #Conflicts:    1181000 | #Constraints:      32493
2752.21/2763.18	c #Conflicts:    1182000 | #Constraints:      33493
2752.21/2763.18	c #Conflicts:    1183000 | #Constraints:      34493
2752.21/2763.18	c #Conflicts:    1184000 | #Constraints:      35494
2752.21/2763.18	c #Conflicts:    1185000 | #Constraints:      36495
2752.21/2763.18	c #Conflicts:    1186000 | #Constraints:      37495
2752.21/2763.18	c #Conflicts:    1187000 | #Constraints:      38495
2752.21/2763.18	c #Conflicts:    1188000 | #Constraints:      39495
2752.21/2763.18	c #Conflicts:    1189000 | #Constraints:      40496
2752.21/2763.18	c #Conflicts:    1190000 | #Constraints:      41496
2752.21/2763.18	c #Conflicts:    1191000 | #Constraints:      42496
2752.21/2763.18	c #Conflicts:    1192000 | #Constraints:      43496
2752.21/2763.18	c #Conflicts:    1193000 | #Constraints:      44496
2752.21/2763.18	c #Conflicts:    1194000 | #Constraints:      45496
2752.21/2763.18	c #Conflicts:    1195000 | #Constraints:      46496
2752.21/2763.18	c #Conflicts:    1196000 | #Constraints:      47496
2752.21/2763.18	c #Conflicts:    1197000 | #Constraints:      48497
2752.21/2763.18	c #Conflicts:    1198000 | #Constraints:      49497
2752.21/2763.18	c #Conflicts:    1199000 | #Constraints:      50497
2752.21/2763.18	c #Conflicts:    1200000 | #Constraints:      51497
2752.21/2763.18	c #Conflicts:    1201000 | #Constraints:      52498
2752.21/2763.18	c #Conflicts:    1202000 | #Constraints:      53498
2752.21/2763.18	c #Conflicts:    1203000 | #Constraints:      54498
2752.21/2763.18	c #Conflicts:    1204000 | #Constraints:      55498
2752.21/2763.18	c #Conflicts:    1205000 | #Constraints:      56499
2752.21/2763.18	c #Conflicts:    1206000 | #Constraints:      57500
2752.21/2763.18	c #Conflicts:    1207000 | #Constraints:      58500
2752.21/2763.18	c #Conflicts:    1208000 | #Constraints:      59500
2752.21/2763.18	c #Conflicts:    1209000 | #Constraints:      60500
2752.21/2763.18	c #Conflicts:    1210000 | #Constraints:      61501
2752.21/2763.18	c #Conflicts:    1211000 | #Constraints:      62501
2752.21/2763.18	c #Conflicts:    1212000 | #Constraints:      63501
2752.21/2763.18	c #Conflicts:    1213000 | #Constraints:      64501
2752.21/2763.18	c #Conflicts:    1214000 | #Constraints:      65501
2752.21/2763.18	c #Conflicts:    1215000 | #Constraints:      66501
2752.21/2763.18	c #Conflicts:    1216000 | #Constraints:      67501
2752.21/2763.18	c #Conflicts:    1217000 | #Constraints:      68501
2752.21/2763.18	c #Conflicts:    1218000 | #Constraints:      69501
2752.21/2763.18	c #Conflicts:    1219000 | #Constraints:      70501
2752.21/2763.18	c #Conflicts:    1220000 | #Constraints:      71501
2752.21/2763.18	c #Conflicts:    1221000 | #Constraints:      72501
2752.21/2763.18	c #Conflicts:    1222000 | #Constraints:      73502
2752.21/2763.18	c #Conflicts:    1223000 | #Constraints:      74502
2752.21/2763.18	c #Conflicts:    1224000 | #Constraints:      75502
2752.21/2763.18	c #Conflicts:    1225000 | #Constraints:      76502
2752.21/2763.18	c #Conflicts:    1226000 | #Constraints:      77502
2752.21/2763.18	c #Conflicts:    1227000 | #Constraints:      78502
2752.21/2763.18	c #Conflicts:    1228000 | #Constraints:      79502
2752.21/2763.18	c #Conflicts:    1229000 | #Constraints:      80502
2752.21/2763.18	c #Conflicts:    1230000 | #Constraints:      81502
2752.21/2763.18	c #Conflicts:    1231000 | #Constraints:      82502
2752.21/2763.18	c #Conflicts:    1232000 | #Constraints:      83502
2752.21/2763.18	c #Conflicts:    1233000 | #Constraints:      84502
2752.21/2763.18	c #Conflicts:    1234000 | #Constraints:      85502
2752.21/2763.18	c #Conflicts:    1235000 | #Constraints:      86502
2752.21/2763.18	c #Conflicts:    1236000 | #Constraints:      87502
2752.21/2763.18	c #Conflicts:    1237000 | #Constraints:      88502
2752.21/2763.18	c #Conflicts:    1238000 | #Constraints:      89502
2752.21/2763.18	c #Conflicts:    1239000 | #Constraints:      90502
2752.21/2763.18	c #Conflicts:    1240000 | #Constraints:      91503
2752.21/2763.18	c #Conflicts:    1241000 | #Constraints:      92503
2752.21/2763.18	c #Conflicts:    1242000 | #Constraints:      93503
2752.21/2763.18	c #Conflicts:    1243000 | #Constraints:      94503
2752.21/2763.18	c #Conflicts:    1244000 | #Constraints:      95504
2752.21/2763.18	c #Conflicts:    1245000 | #Constraints:      96504
2752.21/2763.18	c #Conflicts:    1246000 | #Constraints:      97505
2752.21/2763.18	c #Conflicts:    1247000 | #Constraints:      98505
2752.21/2763.18	c #Conflicts:    1248000 | #Constraints:      99506
2752.21/2763.18	c #Conflicts:    1249000 | #Constraints:     100506
2752.21/2763.18	c #Conflicts:    1250000 | #Constraints:     101506
2752.21/2763.18	c #Conflicts:    1251000 | #Constraints:     102506
2752.21/2763.18	c #Conflicts:    1252000 | #Constraints:     103506
2752.21/2763.18	c #Conflicts:    1253000 | #Constraints:     104507
2752.21/2763.18	c #Conflicts:    1254000 | #Constraints:     105507
2752.21/2763.18	c #Conflicts:    1255000 | #Constraints:     106507
2752.21/2763.18	c #Conflicts:    1256000 | #Constraints:     107507
2752.21/2763.18	c #Conflicts:    1257000 | #Constraints:     108507
2752.21/2763.18	c #Conflicts:    1258000 | #Constraints:     109508
2866.55/2877.92	c #Conflicts:    1259000 | #Constraints:     110508
2866.55/2877.92	c #Conflicts:    1260000 | #Constraints:     111508
2866.55/2877.92	c #Conflicts:    1261000 | #Constraints:     112508
2866.55/2877.92	c #Conflicts:    1262000 | #Constraints:     113508
2866.55/2877.92	c #Conflicts:    1263000 | #Constraints:     114508
2866.55/2877.92	c #Conflicts:    1264000 | #Constraints:     115508
2866.55/2877.92	c INPROCESSING
2866.55/2877.92	c GARBAGE COLLECT
2866.55/2877.92	c rational objective 52
2903.80/2915.39	c #Conflicts:    1265000 | #Constraints:      58787
2903.80/2915.39	c #Conflicts:    1266000 | #Constraints:      59840
2903.80/2915.39	c #Conflicts:    1267000 | #Constraints:      60890
2903.80/2915.39	c #Conflicts:    1268000 | #Constraints:      61929
2903.80/2915.39	c #Conflicts:    1269000 | #Constraints:      62969
2903.80/2915.39	c #Conflicts:    1270000 | #Constraints:      64015
2903.80/2915.39	c #Conflicts:    1271000 | #Constraints:      65059
2903.80/2915.39	c #Conflicts:    1272000 | #Constraints:      66088
2903.80/2915.39	c #Conflicts:    1273000 | #Constraints:      67125
2903.80/2915.39	c #Conflicts:    1274000 | #Constraints:      68167
2903.80/2915.39	c #Conflicts:    1275000 | #Constraints:      69201
2903.80/2915.39	c #Conflicts:    1276000 | #Constraints:      70239
2903.80/2915.39	c #Conflicts:    1277000 | #Constraints:      71274
2903.80/2915.39	c #Conflicts:    1278000 | #Constraints:      72313
2903.80/2915.39	c #Conflicts:    1279000 | #Constraints:      73347
2903.80/2915.39	c #Conflicts:    1280000 | #Constraints:      74376
2903.80/2915.39	c #Conflicts:    1281000 | #Constraints:      75410
2903.80/2915.39	c #Conflicts:    1282000 | #Constraints:      76449
2903.80/2915.39	c #Conflicts:    1283000 | #Constraints:      77474
2903.80/2915.39	c #Conflicts:    1284000 | #Constraints:      78505
2903.80/2915.39	c #Conflicts:    1285000 | #Constraints:      79532
2903.80/2915.39	c #Conflicts:    1286000 | #Constraints:      80565
2903.80/2915.39	c #Conflicts:    1287000 | #Constraints:      81591
2903.80/2915.39	c #Conflicts:    1288000 | #Constraints:      82616
2903.80/2915.39	c #Conflicts:    1289000 | #Constraints:      83646
2903.80/2915.39	c #Conflicts:    1290000 | #Constraints:      84679
2903.80/2915.39	c INPROCESSING
2903.80/2915.39	c GARBAGE COLLECT
2903.80/2915.39	c rational objective 52
2935.97/2947.65	c #Conflicts:    1291000 | #Constraints:      43609
2935.97/2947.65	c #Conflicts:    1292000 | #Constraints:      44649
2935.97/2947.65	c #Conflicts:    1293000 | #Constraints:      45686
2935.97/2947.65	c #Conflicts:    1294000 | #Constraints:      46719
2935.97/2947.65	c #Conflicts:    1295000 | #Constraints:      47746
2935.97/2947.65	c #Conflicts:    1296000 | #Constraints:      48775
2935.97/2947.65	c #Conflicts:    1297000 | #Constraints:      49811
2935.97/2947.65	c #Conflicts:    1298000 | #Constraints:      50840
2935.97/2947.65	c #Conflicts:    1299000 | #Constraints:      51872
2935.97/2947.65	c #Conflicts:    1300000 | #Constraints:      52898
2935.97/2947.65	c #Conflicts:    1301000 | #Constraints:      53931
2935.97/2947.65	c #Conflicts:    1302000 | #Constraints:      54958
2935.97/2947.65	c #Conflicts:    1303000 | #Constraints:      55985
2935.97/2947.65	c #Conflicts:    1304000 | #Constraints:      57012
2935.97/2947.65	c #Conflicts:    1305000 | #Constraints:      58041
2935.97/2947.65	c #Conflicts:    1306000 | #Constraints:      59066
2935.97/2947.65	c #Conflicts:    1307000 | #Constraints:      60091
2935.97/2947.65	c #Conflicts:    1308000 | #Constraints:      61114
2935.97/2947.65	c #Conflicts:    1309000 | #Constraints:      62147
2935.97/2947.65	c #Conflicts:    1310000 | #Constraints:      63180
2935.97/2947.65	c #Conflicts:    1311000 | #Constraints:      64204
2935.97/2947.65	c #Conflicts:    1312000 | #Constraints:      65223
2935.97/2947.65	c #Conflicts:    1313000 | #Constraints:      66248
2935.97/2947.65	c #Conflicts:    1314000 | #Constraints:      67274
2935.97/2947.65	c #Conflicts:    1315000 | #Constraints:      68301
2935.97/2947.65	c #Conflicts:    1316000 | #Constraints:      69322
2935.97/2947.65	c INPROCESSING
2935.97/2947.65	c GARBAGE COLLECT
2935.97/2947.65	c rational objective 52
3081.31/3093.50	c #Conflicts:    1317000 | #Constraints:      39658
3081.31/3093.50	c #Conflicts:    1318000 | #Constraints:      40693
3081.31/3093.50	c #Conflicts:    1319000 | #Constraints:      41730
3081.31/3093.50	c #Conflicts:    1320000 | #Constraints:      42768
3081.31/3093.50	c #Conflicts:    1321000 | #Constraints:      43795
3081.31/3093.50	c #Conflicts:    1322000 | #Constraints:      44822
3081.31/3093.50	c #Conflicts:    1323000 | #Constraints:      45853
3081.31/3093.50	c #Conflicts:    1324000 | #Constraints:      46891
3081.31/3093.50	c #Conflicts:    1325000 | #Constraints:      47915
3081.31/3093.50	c #Conflicts:    1326000 | #Constraints:      48953
3081.31/3093.50	c #Conflicts:    1327000 | #Constraints:      49986
3081.31/3093.50	c #Conflicts:    1328000 | #Constraints:      51016
3081.31/3093.50	c #Conflicts:    1329000 | #Constraints:      52046
3081.31/3093.50	c #Conflicts:    1330000 | #Constraints:      53063
3081.31/3093.50	c #Conflicts:    1331000 | #Constraints:      54091
3081.31/3093.50	c #Conflicts:    1332000 | #Constraints:      55118
3081.31/3093.50	c #Conflicts:    1333000 | #Constraints:      56154
3081.31/3093.50	c #Conflicts:    1334000 | #Constraints:      57185
3081.31/3093.50	c #Conflicts:    1335000 | #Constraints:      58221
3081.31/3093.50	c #Conflicts:    1336000 | #Constraints:      59254
3081.31/3093.50	c #Conflicts:    1337000 | #Constraints:      60279
3081.31/3093.50	c #Conflicts:    1338000 | #Constraints:      61314
3081.31/3093.50	c #Conflicts:    1339000 | #Constraints:      62343
3081.31/3093.50	c #Conflicts:    1340000 | #Constraints:      63369
3081.31/3093.50	c #Conflicts:    1341000 | #Constraints:      64392
3081.31/3093.50	c #Conflicts:    1342000 | #Constraints:      65419
3081.31/3093.50	c #Conflicts:    1343000 | #Constraints:      66445
3081.31/3093.50	c #Conflicts:    1344000 | #Constraints:      67470
3081.31/3093.50	c #Conflicts:    1345000 | #Constraints:      68494
3081.31/3093.50	c #Conflicts:    1346000 | #Constraints:      69523
3081.31/3093.50	c #Conflicts:    1347000 | #Constraints:      70546
3081.31/3093.50	c #Conflicts:    1348000 | #Constraints:      71567
3081.31/3093.50	c #Conflicts:    1349000 | #Constraints:      72590
3081.31/3093.50	c #Conflicts:    1350000 | #Constraints:      73610
3081.31/3093.50	c #Conflicts:    1351000 | #Constraints:      74641
3081.31/3093.50	c #Conflicts:    1352000 | #Constraints:      75668
3081.31/3093.50	c #Conflicts:    1353000 | #Constraints:      76684
3081.31/3093.50	c #Conflicts:    1354000 | #Constraints:      77700
3081.31/3093.50	c #Conflicts:    1355000 | #Constraints:      78728
3081.31/3093.50	c #Conflicts:    1356000 | #Constraints:      79749
3081.31/3093.50	c #Conflicts:    1357000 | #Constraints:      80772
3081.31/3093.50	c #Conflicts:    1358000 | #Constraints:      81794
3081.31/3093.50	c #Conflicts:    1359000 | #Constraints:      82822
3081.31/3093.50	c #Conflicts:    1360000 | #Constraints:      83851
3081.31/3093.50	c #Conflicts:    1361000 | #Constraints:      84883
3081.31/3093.50	c #Conflicts:    1362000 | #Constraints:      85909
3081.31/3093.50	c #Conflicts:    1363000 | #Constraints:      86936
3081.31/3093.50	c #Conflicts:    1364000 | #Constraints:      87967
3081.31/3093.50	c #Conflicts:    1365000 | #Constraints:      89001
3081.31/3093.50	c #Conflicts:    1366000 | #Constraints:      90034
3081.31/3093.50	c #Conflicts:    1367000 | #Constraints:      91062
3081.31/3093.50	c #Conflicts:    1368000 | #Constraints:      92083
3081.31/3093.50	c #Conflicts:    1369000 | #Constraints:      93113
3081.31/3093.50	c #Conflicts:    1370000 | #Constraints:      94134
3081.31/3093.50	c #Conflicts:    1371000 | #Constraints:      95157
3081.31/3093.50	c #Conflicts:    1372000 | #Constraints:      96183
3081.31/3093.50	c #Conflicts:    1373000 | #Constraints:      97213
3081.31/3093.50	c #Conflicts:    1374000 | #Constraints:      98243
3081.31/3093.50	c #Conflicts:    1375000 | #Constraints:      99281
3081.31/3093.50	c #Conflicts:    1376000 | #Constraints:     100316
3081.31/3093.50	c #Conflicts:    1377000 | #Constraints:     101347
3081.31/3093.50	c #Conflicts:    1378000 | #Constraints:     102370
3081.31/3093.50	c #Conflicts:    1379000 | #Constraints:     103392
3081.31/3093.50	c #Conflicts:    1380000 | #Constraints:     104421
3081.31/3093.50	c #Conflicts:    1381000 | #Constraints:     105444
3081.31/3093.50	c #Conflicts:    1382000 | #Constraints:     106466
3081.31/3093.50	c #Conflicts:    1383000 | #Constraints:     107498
3081.31/3093.50	c #Conflicts:    1384000 | #Constraints:     108535
3081.31/3093.50	c #Conflicts:    1385000 | #Constraints:     109562
3081.31/3093.50	c #Conflicts:    1386000 | #Constraints:     110587
3081.31/3093.50	c #Conflicts:    1387000 | #Constraints:     111610
3081.31/3093.50	c #Conflicts:    1388000 | #Constraints:     112634
3081.31/3093.50	c #Conflicts:    1389000 | #Constraints:     113652
3081.31/3093.50	c #Conflicts:    1390000 | #Constraints:     114675
3081.31/3093.50	c #Conflicts:    1391000 | #Constraints:     115697
3081.31/3093.50	c #Conflicts:    1392000 | #Constraints:     116722
3081.31/3093.50	c #Conflicts:    1393000 | #Constraints:     117747
3081.31/3093.50	c #Conflicts:    1394000 | #Constraints:     118776
3081.31/3093.50	c #Conflicts:    1395000 | #Constraints:     119800
3114.87/3127.23	c #Conflicts:    1396000 | #Constraints:     120823
3114.87/3127.23	c #Conflicts:    1397000 | #Constraints:     121847
3114.87/3127.23	c #Conflicts:    1398000 | #Constraints:     122879
3114.87/3127.23	c #Conflicts:    1399000 | #Constraints:     123899
3114.87/3127.23	c #Conflicts:    1400000 | #Constraints:     124923
3114.87/3127.23	c #Conflicts:    1401000 | #Constraints:     125949
3114.87/3127.23	c #Conflicts:    1402000 | #Constraints:     126974
3114.87/3127.23	c #Conflicts:    1403000 | #Constraints:     127997
3114.87/3127.23	c #Conflicts:    1404000 | #Constraints:     129015
3114.87/3127.23	c #Conflicts:    1405000 | #Constraints:     130037
3114.87/3127.23	c INPROCESSING
3114.87/3127.23	c GARBAGE COLLECT
3114.87/3127.23	c rational objective 52
3161.09/3173.69	c #Conflicts:    1406000 | #Constraints:      66019
3161.09/3173.69	c #Conflicts:    1407000 | #Constraints:      67040
3161.09/3173.69	c #Conflicts:    1408000 | #Constraints:      68054
3161.09/3173.69	c #Conflicts:    1409000 | #Constraints:      69083
3161.09/3173.69	c #Conflicts:    1410000 | #Constraints:      70103
3161.09/3173.69	c #Conflicts:    1411000 | #Constraints:      71118
3161.09/3173.69	c #Conflicts:    1412000 | #Constraints:      72132
3161.09/3173.69	c #Conflicts:    1413000 | #Constraints:      73153
3161.09/3173.69	c #Conflicts:    1414000 | #Constraints:      74185
3161.09/3173.69	c #Conflicts:    1415000 | #Constraints:      75207
3161.09/3173.69	c #Conflicts:    1416000 | #Constraints:      76225
3161.09/3173.69	c #Conflicts:    1417000 | #Constraints:      77254
3161.09/3173.69	c #Conflicts:    1418000 | #Constraints:      78278
3161.09/3173.69	c #Conflicts:    1419000 | #Constraints:      79304
3161.09/3173.69	c #Conflicts:    1420000 | #Constraints:      80331
3161.09/3173.69	c #Conflicts:    1421000 | #Constraints:      81356
3161.09/3173.69	c #Conflicts:    1422000 | #Constraints:      82379
3161.09/3173.69	c #Conflicts:    1423000 | #Constraints:      83396
3161.09/3173.69	c #Conflicts:    1424000 | #Constraints:      84411
3161.09/3173.69	c #Conflicts:    1425000 | #Constraints:      85429
3161.09/3173.69	c #Conflicts:    1426000 | #Constraints:      86446
3161.09/3173.69	c #Conflicts:    1427000 | #Constraints:      87467
3161.09/3173.69	c #Conflicts:    1428000 | #Constraints:      88487
3161.09/3173.69	c #Conflicts:    1429000 | #Constraints:      89509
3161.09/3173.69	c #Conflicts:    1430000 | #Constraints:      90534
3161.09/3173.69	c #Conflicts:    1431000 | #Constraints:      91553
3161.09/3173.69	c #Conflicts:    1432000 | #Constraints:      92565
3161.09/3173.69	c INPROCESSING
3161.09/3173.69	c GARBAGE COLLECT
3161.09/3173.69	c rational objective 52
3192.87/3205.57	c #Conflicts:    1433000 | #Constraints:      47280
3192.87/3205.57	c #Conflicts:    1434000 | #Constraints:      48294
3192.87/3205.57	c #Conflicts:    1435000 | #Constraints:      49308
3192.87/3205.57	c #Conflicts:    1436000 | #Constraints:      50331
3192.87/3205.57	c #Conflicts:    1437000 | #Constraints:      51359
3192.87/3205.57	c #Conflicts:    1438000 | #Constraints:      52387
3192.87/3205.57	c #Conflicts:    1439000 | #Constraints:      53412
3192.87/3205.57	c #Conflicts:    1440000 | #Constraints:      54437
3192.87/3205.57	c #Conflicts:    1441000 | #Constraints:      55470
3192.87/3205.57	c #Conflicts:    1442000 | #Constraints:      56498
3192.87/3205.57	c #Conflicts:    1443000 | #Constraints:      57525
3192.87/3205.57	c #Conflicts:    1444000 | #Constraints:      58555
3192.87/3205.57	c #Conflicts:    1445000 | #Constraints:      59590
3192.87/3205.57	c #Conflicts:    1446000 | #Constraints:      60621
3192.87/3205.57	c #Conflicts:    1447000 | #Constraints:      61652
3192.87/3205.57	c #Conflicts:    1448000 | #Constraints:      62680
3192.87/3205.57	c #Conflicts:    1449000 | #Constraints:      63710
3192.87/3205.57	c #Conflicts:    1450000 | #Constraints:      64747
3192.87/3205.57	c #Conflicts:    1451000 | #Constraints:      65776
3192.87/3205.57	c #Conflicts:    1452000 | #Constraints:      66804
3192.87/3205.57	c #Conflicts:    1453000 | #Constraints:      67826
3192.87/3205.57	c #Conflicts:    1454000 | #Constraints:      68850
3192.87/3205.57	c #Conflicts:    1455000 | #Constraints:      69883
3192.87/3205.57	c #Conflicts:    1456000 | #Constraints:      70917
3192.87/3205.57	c #Conflicts:    1457000 | #Constraints:      71946
3192.87/3205.57	c #Conflicts:    1458000 | #Constraints:      72973
3192.87/3205.57	c #Conflicts:    1459000 | #Constraints:      74002
3192.87/3205.57	c #Conflicts:    1460000 | #Constraints:      75030
3192.87/3205.57	c INPROCESSING
3192.87/3205.57	c GARBAGE COLLECT
3192.87/3205.57	c rational objective 52
3321.16/3334.38	c #Conflicts:    1461000 | #Constraints:      39674
3321.16/3334.38	c #Conflicts:    1462000 | #Constraints:      40708
3321.16/3334.38	c #Conflicts:    1463000 | #Constraints:      41737
3321.16/3334.38	c #Conflicts:    1464000 | #Constraints:      42772
3321.16/3334.38	c #Conflicts:    1465000 | #Constraints:      43804
3321.16/3334.38	c #Conflicts:    1466000 | #Constraints:      44835
3321.16/3334.38	c #Conflicts:    1467000 | #Constraints:      45871
3321.16/3334.38	c #Conflicts:    1468000 | #Constraints:      46903
3321.16/3334.38	c #Conflicts:    1469000 | #Constraints:      47934
3321.16/3334.38	c #Conflicts:    1470000 | #Constraints:      48959
3321.16/3334.38	c #Conflicts:    1471000 | #Constraints:      49989
3321.16/3334.38	c #Conflicts:    1472000 | #Constraints:      51012
3321.16/3334.38	c #Conflicts:    1473000 | #Constraints:      52032
3321.16/3334.38	c #Conflicts:    1474000 | #Constraints:      53061
3321.16/3334.38	c #Conflicts:    1475000 | #Constraints:      54097
3321.16/3334.38	c #Conflicts:    1476000 | #Constraints:      55126
3321.16/3334.38	c #Conflicts:    1477000 | #Constraints:      56156
3321.16/3334.38	c #Conflicts:    1478000 | #Constraints:      57192
3321.16/3334.38	c #Conflicts:    1479000 | #Constraints:      58222
3321.16/3334.38	c #Conflicts:    1480000 | #Constraints:      59242
3321.16/3334.38	c #Conflicts:    1481000 | #Constraints:      60265
3321.16/3334.38	c #Conflicts:    1482000 | #Constraints:      61290
3321.16/3334.38	c #Conflicts:    1483000 | #Constraints:      62311
3321.16/3334.38	c #Conflicts:    1484000 | #Constraints:      63335
3321.16/3334.38	c #Conflicts:    1485000 | #Constraints:      64355
3321.16/3334.38	c #Conflicts:    1486000 | #Constraints:      65383
3321.16/3334.38	c #Conflicts:    1487000 | #Constraints:      66412
3321.16/3334.38	c #Conflicts:    1488000 | #Constraints:      67440
3321.16/3334.38	c #Conflicts:    1489000 | #Constraints:      68460
3321.16/3334.38	c #Conflicts:    1490000 | #Constraints:      69484
3321.16/3334.38	c #Conflicts:    1491000 | #Constraints:      70510
3321.16/3334.38	c #Conflicts:    1492000 | #Constraints:      71526
3321.16/3334.38	c #Conflicts:    1493000 | #Constraints:      72550
3321.16/3334.38	c #Conflicts:    1494000 | #Constraints:      73575
3321.16/3334.38	c #Conflicts:    1495000 | #Constraints:      74603
3321.16/3334.38	c #Conflicts:    1496000 | #Constraints:      75633
3321.16/3334.38	c #Conflicts:    1497000 | #Constraints:      76661
3321.16/3334.38	c #Conflicts:    1498000 | #Constraints:      77689
3321.16/3334.38	c #Conflicts:    1499000 | #Constraints:      78729
3321.16/3334.38	c #Conflicts:    1500000 | #Constraints:      79760
3321.16/3334.38	c #Conflicts:    1501000 | #Constraints:      80779
3321.16/3334.38	c #Conflicts:    1502000 | #Constraints:      81806
3321.16/3334.38	c #Conflicts:    1503000 | #Constraints:      82831
3321.16/3334.38	c #Conflicts:    1504000 | #Constraints:      83854
3321.16/3334.38	c #Conflicts:    1505000 | #Constraints:      84882
3321.16/3334.38	c #Conflicts:    1506000 | #Constraints:      85896
3321.16/3334.38	c #Conflicts:    1507000 | #Constraints:      86913
3321.16/3334.38	c #Conflicts:    1508000 | #Constraints:      87935
3321.16/3334.38	c #Conflicts:    1509000 | #Constraints:      88953
3321.16/3334.38	c #Conflicts:    1510000 | #Constraints:      89973
3321.16/3334.38	c #Conflicts:    1511000 | #Constraints:      90994
3321.16/3334.38	c #Conflicts:    1512000 | #Constraints:      92017
3321.16/3334.38	c #Conflicts:    1513000 | #Constraints:      93045
3321.16/3334.38	c #Conflicts:    1514000 | #Constraints:      94064
3321.16/3334.38	c #Conflicts:    1515000 | #Constraints:      95088
3321.16/3334.38	c #Conflicts:    1516000 | #Constraints:      96106
3321.16/3334.38	c #Conflicts:    1517000 | #Constraints:      97127
3321.16/3334.38	c #Conflicts:    1518000 | #Constraints:      98147
3321.16/3334.38	c #Conflicts:    1519000 | #Constraints:      99168
3321.16/3334.38	c #Conflicts:    1520000 | #Constraints:     100185
3321.16/3334.38	c #Conflicts:    1521000 | #Constraints:     101214
3321.16/3334.38	c #Conflicts:    1522000 | #Constraints:     102242
3321.16/3334.38	c #Conflicts:    1523000 | #Constraints:     103267
3321.16/3334.38	c #Conflicts:    1524000 | #Constraints:     104292
3321.16/3334.38	c #Conflicts:    1525000 | #Constraints:     105315
3321.16/3334.38	c #Conflicts:    1526000 | #Constraints:     106330
3321.16/3334.38	c #Conflicts:    1527000 | #Constraints:     107345
3321.16/3334.38	c #Conflicts:    1528000 | #Constraints:     108364
3321.16/3334.38	c #Conflicts:    1529000 | #Constraints:     109381
3321.16/3334.38	c #Conflicts:    1530000 | #Constraints:     110396
3321.16/3334.38	c #Conflicts:    1531000 | #Constraints:     111418
3321.16/3334.38	c #Conflicts:    1532000 | #Constraints:     112444
3321.16/3334.38	c #Conflicts:    1533000 | #Constraints:     113459
3321.16/3334.38	c #Conflicts:    1534000 | #Constraints:     114477
3321.16/3334.38	c #Conflicts:    1535000 | #Constraints:     115495
3321.16/3334.38	c #Conflicts:    1536000 | #Constraints:     116517
3321.16/3334.38	c #Conflicts:    1537000 | #Constraints:     117535
3321.16/3334.38	c #Conflicts:    1538000 | #Constraints:     118554
3321.16/3334.38	c #Conflicts:    1539000 | #Constraints:     119573
3358.83/3372.19	c #Conflicts:    1540000 | #Constraints:     120598
3358.83/3372.19	c #Conflicts:    1541000 | #Constraints:     121620
3358.83/3372.19	c #Conflicts:    1542000 | #Constraints:     122644
3358.83/3372.19	c #Conflicts:    1543000 | #Constraints:     123662
3358.83/3372.19	c #Conflicts:    1544000 | #Constraints:     124688
3358.83/3372.19	c #Conflicts:    1545000 | #Constraints:     125710
3358.83/3372.19	c #Conflicts:    1546000 | #Constraints:     126738
3358.83/3372.19	c #Conflicts:    1547000 | #Constraints:     127761
3358.83/3372.19	c #Conflicts:    1548000 | #Constraints:     128783
3358.83/3372.19	c #Conflicts:    1549000 | #Constraints:     129805
3358.83/3372.19	c #Conflicts:    1550000 | #Constraints:     130827
3358.83/3372.19	c #Conflicts:    1551000 | #Constraints:     131850
3358.83/3372.19	c #Conflicts:    1552000 | #Constraints:     132875
3358.83/3372.19	c #Conflicts:    1553000 | #Constraints:     133904
3358.83/3372.19	c #Conflicts:    1554000 | #Constraints:     134938
3358.83/3372.19	c INPROCESSING
3358.83/3372.19	c GARBAGE COLLECT
3358.83/3372.19	c rational objective 52
3401.25/3414.70	c #Conflicts:    1555000 | #Constraints:      68887
3401.25/3414.70	c #Conflicts:    1556000 | #Constraints:      69911
3401.25/3414.70	c #Conflicts:    1557000 | #Constraints:      70938
3401.25/3414.70	c #Conflicts:    1558000 | #Constraints:      71962
3401.25/3414.70	c #Conflicts:    1559000 | #Constraints:      72984
3401.25/3414.70	c #Conflicts:    1560000 | #Constraints:      74005
3401.25/3414.70	c #Conflicts:    1561000 | #Constraints:      75016
3401.25/3414.70	c #Conflicts:    1562000 | #Constraints:      76043
3401.25/3414.70	c #Conflicts:    1563000 | #Constraints:      77067
3401.25/3414.70	c #Conflicts:    1564000 | #Constraints:      78089
3401.25/3414.70	c #Conflicts:    1565000 | #Constraints:      79113
3401.25/3414.70	c #Conflicts:    1566000 | #Constraints:      80139
3401.25/3414.70	c #Conflicts:    1567000 | #Constraints:      81164
3401.25/3414.70	c #Conflicts:    1568000 | #Constraints:      82190
3401.25/3414.70	c #Conflicts:    1569000 | #Constraints:      83219
3401.25/3414.70	c #Conflicts:    1570000 | #Constraints:      84246
3401.25/3414.70	c #Conflicts:    1571000 | #Constraints:      85281
3401.25/3414.70	c #Conflicts:    1572000 | #Constraints:      86309
3401.25/3414.70	c #Conflicts:    1573000 | #Constraints:      87335
3401.25/3414.70	c #Conflicts:    1574000 | #Constraints:      88360
3401.25/3414.70	c #Conflicts:    1575000 | #Constraints:      89393
3401.25/3414.70	c #Conflicts:    1576000 | #Constraints:      90417
3401.25/3414.70	c #Conflicts:    1577000 | #Constraints:      91442
3401.25/3414.70	c #Conflicts:    1578000 | #Constraints:      92468
3401.25/3414.70	c #Conflicts:    1579000 | #Constraints:      93496
3401.25/3414.70	c #Conflicts:    1580000 | #Constraints:      94520
3401.25/3414.70	c #Conflicts:    1581000 | #Constraints:      95547
3401.25/3414.70	c #Conflicts:    1582000 | #Constraints:      96573
3401.25/3414.70	c INPROCESSING
3401.25/3414.70	c GARBAGE COLLECT
3401.25/3414.70	c rational objective 52
3436.20/3449.84	c #Conflicts:    1583000 | #Constraints:      49433
3436.20/3449.84	c #Conflicts:    1584000 | #Constraints:      50460
3436.20/3449.84	c #Conflicts:    1585000 | #Constraints:      51488
3436.20/3449.84	c #Conflicts:    1586000 | #Constraints:      52507
3436.20/3449.84	c #Conflicts:    1587000 | #Constraints:      53532
3436.20/3449.84	c #Conflicts:    1588000 | #Constraints:      54560
3436.20/3449.84	c #Conflicts:    1589000 | #Constraints:      55581
3436.20/3449.84	c #Conflicts:    1590000 | #Constraints:      56608
3436.20/3449.84	c #Conflicts:    1591000 | #Constraints:      57628
3436.20/3449.84	c #Conflicts:    1592000 | #Constraints:      58646
3436.20/3449.84	c #Conflicts:    1593000 | #Constraints:      59663
3436.20/3449.84	c #Conflicts:    1594000 | #Constraints:      60684
3436.20/3449.84	c #Conflicts:    1595000 | #Constraints:      61704
3436.20/3449.84	c #Conflicts:    1596000 | #Constraints:      62727
3436.20/3449.84	c #Conflicts:    1597000 | #Constraints:      63749
3436.20/3449.84	c #Conflicts:    1598000 | #Constraints:      64770
3436.20/3449.84	c #Conflicts:    1599000 | #Constraints:      65793
3436.20/3449.84	c #Conflicts:    1600000 | #Constraints:      66811
3436.20/3449.84	c #Conflicts:    1601000 | #Constraints:      67839
3436.20/3449.84	c #Conflicts:    1602000 | #Constraints:      68862
3436.20/3449.84	c #Conflicts:    1603000 | #Constraints:      69885
3436.20/3449.84	c #Conflicts:    1604000 | #Constraints:      70902
3436.20/3449.84	c #Conflicts:    1605000 | #Constraints:      71927
3436.20/3449.84	c #Conflicts:    1606000 | #Constraints:      72947
3436.20/3449.84	c #Conflicts:    1607000 | #Constraints:      73969
3436.20/3449.84	c #Conflicts:    1608000 | #Constraints:      74985
3436.20/3449.84	c #Conflicts:    1609000 | #Constraints:      76009
3436.20/3449.84	c #Conflicts:    1610000 | #Constraints:      77032
3436.20/3449.84	c #Conflicts:    1611000 | #Constraints:      78050
3436.20/3449.84	c INPROCESSING
3436.20/3449.84	c GARBAGE COLLECT
3436.20/3449.84	c rational objective 52
3460.60/3474.34	c #Conflicts:    1612000 | #Constraints:      40339
3460.60/3474.34	c #Conflicts:    1613000 | #Constraints:      41365
3460.60/3474.34	c #Conflicts:    1614000 | #Constraints:      42393
3460.60/3474.34	c #Conflicts:    1615000 | #Constraints:      43420
3460.60/3474.34	c #Conflicts:    1616000 | #Constraints:      44440
3460.60/3474.34	c #Conflicts:    1617000 | #Constraints:      45467
3460.60/3474.34	c #Conflicts:    1618000 | #Constraints:      46487
3460.60/3474.34	c #Conflicts:    1619000 | #Constraints:      47519
3460.60/3474.34	c #Conflicts:    1620000 | #Constraints:      48540
3460.60/3474.34	c #Conflicts:    1621000 | #Constraints:      49565
3460.60/3474.34	c #Conflicts:    1622000 | #Constraints:      50595
3460.60/3474.34	c #Conflicts:    1623000 | #Constraints:      51620
3460.60/3474.34	c #Conflicts:    1624000 | #Constraints:      52647
3460.60/3474.34	c #Conflicts:    1625000 | #Constraints:      53673
3460.60/3474.34	c #Conflicts:    1626000 | #Constraints:      54698
3460.60/3474.34	c #Conflicts:    1627000 | #Constraints:      55722
3460.60/3474.34	c #Conflicts:    1628000 | #Constraints:      56743
3460.60/3474.34	c #Conflicts:    1629000 | #Constraints:      57759
3460.60/3474.34	c #Conflicts:    1630000 | #Constraints:      58781
3460.60/3474.34	c #Conflicts:    1631000 | #Constraints:      59807
3460.60/3474.34	c #Conflicts:    1632000 | #Constraints:      60826
3460.60/3474.34	c #Conflicts:    1633000 | #Constraints:      61845
3460.60/3474.34	c #Conflicts:    1634000 | #Constraints:      62870
3460.60/3474.34	c #Conflicts:    1635000 | #Constraints:      63889
3460.60/3474.34	c #Conflicts:    1636000 | #Constraints:      64913
3460.60/3474.34	c #Conflicts:    1637000 | #Constraints:      65939
3460.60/3474.34	c #Conflicts:    1638000 | #Constraints:      66959
3460.60/3474.34	c #Conflicts:    1639000 | #Constraints:      67978
3460.60/3474.34	c #Conflicts:    1640000 | #Constraints:      69003
3460.60/3474.34	c INPROCESSING
3460.60/3474.34	c GARBAGE COLLECT
3460.60/3474.34	c rational objective 52
3586.20/3600.41	c #Conflicts:    1641000 | #Constraints:      39546
3586.20/3600.41	c #Conflicts:    1642000 | #Constraints:      40577
3586.20/3600.41	c #Conflicts:    1643000 | #Constraints:      41614
3586.20/3600.41	c #Conflicts:    1644000 | #Constraints:      42644
3586.20/3600.41	c #Conflicts:    1645000 | #Constraints:      43674
3586.20/3600.41	c #Conflicts:    1646000 | #Constraints:      44711
3586.20/3600.41	c #Conflicts:    1647000 | #Constraints:      45737
3586.20/3600.41	c #Conflicts:    1648000 | #Constraints:      46765
3586.20/3600.41	c #Conflicts:    1649000 | #Constraints:      47789
3586.20/3600.41	c #Conflicts:    1650000 | #Constraints:      48814
3586.20/3600.41	c #Conflicts:    1651000 | #Constraints:      49843
3586.20/3600.41	c #Conflicts:    1652000 | #Constraints:      50865
3586.20/3600.41	c #Conflicts:    1653000 | #Constraints:      51882
3586.20/3600.41	c #Conflicts:    1654000 | #Constraints:      52907
3586.20/3600.41	c #Conflicts:    1655000 | #Constraints:      53932
3586.20/3600.41	c #Conflicts:    1656000 | #Constraints:      54957
3586.20/3600.41	c #Conflicts:    1657000 | #Constraints:      55982
3586.20/3600.41	c #Conflicts:    1658000 | #Constraints:      57009
3586.20/3600.41	c #Conflicts:    1659000 | #Constraints:      58032
3586.20/3600.41	c #Conflicts:    1660000 | #Constraints:      59057
3586.20/3600.41	c #Conflicts:    1661000 | #Constraints:      60073
3586.20/3600.41	c #Conflicts:    1662000 | #Constraints:      61097
3586.20/3600.41	c #Conflicts:    1663000 | #Constraints:      62115
3586.20/3600.41	c #Conflicts:    1664000 | #Constraints:      63138
3586.20/3600.41	c #Conflicts:    1665000 | #Constraints:      64160
3586.20/3600.41	c #Conflicts:    1666000 | #Constraints:      65189
3586.20/3600.41	c #Conflicts:    1667000 | #Constraints:      66216
3586.20/3600.41	c #Conflicts:    1668000 | #Constraints:      67240
3586.20/3600.41	c #Conflicts:    1669000 | #Constraints:      68254
3586.20/3600.41	c #Conflicts:    1670000 | #Constraints:      69284
3586.20/3600.41	c #Conflicts:    1671000 | #Constraints:      70305
3586.20/3600.41	c #Conflicts:    1672000 | #Constraints:      71323
3586.20/3600.41	c #Conflicts:    1673000 | #Constraints:      72350
3586.20/3600.41	c #Conflicts:    1674000 | #Constraints:      73377
3586.20/3600.41	c #Conflicts:    1675000 | #Constraints:      74402
3586.20/3600.41	c #Conflicts:    1676000 | #Constraints:      75426
3586.20/3600.41	c #Conflicts:    1677000 | #Constraints:      76447
3586.20/3600.41	c #Conflicts:    1678000 | #Constraints:      77476
3586.20/3600.41	c #Conflicts:    1679000 | #Constraints:      78503
3586.20/3600.41	c #Conflicts:    1680000 | #Constraints:      79527
3586.20/3600.41	c #Conflicts:    1681000 | #Constraints:      80556
3586.20/3600.41	c #Conflicts:    1682000 | #Constraints:      81582
3586.20/3600.41	c #Conflicts:    1683000 | #Constraints:      82605
3586.20/3600.41	c #Conflicts:    1684000 | #Constraints:      83632
3586.20/3600.41	c #Conflicts:    1685000 | #Constraints:      84650
3586.20/3600.41	c #Conflicts:    1686000 | #Constraints:      85666
3586.20/3600.41	c #Conflicts:    1687000 | #Constraints:      86683
3586.20/3600.41	c #Conflicts:    1688000 | #Constraints:      87706
3586.20/3600.41	c #Conflicts:    1689000 | #Constraints:      88721
3586.20/3600.41	c #Conflicts:    1690000 | #Constraints:      89737
3586.20/3600.41	c #Conflicts:    1691000 | #Constraints:      90760
3586.20/3600.41	c #Conflicts:    1692000 | #Constraints:      91782
3586.20/3600.41	c #Conflicts:    1693000 | #Constraints:      92803
3586.20/3600.41	c #Conflicts:    1694000 | #Constraints:      93817
3586.20/3600.41	c #Conflicts:    1695000 | #Constraints:      94828
3586.20/3600.41	c #Conflicts:    1696000 | #Constraints:      95846
3586.20/3600.41	c #Conflicts:    1697000 | #Constraints:      96867
3586.20/3600.41	c #Conflicts:    1698000 | #Constraints:      97887
3586.20/3600.41	c #Conflicts:    1699000 | #Constraints:      98909
3586.20/3600.41	c #Conflicts:    1700000 | #Constraints:      99931
3586.20/3600.41	c #Conflicts:    1701000 | #Constraints:     100955
3586.20/3600.41	c #Conflicts:    1702000 | #Constraints:     101979
3586.20/3600.41	c #Conflicts:    1703000 | #Constraints:     102999
3586.20/3600.41	c #Conflicts:    1704000 | #Constraints:     104018
3586.20/3600.41	c #Conflicts:    1705000 | #Constraints:     105035
3586.20/3600.41	c #Conflicts:    1706000 | #Constraints:     106053
3586.20/3600.41	c #Conflicts:    1707000 | #Constraints:     107074
3586.20/3600.41	c #Conflicts:    1708000 | #Constraints:     108090
3586.20/3600.41	c #Conflicts:    1709000 | #Constraints:     109105
3586.20/3600.41	c #Conflicts:    1710000 | #Constraints:     110127
3586.20/3600.41	c #Conflicts:    1711000 | #Constraints:     111151
3586.20/3600.41	c #Conflicts:    1712000 | #Constraints:     112168
3586.20/3600.41	c #Conflicts:    1713000 | #Constraints:     113183
3586.20/3600.41	c #Conflicts:    1714000 | #Constraints:     114198
3586.20/3600.41	c #Conflicts:    1715000 | #Constraints:     115219
3586.20/3600.41	c #Conflicts:    1716000 | #Constraints:     116235
3586.20/3600.41	c #Conflicts:    1717000 | #Constraints:     117254
3586.20/3600.41	c #Conflicts:    1718000 | #Constraints:     118280
3586.20/3600.41	c #Conflicts:    1719000 | #Constraints:     119300
3600.05/3614.34	c #Conflicts:    1720000 | #Constraints:     120324
3600.05/3614.34	c #Conflicts:    1721000 | #Constraints:     121354
3600.05/3614.34	c #Conflicts:    1722000 | #Constraints:     122381
3600.05/3614.34	c #Conflicts:    1723000 | #Constraints:     123408
3600.05/3614.34	c #Conflicts:    1724000 | #Constraints:     124437
3600.05/3614.34	c #Conflicts:    1725000 | #Constraints:     125468
3600.05/3614.34	c Program interrupted by user.
3600.06/3614.59	c cpu time 3570.32 s
3600.06/3614.59	c deterministic time 301667827760 3.02e+11
3600.06/3614.59	c optimization time 138.163 s
3600.06/3614.59	c total solve time 3432.15 s
3600.06/3614.59	c core-guided solve time 1967.14 s
3600.06/3614.59	c propagation time 3133.75 s
3600.06/3614.59	c conflict analysis time 399.404 s
3600.06/3614.59	c propagations 116352083
3600.06/3614.59	c resolve steps 11917084
3600.06/3614.59	c decisions 7278929
3600.06/3614.59	c conflicts 1725570
3600.06/3614.59	c restarts 3323
3600.06/3614.59	c inprocessing phases 77
3600.06/3614.59	c input clauses 364
3600.06/3614.59	c input cardinalities 125
3600.06/3614.59	c input general constraints 259
3600.06/3614.59	c input average constraint length 27.47
3600.06/3614.59	c input average constraint degree 8.79
3600.06/3614.59	c learned clauses 718377
3600.06/3614.59	c learned cardinalities 5643
3600.06/3614.59	c learned general constraints 1040546
3600.06/3614.59	c learned average constraint length 66.35
3600.06/3614.59	c learned average constraint degree 1132573371.24
3600.06/3614.59	c watched constraints 905653
3600.06/3614.59	c counting constraints 135152
3600.06/3614.59	c gcd simplifications 298239
3600.06/3614.59	c detected cardinalities 408
3600.06/3614.59	c weakened non-implied lits 38982860
3600.06/3614.59	c weakened non-implying lits 435236
3600.06/3614.59	c original variables 225
3600.06/3614.59	c clausal propagations 10656069
3600.06/3614.59	c cardinality propagations 4244756
3600.06/3614.59	c watched propagations 15156879
3600.06/3614.59	c counting propagations 84671715
3600.06/3614.59	c watch lookups 70358381667
3600.06/3614.59	c watch backjump lookups 57860222328
3600.06/3614.59	c watch checks 157523835251
3600.06/3614.59	c propagation checks 15039293612
3600.06/3614.59	c constraint additions 635410090
3600.06/3614.59	c trail pops 125317353
3600.06/3614.59	c formula constraints 225
3600.06/3614.59	c learned constraints 1686572
3600.06/3614.59	c bound constraints 74
3600.06/3614.59	c core-guided constraints 449
3600.06/3614.59	c encountered formula constraints 1963745
3600.06/3614.59	c encountered learned constraints 5694348
3600.06/3614.59	c encountered bound constraints 318
3600.06/3614.59	c encountered core-guided constraints 1064284
3600.06/3614.59	c LP total time 48.8802 s
3600.06/3614.59	c LP solve time 41.26 s
3600.06/3614.59	c LP constraints added 225
3600.06/3614.59	c LP constraints removed 0
3600.06/3614.59	c LP pivots internal 1725585
3600.06/3614.59	c LP pivots root 10861
3600.06/3614.59	c LP calls 45498
3600.06/3614.59	c LP optimalities 6500
3600.06/3614.59	c LP no pivot count 2527
3600.06/3614.59	c LP infeasibilities 38997
3600.06/3614.59	c LP valid Farkas constraints 38997
3600.06/3614.59	c LP learned Farkas constraints 38997
3600.06/3614.59	c LP basis resets 0
3600.06/3614.59	c LP cycling count 0
3600.06/3614.59	c LP singular count 0
3600.06/3614.59	c LP no primal count 0
3600.06/3614.59	c LP no farkas count 0
3600.06/3614.59	c LP other issue count 0
3600.06/3614.59	c LP Gomory cuts 0
3600.06/3614.59	c LP learned cuts 0
3600.06/3614.59	c LP deleted cuts 0
3600.06/3614.59	c LP encountered Gomory constraints 0
3600.06/3614.60	c LP encountered Farkas constraints 4124265
3600.06/3614.60	c LP encountered learned Farkas constraints 756697
3600.06/3614.60	c CG auxiliary variables introduced 167
3600.06/3614.60	c CG solutions found 22
3600.06/3614.60	c CG cores constructed 52
3600.06/3614.60	c CG core cardinality constraints returned 0
3600.06/3614.60	c CG unit cores 0
3600.06/3614.60	c CG single cores 52
3600.06/3614.60	c CG blocks removed during cardinality reduction 0
3600.06/3614.60	c CG first core best 0
3600.06/3614.60	c CG decision core best 0
3600.06/3614.60	c CG core reduction tie 0
3600.06/3614.60	c CG core degree average 1.00
3600.06/3614.60	c CG core slack average 5.54
3600.06/3614.60	s SATISFIABLE
3600.06/3614.60	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

OK	54

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: 64059 MiB (50703 MiB free)
  memory of node 1: 64510 MiB (54733 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456728-1721769210/watcher-4456728-1721769210 -o /tmp/evaluation-result-4456728-1721769210/solver-4456728-1721769210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124352 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456728-1721769210 --lp-cut-gomory=0 HOME/instance-4456728-1721769210.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=127002, runsolver pid=126999

[startup+0.10009 s]*
/proc/loadavg: 4.41 4.35 4.19 3/249 127003
/proc/meminfo: memFree=107966276/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=37376 memory=2532 CPUtime=0 cores=0,2
/proc/127002/stat : 127002 (roundingsat) D 126999 127002 124342 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 12910592 38273024 633 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB

[startup+0.212282 s]*
/proc/loadavg: 4.41 4.35 4.19 3/249 127003
/proc/meminfo: memFree=107965492/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=37376 memory=2532 CPUtime=0 cores=0,2
/proc/127002/stat : 127002 (roundingsat) D 126999 127002 124342 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 12910592 38273024 633 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB

[startup+0.312689 s]*
/proc/loadavg: 4.41 4.35 4.19 2/249 127003
/proc/meminfo: memFree=107965112/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=37376 memory=2532 CPUtime=0 cores=0,2
/proc/127002/stat : 127002 (roundingsat) D 126999 127002 124342 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 12910592 38273024 633 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB

[startup+0.700256 s]
/proc/loadavg: 4.41 4.35 4.19 4/244 127011
/proc/meminfo: memFree=107965288/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=37376 memory=2532 CPUtime=0 cores=0,2
/proc/127002/stat : 127002 (roundingsat) D 126999 127002 124342 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 12910592 38273024 633 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB

[startup+1.50035 s]
/proc/loadavg: 4.41 4.35 4.19 6/246 127063
/proc/meminfo: memFree=107955784/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=40336 memory=11744 CPUtime=0.75 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 1264 0 0 0 65 10 0 0 20 0 1 0 12910592 41304064 2936 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 10084 2936 1882 992 0 1942 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 40336 KiB
Current children cumulated memory: 11744 KiB

[startup+3.11386 s]
/proc/loadavg: 4.41 4.35 4.19 5/249 127097
/proc/meminfo: memFree=107785192/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=41804 memory=15852 CPUtime=2.36 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 1763 0 0 0 215 21 0 0 20 0 1 0 12910592 42807296 3963 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 10451 3963 1882 992 0 2309 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 41804 KiB
Current children cumulated memory: 15852 KiB
heavy processes:

[startup+6.30028 s]
/proc/loadavg: 4.38 4.34 4.19 5/249 127097
/proc/meminfo: memFree=107298860/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=43668 memory=17412 CPUtime=5.54 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 2181 0 0 0 512 42 0 0 20 0 1 0 12910592 44716032 4353 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 10917 4353 1882 992 0 2775 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 17412 KiB

[startup+12.7003 s]
/proc/loadavg: 4.35 4.33 4.19 5/249 127098
/proc/meminfo: memFree=106384340/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=46528 memory=20264 CPUtime=11.91 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 2864 0 0 0 1121 70 0 0 20 0 1 0 12910592 47644672 5066 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 11632 5066 1882 992 0 3490 0
Current children cumulated CPU time: 11.91 s
Current children cumulated vsize: 46528 KiB
Current children cumulated memory: 20264 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.32 4.18 5/249 127100
/proc/meminfo: memFree=104418172/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=59780 memory=31560 CPUtime=24.67 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 4825 0 0 0 2352 115 0 0 20 0 1 0 12910592 61214720 7890 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 14945 7890 1882 992 0 6803 0
Current children cumulated CPU time: 24.67 s
Current children cumulated vsize: 59780 KiB
Current children cumulated memory: 31560 KiB

[startup+51.113 s]
/proc/loadavg: 4.49 4.37 4.20 5/251 127151
/proc/meminfo: memFree=101019124/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=73092 memory=42972 CPUtime=50.19 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 6834 0 0 0 4846 173 0 0 20 0 1 0 12910592 74846208 10743 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 18273 10743 1882 992 0 10131 0
Current children cumulated CPU time: 50.19 s
Current children cumulated vsize: 73092 KiB
Current children cumulated memory: 42972 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.33 4.19 6/252 127163
/proc/meminfo: memFree=93576708/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=94856 memory=56724 CPUtime=101.18 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 9598 0 0 0 9851 267 0 0 20 0 1 0 12910592 97132544 14181 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 23714 14181 1882 992 0 15572 0
Current children cumulated CPU time: 101.18 s
Current children cumulated vsize: 94856 KiB
Current children cumulated memory: 56724 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.34 4.20 5/250 127173
/proc/meminfo: memFree=84702276/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=99660 memory=60452 CPUtime=160.96 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 10623 0 0 0 15701 395 0 0 20 0 1 0 12910592 102051840 15113 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 24915 15113 1882 992 0 16773 0
Current children cumulated CPU time: 160.96 s
Current children cumulated vsize: 99660 KiB
Current children cumulated memory: 60452 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.34 4.21 5/252 127186
/proc/meminfo: memFree=76234368/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=101764 memory=72748 CPUtime=220.72 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 11626 0 0 0 21589 483 0 0 20 0 1 0 12910592 104206336 18187 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 25441 18187 1882 992 0 17299 0
Current children cumulated CPU time: 220.72 s
Current children cumulated vsize: 101764 KiB
Current children cumulated memory: 72748 KiB

[startup+282.3 s]
/proc/loadavg: 4.26 4.32 4.21 6/254 127201
/proc/meminfo: memFree=67646360/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=109504 memory=80316 CPUtime=280.52 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 13350 0 0 0 27485 567 0 0 20 0 1 0 12910592 112132096 20079 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 27376 20079 1882 992 0 19234 0
Current children cumulated CPU time: 280.52 s
Current children cumulated vsize: 109504 KiB
Current children cumulated memory: 80316 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.29 4.20 5/255 127214
/proc/meminfo: memFree=60545448/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=111600 memory=81444 CPUtime=340.33 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 13921 0 0 0 33376 657 0 0 20 0 1 0 12910592 114278400 20361 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 27900 20361 1882 992 0 19758 0
Current children cumulated CPU time: 340.33 s
Current children cumulated vsize: 111600 KiB
Current children cumulated memory: 81444 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 4.32 4.22 5/260 127230
/proc/meminfo: memFree=53822540/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=136304 memory=94092 CPUtime=400.11 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 15429 0 0 0 39283 728 0 0 20 0 1 0 12910592 139575296 23523 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 34076 23523 1882 992 0 25934 0
Current children cumulated CPU time: 400.11 s
Current children cumulated vsize: 136304 KiB
Current children cumulated memory: 94092 KiB

[startup+462.3 s]
/proc/loadavg: 5.13 4.54 4.30 5/263 127245
/proc/meminfo: memFree=47476536/131655788 swapFree=131071996/131071996
[pid=127002] ppid=126999 vsize=138792 memory=95528 CPUtime=459.9 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 16243 0 0 0 45179 811 0 0 20 0 1 0 12910592 142123008 23882 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0

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

Current children cumulated memory: 179580 KiB

[startup+2982.3 s]
/proc/loadavg: 4.47 4.23 4.20 5/267 129009
/proc/meminfo: memFree=615108/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=227136 memory=179580 CPUtime=2970.54 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 42796 0 0 0 294646 2408 0 0 20 0 1 0 12910592 232587264 44895 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 56784 44895 1882 992 0 48642 0
Current children cumulated CPU time: 2970.54 s
Current children cumulated vsize: 227136 KiB
Current children cumulated memory: 179580 KiB

[startup+3042.3 s]
/proc/loadavg: 4.49 4.27 4.21 5/265 129022
/proc/meminfo: memFree=487320/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=227004 memory=179476 CPUtime=3030.3 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 42878 0 0 0 300571 2459 0 0 20 0 1 0 12910592 232452096 44869 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 56751 44869 1882 992 0 48609 0
Current children cumulated CPU time: 3030.3 s
Current children cumulated vsize: 227004 KiB
Current children cumulated memory: 179476 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.25 4.21 5/275 129042
/proc/meminfo: memFree=599712/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=228760 memory=182440 CPUtime=3090.07 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 43480 0 0 0 306514 2493 0 0 20 0 1 0 12910592 234250240 45610 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 57190 45610 1882 992 0 49048 0
Current children cumulated CPU time: 3090.07 s
Current children cumulated vsize: 228760 KiB
Current children cumulated memory: 182440 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.22 4.20 6/277 129056
/proc/meminfo: memFree=641976/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=231544 memory=186368 CPUtime=3149.84 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 44558 0 0 0 312444 2540 0 0 20 0 1 0 12910592 237101056 46592 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 57886 46592 1882 992 0 49744 0
Current children cumulated CPU time: 3149.84 s
Current children cumulated vsize: 231544 KiB
Current children cumulated memory: 186368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.22 4.20 5/277 129067
/proc/meminfo: memFree=606100/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=231396 memory=186368 CPUtime=3209.6 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 44929 0 0 0 318353 2607 0 0 20 0 1 0 12910592 236949504 46592 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 57849 46592 1882 992 0 49707 0
Current children cumulated CPU time: 3209.6 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 186368 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/280 129092
/proc/meminfo: memFree=732012/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=231396 memory=186368 CPUtime=3269.37 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 45000 0 0 0 324271 2666 0 0 20 0 1 0 12910592 236949504 46592 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 57849 46592 1882 992 0 49707 0
Current children cumulated CPU time: 3269.37 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 186368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/280 129326
/proc/meminfo: memFree=671908/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=231284 memory=186156 CPUtime=3329.13 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 45092 0 0 0 330205 2708 0 0 20 0 1 0 12910592 236834816 46539 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 57821 46539 1882 992 0 49679 0
Current children cumulated CPU time: 3329.13 s
Current children cumulated vsize: 231284 KiB
Current children cumulated memory: 186156 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/267 129383
/proc/meminfo: memFree=13932692/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234908 memory=188408 CPUtime=3388.89 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 46065 0 0 0 336135 2754 0 0 20 0 1 0 12910592 240545792 47102 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58727 47102 1882 992 0 50585 0
Current children cumulated CPU time: 3388.89 s
Current children cumulated vsize: 234908 KiB
Current children cumulated memory: 188408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/266 129681
/proc/meminfo: memFree=12993732/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234524 memory=187688 CPUtime=3448.66 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 46525 0 0 0 342032 2834 0 0 20 0 1 0 12910592 240152576 46922 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58631 46922 1882 992 0 50489 0
Current children cumulated CPU time: 3448.66 s
Current children cumulated vsize: 234524 KiB
Current children cumulated memory: 187688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/258 129694
/proc/meminfo: memFree=11224824/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234524 memory=187904 CPUtime=3508.41 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 46622 0 0 0 347936 2905 0 0 20 0 1 0 12910592 240152576 46976 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58631 46976 1882 992 0 50489 0
Current children cumulated CPU time: 3508.41 s
Current children cumulated vsize: 234524 KiB
Current children cumulated memory: 187904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.22 4.19 5/266 129715
/proc/meminfo: memFree=10099348/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234524 memory=187904 CPUtime=3568.17 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 46699 0 0 0 353867 2950 0 0 20 0 1 0 12910592 240152576 46976 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58631 46976 1882 992 0 50489 0
Current children cumulated CPU time: 3568.17 s
Current children cumulated vsize: 234524 KiB
Current children cumulated memory: 187904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.3 s]
/proc/loadavg: 4.35 4.24 4.20 5/266 129723
/proc/meminfo: memFree=9425252/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234524 memory=187904 CPUtime=3600.05 cores=0,2
/proc/127002/stat : 127002 (roundingsat) R 126999 127002 124342 0 -1 4194304 46788 0 0 0 357031 2974 0 0 20 0 1 0 12910592 240152576 46976 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58631 46976 1882 992 0 50489 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 234524 KiB
Current children cumulated memory: 187904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.32 s, system=29.746 s

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

[startup+3614.4 s]
/proc/loadavg: 4.35 4.24 4.20 5/266 129723
/proc/meminfo: memFree=9425252/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234524 memory=187904 CPUtime=3600.06 cores=0,2
/proc/127002/stat : 127002 (roundingsat) D 126999 127002 124342 0 -1 4194304 46794 0 1 0 357032 2974 0 0 20 0 1 0 12910592 240152576 46976 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 5 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58631 46976 1882 992 0 50489 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 234524 KiB
Current children cumulated memory: 187904 KiB

[startup+3614.5 s]
/proc/loadavg: 4.35 4.24 4.20 5/266 129723
/proc/meminfo: memFree=9425252/131655788 swapFree=131071472/131071996
[pid=127002] ppid=126999 vsize=234524 memory=187904 CPUtime=3600.06 cores=0,2
/proc/127002/stat : 127002 (roundingsat) D 126999 127002 124342 0 -1 4194304 46794 0 1 0 357032 2974 0 0 20 0 1 0 12910592 240152576 46976 134679101440 4194304 8254037 140723128095824 0 0 0 0 0 25182210 0 0 0 17 0 0 0 5 0 0 9037040 9046032 40329216 140723128099676 140723128099938 140723128099938 140723128106953 0
/proc/127002/statm: 58631 46976 1882 992 0 50489 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 234524 KiB
Current children cumulated memory: 187904 KiB

Child status: 0

Real time (s): 3614.6
CPU time (s): 3600.07
CPU user time (s): 3570.32
CPU system time (s): 29.746
CPU usage (%): 99.598
Max. virtual memory (cumulated for all children) (KiB): 234908
Max. memory (cumulated for all children) (KiB): 188408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.32
system time used= 29.746
maximum resident set size= 188932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46802
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 10997288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 834
involuntary context switches= 25029


# summary of solver processes directly reported to runsolver:
#   pid: 127002
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3570.32
#   total CPU system time (s): 29.746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5951 second user time and 40.8426 second system time

The end

Begin job on nodeC010 at 2024-07-23 23:13:30
IDJOB=4456728
IDBENCH=147228
IDSOLVER=3085
FILE ID=nodeC010/4456728-1721769210
RUNJOBID= nodeC010-1721765593-124352
SLURM_JOB_ID= 7770665
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456728-1721769210/watcher-4456728-1721769210 -o /tmp/evaluation-result-4456728-1721769210/solver-4456728-1721769210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124352 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456728-1721769210 --lp-cut-gomory=0 HOME/instance-4456728-1721769210.opb

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

MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=1251203777

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 1197.190
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.382
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.446
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.229
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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	: 0xb00001f
cpu MHz		: 3686.243
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.192
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.583
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        107968016 kB
MemAvailable:   129434604 kB
Buffers:          191228 kB
Cached:         22041972 kB
SwapCached:            0 kB
Active:          1240884 kB
Inactive:       21781184 kB
Active(anon):       1480 kB
Inactive(anon):   832972 kB
Active(file):    1239404 kB
Inactive(file): 20948212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             38492 kB
Writeback:             0 kB
AnonPages:        788096 kB
Mapped:           111748 kB
Shmem:             45896 kB
KReclaimable:     238008 kB
Slab:             348700 kB
SReclaimable:     238008 kB
SUnreclaim:       110692 kB
KernelStack:        3968 kB
PageTables:        10912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1159080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      351048 kB
DirectMap2M:    45690880 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC010 at 2024-07-24 00:13:45