0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 86 #constraints 2
0.00/0.01 c rational objective 1.25844
0.08/0.19 c #Conflicts: 1000 | #Constraints: 1052
0.08/0.19 c #Conflicts: 2000 | #Constraints: 2154
0.08/0.19 c INPROCESSING
0.08/0.19 c GARBAGE COLLECT
0.08/0.19 c rational objective 2
0.39/0.49 c #Conflicts: 3000 | #Constraints: 2189
0.39/0.49 c #Conflicts: 4000 | #Constraints: 3293
0.39/0.49 c INPROCESSING
0.39/0.49 c GARBAGE COLLECT
0.39/0.49 c rational objective 2
0.77/0.83 c #Conflicts: 5000 | #Constraints: 2557
0.77/0.83 c #Conflicts: 6000 | #Constraints: 3557
0.77/0.83 c INPROCESSING
0.77/0.83 c GARBAGE COLLECT
0.77/0.83 c rational objective 2
1.18/1.25 c #Conflicts: 7000 | #Constraints: 2484
1.18/1.25 c #Conflicts: 8000 | #Constraints: 3484
1.18/1.25 c #Conflicts: 9000 | #Constraints: 4588
1.18/1.25 c INPROCESSING
1.18/1.25 c GARBAGE COLLECT
1.18/1.25 c rational objective 2
1.77/1.84 c #Conflicts: 10000 | #Constraints: 3285
1.77/1.84 c #Conflicts: 11000 | #Constraints: 4384
1.77/1.84 c #Conflicts: 12000 | #Constraints: 5497
1.77/1.84 c INPROCESSING
1.77/1.84 c GARBAGE COLLECT
1.77/1.84 c rational objective 2
2.48/2.50 c #Conflicts: 13000 | #Constraints: 3863
2.48/2.50 c #Conflicts: 14000 | #Constraints: 5006
2.48/2.50 c #Conflicts: 15000 | #Constraints: 6178
2.48/2.50 c INPROCESSING
2.48/2.50 c GARBAGE COLLECT
2.48/2.50 c rational objective 2
3.17/3.24 c #Conflicts: 16000 | #Constraints: 4156
3.17/3.24 c #Conflicts: 17000 | #Constraints: 5244
3.17/3.24 c #Conflicts: 18000 | #Constraints: 6328
3.17/3.24 c INPROCESSING
3.17/3.24 c GARBAGE COLLECT
3.17/3.24 c rational objective 2
3.97/4.06 c #Conflicts: 19000 | #Constraints: 4113
3.97/4.06 c #Conflicts: 20000 | #Constraints: 5206
3.97/4.06 c #Conflicts: 21000 | #Constraints: 6242
3.97/4.06 c INPROCESSING
3.97/4.06 c GARBAGE COLLECT
3.97/4.06 c rational objective 2.00014
4.86/4.94 c #Conflicts: 22000 | #Constraints: 3856
4.86/4.94 c #Conflicts: 23000 | #Constraints: 4916
4.86/4.94 c #Conflicts: 24000 | #Constraints: 5965
4.86/4.94 c #Conflicts: 25000 | #Constraints: 7015
4.86/4.94 c INPROCESSING
4.86/4.94 c GARBAGE COLLECT
4.86/4.94 c rational objective 2.00007
5.86/5.99 c #Conflicts: 26000 | #Constraints: 4490
5.86/5.99 c #Conflicts: 27000 | #Constraints: 5526
5.86/5.99 c #Conflicts: 28000 | #Constraints: 6526
5.86/5.99 c #Conflicts: 29000 | #Constraints: 7526
5.86/5.99 c INPROCESSING
5.86/5.99 c GARBAGE COLLECT
5.86/5.99 c rational objective 2
7.26/7.31 c #Conflicts: 30000 | #Constraints: 4869
7.26/7.31 c #Conflicts: 31000 | #Constraints: 5964
7.26/7.31 c #Conflicts: 32000 | #Constraints: 7087
7.26/7.31 c #Conflicts: 33000 | #Constraints: 8184
7.26/7.31 c INPROCESSING
7.26/7.31 c GARBAGE COLLECT
7.26/7.31 c rational objective 2
8.55/8.70 c #Conflicts: 34000 | #Constraints: 5172
8.55/8.70 c #Conflicts: 35000 | #Constraints: 6243
8.55/8.70 c #Conflicts: 36000 | #Constraints: 7366
8.55/8.70 c #Conflicts: 37000 | #Constraints: 8495
8.55/8.70 c INPROCESSING
8.55/8.70 c GARBAGE COLLECT
8.55/8.70 c rational objective 2
10.45/10.56 c #Conflicts: 38000 | #Constraints: 5211
10.45/10.56 c #Conflicts: 39000 | #Constraints: 6417
10.45/10.56 c #Conflicts: 40000 | #Constraints: 7963
10.45/10.56 c #Conflicts: 41000 | #Constraints: 9269
10.45/10.56 c INPROCESSING
10.45/10.56 c GARBAGE COLLECT
10.45/10.56 c rational objective 2
12.25/12.36 c #Conflicts: 42000 | #Constraints: 5381
12.25/12.36 c #Conflicts: 43000 | #Constraints: 6400
12.25/12.36 c #Conflicts: 44000 | #Constraints: 7402
12.25/12.36 c #Conflicts: 45000 | #Constraints: 8438
12.25/12.36 c #Conflicts: 46000 | #Constraints: 9493
12.25/12.36 c INPROCESSING
12.25/12.36 c GARBAGE COLLECT
12.25/12.36 c rational objective 2
14.14/14.22 c #Conflicts: 47000 | #Constraints: 5710
14.14/14.22 c #Conflicts: 48000 | #Constraints: 6774
14.14/14.22 c #Conflicts: 49000 | #Constraints: 7790
14.14/14.22 c #Conflicts: 50000 | #Constraints: 8804
14.14/14.22 c #Conflicts: 51000 | #Constraints: 9805
14.14/14.22 c INPROCESSING
14.14/14.22 c GARBAGE COLLECT
14.14/14.22 c rational objective 2
16.34/16.42 c #Conflicts: 52000 | #Constraints: 5907
16.34/16.42 c #Conflicts: 53000 | #Constraints: 6907
16.34/16.42 c #Conflicts: 54000 | #Constraints: 7918
16.34/16.42 c #Conflicts: 55000 | #Constraints: 8950
16.34/16.42 c #Conflicts: 56000 | #Constraints: 9987
16.34/16.42 c INPROCESSING
16.34/16.42 c GARBAGE COLLECT
16.34/16.42 c rational objective 2.01386
18.53/18.63 c #Conflicts: 57000 | #Constraints: 6040
18.53/18.63 c #Conflicts: 58000 | #Constraints: 7067
18.53/18.63 c #Conflicts: 59000 | #Constraints: 8072
18.53/18.63 c #Conflicts: 60000 | #Constraints: 9072
18.53/18.63 c #Conflicts: 61000 | #Constraints: 10072
18.53/18.63 c INPROCESSING
18.53/18.63 c GARBAGE COLLECT
18.53/18.63 c rational objective 2
21.32/21.45 c #Conflicts: 62000 | #Constraints: 5956
21.32/21.45 c #Conflicts: 63000 | #Constraints: 6956
21.32/21.45 c #Conflicts: 64000 | #Constraints: 7956
21.32/21.45 c #Conflicts: 65000 | #Constraints: 8956
21.32/21.45 c #Conflicts: 66000 | #Constraints: 9968
21.32/21.45 c INPROCESSING
21.32/21.45 c GARBAGE COLLECT
21.32/21.45 c rational objective 2
24.31/24.40 c #Conflicts: 67000 | #Constraints: 5711
24.31/24.40 c #Conflicts: 68000 | #Constraints: 6760
24.31/24.40 c #Conflicts: 69000 | #Constraints: 7838
24.31/24.40 c #Conflicts: 70000 | #Constraints: 8895
24.31/24.40 c #Conflicts: 71000 | #Constraints: 9923
24.31/24.40 c #Conflicts: 72000 | #Constraints: 11043
24.31/24.40 c INPROCESSING
24.31/24.40 c GARBAGE COLLECT
24.31/24.40 c rational objective 2
27.21/27.34 c #Conflicts: 73000 | #Constraints: 6473
27.21/27.34 c #Conflicts: 74000 | #Constraints: 7473
27.21/27.34 c #Conflicts: 75000 | #Constraints: 8473
27.21/27.34 c #Conflicts: 76000 | #Constraints: 9473
27.21/27.34 c #Conflicts: 77000 | #Constraints: 10473
27.21/27.34 c #Conflicts: 78000 | #Constraints: 11473
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c rational objective 2
30.40/30.54 c #Conflicts: 79000 | #Constraints: 6844
30.40/30.54 c #Conflicts: 80000 | #Constraints: 7991
30.40/30.54 c #Conflicts: 81000 | #Constraints: 9091
30.40/30.54 c #Conflicts: 82000 | #Constraints: 10215
30.40/30.54 c #Conflicts: 83000 | #Constraints: 11316
30.40/30.54 c #Conflicts: 84000 | #Constraints: 12415
30.40/30.54 c INPROCESSING
30.40/30.54 c GARBAGE COLLECT
30.40/30.54 c rational objective 2
33.99/34.18 c #Conflicts: 85000 | #Constraints: 7333
33.99/34.18 c #Conflicts: 86000 | #Constraints: 8448
33.99/34.18 c #Conflicts: 87000 | #Constraints: 9608
33.99/34.18 c #Conflicts: 88000 | #Constraints: 10729
33.99/34.18 c #Conflicts: 89000 | #Constraints: 11871
33.99/34.18 c #Conflicts: 90000 | #Constraints: 12987
33.99/34.18 c INPROCESSING
33.99/34.18 c GARBAGE COLLECT
33.99/34.18 c rational objective 2
38.37/38.59 c #Conflicts: 91000 | #Constraints: 7441
38.37/38.59 c #Conflicts: 92000 | #Constraints: 8493
38.37/38.59 c #Conflicts: 93000 | #Constraints: 9520
38.37/38.59 c #Conflicts: 94000 | #Constraints: 10520
38.37/38.59 c #Conflicts: 95000 | #Constraints: 11520
38.37/38.59 c #Conflicts: 96000 | #Constraints: 12520
38.37/38.59 c INPROCESSING
38.37/38.59 c GARBAGE COLLECT
38.37/38.59 c rational objective 2
42.75/42.96 c #Conflicts: 97000 | #Constraints: 7016
42.75/42.96 c #Conflicts: 98000 | #Constraints: 8103
42.75/42.96 c #Conflicts: 99000 | #Constraints: 9258
42.75/42.96 c #Conflicts: 100000 | #Constraints: 10374
42.75/42.96 c #Conflicts: 101000 | #Constraints: 11490
42.75/42.96 c #Conflicts: 102000 | #Constraints: 12599
42.75/42.96 c #Conflicts: 103000 | #Constraints: 13690
42.75/42.96 c INPROCESSING
42.75/42.96 c GARBAGE COLLECT
42.75/42.96 c rational objective 2
47.04/47.24 c #Conflicts: 104000 | #Constraints: 7830
47.04/47.24 c #Conflicts: 105000 | #Constraints: 8889
47.04/47.24 c #Conflicts: 106000 | #Constraints: 9928
47.04/47.24 c #Conflicts: 107000 | #Constraints: 10936
47.04/47.24 c #Conflicts: 108000 | #Constraints: 11966
47.04/47.24 c #Conflicts: 109000 | #Constraints: 12979
47.04/47.24 c #Conflicts: 110000 | #Constraints: 14164
47.04/47.24 c INPROCESSING
47.04/47.24 c GARBAGE COLLECT
47.04/47.24 c rational objective 2
51.53/51.72 c #Conflicts: 111000 | #Constraints: 8209
51.53/51.72 c #Conflicts: 112000 | #Constraints: 9336
51.53/51.72 c #Conflicts: 113000 | #Constraints: 10402
51.53/51.72 c #Conflicts: 114000 | #Constraints: 11519
51.53/51.72 c #Conflicts: 115000 | #Constraints: 12635
51.53/51.72 c #Conflicts: 116000 | #Constraints: 13691
51.53/51.72 c #Conflicts: 117000 | #Constraints: 14758
51.53/51.72 c INPROCESSING
51.53/51.72 c GARBAGE COLLECT
51.53/51.72 c rational objective 2
56.52/56.77 c #Conflicts: 118000 | #Constraints: 8433
56.52/56.77 c #Conflicts: 119000 | #Constraints: 9467
56.52/56.77 c #Conflicts: 120000 | #Constraints: 10504
56.52/56.77 c #Conflicts: 121000 | #Constraints: 11646
56.52/56.77 c #Conflicts: 122000 | #Constraints: 12852
56.52/56.77 c #Conflicts: 123000 | #Constraints: 13939
56.52/56.77 c #Conflicts: 124000 | #Constraints: 15013
56.52/56.77 c INPROCESSING
56.52/56.77 c GARBAGE COLLECT
56.52/56.77 c rational objective 2
61.70/61.97 c #Conflicts: 125000 | #Constraints: 8443
61.70/61.97 c #Conflicts: 126000 | #Constraints: 9530
61.70/61.97 c #Conflicts: 127000 | #Constraints: 10574
61.70/61.97 c #Conflicts: 128000 | #Constraints: 11634
61.70/61.97 c #Conflicts: 129000 | #Constraints: 12655
61.70/61.97 c #Conflicts: 130000 | #Constraints: 13683
61.70/61.97 c #Conflicts: 131000 | #Constraints: 14765
61.70/61.97 c INPROCESSING
61.70/61.97 c GARBAGE COLLECT
61.70/61.97 c rational objective 2
67.19/67.44 c #Conflicts: 132000 | #Constraints: 8136
67.19/67.44 c #Conflicts: 133000 | #Constraints: 9158
67.19/67.44 c #Conflicts: 134000 | #Constraints: 10239
67.19/67.44 c #Conflicts: 135000 | #Constraints: 11284
67.19/67.44 c #Conflicts: 136000 | #Constraints: 12284
67.19/67.44 c #Conflicts: 137000 | #Constraints: 13315
67.19/67.44 c #Conflicts: 138000 | #Constraints: 14345
67.19/67.44 c #Conflicts: 139000 | #Constraints: 15388
67.19/67.44 c INPROCESSING
67.19/67.44 c GARBAGE COLLECT
67.19/67.44 c rational objective 2
72.37/72.65 c #Conflicts: 140000 | #Constraints: 8661
72.37/72.65 c #Conflicts: 141000 | #Constraints: 9661
72.37/72.65 c #Conflicts: 142000 | #Constraints: 10661
72.37/72.65 c #Conflicts: 143000 | #Constraints: 11661
72.37/72.65 c #Conflicts: 144000 | #Constraints: 12661
72.37/72.65 c #Conflicts: 145000 | #Constraints: 13661
72.37/72.65 c #Conflicts: 146000 | #Constraints: 14661
72.37/72.65 c #Conflicts: 147000 | #Constraints: 15661
72.37/72.65 c INPROCESSING
72.37/72.65 c GARBAGE COLLECT
72.37/72.65 c rational objective 2
78.26/78.56 c #Conflicts: 148000 | #Constraints: 8946
78.26/78.56 c #Conflicts: 149000 | #Constraints: 10044
78.26/78.56 c #Conflicts: 150000 | #Constraints: 11137
78.26/78.56 c #Conflicts: 151000 | #Constraints: 12238
78.26/78.56 c #Conflicts: 152000 | #Constraints: 13346
78.26/78.56 c #Conflicts: 153000 | #Constraints: 14455
78.26/78.56 c #Conflicts: 154000 | #Constraints: 15577
78.26/78.56 c #Conflicts: 155000 | #Constraints: 16691
78.26/78.56 c INPROCESSING
78.26/78.56 c GARBAGE COLLECT
78.26/78.56 c rational objective 2
84.94/85.27 c #Conflicts: 156000 | #Constraints: 9466
84.94/85.27 c #Conflicts: 157000 | #Constraints: 10550
84.94/85.27 c #Conflicts: 158000 | #Constraints: 11687
84.94/85.27 c #Conflicts: 159000 | #Constraints: 12804
84.94/85.27 c #Conflicts: 160000 | #Constraints: 13912
84.94/85.27 c #Conflicts: 161000 | #Constraints: 14967
84.94/85.27 c #Conflicts: 162000 | #Constraints: 15972
84.94/85.27 c #Conflicts: 163000 | #Constraints: 17039
84.94/85.27 c INPROCESSING
84.94/85.27 c GARBAGE COLLECT
84.94/85.27 c rational objective 2
91.63/91.99 c #Conflicts: 164000 | #Constraints: 9445
91.63/91.99 c #Conflicts: 165000 | #Constraints: 10445
91.63/91.99 c #Conflicts: 166000 | #Constraints: 11488
91.63/91.99 c #Conflicts: 167000 | #Constraints: 12526
91.63/91.99 c #Conflicts: 168000 | #Constraints: 13604
91.63/91.99 c #Conflicts: 169000 | #Constraints: 14678
91.63/91.99 c #Conflicts: 170000 | #Constraints: 15747
91.63/91.99 c #Conflicts: 171000 | #Constraints: 16821
91.63/91.99 c INPROCESSING
91.63/91.99 c GARBAGE COLLECT
91.63/91.99 c rational objective 2
98.21/98.57 c #Conflicts: 172000 | #Constraints: 9167
98.21/98.57 c #Conflicts: 173000 | #Constraints: 10173
98.21/98.57 c #Conflicts: 174000 | #Constraints: 11173
98.21/98.57 c #Conflicts: 175000 | #Constraints: 12190
98.21/98.57 c #Conflicts: 176000 | #Constraints: 13232
98.21/98.57 c #Conflicts: 177000 | #Constraints: 14298
98.21/98.57 c #Conflicts: 178000 | #Constraints: 15398
98.21/98.57 c #Conflicts: 179000 | #Constraints: 16404
98.21/98.57 c #Conflicts: 180000 | #Constraints: 17425
98.21/98.57 c INPROCESSING
98.21/98.57 c GARBAGE COLLECT
98.21/98.57 c rational objective 2
105.29/105.69 c #Conflicts: 181000 | #Constraints: 9651
105.29/105.69 c #Conflicts: 182000 | #Constraints: 10733
105.29/105.69 c #Conflicts: 183000 | #Constraints: 11848
105.29/105.69 c #Conflicts: 184000 | #Constraints: 12965
105.29/105.69 c #Conflicts: 185000 | #Constraints: 14067
105.29/105.69 c #Conflicts: 186000 | #Constraints: 15191
105.29/105.69 c #Conflicts: 187000 | #Constraints: 16301
105.29/105.69 c #Conflicts: 188000 | #Constraints: 17406
105.29/105.69 c #Conflicts: 189000 | #Constraints: 18499
105.29/105.69 c INPROCESSING
105.29/105.69 c GARBAGE COLLECT
105.29/105.69 c rational objective 2
113.37/113.74 c #Conflicts: 190000 | #Constraints: 10293
113.37/113.74 c #Conflicts: 191000 | #Constraints: 11326
113.37/113.74 c #Conflicts: 192000 | #Constraints: 12378
113.37/113.74 c #Conflicts: 193000 | #Constraints: 13424
113.37/113.74 c #Conflicts: 194000 | #Constraints: 14504
113.37/113.74 c #Conflicts: 195000 | #Constraints: 15648
113.37/113.74 c #Conflicts: 196000 | #Constraints: 16759
113.37/113.74 c #Conflicts: 197000 | #Constraints: 17845
113.37/113.74 c #Conflicts: 198000 | #Constraints: 18894
113.37/113.74 c INPROCESSING
113.37/113.74 c GARBAGE COLLECT
113.37/113.74 c rational objective 2
122.15/122.52 c #Conflicts: 199000 | #Constraints: 10472
122.15/122.52 c #Conflicts: 200000 | #Constraints: 11476
122.15/122.52 c #Conflicts: 201000 | #Constraints: 12476
122.15/122.52 c #Conflicts: 202000 | #Constraints: 13478
122.15/122.52 c #Conflicts: 203000 | #Constraints: 14496
122.15/122.52 c #Conflicts: 204000 | #Constraints: 15531
122.15/122.52 c #Conflicts: 205000 | #Constraints: 16566
122.15/122.52 c #Conflicts: 206000 | #Constraints: 17570
122.15/122.52 c #Conflicts: 207000 | #Constraints: 18570
122.15/122.52 c INPROCESSING
122.15/122.52 c GARBAGE COLLECT
122.15/122.52 c rational objective 2
130.43/130.86 c #Conflicts: 208000 | #Constraints: 10265
130.43/130.86 c #Conflicts: 209000 | #Constraints: 11420
130.43/130.86 c #Conflicts: 210000 | #Constraints: 12561
130.43/130.86 c #Conflicts: 211000 | #Constraints: 13675
130.43/130.86 c #Conflicts: 212000 | #Constraints: 14830
130.43/130.86 c #Conflicts: 213000 | #Constraints: 15942
130.43/130.86 c #Conflicts: 214000 | #Constraints: 17070
130.43/130.86 c #Conflicts: 215000 | #Constraints: 18227
130.43/130.86 c #Conflicts: 216000 | #Constraints: 19419
130.43/130.86 c INPROCESSING
130.43/130.86 c GARBAGE COLLECT
130.43/130.86 c rational objective 2
141.39/141.84 c #Conflicts: 217000 | #Constraints: 10484
141.39/141.84 c #Conflicts: 218000 | #Constraints: 11524
141.39/141.84 c #Conflicts: 219000 | #Constraints: 12685
141.39/141.84 c #Conflicts: 220000 | #Constraints: 13863
141.39/141.84 c #Conflicts: 221000 | #Constraints: 15005
141.39/141.84 c #Conflicts: 222000 | #Constraints: 16207
141.39/141.84 c #Conflicts: 223000 | #Constraints: 17726
141.39/141.84 c #Conflicts: 224000 | #Constraints: 19207
141.39/141.84 c #Conflicts: 225000 | #Constraints: 20640
141.39/141.84 c #Conflicts: 226000 | #Constraints: 22044
141.39/141.84 c INPROCESSING
141.39/141.84 c GARBAGE COLLECT
141.39/141.84 c rational objective 2
151.96/152.42 c #Conflicts: 227000 | #Constraints: 11987
151.96/152.42 c #Conflicts: 228000 | #Constraints: 12987
151.96/152.42 c #Conflicts: 229000 | #Constraints: 13987
151.96/152.42 c #Conflicts: 230000 | #Constraints: 15010
151.96/152.42 c #Conflicts: 231000 | #Constraints: 16041
151.96/152.42 c #Conflicts: 232000 | #Constraints: 17065
151.96/152.42 c #Conflicts: 233000 | #Constraints: 18089
151.96/152.42 c #Conflicts: 234000 | #Constraints: 19089
151.96/152.42 c #Conflicts: 235000 | #Constraints: 20089
151.96/152.42 c #Conflicts: 236000 | #Constraints: 21089
151.96/152.42 c INPROCESSING
151.96/152.42 c GARBAGE COLLECT
151.96/152.42 c rational objective 2
161.54/162.02 c #Conflicts: 237000 | #Constraints: 11656
161.54/162.02 c #Conflicts: 238000 | #Constraints: 12737
161.54/162.02 c #Conflicts: 239000 | #Constraints: 13819
161.54/162.02 c #Conflicts: 240000 | #Constraints: 14924
161.54/162.02 c #Conflicts: 241000 | #Constraints: 16027
161.54/162.02 c #Conflicts: 242000 | #Constraints: 17132
161.54/162.02 c #Conflicts: 243000 | #Constraints: 18231
161.54/162.02 c #Conflicts: 244000 | #Constraints: 19335
161.54/162.02 c #Conflicts: 245000 | #Constraints: 20442
161.54/162.02 c #Conflicts: 246000 | #Constraints: 21544
161.54/162.02 c INPROCESSING
161.54/162.02 c GARBAGE COLLECT
161.54/162.02 c rational objective 2
172.31/172.86 c #Conflicts: 247000 | #Constraints: 11812
172.31/172.86 c #Conflicts: 248000 | #Constraints: 12879
172.31/172.86 c #Conflicts: 249000 | #Constraints: 13979
172.31/172.86 c #Conflicts: 250000 | #Constraints: 15080
172.31/172.86 c #Conflicts: 251000 | #Constraints: 16175
172.31/172.86 c #Conflicts: 252000 | #Constraints: 17295
172.31/172.86 c #Conflicts: 253000 | #Constraints: 18366
172.31/172.86 c #Conflicts: 254000 | #Constraints: 19430
172.31/172.86 c #Conflicts: 255000 | #Constraints: 20552
172.31/172.86 c #Conflicts: 256000 | #Constraints: 21668
172.31/172.86 c INPROCESSING
172.31/172.86 c GARBAGE COLLECT
172.31/172.86 c rational objective 2
182.78/183.32 c #Conflicts: 257000 | #Constraints: 11742
182.78/183.32 c #Conflicts: 258000 | #Constraints: 12807
182.78/183.32 c #Conflicts: 259000 | #Constraints: 13956
182.78/183.32 c #Conflicts: 260000 | #Constraints: 15001
182.78/183.32 c #Conflicts: 261000 | #Constraints: 16072
182.78/183.32 c #Conflicts: 262000 | #Constraints: 17073
182.78/183.32 c #Conflicts: 263000 | #Constraints: 18073
182.78/183.32 c #Conflicts: 264000 | #Constraints: 19073
182.78/183.32 c #Conflicts: 265000 | #Constraints: 20073
182.78/183.32 c #Conflicts: 266000 | #Constraints: 21073
182.78/183.32 c INPROCESSING
182.78/183.32 c GARBAGE COLLECT
182.78/183.32 c rational objective 2
194.56/195.13 c #Conflicts: 267000 | #Constraints: 11255
194.56/195.13 c #Conflicts: 268000 | #Constraints: 12301
194.56/195.13 c #Conflicts: 269000 | #Constraints: 13301
194.56/195.13 c #Conflicts: 270000 | #Constraints: 14301
194.56/195.13 c #Conflicts: 271000 | #Constraints: 15400
194.56/195.13 c #Conflicts: 272000 | #Constraints: 16582
194.56/195.13 c #Conflicts: 273000 | #Constraints: 17988
194.56/195.13 c #Conflicts: 274000 | #Constraints: 19017
194.56/195.13 c #Conflicts: 275000 | #Constraints: 20120
194.56/195.13 c #Conflicts: 276000 | #Constraints: 21208
194.56/195.13 c #Conflicts: 277000 | #Constraints: 22262
194.56/195.13 c INPROCESSING
194.56/195.13 c GARBAGE COLLECT
194.56/195.13 c rational objective 2
205.92/206.57 c #Conflicts: 278000 | #Constraints: 12033
205.92/206.57 c #Conflicts: 279000 | #Constraints: 13039
205.92/206.57 c #Conflicts: 280000 | #Constraints: 14114
205.92/206.57 c #Conflicts: 281000 | #Constraints: 15254
205.92/206.57 c #Conflicts: 282000 | #Constraints: 16372
205.92/206.57 c #Conflicts: 283000 | #Constraints: 17480
205.92/206.57 c #Conflicts: 284000 | #Constraints: 18525
205.92/206.57 c #Conflicts: 285000 | #Constraints: 19640
205.92/206.57 c #Conflicts: 286000 | #Constraints: 20743
205.92/206.57 c #Conflicts: 287000 | #Constraints: 21849
205.92/206.57 c #Conflicts: 288000 | #Constraints: 22949
205.92/206.57 c INPROCESSING
205.92/206.57 c GARBAGE COLLECT
205.92/206.57 c rational objective 2
218.57/219.28 c #Conflicts: 289000 | #Constraints: 12507
218.57/219.28 c #Conflicts: 290000 | #Constraints: 13507
218.57/219.28 c #Conflicts: 291000 | #Constraints: 14507
218.57/219.28 c #Conflicts: 292000 | #Constraints: 15507
218.57/219.28 c #Conflicts: 293000 | #Constraints: 16536
218.57/219.28 c #Conflicts: 294000 | #Constraints: 17586
218.57/219.28 c #Conflicts: 295000 | #Constraints: 18616
218.57/219.28 c #Conflicts: 296000 | #Constraints: 19681
218.57/219.28 c #Conflicts: 297000 | #Constraints: 20732
218.57/219.28 c #Conflicts: 298000 | #Constraints: 21803
218.57/219.28 c #Conflicts: 299000 | #Constraints: 22962
218.57/219.28 c INPROCESSING
218.57/219.28 c GARBAGE COLLECT
218.57/219.28 c rational objective 2
230.94/231.60 c #Conflicts: 300000 | #Constraints: 12522
230.94/231.60 c #Conflicts: 301000 | #Constraints: 13651
230.94/231.60 c #Conflicts: 302000 | #Constraints: 14731
230.94/231.60 c #Conflicts: 303000 | #Constraints: 15786
230.94/231.60 c #Conflicts: 304000 | #Constraints: 16907
230.94/231.60 c #Conflicts: 305000 | #Constraints: 17965
230.94/231.60 c #Conflicts: 306000 | #Constraints: 18965
230.94/231.60 c #Conflicts: 307000 | #Constraints: 19965
230.94/231.60 c #Conflicts: 308000 | #Constraints: 20965
230.94/231.60 c #Conflicts: 309000 | #Constraints: 21965
230.94/231.60 c #Conflicts: 310000 | #Constraints: 22965
230.94/231.60 c INPROCESSING
230.94/231.60 c GARBAGE COLLECT
230.94/231.60 c rational objective 2
243.31/244.04 c #Conflicts: 311000 | #Constraints: 12428
243.31/244.04 c #Conflicts: 312000 | #Constraints: 13497
243.31/244.04 c #Conflicts: 313000 | #Constraints: 14586
243.31/244.04 c #Conflicts: 314000 | #Constraints: 15714
243.31/244.04 c #Conflicts: 315000 | #Constraints: 16814
243.31/244.04 c #Conflicts: 316000 | #Constraints: 17866
243.31/244.04 c #Conflicts: 317000 | #Constraints: 18866
243.31/244.04 c #Conflicts: 318000 | #Constraints: 19866
243.31/244.04 c #Conflicts: 319000 | #Constraints: 20866
243.31/244.04 c #Conflicts: 320000 | #Constraints: 21866
243.31/244.04 c #Conflicts: 321000 | #Constraints: 22866
243.31/244.04 c INPROCESSING
243.31/244.04 c GARBAGE COLLECT
243.31/244.04 c rational objective 2
257.07/257.88 c #Conflicts: 322000 | #Constraints: 12157
257.07/257.88 c #Conflicts: 323000 | #Constraints: 13192
257.07/257.88 c #Conflicts: 324000 | #Constraints: 14299
257.07/257.88 c #Conflicts: 325000 | #Constraints: 15399
257.07/257.88 c #Conflicts: 326000 | #Constraints: 16454
257.07/257.88 c #Conflicts: 327000 | #Constraints: 17494
257.07/257.88 c #Conflicts: 328000 | #Constraints: 18494
257.07/257.88 c #Conflicts: 329000 | #Constraints: 19570
257.07/257.88 c #Conflicts: 330000 | #Constraints: 20611
257.07/257.88 c #Conflicts: 331000 | #Constraints: 21677
257.07/257.88 c #Conflicts: 332000 | #Constraints: 22733
257.07/257.88 c #Conflicts: 333000 | #Constraints: 23770
257.07/257.88 c INPROCESSING
257.07/257.88 c GARBAGE COLLECT
257.07/257.88 c rational objective 2
271.12/271.92 c #Conflicts: 334000 | #Constraints: 12803
271.12/271.92 c #Conflicts: 335000 | #Constraints: 13811
271.12/271.92 c #Conflicts: 336000 | #Constraints: 14890
271.12/271.92 c #Conflicts: 337000 | #Constraints: 16084
271.12/271.92 c #Conflicts: 338000 | #Constraints: 17182
271.12/271.92 c #Conflicts: 339000 | #Constraints: 18216
271.12/271.92 c #Conflicts: 340000 | #Constraints: 19216
271.12/271.92 c #Conflicts: 341000 | #Constraints: 20220
271.12/271.92 c #Conflicts: 342000 | #Constraints: 21238
271.12/271.92 c #Conflicts: 343000 | #Constraints: 22291
271.12/271.92 c #Conflicts: 344000 | #Constraints: 23465
271.12/271.92 c #Conflicts: 345000 | #Constraints: 24465
271.12/271.92 c INPROCESSING
271.12/271.92 c GARBAGE COLLECT
271.12/271.92 c rational objective 2
285.67/286.51 c #Conflicts: 346000 | #Constraints: 13267
285.67/286.51 c #Conflicts: 347000 | #Constraints: 14530
285.67/286.51 c #Conflicts: 348000 | #Constraints: 15564
285.67/286.51 c #Conflicts: 349000 | #Constraints: 16584
285.67/286.51 c #Conflicts: 350000 | #Constraints: 17588
285.67/286.51 c #Conflicts: 351000 | #Constraints: 18622
285.67/286.51 c #Conflicts: 352000 | #Constraints: 19654
285.67/286.51 c #Conflicts: 353000 | #Constraints: 20722
285.67/286.51 c #Conflicts: 354000 | #Constraints: 21770
285.67/286.51 c #Conflicts: 355000 | #Constraints: 22770
285.67/286.51 c #Conflicts: 356000 | #Constraints: 23770
285.67/286.51 c #Conflicts: 357000 | #Constraints: 24770
285.67/286.51 c INPROCESSING
285.67/286.51 c GARBAGE COLLECT
285.67/286.51 c rational objective 2
299.44/300.39 c #Conflicts: 358000 | #Constraints: 13493
299.44/300.39 c #Conflicts: 359000 | #Constraints: 14579
299.44/300.39 c #Conflicts: 360000 | #Constraints: 15701
299.44/300.39 c #Conflicts: 361000 | #Constraints: 16846
299.44/300.39 c #Conflicts: 362000 | #Constraints: 17961
299.44/300.39 c #Conflicts: 363000 | #Constraints: 19100
299.44/300.39 c #Conflicts: 364000 | #Constraints: 20241
299.44/300.39 c #Conflicts: 365000 | #Constraints: 21347
299.44/300.39 c #Conflicts: 366000 | #Constraints: 22461
299.44/300.39 c #Conflicts: 367000 | #Constraints: 23566
299.44/300.39 c #Conflicts: 368000 | #Constraints: 24665
299.44/300.39 c #Conflicts: 369000 | #Constraints: 25777
299.44/300.39 c INPROCESSING
299.44/300.39 c GARBAGE COLLECT
299.44/300.39 c rational objective 2
315.88/316.80 c #Conflicts: 370000 | #Constraints: 13849
315.88/316.80 c #Conflicts: 371000 | #Constraints: 14936
315.88/316.80 c #Conflicts: 372000 | #Constraints: 15979
315.88/316.80 c #Conflicts: 373000 | #Constraints: 17099
315.88/316.80 c #Conflicts: 374000 | #Constraints: 18253
315.88/316.80 c #Conflicts: 375000 | #Constraints: 19378
315.88/316.80 c #Conflicts: 376000 | #Constraints: 20529
315.88/316.80 c #Conflicts: 377000 | #Constraints: 21716
315.88/316.80 c #Conflicts: 378000 | #Constraints: 22906
315.88/316.80 c #Conflicts: 379000 | #Constraints: 24078
315.88/316.80 c #Conflicts: 380000 | #Constraints: 25260
315.88/316.80 c #Conflicts: 381000 | #Constraints: 26407
315.88/316.80 c INPROCESSING
315.88/316.80 c GARBAGE COLLECT
315.88/316.80 c rational objective 2
333.43/334.41 c #Conflicts: 382000 | #Constraints: 13980
333.43/334.41 c #Conflicts: 383000 | #Constraints: 15016
333.43/334.41 c #Conflicts: 384000 | #Constraints: 16078
333.43/334.41 c #Conflicts: 385000 | #Constraints: 17080
333.43/334.41 c #Conflicts: 386000 | #Constraints: 18080
333.43/334.41 c #Conflicts: 387000 | #Constraints: 19175
333.43/334.41 c #Conflicts: 388000 | #Constraints: 20277
333.43/334.41 c #Conflicts: 389000 | #Constraints: 21317
333.43/334.41 c #Conflicts: 390000 | #Constraints: 22331
333.43/334.41 c #Conflicts: 391000 | #Constraints: 23347
333.43/334.41 c #Conflicts: 392000 | #Constraints: 24382
333.43/334.41 c #Conflicts: 393000 | #Constraints: 25444
333.43/334.41 c #Conflicts: 394000 | #Constraints: 26537
333.43/334.41 c INPROCESSING
333.43/334.41 c GARBAGE COLLECT
333.43/334.41 c rational objective 2
349.48/350.54 c #Conflicts: 395000 | #Constraints: 14191
349.48/350.54 c #Conflicts: 396000 | #Constraints: 15191
349.48/350.54 c #Conflicts: 397000 | #Constraints: 16191
349.48/350.54 c #Conflicts: 398000 | #Constraints: 17191
349.48/350.54 c #Conflicts: 399000 | #Constraints: 18191
349.48/350.54 c #Conflicts: 400000 | #Constraints: 19191
349.48/350.54 c #Conflicts: 401000 | #Constraints: 20191
349.48/350.54 c #Conflicts: 402000 | #Constraints: 21191
349.48/350.54 c #Conflicts: 403000 | #Constraints: 22275
349.48/350.54 c #Conflicts: 404000 | #Constraints: 23432
349.48/350.54 c #Conflicts: 405000 | #Constraints: 24498
349.48/350.54 c #Conflicts: 406000 | #Constraints: 25533
349.48/350.54 c #Conflicts: 407000 | #Constraints: 26567
349.48/350.54 c INPROCESSING
349.48/350.54 c GARBAGE COLLECT
349.48/350.54 c rational objective 2
365.23/366.36 c #Conflicts: 408000 | #Constraints: 14293
365.23/366.36 c #Conflicts: 409000 | #Constraints: 15293
365.23/366.36 c #Conflicts: 410000 | #Constraints: 16312
365.23/366.36 c #Conflicts: 411000 | #Constraints: 17433
365.23/366.36 c #Conflicts: 412000 | #Constraints: 18510
365.23/366.36 c #Conflicts: 413000 | #Constraints: 19626
365.23/366.36 c #Conflicts: 414000 | #Constraints: 20709
365.23/366.36 c #Conflicts: 415000 | #Constraints: 21843
365.23/366.36 c #Conflicts: 416000 | #Constraints: 22942
365.23/366.36 c #Conflicts: 417000 | #Constraints: 24068
365.23/366.36 c #Conflicts: 418000 | #Constraints: 25197
365.23/366.36 c #Conflicts: 419000 | #Constraints: 26311
365.23/366.36 c #Conflicts: 420000 | #Constraints: 27384
365.23/366.36 c INPROCESSING
365.23/366.36 c GARBAGE COLLECT
365.23/366.36 c rational objective 2
386.17/387.38 c #Conflicts: 421000 | #Constraints: 14785
386.17/387.38 c #Conflicts: 422000 | #Constraints: 15933
386.17/387.38 c #Conflicts: 423000 | #Constraints: 17042
386.17/387.38 c #Conflicts: 424000 | #Constraints: 18112
386.17/387.38 c #Conflicts: 425000 | #Constraints: 19151
386.17/387.38 c #Conflicts: 426000 | #Constraints: 20168
386.17/387.38 c #Conflicts: 427000 | #Constraints: 21191
386.17/387.38 c #Conflicts: 428000 | #Constraints: 22198
386.17/387.38 c #Conflicts: 429000 | #Constraints: 23198
386.17/387.38 c #Conflicts: 430000 | #Constraints: 24225
386.17/387.38 c #Conflicts: 431000 | #Constraints: 25255
386.17/387.38 c #Conflicts: 432000 | #Constraints: 26334
386.17/387.38 c #Conflicts: 433000 | #Constraints: 27388
386.17/387.38 c INPROCESSING
386.17/387.38 c GARBAGE COLLECT
386.17/387.38 c rational objective 2
405.61/406.89 c #Conflicts: 434000 | #Constraints: 14622
405.61/406.89 c #Conflicts: 435000 | #Constraints: 15630
405.61/406.89 c #Conflicts: 436000 | #Constraints: 16660
405.61/406.89 c #Conflicts: 437000 | #Constraints: 17672
405.61/406.89 c #Conflicts: 438000 | #Constraints: 18672
405.61/406.89 c #Conflicts: 439000 | #Constraints: 19679
405.61/406.89 c #Conflicts: 440000 | #Constraints: 20699
405.61/406.89 c #Conflicts: 441000 | #Constraints: 21718
405.61/406.89 c #Conflicts: 442000 | #Constraints: 22741
405.61/406.89 c #Conflicts: 443000 | #Constraints: 23775
405.61/406.89 c #Conflicts: 444000 | #Constraints: 24837
405.61/406.89 c #Conflicts: 445000 | #Constraints: 25862
405.61/406.89 c #Conflicts: 446000 | #Constraints: 26918
405.61/406.89 c INPROCESSING
405.61/406.89 c GARBAGE COLLECT
405.61/406.89 c rational objective 2
428.85/430.17 c #Conflicts: 447000 | #Constraints: 14196
428.85/430.17 c #Conflicts: 448000 | #Constraints: 15242
428.85/430.17 c #Conflicts: 449000 | #Constraints: 16280
428.85/430.17 c #Conflicts: 450000 | #Constraints: 17340
428.85/430.17 c #Conflicts: 451000 | #Constraints: 18464
428.85/430.17 c #Conflicts: 452000 | #Constraints: 19535
428.85/430.17 c #Conflicts: 453000 | #Constraints: 20654
428.85/430.17 c #Conflicts: 454000 | #Constraints: 21771
428.85/430.17 c #Conflicts: 455000 | #Constraints: 22904
428.85/430.17 c #Conflicts: 456000 | #Constraints: 23926
428.85/430.17 c #Conflicts: 457000 | #Constraints: 24926
428.85/430.17 c #Conflicts: 458000 | #Constraints: 25926
428.85/430.17 c #Conflicts: 459000 | #Constraints: 26926
428.85/430.17 c #Conflicts: 460000 | #Constraints: 27926
428.85/430.17 c INPROCESSING
428.85/430.17 c GARBAGE COLLECT
428.85/430.17 c rational objective 2
457.86/459.25 c #Conflicts: 461000 | #Constraints: 15064
457.86/459.25 c #Conflicts: 462000 | #Constraints: 16469
457.86/459.25 c #Conflicts: 463000 | #Constraints: 17837
457.86/459.25 c #Conflicts: 464000 | #Constraints: 19164
457.86/459.25 c #Conflicts: 465000 | #Constraints: 20351
457.86/459.25 c #Conflicts: 466000 | #Constraints: 21550
457.86/459.25 c #Conflicts: 467000 | #Constraints: 22902
457.86/459.25 c #Conflicts: 468000 | #Constraints: 24190
457.86/459.25 c #Conflicts: 469000 | #Constraints: 25481
457.86/459.25 c #Conflicts: 470000 | #Constraints: 26758
457.86/459.25 c #Conflicts: 471000 | #Constraints: 28117
457.86/459.25 c #Conflicts: 472000 | #Constraints: 29417
457.86/459.25 c #Conflicts: 473000 | #Constraints: 30654
457.86/459.25 c #Conflicts: 474000 | #Constraints: 31902
457.86/459.25 c INPROCESSING
457.86/459.25 c GARBAGE COLLECT
457.86/459.25 c rational objective 2
485.88/487.37 c #Conflicts: 475000 | #Constraints: 17010
485.88/487.37 c #Conflicts: 476000 | #Constraints: 18072
485.88/487.37 c #Conflicts: 477000 | #Constraints: 19111
485.88/487.37 c #Conflicts: 478000 | #Constraints: 20168
485.88/487.37 c #Conflicts: 479000 | #Constraints: 21254
485.88/487.37 c #Conflicts: 480000 | #Constraints: 22362
485.88/487.37 c #Conflicts: 481000 | #Constraints: 23420
485.88/487.37 c #Conflicts: 482000 | #Constraints: 24495
485.88/487.37 c #Conflicts: 483000 | #Constraints: 25610
485.88/487.37 c #Conflicts: 484000 | #Constraints: 26688
485.88/487.37 c #Conflicts: 485000 | #Constraints: 27787
485.88/487.37 c #Conflicts: 486000 | #Constraints: 28882
485.88/487.37 c #Conflicts: 487000 | #Constraints: 29977
485.88/487.37 c #Conflicts: 488000 | #Constraints: 31065
485.88/487.37 c INPROCESSING
485.88/487.37 c GARBAGE COLLECT
485.88/487.37 c rational objective 2
513.89/515.45 c #Conflicts: 489000 | #Constraints: 16596
513.89/515.45 c #Conflicts: 490000 | #Constraints: 17599
513.89/515.45 c #Conflicts: 491000 | #Constraints: 18631
513.89/515.45 c #Conflicts: 492000 | #Constraints: 19699
513.89/515.45 c #Conflicts: 493000 | #Constraints: 20862
513.89/515.45 c #Conflicts: 494000 | #Constraints: 21933
513.89/515.45 c #Conflicts: 495000 | #Constraints: 22973
513.89/515.45 c #Conflicts: 496000 | #Constraints: 24021
513.89/515.45 c #Conflicts: 497000 | #Constraints: 25126
513.89/515.45 c #Conflicts: 498000 | #Constraints: 26459
513.89/515.45 c #Conflicts: 499000 | #Constraints: 27958
513.89/515.45 c #Conflicts: 500000 | #Constraints: 29303
513.89/515.45 c #Conflicts: 501000 | #Constraints: 30805
513.89/515.45 c #Conflicts: 502000 | #Constraints: 32333
513.89/515.45 c INPROCESSING
513.89/515.45 c GARBAGE COLLECT
513.89/515.45 c rational objective 2.00006
542.80/544.49 c #Conflicts: 503000 | #Constraints: 17203
542.80/544.49 c #Conflicts: 504000 | #Constraints: 18264
542.80/544.49 c #Conflicts: 505000 | #Constraints: 19278
542.80/544.49 c #Conflicts: 506000 | #Constraints: 20278
542.80/544.49 c #Conflicts: 507000 | #Constraints: 21305
542.80/544.49 c #Conflicts: 508000 | #Constraints: 22319
542.80/544.49 c #Conflicts: 509000 | #Constraints: 23319
542.80/544.49 c #Conflicts: 510000 | #Constraints: 24341
542.80/544.49 c #Conflicts: 511000 | #Constraints: 25396
542.80/544.49 c #Conflicts: 512000 | #Constraints: 26464
542.80/544.49 c #Conflicts: 513000 | #Constraints: 27489
542.80/544.49 c #Conflicts: 514000 | #Constraints: 28498
542.80/544.49 c #Conflicts: 515000 | #Constraints: 29498
542.80/544.49 c #Conflicts: 516000 | #Constraints: 30500
542.80/544.49 c INPROCESSING
542.80/544.49 c GARBAGE COLLECT
542.80/544.49 c rational objective 2
595.35/597.16 c #Conflicts: 517000 | #Constraints: 15969
595.35/597.16 c #Conflicts: 518000 | #Constraints: 17016
595.35/597.16 c #Conflicts: 519000 | #Constraints: 18073
595.35/597.16 c #Conflicts: 520000 | #Constraints: 19081
595.35/597.16 c #Conflicts: 521000 | #Constraints: 20081
595.35/597.16 c #Conflicts: 522000 | #Constraints: 21081
595.35/597.16 c #Conflicts: 523000 | #Constraints: 22081
595.35/597.16 c #Conflicts: 524000 | #Constraints: 23087
595.35/597.16 c #Conflicts: 525000 | #Constraints: 24090
595.35/597.16 c #Conflicts: 526000 | #Constraints: 25090
595.35/597.16 c #Conflicts: 527000 | #Constraints: 26090
595.35/597.16 c #Conflicts: 528000 | #Constraints: 27090
595.35/597.16 c #Conflicts: 529000 | #Constraints: 28090
595.35/597.16 c #Conflicts: 530000 | #Constraints: 29113
595.35/597.16 c #Conflicts: 531000 | #Constraints: 30144
595.35/597.16 c INPROCESSING
595.35/597.16 c GARBAGE COLLECT
595.35/597.16 c #Conflicts: 532000 | #Constraints: 15994
595.35/597.16 c #Conflicts: 533000 | #Constraints: 17015
595.35/597.16 c #Conflicts: 534000 | #Constraints: 18015
595.35/597.16 c #Conflicts: 535000 | #Constraints: 19046
595.35/597.16 c #Conflicts: 536000 | #Constraints: 20071
595.35/597.16 c #Conflicts: 537000 | #Constraints: 21116
595.35/597.16 c #Conflicts: 538000 | #Constraints: 22128
595.35/597.16 c #Conflicts: 539000 | #Constraints: 23128
595.35/597.16 c #Conflicts: 540000 | #Constraints: 24162
595.35/597.16 c #Conflicts: 541000 | #Constraints: 25176
595.35/597.16 c #Conflicts: 542000 | #Constraints: 26176
595.35/597.16 c #Conflicts: 543000 | #Constraints: 27176
595.35/597.16 c #Conflicts: 544000 | #Constraints: 28176
595.35/597.16 c #Conflicts: 545000 | #Constraints: 29242
595.35/597.16 c #Conflicts: 546000 | #Constraints: 30242
595.35/597.16 c INPROCESSING
595.35/597.16 c GARBAGE COLLECT
595.35/597.16 c rational objective 2
619.06/620.90 c #Conflicts: 547000 | #Constraints: 16145
619.06/620.90 c #Conflicts: 548000 | #Constraints: 17169
619.06/620.90 c #Conflicts: 549000 | #Constraints: 18173
619.06/620.90 c #Conflicts: 550000 | #Constraints: 19173
619.06/620.90 c #Conflicts: 551000 | #Constraints: 20173
619.06/620.90 c #Conflicts: 552000 | #Constraints: 21173
619.06/620.90 c #Conflicts: 553000 | #Constraints: 22173
619.06/620.90 c #Conflicts: 554000 | #Constraints: 23173
619.06/620.90 c #Conflicts: 555000 | #Constraints: 24173
619.06/620.90 c #Conflicts: 556000 | #Constraints: 25173
619.06/620.90 c #Conflicts: 557000 | #Constraints: 26173
619.06/620.90 c #Conflicts: 558000 | #Constraints: 27173
619.06/620.90 c #Conflicts: 559000 | #Constraints: 28173
619.06/620.90 c #Conflicts: 560000 | #Constraints: 29173
619.06/620.90 c #Conflicts: 561000 | #Constraints: 30173
619.06/620.90 c INPROCESSING
619.06/620.90 c GARBAGE COLLECT
619.06/620.90 c rational objective 2
645.09/647.02 c #Conflicts: 562000 | #Constraints: 16105
645.09/647.02 c #Conflicts: 563000 | #Constraints: 17120
645.09/647.02 c #Conflicts: 564000 | #Constraints: 18120
645.09/647.02 c #Conflicts: 565000 | #Constraints: 19120
645.09/647.02 c #Conflicts: 566000 | #Constraints: 20120
645.09/647.02 c #Conflicts: 567000 | #Constraints: 21120
645.09/647.02 c #Conflicts: 568000 | #Constraints: 22132
645.09/647.02 c #Conflicts: 569000 | #Constraints: 23167
645.09/647.02 c #Conflicts: 570000 | #Constraints: 24190
645.09/647.02 c #Conflicts: 571000 | #Constraints: 25232
645.09/647.02 c #Conflicts: 572000 | #Constraints: 26232
645.09/647.02 c #Conflicts: 573000 | #Constraints: 27232
645.09/647.02 c #Conflicts: 574000 | #Constraints: 28232
645.09/647.02 c #Conflicts: 575000 | #Constraints: 29232
645.09/647.02 c #Conflicts: 576000 | #Constraints: 30232
645.09/647.02 c INPROCESSING
645.09/647.02 c GARBAGE COLLECT
645.09/647.02 c rational objective 2
669.91/671.95 c #Conflicts: 577000 | #Constraints: 16039
669.91/671.95 c #Conflicts: 578000 | #Constraints: 17059
669.91/671.95 c #Conflicts: 579000 | #Constraints: 18061
669.91/671.95 c #Conflicts: 580000 | #Constraints: 19062
669.91/671.95 c #Conflicts: 581000 | #Constraints: 20062
669.91/671.95 c #Conflicts: 582000 | #Constraints: 21066
669.91/671.95 c #Conflicts: 583000 | #Constraints: 22066
669.91/671.95 c #Conflicts: 584000 | #Constraints: 23066
669.91/671.95 c #Conflicts: 585000 | #Constraints: 24066
669.91/671.95 c #Conflicts: 586000 | #Constraints: 25066
669.91/671.95 c #Conflicts: 587000 | #Constraints: 26066
669.91/671.95 c #Conflicts: 588000 | #Constraints: 27066
669.91/671.95 c #Conflicts: 589000 | #Constraints: 28066
669.91/671.95 c #Conflicts: 590000 | #Constraints: 29066
669.91/671.95 c #Conflicts: 591000 | #Constraints: 30066
669.91/671.95 c INPROCESSING
669.91/671.95 c GARBAGE COLLECT
669.91/671.95 c rational objective 2
696.33/698.45 c #Conflicts: 592000 | #Constraints: 15752
696.33/698.45 c #Conflicts: 593000 | #Constraints: 16783
696.33/698.45 c #Conflicts: 594000 | #Constraints: 17783
696.33/698.45 c #Conflicts: 595000 | #Constraints: 18783
696.33/698.45 c #Conflicts: 596000 | #Constraints: 19783
696.33/698.45 c #Conflicts: 597000 | #Constraints: 20783
696.33/698.45 c #Conflicts: 598000 | #Constraints: 21783
696.33/698.45 c #Conflicts: 599000 | #Constraints: 22783
696.33/698.45 c #Conflicts: 600000 | #Constraints: 23783
696.33/698.45 c #Conflicts: 601000 | #Constraints: 24783
696.33/698.45 c #Conflicts: 602000 | #Constraints: 25783
696.33/698.45 c #Conflicts: 603000 | #Constraints: 26783
696.33/698.45 c #Conflicts: 604000 | #Constraints: 27783
696.33/698.45 c #Conflicts: 605000 | #Constraints: 28783
696.33/698.45 c #Conflicts: 606000 | #Constraints: 29783
696.33/698.45 c #Conflicts: 607000 | #Constraints: 30783
696.33/698.45 c INPROCESSING
696.33/698.45 c GARBAGE COLLECT
696.33/698.45 c rational objective 2
723.14/725.37 c #Conflicts: 608000 | #Constraints: 16322
723.14/725.37 c #Conflicts: 609000 | #Constraints: 17375
723.14/725.37 c #Conflicts: 610000 | #Constraints: 18395
723.14/725.37 c #Conflicts: 611000 | #Constraints: 19395
723.14/725.37 c #Conflicts: 612000 | #Constraints: 20395
723.14/725.37 c #Conflicts: 613000 | #Constraints: 21395
723.14/725.37 c #Conflicts: 614000 | #Constraints: 22395
723.14/725.37 c #Conflicts: 615000 | #Constraints: 23395
723.14/725.37 c #Conflicts: 616000 | #Constraints: 24396
723.14/725.37 c #Conflicts: 617000 | #Constraints: 25402
723.14/725.37 c #Conflicts: 618000 | #Constraints: 26444
723.14/725.37 c #Conflicts: 619000 | #Constraints: 27503
723.14/725.37 c #Conflicts: 620000 | #Constraints: 28521
723.14/725.37 c #Conflicts: 621000 | #Constraints: 29546
723.14/725.37 c #Conflicts: 622000 | #Constraints: 30546
723.14/725.37 c #Conflicts: 623000 | #Constraints: 31546
723.14/725.37 c INPROCESSING
723.14/725.37 c GARBAGE COLLECT
723.14/725.37 c rational objective 2
749.77/752.01 c #Conflicts: 624000 | #Constraints: 16794
749.77/752.01 c #Conflicts: 625000 | #Constraints: 17794
749.77/752.01 c #Conflicts: 626000 | #Constraints: 18794
749.77/752.01 c #Conflicts: 627000 | #Constraints: 19794
749.77/752.01 c #Conflicts: 628000 | #Constraints: 20794
749.77/752.01 c #Conflicts: 629000 | #Constraints: 21794
749.77/752.01 c #Conflicts: 630000 | #Constraints: 22794
749.77/752.01 c #Conflicts: 631000 | #Constraints: 23794
749.77/752.01 c #Conflicts: 632000 | #Constraints: 24794
749.77/752.01 c #Conflicts: 633000 | #Constraints: 25794
749.77/752.01 c #Conflicts: 634000 | #Constraints: 26794
749.77/752.01 c #Conflicts: 635000 | #Constraints: 27798
749.77/752.01 c #Conflicts: 636000 | #Constraints: 28798
749.77/752.01 c #Conflicts: 637000 | #Constraints: 29798
749.77/752.01 c #Conflicts: 638000 | #Constraints: 30798
749.77/752.01 c #Conflicts: 639000 | #Constraints: 31798
749.77/752.01 c INPROCESSING
749.77/752.01 c GARBAGE COLLECT
749.77/752.01 c rational objective 2
777.29/779.62 c #Conflicts: 640000 | #Constraints: 16928
777.29/779.62 c #Conflicts: 641000 | #Constraints: 17936
777.29/779.62 c #Conflicts: 642000 | #Constraints: 18936
777.29/779.62 c #Conflicts: 643000 | #Constraints: 19936
777.29/779.62 c #Conflicts: 644000 | #Constraints: 20936
777.29/779.62 c #Conflicts: 645000 | #Constraints: 21939
777.29/779.62 c #Conflicts: 646000 | #Constraints: 22939
777.29/779.62 c #Conflicts: 647000 | #Constraints: 23987
777.29/779.62 c #Conflicts: 648000 | #Constraints: 25028
777.29/779.62 c #Conflicts: 649000 | #Constraints: 26028
777.29/779.62 c #Conflicts: 650000 | #Constraints: 27028
777.29/779.62 c #Conflicts: 651000 | #Constraints: 28028
777.29/779.62 c #Conflicts: 652000 | #Constraints: 29028
777.29/779.62 c #Conflicts: 653000 | #Constraints: 30028
777.29/779.62 c #Conflicts: 654000 | #Constraints: 31028
777.29/779.62 c #Conflicts: 655000 | #Constraints: 32028
777.29/779.62 c INPROCESSING
777.29/779.62 c GARBAGE COLLECT
777.29/779.62 c rational objective 2
811.59/814.10 c #Conflicts: 656000 | #Constraints: 16961
811.59/814.10 c #Conflicts: 657000 | #Constraints: 18086
811.59/814.10 c #Conflicts: 658000 | #Constraints: 19328
811.59/814.10 c #Conflicts: 659000 | #Constraints: 20629
811.59/814.10 c #Conflicts: 660000 | #Constraints: 21875
811.59/814.10 c #Conflicts: 661000 | #Constraints: 22939
811.59/814.10 c #Conflicts: 662000 | #Constraints: 23994
811.59/814.10 c #Conflicts: 663000 | #Constraints: 25030
811.59/814.10 c #Conflicts: 664000 | #Constraints: 26071
811.59/814.10 c #Conflicts: 665000 | #Constraints: 27076
811.59/814.10 c #Conflicts: 666000 | #Constraints: 28076
811.59/814.10 c #Conflicts: 667000 | #Constraints: 29076
811.59/814.10 c #Conflicts: 668000 | #Constraints: 30076
811.59/814.10 c #Conflicts: 669000 | #Constraints: 31087
811.59/814.10 c #Conflicts: 670000 | #Constraints: 32087
811.59/814.10 c #Conflicts: 671000 | #Constraints: 33087
811.59/814.10 c INPROCESSING
811.59/814.10 c GARBAGE COLLECT
811.59/814.10 c rational objective 2
840.90/843.49 c #Conflicts: 672000 | #Constraints: 17268
840.90/843.49 c #Conflicts: 673000 | #Constraints: 18268
840.90/843.49 c #Conflicts: 674000 | #Constraints: 19268
840.90/843.49 c #Conflicts: 675000 | #Constraints: 20268
840.90/843.49 c #Conflicts: 676000 | #Constraints: 21268
840.90/843.49 c #Conflicts: 677000 | #Constraints: 22268
840.90/843.49 c #Conflicts: 678000 | #Constraints: 23268
840.90/843.49 c #Conflicts: 679000 | #Constraints: 24268
840.90/843.49 c #Conflicts: 680000 | #Constraints: 25268
840.90/843.49 c #Conflicts: 681000 | #Constraints: 26268
840.90/843.49 c #Conflicts: 682000 | #Constraints: 27268
840.90/843.49 c #Conflicts: 683000 | #Constraints: 28268
840.90/843.49 c #Conflicts: 684000 | #Constraints: 29275
840.90/843.49 c #Conflicts: 685000 | #Constraints: 30277
840.90/843.49 c #Conflicts: 686000 | #Constraints: 31301
840.90/843.49 c #Conflicts: 687000 | #Constraints: 32307
840.90/843.49 c #Conflicts: 688000 | #Constraints: 33311
840.90/843.49 c INPROCESSING
840.90/843.49 c GARBAGE COLLECT
840.90/843.49 c rational objective 2
870.81/873.47 c #Conflicts: 689000 | #Constraints: 17576
870.81/873.47 c #Conflicts: 690000 | #Constraints: 18579
870.81/873.47 c #Conflicts: 691000 | #Constraints: 19579
870.81/873.47 c #Conflicts: 692000 | #Constraints: 20579
870.81/873.47 c #Conflicts: 693000 | #Constraints: 21581
870.81/873.47 c #Conflicts: 694000 | #Constraints: 22607
870.81/873.47 c #Conflicts: 695000 | #Constraints: 23636
870.81/873.47 c #Conflicts: 696000 | #Constraints: 24643
870.81/873.47 c #Conflicts: 697000 | #Constraints: 25643
870.81/873.47 c #Conflicts: 698000 | #Constraints: 26643
870.81/873.47 c #Conflicts: 699000 | #Constraints: 27643
870.81/873.47 c #Conflicts: 700000 | #Constraints: 28643
870.81/873.47 c #Conflicts: 701000 | #Constraints: 29643
870.81/873.47 c #Conflicts: 702000 | #Constraints: 30643
870.81/873.47 c #Conflicts: 703000 | #Constraints: 31643
870.81/873.47 c #Conflicts: 704000 | #Constraints: 32643
870.81/873.47 c #Conflicts: 705000 | #Constraints: 33643
870.81/873.47 c INPROCESSING
870.81/873.47 c GARBAGE COLLECT
870.81/873.47 c rational objective 2
900.63/903.34 c #Conflicts: 706000 | #Constraints: 17879
900.63/903.34 c #Conflicts: 707000 | #Constraints: 18932
900.63/903.34 c #Conflicts: 708000 | #Constraints: 19941
900.63/903.34 c #Conflicts: 709000 | #Constraints: 20941
900.63/903.34 c #Conflicts: 710000 | #Constraints: 21941
900.63/903.34 c #Conflicts: 711000 | #Constraints: 22941
900.63/903.34 c #Conflicts: 712000 | #Constraints: 23941
900.63/903.34 c #Conflicts: 713000 | #Constraints: 24941
900.63/903.34 c #Conflicts: 714000 | #Constraints: 25941
900.63/903.34 c #Conflicts: 715000 | #Constraints: 26941
900.63/903.34 c #Conflicts: 716000 | #Constraints: 27941
900.63/903.34 c #Conflicts: 717000 | #Constraints: 28941
900.63/903.34 c #Conflicts: 718000 | #Constraints: 29941
900.63/903.34 c #Conflicts: 719000 | #Constraints: 30941
900.63/903.34 c #Conflicts: 720000 | #Constraints: 31941
900.63/903.34 c #Conflicts: 721000 | #Constraints: 32941
900.63/903.34 c #Conflicts: 722000 | #Constraints: 33941
900.63/903.34 c INPROCESSING
900.63/903.34 c GARBAGE COLLECT
900.63/903.34 c rational objective 2
929.26/932.08 c #Conflicts: 723000 | #Constraints: 17999
929.26/932.08 c #Conflicts: 724000 | #Constraints: 18999
929.26/932.08 c #Conflicts: 725000 | #Constraints: 19999
929.26/932.08 c #Conflicts: 726000 | #Constraints: 20999
929.26/932.08 c #Conflicts: 727000 | #Constraints: 21999
929.26/932.08 c #Conflicts: 728000 | #Constraints: 22999
929.26/932.08 c #Conflicts: 729000 | #Constraints: 23999
929.26/932.08 c #Conflicts: 730000 | #Constraints: 24999
929.26/932.08 c #Conflicts: 731000 | #Constraints: 25999
929.26/932.08 c #Conflicts: 732000 | #Constraints: 26999
929.26/932.08 c #Conflicts: 733000 | #Constraints: 27999
929.26/932.08 c #Conflicts: 734000 | #Constraints: 28999
929.26/932.08 c #Conflicts: 735000 | #Constraints: 29999
929.26/932.08 c #Conflicts: 736000 | #Constraints: 30999
929.26/932.08 c #Conflicts: 737000 | #Constraints: 31999
929.26/932.08 c #Conflicts: 738000 | #Constraints: 32999
929.26/932.08 c #Conflicts: 739000 | #Constraints: 33999
929.26/932.08 c INPROCESSING
929.26/932.08 c GARBAGE COLLECT
929.26/932.08 c rational objective 2
959.96/962.87 c #Conflicts: 740000 | #Constraints: 17933
959.96/962.87 c #Conflicts: 741000 | #Constraints: 18960
959.96/962.87 c #Conflicts: 742000 | #Constraints: 19960
959.96/962.87 c #Conflicts: 743000 | #Constraints: 20960
959.96/962.87 c #Conflicts: 744000 | #Constraints: 21960
959.96/962.87 c #Conflicts: 745000 | #Constraints: 22960
959.96/962.87 c #Conflicts: 746000 | #Constraints: 23980
959.96/962.87 c #Conflicts: 747000 | #Constraints: 25004
959.96/962.87 c #Conflicts: 748000 | #Constraints: 26004
959.96/962.87 c #Conflicts: 749000 | #Constraints: 27004
959.96/962.87 c #Conflicts: 750000 | #Constraints: 28004
959.96/962.87 c #Conflicts: 751000 | #Constraints: 29004
959.96/962.87 c #Conflicts: 752000 | #Constraints: 30004
959.96/962.87 c #Conflicts: 753000 | #Constraints: 31004
959.96/962.87 c #Conflicts: 754000 | #Constraints: 32004
959.96/962.87 c #Conflicts: 755000 | #Constraints: 33004
959.96/962.87 c #Conflicts: 756000 | #Constraints: 34004
959.96/962.87 c INPROCESSING
959.96/962.87 c GARBAGE COLLECT
959.96/962.87 c rational objective 2
988.99/991.96 c #Conflicts: 757000 | #Constraints: 17722
988.99/991.96 c #Conflicts: 758000 | #Constraints: 18843
988.99/991.96 c #Conflicts: 759000 | #Constraints: 19852
988.99/991.96 c #Conflicts: 760000 | #Constraints: 20852
988.99/991.96 c #Conflicts: 761000 | #Constraints: 21852
988.99/991.96 c #Conflicts: 762000 | #Constraints: 22852
988.99/991.96 c #Conflicts: 763000 | #Constraints: 23852
988.99/991.96 c #Conflicts: 764000 | #Constraints: 24852
988.99/991.96 c #Conflicts: 765000 | #Constraints: 25852
988.99/991.96 c #Conflicts: 766000 | #Constraints: 26852
988.99/991.96 c #Conflicts: 767000 | #Constraints: 27879
988.99/991.96 c #Conflicts: 768000 | #Constraints: 28879
988.99/991.96 c #Conflicts: 769000 | #Constraints: 29879
988.99/991.96 c #Conflicts: 770000 | #Constraints: 30879
988.99/991.96 c #Conflicts: 771000 | #Constraints: 31879
988.99/991.96 c #Conflicts: 772000 | #Constraints: 32879
988.99/991.96 c #Conflicts: 773000 | #Constraints: 33879
988.99/991.96 c #Conflicts: 774000 | #Constraints: 34879
988.99/991.96 c INPROCESSING
988.99/991.96 c GARBAGE COLLECT
988.99/991.96 c rational objective 2
1020.90/1023.98 c #Conflicts: 775000 | #Constraints: 18436
1020.90/1023.98 c #Conflicts: 776000 | #Constraints: 19490
1020.90/1023.98 c #Conflicts: 777000 | #Constraints: 20490
1020.90/1023.98 c #Conflicts: 778000 | #Constraints: 21490
1020.90/1023.98 c #Conflicts: 779000 | #Constraints: 22490
1020.90/1023.98 c #Conflicts: 780000 | #Constraints: 23490
1020.90/1023.98 c #Conflicts: 781000 | #Constraints: 24490
1020.90/1023.98 c #Conflicts: 782000 | #Constraints: 25490
1020.90/1023.98 c #Conflicts: 783000 | #Constraints: 26490
1020.90/1023.98 c #Conflicts: 784000 | #Constraints: 27490
1020.90/1023.98 c #Conflicts: 785000 | #Constraints: 28490
1020.90/1023.98 c #Conflicts: 786000 | #Constraints: 29490
1020.90/1023.98 c #Conflicts: 787000 | #Constraints: 30490
1020.90/1023.98 c #Conflicts: 788000 | #Constraints: 31490
1020.90/1023.98 c #Conflicts: 789000 | #Constraints: 32490
1020.90/1023.98 c #Conflicts: 790000 | #Constraints: 33490
1020.90/1023.98 c #Conflicts: 791000 | #Constraints: 34490
1020.90/1023.98 c #Conflicts: 792000 | #Constraints: 35490
1020.90/1023.98 c INPROCESSING
1020.90/1023.98 c GARBAGE COLLECT
1020.90/1023.98 c rational objective 2.00006
1056.20/1059.34 c #Conflicts: 793000 | #Constraints: 18802
1056.20/1059.34 c #Conflicts: 794000 | #Constraints: 19876
1056.20/1059.34 c #Conflicts: 795000 | #Constraints: 20891
1056.20/1059.34 c #Conflicts: 796000 | #Constraints: 21891
1056.20/1059.34 c #Conflicts: 797000 | #Constraints: 22893
1056.20/1059.34 c #Conflicts: 798000 | #Constraints: 23899
1056.20/1059.34 c #Conflicts: 799000 | #Constraints: 24899
1056.20/1059.34 c #Conflicts: 800000 | #Constraints: 25899
1056.20/1059.34 c #Conflicts: 801000 | #Constraints: 26899
1056.20/1059.34 c #Conflicts: 802000 | #Constraints: 27899
1056.20/1059.34 c #Conflicts: 803000 | #Constraints: 28899
1056.20/1059.34 c #Conflicts: 804000 | #Constraints: 29899
1056.20/1059.34 c #Conflicts: 805000 | #Constraints: 30899
1056.20/1059.34 c #Conflicts: 806000 | #Constraints: 31899
1056.20/1059.34 c #Conflicts: 807000 | #Constraints: 32899
1056.20/1059.34 c #Conflicts: 808000 | #Constraints: 33899
1056.20/1059.34 c #Conflicts: 809000 | #Constraints: 34899
1056.20/1059.34 c #Conflicts: 810000 | #Constraints: 35899
1056.20/1059.34 c INPROCESSING
1056.20/1059.34 c GARBAGE COLLECT
1056.20/1059.34 c rational objective 2.00004
1090.99/1094.28 c #Conflicts: 811000 | #Constraints: 19065
1090.99/1094.28 c #Conflicts: 812000 | #Constraints: 20151
1090.99/1094.28 c #Conflicts: 813000 | #Constraints: 21152
1090.99/1094.28 c #Conflicts: 814000 | #Constraints: 22152
1090.99/1094.28 c #Conflicts: 815000 | #Constraints: 23160
1090.99/1094.28 c #Conflicts: 816000 | #Constraints: 24196
1090.99/1094.28 c #Conflicts: 817000 | #Constraints: 25299
1090.99/1094.28 c #Conflicts: 818000 | #Constraints: 26357
1090.99/1094.28 c #Conflicts: 819000 | #Constraints: 27357
1090.99/1094.28 c #Conflicts: 820000 | #Constraints: 28357
1090.99/1094.28 c #Conflicts: 821000 | #Constraints: 29357
1090.99/1094.28 c #Conflicts: 822000 | #Constraints: 30357
1090.99/1094.28 c #Conflicts: 823000 | #Constraints: 31357
1090.99/1094.28 c #Conflicts: 824000 | #Constraints: 32357
1090.99/1094.28 c #Conflicts: 825000 | #Constraints: 33357
1090.99/1094.28 c #Conflicts: 826000 | #Constraints: 34357
1090.99/1094.28 c #Conflicts: 827000 | #Constraints: 35357
1090.99/1094.28 c #Conflicts: 828000 | #Constraints: 36357
1090.99/1094.28 c INPROCESSING
1090.99/1094.28 c GARBAGE COLLECT
1090.99/1094.28 c rational objective 2.00004
1132.37/1135.71 c #Conflicts: 829000 | #Constraints: 19140
1132.37/1135.71 c #Conflicts: 830000 | #Constraints: 20206
1132.37/1135.71 c #Conflicts: 831000 | #Constraints: 21302
1132.37/1135.71 c #Conflicts: 832000 | #Constraints: 22384
1132.37/1135.71 c #Conflicts: 833000 | #Constraints: 23430
1132.37/1135.71 c #Conflicts: 834000 | #Constraints: 24435
1132.37/1135.71 c #Conflicts: 835000 | #Constraints: 25458
1132.37/1135.71 c #Conflicts: 836000 | #Constraints: 26483
1132.37/1135.71 c #Conflicts: 837000 | #Constraints: 27573
1132.37/1135.71 c #Conflicts: 838000 | #Constraints: 28659
1132.37/1135.71 c #Conflicts: 839000 | #Constraints: 29734
1132.37/1135.71 c #Conflicts: 840000 | #Constraints: 30734
1132.37/1135.71 c #Conflicts: 841000 | #Constraints: 31734
1132.37/1135.71 c #Conflicts: 842000 | #Constraints: 32734
1132.37/1135.71 c #Conflicts: 843000 | #Constraints: 33734
1132.37/1135.71 c #Conflicts: 844000 | #Constraints: 34734
1132.37/1135.71 c #Conflicts: 845000 | #Constraints: 35734
1132.37/1135.71 c #Conflicts: 846000 | #Constraints: 36734
1132.37/1135.71 c INPROCESSING
1132.37/1135.71 c GARBAGE COLLECT
1132.37/1135.71 c rational objective 2.00027
1168.57/1172.01 c #Conflicts: 847000 | #Constraints: 19095
1168.57/1172.01 c #Conflicts: 848000 | #Constraints: 20130
1168.57/1172.01 c #Conflicts: 849000 | #Constraints: 21152
1168.57/1172.01 c #Conflicts: 850000 | #Constraints: 22173
1168.57/1172.01 c #Conflicts: 851000 | #Constraints: 23173
1168.57/1172.01 c #Conflicts: 852000 | #Constraints: 24215
1168.57/1172.01 c #Conflicts: 853000 | #Constraints: 25284
1168.57/1172.01 c #Conflicts: 854000 | #Constraints: 26320
1168.57/1172.01 c #Conflicts: 855000 | #Constraints: 27406
1168.57/1172.01 c #Conflicts: 856000 | #Constraints: 28494
1168.57/1172.01 c #Conflicts: 857000 | #Constraints: 29570
1168.57/1172.01 c #Conflicts: 858000 | #Constraints: 30633
1168.57/1172.01 c #Conflicts: 859000 | #Constraints: 31699
1168.57/1172.01 c #Conflicts: 860000 | #Constraints: 32785
1168.57/1172.01 c #Conflicts: 861000 | #Constraints: 33868
1168.57/1172.01 c #Conflicts: 862000 | #Constraints: 35024
1168.57/1172.01 c #Conflicts: 863000 | #Constraints: 36189
1168.57/1172.01 c #Conflicts: 864000 | #Constraints: 37352
1168.57/1172.01 c #Conflicts: 865000 | #Constraints: 38556
1168.57/1172.01 c INPROCESSING
1168.57/1172.01 c GARBAGE COLLECT
1168.57/1172.01 c rational objective 1.99985
1212.24/1215.88 c #Conflicts: 866000 | #Constraints: 20267
1212.24/1215.88 c #Conflicts: 867000 | #Constraints: 21325
1212.24/1215.88 c #Conflicts: 868000 | #Constraints: 22382
1212.24/1215.88 c #Conflicts: 869000 | #Constraints: 23437
1212.24/1215.88 c #Conflicts: 870000 | #Constraints: 24474
1212.24/1215.88 c #Conflicts: 871000 | #Constraints: 25489
1212.24/1215.88 c #Conflicts: 872000 | #Constraints: 26489
1212.24/1215.88 c #Conflicts: 873000 | #Constraints: 27489
1212.24/1215.88 c #Conflicts: 874000 | #Constraints: 28495
1212.24/1215.88 c #Conflicts: 875000 | #Constraints: 29499
1212.24/1215.88 c #Conflicts: 876000 | #Constraints: 30527
1212.24/1215.88 c #Conflicts: 877000 | #Constraints: 31579
1212.24/1215.88 c #Conflicts: 878000 | #Constraints: 32610
1212.24/1215.88 c #Conflicts: 879000 | #Constraints: 33655
1212.24/1215.88 c #Conflicts: 880000 | #Constraints: 34670
1212.24/1215.88 c #Conflicts: 881000 | #Constraints: 35670
1212.24/1215.88 c #Conflicts: 882000 | #Constraints: 36691
1212.24/1215.88 c #Conflicts: 883000 | #Constraints: 37740
1212.24/1215.88 c #Conflicts: 884000 | #Constraints: 38742
1212.24/1215.88 c INPROCESSING
1212.24/1215.88 c GARBAGE COLLECT
1212.24/1215.88 c rational objective 1.99991
1256.32/1260.01 c #Conflicts: 885000 | #Constraints: 20410
1256.32/1260.01 c #Conflicts: 886000 | #Constraints: 21410
1256.32/1260.01 c #Conflicts: 887000 | #Constraints: 22410
1256.32/1260.01 c #Conflicts: 888000 | #Constraints: 23410
1256.32/1260.01 c #Conflicts: 889000 | #Constraints: 24410
1256.32/1260.01 c #Conflicts: 890000 | #Constraints: 25410
1256.32/1260.01 c #Conflicts: 891000 | #Constraints: 26410
1256.32/1260.01 c #Conflicts: 892000 | #Constraints: 27410
1256.32/1260.01 c #Conflicts: 893000 | #Constraints: 28410
1256.32/1260.01 c #Conflicts: 894000 | #Constraints: 29413
1256.32/1260.01 c #Conflicts: 895000 | #Constraints: 30443
1256.32/1260.01 c #Conflicts: 896000 | #Constraints: 31465
1256.32/1260.01 c #Conflicts: 897000 | #Constraints: 32494
1256.32/1260.01 c #Conflicts: 898000 | #Constraints: 33494
1256.32/1260.01 c #Conflicts: 899000 | #Constraints: 34494
1256.32/1260.01 c #Conflicts: 900000 | #Constraints: 35494
1256.32/1260.01 c #Conflicts: 901000 | #Constraints: 36494
1256.32/1260.01 c #Conflicts: 902000 | #Constraints: 37494
1256.32/1260.01 c #Conflicts: 903000 | #Constraints: 38494
1256.32/1260.01 c INPROCESSING
1256.32/1260.01 c GARBAGE COLLECT
1256.32/1260.01 c rational objective 1.9998
1302.08/1305.93 c #Conflicts: 904000 | #Constraints: 20266
1302.08/1305.93 c #Conflicts: 905000 | #Constraints: 21286
1302.08/1305.93 c #Conflicts: 906000 | #Constraints: 22308
1302.08/1305.93 c #Conflicts: 907000 | #Constraints: 23345
1302.08/1305.93 c #Conflicts: 908000 | #Constraints: 24346
1302.08/1305.93 c #Conflicts: 909000 | #Constraints: 25346
1302.08/1305.93 c #Conflicts: 910000 | #Constraints: 26346
1302.08/1305.93 c #Conflicts: 911000 | #Constraints: 27346
1302.08/1305.93 c #Conflicts: 912000 | #Constraints: 28346
1302.08/1305.93 c #Conflicts: 913000 | #Constraints: 29346
1302.08/1305.93 c #Conflicts: 914000 | #Constraints: 30346
1302.08/1305.93 c #Conflicts: 915000 | #Constraints: 31346
1302.08/1305.93 c #Conflicts: 916000 | #Constraints: 32346
1302.08/1305.93 c #Conflicts: 917000 | #Constraints: 33346
1302.08/1305.93 c #Conflicts: 918000 | #Constraints: 34346
1302.08/1305.93 c #Conflicts: 919000 | #Constraints: 35346
1302.08/1305.93 c #Conflicts: 920000 | #Constraints: 36346
1302.08/1305.93 c #Conflicts: 921000 | #Constraints: 37346
1302.08/1305.93 c #Conflicts: 922000 | #Constraints: 38346
1302.08/1305.93 c INPROCESSING
1302.08/1305.93 c GARBAGE COLLECT
1302.08/1305.93 c rational objective 1.99938
1345.17/1349.13 c #Conflicts: 923000 | #Constraints: 20124
1345.17/1349.13 c #Conflicts: 924000 | #Constraints: 21211
1345.17/1349.13 c #Conflicts: 925000 | #Constraints: 22291
1345.17/1349.13 c #Conflicts: 926000 | #Constraints: 23417
1345.17/1349.13 c #Conflicts: 927000 | #Constraints: 24545
1345.17/1349.13 c #Conflicts: 928000 | #Constraints: 25675
1345.17/1349.13 c #Conflicts: 929000 | #Constraints: 26780
1345.17/1349.13 c #Conflicts: 930000 | #Constraints: 27871
1345.17/1349.13 c #Conflicts: 931000 | #Constraints: 29020
1345.17/1349.13 c #Conflicts: 932000 | #Constraints: 30182
1345.17/1349.13 c #Conflicts: 933000 | #Constraints: 31300
1345.17/1349.13 c #Conflicts: 934000 | #Constraints: 32443
1345.17/1349.13 c #Conflicts: 935000 | #Constraints: 33558
1345.17/1349.13 c #Conflicts: 936000 | #Constraints: 34653
1345.17/1349.13 c #Conflicts: 937000 | #Constraints: 35729
1345.17/1349.13 c #Conflicts: 938000 | #Constraints: 36823
1345.17/1349.13 c #Conflicts: 939000 | #Constraints: 37866
1345.17/1349.13 c #Conflicts: 940000 | #Constraints: 38955
1345.17/1349.13 c #Conflicts: 941000 | #Constraints: 40037
1345.17/1349.13 c INPROCESSING
1345.17/1349.13 c GARBAGE COLLECT
1345.17/1349.13 c rational objective 1.99938
1384.86/1388.91 c #Conflicts: 942000 | #Constraints: 20783
1384.86/1388.91 c #Conflicts: 943000 | #Constraints: 21816
1384.86/1388.91 c #Conflicts: 944000 | #Constraints: 22830
1384.86/1388.91 c #Conflicts: 945000 | #Constraints: 23830
1384.86/1388.91 c #Conflicts: 946000 | #Constraints: 24830
1384.86/1388.91 c #Conflicts: 947000 | #Constraints: 25830
1384.86/1388.91 c #Conflicts: 948000 | #Constraints: 26830
1384.86/1388.91 c #Conflicts: 949000 | #Constraints: 27830
1384.86/1388.91 c #Conflicts: 950000 | #Constraints: 28830
1384.86/1388.91 c #Conflicts: 951000 | #Constraints: 29830
1384.86/1388.91 c #Conflicts: 952000 | #Constraints: 30830
1384.86/1388.91 c #Conflicts: 953000 | #Constraints: 31830
1384.86/1388.91 c #Conflicts: 954000 | #Constraints: 32830
1384.86/1388.91 c #Conflicts: 955000 | #Constraints: 33830
1384.86/1388.91 c #Conflicts: 956000 | #Constraints: 34830
1384.86/1388.91 c #Conflicts: 957000 | #Constraints: 35830
1384.86/1388.91 c #Conflicts: 958000 | #Constraints: 36830
1384.86/1388.91 c #Conflicts: 959000 | #Constraints: 37830
1384.86/1388.91 c #Conflicts: 960000 | #Constraints: 38830
1384.86/1388.91 c #Conflicts: 961000 | #Constraints: 39830
1384.86/1388.91 c INPROCESSING
1384.86/1388.91 c GARBAGE COLLECT
1384.86/1388.91 c rational objective 1.99938
1431.13/1435.36 c #Conflicts: 962000 | #Constraints: 20876
1431.13/1435.36 c #Conflicts: 963000 | #Constraints: 21924
1431.13/1435.36 c #Conflicts: 964000 | #Constraints: 22979
1431.13/1435.36 c #Conflicts: 965000 | #Constraints: 24018
1431.13/1435.36 c #Conflicts: 966000 | #Constraints: 25058
1431.13/1435.36 c #Conflicts: 967000 | #Constraints: 26100
1431.13/1435.36 c #Conflicts: 968000 | #Constraints: 27130
1431.13/1435.36 c #Conflicts: 969000 | #Constraints: 28172
1431.13/1435.36 c #Conflicts: 970000 | #Constraints: 29215
1431.13/1435.36 c #Conflicts: 971000 | #Constraints: 30221
1431.13/1435.36 c #Conflicts: 972000 | #Constraints: 31221
1431.13/1435.36 c #Conflicts: 973000 | #Constraints: 32221
1431.13/1435.36 c #Conflicts: 974000 | #Constraints: 33221
1431.13/1435.36 c #Conflicts: 975000 | #Constraints: 34221
1431.13/1435.36 c #Conflicts: 976000 | #Constraints: 35221
1431.13/1435.36 c #Conflicts: 977000 | #Constraints: 36221
1431.13/1435.36 c #Conflicts: 978000 | #Constraints: 37221
1431.13/1435.36 c #Conflicts: 979000 | #Constraints: 38221
1431.13/1435.36 c #Conflicts: 980000 | #Constraints: 39221
1431.13/1435.36 c #Conflicts: 981000 | #Constraints: 40221
1431.13/1435.36 c INPROCESSING
1431.13/1435.36 c GARBAGE COLLECT
1431.13/1435.36 c rational objective 1.9994
1478.81/1483.19 c #Conflicts: 982000 | #Constraints: 21218
1478.81/1483.19 c #Conflicts: 983000 | #Constraints: 22308
1478.81/1483.19 c #Conflicts: 984000 | #Constraints: 23434
1478.81/1483.19 c #Conflicts: 985000 | #Constraints: 24474
1478.81/1483.19 c #Conflicts: 986000 | #Constraints: 25474
1478.81/1483.19 c #Conflicts: 987000 | #Constraints: 26474
1478.81/1483.19 c #Conflicts: 988000 | #Constraints: 27474
1478.81/1483.19 c #Conflicts: 989000 | #Constraints: 28474
1478.81/1483.19 c #Conflicts: 990000 | #Constraints: 29474
1478.81/1483.19 c #Conflicts: 991000 | #Constraints: 30474
1478.81/1483.19 c #Conflicts: 992000 | #Constraints: 31474
1478.81/1483.19 c #Conflicts: 993000 | #Constraints: 32474
1478.81/1483.19 c #Conflicts: 994000 | #Constraints: 33474
1478.81/1483.19 c #Conflicts: 995000 | #Constraints: 34474
1478.81/1483.19 c #Conflicts: 996000 | #Constraints: 35474
1478.81/1483.19 c #Conflicts: 997000 | #Constraints: 36474
1478.81/1483.19 c #Conflicts: 998000 | #Constraints: 37474
1478.81/1483.19 c #Conflicts: 999000 | #Constraints: 38474
1478.81/1483.19 c #Conflicts: 1000000 | #Constraints: 39474
1478.81/1483.19 c #Conflicts: 1001000 | #Constraints: 40474
1478.81/1483.19 c INPROCESSING
1478.81/1483.19 c GARBAGE COLLECT
1478.81/1483.19 c rational objective 1.99941
1524.09/1528.53 c #Conflicts: 1002000 | #Constraints: 21296
1524.09/1528.53 c #Conflicts: 1003000 | #Constraints: 22325
1524.09/1528.53 c #Conflicts: 1004000 | #Constraints: 23349
1524.09/1528.53 c #Conflicts: 1005000 | #Constraints: 24357
1524.09/1528.53 c #Conflicts: 1006000 | #Constraints: 25398
1524.09/1528.53 c #Conflicts: 1007000 | #Constraints: 26398
1524.09/1528.53 c #Conflicts: 1008000 | #Constraints: 27398
1524.09/1528.53 c #Conflicts: 1009000 | #Constraints: 28398
1524.09/1528.53 c #Conflicts: 1010000 | #Constraints: 29398
1524.09/1528.53 c #Conflicts: 1011000 | #Constraints: 30398
1524.09/1528.53 c #Conflicts: 1012000 | #Constraints: 31398
1524.09/1528.53 c #Conflicts: 1013000 | #Constraints: 32398
1524.09/1528.53 c #Conflicts: 1014000 | #Constraints: 33398
1524.09/1528.53 c #Conflicts: 1015000 | #Constraints: 34398
1524.09/1528.53 c #Conflicts: 1016000 | #Constraints: 35398
1524.09/1528.53 c #Conflicts: 1017000 | #Constraints: 36398
1524.09/1528.53 c #Conflicts: 1018000 | #Constraints: 37398
1524.09/1528.53 c #Conflicts: 1019000 | #Constraints: 38398
1524.09/1528.53 c #Conflicts: 1020000 | #Constraints: 39398
1524.09/1528.53 c #Conflicts: 1021000 | #Constraints: 40398
1524.09/1528.53 c INPROCESSING
1524.09/1528.53 c GARBAGE COLLECT
1524.09/1528.53 c rational objective 1.99975
1572.66/1577.26 c #Conflicts: 1022000 | #Constraints: 21124
1572.66/1577.26 c #Conflicts: 1023000 | #Constraints: 22162
1572.66/1577.26 c #Conflicts: 1024000 | #Constraints: 23202
1572.66/1577.26 c #Conflicts: 1025000 | #Constraints: 24234
1572.66/1577.26 c #Conflicts: 1026000 | #Constraints: 25268
1572.66/1577.26 c #Conflicts: 1027000 | #Constraints: 26290
1572.66/1577.26 c #Conflicts: 1028000 | #Constraints: 27315
1572.66/1577.26 c #Conflicts: 1029000 | #Constraints: 28315
1572.66/1577.26 c #Conflicts: 1030000 | #Constraints: 29315
1572.66/1577.26 c #Conflicts: 1031000 | #Constraints: 30315
1572.66/1577.26 c #Conflicts: 1032000 | #Constraints: 31315
1572.66/1577.26 c #Conflicts: 1033000 | #Constraints: 32315
1572.66/1577.26 c #Conflicts: 1034000 | #Constraints: 33315
1572.66/1577.26 c #Conflicts: 1035000 | #Constraints: 34315
1572.66/1577.26 c #Conflicts: 1036000 | #Constraints: 35315
1572.66/1577.26 c #Conflicts: 1037000 | #Constraints: 36315
1572.66/1577.26 c #Conflicts: 1038000 | #Constraints: 37315
1572.66/1577.26 c #Conflicts: 1039000 | #Constraints: 38315
1572.66/1577.26 c #Conflicts: 1040000 | #Constraints: 39315
1572.66/1577.26 c #Conflicts: 1041000 | #Constraints: 40315
1572.66/1577.26 c INPROCESSING
1572.66/1577.26 c GARBAGE COLLECT
1572.66/1577.26 c rational objective 1.99936
1619.63/1624.31 c #Conflicts: 1042000 | #Constraints: 20867
1619.63/1624.31 c #Conflicts: 1043000 | #Constraints: 21892
1619.63/1624.31 c #Conflicts: 1044000 | #Constraints: 22892
1619.63/1624.31 c #Conflicts: 1045000 | #Constraints: 23892
1619.63/1624.31 c #Conflicts: 1046000 | #Constraints: 24892
1619.63/1624.31 c #Conflicts: 1047000 | #Constraints: 25892
1619.63/1624.31 c #Conflicts: 1048000 | #Constraints: 26892
1619.63/1624.31 c #Conflicts: 1049000 | #Constraints: 27892
1619.63/1624.31 c #Conflicts: 1050000 | #Constraints: 28892
1619.63/1624.31 c #Conflicts: 1051000 | #Constraints: 29892
1619.63/1624.31 c #Conflicts: 1052000 | #Constraints: 30892
1619.63/1624.31 c #Conflicts: 1053000 | #Constraints: 31892
1619.63/1624.31 c #Conflicts: 1054000 | #Constraints: 32892
1619.63/1624.31 c #Conflicts: 1055000 | #Constraints: 33892
1619.63/1624.31 c #Conflicts: 1056000 | #Constraints: 34892
1619.63/1624.31 c #Conflicts: 1057000 | #Constraints: 35892
1619.63/1624.31 c #Conflicts: 1058000 | #Constraints: 36892
1619.63/1624.31 c #Conflicts: 1059000 | #Constraints: 37892
1619.63/1624.31 c #Conflicts: 1060000 | #Constraints: 38892
1619.63/1624.31 c #Conflicts: 1061000 | #Constraints: 39892
1619.63/1624.31 c #Conflicts: 1062000 | #Constraints: 40892
1619.63/1624.31 c INPROCESSING
1619.63/1624.31 c GARBAGE COLLECT
1619.63/1624.31 c rational objective 1.99897
1667.51/1672.34 c #Conflicts: 1063000 | #Constraints: 21395
1667.51/1672.34 c #Conflicts: 1064000 | #Constraints: 22465
1667.51/1672.34 c #Conflicts: 1065000 | #Constraints: 23502
1667.51/1672.34 c #Conflicts: 1066000 | #Constraints: 24502
1667.51/1672.34 c #Conflicts: 1067000 | #Constraints: 25502
1667.51/1672.34 c #Conflicts: 1068000 | #Constraints: 26503
1667.51/1672.34 c #Conflicts: 1069000 | #Constraints: 27543
1667.51/1672.34 c #Conflicts: 1070000 | #Constraints: 28548
1667.51/1672.34 c #Conflicts: 1071000 | #Constraints: 29548
1667.51/1672.34 c #Conflicts: 1072000 | #Constraints: 30548
1667.51/1672.34 c #Conflicts: 1073000 | #Constraints: 31548
1667.51/1672.34 c #Conflicts: 1074000 | #Constraints: 32548
1667.51/1672.34 c #Conflicts: 1075000 | #Constraints: 33548
1667.51/1672.34 c #Conflicts: 1076000 | #Constraints: 34552
1667.51/1672.34 c #Conflicts: 1077000 | #Constraints: 35552
1667.51/1672.34 c #Conflicts: 1078000 | #Constraints: 36552
1667.51/1672.34 c #Conflicts: 1079000 | #Constraints: 37552
1667.51/1672.34 c #Conflicts: 1080000 | #Constraints: 38552
1667.51/1672.34 c #Conflicts: 1081000 | #Constraints: 39552
1667.51/1672.34 c #Conflicts: 1082000 | #Constraints: 40552
1667.51/1672.34 c #Conflicts: 1083000 | #Constraints: 41552
1667.51/1672.34 c INPROCESSING
1667.51/1672.34 c GARBAGE COLLECT
1667.51/1672.34 c rational objective 1.99997
1726.35/1731.38 c #Conflicts: 1084000 | #Constraints: 21810
1726.35/1731.38 c #Conflicts: 1085000 | #Constraints: 22810
1726.35/1731.38 c #Conflicts: 1086000 | #Constraints: 23817
1726.35/1731.38 c #Conflicts: 1087000 | #Constraints: 24898
1726.35/1731.38 c #Conflicts: 1088000 | #Constraints: 26000
1726.35/1731.38 c #Conflicts: 1089000 | #Constraints: 27100
1726.35/1731.38 c #Conflicts: 1090000 | #Constraints: 28235
1726.35/1731.38 c #Conflicts: 1091000 | #Constraints: 29354
1726.35/1731.38 c #Conflicts: 1092000 | #Constraints: 30507
1726.35/1731.38 c #Conflicts: 1093000 | #Constraints: 31621
1726.35/1731.38 c #Conflicts: 1094000 | #Constraints: 32734
1726.35/1731.38 c #Conflicts: 1095000 | #Constraints: 33857
1726.35/1731.38 c #Conflicts: 1096000 | #Constraints: 34986
1726.35/1731.38 c #Conflicts: 1097000 | #Constraints: 36112
1726.35/1731.38 c #Conflicts: 1098000 | #Constraints: 37266
1726.35/1731.38 c #Conflicts: 1099000 | #Constraints: 38411
1726.35/1731.38 c #Conflicts: 1100000 | #Constraints: 39522
1726.35/1731.38 c #Conflicts: 1101000 | #Constraints: 40629
1726.35/1731.38 c #Conflicts: 1102000 | #Constraints: 41733
1726.35/1731.38 c #Conflicts: 1103000 | #Constraints: 42847
1726.35/1731.38 c #Conflicts: 1104000 | #Constraints: 43961
1726.35/1731.38 c INPROCESSING
1726.35/1731.38 c GARBAGE COLLECT
1726.35/1731.38 c rational objective 1.99997
1779.52/1784.66 c #Conflicts: 1105000 | #Constraints: 23053
1779.52/1784.66 c #Conflicts: 1106000 | #Constraints: 24113
1779.52/1784.66 c #Conflicts: 1107000 | #Constraints: 25166
1779.52/1784.66 c #Conflicts: 1108000 | #Constraints: 26248
1779.52/1784.66 c #Conflicts: 1109000 | #Constraints: 27302
1779.52/1784.66 c #Conflicts: 1110000 | #Constraints: 28352
1779.52/1784.66 c #Conflicts: 1111000 | #Constraints: 29365
1779.52/1784.66 c #Conflicts: 1112000 | #Constraints: 30411
1779.52/1784.66 c #Conflicts: 1113000 | #Constraints: 31465
1779.52/1784.66 c #Conflicts: 1114000 | #Constraints: 32503
1779.52/1784.66 c #Conflicts: 1115000 | #Constraints: 33546
1779.52/1784.66 c #Conflicts: 1116000 | #Constraints: 34586
1779.52/1784.66 c #Conflicts: 1117000 | #Constraints: 35636
1779.52/1784.66 c #Conflicts: 1118000 | #Constraints: 36691
1779.52/1784.66 c #Conflicts: 1119000 | #Constraints: 37748
1779.52/1784.66 c #Conflicts: 1120000 | #Constraints: 38829
1779.52/1784.66 c #Conflicts: 1121000 | #Constraints: 39875
1779.52/1784.66 c #Conflicts: 1122000 | #Constraints: 40914
1779.52/1784.66 c #Conflicts: 1123000 | #Constraints: 41958
1779.52/1784.66 c #Conflicts: 1124000 | #Constraints: 42989
1779.52/1784.66 c #Conflicts: 1125000 | #Constraints: 44030
1779.52/1784.66 c INPROCESSING
1779.52/1784.66 c GARBAGE COLLECT
1779.52/1784.66 c rational objective 2.00044
1830.79/1836.03 c #Conflicts: 1126000 | #Constraints: 22941
1830.79/1836.03 c #Conflicts: 1127000 | #Constraints: 23965
1830.79/1836.03 c #Conflicts: 1128000 | #Constraints: 25009
1830.79/1836.03 c #Conflicts: 1129000 | #Constraints: 26061
1830.79/1836.03 c #Conflicts: 1130000 | #Constraints: 27077
1830.79/1836.03 c #Conflicts: 1131000 | #Constraints: 28091
1830.79/1836.03 c #Conflicts: 1132000 | #Constraints: 29094
1830.79/1836.03 c #Conflicts: 1133000 | #Constraints: 30094
1830.79/1836.03 c #Conflicts: 1134000 | #Constraints: 31094
1830.79/1836.03 c #Conflicts: 1135000 | #Constraints: 32094
1830.79/1836.03 c #Conflicts: 1136000 | #Constraints: 33095
1830.79/1836.03 c #Conflicts: 1137000 | #Constraints: 34095
1830.79/1836.03 c #Conflicts: 1138000 | #Constraints: 35095
1830.79/1836.03 c #Conflicts: 1139000 | #Constraints: 36095
1830.79/1836.03 c #Conflicts: 1140000 | #Constraints: 37095
1830.79/1836.03 c #Conflicts: 1141000 | #Constraints: 38095
1830.79/1836.03 c #Conflicts: 1142000 | #Constraints: 39117
1830.79/1836.03 c #Conflicts: 1143000 | #Constraints: 40151
1830.79/1836.03 c #Conflicts: 1144000 | #Constraints: 41159
1830.79/1836.03 c #Conflicts: 1145000 | #Constraints: 42191
1830.79/1836.03 c #Conflicts: 1146000 | #Constraints: 43233
1830.79/1836.03 c INPROCESSING
1830.79/1836.03 c GARBAGE COLLECT
1830.79/1836.03 c rational objective 1.99999
1880.65/1886.01 c #Conflicts: 1147000 | #Constraints: 22338
1880.65/1886.01 c #Conflicts: 1148000 | #Constraints: 23338
1880.65/1886.01 c #Conflicts: 1149000 | #Constraints: 24399
1880.65/1886.01 c #Conflicts: 1150000 | #Constraints: 25450
1880.65/1886.01 c #Conflicts: 1151000 | #Constraints: 26450
1880.65/1886.01 c #Conflicts: 1152000 | #Constraints: 27450
1880.65/1886.01 c #Conflicts: 1153000 | #Constraints: 28450
1880.65/1886.01 c #Conflicts: 1154000 | #Constraints: 29450
1880.65/1886.01 c #Conflicts: 1155000 | #Constraints: 30450
1880.65/1886.01 c #Conflicts: 1156000 | #Constraints: 31471
1880.65/1886.01 c #Conflicts: 1157000 | #Constraints: 32471
1880.65/1886.01 c #Conflicts: 1158000 | #Constraints: 33471
1880.65/1886.01 c #Conflicts: 1159000 | #Constraints: 34471
1880.65/1886.01 c #Conflicts: 1160000 | #Constraints: 35471
1880.65/1886.01 c #Conflicts: 1161000 | #Constraints: 36471
1880.65/1886.01 c #Conflicts: 1162000 | #Constraints: 37471
1880.65/1886.01 c #Conflicts: 1163000 | #Constraints: 38471
1880.65/1886.01 c #Conflicts: 1164000 | #Constraints: 39471
1880.65/1886.01 c #Conflicts: 1165000 | #Constraints: 40471
1880.65/1886.01 c #Conflicts: 1166000 | #Constraints: 41471
1880.65/1886.01 c #Conflicts: 1167000 | #Constraints: 42471
1880.65/1886.01 c #Conflicts: 1168000 | #Constraints: 43471
1880.65/1886.01 c INPROCESSING
1880.65/1886.01 c GARBAGE COLLECT
1880.65/1886.01 c rational objective 1.99895
1937.70/1943.28 c #Conflicts: 1169000 | #Constraints: 22687
1937.70/1943.28 c #Conflicts: 1170000 | #Constraints: 23687
1937.70/1943.28 c #Conflicts: 1171000 | #Constraints: 24687
1937.70/1943.28 c #Conflicts: 1172000 | #Constraints: 25687
1937.70/1943.28 c #Conflicts: 1173000 | #Constraints: 26692
1937.70/1943.28 c #Conflicts: 1174000 | #Constraints: 27692
1937.70/1943.28 c #Conflicts: 1175000 | #Constraints: 28704
1937.70/1943.28 c #Conflicts: 1176000 | #Constraints: 29704
1937.70/1943.28 c #Conflicts: 1177000 | #Constraints: 30704
1937.70/1943.28 c #Conflicts: 1178000 | #Constraints: 31706
1937.70/1943.28 c #Conflicts: 1179000 | #Constraints: 32706
1937.70/1943.28 c #Conflicts: 1180000 | #Constraints: 33715
1937.70/1943.28 c #Conflicts: 1181000 | #Constraints: 34728
1937.70/1943.28 c #Conflicts: 1182000 | #Constraints: 35728
1937.70/1943.28 c #Conflicts: 1183000 | #Constraints: 36728
1937.70/1943.28 c #Conflicts: 1184000 | #Constraints: 37728
1937.70/1943.28 c #Conflicts: 1185000 | #Constraints: 38728
1937.70/1943.28 c #Conflicts: 1186000 | #Constraints: 39728
1937.70/1943.28 c #Conflicts: 1187000 | #Constraints: 40728
1937.70/1943.28 c #Conflicts: 1188000 | #Constraints: 41728
1937.70/1943.28 c #Conflicts: 1189000 | #Constraints: 42728
1937.70/1943.28 c #Conflicts: 1190000 | #Constraints: 43728
1937.70/1943.28 c INPROCESSING
1937.70/1943.28 c GARBAGE COLLECT
1937.70/1943.28 c rational objective 1.99895
1999.74/2005.46 c #Conflicts: 1191000 | #Constraints: 22878
1999.74/2005.46 c #Conflicts: 1192000 | #Constraints: 23878
1999.74/2005.46 c #Conflicts: 1193000 | #Constraints: 24893
1999.74/2005.46 c #Conflicts: 1194000 | #Constraints: 26007
1999.74/2005.46 c #Conflicts: 1195000 | #Constraints: 27112
1999.74/2005.46 c #Conflicts: 1196000 | #Constraints: 28192
1999.74/2005.46 c #Conflicts: 1197000 | #Constraints: 29350
1999.74/2005.46 c #Conflicts: 1198000 | #Constraints: 30496
1999.74/2005.46 c #Conflicts: 1199000 | #Constraints: 31593
1999.74/2005.46 c #Conflicts: 1200000 | #Constraints: 32676
1999.74/2005.46 c #Conflicts: 1201000 | #Constraints: 33738
1999.74/2005.46 c #Conflicts: 1202000 | #Constraints: 34844
1999.74/2005.46 c #Conflicts: 1203000 | #Constraints: 35946
1999.74/2005.46 c #Conflicts: 1204000 | #Constraints: 37020
1999.74/2005.46 c #Conflicts: 1205000 | #Constraints: 38111
1999.74/2005.46 c #Conflicts: 1206000 | #Constraints: 39223
1999.74/2005.46 c #Conflicts: 1207000 | #Constraints: 40353
1999.74/2005.46 c #Conflicts: 1208000 | #Constraints: 41471
1999.74/2005.46 c #Conflicts: 1209000 | #Constraints: 42527
1999.74/2005.46 c #Conflicts: 1210000 | #Constraints: 43621
1999.74/2005.46 c #Conflicts: 1211000 | #Constraints: 44705
1999.74/2005.46 c #Conflicts: 1212000 | #Constraints: 45768
1999.74/2005.46 c INPROCESSING
1999.74/2005.46 c GARBAGE COLLECT
1999.74/2005.46 c rational objective 1.99895
2065.67/2071.59 c #Conflicts: 1213000 | #Constraints: 23969
2065.67/2071.59 c #Conflicts: 1214000 | #Constraints: 25028
2065.67/2071.59 c #Conflicts: 1215000 | #Constraints: 26084
2065.67/2071.59 c #Conflicts: 1216000 | #Constraints: 27149
2065.67/2071.59 c #Conflicts: 1217000 | #Constraints: 28248
2065.67/2071.59 c #Conflicts: 1218000 | #Constraints: 29323
2065.67/2071.59 c #Conflicts: 1219000 | #Constraints: 30417
2065.67/2071.59 c #Conflicts: 1220000 | #Constraints: 31521
2065.67/2071.59 c #Conflicts: 1221000 | #Constraints: 32595
2065.67/2071.59 c #Conflicts: 1222000 | #Constraints: 33695
2065.67/2071.59 c #Conflicts: 1223000 | #Constraints: 34780
2065.67/2071.59 c #Conflicts: 1224000 | #Constraints: 35879
2065.67/2071.59 c #Conflicts: 1225000 | #Constraints: 36969
2065.67/2071.59 c #Conflicts: 1226000 | #Constraints: 38066
2065.67/2071.59 c #Conflicts: 1227000 | #Constraints: 39168
2065.67/2071.59 c #Conflicts: 1228000 | #Constraints: 40278
2065.67/2071.59 c #Conflicts: 1229000 | #Constraints: 41382
2065.67/2071.59 c #Conflicts: 1230000 | #Constraints: 42458
2065.67/2071.59 c #Conflicts: 1231000 | #Constraints: 43578
2065.67/2071.59 c #Conflicts: 1232000 | #Constraints: 44675
2065.67/2071.59 c #Conflicts: 1233000 | #Constraints: 45771
2065.67/2071.59 c #Conflicts: 1234000 | #Constraints: 46886
2065.67/2071.59 c INPROCESSING
2065.67/2071.59 c GARBAGE COLLECT
2065.67/2071.59 c rational objective 1.99895
2125.91/2131.95 c #Conflicts: 1235000 | #Constraints: 24435
2125.91/2131.95 c #Conflicts: 1236000 | #Constraints: 25614
2125.91/2131.95 c #Conflicts: 1237000 | #Constraints: 26742
2125.91/2131.95 c #Conflicts: 1238000 | #Constraints: 27851
2125.91/2131.95 c #Conflicts: 1239000 | #Constraints: 28937
2125.91/2131.95 c #Conflicts: 1240000 | #Constraints: 30019
2125.91/2131.95 c #Conflicts: 1241000 | #Constraints: 31093
2125.91/2131.95 c #Conflicts: 1242000 | #Constraints: 32253
2125.91/2131.95 c #Conflicts: 1243000 | #Constraints: 33378
2125.91/2131.95 c #Conflicts: 1244000 | #Constraints: 34491
2125.91/2131.95 c #Conflicts: 1245000 | #Constraints: 35641
2125.91/2131.95 c #Conflicts: 1246000 | #Constraints: 36800
2125.91/2131.95 c #Conflicts: 1247000 | #Constraints: 37912
2125.91/2131.95 c #Conflicts: 1248000 | #Constraints: 39052
2125.91/2131.95 c #Conflicts: 1249000 | #Constraints: 40125
2125.91/2131.95 c #Conflicts: 1250000 | #Constraints: 41186
2125.91/2131.95 c #Conflicts: 1251000 | #Constraints: 42296
2125.91/2131.95 c #Conflicts: 1252000 | #Constraints: 43388
2125.91/2131.95 c #Conflicts: 1253000 | #Constraints: 44484
2125.91/2131.95 c #Conflicts: 1254000 | #Constraints: 45609
2125.91/2131.95 c #Conflicts: 1255000 | #Constraints: 46729
2125.91/2131.95 c #Conflicts: 1256000 | #Constraints: 47832
2125.91/2131.95 c INPROCESSING
2125.91/2131.95 c GARBAGE COLLECT
2125.91/2131.95 c rational objective 1.99895
2195.53/2201.79 c #Conflicts: 1257000 | #Constraints: 24662
2195.53/2201.79 c #Conflicts: 1258000 | #Constraints: 25737
2195.53/2201.79 c #Conflicts: 1259000 | #Constraints: 26796
2195.53/2201.79 c #Conflicts: 1260000 | #Constraints: 27876
2195.53/2201.79 c #Conflicts: 1261000 | #Constraints: 28904
2195.53/2201.79 c #Conflicts: 1262000 | #Constraints: 29975
2195.53/2201.79 c #Conflicts: 1263000 | #Constraints: 31065
2195.53/2201.79 c #Conflicts: 1264000 | #Constraints: 32143
2195.53/2201.79 c #Conflicts: 1265000 | #Constraints: 33218
2195.53/2201.79 c #Conflicts: 1266000 | #Constraints: 34322
2195.53/2201.79 c #Conflicts: 1267000 | #Constraints: 35434
2195.53/2201.79 c #Conflicts: 1268000 | #Constraints: 36555
2195.53/2201.79 c #Conflicts: 1269000 | #Constraints: 37625
2195.53/2201.79 c #Conflicts: 1270000 | #Constraints: 38657
2195.53/2201.79 c #Conflicts: 1271000 | #Constraints: 39699
2195.53/2201.79 c #Conflicts: 1272000 | #Constraints: 40730
2195.53/2201.79 c #Conflicts: 1273000 | #Constraints: 41775
2195.53/2201.79 c #Conflicts: 1274000 | #Constraints: 42811
2195.53/2201.79 c #Conflicts: 1275000 | #Constraints: 43894
2195.53/2201.79 c #Conflicts: 1276000 | #Constraints: 44948
2195.53/2201.79 c #Conflicts: 1277000 | #Constraints: 46018
2195.53/2201.79 c #Conflicts: 1278000 | #Constraints: 47147
2195.53/2201.79 c #Conflicts: 1279000 | #Constraints: 48225
2195.53/2201.79 c INPROCESSING
2195.53/2201.79 c GARBAGE COLLECT
2195.53/2201.79 c rational objective 1.99895
2268.73/2275.18 c #Conflicts: 1280000 | #Constraints: 25088
2268.73/2275.18 c #Conflicts: 1281000 | #Constraints: 26150
2268.73/2275.18 c #Conflicts: 1282000 | #Constraints: 27202
2268.73/2275.18 c #Conflicts: 1283000 | #Constraints: 28202
2268.73/2275.18 c #Conflicts: 1284000 | #Constraints: 29248
2268.73/2275.18 c #Conflicts: 1285000 | #Constraints: 30290
2268.73/2275.18 c #Conflicts: 1286000 | #Constraints: 31342
2268.73/2275.18 c #Conflicts: 1287000 | #Constraints: 32393
2268.73/2275.18 c #Conflicts: 1288000 | #Constraints: 33432
2268.73/2275.18 c #Conflicts: 1289000 | #Constraints: 34503
2268.73/2275.18 c #Conflicts: 1290000 | #Constraints: 35599
2268.73/2275.18 c #Conflicts: 1291000 | #Constraints: 36736
2268.73/2275.18 c #Conflicts: 1292000 | #Constraints: 37821
2268.73/2275.18 c #Conflicts: 1293000 | #Constraints: 38906
2268.73/2275.18 c #Conflicts: 1294000 | #Constraints: 40052
2268.73/2275.18 c #Conflicts: 1295000 | #Constraints: 41148
2268.73/2275.18 c #Conflicts: 1296000 | #Constraints: 42197
2268.73/2275.18 c #Conflicts: 1297000 | #Constraints: 43266
2268.73/2275.18 c #Conflicts: 1298000 | #Constraints: 44313
2268.73/2275.18 c #Conflicts: 1299000 | #Constraints: 45370
2268.73/2275.18 c #Conflicts: 1300000 | #Constraints: 46430
2268.73/2275.18 c #Conflicts: 1301000 | #Constraints: 47504
2268.73/2275.18 c #Conflicts: 1302000 | #Constraints: 48554
2268.73/2275.18 c INPROCESSING
2268.73/2275.18 c GARBAGE COLLECT
2268.73/2275.18 c rational objective 1.99895
2336.46/2343.08 c #Conflicts: 1303000 | #Constraints: 25306
2336.46/2343.08 c #Conflicts: 1304000 | #Constraints: 26319
2336.46/2343.08 c #Conflicts: 1305000 | #Constraints: 27355
2336.46/2343.08 c #Conflicts: 1306000 | #Constraints: 28376
2336.46/2343.08 c #Conflicts: 1307000 | #Constraints: 29376
2336.46/2343.08 c #Conflicts: 1308000 | #Constraints: 30376
2336.46/2343.08 c #Conflicts: 1309000 | #Constraints: 31376
2336.46/2343.08 c #Conflicts: 1310000 | #Constraints: 32376
2336.46/2343.08 c #Conflicts: 1311000 | #Constraints: 33376
2336.46/2343.08 c #Conflicts: 1312000 | #Constraints: 34376
2336.46/2343.08 c #Conflicts: 1313000 | #Constraints: 35376
2336.46/2343.08 c #Conflicts: 1314000 | #Constraints: 36376
2336.46/2343.08 c #Conflicts: 1315000 | #Constraints: 37376
2336.46/2343.08 c #Conflicts: 1316000 | #Constraints: 38376
2336.46/2343.08 c #Conflicts: 1317000 | #Constraints: 39376
2336.46/2343.08 c #Conflicts: 1318000 | #Constraints: 40376
2336.46/2343.08 c #Conflicts: 1319000 | #Constraints: 41376
2336.46/2343.08 c #Conflicts: 1320000 | #Constraints: 42376
2336.46/2343.08 c #Conflicts: 1321000 | #Constraints: 43376
2336.46/2343.08 c #Conflicts: 1322000 | #Constraints: 44376
2336.46/2343.08 c #Conflicts: 1323000 | #Constraints: 45376
2336.46/2343.08 c #Conflicts: 1324000 | #Constraints: 46376
2336.46/2343.08 c #Conflicts: 1325000 | #Constraints: 47376
2336.46/2343.08 c INPROCESSING
2336.46/2343.08 c GARBAGE COLLECT
2336.46/2343.08 c rational objective 1.99895
2393.80/2400.55 c #Conflicts: 1326000 | #Constraints: 24737
2393.80/2400.55 c #Conflicts: 1327000 | #Constraints: 25824
2393.80/2400.55 c #Conflicts: 1328000 | #Constraints: 26852
2393.80/2400.55 c #Conflicts: 1329000 | #Constraints: 27852
2393.80/2400.55 c #Conflicts: 1330000 | #Constraints: 28852
2393.80/2400.55 c #Conflicts: 1331000 | #Constraints: 29852
2393.80/2400.55 c #Conflicts: 1332000 | #Constraints: 30852
2393.80/2400.55 c #Conflicts: 1333000 | #Constraints: 31852
2393.80/2400.55 c #Conflicts: 1334000 | #Constraints: 32852
2393.80/2400.55 c #Conflicts: 1335000 | #Constraints: 33852
2393.80/2400.55 c #Conflicts: 1336000 | #Constraints: 34852
2393.80/2400.55 c #Conflicts: 1337000 | #Constraints: 35852
2393.80/2400.55 c #Conflicts: 1338000 | #Constraints: 36852
2393.80/2400.55 c #Conflicts: 1339000 | #Constraints: 37852
2393.80/2400.55 c #Conflicts: 1340000 | #Constraints: 38852
2393.80/2400.55 c #Conflicts: 1341000 | #Constraints: 39852
2393.80/2400.55 c #Conflicts: 1342000 | #Constraints: 40852
2393.80/2400.55 c #Conflicts: 1343000 | #Constraints: 41852
2393.80/2400.55 c #Conflicts: 1344000 | #Constraints: 42852
2393.80/2400.55 c #Conflicts: 1345000 | #Constraints: 43852
2393.80/2400.55 c #Conflicts: 1346000 | #Constraints: 44852
2393.80/2400.55 c #Conflicts: 1347000 | #Constraints: 45852
2393.80/2400.55 c #Conflicts: 1348000 | #Constraints: 46852
2393.80/2400.55 c INPROCESSING
2393.80/2400.55 c GARBAGE COLLECT
2393.80/2400.55 c rational objective 1.99895
2459.64/2466.50 c #Conflicts: 1349000 | #Constraints: 24424
2459.64/2466.50 c #Conflicts: 1350000 | #Constraints: 25568
2459.64/2466.50 c #Conflicts: 1351000 | #Constraints: 26746
2459.64/2466.50 c #Conflicts: 1352000 | #Constraints: 27887
2459.64/2466.50 c #Conflicts: 1353000 | #Constraints: 29058
2459.64/2466.50 c #Conflicts: 1354000 | #Constraints: 30202
2459.64/2466.50 c #Conflicts: 1355000 | #Constraints: 31326
2459.64/2466.50 c #Conflicts: 1356000 | #Constraints: 32485
2459.64/2466.50 c #Conflicts: 1357000 | #Constraints: 33648
2459.64/2466.50 c #Conflicts: 1358000 | #Constraints: 34795
2459.64/2466.50 c #Conflicts: 1359000 | #Constraints: 35940
2459.64/2466.50 c #Conflicts: 1360000 | #Constraints: 37049
2459.64/2466.50 c #Conflicts: 1361000 | #Constraints: 38160
2459.64/2466.50 c #Conflicts: 1362000 | #Constraints: 39269
2459.64/2466.50 c #Conflicts: 1363000 | #Constraints: 40391
2459.64/2466.50 c #Conflicts: 1364000 | #Constraints: 41488
2459.64/2466.50 c #Conflicts: 1365000 | #Constraints: 42603
2459.64/2466.50 c #Conflicts: 1366000 | #Constraints: 43693
2459.64/2466.50 c #Conflicts: 1367000 | #Constraints: 44785
2459.64/2466.50 c #Conflicts: 1368000 | #Constraints: 45902
2459.64/2466.50 c #Conflicts: 1369000 | #Constraints: 46981
2459.64/2466.50 c #Conflicts: 1370000 | #Constraints: 48070
2459.64/2466.50 c #Conflicts: 1371000 | #Constraints: 49179
2459.64/2466.50 c INPROCESSING
2459.64/2466.50 c GARBAGE COLLECT
2459.64/2466.50 c rational objective 1.99895
2530.46/2537.51 c #Conflicts: 1372000 | #Constraints: 25368
2530.46/2537.51 c #Conflicts: 1373000 | #Constraints: 26480
2530.46/2537.51 c #Conflicts: 1374000 | #Constraints: 27609
2530.46/2537.51 c #Conflicts: 1375000 | #Constraints: 28686
2530.46/2537.51 c #Conflicts: 1376000 | #Constraints: 29744
2530.46/2537.51 c #Conflicts: 1377000 | #Constraints: 30816
2530.46/2537.51 c #Conflicts: 1378000 | #Constraints: 31865
2530.46/2537.51 c #Conflicts: 1379000 | #Constraints: 32968
2530.46/2537.51 c #Conflicts: 1380000 | #Constraints: 34090
2530.46/2537.51 c #Conflicts: 1381000 | #Constraints: 35204
2530.46/2537.51 c #Conflicts: 1382000 | #Constraints: 36269
2530.46/2537.51 c #Conflicts: 1383000 | #Constraints: 37327
2530.46/2537.51 c #Conflicts: 1384000 | #Constraints: 38398
2530.46/2537.51 c #Conflicts: 1385000 | #Constraints: 39471
2530.46/2537.51 c #Conflicts: 1386000 | #Constraints: 40548
2530.46/2537.51 c #Conflicts: 1387000 | #Constraints: 41645
2530.46/2537.51 c #Conflicts: 1388000 | #Constraints: 42701
2530.46/2537.51 c #Conflicts: 1389000 | #Constraints: 43777
2530.46/2537.51 c #Conflicts: 1390000 | #Constraints: 44839
2530.46/2537.51 c #Conflicts: 1391000 | #Constraints: 45939
2530.46/2537.51 c #Conflicts: 1392000 | #Constraints: 47004
2530.46/2537.51 c #Conflicts: 1393000 | #Constraints: 48044
2530.46/2537.51 c #Conflicts: 1394000 | #Constraints: 49087
2530.46/2537.51 c #Conflicts: 1395000 | #Constraints: 50126
2530.46/2537.51 c INPROCESSING
2530.46/2537.51 c GARBAGE COLLECT
2530.46/2537.51 c rational objective 1.99895
2602.08/2609.39 c #Conflicts: 1396000 | #Constraints: 26042
2602.08/2609.39 c #Conflicts: 1397000 | #Constraints: 27082
2602.08/2609.39 c #Conflicts: 1398000 | #Constraints: 28082
2602.08/2609.39 c #Conflicts: 1399000 | #Constraints: 29082
2602.08/2609.39 c #Conflicts: 1400000 | #Constraints: 30082
2602.08/2609.39 c #Conflicts: 1401000 | #Constraints: 31082
2602.08/2609.39 c #Conflicts: 1402000 | #Constraints: 32082
2602.08/2609.39 c #Conflicts: 1403000 | #Constraints: 33082
2602.08/2609.39 c #Conflicts: 1404000 | #Constraints: 34082
2602.08/2609.39 c #Conflicts: 1405000 | #Constraints: 35082
2602.08/2609.39 c #Conflicts: 1406000 | #Constraints: 36101
2602.08/2609.39 c #Conflicts: 1407000 | #Constraints: 37141
2602.08/2609.39 c #Conflicts: 1408000 | #Constraints: 38176
2602.08/2609.39 c #Conflicts: 1409000 | #Constraints: 39212
2602.08/2609.39 c #Conflicts: 1410000 | #Constraints: 40253
2602.08/2609.39 c #Conflicts: 1411000 | #Constraints: 41282
2602.08/2609.39 c #Conflicts: 1412000 | #Constraints: 42322
2602.08/2609.39 c #Conflicts: 1413000 | #Constraints: 43353
2602.08/2609.39 c #Conflicts: 1414000 | #Constraints: 44388
2602.08/2609.39 c #Conflicts: 1415000 | #Constraints: 45420
2602.08/2609.39 c #Conflicts: 1416000 | #Constraints: 46459
2602.08/2609.39 c #Conflicts: 1417000 | #Constraints: 47506
2602.08/2609.39 c #Conflicts: 1418000 | #Constraints: 48547
2602.08/2609.39 c #Conflicts: 1419000 | #Constraints: 49668
2602.08/2609.39 c INPROCESSING
2602.08/2609.39 c GARBAGE COLLECT
2602.08/2609.39 c rational objective 1.99895
2668.31/2675.78 c #Conflicts: 1420000 | #Constraints: 25873
2668.31/2675.78 c #Conflicts: 1421000 | #Constraints: 26900
2668.31/2675.78 c #Conflicts: 1422000 | #Constraints: 27921
2668.31/2675.78 c #Conflicts: 1423000 | #Constraints: 28985
2668.31/2675.78 c #Conflicts: 1424000 | #Constraints: 30038
2668.31/2675.78 c #Conflicts: 1425000 | #Constraints: 31073
2668.31/2675.78 c #Conflicts: 1426000 | #Constraints: 32105
2668.31/2675.78 c #Conflicts: 1427000 | #Constraints: 33112
2668.31/2675.78 c #Conflicts: 1428000 | #Constraints: 34112
2668.31/2675.78 c #Conflicts: 1429000 | #Constraints: 35112
2668.31/2675.78 c #Conflicts: 1430000 | #Constraints: 36112
2668.31/2675.78 c #Conflicts: 1431000 | #Constraints: 37112
2668.31/2675.78 c #Conflicts: 1432000 | #Constraints: 38112
2668.31/2675.78 c #Conflicts: 1433000 | #Constraints: 39112
2668.31/2675.78 c #Conflicts: 1434000 | #Constraints: 40112
2668.31/2675.78 c #Conflicts: 1435000 | #Constraints: 41112
2668.31/2675.78 c #Conflicts: 1436000 | #Constraints: 42112
2668.31/2675.78 c #Conflicts: 1437000 | #Constraints: 43112
2668.31/2675.78 c #Conflicts: 1438000 | #Constraints: 44112
2668.31/2675.78 c #Conflicts: 1439000 | #Constraints: 45112
2668.31/2675.78 c #Conflicts: 1440000 | #Constraints: 46112
2668.31/2675.78 c #Conflicts: 1441000 | #Constraints: 47112
2668.31/2675.78 c #Conflicts: 1442000 | #Constraints: 48112
2668.31/2675.78 c #Conflicts: 1443000 | #Constraints: 49112
2668.31/2675.78 c INPROCESSING
2668.31/2675.78 c GARBAGE COLLECT
2668.31/2675.78 c rational objective 1.99895
2746.91/2754.50 c #Conflicts: 1444000 | #Constraints: 25666
2746.91/2754.50 c #Conflicts: 1445000 | #Constraints: 26762
2746.91/2754.50 c #Conflicts: 1446000 | #Constraints: 27845
2746.91/2754.50 c #Conflicts: 1447000 | #Constraints: 28932
2746.91/2754.50 c #Conflicts: 1448000 | #Constraints: 30015
2746.91/2754.50 c #Conflicts: 1449000 | #Constraints: 31209
2746.91/2754.50 c #Conflicts: 1450000 | #Constraints: 32352
2746.91/2754.50 c #Conflicts: 1451000 | #Constraints: 33510
2746.91/2754.50 c #Conflicts: 1452000 | #Constraints: 34661
2746.91/2754.50 c #Conflicts: 1453000 | #Constraints: 35819
2746.91/2754.50 c #Conflicts: 1454000 | #Constraints: 36954
2746.91/2754.50 c #Conflicts: 1455000 | #Constraints: 38074
2746.91/2754.50 c #Conflicts: 1456000 | #Constraints: 39204
2746.91/2754.50 c #Conflicts: 1457000 | #Constraints: 40347
2746.91/2754.50 c #Conflicts: 1458000 | #Constraints: 41473
2746.91/2754.50 c #Conflicts: 1459000 | #Constraints: 42582
2746.91/2754.50 c #Conflicts: 1460000 | #Constraints: 43746
2746.91/2754.50 c #Conflicts: 1461000 | #Constraints: 44859
2746.91/2754.50 c #Conflicts: 1462000 | #Constraints: 45946
2746.91/2754.50 c #Conflicts: 1463000 | #Constraints: 47041
2746.91/2754.50 c #Conflicts: 1464000 | #Constraints: 48102
2746.91/2754.50 c #Conflicts: 1465000 | #Constraints: 49184
2746.91/2754.50 c #Conflicts: 1466000 | #Constraints: 50278
2746.91/2754.50 c #Conflicts: 1467000 | #Constraints: 51391
2746.91/2754.50 c INPROCESSING
2746.91/2754.50 c GARBAGE COLLECT
2746.91/2754.50 c rational objective 1.99895
2834.99/2842.81 c #Conflicts: 1468000 | #Constraints: 26679
2834.99/2842.81 c #Conflicts: 1469000 | #Constraints: 27755
2834.99/2842.81 c #Conflicts: 1470000 | #Constraints: 28872
2834.99/2842.81 c #Conflicts: 1471000 | #Constraints: 29948
2834.99/2842.81 c #Conflicts: 1472000 | #Constraints: 31026
2834.99/2842.81 c #Conflicts: 1473000 | #Constraints: 32113
2834.99/2842.81 c #Conflicts: 1474000 | #Constraints: 33184
2834.99/2842.81 c #Conflicts: 1475000 | #Constraints: 34322
2834.99/2842.81 c #Conflicts: 1476000 | #Constraints: 35418
2834.99/2842.81 c #Conflicts: 1477000 | #Constraints: 36527
2834.99/2842.81 c #Conflicts: 1478000 | #Constraints: 37652
2834.99/2842.81 c #Conflicts: 1479000 | #Constraints: 38803
2834.99/2842.81 c #Conflicts: 1480000 | #Constraints: 39903
2834.99/2842.81 c #Conflicts: 1481000 | #Constraints: 41041
2834.99/2842.81 c #Conflicts: 1482000 | #Constraints: 42159
2834.99/2842.81 c #Conflicts: 1483000 | #Constraints: 43250
2834.99/2842.81 c #Conflicts: 1484000 | #Constraints: 44347
2834.99/2842.81 c #Conflicts: 1485000 | #Constraints: 45428
2834.99/2842.81 c #Conflicts: 1486000 | #Constraints: 46538
2834.99/2842.81 c #Conflicts: 1487000 | #Constraints: 47611
2834.99/2842.81 c #Conflicts: 1488000 | #Constraints: 48704
2834.99/2842.81 c #Conflicts: 1489000 | #Constraints: 49805
2834.99/2842.81 c #Conflicts: 1490000 | #Constraints: 50954
2834.99/2842.81 c #Conflicts: 1491000 | #Constraints: 52033
2834.99/2842.81 c INPROCESSING
2834.99/2842.81 c GARBAGE COLLECT
2834.99/2842.81 c rational objective 1.99899
2917.18/2925.28 c #Conflicts: 1492000 | #Constraints: 26755
2917.18/2925.28 c #Conflicts: 1493000 | #Constraints: 27811
2917.18/2925.28 c #Conflicts: 1494000 | #Constraints: 28873
2917.18/2925.28 c #Conflicts: 1495000 | #Constraints: 29956
2917.18/2925.28 c #Conflicts: 1496000 | #Constraints: 31058
2917.18/2925.28 c #Conflicts: 1497000 | #Constraints: 32108
2917.18/2925.28 c #Conflicts: 1498000 | #Constraints: 33202
2917.18/2925.28 c #Conflicts: 1499000 | #Constraints: 34274
2917.18/2925.28 c #Conflicts: 1500000 | #Constraints: 35339
2917.18/2925.28 c #Conflicts: 1501000 | #Constraints: 36394
2917.18/2925.28 c #Conflicts: 1502000 | #Constraints: 37455
2917.18/2925.28 c #Conflicts: 1503000 | #Constraints: 38511
2917.18/2925.28 c #Conflicts: 1504000 | #Constraints: 39569
2917.18/2925.28 c #Conflicts: 1505000 | #Constraints: 40634
2917.18/2925.28 c #Conflicts: 1506000 | #Constraints: 41767
2917.18/2925.28 c #Conflicts: 1507000 | #Constraints: 42829
2917.18/2925.28 c #Conflicts: 1508000 | #Constraints: 43906
2917.18/2925.28 c #Conflicts: 1509000 | #Constraints: 44978
2917.18/2925.28 c #Conflicts: 1510000 | #Constraints: 46077
2917.18/2925.28 c #Conflicts: 1511000 | #Constraints: 47078
2917.18/2925.28 c #Conflicts: 1512000 | #Constraints: 48134
2917.18/2925.28 c #Conflicts: 1513000 | #Constraints: 49189
2917.18/2925.28 c #Conflicts: 1514000 | #Constraints: 50289
2917.18/2925.28 c #Conflicts: 1515000 | #Constraints: 51362
2917.18/2925.28 c #Conflicts: 1516000 | #Constraints: 52437
2917.18/2925.28 c INPROCESSING
2917.18/2925.28 c GARBAGE COLLECT
2917.18/2925.28 c rational objective 2.00816
3003.16/3011.44 c #Conflicts: 1517000 | #Constraints: 27219
3003.16/3011.44 c #Conflicts: 1518000 | #Constraints: 28300
3003.16/3011.44 c #Conflicts: 1519000 | #Constraints: 29392
3003.16/3011.44 c #Conflicts: 1520000 | #Constraints: 30571
3003.16/3011.44 c #Conflicts: 1521000 | #Constraints: 31687
3003.16/3011.44 c #Conflicts: 1522000 | #Constraints: 32794
3003.16/3011.44 c #Conflicts: 1523000 | #Constraints: 33895
3003.16/3011.44 c #Conflicts: 1524000 | #Constraints: 35036
3003.16/3011.44 c #Conflicts: 1525000 | #Constraints: 36144
3003.16/3011.44 c #Conflicts: 1526000 | #Constraints: 37217
3003.16/3011.44 c #Conflicts: 1527000 | #Constraints: 38309
3003.16/3011.44 c #Conflicts: 1528000 | #Constraints: 39309
3003.16/3011.44 c #Conflicts: 1529000 | #Constraints: 40309
3003.16/3011.44 c #Conflicts: 1530000 | #Constraints: 41309
3003.16/3011.44 c #Conflicts: 1531000 | #Constraints: 42309
3003.16/3011.44 c #Conflicts: 1532000 | #Constraints: 43309
3003.16/3011.44 c #Conflicts: 1533000 | #Constraints: 44309
3003.16/3011.44 c #Conflicts: 1534000 | #Constraints: 45309
3003.16/3011.44 c #Conflicts: 1535000 | #Constraints: 46360
3003.16/3011.44 c #Conflicts: 1536000 | #Constraints: 47449
3003.16/3011.44 c #Conflicts: 1537000 | #Constraints: 48541
3003.16/3011.44 c #Conflicts: 1538000 | #Constraints: 49647
3003.16/3011.44 c #Conflicts: 1539000 | #Constraints: 50748
3003.16/3011.44 c #Conflicts: 1540000 | #Constraints: 51874
3003.16/3011.44 c #Conflicts: 1541000 | #Constraints: 52984
3003.16/3011.44 c INPROCESSING
3003.16/3011.44 c GARBAGE COLLECT
3003.16/3011.44 c rational objective 2.21162
3092.62/3101.13 c #Conflicts: 1542000 | #Constraints: 27558
3092.62/3101.13 c #Conflicts: 1543000 | #Constraints: 28634
3092.62/3101.13 c #Conflicts: 1544000 | #Constraints: 29749
3092.62/3101.13 c #Conflicts: 1545000 | #Constraints: 30883
3092.62/3101.13 c #Conflicts: 1546000 | #Constraints: 31992
3092.62/3101.13 c #Conflicts: 1547000 | #Constraints: 33057
3092.62/3101.13 c #Conflicts: 1548000 | #Constraints: 34117
3092.62/3101.13 c #Conflicts: 1549000 | #Constraints: 35204
3092.62/3101.13 c #Conflicts: 1550000 | #Constraints: 36364
3092.62/3101.13 c #Conflicts: 1551000 | #Constraints: 37450
3092.62/3101.13 c #Conflicts: 1552000 | #Constraints: 38644
3092.62/3101.13 c #Conflicts: 1553000 | #Constraints: 39839
3092.62/3101.13 c #Conflicts: 1554000 | #Constraints: 41004
3092.62/3101.13 c #Conflicts: 1555000 | #Constraints: 42201
3092.62/3101.13 c #Conflicts: 1556000 | #Constraints: 43341
3092.62/3101.13 c #Conflicts: 1557000 | #Constraints: 44499
3092.62/3101.13 c #Conflicts: 1558000 | #Constraints: 45650
3092.62/3101.13 c #Conflicts: 1559000 | #Constraints: 46841
3092.62/3101.13 c #Conflicts: 1560000 | #Constraints: 48022
3092.62/3101.13 c #Conflicts: 1561000 | #Constraints: 49205
3092.62/3101.13 c #Conflicts: 1562000 | #Constraints: 50437
3092.62/3101.13 c #Conflicts: 1563000 | #Constraints: 51666
3092.62/3101.13 c #Conflicts: 1564000 | #Constraints: 52858
3092.62/3101.13 c #Conflicts: 1565000 | #Constraints: 54065
3092.62/3101.13 c #Conflicts: 1566000 | #Constraints: 55255
3092.62/3101.13 c INPROCESSING
3092.62/3101.13 c GARBAGE COLLECT
3092.62/3101.13 c rational objective 2.33509
3190.87/3199.69 c #Conflicts: 1567000 | #Constraints: 28687
3190.87/3199.69 c #Conflicts: 1568000 | #Constraints: 29727
3190.87/3199.69 c #Conflicts: 1569000 | #Constraints: 30802
3190.87/3199.69 c #Conflicts: 1570000 | #Constraints: 31867
3190.87/3199.69 c #Conflicts: 1571000 | #Constraints: 32989
3190.87/3199.69 c #Conflicts: 1572000 | #Constraints: 34066
3190.87/3199.69 c #Conflicts: 1573000 | #Constraints: 35119
3190.87/3199.69 c #Conflicts: 1574000 | #Constraints: 36192
3190.87/3199.69 c #Conflicts: 1575000 | #Constraints: 37448
3190.87/3199.69 c #Conflicts: 1576000 | #Constraints: 38466
3190.87/3199.69 c #Conflicts: 1577000 | #Constraints: 39507
3190.87/3199.69 c #Conflicts: 1578000 | #Constraints: 40536
3190.87/3199.69 c #Conflicts: 1579000 | #Constraints: 41586
3190.87/3199.69 c #Conflicts: 1580000 | #Constraints: 42619
3190.87/3199.69 c #Conflicts: 1581000 | #Constraints: 43659
3190.87/3199.69 c #Conflicts: 1582000 | #Constraints: 44704
3190.87/3199.69 c #Conflicts: 1583000 | #Constraints: 45741
3190.87/3199.69 c #Conflicts: 1584000 | #Constraints: 46778
3190.87/3199.69 c #Conflicts: 1585000 | #Constraints: 47836
3190.87/3199.69 c #Conflicts: 1586000 | #Constraints: 48902
3190.87/3199.69 c #Conflicts: 1587000 | #Constraints: 49939
3190.87/3199.69 c #Conflicts: 1588000 | #Constraints: 50987
3190.87/3199.69 c #Conflicts: 1589000 | #Constraints: 52025
3190.87/3199.69 c #Conflicts: 1590000 | #Constraints: 53082
3190.87/3199.69 c #Conflicts: 1591000 | #Constraints: 54129
3190.87/3199.69 c INPROCESSING
3190.87/3199.69 c GARBAGE COLLECT
3190.87/3199.69 c rational objective 2.15646
3279.65/3288.66 c #Conflicts: 1592000 | #Constraints: 28008
3279.65/3288.66 c #Conflicts: 1593000 | #Constraints: 29063
3279.65/3288.66 c #Conflicts: 1594000 | #Constraints: 30106
3279.65/3288.66 c #Conflicts: 1595000 | #Constraints: 31152
3279.65/3288.66 c #Conflicts: 1596000 | #Constraints: 32198
3279.65/3288.66 c #Conflicts: 1597000 | #Constraints: 33228
3279.65/3288.66 c #Conflicts: 1598000 | #Constraints: 34254
3279.65/3288.66 c #Conflicts: 1599000 | #Constraints: 35300
3279.65/3288.66 c #Conflicts: 1600000 | #Constraints: 36341
3279.65/3288.66 c #Conflicts: 1601000 | #Constraints: 37407
3279.65/3288.66 c #Conflicts: 1602000 | #Constraints: 38416
3279.65/3288.66 c #Conflicts: 1603000 | #Constraints: 39416
3279.65/3288.66 c #Conflicts: 1604000 | #Constraints: 40421
3279.65/3288.66 c #Conflicts: 1605000 | #Constraints: 41421
3279.65/3288.66 c #Conflicts: 1606000 | #Constraints: 42421
3279.65/3288.66 c #Conflicts: 1607000 | #Constraints: 43421
3279.65/3288.66 c #Conflicts: 1608000 | #Constraints: 44421
3279.65/3288.66 c #Conflicts: 1609000 | #Constraints: 45421
3279.65/3288.66 c #Conflicts: 1610000 | #Constraints: 46421
3279.65/3288.66 c #Conflicts: 1611000 | #Constraints: 47421
3279.65/3288.66 c #Conflicts: 1612000 | #Constraints: 48421
3279.65/3288.66 c #Conflicts: 1613000 | #Constraints: 49421
3279.65/3288.66 c #Conflicts: 1614000 | #Constraints: 50421
3279.65/3288.66 c #Conflicts: 1615000 | #Constraints: 51421
3279.65/3288.66 c #Conflicts: 1616000 | #Constraints: 52421
3279.65/3288.66 c INPROCESSING
3279.65/3288.66 c GARBAGE COLLECT
3279.65/3288.66 c rational objective 2.25405
3376.30/3385.51 c #Conflicts: 1617000 | #Constraints: 26918
3376.30/3385.51 c #Conflicts: 1618000 | #Constraints: 27961
3376.30/3385.51 c #Conflicts: 1619000 | #Constraints: 29015
3376.30/3385.51 c #Conflicts: 1620000 | #Constraints: 30100
3376.30/3385.51 c #Conflicts: 1621000 | #Constraints: 31117
3376.30/3385.51 c #Conflicts: 1622000 | #Constraints: 32117
3376.30/3385.51 c #Conflicts: 1623000 | #Constraints: 33117
3376.30/3385.51 c #Conflicts: 1624000 | #Constraints: 34148
3376.30/3385.51 c #Conflicts: 1625000 | #Constraints: 35182
3376.30/3385.51 c #Conflicts: 1626000 | #Constraints: 36235
3376.30/3385.51 c #Conflicts: 1627000 | #Constraints: 37245
3376.30/3385.51 c #Conflicts: 1628000 | #Constraints: 38245
3376.30/3385.51 c #Conflicts: 1629000 | #Constraints: 39289
3376.30/3385.51 c #Conflicts: 1630000 | #Constraints: 40327
3376.30/3385.51 c #Conflicts: 1631000 | #Constraints: 41370
3376.30/3385.51 c #Conflicts: 1632000 | #Constraints: 42420
3376.30/3385.51 c #Conflicts: 1633000 | #Constraints: 43468
3376.30/3385.51 c #Conflicts: 1634000 | #Constraints: 44511
3376.30/3385.51 c #Conflicts: 1635000 | #Constraints: 45552
3376.30/3385.51 c #Conflicts: 1636000 | #Constraints: 46564
3376.30/3385.51 c #Conflicts: 1637000 | #Constraints: 47564
3376.30/3385.51 c #Conflicts: 1638000 | #Constraints: 48564
3376.30/3385.51 c #Conflicts: 1639000 | #Constraints: 49564
3376.30/3385.51 c #Conflicts: 1640000 | #Constraints: 50564
3376.30/3385.51 c #Conflicts: 1641000 | #Constraints: 51564
3376.30/3385.51 c #Conflicts: 1642000 | #Constraints: 52564
3376.30/3385.51 c INPROCESSING
3376.30/3385.51 c GARBAGE COLLECT
3376.30/3385.51 c rational objective 2.26744
3457.60/3467.01 c #Conflicts: 1643000 | #Constraints: 27218
3457.60/3467.01 c #Conflicts: 1644000 | #Constraints: 28241
3457.60/3467.01 c #Conflicts: 1645000 | #Constraints: 29287
3457.60/3467.01 c #Conflicts: 1646000 | #Constraints: 30331
3457.60/3467.01 c #Conflicts: 1647000 | #Constraints: 31341
3457.60/3467.01 c #Conflicts: 1648000 | #Constraints: 32378
3457.60/3467.01 c #Conflicts: 1649000 | #Constraints: 33384
3457.60/3467.01 c #Conflicts: 1650000 | #Constraints: 34384
3457.60/3467.01 c #Conflicts: 1651000 | #Constraints: 35434
3457.60/3467.01 c #Conflicts: 1652000 | #Constraints: 36474
3457.60/3467.01 c #Conflicts: 1653000 | #Constraints: 37518
3457.60/3467.01 c #Conflicts: 1654000 | #Constraints: 38556
3457.60/3467.01 c #Conflicts: 1655000 | #Constraints: 39596
3457.60/3467.01 c #Conflicts: 1656000 | #Constraints: 40617
3457.60/3467.01 c #Conflicts: 1657000 | #Constraints: 41669
3457.60/3467.01 c #Conflicts: 1658000 | #Constraints: 42738
3457.60/3467.01 c #Conflicts: 1659000 | #Constraints: 43775
3457.60/3467.01 c #Conflicts: 1660000 | #Constraints: 44839
3457.60/3467.01 c #Conflicts: 1661000 | #Constraints: 45885
3457.60/3467.01 c #Conflicts: 1662000 | #Constraints: 46927
3457.60/3467.01 c #Conflicts: 1663000 | #Constraints: 47973
3457.60/3467.01 c #Conflicts: 1664000 | #Constraints: 49015
3457.60/3467.01 c #Conflicts: 1665000 | #Constraints: 50054
3457.60/3467.01 c #Conflicts: 1666000 | #Constraints: 51084
3457.60/3467.01 c #Conflicts: 1667000 | #Constraints: 52125
3457.60/3467.01 c #Conflicts: 1668000 | #Constraints: 53165
3457.60/3467.01 c INPROCESSING
3457.60/3467.01 c GARBAGE COLLECT
3457.60/3467.01 c rational objective 2.26744
3547.94/3557.67 c #Conflicts: 1669000 | #Constraints: 27597
3547.94/3557.67 c #Conflicts: 1670000 | #Constraints: 28628
3547.94/3557.67 c #Conflicts: 1671000 | #Constraints: 29677
3547.94/3557.67 c #Conflicts: 1672000 | #Constraints: 30711
3547.94/3557.67 c #Conflicts: 1673000 | #Constraints: 31738
3547.94/3557.67 c #Conflicts: 1674000 | #Constraints: 32774
3547.94/3557.67 c #Conflicts: 1675000 | #Constraints: 33792
3547.94/3557.67 c #Conflicts: 1676000 | #Constraints: 34822
3547.94/3557.67 c #Conflicts: 1677000 | #Constraints: 35868
3547.94/3557.67 c #Conflicts: 1678000 | #Constraints: 36907
3547.94/3557.67 c #Conflicts: 1679000 | #Constraints: 37971
3547.94/3557.67 c #Conflicts: 1680000 | #Constraints: 39009
3547.94/3557.67 c #Conflicts: 1681000 | #Constraints: 40049
3547.94/3557.67 c #Conflicts: 1682000 | #Constraints: 41072
3547.94/3557.67 c #Conflicts: 1683000 | #Constraints: 42106
3547.94/3557.67 c #Conflicts: 1684000 | #Constraints: 43138
3547.94/3557.67 c #Conflicts: 1685000 | #Constraints: 44172
3547.94/3557.67 c #Conflicts: 1686000 | #Constraints: 45230
3547.94/3557.67 c #Conflicts: 1687000 | #Constraints: 46263
3547.94/3557.67 c #Conflicts: 1688000 | #Constraints: 47283
3547.94/3557.67 c #Conflicts: 1689000 | #Constraints: 48317
3547.94/3557.67 c #Conflicts: 1690000 | #Constraints: 49366
3547.94/3557.67 c #Conflicts: 1691000 | #Constraints: 50390
3547.94/3557.67 c #Conflicts: 1692000 | #Constraints: 51430
3547.94/3557.67 c #Conflicts: 1693000 | #Constraints: 52467
3547.94/3557.67 c #Conflicts: 1694000 | #Constraints: 53487
3547.94/3557.67 c INPROCESSING
3547.94/3557.67 c GARBAGE COLLECT
3547.94/3557.67 c rational objective 2.00582
3600.09/3609.90 c #Conflicts: 1695000 | #Constraints: 27747
3600.09/3609.90 c #Conflicts: 1696000 | #Constraints: 28747
3600.09/3609.90 c #Conflicts: 1697000 | #Constraints: 29808
3600.09/3609.90 c #Conflicts: 1698000 | #Constraints: 30856
3600.09/3609.90 c #Conflicts: 1699000 | #Constraints: 31856
3600.09/3609.90 c #Conflicts: 1700000 | #Constraints: 32856
3600.09/3609.90 c #Conflicts: 1701000 | #Constraints: 33856
3600.09/3609.90 c #Conflicts: 1702000 | #Constraints: 34856
3600.09/3609.90 c #Conflicts: 1703000 | #Constraints: 35856
3600.09/3609.90 c #Conflicts: 1704000 | #Constraints: 36856
3600.09/3609.90 c #Conflicts: 1705000 | #Constraints: 37856
3600.09/3609.90 c #Conflicts: 1706000 | #Constraints: 38856
3600.09/3609.90 c #Conflicts: 1707000 | #Constraints: 39856
3600.09/3609.90 c #Conflicts: 1708000 | #Constraints: 40856
3600.09/3609.90 c #Conflicts: 1709000 | #Constraints: 41856
3600.09/3609.90 c cpu time 3588.39 s
3600.09/3609.90 c deterministic time 1016349698493 1.02e+12
3600.09/3609.90 c optimization time 51.826 s
3600.09/3609.90 c total solve time 3536.57 s
3600.09/3609.90 c core-guided solve time 0 s
3600.09/3609.90 c propagation time 3386.37 s
3600.09/3609.90 c conflict analysis time 175.488 s
3600.09/3609.90 c propagations 10623890
3600.09/3609.90 c resolve steps 4730620
3600.09/3609.90 c decisions 2145969
3600.09/3609.90 c conflicts 1709745
3600.09/3609.90 c restarts 3288
3600.09/3609.90 c inprocessing phases 121
3600.09/3609.90 c garbage collections 121 ,( 100.00 )
3600.09/3609.90 c input clauses 0 ,( 0.00 )
3600.09/3609.90 c input cardinalities 0 ,( 0.00 )
3600.09/3609.90 c input general constraints 2 ,( 100.00 )
3600.09/3609.90 c input average constraint length 86.00
3600.09/3609.90 c input average constraint degree 139154376.00
3600.09/3609.90 c learned clauses 1045725 ,( 58.20 )
3600.09/3609.90 c learned cardinalities 24 ,( 0.00 )
3600.09/3609.90 c learned general constraints 751036 ,( 41.80 )
3600.09/3609.90 c learned average constraint length 73.20
3600.09/3609.90 c learned average constraint degree 54477714.05
3600.09/3609.90 c watched CF 32, 64, 128, Arb: 366218 , 0 , 0 , 0
3600.09/3609.90 c counting CF 32, 64, 128, Arb: 384820 , 0 , 0 , 0
3600.09/3609.90 c watched constraints 366218 ,( 48.76 )
3600.09/3609.90 c counting constraints 384820 ,( 51.24 )
3600.09/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 59160535 , 25420 , 52271928687 ,( 439454278 , 51832474409 )
3600.09/3609.90 c gcd simplifications 1117232
3600.09/3609.90 c detected cardinalities 24
3600.09/3609.90 c weakened non-implied lits 4766757
3600.09/3609.90 c weakened non-implying lits 1447239
3600.09/3609.90 c original variables 86
3600.09/3609.90 c clausal propagations 90094
3600.09/3609.90 c cardinality propagations 103
3600.09/3609.90 c watched propagations 885834
3600.09/3609.90 c counting propagations 7641642
3600.09/3609.90 c watch lookups 55241981855
3600.09/3609.90 c watch backjump lookups 0
3600.09/3609.90 c watch checks 4660967314
3600.09/3609.90 c propagation checks 955899717402
3600.09/3609.90 c constraint additions 519609308
3600.09/3609.90 c trail pops 14479526
3600.09/3609.90 c formula constraints 2
3600.09/3609.90 c learned constraints 1709745
3600.09/3609.90 c bound constraints 0
3600.09/3609.90 c core-guided constraints 0
3600.09/3609.90 c encountered formula constraints 3794147
3600.09/3609.90 c encountered learned constraints 2646193
3600.09/3609.90 c encountered bound constraints 0
3600.09/3609.90 c encountered core-guided constraints 0
3600.09/3609.90 c LP total time 24.4444 s
3600.09/3609.90 c LP solve time 12.83 s
3600.09/3609.90 c LP constraints added 140
3600.09/3609.90 c LP constraints removed 130
3600.09/3609.90 c LP pivots internal 170975
3600.09/3609.90 c LP pivots root 2253
3600.09/3609.90 c LP calls 131645
3600.09/3609.90 c LP optimalities 44250
3600.09/3609.90 c LP no pivot count 6944
3600.09/3609.90 c LP infeasibilities 87317
3600.09/3609.90 c LP valid Farkas constraints 86947
3600.09/3609.90 c LP learned Farkas constraints 0
3600.09/3609.90 c LP basis resets 78
3600.09/3609.90 c LP cycling count 25
3600.09/3609.90 c LP singular count 52
3600.09/3609.90 c LP no primal count 0
3600.09/3609.90 c LP no farkas count 0
3600.09/3609.90 c LP other issue count 1
3600.09/3609.90 c LP Gomory cuts 93
3600.09/3609.90 c LP learned cuts 45
3600.09/3609.90 c LP deleted cuts 130
3600.09/3609.90 c LP encountered Gomory constraints 20
3600.09/3609.90 c LP encountered Farkas constraints 5
3600.09/3609.90 c LP encountered learned Farkas constraints 0
3600.09/3609.90 c CG auxiliary variables introduced 0
3600.09/3609.90 c CG solutions found 0
3600.09/3609.90 c CG cores constructed 0
3600.09/3609.90 c CG core cardinality constraints returned 0
3600.09/3609.90 c CG unit cores 0
3600.09/3609.90 c CG single cores 0
3600.09/3609.90 c CG blocks removed during cardinality reduction 0
3600.09/3609.90 c CG first core best 0
3600.09/3609.90 c CG decision core best 0
3600.09/3609.90 c CG core reduction tie 0
3600.09/3609.90 c CG core degree average 0.00
3600.09/3609.90 c CG core slack average 0.00
3600.09/3609.90 c CG core upper bound improvements 0
3600.09/3609.90 c STR number of successful calls 0
3600.09/3609.90 c STR number of unsuccessful calls 0
3600.09/3609.90 c STR number of inconclusive calls 0
3600.09/3609.90 c STR number of successful attempts 0
3600.09/3609.90 c STR number of unsuccessful attempts 0
3600.09/3609.90 c STR number of inconclusive attempts 0
3600.09/3609.90 c STR average degree increase per successful call inf
3600.09/3609.90 c STR average degree increase per successful attempt inf
3600.09/3609.90 c STR total number of conflicts for successful attempts 0
3600.09/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.90 c STR average number of conflicts per successful attempt inf
3600.09/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.90 c AVG.sumWPerc 43.30
3600.09/3609.90 c bigint constraints 0
3600.09/3609.90 s UNKNOWN
3600.09/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63008 MiB free)
memory of node 1: 64465 MiB (63793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496038-1751154255/watcher-4496038-1751154255 -o /tmp/evaluation-result-4496038-1751154255/solver-4496038-1751154255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16321 --watchdog 3760 run-dec-ls.sh HOME/instance-4496038-1751154255.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20755, runsolver pid=20752
[startup+0.100064 s]*
/proc/loadavg: 4.26 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129845304/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=56352 memory=13284 CPUtime=0.08 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 669 0 0 0 8 0 0 0 20 0 1 0 31103919 57704448 3321 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 14088 3321 2368 1147 0 1515 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60544 KiB
Current children cumulated memory: 16356 KiB
[startup+0.205704 s]*
/proc/loadavg: 4.26 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129845304/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=57192 memory=14052 CPUtime=0.19 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 862 0 0 0 18 1 0 0 20 0 1 0 31103919 58564608 3513 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 14298 3513 2368 1147 0 1725 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61384 KiB
Current children cumulated memory: 17124 KiB
[startup+0.305599 s]*
/proc/loadavg: 4.26 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129845304/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=57336 memory=14180 CPUtime=0.29 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 899 0 0 0 28 1 0 0 20 0 1 0 31103919 58712064 3545 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 14334 3545 2368 1147 0 1761 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61528 KiB
Current children cumulated memory: 17252 KiB
[startup+0.700195 s]
/proc/loadavg: 4.26 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129845304/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=58332 memory=15076 CPUtime=0.68 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 1114 0 0 0 66 2 0 0 20 0 1 0 31103919 59731968 3769 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 14583 3769 2368 1147 0 2010 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62524 KiB
Current children cumulated memory: 18148 KiB
[startup+1.5002 s]
/proc/loadavg: 4.26 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129845556/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=59292 memory=17928 CPUtime=1.47 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 1316 0 0 0 142 5 0 0 20 0 1 0 31103919 60715008 4482 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 14823 4482 2368 1147 0 2250 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63484 KiB
Current children cumulated memory: 21000 KiB
[startup+3.10545 s]
/proc/loadavg: 4.26 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129842788/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=61148 memory=19592 CPUtime=3.07 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 1742 0 0 0 300 7 0 0 20 0 1 0 31103919 62615552 4898 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 15287 4898 2368 1147 0 2714 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65340 KiB
Current children cumulated memory: 22664 KiB
[startup+6.30019 s]
/proc/loadavg: 4.23 4.22 4.15 5/269 20757
/proc/meminfo: memFree=129840784/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=63452 memory=21640 CPUtime=6.26 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 2264 0 0 0 612 14 0 0 20 0 1 0 31103919 64974848 5410 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 15863 5410 2368 1147 0 3290 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67644 KiB
Current children cumulated memory: 24712 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.21 4.15 5/269 20757
/proc/meminfo: memFree=129836824/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=69068 memory=25480 CPUtime=12.64 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 3130 0 0 0 1241 23 0 0 20 0 1 0 31103919 70725632 6370 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 17267 6370 2464 1147 0 4694 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73260 KiB
Current children cumulated memory: 28552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.20 4.14 5/269 20757
/proc/meminfo: memFree=129819256/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=72764 memory=28936 CPUtime=25.4 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 3989 0 0 0 2500 40 0 0 20 0 1 0 31103919 74510336 7234 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 18191 7234 2464 1147 0 5618 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 76956 KiB
Current children cumulated memory: 32008 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 4.20 4.15 5/269 20757
/proc/meminfo: memFree=129812036/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=78884 memory=33032 CPUtime=50.94 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 4996 0 0 0 5029 65 0 0 20 0 1 0 31103919 80777216 8258 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 19721 8258 2464 1147 0 7148 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 83076 KiB
Current children cumulated memory: 36104 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831468/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=86364 memory=39584 CPUtime=102 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 6932 0 0 0 10095 105 0 0 20 0 1 0 31103919 88436736 9896 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 21591 9896 2464 1147 0 9018 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 90556 KiB
Current children cumulated memory: 42656 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/268 20811
/proc/meminfo: memFree=129818848/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=97772 memory=46460 CPUtime=161.83 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 8878 0 0 0 16044 139 0 0 20 0 1 0 31103919 100118528 11615 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 24443 11615 2496 1147 0 11870 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 101964 KiB
Current children cumulated memory: 49532 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/267 20813
/proc/meminfo: memFree=129819324/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=98580 memory=47228 CPUtime=221.66 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 9162 0 0 0 21989 177 0 0 20 0 1 0 31103919 100945920 11807 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 24645 11807 2496 1147 0 12072 0
################
# More data... #
################
/proc/loadavg: 4.21 4.14 4.10 5/269 21469
/proc/meminfo: memFree=129538628/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=142368 memory=97796 CPUtime=3093.82 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 21154 0 0 0 308314 1068 0 0 20 0 1 0 31103919 145784832 24449 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 35592 24449 2496 1147 0 23019 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 146560 KiB
Current children cumulated memory: 100868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/268 21471
/proc/meminfo: memFree=129535476/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=142880 memory=97796 CPUtime=3153.66 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 21302 0 0 0 314287 1079 0 0 20 0 1 0 31103919 146309120 24449 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 35720 24449 2496 1147 0 23147 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 147072 KiB
Current children cumulated memory: 100868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 21477
/proc/meminfo: memFree=129528592/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=143816 memory=98692 CPUtime=3213.52 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 21509 0 0 0 320261 1091 0 0 20 0 1 0 31103919 147267584 24673 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 35954 24673 2496 1147 0 23381 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 148008 KiB
Current children cumulated memory: 101764 KiB
[startup+3282.3 s]
/proc/loadavg: 3.69 4.01 4.06 4/261 21510
/proc/meminfo: memFree=129602728/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=143828 memory=98784 CPUtime=3273.36 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 21597 0 0 0 326230 1106 0 0 20 0 1 0 31103919 147279872 24696 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 35957 24696 2496 1147 0 23384 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 148020 KiB
Current children cumulated memory: 101856 KiB
[startup+3342.3 s]
/proc/loadavg: 3.30 3.84 3.99 4/261 21512
/proc/meminfo: memFree=129577292/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145080 memory=100108 CPUtime=3333.2 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 21932 0 0 0 332205 1115 0 0 20 0 1 0 31103919 148561920 25027 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36270 25027 2496 1147 0 23697 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 149272 KiB
Current children cumulated memory: 103180 KiB
[startup+3402.3 s]
/proc/loadavg: 3.23 3.72 3.94 4/262 21515
/proc/meminfo: memFree=129573424/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145592 memory=101388 CPUtime=3393.06 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 22061 0 0 0 338177 1129 0 0 20 0 1 0 31103919 149086208 25347 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36398 25347 2496 1147 0 23825 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 149784 KiB
Current children cumulated memory: 104460 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.60 3.88 4/262 21517
/proc/meminfo: memFree=129573228/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145592 memory=101388 CPUtime=3452.9 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 22061 0 0 0 344151 1139 0 0 20 0 1 0 31103919 149086208 25347 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36398 25347 2496 1147 0 23825 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 149784 KiB
Current children cumulated memory: 104460 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.50 3.83 4/262 21519
/proc/meminfo: memFree=129572308/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145592 memory=101388 CPUtime=3512.74 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 22062 0 0 0 350124 1150 0 0 20 0 1 0 31103919 149086208 25347 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36398 25347 2496 1147 0 23825 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 149784 KiB
Current children cumulated memory: 104460 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.44 3.79 4/262 21524
/proc/meminfo: memFree=129555156/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145592 memory=101388 CPUtime=3572.57 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 22065 0 0 0 356095 1162 0 0 20 0 1 0 31103919 149086208 25347 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36398 25347 2496 1147 0 23825 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 149784 KiB
Current children cumulated memory: 104460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.22 3.43 3.77 4/262 21525
/proc/meminfo: memFree=129554744/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145592 memory=101388 CPUtime=3600.09 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 22065 0 0 0 358839 1170 0 0 20 0 1 0 31103919 149086208 25347 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36398 25347 2496 1147 0 23825 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 149784 KiB
Current children cumulated memory: 104460 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 20755 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.4 s, system=11.7103 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.22 3.43 3.77 4/262 21525
/proc/meminfo: memFree=129554744/131249996 swapFree=33010684/33010684
[pid=20755] ppid=20752 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20755/stat : 20755 (run-dec-ls.sh) S 20752 20755 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31103918 4292608 768 18446744073709551615 94680361213952 94680362108485 140731196715936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94680362347536 94680362395280 94680391811072 140731196717415 140731196717541 140731196717541 140731196723143 0
/proc/20755/statm: 1048 768 704 219 0 110 0
[pid=20757] ppid=20755 vsize=145592 memory=101388 CPUtime=3600.09 cores=5,7
/proc/20757/stat : 20757 (roundingsat) R 20755 20755 16308 0 -1 4194304 22065 0 0 0 358839 1170 0 0 20 0 1 0 31103919 149086208 25347 18446744073709551615 4227072 8923433 140731996799840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35360768 140731996801440 140731996801576 140731996801576 140731996807146 0
/proc/20757/statm: 36398 25347 2496 1147 0 23825 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 149784 KiB
Current children cumulated memory: 104460 KiB
Child status: 2
Real time (s): 3609.9
CPU time (s): 3600.11
CPU user time (s): 3588.4
CPU system time (s): 11.7103
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 149784
Max. memory (cumulated for all children) (KiB): 104460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.4
system time used= 11.7103
maximum resident set size= 101516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 2887
# summary of solver processes directly reported to runsolver:
# pid: 20755
# total CPU time (s): 3600.11
# total CPU user time (s): 3588.4
# total CPU system time (s): 11.7103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49849 second user time and 15.2579 second system time
The end
Begin job on nodeC029 at 2025-06-29 01:44:15
IDJOB=4496038
IDBENCH=148105
IDSOLVER=3353
FILE ID=nodeC029/4496038-1751154255
RUNJOBID= nodeC029-1751146607-16321
SLURM_JOB_ID= 9587465
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496038-1751154255/watcher-4496038-1751154255 -o /tmp/evaluation-result-4496038-1751154255/solver-4496038-1751154255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16321 --watchdog 3760 run-dec-ls.sh HOME/instance-4496038-1751154255.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=449290628
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.701
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.723
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.649
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.206
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.323
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.738
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129845436 kB
MemAvailable: 129483852 kB
Buffers: 3280 kB
Cached: 440588 kB
SwapCached: 0 kB
Active: 604016 kB
Inactive: 221680 kB
Active(anon): 399888 kB
Inactive(anon): 0 kB
Active(file): 204128 kB
Inactive(file): 221680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7212 kB
Writeback: 0 kB
AnonPages: 383556 kB
Mapped: 116964 kB
Shmem: 18060 kB
KReclaimable: 86384 kB
Slab: 169472 kB
SReclaimable: 86384 kB
SUnreclaim: 83088 kB
KernelStack: 4400 kB
PageTables: 4064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 772040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 280576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC029 at 2025-06-29 02:44:25