0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 172 #constraints 14
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 7.4e-05
0.00/0.03 c GLOBAL bounds - >= 0 @ 7.4e-05
0.00/0.03 c rational objective 0
0.47/0.57 c #Conflicts: 1000 | #Constraints: 1423
0.47/0.57 c #Conflicts: 2000 | #Constraints: 2759
0.47/0.57 c INPROCESSING
0.47/0.57 c GARBAGE COLLECT
0.47/0.57 c rational objective 0
1.05/1.17 c #Conflicts: 3000 | #Constraints: 2403
1.05/1.17 c #Conflicts: 4000 | #Constraints: 3410
1.05/1.17 c INPROCESSING
1.05/1.17 c GARBAGE COLLECT
1.05/1.17 c rational objective 0
1.85/1.94 c #Conflicts: 5000 | #Constraints: 2829
1.85/1.94 c #Conflicts: 6000 | #Constraints: 3979
1.85/1.94 c INPROCESSING
1.85/1.94 c GARBAGE COLLECT
1.85/1.94 c rational objective 0
2.96/3.06 c #Conflicts: 7000 | #Constraints: 2872
2.96/3.06 c #Conflicts: 8000 | #Constraints: 4203
2.96/3.06 c #Conflicts: 9000 | #Constraints: 5666
2.96/3.06 c INPROCESSING
2.96/3.06 c GARBAGE COLLECT
2.96/3.06 c rational objective 0
4.34/4.45 c #Conflicts: 10000 | #Constraints: 4170
4.34/4.45 c #Conflicts: 11000 | #Constraints: 5652
4.34/4.45 c #Conflicts: 12000 | #Constraints: 7006
4.34/4.45 c INPROCESSING
4.34/4.45 c GARBAGE COLLECT
4.34/4.45 c rational objective 0
5.64/5.72 c #Conflicts: 13000 | #Constraints: 4873
5.64/5.72 c #Conflicts: 14000 | #Constraints: 5876
5.64/5.72 c #Conflicts: 15000 | #Constraints: 7223
5.64/5.72 c INPROCESSING
5.64/5.72 c GARBAGE COLLECT
5.64/5.72 c rational objective 0
6.94/7.05 c #Conflicts: 16000 | #Constraints: 4842
6.94/7.05 c #Conflicts: 17000 | #Constraints: 5900
6.94/7.05 c #Conflicts: 18000 | #Constraints: 6918
6.94/7.05 c INPROCESSING
6.94/7.05 c GARBAGE COLLECT
6.94/7.05 c rational objective 0
8.63/8.72 c #Conflicts: 19000 | #Constraints: 4679
8.63/8.72 c #Conflicts: 20000 | #Constraints: 6150
8.63/8.72 c #Conflicts: 21000 | #Constraints: 7615
8.63/8.72 c INPROCESSING
8.63/8.72 c GARBAGE COLLECT
8.63/8.72 c rational objective 0
10.03/10.17 c #Conflicts: 22000 | #Constraints: 4666
10.03/10.17 c #Conflicts: 23000 | #Constraints: 5669
10.03/10.17 c #Conflicts: 24000 | #Constraints: 6672
10.03/10.17 c #Conflicts: 25000 | #Constraints: 7676
10.03/10.17 c INPROCESSING
10.03/10.17 c GARBAGE COLLECT
10.03/10.17 c rational objective 0
11.52/11.68 c #Conflicts: 26000 | #Constraints: 4761
11.52/11.68 c #Conflicts: 27000 | #Constraints: 5771
11.52/11.68 c #Conflicts: 28000 | #Constraints: 6921
11.52/11.68 c #Conflicts: 29000 | #Constraints: 8042
11.52/11.68 c INPROCESSING
11.52/11.68 c GARBAGE COLLECT
11.52/11.68 c rational objective 0
13.22/13.39 c #Conflicts: 30000 | #Constraints: 5345
13.22/13.39 c #Conflicts: 31000 | #Constraints: 6345
13.22/13.39 c #Conflicts: 32000 | #Constraints: 7345
13.22/13.39 c #Conflicts: 33000 | #Constraints: 8347
13.22/13.39 c INPROCESSING
13.22/13.39 c GARBAGE COLLECT
13.22/13.39 c rational objective 0
15.21/15.32 c #Conflicts: 34000 | #Constraints: 5193
15.21/15.32 c #Conflicts: 35000 | #Constraints: 6548
15.21/15.32 c #Conflicts: 36000 | #Constraints: 8022
15.21/15.32 c #Conflicts: 37000 | #Constraints: 9471
15.21/15.32 c INPROCESSING
15.21/15.32 c GARBAGE COLLECT
15.21/15.32 c rational objective 0
17.40/17.52 c #Conflicts: 38000 | #Constraints: 5895
17.40/17.52 c #Conflicts: 39000 | #Constraints: 7357
17.40/17.52 c #Conflicts: 40000 | #Constraints: 8823
17.40/17.52 c #Conflicts: 41000 | #Constraints: 10296
17.40/17.52 c INPROCESSING
17.40/17.52 c GARBAGE COLLECT
17.40/17.52 c rational objective 0
19.80/19.96 c #Conflicts: 42000 | #Constraints: 6192
19.80/19.96 c #Conflicts: 43000 | #Constraints: 7667
19.80/19.96 c #Conflicts: 44000 | #Constraints: 9155
19.80/19.96 c #Conflicts: 45000 | #Constraints: 10576
19.80/19.96 c #Conflicts: 46000 | #Constraints: 11576
19.80/19.96 c INPROCESSING
19.80/19.96 c GARBAGE COLLECT
19.80/19.96 c rational objective 0
22.19/22.38 c #Conflicts: 47000 | #Constraints: 6822
22.19/22.38 c #Conflicts: 48000 | #Constraints: 8001
22.19/22.38 c #Conflicts: 49000 | #Constraints: 9189
22.19/22.38 c #Conflicts: 50000 | #Constraints: 10381
22.19/22.38 c #Conflicts: 51000 | #Constraints: 11478
22.19/22.38 c INPROCESSING
22.19/22.38 c GARBAGE COLLECT
22.19/22.38 c rational objective 0
25.08/25.28 c #Conflicts: 52000 | #Constraints: 7231
25.08/25.28 c #Conflicts: 53000 | #Constraints: 8702
25.08/25.28 c #Conflicts: 54000 | #Constraints: 10159
25.08/25.28 c #Conflicts: 55000 | #Constraints: 11608
25.08/25.28 c #Conflicts: 56000 | #Constraints: 13067
25.08/25.28 c INPROCESSING
25.08/25.28 c GARBAGE COLLECT
25.08/25.28 c rational objective 0
27.67/27.86 c #Conflicts: 57000 | #Constraints: 7625
27.67/27.86 c #Conflicts: 58000 | #Constraints: 8626
27.67/27.86 c #Conflicts: 59000 | #Constraints: 9737
27.67/27.86 c #Conflicts: 60000 | #Constraints: 10750
27.67/27.86 c #Conflicts: 61000 | #Constraints: 11855
27.67/27.86 c INPROCESSING
27.67/27.86 c GARBAGE COLLECT
27.67/27.86 c rational objective 0
30.46/30.69 c #Conflicts: 62000 | #Constraints: 7100
30.46/30.69 c #Conflicts: 63000 | #Constraints: 8211
30.46/30.69 c #Conflicts: 64000 | #Constraints: 9344
30.46/30.69 c #Conflicts: 65000 | #Constraints: 10345
30.46/30.69 c #Conflicts: 66000 | #Constraints: 11451
30.46/30.69 c INPROCESSING
30.46/30.69 c GARBAGE COLLECT
30.46/30.69 c rational objective 0
33.15/33.37 c #Conflicts: 67000 | #Constraints: 6482
33.15/33.37 c #Conflicts: 68000 | #Constraints: 7486
33.15/33.37 c #Conflicts: 69000 | #Constraints: 8523
33.15/33.37 c #Conflicts: 70000 | #Constraints: 9551
33.15/33.37 c #Conflicts: 71000 | #Constraints: 10603
33.15/33.37 c #Conflicts: 72000 | #Constraints: 11603
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c rational objective 0
35.95/36.19 c #Conflicts: 73000 | #Constraints: 6739
35.95/36.19 c #Conflicts: 74000 | #Constraints: 7805
35.95/36.19 c #Conflicts: 75000 | #Constraints: 8831
35.95/36.19 c #Conflicts: 76000 | #Constraints: 9878
35.95/36.19 c #Conflicts: 77000 | #Constraints: 10896
35.95/36.19 c #Conflicts: 78000 | #Constraints: 11898
35.95/36.19 c INPROCESSING
35.95/36.19 c GARBAGE COLLECT
35.95/36.19 c rational objective 0
38.73/38.99 c #Conflicts: 79000 | #Constraints: 6967
38.73/38.99 c #Conflicts: 80000 | #Constraints: 7967
38.73/38.99 c #Conflicts: 81000 | #Constraints: 8968
38.73/38.99 c #Conflicts: 82000 | #Constraints: 9970
38.73/38.99 c #Conflicts: 83000 | #Constraints: 10970
38.73/38.99 c #Conflicts: 84000 | #Constraints: 11971
38.73/38.99 c INPROCESSING
38.73/38.99 c GARBAGE COLLECT
38.73/38.99 c rational objective 0
42.72/42.92 c #Conflicts: 85000 | #Constraints: 7455
42.72/42.92 c #Conflicts: 86000 | #Constraints: 8929
42.72/42.92 c #Conflicts: 87000 | #Constraints: 10391
42.72/42.92 c #Conflicts: 88000 | #Constraints: 11863
42.72/42.92 c #Conflicts: 89000 | #Constraints: 13313
42.72/42.92 c #Conflicts: 90000 | #Constraints: 14785
42.72/42.92 c INPROCESSING
42.72/42.92 c GARBAGE COLLECT
42.72/42.92 c rational objective 0
47.20/47.44 c #Conflicts: 91000 | #Constraints: 8680
47.20/47.44 c #Conflicts: 92000 | #Constraints: 10145
47.20/47.44 c #Conflicts: 93000 | #Constraints: 11608
47.20/47.44 c #Conflicts: 94000 | #Constraints: 13061
47.20/47.44 c #Conflicts: 95000 | #Constraints: 14513
47.20/47.44 c #Conflicts: 96000 | #Constraints: 15958
47.20/47.44 c INPROCESSING
47.20/47.44 c GARBAGE COLLECT
47.20/47.44 c rational objective 0
51.19/51.49 c #Conflicts: 97000 | #Constraints: 8951
51.19/51.49 c #Conflicts: 98000 | #Constraints: 10064
51.19/51.49 c #Conflicts: 99000 | #Constraints: 11158
51.19/51.49 c #Conflicts: 100000 | #Constraints: 12192
51.19/51.49 c #Conflicts: 101000 | #Constraints: 13268
51.19/51.49 c #Conflicts: 102000 | #Constraints: 14457
51.19/51.49 c #Conflicts: 103000 | #Constraints: 15511
51.19/51.49 c INPROCESSING
51.19/51.49 c GARBAGE COLLECT
51.19/51.49 c rational objective 0
56.38/56.66 c #Conflicts: 104000 | #Constraints: 9033
56.38/56.66 c #Conflicts: 105000 | #Constraints: 10509
56.38/56.66 c #Conflicts: 106000 | #Constraints: 11961
56.38/56.66 c #Conflicts: 107000 | #Constraints: 13414
56.38/56.66 c #Conflicts: 108000 | #Constraints: 14887
56.38/56.66 c #Conflicts: 109000 | #Constraints: 16354
56.38/56.66 c #Conflicts: 110000 | #Constraints: 17830
56.38/56.66 c INPROCESSING
56.38/56.66 c GARBAGE COLLECT
56.38/56.66 c rational objective 0
60.87/61.18 c #Conflicts: 111000 | #Constraints: 10279
60.87/61.18 c #Conflicts: 112000 | #Constraints: 11626
60.87/61.18 c #Conflicts: 113000 | #Constraints: 12626
60.87/61.18 c #Conflicts: 114000 | #Constraints: 13770
60.87/61.18 c #Conflicts: 115000 | #Constraints: 14989
60.87/61.18 c #Conflicts: 116000 | #Constraints: 16213
60.87/61.18 c #Conflicts: 117000 | #Constraints: 17672
60.87/61.18 c INPROCESSING
60.87/61.18 c GARBAGE COLLECT
60.87/61.18 c rational objective 0
65.44/65.78 c #Conflicts: 118000 | #Constraints: 10051
65.44/65.78 c #Conflicts: 119000 | #Constraints: 11246
65.44/65.78 c #Conflicts: 120000 | #Constraints: 12331
65.44/65.78 c #Conflicts: 121000 | #Constraints: 13428
65.44/65.78 c #Conflicts: 122000 | #Constraints: 14791
65.44/65.78 c #Conflicts: 123000 | #Constraints: 15968
65.44/65.78 c #Conflicts: 124000 | #Constraints: 17022
65.44/65.78 c INPROCESSING
65.44/65.78 c GARBAGE COLLECT
65.44/65.78 c rational objective 0
70.24/70.55 c #Conflicts: 125000 | #Constraints: 9832
70.24/70.55 c #Conflicts: 126000 | #Constraints: 10941
70.24/70.55 c #Conflicts: 127000 | #Constraints: 11941
70.24/70.55 c #Conflicts: 128000 | #Constraints: 13002
70.24/70.55 c #Conflicts: 129000 | #Constraints: 14002
70.24/70.55 c #Conflicts: 130000 | #Constraints: 15192
70.24/70.55 c #Conflicts: 131000 | #Constraints: 16483
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c rational objective 0
74.91/75.21 c #Conflicts: 132000 | #Constraints: 9066
74.91/75.21 c #Conflicts: 133000 | #Constraints: 10221
74.91/75.21 c #Conflicts: 134000 | #Constraints: 11473
74.91/75.21 c #Conflicts: 135000 | #Constraints: 12474
74.91/75.21 c #Conflicts: 136000 | #Constraints: 13514
74.91/75.21 c #Conflicts: 137000 | #Constraints: 14579
74.91/75.21 c #Conflicts: 138000 | #Constraints: 15579
74.91/75.21 c #Conflicts: 139000 | #Constraints: 16619
74.91/75.21 c INPROCESSING
74.91/75.21 c GARBAGE COLLECT
74.91/75.21 c rational objective 0
80.99/81.38 c #Conflicts: 140000 | #Constraints: 9375
80.99/81.38 c #Conflicts: 141000 | #Constraints: 10851
80.99/81.38 c #Conflicts: 142000 | #Constraints: 12310
80.99/81.38 c #Conflicts: 143000 | #Constraints: 13790
80.99/81.38 c #Conflicts: 144000 | #Constraints: 15126
80.99/81.38 c #Conflicts: 145000 | #Constraints: 16594
80.99/81.38 c #Conflicts: 146000 | #Constraints: 18070
80.99/81.38 c #Conflicts: 147000 | #Constraints: 19530
80.99/81.38 c INPROCESSING
80.99/81.38 c GARBAGE COLLECT
80.99/81.38 c rational objective 0
86.28/86.64 c #Conflicts: 148000 | #Constraints: 10857
86.28/86.64 c #Conflicts: 149000 | #Constraints: 12076
86.28/86.64 c #Conflicts: 150000 | #Constraints: 13154
86.28/86.64 c #Conflicts: 151000 | #Constraints: 14155
86.28/86.64 c #Conflicts: 152000 | #Constraints: 15325
86.28/86.64 c #Conflicts: 153000 | #Constraints: 16325
86.28/86.64 c #Conflicts: 154000 | #Constraints: 17327
86.28/86.64 c #Conflicts: 155000 | #Constraints: 18327
86.28/86.64 c INPROCESSING
86.28/86.64 c GARBAGE COLLECT
86.28/86.64 c rational objective 0
91.87/92.22 c #Conflicts: 156000 | #Constraints: 10377
91.87/92.22 c #Conflicts: 157000 | #Constraints: 11562
91.87/92.22 c #Conflicts: 158000 | #Constraints: 12562
91.87/92.22 c #Conflicts: 159000 | #Constraints: 13611
91.87/92.22 c #Conflicts: 160000 | #Constraints: 14625
91.87/92.22 c #Conflicts: 161000 | #Constraints: 15626
91.87/92.22 c #Conflicts: 162000 | #Constraints: 16626
91.87/92.22 c #Conflicts: 163000 | #Constraints: 17626
91.87/92.22 c INPROCESSING
91.87/92.22 c GARBAGE COLLECT
91.87/92.22 c rational objective 0
96.94/97.36 c #Conflicts: 164000 | #Constraints: 9758
96.94/97.36 c #Conflicts: 165000 | #Constraints: 10779
96.94/97.36 c #Conflicts: 166000 | #Constraints: 11798
96.94/97.36 c #Conflicts: 167000 | #Constraints: 12922
96.94/97.36 c #Conflicts: 168000 | #Constraints: 13936
96.94/97.36 c #Conflicts: 169000 | #Constraints: 14936
96.94/97.36 c #Conflicts: 170000 | #Constraints: 15936
96.94/97.36 c #Conflicts: 171000 | #Constraints: 16936
96.94/97.36 c INPROCESSING
96.94/97.36 c GARBAGE COLLECT
96.94/97.36 c rational objective 0
102.52/102.99 c #Conflicts: 172000 | #Constraints: 9301
102.52/102.99 c #Conflicts: 173000 | #Constraints: 10681
102.52/102.99 c #Conflicts: 174000 | #Constraints: 11900
102.52/102.99 c #Conflicts: 175000 | #Constraints: 12930
102.52/102.99 c #Conflicts: 176000 | #Constraints: 13930
102.52/102.99 c #Conflicts: 177000 | #Constraints: 14930
102.52/102.99 c #Conflicts: 178000 | #Constraints: 15930
102.52/102.99 c #Conflicts: 179000 | #Constraints: 16930
102.52/102.99 c #Conflicts: 180000 | #Constraints: 18104
102.52/102.99 c INPROCESSING
102.52/102.99 c GARBAGE COLLECT
102.52/102.99 c rational objective 0
109.40/109.86 c #Conflicts: 181000 | #Constraints: 10394
109.40/109.86 c #Conflicts: 182000 | #Constraints: 11836
109.40/109.86 c #Conflicts: 183000 | #Constraints: 13301
109.40/109.86 c #Conflicts: 184000 | #Constraints: 14778
109.40/109.86 c #Conflicts: 185000 | #Constraints: 16238
109.40/109.86 c #Conflicts: 186000 | #Constraints: 17716
109.40/109.86 c #Conflicts: 187000 | #Constraints: 19162
109.40/109.86 c #Conflicts: 188000 | #Constraints: 20614
109.40/109.86 c #Conflicts: 189000 | #Constraints: 22050
109.40/109.86 c INPROCESSING
109.40/109.86 c GARBAGE COLLECT
109.40/109.86 c rational objective 0
116.78/117.24 c #Conflicts: 190000 | #Constraints: 12516
116.78/117.24 c #Conflicts: 191000 | #Constraints: 13987
116.78/117.24 c #Conflicts: 192000 | #Constraints: 15448
116.78/117.24 c #Conflicts: 193000 | #Constraints: 16910
116.78/117.24 c #Conflicts: 194000 | #Constraints: 18370
116.78/117.24 c #Conflicts: 195000 | #Constraints: 19835
116.78/117.24 c #Conflicts: 196000 | #Constraints: 21288
116.78/117.24 c #Conflicts: 197000 | #Constraints: 22775
116.78/117.24 c #Conflicts: 198000 | #Constraints: 24224
116.78/117.24 c INPROCESSING
116.78/117.24 c GARBAGE COLLECT
116.78/117.24 c rational objective 0
124.35/124.86 c #Conflicts: 199000 | #Constraints: 13236
124.35/124.86 c #Conflicts: 200000 | #Constraints: 14484
124.35/124.86 c #Conflicts: 201000 | #Constraints: 15529
124.35/124.86 c #Conflicts: 202000 | #Constraints: 16910
124.35/124.86 c #Conflicts: 203000 | #Constraints: 18392
124.35/124.86 c #Conflicts: 204000 | #Constraints: 19868
124.35/124.86 c #Conflicts: 205000 | #Constraints: 21345
124.35/124.86 c #Conflicts: 206000 | #Constraints: 22819
124.35/124.86 c #Conflicts: 207000 | #Constraints: 24161
124.35/124.86 c INPROCESSING
124.35/124.86 c GARBAGE COLLECT
124.35/124.86 c rational objective 0
132.83/133.31 c #Conflicts: 208000 | #Constraints: 13316
132.83/133.31 c #Conflicts: 209000 | #Constraints: 14746
132.83/133.31 c #Conflicts: 210000 | #Constraints: 15981
132.83/133.31 c #Conflicts: 211000 | #Constraints: 17400
132.83/133.31 c #Conflicts: 212000 | #Constraints: 18874
132.83/133.31 c #Conflicts: 213000 | #Constraints: 20340
132.83/133.31 c #Conflicts: 214000 | #Constraints: 21804
132.83/133.31 c #Conflicts: 215000 | #Constraints: 23267
132.83/133.31 c #Conflicts: 216000 | #Constraints: 24740
132.83/133.31 c INPROCESSING
132.83/133.31 c GARBAGE COLLECT
132.83/133.31 c rational objective 0
141.90/142.43 c #Conflicts: 217000 | #Constraints: 13257
141.90/142.43 c #Conflicts: 218000 | #Constraints: 14736
141.90/142.43 c #Conflicts: 219000 | #Constraints: 16210
141.90/142.43 c #Conflicts: 220000 | #Constraints: 17477
141.90/142.43 c #Conflicts: 221000 | #Constraints: 18669
141.90/142.43 c #Conflicts: 222000 | #Constraints: 20144
141.90/142.43 c #Conflicts: 223000 | #Constraints: 21262
141.90/142.43 c #Conflicts: 224000 | #Constraints: 22587
141.90/142.43 c #Conflicts: 225000 | #Constraints: 24072
141.90/142.43 c #Conflicts: 226000 | #Constraints: 25522
141.90/142.43 c INPROCESSING
141.90/142.43 c GARBAGE COLLECT
141.90/142.43 c rational objective 0
151.87/152.47 c #Conflicts: 227000 | #Constraints: 14053
151.87/152.47 c #Conflicts: 228000 | #Constraints: 15535
151.87/152.47 c #Conflicts: 229000 | #Constraints: 17013
151.87/152.47 c #Conflicts: 230000 | #Constraints: 18490
151.87/152.47 c #Conflicts: 231000 | #Constraints: 19964
151.87/152.47 c #Conflicts: 232000 | #Constraints: 21410
151.87/152.47 c #Conflicts: 233000 | #Constraints: 22878
151.87/152.47 c #Conflicts: 234000 | #Constraints: 24348
151.87/152.47 c #Conflicts: 235000 | #Constraints: 25808
151.87/152.47 c #Conflicts: 236000 | #Constraints: 27289
151.87/152.47 c INPROCESSING
151.87/152.47 c GARBAGE COLLECT
151.87/152.47 c rational objective 0
161.44/162.04 c #Conflicts: 237000 | #Constraints: 15115
161.44/162.04 c #Conflicts: 238000 | #Constraints: 16588
161.44/162.04 c #Conflicts: 239000 | #Constraints: 18042
161.44/162.04 c #Conflicts: 240000 | #Constraints: 19513
161.44/162.04 c #Conflicts: 241000 | #Constraints: 20797
161.44/162.04 c #Conflicts: 242000 | #Constraints: 21898
161.44/162.04 c #Conflicts: 243000 | #Constraints: 23375
161.44/162.04 c #Conflicts: 244000 | #Constraints: 24844
161.44/162.04 c #Conflicts: 245000 | #Constraints: 26131
161.44/162.04 c #Conflicts: 246000 | #Constraints: 27610
161.44/162.04 c INPROCESSING
161.44/162.04 c GARBAGE COLLECT
161.44/162.04 c rational objective 0
171.51/172.14 c #Conflicts: 247000 | #Constraints: 14976
171.51/172.14 c #Conflicts: 248000 | #Constraints: 16449
171.51/172.14 c #Conflicts: 249000 | #Constraints: 17926
171.51/172.14 c #Conflicts: 250000 | #Constraints: 19386
171.51/172.14 c #Conflicts: 251000 | #Constraints: 20858
171.51/172.14 c #Conflicts: 252000 | #Constraints: 22323
171.51/172.14 c #Conflicts: 253000 | #Constraints: 23799
171.51/172.14 c #Conflicts: 254000 | #Constraints: 25273
171.51/172.14 c #Conflicts: 255000 | #Constraints: 26733
171.51/172.14 c #Conflicts: 256000 | #Constraints: 28192
171.51/172.14 c INPROCESSING
171.51/172.14 c GARBAGE COLLECT
171.51/172.14 c rational objective 0
181.77/182.47 c #Conflicts: 257000 | #Constraints: 15361
181.77/182.47 c #Conflicts: 258000 | #Constraints: 16820
181.77/182.47 c #Conflicts: 259000 | #Constraints: 18289
181.77/182.47 c #Conflicts: 260000 | #Constraints: 19763
181.77/182.47 c #Conflicts: 261000 | #Constraints: 21216
181.77/182.47 c #Conflicts: 262000 | #Constraints: 22692
181.77/182.47 c #Conflicts: 263000 | #Constraints: 24156
181.77/182.47 c #Conflicts: 264000 | #Constraints: 25630
181.77/182.47 c #Conflicts: 265000 | #Constraints: 27092
181.77/182.47 c #Conflicts: 266000 | #Constraints: 28555
181.77/182.47 c INPROCESSING
181.77/182.47 c GARBAGE COLLECT
181.77/182.47 c rational objective 0
192.34/193.08 c #Conflicts: 267000 | #Constraints: 15133
192.34/193.08 c #Conflicts: 268000 | #Constraints: 16568
192.34/193.08 c #Conflicts: 269000 | #Constraints: 18025
192.34/193.08 c #Conflicts: 270000 | #Constraints: 19495
192.34/193.08 c #Conflicts: 271000 | #Constraints: 20712
192.34/193.08 c #Conflicts: 272000 | #Constraints: 22183
192.34/193.08 c #Conflicts: 273000 | #Constraints: 23660
192.34/193.08 c #Conflicts: 274000 | #Constraints: 25143
192.34/193.08 c #Conflicts: 275000 | #Constraints: 26621
192.34/193.08 c #Conflicts: 276000 | #Constraints: 28084
192.34/193.08 c #Conflicts: 277000 | #Constraints: 29149
192.34/193.08 c INPROCESSING
192.34/193.08 c GARBAGE COLLECT
192.34/193.08 c rational objective 0
203.40/204.15 c #Conflicts: 278000 | #Constraints: 15858
203.40/204.15 c #Conflicts: 279000 | #Constraints: 17077
203.40/204.15 c #Conflicts: 280000 | #Constraints: 18549
203.40/204.15 c #Conflicts: 281000 | #Constraints: 20016
203.40/204.15 c #Conflicts: 282000 | #Constraints: 21488
203.40/204.15 c #Conflicts: 283000 | #Constraints: 22951
203.40/204.15 c #Conflicts: 284000 | #Constraints: 24410
203.40/204.15 c #Conflicts: 285000 | #Constraints: 25881
203.40/204.15 c #Conflicts: 286000 | #Constraints: 27353
203.40/204.15 c #Conflicts: 287000 | #Constraints: 28834
203.40/204.15 c #Conflicts: 288000 | #Constraints: 30296
203.40/204.15 c INPROCESSING
203.40/204.15 c GARBAGE COLLECT
203.40/204.15 c rational objective 0
212.65/213.49 c #Conflicts: 289000 | #Constraints: 16167
212.65/213.49 c #Conflicts: 290000 | #Constraints: 17167
212.65/213.49 c #Conflicts: 291000 | #Constraints: 18167
212.65/213.49 c #Conflicts: 292000 | #Constraints: 19167
212.65/213.49 c #Conflicts: 293000 | #Constraints: 20168
212.65/213.49 c #Conflicts: 294000 | #Constraints: 21169
212.65/213.49 c #Conflicts: 295000 | #Constraints: 22169
212.65/213.49 c #Conflicts: 296000 | #Constraints: 23170
212.65/213.49 c #Conflicts: 297000 | #Constraints: 24170
212.65/213.49 c #Conflicts: 298000 | #Constraints: 25172
212.65/213.49 c #Conflicts: 299000 | #Constraints: 26175
212.65/213.49 c INPROCESSING
212.65/213.49 c GARBAGE COLLECT
212.65/213.49 c rational objective 0
221.67/222.59 c #Conflicts: 300000 | #Constraints: 14169
221.67/222.59 c #Conflicts: 301000 | #Constraints: 15217
221.67/222.59 c #Conflicts: 302000 | #Constraints: 16217
221.67/222.59 c #Conflicts: 303000 | #Constraints: 17271
221.67/222.59 c #Conflicts: 304000 | #Constraints: 18271
221.67/222.59 c #Conflicts: 305000 | #Constraints: 19271
221.67/222.59 c #Conflicts: 306000 | #Constraints: 20271
221.67/222.59 c #Conflicts: 307000 | #Constraints: 21271
221.67/222.59 c #Conflicts: 308000 | #Constraints: 22285
221.67/222.59 c #Conflicts: 309000 | #Constraints: 23328
221.67/222.59 c #Conflicts: 310000 | #Constraints: 24328
221.67/222.59 c INPROCESSING
221.67/222.59 c GARBAGE COLLECT
221.67/222.59 c rational objective 0
232.15/233.06 c #Conflicts: 311000 | #Constraints: 13439
232.15/233.06 c #Conflicts: 312000 | #Constraints: 14700
232.15/233.06 c #Conflicts: 313000 | #Constraints: 16113
232.15/233.06 c #Conflicts: 314000 | #Constraints: 17319
232.15/233.06 c #Conflicts: 315000 | #Constraints: 18680
232.15/233.06 c #Conflicts: 316000 | #Constraints: 19681
232.15/233.06 c #Conflicts: 317000 | #Constraints: 20996
232.15/233.06 c #Conflicts: 318000 | #Constraints: 22198
232.15/233.06 c #Conflicts: 319000 | #Constraints: 23198
232.15/233.06 c #Conflicts: 320000 | #Constraints: 24198
232.15/233.06 c #Conflicts: 321000 | #Constraints: 25308
232.15/233.06 c INPROCESSING
232.15/233.06 c GARBAGE COLLECT
232.15/233.06 c rational objective 0
244.21/245.19 c #Conflicts: 322000 | #Constraints: 13497
244.21/245.19 c #Conflicts: 323000 | #Constraints: 14985
244.21/245.19 c #Conflicts: 324000 | #Constraints: 16402
244.21/245.19 c #Conflicts: 325000 | #Constraints: 17861
244.21/245.19 c #Conflicts: 326000 | #Constraints: 19330
244.21/245.19 c #Conflicts: 327000 | #Constraints: 20790
244.21/245.19 c #Conflicts: 328000 | #Constraints: 22210
244.21/245.19 c #Conflicts: 329000 | #Constraints: 23267
244.21/245.19 c #Conflicts: 330000 | #Constraints: 24735
244.21/245.19 c #Conflicts: 331000 | #Constraints: 26233
244.21/245.19 c #Conflicts: 332000 | #Constraints: 27704
244.21/245.19 c #Conflicts: 333000 | #Constraints: 29168
244.21/245.19 c INPROCESSING
244.21/245.19 c GARBAGE COLLECT
244.21/245.19 c rational objective 0
254.87/255.85 c #Conflicts: 334000 | #Constraints: 15555
254.87/255.85 c #Conflicts: 335000 | #Constraints: 16574
254.87/255.85 c #Conflicts: 336000 | #Constraints: 17718
254.87/255.85 c #Conflicts: 337000 | #Constraints: 18719
254.87/255.85 c #Conflicts: 338000 | #Constraints: 19719
254.87/255.85 c #Conflicts: 339000 | #Constraints: 20930
254.87/255.85 c #Conflicts: 340000 | #Constraints: 22048
254.87/255.85 c #Conflicts: 341000 | #Constraints: 23204
254.87/255.85 c #Conflicts: 342000 | #Constraints: 24206
254.87/255.85 c #Conflicts: 343000 | #Constraints: 25206
254.87/255.85 c #Conflicts: 344000 | #Constraints: 26280
254.87/255.85 c #Conflicts: 345000 | #Constraints: 27473
254.87/255.85 c INPROCESSING
254.87/255.85 c GARBAGE COLLECT
254.87/255.85 c rational objective 0
265.54/266.51 c #Conflicts: 346000 | #Constraints: 14907
265.54/266.51 c #Conflicts: 347000 | #Constraints: 15952
265.54/266.51 c #Conflicts: 348000 | #Constraints: 17001
265.54/266.51 c #Conflicts: 349000 | #Constraints: 18030
265.54/266.51 c #Conflicts: 350000 | #Constraints: 19031
265.54/266.51 c #Conflicts: 351000 | #Constraints: 20031
265.54/266.51 c #Conflicts: 352000 | #Constraints: 21123
265.54/266.51 c #Conflicts: 353000 | #Constraints: 22125
265.54/266.51 c #Conflicts: 354000 | #Constraints: 23249
265.54/266.51 c #Conflicts: 355000 | #Constraints: 24250
265.54/266.51 c #Conflicts: 356000 | #Constraints: 25250
265.54/266.51 c #Conflicts: 357000 | #Constraints: 26250
265.54/266.51 c INPROCESSING
265.54/266.51 c GARBAGE COLLECT
265.54/266.51 c rational objective 0
276.61/277.65 c #Conflicts: 358000 | #Constraints: 14324
276.61/277.65 c #Conflicts: 359000 | #Constraints: 15326
276.61/277.65 c #Conflicts: 360000 | #Constraints: 16355
276.61/277.65 c #Conflicts: 361000 | #Constraints: 17355
276.61/277.65 c #Conflicts: 362000 | #Constraints: 18363
276.61/277.65 c #Conflicts: 363000 | #Constraints: 19375
276.61/277.65 c #Conflicts: 364000 | #Constraints: 20571
276.61/277.65 c #Conflicts: 365000 | #Constraints: 21796
276.61/277.65 c #Conflicts: 366000 | #Constraints: 22935
276.61/277.65 c #Conflicts: 367000 | #Constraints: 23972
276.61/277.65 c #Conflicts: 368000 | #Constraints: 24972
276.61/277.65 c #Conflicts: 369000 | #Constraints: 26113
276.61/277.65 c INPROCESSING
276.61/277.65 c GARBAGE COLLECT
276.61/277.65 c rational objective 0
287.27/288.34 c #Conflicts: 370000 | #Constraints: 14012
287.27/288.34 c #Conflicts: 371000 | #Constraints: 15203
287.27/288.34 c #Conflicts: 372000 | #Constraints: 16277
287.27/288.34 c #Conflicts: 373000 | #Constraints: 17437
287.27/288.34 c #Conflicts: 374000 | #Constraints: 18626
287.27/288.34 c #Conflicts: 375000 | #Constraints: 19784
287.27/288.34 c #Conflicts: 376000 | #Constraints: 20975
287.27/288.34 c #Conflicts: 377000 | #Constraints: 21975
287.27/288.34 c #Conflicts: 378000 | #Constraints: 23057
287.27/288.34 c #Conflicts: 379000 | #Constraints: 24057
287.27/288.34 c #Conflicts: 380000 | #Constraints: 25057
287.27/288.34 c #Conflicts: 381000 | #Constraints: 26057
287.27/288.34 c INPROCESSING
287.27/288.34 c GARBAGE COLLECT
287.27/288.34 c rational objective 0
300.13/301.28 c #Conflicts: 382000 | #Constraints: 13911
300.13/301.28 c #Conflicts: 383000 | #Constraints: 15361
300.13/301.28 c #Conflicts: 384000 | #Constraints: 16817
300.13/301.28 c #Conflicts: 385000 | #Constraints: 18286
300.13/301.28 c #Conflicts: 386000 | #Constraints: 19770
300.13/301.28 c #Conflicts: 387000 | #Constraints: 21232
300.13/301.28 c #Conflicts: 388000 | #Constraints: 22693
300.13/301.28 c #Conflicts: 389000 | #Constraints: 24145
300.13/301.28 c #Conflicts: 390000 | #Constraints: 25616
300.13/301.28 c #Conflicts: 391000 | #Constraints: 27087
300.13/301.28 c #Conflicts: 392000 | #Constraints: 28557
300.13/301.28 c #Conflicts: 393000 | #Constraints: 30032
300.13/301.28 c #Conflicts: 394000 | #Constraints: 31532
300.13/301.28 c INPROCESSING
300.13/301.28 c GARBAGE COLLECT
300.13/301.28 c rational objective 0
312.30/313.46 c #Conflicts: 395000 | #Constraints: 17034
312.30/313.46 c #Conflicts: 396000 | #Constraints: 18344
312.30/313.46 c #Conflicts: 397000 | #Constraints: 19344
312.30/313.46 c #Conflicts: 398000 | #Constraints: 20344
312.30/313.46 c #Conflicts: 399000 | #Constraints: 21344
312.30/313.46 c #Conflicts: 400000 | #Constraints: 22449
312.30/313.46 c #Conflicts: 401000 | #Constraints: 23504
312.30/313.46 c #Conflicts: 402000 | #Constraints: 24504
312.30/313.46 c #Conflicts: 403000 | #Constraints: 25504
312.30/313.46 c #Conflicts: 404000 | #Constraints: 26504
312.30/313.46 c #Conflicts: 405000 | #Constraints: 27550
312.30/313.46 c #Conflicts: 406000 | #Constraints: 28930
312.30/313.46 c #Conflicts: 407000 | #Constraints: 29930
312.30/313.46 c INPROCESSING
312.30/313.46 c GARBAGE COLLECT
312.30/313.46 c rational objective 0
326.15/327.35 c #Conflicts: 408000 | #Constraints: 16416
326.15/327.35 c #Conflicts: 409000 | #Constraints: 17891
326.15/327.35 c #Conflicts: 410000 | #Constraints: 19373
326.15/327.35 c #Conflicts: 411000 | #Constraints: 20848
326.15/327.35 c #Conflicts: 412000 | #Constraints: 22323
326.15/327.35 c #Conflicts: 413000 | #Constraints: 23807
326.15/327.35 c #Conflicts: 414000 | #Constraints: 25286
326.15/327.35 c #Conflicts: 415000 | #Constraints: 26758
326.15/327.35 c #Conflicts: 416000 | #Constraints: 28231
326.15/327.35 c #Conflicts: 417000 | #Constraints: 29719
326.15/327.35 c #Conflicts: 418000 | #Constraints: 31197
326.15/327.35 c #Conflicts: 419000 | #Constraints: 32681
326.15/327.35 c #Conflicts: 420000 | #Constraints: 34139
326.15/327.35 c INPROCESSING
326.15/327.35 c GARBAGE COLLECT
326.15/327.35 c rational objective 0
340.61/341.81 c #Conflicts: 421000 | #Constraints: 18528
340.61/341.81 c #Conflicts: 422000 | #Constraints: 19988
340.61/341.81 c #Conflicts: 423000 | #Constraints: 21453
340.61/341.81 c #Conflicts: 424000 | #Constraints: 22913
340.61/341.81 c #Conflicts: 425000 | #Constraints: 24382
340.61/341.81 c #Conflicts: 426000 | #Constraints: 25851
340.61/341.81 c #Conflicts: 427000 | #Constraints: 27325
340.61/341.81 c #Conflicts: 428000 | #Constraints: 28790
340.61/341.81 c #Conflicts: 429000 | #Constraints: 30267
340.61/341.81 c #Conflicts: 430000 | #Constraints: 31758
340.61/341.81 c #Conflicts: 431000 | #Constraints: 33227
340.61/341.81 c #Conflicts: 432000 | #Constraints: 34687
340.61/341.81 c #Conflicts: 433000 | #Constraints: 36162
340.61/341.81 c INPROCESSING
340.61/341.81 c GARBAGE COLLECT
340.61/341.81 c rational objective 0
354.16/355.48 c #Conflicts: 434000 | #Constraints: 19054
354.16/355.48 c #Conflicts: 435000 | #Constraints: 20055
354.16/355.48 c #Conflicts: 436000 | #Constraints: 21056
354.16/355.48 c #Conflicts: 437000 | #Constraints: 22056
354.16/355.48 c #Conflicts: 438000 | #Constraints: 23056
354.16/355.48 c #Conflicts: 439000 | #Constraints: 24057
354.16/355.48 c #Conflicts: 440000 | #Constraints: 25057
354.16/355.48 c #Conflicts: 441000 | #Constraints: 26057
354.16/355.48 c #Conflicts: 442000 | #Constraints: 27057
354.16/355.48 c #Conflicts: 443000 | #Constraints: 28057
354.16/355.48 c #Conflicts: 444000 | #Constraints: 29057
354.16/355.48 c #Conflicts: 445000 | #Constraints: 30058
354.16/355.48 c #Conflicts: 446000 | #Constraints: 31058
354.16/355.48 c INPROCESSING
354.16/355.48 c GARBAGE COLLECT
354.16/355.48 c rational objective 0
367.32/368.65 c #Conflicts: 447000 | #Constraints: 16298
367.32/368.65 c #Conflicts: 448000 | #Constraints: 17466
367.32/368.65 c #Conflicts: 449000 | #Constraints: 18584
367.32/368.65 c #Conflicts: 450000 | #Constraints: 19585
367.32/368.65 c #Conflicts: 451000 | #Constraints: 20700
367.32/368.65 c #Conflicts: 452000 | #Constraints: 21967
367.32/368.65 c #Conflicts: 453000 | #Constraints: 23021
367.32/368.65 c #Conflicts: 454000 | #Constraints: 24134
367.32/368.65 c #Conflicts: 455000 | #Constraints: 25159
367.32/368.65 c #Conflicts: 456000 | #Constraints: 26180
367.32/368.65 c #Conflicts: 457000 | #Constraints: 27183
367.32/368.65 c #Conflicts: 458000 | #Constraints: 28458
367.32/368.65 c #Conflicts: 459000 | #Constraints: 29579
367.32/368.65 c #Conflicts: 460000 | #Constraints: 30608
367.32/368.65 c INPROCESSING
367.32/368.65 c GARBAGE COLLECT
367.32/368.65 c rational objective 0
380.68/382.02 c #Conflicts: 461000 | #Constraints: 16593
380.68/382.02 c #Conflicts: 462000 | #Constraints: 17948
380.68/382.02 c #Conflicts: 463000 | #Constraints: 19173
380.68/382.02 c #Conflicts: 464000 | #Constraints: 20173
380.68/382.02 c #Conflicts: 465000 | #Constraints: 21644
380.68/382.02 c #Conflicts: 466000 | #Constraints: 22816
380.68/382.02 c #Conflicts: 467000 | #Constraints: 23816
380.68/382.02 c #Conflicts: 468000 | #Constraints: 24816
380.68/382.02 c #Conflicts: 469000 | #Constraints: 25817
380.68/382.02 c #Conflicts: 470000 | #Constraints: 26818
380.68/382.02 c #Conflicts: 471000 | #Constraints: 27818
380.68/382.02 c #Conflicts: 472000 | #Constraints: 28819
380.68/382.02 c #Conflicts: 473000 | #Constraints: 29821
380.68/382.02 c #Conflicts: 474000 | #Constraints: 30822
380.68/382.02 c INPROCESSING
380.68/382.02 c GARBAGE COLLECT
380.68/382.02 c rational objective 0
395.54/396.95 c #Conflicts: 475000 | #Constraints: 16768
395.54/396.95 c #Conflicts: 476000 | #Constraints: 17976
395.54/396.95 c #Conflicts: 477000 | #Constraints: 19007
395.54/396.95 c #Conflicts: 478000 | #Constraints: 20194
395.54/396.95 c #Conflicts: 479000 | #Constraints: 21330
395.54/396.95 c #Conflicts: 480000 | #Constraints: 22430
395.54/396.95 c #Conflicts: 481000 | #Constraints: 23480
395.54/396.95 c #Conflicts: 482000 | #Constraints: 24548
395.54/396.95 c #Conflicts: 483000 | #Constraints: 25741
395.54/396.95 c #Conflicts: 484000 | #Constraints: 26888
395.54/396.95 c #Conflicts: 485000 | #Constraints: 27969
395.54/396.95 c #Conflicts: 486000 | #Constraints: 29272
395.54/396.95 c #Conflicts: 487000 | #Constraints: 30377
395.54/396.95 c #Conflicts: 488000 | #Constraints: 31495
395.54/396.95 c INPROCESSING
395.54/396.95 c GARBAGE COLLECT
395.54/396.95 c rational objective 0
413.07/414.50 c #Conflicts: 489000 | #Constraints: 17184
413.07/414.50 c #Conflicts: 490000 | #Constraints: 18651
413.07/414.50 c #Conflicts: 491000 | #Constraints: 20119
413.07/414.50 c #Conflicts: 492000 | #Constraints: 21598
413.07/414.50 c #Conflicts: 493000 | #Constraints: 23059
413.07/414.50 c #Conflicts: 494000 | #Constraints: 24528
413.07/414.50 c #Conflicts: 495000 | #Constraints: 25972
413.07/414.50 c #Conflicts: 496000 | #Constraints: 27429
413.07/414.50 c #Conflicts: 497000 | #Constraints: 28892
413.07/414.50 c #Conflicts: 498000 | #Constraints: 30345
413.07/414.50 c #Conflicts: 499000 | #Constraints: 31835
413.07/414.50 c #Conflicts: 500000 | #Constraints: 33297
413.07/414.50 c #Conflicts: 501000 | #Constraints: 34772
413.07/414.50 c #Conflicts: 502000 | #Constraints: 36240
413.07/414.50 c INPROCESSING
413.07/414.50 c GARBAGE COLLECT
413.07/414.50 c rational objective 0
432.38/433.97 c #Conflicts: 503000 | #Constraints: 19403
432.38/433.97 c #Conflicts: 504000 | #Constraints: 20709
432.38/433.97 c #Conflicts: 505000 | #Constraints: 22113
432.38/433.97 c #Conflicts: 506000 | #Constraints: 23544
432.38/433.97 c #Conflicts: 507000 | #Constraints: 25023
432.38/433.97 c #Conflicts: 508000 | #Constraints: 26465
432.38/433.97 c #Conflicts: 509000 | #Constraints: 27943
432.38/433.97 c #Conflicts: 510000 | #Constraints: 29428
432.38/433.97 c #Conflicts: 511000 | #Constraints: 30905
432.38/433.97 c #Conflicts: 512000 | #Constraints: 32367
432.38/433.97 c #Conflicts: 513000 | #Constraints: 33845
432.38/433.97 c #Conflicts: 514000 | #Constraints: 35311
432.38/433.97 c #Conflicts: 515000 | #Constraints: 36447
432.38/433.97 c #Conflicts: 516000 | #Constraints: 37929
432.38/433.97 c INPROCESSING
432.38/433.97 c GARBAGE COLLECT
432.38/433.97 c rational objective 0
447.83/449.44 c #Conflicts: 517000 | #Constraints: 19829
447.83/449.44 c #Conflicts: 518000 | #Constraints: 20893
447.83/449.44 c #Conflicts: 519000 | #Constraints: 21893
447.83/449.44 c #Conflicts: 520000 | #Constraints: 22932
447.83/449.44 c #Conflicts: 521000 | #Constraints: 23944
447.83/449.44 c #Conflicts: 522000 | #Constraints: 24992
447.83/449.44 c #Conflicts: 523000 | #Constraints: 26095
447.83/449.44 c #Conflicts: 524000 | #Constraints: 27095
447.83/449.44 c #Conflicts: 525000 | #Constraints: 28095
447.83/449.44 c #Conflicts: 526000 | #Constraints: 29095
447.83/449.44 c #Conflicts: 527000 | #Constraints: 30097
447.83/449.44 c #Conflicts: 528000 | #Constraints: 31098
447.83/449.44 c #Conflicts: 529000 | #Constraints: 32098
447.83/449.44 c #Conflicts: 530000 | #Constraints: 33098
447.83/449.44 c #Conflicts: 531000 | #Constraints: 34168
447.83/449.44 c INPROCESSING
447.83/449.44 c GARBAGE COLLECT
447.83/449.44 c rational objective 0
463.58/465.25 c #Conflicts: 532000 | #Constraints: 18346
463.58/465.25 c #Conflicts: 533000 | #Constraints: 19549
463.58/465.25 c #Conflicts: 534000 | #Constraints: 20930
463.58/465.25 c #Conflicts: 535000 | #Constraints: 22265
463.58/465.25 c #Conflicts: 536000 | #Constraints: 23463
463.58/465.25 c #Conflicts: 537000 | #Constraints: 24463
463.58/465.25 c #Conflicts: 538000 | #Constraints: 25463
463.58/465.25 c #Conflicts: 539000 | #Constraints: 26573
463.58/465.25 c #Conflicts: 540000 | #Constraints: 27573
463.58/465.25 c #Conflicts: 541000 | #Constraints: 28671
463.58/465.25 c #Conflicts: 542000 | #Constraints: 29827
463.58/465.25 c #Conflicts: 543000 | #Constraints: 30827
463.58/465.25 c #Conflicts: 544000 | #Constraints: 31828
463.58/465.25 c #Conflicts: 545000 | #Constraints: 32828
463.58/465.25 c #Conflicts: 546000 | #Constraints: 33849
463.58/465.25 c INPROCESSING
463.58/465.25 c GARBAGE COLLECT
463.58/465.25 c rational objective 0
479.04/480.73 c #Conflicts: 547000 | #Constraints: 18259
479.04/480.73 c #Conflicts: 548000 | #Constraints: 19279
479.04/480.73 c #Conflicts: 549000 | #Constraints: 20279
479.04/480.73 c #Conflicts: 550000 | #Constraints: 21364
479.04/480.73 c #Conflicts: 551000 | #Constraints: 22374
479.04/480.73 c #Conflicts: 552000 | #Constraints: 23625
479.04/480.73 c #Conflicts: 553000 | #Constraints: 24665
479.04/480.73 c #Conflicts: 554000 | #Constraints: 25665
479.04/480.73 c #Conflicts: 555000 | #Constraints: 26700
479.04/480.73 c #Conflicts: 556000 | #Constraints: 27944
479.04/480.73 c #Conflicts: 557000 | #Constraints: 28944
479.04/480.73 c #Conflicts: 558000 | #Constraints: 30062
479.04/480.73 c #Conflicts: 559000 | #Constraints: 31062
479.04/480.73 c #Conflicts: 560000 | #Constraints: 32123
479.04/480.73 c #Conflicts: 561000 | #Constraints: 33131
479.04/480.73 c INPROCESSING
479.04/480.73 c GARBAGE COLLECT
479.04/480.73 c rational objective 0
494.19/495.90 c #Conflicts: 562000 | #Constraints: 17771
494.19/495.90 c #Conflicts: 563000 | #Constraints: 19027
494.19/495.90 c #Conflicts: 564000 | #Constraints: 20027
494.19/495.90 c #Conflicts: 565000 | #Constraints: 21027
494.19/495.90 c #Conflicts: 566000 | #Constraints: 22027
494.19/495.90 c #Conflicts: 567000 | #Constraints: 23098
494.19/495.90 c #Conflicts: 568000 | #Constraints: 24098
494.19/495.90 c #Conflicts: 569000 | #Constraints: 25098
494.19/495.90 c #Conflicts: 570000 | #Constraints: 26098
494.19/495.90 c #Conflicts: 571000 | #Constraints: 27098
494.19/495.90 c #Conflicts: 572000 | #Constraints: 28139
494.19/495.90 c #Conflicts: 573000 | #Constraints: 29139
494.19/495.90 c #Conflicts: 574000 | #Constraints: 30139
494.19/495.90 c #Conflicts: 575000 | #Constraints: 31214
494.19/495.90 c #Conflicts: 576000 | #Constraints: 32514
494.19/495.90 c INPROCESSING
494.19/495.90 c GARBAGE COLLECT
494.19/495.90 c rational objective 0
509.74/511.51 c #Conflicts: 577000 | #Constraints: 17452
509.74/511.51 c #Conflicts: 578000 | #Constraints: 18577
509.74/511.51 c #Conflicts: 579000 | #Constraints: 19620
509.74/511.51 c #Conflicts: 580000 | #Constraints: 20620
509.74/511.51 c #Conflicts: 581000 | #Constraints: 21620
509.74/511.51 c #Conflicts: 582000 | #Constraints: 22620
509.74/511.51 c #Conflicts: 583000 | #Constraints: 23620
509.74/511.51 c #Conflicts: 584000 | #Constraints: 24620
509.74/511.51 c #Conflicts: 585000 | #Constraints: 25620
509.74/511.51 c #Conflicts: 586000 | #Constraints: 26620
509.74/511.51 c #Conflicts: 587000 | #Constraints: 27620
509.74/511.51 c #Conflicts: 588000 | #Constraints: 28620
509.74/511.51 c #Conflicts: 589000 | #Constraints: 29620
509.74/511.51 c #Conflicts: 590000 | #Constraints: 30620
509.74/511.51 c #Conflicts: 591000 | #Constraints: 31620
509.74/511.51 c INPROCESSING
509.74/511.51 c GARBAGE COLLECT
509.74/511.51 c rational objective 0
524.40/526.27 c #Conflicts: 592000 | #Constraints: 16623
524.40/526.27 c #Conflicts: 593000 | #Constraints: 17651
524.40/526.27 c #Conflicts: 594000 | #Constraints: 18651
524.40/526.27 c #Conflicts: 595000 | #Constraints: 19651
524.40/526.27 c #Conflicts: 596000 | #Constraints: 20651
524.40/526.27 c #Conflicts: 597000 | #Constraints: 21735
524.40/526.27 c #Conflicts: 598000 | #Constraints: 22753
524.40/526.27 c #Conflicts: 599000 | #Constraints: 23753
524.40/526.27 c #Conflicts: 600000 | #Constraints: 24753
524.40/526.27 c #Conflicts: 601000 | #Constraints: 25753
524.40/526.27 c #Conflicts: 602000 | #Constraints: 26833
524.40/526.27 c #Conflicts: 603000 | #Constraints: 27833
524.40/526.27 c #Conflicts: 604000 | #Constraints: 28833
524.40/526.27 c #Conflicts: 605000 | #Constraints: 29833
524.40/526.27 c #Conflicts: 606000 | #Constraints: 30833
524.40/526.27 c #Conflicts: 607000 | #Constraints: 31833
524.40/526.27 c INPROCESSING
524.40/526.27 c GARBAGE COLLECT
524.40/526.27 c rational objective 0
539.95/541.80 c #Conflicts: 608000 | #Constraints: 17066
539.95/541.80 c #Conflicts: 609000 | #Constraints: 18196
539.95/541.80 c #Conflicts: 610000 | #Constraints: 19217
539.95/541.80 c #Conflicts: 611000 | #Constraints: 20355
539.95/541.80 c #Conflicts: 612000 | #Constraints: 21355
539.95/541.80 c #Conflicts: 613000 | #Constraints: 22369
539.95/541.80 c #Conflicts: 614000 | #Constraints: 23383
539.95/541.80 c #Conflicts: 615000 | #Constraints: 24394
539.95/541.80 c #Conflicts: 616000 | #Constraints: 25473
539.95/541.80 c #Conflicts: 617000 | #Constraints: 26506
539.95/541.80 c #Conflicts: 618000 | #Constraints: 27506
539.95/541.80 c #Conflicts: 619000 | #Constraints: 28541
539.95/541.80 c #Conflicts: 620000 | #Constraints: 29541
539.95/541.80 c #Conflicts: 621000 | #Constraints: 30541
539.95/541.80 c #Conflicts: 622000 | #Constraints: 31541
539.95/541.80 c #Conflicts: 623000 | #Constraints: 32541
539.95/541.80 c INPROCESSING
539.95/541.80 c GARBAGE COLLECT
539.95/541.80 c rational objective 0
560.79/562.77 c #Conflicts: 624000 | #Constraints: 17748
560.79/562.77 c #Conflicts: 625000 | #Constraints: 19227
560.79/562.77 c #Conflicts: 626000 | #Constraints: 20703
560.79/562.77 c #Conflicts: 627000 | #Constraints: 22178
560.79/562.77 c #Conflicts: 628000 | #Constraints: 23653
560.79/562.77 c #Conflicts: 629000 | #Constraints: 25121
560.79/562.77 c #Conflicts: 630000 | #Constraints: 26586
560.79/562.77 c #Conflicts: 631000 | #Constraints: 28041
560.79/562.77 c #Conflicts: 632000 | #Constraints: 29509
560.79/562.77 c #Conflicts: 633000 | #Constraints: 30973
560.79/562.77 c #Conflicts: 634000 | #Constraints: 32422
560.79/562.77 c #Conflicts: 635000 | #Constraints: 33868
560.79/562.77 c #Conflicts: 636000 | #Constraints: 35348
560.79/562.77 c #Conflicts: 637000 | #Constraints: 36806
560.79/562.77 c #Conflicts: 638000 | #Constraints: 38301
560.79/562.77 c #Conflicts: 639000 | #Constraints: 39759
560.79/562.77 c INPROCESSING
560.79/562.77 c GARBAGE COLLECT
560.79/562.77 c rational objective 0
578.23/580.26 c #Conflicts: 640000 | #Constraints: 21061
578.23/580.26 c #Conflicts: 641000 | #Constraints: 22061
578.23/580.26 c #Conflicts: 642000 | #Constraints: 23155
578.23/580.26 c #Conflicts: 643000 | #Constraints: 24229
578.23/580.26 c #Conflicts: 644000 | #Constraints: 25229
578.23/580.26 c #Conflicts: 645000 | #Constraints: 26229
578.23/580.26 c #Conflicts: 646000 | #Constraints: 27229
578.23/580.26 c #Conflicts: 647000 | #Constraints: 28229
578.23/580.26 c #Conflicts: 648000 | #Constraints: 29229
578.23/580.26 c #Conflicts: 649000 | #Constraints: 30498
578.23/580.26 c #Conflicts: 650000 | #Constraints: 31526
578.23/580.26 c #Conflicts: 651000 | #Constraints: 32526
578.23/580.26 c #Conflicts: 652000 | #Constraints: 33526
578.23/580.26 c #Conflicts: 653000 | #Constraints: 34526
578.23/580.26 c #Conflicts: 654000 | #Constraints: 35527
578.23/580.26 c #Conflicts: 655000 | #Constraints: 36542
578.23/580.26 c INPROCESSING
578.23/580.26 c GARBAGE COLLECT
578.23/580.26 c rational objective 0
594.99/597.04 c #Conflicts: 656000 | #Constraints: 19187
594.99/597.04 c #Conflicts: 657000 | #Constraints: 20187
594.99/597.04 c #Conflicts: 658000 | #Constraints: 21187
594.99/597.04 c #Conflicts: 659000 | #Constraints: 22187
594.99/597.04 c #Conflicts: 660000 | #Constraints: 23188
594.99/597.04 c #Conflicts: 661000 | #Constraints: 24188
594.99/597.04 c #Conflicts: 662000 | #Constraints: 25188
594.99/597.04 c #Conflicts: 663000 | #Constraints: 26188
594.99/597.04 c #Conflicts: 664000 | #Constraints: 27188
594.99/597.04 c #Conflicts: 665000 | #Constraints: 28188
594.99/597.04 c #Conflicts: 666000 | #Constraints: 29188
594.99/597.04 c #Conflicts: 667000 | #Constraints: 30188
594.99/597.04 c #Conflicts: 668000 | #Constraints: 31188
594.99/597.04 c #Conflicts: 669000 | #Constraints: 32188
594.99/597.04 c #Conflicts: 670000 | #Constraints: 33188
594.99/597.04 c #Conflicts: 671000 | #Constraints: 34188
594.99/597.04 c INPROCESSING
594.99/597.04 c GARBAGE COLLECT
594.99/597.04 c rational objective 0
612.63/614.75 c #Conflicts: 672000 | #Constraints: 17923
612.63/614.75 c #Conflicts: 673000 | #Constraints: 19029
612.63/614.75 c #Conflicts: 674000 | #Constraints: 20175
612.63/614.75 c #Conflicts: 675000 | #Constraints: 21175
612.63/614.75 c #Conflicts: 676000 | #Constraints: 22175
612.63/614.75 c #Conflicts: 677000 | #Constraints: 23175
612.63/614.75 c #Conflicts: 678000 | #Constraints: 24346
612.63/614.75 c #Conflicts: 679000 | #Constraints: 25351
612.63/614.75 c #Conflicts: 680000 | #Constraints: 26351
612.63/614.75 c #Conflicts: 681000 | #Constraints: 27351
612.63/614.75 c #Conflicts: 682000 | #Constraints: 28351
612.63/614.75 c #Conflicts: 683000 | #Constraints: 29351
612.63/614.75 c #Conflicts: 684000 | #Constraints: 30406
612.63/614.75 c #Conflicts: 685000 | #Constraints: 31406
612.63/614.75 c #Conflicts: 686000 | #Constraints: 32406
612.63/614.75 c #Conflicts: 687000 | #Constraints: 33475
612.63/614.75 c #Conflicts: 688000 | #Constraints: 34640
612.63/614.75 c INPROCESSING
612.63/614.75 c GARBAGE COLLECT
612.63/614.75 c rational objective 0
634.06/636.20 c #Conflicts: 689000 | #Constraints: 18431
634.06/636.20 c #Conflicts: 690000 | #Constraints: 19873
634.06/636.20 c #Conflicts: 691000 | #Constraints: 21355
634.06/636.20 c #Conflicts: 692000 | #Constraints: 22582
634.06/636.20 c #Conflicts: 693000 | #Constraints: 24052
634.06/636.20 c #Conflicts: 694000 | #Constraints: 25513
634.06/636.20 c #Conflicts: 695000 | #Constraints: 26989
634.06/636.20 c #Conflicts: 696000 | #Constraints: 28474
634.06/636.20 c #Conflicts: 697000 | #Constraints: 29890
634.06/636.20 c #Conflicts: 698000 | #Constraints: 30965
634.06/636.20 c #Conflicts: 699000 | #Constraints: 31965
634.06/636.20 c #Conflicts: 700000 | #Constraints: 33160
634.06/636.20 c #Conflicts: 701000 | #Constraints: 34618
634.06/636.20 c #Conflicts: 702000 | #Constraints: 36077
634.06/636.20 c #Conflicts: 703000 | #Constraints: 37525
634.06/636.20 c #Conflicts: 704000 | #Constraints: 38975
634.06/636.20 c #Conflicts: 705000 | #Constraints: 40443
634.06/636.20 c INPROCESSING
634.06/636.20 c GARBAGE COLLECT
634.06/636.20 c rational objective 0
655.60/657.89 c #Conflicts: 706000 | #Constraints: 21630
655.60/657.89 c #Conflicts: 707000 | #Constraints: 22630
655.60/657.89 c #Conflicts: 708000 | #Constraints: 23656
655.60/657.89 c #Conflicts: 709000 | #Constraints: 24930
655.60/657.89 c #Conflicts: 710000 | #Constraints: 26079
655.60/657.89 c #Conflicts: 711000 | #Constraints: 27079
655.60/657.89 c #Conflicts: 712000 | #Constraints: 28079
655.60/657.89 c #Conflicts: 713000 | #Constraints: 29079
655.60/657.89 c #Conflicts: 714000 | #Constraints: 30263
655.60/657.89 c #Conflicts: 715000 | #Constraints: 31742
655.60/657.89 c #Conflicts: 716000 | #Constraints: 33212
655.60/657.89 c #Conflicts: 717000 | #Constraints: 34559
655.60/657.89 c #Conflicts: 718000 | #Constraints: 35559
655.60/657.89 c #Conflicts: 719000 | #Constraints: 36559
655.60/657.89 c #Conflicts: 720000 | #Constraints: 37763
655.60/657.89 c #Conflicts: 721000 | #Constraints: 38763
655.60/657.89 c #Conflicts: 722000 | #Constraints: 39763
655.60/657.89 c INPROCESSING
655.60/657.89 c GARBAGE COLLECT
655.60/657.89 c rational objective 0
679.22/681.56 c #Conflicts: 723000 | #Constraints: 21316
679.22/681.56 c #Conflicts: 724000 | #Constraints: 22622
679.22/681.56 c #Conflicts: 725000 | #Constraints: 23842
679.22/681.56 c #Conflicts: 726000 | #Constraints: 25278
679.22/681.56 c #Conflicts: 727000 | #Constraints: 26745
679.22/681.56 c #Conflicts: 728000 | #Constraints: 28227
679.22/681.56 c #Conflicts: 729000 | #Constraints: 29460
679.22/681.56 c #Conflicts: 730000 | #Constraints: 30822
679.22/681.56 c #Conflicts: 731000 | #Constraints: 32285
679.22/681.56 c #Conflicts: 732000 | #Constraints: 33759
679.22/681.56 c #Conflicts: 733000 | #Constraints: 35237
679.22/681.56 c #Conflicts: 734000 | #Constraints: 36707
679.22/681.56 c #Conflicts: 735000 | #Constraints: 38162
679.22/681.56 c #Conflicts: 736000 | #Constraints: 39602
679.22/681.56 c #Conflicts: 737000 | #Constraints: 41051
679.22/681.56 c #Conflicts: 738000 | #Constraints: 42406
679.22/681.56 c #Conflicts: 739000 | #Constraints: 43860
679.22/681.56 c INPROCESSING
679.22/681.56 c GARBAGE COLLECT
679.22/681.56 c rational objective 0
707.43/709.87 c #Conflicts: 740000 | #Constraints: 23267
707.43/709.87 c #Conflicts: 741000 | #Constraints: 24732
707.43/709.87 c #Conflicts: 742000 | #Constraints: 26139
707.43/709.87 c #Conflicts: 743000 | #Constraints: 27521
707.43/709.87 c #Conflicts: 744000 | #Constraints: 28988
707.43/709.87 c #Conflicts: 745000 | #Constraints: 30453
707.43/709.87 c #Conflicts: 746000 | #Constraints: 31935
707.43/709.87 c #Conflicts: 747000 | #Constraints: 33397
707.43/709.87 c #Conflicts: 748000 | #Constraints: 34864
707.43/709.87 c #Conflicts: 749000 | #Constraints: 36340
707.43/709.87 c #Conflicts: 750000 | #Constraints: 37798
707.43/709.87 c #Conflicts: 751000 | #Constraints: 39242
707.43/709.87 c #Conflicts: 752000 | #Constraints: 40280
707.43/709.87 c #Conflicts: 753000 | #Constraints: 41280
707.43/709.87 c #Conflicts: 754000 | #Constraints: 42280
707.43/709.87 c #Conflicts: 755000 | #Constraints: 43280
707.43/709.87 c #Conflicts: 756000 | #Constraints: 44280
707.43/709.87 c INPROCESSING
707.43/709.87 c GARBAGE COLLECT
707.43/709.87 c rational objective 0
727.97/730.49 c #Conflicts: 757000 | #Constraints: 22858
727.97/730.49 c #Conflicts: 758000 | #Constraints: 23858
727.97/730.49 c #Conflicts: 759000 | #Constraints: 24858
727.97/730.49 c #Conflicts: 760000 | #Constraints: 25858
727.97/730.49 c #Conflicts: 761000 | #Constraints: 26859
727.97/730.49 c #Conflicts: 762000 | #Constraints: 27860
727.97/730.49 c #Conflicts: 763000 | #Constraints: 28861
727.97/730.49 c #Conflicts: 764000 | #Constraints: 29861
727.97/730.49 c #Conflicts: 765000 | #Constraints: 30861
727.97/730.49 c #Conflicts: 766000 | #Constraints: 31861
727.97/730.49 c #Conflicts: 767000 | #Constraints: 32861
727.97/730.49 c #Conflicts: 768000 | #Constraints: 33861
727.97/730.49 c #Conflicts: 769000 | #Constraints: 34861
727.97/730.49 c #Conflicts: 770000 | #Constraints: 35862
727.97/730.49 c #Conflicts: 771000 | #Constraints: 36862
727.97/730.49 c #Conflicts: 772000 | #Constraints: 37862
727.97/730.49 c #Conflicts: 773000 | #Constraints: 38862
727.97/730.49 c #Conflicts: 774000 | #Constraints: 39862
727.97/730.49 c INPROCESSING
727.97/730.49 c GARBAGE COLLECT
727.97/730.49 c rational objective 0
750.40/752.98 c #Conflicts: 775000 | #Constraints: 21146
750.40/752.98 c #Conflicts: 776000 | #Constraints: 22541
750.40/752.98 c #Conflicts: 777000 | #Constraints: 23606
750.40/752.98 c #Conflicts: 778000 | #Constraints: 24718
750.40/752.98 c #Conflicts: 779000 | #Constraints: 25718
750.40/752.98 c #Conflicts: 780000 | #Constraints: 26719
750.40/752.98 c #Conflicts: 781000 | #Constraints: 27719
750.40/752.98 c #Conflicts: 782000 | #Constraints: 29063
750.40/752.98 c #Conflicts: 783000 | #Constraints: 30266
750.40/752.98 c #Conflicts: 784000 | #Constraints: 31329
750.40/752.98 c #Conflicts: 785000 | #Constraints: 32494
750.40/752.98 c #Conflicts: 786000 | #Constraints: 33494
750.40/752.98 c #Conflicts: 787000 | #Constraints: 34956
750.40/752.98 c #Conflicts: 788000 | #Constraints: 36433
750.40/752.98 c #Conflicts: 789000 | #Constraints: 37931
750.40/752.98 c #Conflicts: 790000 | #Constraints: 39246
750.40/752.98 c #Conflicts: 791000 | #Constraints: 40425
750.40/752.98 c #Conflicts: 792000 | #Constraints: 41452
750.40/752.98 c INPROCESSING
750.40/752.98 c GARBAGE COLLECT
750.40/752.98 c rational objective 0
771.74/774.35 c #Conflicts: 793000 | #Constraints: 21946
771.74/774.35 c #Conflicts: 794000 | #Constraints: 22966
771.74/774.35 c #Conflicts: 795000 | #Constraints: 23966
771.74/774.35 c #Conflicts: 796000 | #Constraints: 25012
771.74/774.35 c #Conflicts: 797000 | #Constraints: 26024
771.74/774.35 c #Conflicts: 798000 | #Constraints: 27134
771.74/774.35 c #Conflicts: 799000 | #Constraints: 28235
771.74/774.35 c #Conflicts: 800000 | #Constraints: 29393
771.74/774.35 c #Conflicts: 801000 | #Constraints: 30393
771.74/774.35 c #Conflicts: 802000 | #Constraints: 31393
771.74/774.35 c #Conflicts: 803000 | #Constraints: 32393
771.74/774.35 c #Conflicts: 804000 | #Constraints: 33393
771.74/774.35 c #Conflicts: 805000 | #Constraints: 34393
771.74/774.35 c #Conflicts: 806000 | #Constraints: 35394
771.74/774.35 c #Conflicts: 807000 | #Constraints: 36437
771.74/774.35 c #Conflicts: 808000 | #Constraints: 37452
771.74/774.35 c #Conflicts: 809000 | #Constraints: 38452
771.74/774.35 c #Conflicts: 810000 | #Constraints: 39452
771.74/774.35 c INPROCESSING
771.74/774.35 c GARBAGE COLLECT
771.74/774.35 c rational objective 0
794.66/797.37 c #Conflicts: 811000 | #Constraints: 20980
794.66/797.37 c #Conflicts: 812000 | #Constraints: 22459
794.66/797.37 c #Conflicts: 813000 | #Constraints: 23464
794.66/797.37 c #Conflicts: 814000 | #Constraints: 24464
794.66/797.37 c #Conflicts: 815000 | #Constraints: 25464
794.66/797.37 c #Conflicts: 816000 | #Constraints: 26464
794.66/797.37 c #Conflicts: 817000 | #Constraints: 27464
794.66/797.37 c #Conflicts: 818000 | #Constraints: 28861
794.66/797.37 c #Conflicts: 819000 | #Constraints: 30317
794.66/797.37 c #Conflicts: 820000 | #Constraints: 31439
794.66/797.37 c #Conflicts: 821000 | #Constraints: 32720
794.66/797.37 c #Conflicts: 822000 | #Constraints: 33810
794.66/797.37 c #Conflicts: 823000 | #Constraints: 34810
794.66/797.37 c #Conflicts: 824000 | #Constraints: 35812
794.66/797.37 c #Conflicts: 825000 | #Constraints: 37290
794.66/797.37 c #Conflicts: 826000 | #Constraints: 38775
794.66/797.37 c #Conflicts: 827000 | #Constraints: 40270
794.66/797.37 c #Conflicts: 828000 | #Constraints: 41716
794.66/797.37 c INPROCESSING
794.66/797.37 c GARBAGE COLLECT
794.66/797.37 c rational objective 0
818.19/820.94 c #Conflicts: 829000 | #Constraints: 21845
818.19/820.94 c #Conflicts: 830000 | #Constraints: 23029
818.19/820.94 c #Conflicts: 831000 | #Constraints: 24188
818.19/820.94 c #Conflicts: 832000 | #Constraints: 25204
818.19/820.94 c #Conflicts: 833000 | #Constraints: 26240
818.19/820.94 c #Conflicts: 834000 | #Constraints: 27240
818.19/820.94 c #Conflicts: 835000 | #Constraints: 28246
818.19/820.94 c #Conflicts: 836000 | #Constraints: 29283
818.19/820.94 c #Conflicts: 837000 | #Constraints: 30345
818.19/820.94 c #Conflicts: 838000 | #Constraints: 31381
818.19/820.94 c #Conflicts: 839000 | #Constraints: 32381
818.19/820.94 c #Conflicts: 840000 | #Constraints: 33381
818.19/820.94 c #Conflicts: 841000 | #Constraints: 34381
818.19/820.94 c #Conflicts: 842000 | #Constraints: 35381
818.19/820.94 c #Conflicts: 843000 | #Constraints: 36381
818.19/820.94 c #Conflicts: 844000 | #Constraints: 37381
818.19/820.94 c #Conflicts: 845000 | #Constraints: 38477
818.19/820.94 c #Conflicts: 846000 | #Constraints: 39477
818.19/820.94 c INPROCESSING
818.19/820.94 c GARBAGE COLLECT
818.19/820.94 c rational objective 0
839.23/842.04 c #Conflicts: 847000 | #Constraints: 20546
839.23/842.04 c #Conflicts: 848000 | #Constraints: 21546
839.23/842.04 c #Conflicts: 849000 | #Constraints: 22546
839.23/842.04 c #Conflicts: 850000 | #Constraints: 23546
839.23/842.04 c #Conflicts: 851000 | #Constraints: 24546
839.23/842.04 c #Conflicts: 852000 | #Constraints: 25546
839.23/842.04 c #Conflicts: 853000 | #Constraints: 26546
839.23/842.04 c #Conflicts: 854000 | #Constraints: 27546
839.23/842.04 c #Conflicts: 855000 | #Constraints: 28546
839.23/842.04 c #Conflicts: 856000 | #Constraints: 29546
839.23/842.04 c #Conflicts: 857000 | #Constraints: 30546
839.23/842.04 c #Conflicts: 858000 | #Constraints: 31546
839.23/842.04 c #Conflicts: 859000 | #Constraints: 32546
839.23/842.04 c #Conflicts: 860000 | #Constraints: 33546
839.23/842.04 c #Conflicts: 861000 | #Constraints: 34547
839.23/842.04 c #Conflicts: 862000 | #Constraints: 35547
839.23/842.04 c #Conflicts: 863000 | #Constraints: 36547
839.23/842.04 c #Conflicts: 864000 | #Constraints: 37547
839.23/842.04 c #Conflicts: 865000 | #Constraints: 38547
839.23/842.04 c INPROCESSING
839.23/842.04 c GARBAGE COLLECT
839.23/842.04 c rational objective 0
859.76/862.60 c #Conflicts: 866000 | #Constraints: 20319
859.76/862.60 c #Conflicts: 867000 | #Constraints: 21346
859.76/862.60 c #Conflicts: 868000 | #Constraints: 22346
859.76/862.60 c #Conflicts: 869000 | #Constraints: 23346
859.76/862.60 c #Conflicts: 870000 | #Constraints: 24545
859.76/862.60 c #Conflicts: 871000 | #Constraints: 25545
859.76/862.60 c #Conflicts: 872000 | #Constraints: 26545
859.76/862.60 c #Conflicts: 873000 | #Constraints: 27545
859.76/862.60 c #Conflicts: 874000 | #Constraints: 28602
859.76/862.60 c #Conflicts: 875000 | #Constraints: 29602
859.76/862.60 c #Conflicts: 876000 | #Constraints: 30602
859.76/862.60 c #Conflicts: 877000 | #Constraints: 31602
859.76/862.60 c #Conflicts: 878000 | #Constraints: 32602
859.76/862.60 c #Conflicts: 879000 | #Constraints: 33602
859.76/862.60 c #Conflicts: 880000 | #Constraints: 34602
859.76/862.60 c #Conflicts: 881000 | #Constraints: 35705
859.76/862.60 c #Conflicts: 882000 | #Constraints: 36705
859.76/862.60 c #Conflicts: 883000 | #Constraints: 37843
859.76/862.60 c #Conflicts: 884000 | #Constraints: 38861
859.76/862.60 c INPROCESSING
859.76/862.60 c GARBAGE COLLECT
859.76/862.60 c rational objective 0
887.37/890.32 c #Conflicts: 885000 | #Constraints: 20792
887.37/890.32 c #Conflicts: 886000 | #Constraints: 22251
887.37/890.32 c #Conflicts: 887000 | #Constraints: 23701
887.37/890.32 c #Conflicts: 888000 | #Constraints: 25155
887.37/890.32 c #Conflicts: 889000 | #Constraints: 26619
887.37/890.32 c #Conflicts: 890000 | #Constraints: 28092
887.37/890.32 c #Conflicts: 891000 | #Constraints: 29561
887.37/890.32 c #Conflicts: 892000 | #Constraints: 31042
887.37/890.32 c #Conflicts: 893000 | #Constraints: 32519
887.37/890.32 c #Conflicts: 894000 | #Constraints: 33976
887.37/890.32 c #Conflicts: 895000 | #Constraints: 35437
887.37/890.32 c #Conflicts: 896000 | #Constraints: 36911
887.37/890.32 c #Conflicts: 897000 | #Constraints: 38176
887.37/890.32 c #Conflicts: 898000 | #Constraints: 39628
887.37/890.32 c #Conflicts: 899000 | #Constraints: 40628
887.37/890.32 c #Conflicts: 900000 | #Constraints: 41628
887.37/890.32 c #Conflicts: 901000 | #Constraints: 42822
887.37/890.32 c #Conflicts: 902000 | #Constraints: 44306
887.37/890.32 c #Conflicts: 903000 | #Constraints: 45771
887.37/890.32 c INPROCESSING
887.37/890.32 c GARBAGE COLLECT
887.37/890.32 c rational objective 0
912.39/915.47 c #Conflicts: 904000 | #Constraints: 24156
912.39/915.47 c #Conflicts: 905000 | #Constraints: 25458
912.39/915.47 c #Conflicts: 906000 | #Constraints: 26620
912.39/915.47 c #Conflicts: 907000 | #Constraints: 27756
912.39/915.47 c #Conflicts: 908000 | #Constraints: 29171
912.39/915.47 c #Conflicts: 909000 | #Constraints: 30570
912.39/915.47 c #Conflicts: 910000 | #Constraints: 31758
912.39/915.47 c #Conflicts: 911000 | #Constraints: 32758
912.39/915.47 c #Conflicts: 912000 | #Constraints: 33758
912.39/915.47 c #Conflicts: 913000 | #Constraints: 34856
912.39/915.47 c #Conflicts: 914000 | #Constraints: 36290
912.39/915.47 c #Conflicts: 915000 | #Constraints: 37407
912.39/915.47 c #Conflicts: 916000 | #Constraints: 38407
912.39/915.47 c #Conflicts: 917000 | #Constraints: 39419
912.39/915.47 c #Conflicts: 918000 | #Constraints: 40526
912.39/915.47 c #Conflicts: 919000 | #Constraints: 41526
912.39/915.47 c #Conflicts: 920000 | #Constraints: 42526
912.39/915.47 c #Conflicts: 921000 | #Constraints: 43526
912.39/915.47 c #Conflicts: 922000 | #Constraints: 44526
912.39/915.47 c INPROCESSING
912.39/915.47 c GARBAGE COLLECT
912.39/915.47 c rational objective 0
934.82/937.92 c #Conflicts: 923000 | #Constraints: 23178
934.82/937.92 c #Conflicts: 924000 | #Constraints: 24178
934.82/937.92 c #Conflicts: 925000 | #Constraints: 25178
934.82/937.92 c #Conflicts: 926000 | #Constraints: 26178
934.82/937.92 c #Conflicts: 927000 | #Constraints: 27178
934.82/937.92 c #Conflicts: 928000 | #Constraints: 28179
934.82/937.92 c #Conflicts: 929000 | #Constraints: 29179
934.82/937.92 c #Conflicts: 930000 | #Constraints: 30179
934.82/937.92 c #Conflicts: 931000 | #Constraints: 31179
934.82/937.92 c #Conflicts: 932000 | #Constraints: 32179
934.82/937.92 c #Conflicts: 933000 | #Constraints: 33179
934.82/937.92 c #Conflicts: 934000 | #Constraints: 34179
934.82/937.92 c #Conflicts: 935000 | #Constraints: 35179
934.82/937.92 c #Conflicts: 936000 | #Constraints: 36179
934.82/937.92 c #Conflicts: 937000 | #Constraints: 37179
934.82/937.92 c #Conflicts: 938000 | #Constraints: 38180
934.82/937.92 c #Conflicts: 939000 | #Constraints: 39180
934.82/937.92 c #Conflicts: 940000 | #Constraints: 40180
934.82/937.92 c #Conflicts: 941000 | #Constraints: 41180
934.82/937.92 c INPROCESSING
934.82/937.92 c GARBAGE COLLECT
934.82/937.92 c rational objective 0
959.45/962.68 c #Conflicts: 942000 | #Constraints: 21417
959.45/962.68 c #Conflicts: 943000 | #Constraints: 22728
959.45/962.68 c #Conflicts: 944000 | #Constraints: 23905
959.45/962.68 c #Conflicts: 945000 | #Constraints: 25183
959.45/962.68 c #Conflicts: 946000 | #Constraints: 26375
959.45/962.68 c #Conflicts: 947000 | #Constraints: 27637
959.45/962.68 c #Conflicts: 948000 | #Constraints: 28673
959.45/962.68 c #Conflicts: 949000 | #Constraints: 29724
959.45/962.68 c #Conflicts: 950000 | #Constraints: 30725
959.45/962.68 c #Conflicts: 951000 | #Constraints: 31725
959.45/962.68 c #Conflicts: 952000 | #Constraints: 32953
959.45/962.68 c #Conflicts: 953000 | #Constraints: 34105
959.45/962.68 c #Conflicts: 954000 | #Constraints: 35105
959.45/962.68 c #Conflicts: 955000 | #Constraints: 36105
959.45/962.68 c #Conflicts: 956000 | #Constraints: 37191
959.45/962.68 c #Conflicts: 957000 | #Constraints: 38252
959.45/962.68 c #Conflicts: 958000 | #Constraints: 39252
959.45/962.68 c #Conflicts: 959000 | #Constraints: 40303
959.45/962.68 c #Conflicts: 960000 | #Constraints: 41303
959.45/962.68 c #Conflicts: 961000 | #Constraints: 42303
959.45/962.68 c INPROCESSING
959.45/962.68 c GARBAGE COLLECT
959.45/962.68 c rational objective 0
981.89/985.17 c #Conflicts: 962000 | #Constraints: 22073
981.89/985.17 c #Conflicts: 963000 | #Constraints: 23073
981.89/985.17 c #Conflicts: 964000 | #Constraints: 24073
981.89/985.17 c #Conflicts: 965000 | #Constraints: 25073
981.89/985.17 c #Conflicts: 966000 | #Constraints: 26074
981.89/985.17 c #Conflicts: 967000 | #Constraints: 27074
981.89/985.17 c #Conflicts: 968000 | #Constraints: 28074
981.89/985.17 c #Conflicts: 969000 | #Constraints: 29074
981.89/985.17 c #Conflicts: 970000 | #Constraints: 30074
981.89/985.17 c #Conflicts: 971000 | #Constraints: 31074
981.89/985.17 c #Conflicts: 972000 | #Constraints: 32074
981.89/985.17 c #Conflicts: 973000 | #Constraints: 33074
981.89/985.17 c #Conflicts: 974000 | #Constraints: 34074
981.89/985.17 c #Conflicts: 975000 | #Constraints: 35074
981.89/985.17 c #Conflicts: 976000 | #Constraints: 36074
981.89/985.17 c #Conflicts: 977000 | #Constraints: 37075
981.89/985.17 c #Conflicts: 978000 | #Constraints: 38075
981.89/985.17 c #Conflicts: 979000 | #Constraints: 39075
981.89/985.17 c #Conflicts: 980000 | #Constraints: 40075
981.89/985.17 c #Conflicts: 981000 | #Constraints: 41075
981.89/985.17 c INPROCESSING
981.89/985.17 c GARBAGE COLLECT
981.89/985.17 c rational objective 0
1007.61/1010.91 c #Conflicts: 982000 | #Constraints: 21604
1007.61/1010.91 c #Conflicts: 983000 | #Constraints: 22604
1007.61/1010.91 c #Conflicts: 984000 | #Constraints: 23764
1007.61/1010.91 c #Conflicts: 985000 | #Constraints: 24985
1007.61/1010.91 c #Conflicts: 986000 | #Constraints: 26073
1007.61/1010.91 c #Conflicts: 987000 | #Constraints: 27132
1007.61/1010.91 c #Conflicts: 988000 | #Constraints: 28206
1007.61/1010.91 c #Conflicts: 989000 | #Constraints: 29299
1007.61/1010.91 c #Conflicts: 990000 | #Constraints: 30300
1007.61/1010.91 c #Conflicts: 991000 | #Constraints: 31442
1007.61/1010.91 c #Conflicts: 992000 | #Constraints: 32477
1007.61/1010.91 c #Conflicts: 993000 | #Constraints: 33477
1007.61/1010.91 c #Conflicts: 994000 | #Constraints: 34477
1007.61/1010.91 c #Conflicts: 995000 | #Constraints: 35477
1007.61/1010.91 c #Conflicts: 996000 | #Constraints: 36477
1007.61/1010.91 c #Conflicts: 997000 | #Constraints: 37537
1007.61/1010.91 c #Conflicts: 998000 | #Constraints: 38633
1007.61/1010.91 c #Conflicts: 999000 | #Constraints: 39708
1007.61/1010.91 c #Conflicts: 1000000 | #Constraints: 40785
1007.61/1010.91 c #Conflicts: 1001000 | #Constraints: 41859
1007.61/1010.91 c INPROCESSING
1007.61/1010.91 c GARBAGE COLLECT
1007.61/1010.91 c rational objective 0
1030.43/1033.81 c #Conflicts: 1002000 | #Constraints: 21946
1030.43/1033.81 c #Conflicts: 1003000 | #Constraints: 22946
1030.43/1033.81 c #Conflicts: 1004000 | #Constraints: 23946
1030.43/1033.81 c #Conflicts: 1005000 | #Constraints: 24946
1030.43/1033.81 c #Conflicts: 1006000 | #Constraints: 25946
1030.43/1033.81 c #Conflicts: 1007000 | #Constraints: 26946
1030.43/1033.81 c #Conflicts: 1008000 | #Constraints: 27946
1030.43/1033.81 c #Conflicts: 1009000 | #Constraints: 28946
1030.43/1033.81 c #Conflicts: 1010000 | #Constraints: 29946
1030.43/1033.81 c #Conflicts: 1011000 | #Constraints: 30947
1030.43/1033.81 c #Conflicts: 1012000 | #Constraints: 31947
1030.43/1033.81 c #Conflicts: 1013000 | #Constraints: 32947
1030.43/1033.81 c #Conflicts: 1014000 | #Constraints: 33947
1030.43/1033.81 c #Conflicts: 1015000 | #Constraints: 34947
1030.43/1033.81 c #Conflicts: 1016000 | #Constraints: 35947
1030.43/1033.81 c #Conflicts: 1017000 | #Constraints: 36947
1030.43/1033.81 c #Conflicts: 1018000 | #Constraints: 37947
1030.43/1033.81 c #Conflicts: 1019000 | #Constraints: 38947
1030.43/1033.81 c #Conflicts: 1020000 | #Constraints: 39947
1030.43/1033.81 c #Conflicts: 1021000 | #Constraints: 40947
1030.43/1033.81 c INPROCESSING
1030.43/1033.81 c GARBAGE COLLECT
1030.43/1033.81 c rational objective 0
1055.67/1059.10 c #Conflicts: 1022000 | #Constraints: 21636
1055.67/1059.10 c #Conflicts: 1023000 | #Constraints: 22848
1055.67/1059.10 c #Conflicts: 1024000 | #Constraints: 23877
1055.67/1059.10 c #Conflicts: 1025000 | #Constraints: 24934
1055.67/1059.10 c #Conflicts: 1026000 | #Constraints: 26224
1055.67/1059.10 c #Conflicts: 1027000 | #Constraints: 27286
1055.67/1059.10 c #Conflicts: 1028000 | #Constraints: 28314
1055.67/1059.10 c #Conflicts: 1029000 | #Constraints: 29399
1055.67/1059.10 c #Conflicts: 1030000 | #Constraints: 30642
1055.67/1059.10 c #Conflicts: 1031000 | #Constraints: 31642
1055.67/1059.10 c #Conflicts: 1032000 | #Constraints: 32658
1055.67/1059.10 c #Conflicts: 1033000 | #Constraints: 33748
1055.67/1059.10 c #Conflicts: 1034000 | #Constraints: 34835
1055.67/1059.10 c #Conflicts: 1035000 | #Constraints: 35835
1055.67/1059.10 c #Conflicts: 1036000 | #Constraints: 36835
1055.67/1059.10 c #Conflicts: 1037000 | #Constraints: 37835
1055.67/1059.10 c #Conflicts: 1038000 | #Constraints: 38903
1055.67/1059.10 c #Conflicts: 1039000 | #Constraints: 39952
1055.67/1059.10 c #Conflicts: 1040000 | #Constraints: 40988
1055.67/1059.10 c #Conflicts: 1041000 | #Constraints: 42062
1055.67/1059.10 c INPROCESSING
1055.67/1059.10 c GARBAGE COLLECT
1055.67/1059.10 c rational objective 0
1081.28/1084.86 c #Conflicts: 1042000 | #Constraints: 21771
1081.28/1084.86 c #Conflicts: 1043000 | #Constraints: 22816
1081.28/1084.86 c #Conflicts: 1044000 | #Constraints: 23879
1081.28/1084.86 c #Conflicts: 1045000 | #Constraints: 24879
1081.28/1084.86 c #Conflicts: 1046000 | #Constraints: 25879
1081.28/1084.86 c #Conflicts: 1047000 | #Constraints: 26880
1081.28/1084.86 c #Conflicts: 1048000 | #Constraints: 27931
1081.28/1084.86 c #Conflicts: 1049000 | #Constraints: 28964
1081.28/1084.86 c #Conflicts: 1050000 | #Constraints: 29980
1081.28/1084.86 c #Conflicts: 1051000 | #Constraints: 31042
1081.28/1084.86 c #Conflicts: 1052000 | #Constraints: 32042
1081.28/1084.86 c #Conflicts: 1053000 | #Constraints: 33042
1081.28/1084.86 c #Conflicts: 1054000 | #Constraints: 34042
1081.28/1084.86 c #Conflicts: 1055000 | #Constraints: 35042
1081.28/1084.86 c #Conflicts: 1056000 | #Constraints: 36092
1081.28/1084.86 c #Conflicts: 1057000 | #Constraints: 37131
1081.28/1084.86 c #Conflicts: 1058000 | #Constraints: 38147
1081.28/1084.86 c #Conflicts: 1059000 | #Constraints: 39147
1081.28/1084.86 c #Conflicts: 1060000 | #Constraints: 40203
1081.28/1084.86 c #Conflicts: 1061000 | #Constraints: 41244
1081.28/1084.86 c #Conflicts: 1062000 | #Constraints: 42268
1081.28/1084.86 c INPROCESSING
1081.28/1084.86 c GARBAGE COLLECT
1081.28/1084.86 c rational objective 0
1107.70/1111.35 c #Conflicts: 1063000 | #Constraints: 22076
1107.70/1111.35 c #Conflicts: 1064000 | #Constraints: 23076
1107.70/1111.35 c #Conflicts: 1065000 | #Constraints: 24094
1107.70/1111.35 c #Conflicts: 1066000 | #Constraints: 25099
1107.70/1111.35 c #Conflicts: 1067000 | #Constraints: 26221
1107.70/1111.35 c #Conflicts: 1068000 | #Constraints: 27425
1107.70/1111.35 c #Conflicts: 1069000 | #Constraints: 28550
1107.70/1111.35 c #Conflicts: 1070000 | #Constraints: 29576
1107.70/1111.35 c #Conflicts: 1071000 | #Constraints: 30614
1107.70/1111.35 c #Conflicts: 1072000 | #Constraints: 31740
1107.70/1111.35 c #Conflicts: 1073000 | #Constraints: 32740
1107.70/1111.35 c #Conflicts: 1074000 | #Constraints: 33740
1107.70/1111.35 c #Conflicts: 1075000 | #Constraints: 34766
1107.70/1111.35 c #Conflicts: 1076000 | #Constraints: 35852
1107.70/1111.35 c #Conflicts: 1077000 | #Constraints: 36862
1107.70/1111.35 c #Conflicts: 1078000 | #Constraints: 37862
1107.70/1111.35 c #Conflicts: 1079000 | #Constraints: 38890
1107.70/1111.35 c #Conflicts: 1080000 | #Constraints: 39890
1107.70/1111.35 c #Conflicts: 1081000 | #Constraints: 40890
1107.70/1111.35 c #Conflicts: 1082000 | #Constraints: 41905
1107.70/1111.35 c #Conflicts: 1083000 | #Constraints: 42905
1107.70/1111.35 c INPROCESSING
1107.70/1111.35 c GARBAGE COLLECT
1107.70/1111.35 c rational objective 0
1133.22/1136.90 c #Conflicts: 1084000 | #Constraints: 22472
1133.22/1136.90 c #Conflicts: 1085000 | #Constraints: 23472
1133.22/1136.90 c #Conflicts: 1086000 | #Constraints: 24473
1133.22/1136.90 c #Conflicts: 1087000 | #Constraints: 25473
1133.22/1136.90 c #Conflicts: 1088000 | #Constraints: 26473
1133.22/1136.90 c #Conflicts: 1089000 | #Constraints: 27473
1133.22/1136.90 c #Conflicts: 1090000 | #Constraints: 28474
1133.22/1136.90 c #Conflicts: 1091000 | #Constraints: 29474
1133.22/1136.90 c #Conflicts: 1092000 | #Constraints: 30474
1133.22/1136.90 c #Conflicts: 1093000 | #Constraints: 31474
1133.22/1136.90 c #Conflicts: 1094000 | #Constraints: 32474
1133.22/1136.90 c #Conflicts: 1095000 | #Constraints: 33474
1133.22/1136.90 c #Conflicts: 1096000 | #Constraints: 34474
1133.22/1136.90 c #Conflicts: 1097000 | #Constraints: 35474
1133.22/1136.90 c #Conflicts: 1098000 | #Constraints: 36474
1133.22/1136.90 c #Conflicts: 1099000 | #Constraints: 37474
1133.22/1136.90 c #Conflicts: 1100000 | #Constraints: 38474
1133.22/1136.90 c #Conflicts: 1101000 | #Constraints: 39474
1133.22/1136.90 c #Conflicts: 1102000 | #Constraints: 40474
1133.22/1136.90 c #Conflicts: 1103000 | #Constraints: 41474
1133.22/1136.90 c #Conflicts: 1104000 | #Constraints: 42474
1133.22/1136.90 c INPROCESSING
1133.22/1136.90 c GARBAGE COLLECT
1133.22/1136.90 c rational objective 0
1159.95/1163.74 c #Conflicts: 1105000 | #Constraints: 22404
1159.95/1163.74 c #Conflicts: 1106000 | #Constraints: 23456
1159.95/1163.74 c #Conflicts: 1107000 | #Constraints: 24539
1159.95/1163.74 c #Conflicts: 1108000 | #Constraints: 25539
1159.95/1163.74 c #Conflicts: 1109000 | #Constraints: 26639
1159.95/1163.74 c #Conflicts: 1110000 | #Constraints: 27653
1159.95/1163.74 c #Conflicts: 1111000 | #Constraints: 28653
1159.95/1163.74 c #Conflicts: 1112000 | #Constraints: 29653
1159.95/1163.74 c #Conflicts: 1113000 | #Constraints: 30653
1159.95/1163.74 c #Conflicts: 1114000 | #Constraints: 31653
1159.95/1163.74 c #Conflicts: 1115000 | #Constraints: 32653
1159.95/1163.74 c #Conflicts: 1116000 | #Constraints: 33672
1159.95/1163.74 c #Conflicts: 1117000 | #Constraints: 34672
1159.95/1163.74 c #Conflicts: 1118000 | #Constraints: 35726
1159.95/1163.74 c #Conflicts: 1119000 | #Constraints: 36726
1159.95/1163.74 c #Conflicts: 1120000 | #Constraints: 37726
1159.95/1163.74 c #Conflicts: 1121000 | #Constraints: 38726
1159.95/1163.74 c #Conflicts: 1122000 | #Constraints: 39797
1159.95/1163.74 c #Conflicts: 1123000 | #Constraints: 40797
1159.95/1163.74 c #Conflicts: 1124000 | #Constraints: 41797
1159.95/1163.74 c #Conflicts: 1125000 | #Constraints: 42797
1159.95/1163.74 c INPROCESSING
1159.95/1163.74 c GARBAGE COLLECT
1159.95/1163.74 c rational objective 0
1187.46/1191.30 c #Conflicts: 1126000 | #Constraints: 22373
1187.46/1191.30 c #Conflicts: 1127000 | #Constraints: 23466
1187.46/1191.30 c #Conflicts: 1128000 | #Constraints: 24620
1187.46/1191.30 c #Conflicts: 1129000 | #Constraints: 25669
1187.46/1191.30 c #Conflicts: 1130000 | #Constraints: 26669
1187.46/1191.30 c #Conflicts: 1131000 | #Constraints: 27674
1187.46/1191.30 c #Conflicts: 1132000 | #Constraints: 28674
1187.46/1191.30 c #Conflicts: 1133000 | #Constraints: 29775
1187.46/1191.30 c #Conflicts: 1134000 | #Constraints: 30800
1187.46/1191.30 c #Conflicts: 1135000 | #Constraints: 31800
1187.46/1191.30 c #Conflicts: 1136000 | #Constraints: 32800
1187.46/1191.30 c #Conflicts: 1137000 | #Constraints: 33800
1187.46/1191.30 c #Conflicts: 1138000 | #Constraints: 34800
1187.46/1191.30 c #Conflicts: 1139000 | #Constraints: 35808
1187.46/1191.30 c #Conflicts: 1140000 | #Constraints: 36809
1187.46/1191.30 c #Conflicts: 1141000 | #Constraints: 37810
1187.46/1191.30 c #Conflicts: 1142000 | #Constraints: 38810
1187.46/1191.30 c #Conflicts: 1143000 | #Constraints: 39811
1187.46/1191.30 c #Conflicts: 1144000 | #Constraints: 40882
1187.46/1191.30 c #Conflicts: 1145000 | #Constraints: 41933
1187.46/1191.30 c #Conflicts: 1146000 | #Constraints: 42933
1187.46/1191.30 c INPROCESSING
1187.46/1191.30 c GARBAGE COLLECT
1187.46/1191.30 c rational objective 0
1224.26/1228.29 c #Conflicts: 1147000 | #Constraints: 22348
1224.26/1228.29 c #Conflicts: 1148000 | #Constraints: 23818
1224.26/1228.29 c #Conflicts: 1149000 | #Constraints: 25307
1224.26/1228.29 c #Conflicts: 1150000 | #Constraints: 26772
1224.26/1228.29 c #Conflicts: 1151000 | #Constraints: 28239
1224.26/1228.29 c #Conflicts: 1152000 | #Constraints: 29718
1224.26/1228.29 c #Conflicts: 1153000 | #Constraints: 31202
1224.26/1228.29 c #Conflicts: 1154000 | #Constraints: 32662
1224.26/1228.29 c #Conflicts: 1155000 | #Constraints: 34130
1224.26/1228.29 c #Conflicts: 1156000 | #Constraints: 35593
1224.26/1228.29 c #Conflicts: 1157000 | #Constraints: 37080
1224.26/1228.29 c #Conflicts: 1158000 | #Constraints: 38554
1224.26/1228.29 c #Conflicts: 1159000 | #Constraints: 40039
1224.26/1228.29 c #Conflicts: 1160000 | #Constraints: 41526
1224.26/1228.29 c #Conflicts: 1161000 | #Constraints: 42989
1224.26/1228.29 c #Conflicts: 1162000 | #Constraints: 44462
1224.26/1228.29 c #Conflicts: 1163000 | #Constraints: 45928
1224.26/1228.29 c #Conflicts: 1164000 | #Constraints: 47394
1224.26/1228.29 c #Conflicts: 1165000 | #Constraints: 48871
1224.26/1228.29 c #Conflicts: 1166000 | #Constraints: 50350
1224.26/1228.29 c #Conflicts: 1167000 | #Constraints: 51820
1224.26/1228.29 c #Conflicts: 1168000 | #Constraints: 53302
1224.26/1228.29 c INPROCESSING
1224.26/1228.29 c GARBAGE COLLECT
1224.26/1228.29 c rational objective 0
1260.14/1264.29 c #Conflicts: 1169000 | #Constraints: 27781
1260.14/1264.29 c #Conflicts: 1170000 | #Constraints: 28925
1260.14/1264.29 c #Conflicts: 1171000 | #Constraints: 30076
1260.14/1264.29 c #Conflicts: 1172000 | #Constraints: 31431
1260.14/1264.29 c #Conflicts: 1173000 | #Constraints: 32581
1260.14/1264.29 c #Conflicts: 1174000 | #Constraints: 33824
1260.14/1264.29 c #Conflicts: 1175000 | #Constraints: 34824
1260.14/1264.29 c #Conflicts: 1176000 | #Constraints: 35842
1260.14/1264.29 c #Conflicts: 1177000 | #Constraints: 36842
1260.14/1264.29 c #Conflicts: 1178000 | #Constraints: 37842
1260.14/1264.29 c #Conflicts: 1179000 | #Constraints: 38881
1260.14/1264.29 c #Conflicts: 1180000 | #Constraints: 39955
1260.14/1264.29 c #Conflicts: 1181000 | #Constraints: 40955
1260.14/1264.29 c #Conflicts: 1182000 | #Constraints: 42013
1260.14/1264.29 c #Conflicts: 1183000 | #Constraints: 43013
1260.14/1264.29 c #Conflicts: 1184000 | #Constraints: 44013
1260.14/1264.29 c #Conflicts: 1185000 | #Constraints: 45013
1260.14/1264.29 c #Conflicts: 1186000 | #Constraints: 46367
1260.14/1264.29 c #Conflicts: 1187000 | #Constraints: 47367
1260.14/1264.29 c #Conflicts: 1188000 | #Constraints: 48367
1260.14/1264.29 c #Conflicts: 1189000 | #Constraints: 49367
1260.14/1264.29 c #Conflicts: 1190000 | #Constraints: 50367
1260.14/1264.29 c INPROCESSING
1260.14/1264.29 c GARBAGE COLLECT
1260.14/1264.29 c rational objective 0
1305.61/1309.84 c #Conflicts: 1191000 | #Constraints: 26674
1305.61/1309.84 c #Conflicts: 1192000 | #Constraints: 28148
1305.61/1309.84 c #Conflicts: 1193000 | #Constraints: 29623
1305.61/1309.84 c #Conflicts: 1194000 | #Constraints: 31057
1305.61/1309.84 c #Conflicts: 1195000 | #Constraints: 32527
1305.61/1309.84 c #Conflicts: 1196000 | #Constraints: 33947
1305.61/1309.84 c #Conflicts: 1197000 | #Constraints: 35420
1305.61/1309.84 c #Conflicts: 1198000 | #Constraints: 36891
1305.61/1309.84 c #Conflicts: 1199000 | #Constraints: 38346
1305.61/1309.84 c #Conflicts: 1200000 | #Constraints: 39826
1305.61/1309.84 c #Conflicts: 1201000 | #Constraints: 41287
1305.61/1309.84 c #Conflicts: 1202000 | #Constraints: 42753
1305.61/1309.84 c #Conflicts: 1203000 | #Constraints: 44227
1305.61/1309.84 c #Conflicts: 1204000 | #Constraints: 45694
1305.61/1309.84 c #Conflicts: 1205000 | #Constraints: 47166
1305.61/1309.84 c #Conflicts: 1206000 | #Constraints: 48629
1305.61/1309.84 c #Conflicts: 1207000 | #Constraints: 50111
1305.61/1309.84 c #Conflicts: 1208000 | #Constraints: 51579
1305.61/1309.84 c #Conflicts: 1209000 | #Constraints: 53041
1305.61/1309.84 c #Conflicts: 1210000 | #Constraints: 54487
1305.61/1309.84 c #Conflicts: 1211000 | #Constraints: 55947
1305.61/1309.84 c #Conflicts: 1212000 | #Constraints: 57433
1305.61/1309.84 c INPROCESSING
1305.61/1309.84 c GARBAGE COLLECT
1305.61/1309.84 c rational objective 0
1359.65/1364.10 c #Conflicts: 1213000 | #Constraints: 30195
1359.65/1364.10 c #Conflicts: 1214000 | #Constraints: 31665
1359.65/1364.10 c #Conflicts: 1215000 | #Constraints: 33152
1359.65/1364.10 c #Conflicts: 1216000 | #Constraints: 34611
1359.65/1364.10 c #Conflicts: 1217000 | #Constraints: 36060
1359.65/1364.10 c #Conflicts: 1218000 | #Constraints: 37497
1359.65/1364.10 c #Conflicts: 1219000 | #Constraints: 38972
1359.65/1364.10 c #Conflicts: 1220000 | #Constraints: 40448
1359.65/1364.10 c #Conflicts: 1221000 | #Constraints: 41940
1359.65/1364.10 c #Conflicts: 1222000 | #Constraints: 43422
1359.65/1364.10 c #Conflicts: 1223000 | #Constraints: 44859
1359.65/1364.10 c #Conflicts: 1224000 | #Constraints: 46345
1359.65/1364.10 c #Conflicts: 1225000 | #Constraints: 47823
1359.65/1364.10 c #Conflicts: 1226000 | #Constraints: 49295
1359.65/1364.10 c #Conflicts: 1227000 | #Constraints: 50764
1359.65/1364.10 c #Conflicts: 1228000 | #Constraints: 52230
1359.65/1364.10 c #Conflicts: 1229000 | #Constraints: 53716
1359.65/1364.10 c #Conflicts: 1230000 | #Constraints: 55183
1359.65/1364.10 c #Conflicts: 1231000 | #Constraints: 56669
1359.65/1364.10 c #Conflicts: 1232000 | #Constraints: 58142
1359.65/1364.10 c #Conflicts: 1233000 | #Constraints: 59596
1359.65/1364.10 c #Conflicts: 1234000 | #Constraints: 61086
1359.65/1364.10 c INPROCESSING
1359.65/1364.10 c GARBAGE COLLECT
1359.65/1364.10 c rational objective 0
1400.52/1405.04 c #Conflicts: 1235000 | #Constraints: 31696
1400.52/1405.04 c #Conflicts: 1236000 | #Constraints: 32916
1400.52/1405.04 c #Conflicts: 1237000 | #Constraints: 33991
1400.52/1405.04 c #Conflicts: 1238000 | #Constraints: 35127
1400.52/1405.04 c #Conflicts: 1239000 | #Constraints: 36369
1400.52/1405.04 c #Conflicts: 1240000 | #Constraints: 37583
1400.52/1405.04 c #Conflicts: 1241000 | #Constraints: 38766
1400.52/1405.04 c #Conflicts: 1242000 | #Constraints: 39766
1400.52/1405.04 c #Conflicts: 1243000 | #Constraints: 40766
1400.52/1405.04 c #Conflicts: 1244000 | #Constraints: 41770
1400.52/1405.04 c #Conflicts: 1245000 | #Constraints: 42771
1400.52/1405.04 c #Conflicts: 1246000 | #Constraints: 44097
1400.52/1405.04 c #Conflicts: 1247000 | #Constraints: 45219
1400.52/1405.04 c #Conflicts: 1248000 | #Constraints: 46343
1400.52/1405.04 c #Conflicts: 1249000 | #Constraints: 47456
1400.52/1405.04 c #Conflicts: 1250000 | #Constraints: 48456
1400.52/1405.04 c #Conflicts: 1251000 | #Constraints: 49459
1400.52/1405.04 c #Conflicts: 1252000 | #Constraints: 50597
1400.52/1405.04 c #Conflicts: 1253000 | #Constraints: 51597
1400.52/1405.04 c #Conflicts: 1254000 | #Constraints: 52597
1400.52/1405.04 c #Conflicts: 1255000 | #Constraints: 53597
1400.52/1405.04 c #Conflicts: 1256000 | #Constraints: 54597
1400.52/1405.04 c INPROCESSING
1400.52/1405.04 c GARBAGE COLLECT
1400.52/1405.04 c rational objective 0
1440.10/1444.72 c #Conflicts: 1257000 | #Constraints: 28189
1440.10/1444.72 c #Conflicts: 1258000 | #Constraints: 29674
1440.10/1444.72 c #Conflicts: 1259000 | #Constraints: 30822
1440.10/1444.72 c #Conflicts: 1260000 | #Constraints: 31895
1440.10/1444.72 c #Conflicts: 1261000 | #Constraints: 32895
1440.10/1444.72 c #Conflicts: 1262000 | #Constraints: 33895
1440.10/1444.72 c #Conflicts: 1263000 | #Constraints: 34895
1440.10/1444.72 c #Conflicts: 1264000 | #Constraints: 35895
1440.10/1444.72 c #Conflicts: 1265000 | #Constraints: 36895
1440.10/1444.72 c #Conflicts: 1266000 | #Constraints: 37895
1440.10/1444.72 c #Conflicts: 1267000 | #Constraints: 38896
1440.10/1444.72 c #Conflicts: 1268000 | #Constraints: 39955
1440.10/1444.72 c #Conflicts: 1269000 | #Constraints: 41416
1440.10/1444.72 c #Conflicts: 1270000 | #Constraints: 42889
1440.10/1444.72 c #Conflicts: 1271000 | #Constraints: 44346
1440.10/1444.72 c #Conflicts: 1272000 | #Constraints: 45838
1440.10/1444.72 c #Conflicts: 1273000 | #Constraints: 47303
1440.10/1444.72 c #Conflicts: 1274000 | #Constraints: 48501
1440.10/1444.72 c #Conflicts: 1275000 | #Constraints: 49501
1440.10/1444.72 c #Conflicts: 1276000 | #Constraints: 50501
1440.10/1444.72 c #Conflicts: 1277000 | #Constraints: 51953
1440.10/1444.72 c #Conflicts: 1278000 | #Constraints: 53438
1440.10/1444.72 c #Conflicts: 1279000 | #Constraints: 54920
1440.10/1444.72 c INPROCESSING
1440.10/1444.72 c GARBAGE COLLECT
1440.10/1444.72 c rational objective 0
1486.16/1490.97 c #Conflicts: 1280000 | #Constraints: 28802
1486.16/1490.97 c #Conflicts: 1281000 | #Constraints: 30280
1486.16/1490.97 c #Conflicts: 1282000 | #Constraints: 31736
1486.16/1490.97 c #Conflicts: 1283000 | #Constraints: 33212
1486.16/1490.97 c #Conflicts: 1284000 | #Constraints: 34681
1486.16/1490.97 c #Conflicts: 1285000 | #Constraints: 36160
1486.16/1490.97 c #Conflicts: 1286000 | #Constraints: 37639
1486.16/1490.97 c #Conflicts: 1287000 | #Constraints: 39114
1486.16/1490.97 c #Conflicts: 1288000 | #Constraints: 40580
1486.16/1490.97 c #Conflicts: 1289000 | #Constraints: 42010
1486.16/1490.97 c #Conflicts: 1290000 | #Constraints: 43010
1486.16/1490.97 c #Conflicts: 1291000 | #Constraints: 44010
1486.16/1490.97 c #Conflicts: 1292000 | #Constraints: 45010
1486.16/1490.97 c #Conflicts: 1293000 | #Constraints: 46011
1486.16/1490.97 c #Conflicts: 1294000 | #Constraints: 47011
1486.16/1490.97 c #Conflicts: 1295000 | #Constraints: 48011
1486.16/1490.97 c #Conflicts: 1296000 | #Constraints: 49011
1486.16/1490.97 c #Conflicts: 1297000 | #Constraints: 50011
1486.16/1490.97 c #Conflicts: 1298000 | #Constraints: 51011
1486.16/1490.97 c #Conflicts: 1299000 | #Constraints: 52012
1486.16/1490.97 c #Conflicts: 1300000 | #Constraints: 53345
1486.16/1490.97 c #Conflicts: 1301000 | #Constraints: 54345
1486.16/1490.97 c #Conflicts: 1302000 | #Constraints: 55433
1486.16/1490.97 c INPROCESSING
1486.16/1490.97 c GARBAGE COLLECT
1486.16/1490.97 c rational objective 0
1523.45/1528.32 c #Conflicts: 1303000 | #Constraints: 29008
1523.45/1528.32 c #Conflicts: 1304000 | #Constraints: 30051
1523.45/1528.32 c #Conflicts: 1305000 | #Constraints: 31147
1523.45/1528.32 c #Conflicts: 1306000 | #Constraints: 32175
1523.45/1528.32 c #Conflicts: 1307000 | #Constraints: 33264
1523.45/1528.32 c #Conflicts: 1308000 | #Constraints: 34265
1523.45/1528.32 c #Conflicts: 1309000 | #Constraints: 35265
1523.45/1528.32 c #Conflicts: 1310000 | #Constraints: 36346
1523.45/1528.32 c #Conflicts: 1311000 | #Constraints: 37346
1523.45/1528.32 c #Conflicts: 1312000 | #Constraints: 38346
1523.45/1528.32 c #Conflicts: 1313000 | #Constraints: 39347
1523.45/1528.32 c #Conflicts: 1314000 | #Constraints: 40347
1523.45/1528.32 c #Conflicts: 1315000 | #Constraints: 41347
1523.45/1528.32 c #Conflicts: 1316000 | #Constraints: 42347
1523.45/1528.32 c #Conflicts: 1317000 | #Constraints: 43347
1523.45/1528.32 c #Conflicts: 1318000 | #Constraints: 44347
1523.45/1528.32 c #Conflicts: 1319000 | #Constraints: 45347
1523.45/1528.32 c #Conflicts: 1320000 | #Constraints: 46347
1523.45/1528.32 c #Conflicts: 1321000 | #Constraints: 47347
1523.45/1528.32 c #Conflicts: 1322000 | #Constraints: 48347
1523.45/1528.32 c #Conflicts: 1323000 | #Constraints: 49392
1523.45/1528.32 c #Conflicts: 1324000 | #Constraints: 50411
1523.45/1528.32 c #Conflicts: 1325000 | #Constraints: 51411
1523.45/1528.32 c INPROCESSING
1523.45/1528.32 c GARBAGE COLLECT
1523.45/1528.32 c rational objective 0
1568.31/1573.36 c #Conflicts: 1326000 | #Constraints: 26955
1568.31/1573.36 c #Conflicts: 1327000 | #Constraints: 27967
1568.31/1573.36 c #Conflicts: 1328000 | #Constraints: 29424
1568.31/1573.36 c #Conflicts: 1329000 | #Constraints: 30635
1568.31/1573.36 c #Conflicts: 1330000 | #Constraints: 31727
1568.31/1573.36 c #Conflicts: 1331000 | #Constraints: 32727
1568.31/1573.36 c #Conflicts: 1332000 | #Constraints: 33727
1568.31/1573.36 c #Conflicts: 1333000 | #Constraints: 35091
1568.31/1573.36 c #Conflicts: 1334000 | #Constraints: 36366
1568.31/1573.36 c #Conflicts: 1335000 | #Constraints: 37742
1568.31/1573.36 c #Conflicts: 1336000 | #Constraints: 39163
1568.31/1573.36 c #Conflicts: 1337000 | #Constraints: 40451
1568.31/1573.36 c #Conflicts: 1338000 | #Constraints: 41451
1568.31/1573.36 c #Conflicts: 1339000 | #Constraints: 42834
1568.31/1573.36 c #Conflicts: 1340000 | #Constraints: 44302
1568.31/1573.36 c #Conflicts: 1341000 | #Constraints: 45453
1568.31/1573.36 c #Conflicts: 1342000 | #Constraints: 46453
1568.31/1573.36 c #Conflicts: 1343000 | #Constraints: 47453
1568.31/1573.36 c #Conflicts: 1344000 | #Constraints: 48685
1568.31/1573.36 c #Conflicts: 1345000 | #Constraints: 50170
1568.31/1573.36 c #Conflicts: 1346000 | #Constraints: 51636
1568.31/1573.36 c #Conflicts: 1347000 | #Constraints: 52868
1568.31/1573.36 c #Conflicts: 1348000 | #Constraints: 53882
1568.31/1573.36 c INPROCESSING
1568.31/1573.36 c GARBAGE COLLECT
1568.31/1573.36 c rational objective 0
1606.01/1611.11 c #Conflicts: 1349000 | #Constraints: 28022
1606.01/1611.11 c #Conflicts: 1350000 | #Constraints: 29134
1606.01/1611.11 c #Conflicts: 1351000 | #Constraints: 30134
1606.01/1611.11 c #Conflicts: 1352000 | #Constraints: 31179
1606.01/1611.11 c #Conflicts: 1353000 | #Constraints: 32180
1606.01/1611.11 c #Conflicts: 1354000 | #Constraints: 33180
1606.01/1611.11 c #Conflicts: 1355000 | #Constraints: 34181
1606.01/1611.11 c #Conflicts: 1356000 | #Constraints: 35331
1606.01/1611.11 c #Conflicts: 1357000 | #Constraints: 36332
1606.01/1611.11 c #Conflicts: 1358000 | #Constraints: 37355
1606.01/1611.11 c #Conflicts: 1359000 | #Constraints: 38432
1606.01/1611.11 c #Conflicts: 1360000 | #Constraints: 39432
1606.01/1611.11 c #Conflicts: 1361000 | #Constraints: 40432
1606.01/1611.11 c #Conflicts: 1362000 | #Constraints: 41544
1606.01/1611.11 c #Conflicts: 1363000 | #Constraints: 42565
1606.01/1611.11 c #Conflicts: 1364000 | #Constraints: 43565
1606.01/1611.11 c #Conflicts: 1365000 | #Constraints: 44620
1606.01/1611.11 c #Conflicts: 1366000 | #Constraints: 45620
1606.01/1611.11 c #Conflicts: 1367000 | #Constraints: 46620
1606.01/1611.11 c #Conflicts: 1368000 | #Constraints: 47620
1606.01/1611.11 c #Conflicts: 1369000 | #Constraints: 48620
1606.01/1611.11 c #Conflicts: 1370000 | #Constraints: 49620
1606.01/1611.11 c #Conflicts: 1371000 | #Constraints: 50635
1606.01/1611.11 c INPROCESSING
1606.01/1611.11 c GARBAGE COLLECT
1606.01/1611.11 c rational objective 0
1642.99/1648.24 c #Conflicts: 1372000 | #Constraints: 26190
1642.99/1648.24 c #Conflicts: 1373000 | #Constraints: 27190
1642.99/1648.24 c #Conflicts: 1374000 | #Constraints: 28402
1642.99/1648.24 c #Conflicts: 1375000 | #Constraints: 29441
1642.99/1648.24 c #Conflicts: 1376000 | #Constraints: 30441
1642.99/1648.24 c #Conflicts: 1377000 | #Constraints: 31441
1642.99/1648.24 c #Conflicts: 1378000 | #Constraints: 32846
1642.99/1648.24 c #Conflicts: 1379000 | #Constraints: 33966
1642.99/1648.24 c #Conflicts: 1380000 | #Constraints: 34966
1642.99/1648.24 c #Conflicts: 1381000 | #Constraints: 35966
1642.99/1648.24 c #Conflicts: 1382000 | #Constraints: 36966
1642.99/1648.24 c #Conflicts: 1383000 | #Constraints: 37966
1642.99/1648.24 c #Conflicts: 1384000 | #Constraints: 38966
1642.99/1648.24 c #Conflicts: 1385000 | #Constraints: 39966
1642.99/1648.24 c #Conflicts: 1386000 | #Constraints: 40966
1642.99/1648.24 c #Conflicts: 1387000 | #Constraints: 42055
1642.99/1648.24 c #Conflicts: 1388000 | #Constraints: 43055
1642.99/1648.24 c #Conflicts: 1389000 | #Constraints: 44055
1642.99/1648.24 c #Conflicts: 1390000 | #Constraints: 45055
1642.99/1648.24 c #Conflicts: 1391000 | #Constraints: 46055
1642.99/1648.24 c #Conflicts: 1392000 | #Constraints: 47055
1642.99/1648.24 c #Conflicts: 1393000 | #Constraints: 48056
1642.99/1648.24 c #Conflicts: 1394000 | #Constraints: 49056
1642.99/1648.24 c #Conflicts: 1395000 | #Constraints: 50056
1642.99/1648.24 c INPROCESSING
1642.99/1648.24 c GARBAGE COLLECT
1642.99/1648.24 c rational objective 0
1675.97/1681.35 c #Conflicts: 1396000 | #Constraints: 25945
1675.97/1681.35 c #Conflicts: 1397000 | #Constraints: 26945
1675.97/1681.35 c #Conflicts: 1398000 | #Constraints: 27945
1675.97/1681.35 c #Conflicts: 1399000 | #Constraints: 28945
1675.97/1681.35 c #Conflicts: 1400000 | #Constraints: 29945
1675.97/1681.35 c #Conflicts: 1401000 | #Constraints: 30945
1675.97/1681.35 c #Conflicts: 1402000 | #Constraints: 31945
1675.97/1681.35 c #Conflicts: 1403000 | #Constraints: 32945
1675.97/1681.35 c #Conflicts: 1404000 | #Constraints: 33945
1675.97/1681.35 c #Conflicts: 1405000 | #Constraints: 34945
1675.97/1681.35 c #Conflicts: 1406000 | #Constraints: 35945
1675.97/1681.35 c #Conflicts: 1407000 | #Constraints: 36945
1675.97/1681.35 c #Conflicts: 1408000 | #Constraints: 37945
1675.97/1681.35 c #Conflicts: 1409000 | #Constraints: 38945
1675.97/1681.35 c #Conflicts: 1410000 | #Constraints: 39946
1675.97/1681.35 c #Conflicts: 1411000 | #Constraints: 40946
1675.97/1681.35 c #Conflicts: 1412000 | #Constraints: 41947
1675.97/1681.35 c #Conflicts: 1413000 | #Constraints: 42947
1675.97/1681.35 c #Conflicts: 1414000 | #Constraints: 43947
1675.97/1681.35 c #Conflicts: 1415000 | #Constraints: 44948
1675.97/1681.35 c #Conflicts: 1416000 | #Constraints: 45948
1675.97/1681.35 c #Conflicts: 1417000 | #Constraints: 46948
1675.97/1681.35 c #Conflicts: 1418000 | #Constraints: 47948
1675.97/1681.35 c #Conflicts: 1419000 | #Constraints: 48948
1675.97/1681.35 c INPROCESSING
1675.97/1681.35 c GARBAGE COLLECT
1675.97/1681.35 c rational objective 0
1723.52/1729.00 c #Conflicts: 1420000 | #Constraints: 25934
1723.52/1729.00 c #Conflicts: 1421000 | #Constraints: 27405
1723.52/1729.00 c #Conflicts: 1422000 | #Constraints: 28888
1723.52/1729.00 c #Conflicts: 1423000 | #Constraints: 30373
1723.52/1729.00 c #Conflicts: 1424000 | #Constraints: 31846
1723.52/1729.00 c #Conflicts: 1425000 | #Constraints: 33316
1723.52/1729.00 c #Conflicts: 1426000 | #Constraints: 34780
1723.52/1729.00 c #Conflicts: 1427000 | #Constraints: 36251
1723.52/1729.00 c #Conflicts: 1428000 | #Constraints: 37731
1723.52/1729.00 c #Conflicts: 1429000 | #Constraints: 39186
1723.52/1729.00 c #Conflicts: 1430000 | #Constraints: 40649
1723.52/1729.00 c #Conflicts: 1431000 | #Constraints: 42116
1723.52/1729.00 c #Conflicts: 1432000 | #Constraints: 43567
1723.52/1729.00 c #Conflicts: 1433000 | #Constraints: 45037
1723.52/1729.00 c #Conflicts: 1434000 | #Constraints: 46498
1723.52/1729.00 c #Conflicts: 1435000 | #Constraints: 47974
1723.52/1729.00 c #Conflicts: 1436000 | #Constraints: 49454
1723.52/1729.00 c #Conflicts: 1437000 | #Constraints: 50930
1723.52/1729.00 c #Conflicts: 1438000 | #Constraints: 52427
1723.52/1729.00 c #Conflicts: 1439000 | #Constraints: 53917
1723.52/1729.00 c #Conflicts: 1440000 | #Constraints: 55379
1723.52/1729.00 c #Conflicts: 1441000 | #Constraints: 56870
1723.52/1729.00 c #Conflicts: 1442000 | #Constraints: 58346
1723.52/1729.00 c #Conflicts: 1443000 | #Constraints: 59812
1723.52/1729.00 c INPROCESSING
1723.52/1729.00 c GARBAGE COLLECT
1723.52/1729.00 c rational objective 0
1769.97/1775.61 c #Conflicts: 1444000 | #Constraints: 31366
1769.97/1775.61 c #Conflicts: 1445000 | #Constraints: 32830
1769.97/1775.61 c #Conflicts: 1446000 | #Constraints: 34296
1769.97/1775.61 c #Conflicts: 1447000 | #Constraints: 35774
1769.97/1775.61 c #Conflicts: 1448000 | #Constraints: 37234
1769.97/1775.61 c #Conflicts: 1449000 | #Constraints: 38703
1769.97/1775.61 c #Conflicts: 1450000 | #Constraints: 40163
1769.97/1775.61 c #Conflicts: 1451000 | #Constraints: 41647
1769.97/1775.61 c #Conflicts: 1452000 | #Constraints: 43121
1769.97/1775.61 c #Conflicts: 1453000 | #Constraints: 44595
1769.97/1775.61 c #Conflicts: 1454000 | #Constraints: 46085
1769.97/1775.61 c #Conflicts: 1455000 | #Constraints: 47542
1769.97/1775.61 c #Conflicts: 1456000 | #Constraints: 49016
1769.97/1775.61 c #Conflicts: 1457000 | #Constraints: 50486
1769.97/1775.61 c #Conflicts: 1458000 | #Constraints: 51968
1769.97/1775.61 c #Conflicts: 1459000 | #Constraints: 53444
1769.97/1775.61 c #Conflicts: 1460000 | #Constraints: 54922
1769.97/1775.61 c #Conflicts: 1461000 | #Constraints: 56415
1769.97/1775.61 c #Conflicts: 1462000 | #Constraints: 57888
1769.97/1775.61 c #Conflicts: 1463000 | #Constraints: 59344
1769.97/1775.61 c #Conflicts: 1464000 | #Constraints: 60798
1769.97/1775.61 c #Conflicts: 1465000 | #Constraints: 62273
1769.97/1775.61 c #Conflicts: 1466000 | #Constraints: 63751
1769.97/1775.61 c #Conflicts: 1467000 | #Constraints: 65206
1769.97/1775.61 c INPROCESSING
1769.97/1775.61 c GARBAGE COLLECT
1769.97/1775.61 c rational objective 0
1819.12/1824.99 c #Conflicts: 1468000 | #Constraints: 33921
1819.12/1824.99 c #Conflicts: 1469000 | #Constraints: 35391
1819.12/1824.99 c #Conflicts: 1470000 | #Constraints: 36857
1819.12/1824.99 c #Conflicts: 1471000 | #Constraints: 38322
1819.12/1824.99 c #Conflicts: 1472000 | #Constraints: 39776
1819.12/1824.99 c #Conflicts: 1473000 | #Constraints: 41259
1819.12/1824.99 c #Conflicts: 1474000 | #Constraints: 42735
1819.12/1824.99 c #Conflicts: 1475000 | #Constraints: 44194
1819.12/1824.99 c #Conflicts: 1476000 | #Constraints: 45671
1819.12/1824.99 c #Conflicts: 1477000 | #Constraints: 47125
1819.12/1824.99 c #Conflicts: 1478000 | #Constraints: 48594
1819.12/1824.99 c #Conflicts: 1479000 | #Constraints: 50079
1819.12/1824.99 c #Conflicts: 1480000 | #Constraints: 51545
1819.12/1824.99 c #Conflicts: 1481000 | #Constraints: 53019
1819.12/1824.99 c #Conflicts: 1482000 | #Constraints: 54498
1819.12/1824.99 c #Conflicts: 1483000 | #Constraints: 55963
1819.12/1824.99 c #Conflicts: 1484000 | #Constraints: 57407
1819.12/1824.99 c #Conflicts: 1485000 | #Constraints: 58885
1819.12/1824.99 c #Conflicts: 1486000 | #Constraints: 60352
1819.12/1824.99 c #Conflicts: 1487000 | #Constraints: 61801
1819.12/1824.99 c #Conflicts: 1488000 | #Constraints: 63280
1819.12/1824.99 c #Conflicts: 1489000 | #Constraints: 64746
1819.12/1824.99 c #Conflicts: 1490000 | #Constraints: 66233
1819.12/1824.99 c #Conflicts: 1491000 | #Constraints: 67711
1819.12/1824.99 c INPROCESSING
1819.12/1824.99 c GARBAGE COLLECT
1819.12/1824.99 c rational objective 0
1873.06/1879.04 c #Conflicts: 1492000 | #Constraints: 34891
1873.06/1879.04 c #Conflicts: 1493000 | #Constraints: 36357
1873.06/1879.04 c #Conflicts: 1494000 | #Constraints: 37832
1873.06/1879.04 c #Conflicts: 1495000 | #Constraints: 39298
1873.06/1879.04 c #Conflicts: 1496000 | #Constraints: 40763
1873.06/1879.04 c #Conflicts: 1497000 | #Constraints: 42218
1873.06/1879.04 c #Conflicts: 1498000 | #Constraints: 43700
1873.06/1879.04 c #Conflicts: 1499000 | #Constraints: 45199
1873.06/1879.04 c #Conflicts: 1500000 | #Constraints: 46677
1873.06/1879.04 c #Conflicts: 1501000 | #Constraints: 48149
1873.06/1879.04 c #Conflicts: 1502000 | #Constraints: 49625
1873.06/1879.04 c #Conflicts: 1503000 | #Constraints: 51088
1873.06/1879.04 c #Conflicts: 1504000 | #Constraints: 52576
1873.06/1879.04 c #Conflicts: 1505000 | #Constraints: 54057
1873.06/1879.04 c #Conflicts: 1506000 | #Constraints: 55511
1873.06/1879.04 c #Conflicts: 1507000 | #Constraints: 56994
1873.06/1879.04 c #Conflicts: 1508000 | #Constraints: 58478
1873.06/1879.04 c #Conflicts: 1509000 | #Constraints: 59974
1873.06/1879.04 c #Conflicts: 1510000 | #Constraints: 61445
1873.06/1879.04 c #Conflicts: 1511000 | #Constraints: 62910
1873.06/1879.04 c #Conflicts: 1512000 | #Constraints: 64393
1873.06/1879.04 c #Conflicts: 1513000 | #Constraints: 65848
1873.06/1879.04 c #Conflicts: 1514000 | #Constraints: 67319
1873.06/1879.04 c #Conflicts: 1515000 | #Constraints: 68790
1873.06/1879.04 c #Conflicts: 1516000 | #Constraints: 70260
1873.06/1879.04 c INPROCESSING
1873.06/1879.04 c GARBAGE COLLECT
1873.06/1879.04 c rational objective 0
1917.53/1923.69 c #Conflicts: 1517000 | #Constraints: 36096
1917.53/1923.69 c #Conflicts: 1518000 | #Constraints: 37096
1917.53/1923.69 c #Conflicts: 1519000 | #Constraints: 38096
1917.53/1923.69 c #Conflicts: 1520000 | #Constraints: 39096
1917.53/1923.69 c #Conflicts: 1521000 | #Constraints: 40096
1917.53/1923.69 c #Conflicts: 1522000 | #Constraints: 41096
1917.53/1923.69 c #Conflicts: 1523000 | #Constraints: 42097
1917.53/1923.69 c #Conflicts: 1524000 | #Constraints: 43097
1917.53/1923.69 c #Conflicts: 1525000 | #Constraints: 44097
1917.53/1923.69 c #Conflicts: 1526000 | #Constraints: 45097
1917.53/1923.69 c #Conflicts: 1527000 | #Constraints: 46097
1917.53/1923.69 c #Conflicts: 1528000 | #Constraints: 47097
1917.53/1923.69 c #Conflicts: 1529000 | #Constraints: 48097
1917.53/1923.69 c #Conflicts: 1530000 | #Constraints: 49097
1917.53/1923.69 c #Conflicts: 1531000 | #Constraints: 50097
1917.53/1923.69 c #Conflicts: 1532000 | #Constraints: 51097
1917.53/1923.69 c #Conflicts: 1533000 | #Constraints: 52097
1917.53/1923.69 c #Conflicts: 1534000 | #Constraints: 53097
1917.53/1923.69 c #Conflicts: 1535000 | #Constraints: 54097
1917.53/1923.69 c #Conflicts: 1536000 | #Constraints: 55097
1917.53/1923.69 c #Conflicts: 1537000 | #Constraints: 56098
1917.53/1923.69 c #Conflicts: 1538000 | #Constraints: 57098
1917.53/1923.69 c #Conflicts: 1539000 | #Constraints: 58098
1917.53/1923.69 c #Conflicts: 1540000 | #Constraints: 59098
1917.53/1923.69 c #Conflicts: 1541000 | #Constraints: 60099
1917.53/1923.69 c INPROCESSING
1917.53/1923.69 c GARBAGE COLLECT
1917.53/1923.69 c rational objective 0
1960.59/1966.82 c #Conflicts: 1542000 | #Constraints: 31277
1960.59/1966.82 c #Conflicts: 1543000 | #Constraints: 32312
1960.59/1966.82 c #Conflicts: 1544000 | #Constraints: 33330
1960.59/1966.82 c #Conflicts: 1545000 | #Constraints: 34368
1960.59/1966.82 c #Conflicts: 1546000 | #Constraints: 35413
1960.59/1966.82 c #Conflicts: 1547000 | #Constraints: 36543
1960.59/1966.82 c #Conflicts: 1548000 | #Constraints: 37622
1960.59/1966.82 c #Conflicts: 1549000 | #Constraints: 38720
1960.59/1966.82 c #Conflicts: 1550000 | #Constraints: 39721
1960.59/1966.82 c #Conflicts: 1551000 | #Constraints: 40925
1960.59/1966.82 c #Conflicts: 1552000 | #Constraints: 41986
1960.59/1966.82 c #Conflicts: 1553000 | #Constraints: 42986
1960.59/1966.82 c #Conflicts: 1554000 | #Constraints: 43996
1960.59/1966.82 c #Conflicts: 1555000 | #Constraints: 45108
1960.59/1966.82 c #Conflicts: 1556000 | #Constraints: 46137
1960.59/1966.82 c #Conflicts: 1557000 | #Constraints: 47321
1960.59/1966.82 c #Conflicts: 1558000 | #Constraints: 48322
1960.59/1966.82 c #Conflicts: 1559000 | #Constraints: 49406
1960.59/1966.82 c #Conflicts: 1560000 | #Constraints: 50505
1960.59/1966.82 c #Conflicts: 1561000 | #Constraints: 51572
1960.59/1966.82 c #Conflicts: 1562000 | #Constraints: 52572
1960.59/1966.82 c #Conflicts: 1563000 | #Constraints: 53572
1960.59/1966.82 c #Conflicts: 1564000 | #Constraints: 54572
1960.59/1966.82 c #Conflicts: 1565000 | #Constraints: 55598
1960.59/1966.82 c #Conflicts: 1566000 | #Constraints: 56598
1960.59/1966.82 c INPROCESSING
1960.59/1966.82 c GARBAGE COLLECT
1960.59/1966.82 c rational objective 0
2010.74/2017.16 c #Conflicts: 1567000 | #Constraints: 29561
2010.74/2017.16 c #Conflicts: 1568000 | #Constraints: 30722
2010.74/2017.16 c #Conflicts: 1569000 | #Constraints: 31969
2010.74/2017.16 c #Conflicts: 1570000 | #Constraints: 32979
2010.74/2017.16 c #Conflicts: 1571000 | #Constraints: 34157
2010.74/2017.16 c #Conflicts: 1572000 | #Constraints: 35487
2010.74/2017.16 c #Conflicts: 1573000 | #Constraints: 36635
2010.74/2017.16 c #Conflicts: 1574000 | #Constraints: 37711
2010.74/2017.16 c #Conflicts: 1575000 | #Constraints: 39077
2010.74/2017.16 c #Conflicts: 1576000 | #Constraints: 40257
2010.74/2017.16 c #Conflicts: 1577000 | #Constraints: 41275
2010.74/2017.16 c #Conflicts: 1578000 | #Constraints: 42276
2010.74/2017.16 c #Conflicts: 1579000 | #Constraints: 43276
2010.74/2017.16 c #Conflicts: 1580000 | #Constraints: 44276
2010.74/2017.16 c #Conflicts: 1581000 | #Constraints: 45633
2010.74/2017.16 c #Conflicts: 1582000 | #Constraints: 46795
2010.74/2017.16 c #Conflicts: 1583000 | #Constraints: 48216
2010.74/2017.16 c #Conflicts: 1584000 | #Constraints: 49236
2010.74/2017.16 c #Conflicts: 1585000 | #Constraints: 50599
2010.74/2017.16 c #Conflicts: 1586000 | #Constraints: 52032
2010.74/2017.16 c #Conflicts: 1587000 | #Constraints: 53032
2010.74/2017.16 c #Conflicts: 1588000 | #Constraints: 54133
2010.74/2017.16 c #Conflicts: 1589000 | #Constraints: 55266
2010.74/2017.16 c #Conflicts: 1590000 | #Constraints: 56385
2010.74/2017.16 c #Conflicts: 1591000 | #Constraints: 57385
2010.74/2017.16 c INPROCESSING
2010.74/2017.16 c GARBAGE COLLECT
2010.74/2017.16 c rational objective 0
2062.19/2068.79 c #Conflicts: 1592000 | #Constraints: 29706
2062.19/2068.79 c #Conflicts: 1593000 | #Constraints: 30706
2062.19/2068.79 c #Conflicts: 1594000 | #Constraints: 31706
2062.19/2068.79 c #Conflicts: 1595000 | #Constraints: 32908
2062.19/2068.79 c #Conflicts: 1596000 | #Constraints: 34193
2062.19/2068.79 c #Conflicts: 1597000 | #Constraints: 35644
2062.19/2068.79 c #Conflicts: 1598000 | #Constraints: 37116
2062.19/2068.79 c #Conflicts: 1599000 | #Constraints: 38313
2062.19/2068.79 c #Conflicts: 1600000 | #Constraints: 39313
2062.19/2068.79 c #Conflicts: 1601000 | #Constraints: 40313
2062.19/2068.79 c #Conflicts: 1602000 | #Constraints: 41313
2062.19/2068.79 c #Conflicts: 1603000 | #Constraints: 42339
2062.19/2068.79 c #Conflicts: 1604000 | #Constraints: 43339
2062.19/2068.79 c #Conflicts: 1605000 | #Constraints: 44339
2062.19/2068.79 c #Conflicts: 1606000 | #Constraints: 45619
2062.19/2068.79 c #Conflicts: 1607000 | #Constraints: 47096
2062.19/2068.79 c #Conflicts: 1608000 | #Constraints: 48529
2062.19/2068.79 c #Conflicts: 1609000 | #Constraints: 49928
2062.19/2068.79 c #Conflicts: 1610000 | #Constraints: 51242
2062.19/2068.79 c #Conflicts: 1611000 | #Constraints: 52242
2062.19/2068.79 c #Conflicts: 1612000 | #Constraints: 53245
2062.19/2068.79 c #Conflicts: 1613000 | #Constraints: 54262
2062.19/2068.79 c #Conflicts: 1614000 | #Constraints: 55304
2062.19/2068.79 c #Conflicts: 1615000 | #Constraints: 56317
2062.19/2068.79 c #Conflicts: 1616000 | #Constraints: 57418
2062.19/2068.79 c INPROCESSING
2062.19/2068.79 c GARBAGE COLLECT
2062.19/2068.79 c rational objective 0
2109.84/2116.56 c #Conflicts: 1617000 | #Constraints: 29504
2109.84/2116.56 c #Conflicts: 1618000 | #Constraints: 30784
2109.84/2116.56 c #Conflicts: 1619000 | #Constraints: 31956
2109.84/2116.56 c #Conflicts: 1620000 | #Constraints: 33172
2109.84/2116.56 c #Conflicts: 1621000 | #Constraints: 34173
2109.84/2116.56 c #Conflicts: 1622000 | #Constraints: 35224
2109.84/2116.56 c #Conflicts: 1623000 | #Constraints: 36546
2109.84/2116.56 c #Conflicts: 1624000 | #Constraints: 37891
2109.84/2116.56 c #Conflicts: 1625000 | #Constraints: 39267
2109.84/2116.56 c #Conflicts: 1626000 | #Constraints: 40481
2109.84/2116.56 c #Conflicts: 1627000 | #Constraints: 41848
2109.84/2116.56 c #Conflicts: 1628000 | #Constraints: 43086
2109.84/2116.56 c #Conflicts: 1629000 | #Constraints: 44399
2109.84/2116.56 c #Conflicts: 1630000 | #Constraints: 45526
2109.84/2116.56 c #Conflicts: 1631000 | #Constraints: 46810
2109.84/2116.56 c #Conflicts: 1632000 | #Constraints: 47821
2109.84/2116.56 c #Conflicts: 1633000 | #Constraints: 49051
2109.84/2116.56 c #Conflicts: 1634000 | #Constraints: 50522
2109.84/2116.56 c #Conflicts: 1635000 | #Constraints: 51522
2109.84/2116.56 c #Conflicts: 1636000 | #Constraints: 52616
2109.84/2116.56 c #Conflicts: 1637000 | #Constraints: 53679
2109.84/2116.56 c #Conflicts: 1638000 | #Constraints: 55153
2109.84/2116.56 c #Conflicts: 1639000 | #Constraints: 56506
2109.84/2116.56 c #Conflicts: 1640000 | #Constraints: 57659
2109.84/2116.56 c #Conflicts: 1641000 | #Constraints: 58784
2109.84/2116.56 c #Conflicts: 1642000 | #Constraints: 59921
2109.84/2116.56 c INPROCESSING
2109.84/2116.56 c GARBAGE COLLECT
2109.84/2116.56 c rational objective 0
2162.39/2169.24 c #Conflicts: 1643000 | #Constraints: 31078
2162.39/2169.24 c #Conflicts: 1644000 | #Constraints: 32507
2162.39/2169.24 c #Conflicts: 1645000 | #Constraints: 33590
2162.39/2169.24 c #Conflicts: 1646000 | #Constraints: 34590
2162.39/2169.24 c #Conflicts: 1647000 | #Constraints: 35651
2162.39/2169.24 c #Conflicts: 1648000 | #Constraints: 36651
2162.39/2169.24 c #Conflicts: 1649000 | #Constraints: 37825
2162.39/2169.24 c #Conflicts: 1650000 | #Constraints: 38825
2162.39/2169.24 c #Conflicts: 1651000 | #Constraints: 40011
2162.39/2169.24 c #Conflicts: 1652000 | #Constraints: 41011
2162.39/2169.24 c #Conflicts: 1653000 | #Constraints: 42162
2162.39/2169.24 c #Conflicts: 1654000 | #Constraints: 43616
2162.39/2169.24 c #Conflicts: 1655000 | #Constraints: 45074
2162.39/2169.24 c #Conflicts: 1656000 | #Constraints: 46369
2162.39/2169.24 c #Conflicts: 1657000 | #Constraints: 47495
2162.39/2169.24 c #Conflicts: 1658000 | #Constraints: 48495
2162.39/2169.24 c #Conflicts: 1659000 | #Constraints: 49495
2162.39/2169.24 c #Conflicts: 1660000 | #Constraints: 50495
2162.39/2169.24 c #Conflicts: 1661000 | #Constraints: 51693
2162.39/2169.24 c #Conflicts: 1662000 | #Constraints: 52829
2162.39/2169.24 c #Conflicts: 1663000 | #Constraints: 53829
2162.39/2169.24 c #Conflicts: 1664000 | #Constraints: 55059
2162.39/2169.24 c #Conflicts: 1665000 | #Constraints: 56059
2162.39/2169.24 c #Conflicts: 1666000 | #Constraints: 57059
2162.39/2169.24 c #Conflicts: 1667000 | #Constraints: 58059
2162.39/2169.24 c #Conflicts: 1668000 | #Constraints: 59059
2162.39/2169.24 c INPROCESSING
2162.39/2169.24 c GARBAGE COLLECT
2162.39/2169.24 c rational objective 0
2213.13/2220.18 c #Conflicts: 1669000 | #Constraints: 30846
2213.13/2220.18 c #Conflicts: 1670000 | #Constraints: 31847
2213.13/2220.18 c #Conflicts: 1671000 | #Constraints: 32847
2213.13/2220.18 c #Conflicts: 1672000 | #Constraints: 33848
2213.13/2220.18 c #Conflicts: 1673000 | #Constraints: 34849
2213.13/2220.18 c #Conflicts: 1674000 | #Constraints: 35849
2213.13/2220.18 c #Conflicts: 1675000 | #Constraints: 37298
2213.13/2220.18 c #Conflicts: 1676000 | #Constraints: 38769
2213.13/2220.18 c #Conflicts: 1677000 | #Constraints: 40246
2213.13/2220.18 c #Conflicts: 1678000 | #Constraints: 41707
2213.13/2220.18 c #Conflicts: 1679000 | #Constraints: 43177
2213.13/2220.18 c #Conflicts: 1680000 | #Constraints: 44653
2213.13/2220.18 c #Conflicts: 1681000 | #Constraints: 46154
2213.13/2220.18 c #Conflicts: 1682000 | #Constraints: 47634
2213.13/2220.18 c #Conflicts: 1683000 | #Constraints: 49129
2213.13/2220.18 c #Conflicts: 1684000 | #Constraints: 50630
2213.13/2220.18 c #Conflicts: 1685000 | #Constraints: 52123
2213.13/2220.18 c #Conflicts: 1686000 | #Constraints: 53621
2213.13/2220.18 c #Conflicts: 1687000 | #Constraints: 55081
2213.13/2220.18 c #Conflicts: 1688000 | #Constraints: 56551
2213.13/2220.18 c #Conflicts: 1689000 | #Constraints: 58007
2213.13/2220.18 c #Conflicts: 1690000 | #Constraints: 59480
2213.13/2220.18 c #Conflicts: 1691000 | #Constraints: 60934
2213.13/2220.18 c #Conflicts: 1692000 | #Constraints: 62408
2213.13/2220.18 c #Conflicts: 1693000 | #Constraints: 63885
2213.13/2220.18 c #Conflicts: 1694000 | #Constraints: 65367
2213.13/2220.18 c INPROCESSING
2213.13/2220.18 c GARBAGE COLLECT
2213.13/2220.18 c rational objective 0
2275.35/2282.52 c #Conflicts: 1695000 | #Constraints: 34165
2275.35/2282.52 c #Conflicts: 1696000 | #Constraints: 35622
2275.35/2282.52 c #Conflicts: 1697000 | #Constraints: 37094
2275.35/2282.52 c #Conflicts: 1698000 | #Constraints: 38569
2275.35/2282.52 c #Conflicts: 1699000 | #Constraints: 40044
2275.35/2282.52 c #Conflicts: 1700000 | #Constraints: 41512
2275.35/2282.52 c #Conflicts: 1701000 | #Constraints: 42992
2275.35/2282.52 c #Conflicts: 1702000 | #Constraints: 44223
2275.35/2282.52 c #Conflicts: 1703000 | #Constraints: 45673
2275.35/2282.52 c #Conflicts: 1704000 | #Constraints: 47128
2275.35/2282.52 c #Conflicts: 1705000 | #Constraints: 48589
2275.35/2282.52 c #Conflicts: 1706000 | #Constraints: 50072
2275.35/2282.52 c #Conflicts: 1707000 | #Constraints: 51529
2275.35/2282.52 c #Conflicts: 1708000 | #Constraints: 53002
2275.35/2282.52 c #Conflicts: 1709000 | #Constraints: 54490
2275.35/2282.52 c #Conflicts: 1710000 | #Constraints: 55974
2275.35/2282.52 c #Conflicts: 1711000 | #Constraints: 57448
2275.35/2282.52 c #Conflicts: 1712000 | #Constraints: 58914
2275.35/2282.52 c #Conflicts: 1713000 | #Constraints: 60386
2275.35/2282.52 c #Conflicts: 1714000 | #Constraints: 61731
2275.35/2282.52 c #Conflicts: 1715000 | #Constraints: 62731
2275.35/2282.52 c #Conflicts: 1716000 | #Constraints: 64103
2275.35/2282.52 c #Conflicts: 1717000 | #Constraints: 65584
2275.35/2282.52 c #Conflicts: 1718000 | #Constraints: 67052
2275.35/2282.52 c #Conflicts: 1719000 | #Constraints: 68508
2275.35/2282.52 c #Conflicts: 1720000 | #Constraints: 69509
2275.35/2282.52 c INPROCESSING
2275.35/2282.52 c GARBAGE COLLECT
2275.35/2282.52 c rational objective 0
2336.37/2343.75 c #Conflicts: 1721000 | #Constraints: 36046
2336.37/2343.75 c #Conflicts: 1722000 | #Constraints: 37515
2336.37/2343.75 c #Conflicts: 1723000 | #Constraints: 38988
2336.37/2343.75 c #Conflicts: 1724000 | #Constraints: 40150
2336.37/2343.75 c #Conflicts: 1725000 | #Constraints: 41570
2336.37/2343.75 c #Conflicts: 1726000 | #Constraints: 42797
2336.37/2343.75 c #Conflicts: 1727000 | #Constraints: 43797
2336.37/2343.75 c #Conflicts: 1728000 | #Constraints: 45162
2336.37/2343.75 c #Conflicts: 1729000 | #Constraints: 46357
2336.37/2343.75 c #Conflicts: 1730000 | #Constraints: 47821
2336.37/2343.75 c #Conflicts: 1731000 | #Constraints: 49280
2336.37/2343.75 c #Conflicts: 1732000 | #Constraints: 50753
2336.37/2343.75 c #Conflicts: 1733000 | #Constraints: 52226
2336.37/2343.75 c #Conflicts: 1734000 | #Constraints: 53347
2336.37/2343.75 c #Conflicts: 1735000 | #Constraints: 54438
2336.37/2343.75 c #Conflicts: 1736000 | #Constraints: 55595
2336.37/2343.75 c #Conflicts: 1737000 | #Constraints: 56924
2336.37/2343.75 c #Conflicts: 1738000 | #Constraints: 58114
2336.37/2343.75 c #Conflicts: 1739000 | #Constraints: 59560
2336.37/2343.75 c #Conflicts: 1740000 | #Constraints: 60878
2336.37/2343.75 c #Conflicts: 1741000 | #Constraints: 61962
2336.37/2343.75 c #Conflicts: 1742000 | #Constraints: 63281
2336.37/2343.75 c #Conflicts: 1743000 | #Constraints: 64281
2336.37/2343.75 c #Conflicts: 1744000 | #Constraints: 65281
2336.37/2343.75 c #Conflicts: 1745000 | #Constraints: 66281
2336.37/2343.75 c #Conflicts: 1746000 | #Constraints: 67281
2336.37/2343.75 c INPROCESSING
2336.37/2343.75 c GARBAGE COLLECT
2336.37/2343.75 c rational objective 0
2383.01/2390.52 c #Conflicts: 1747000 | #Constraints: 34402
2383.01/2390.52 c #Conflicts: 1748000 | #Constraints: 35413
2383.01/2390.52 c #Conflicts: 1749000 | #Constraints: 36413
2383.01/2390.52 c #Conflicts: 1750000 | #Constraints: 37413
2383.01/2390.52 c #Conflicts: 1751000 | #Constraints: 38413
2383.01/2390.52 c #Conflicts: 1752000 | #Constraints: 39413
2383.01/2390.52 c #Conflicts: 1753000 | #Constraints: 40497
2383.01/2390.52 c #Conflicts: 1754000 | #Constraints: 41497
2383.01/2390.52 c #Conflicts: 1755000 | #Constraints: 42505
2383.01/2390.52 c #Conflicts: 1756000 | #Constraints: 43524
2383.01/2390.52 c #Conflicts: 1757000 | #Constraints: 44524
2383.01/2390.52 c #Conflicts: 1758000 | #Constraints: 45524
2383.01/2390.52 c #Conflicts: 1759000 | #Constraints: 46562
2383.01/2390.52 c #Conflicts: 1760000 | #Constraints: 47605
2383.01/2390.52 c #Conflicts: 1761000 | #Constraints: 48625
2383.01/2390.52 c #Conflicts: 1762000 | #Constraints: 49625
2383.01/2390.52 c #Conflicts: 1763000 | #Constraints: 50625
2383.01/2390.52 c #Conflicts: 1764000 | #Constraints: 51625
2383.01/2390.52 c #Conflicts: 1765000 | #Constraints: 52625
2383.01/2390.52 c #Conflicts: 1766000 | #Constraints: 53625
2383.01/2390.52 c #Conflicts: 1767000 | #Constraints: 54625
2383.01/2390.52 c #Conflicts: 1768000 | #Constraints: 55626
2383.01/2390.52 c #Conflicts: 1769000 | #Constraints: 56698
2383.01/2390.52 c #Conflicts: 1770000 | #Constraints: 57698
2383.01/2390.52 c #Conflicts: 1771000 | #Constraints: 58698
2383.01/2390.52 c #Conflicts: 1772000 | #Constraints: 59784
2383.01/2390.52 c #Conflicts: 1773000 | #Constraints: 60784
2383.01/2390.52 c INPROCESSING
2383.01/2390.52 c GARBAGE COLLECT
2383.01/2390.52 c rational objective 0
2443.93/2451.64 c #Conflicts: 1774000 | #Constraints: 31682
2443.93/2451.64 c #Conflicts: 1775000 | #Constraints: 33131
2443.93/2451.64 c #Conflicts: 1776000 | #Constraints: 34593
2443.93/2451.64 c #Conflicts: 1777000 | #Constraints: 36073
2443.93/2451.64 c #Conflicts: 1778000 | #Constraints: 37535
2443.93/2451.64 c #Conflicts: 1779000 | #Constraints: 38998
2443.93/2451.64 c #Conflicts: 1780000 | #Constraints: 40497
2443.93/2451.64 c #Conflicts: 1781000 | #Constraints: 41948
2443.93/2451.64 c #Conflicts: 1782000 | #Constraints: 43398
2443.93/2451.64 c #Conflicts: 1783000 | #Constraints: 44873
2443.93/2451.64 c #Conflicts: 1784000 | #Constraints: 46347
2443.93/2451.64 c #Conflicts: 1785000 | #Constraints: 47825
2443.93/2451.64 c #Conflicts: 1786000 | #Constraints: 49304
2443.93/2451.64 c #Conflicts: 1787000 | #Constraints: 50779
2443.93/2451.64 c #Conflicts: 1788000 | #Constraints: 52257
2443.93/2451.64 c #Conflicts: 1789000 | #Constraints: 53729
2443.93/2451.64 c #Conflicts: 1790000 | #Constraints: 55213
2443.93/2451.64 c #Conflicts: 1791000 | #Constraints: 56660
2443.93/2451.64 c #Conflicts: 1792000 | #Constraints: 58149
2443.93/2451.64 c #Conflicts: 1793000 | #Constraints: 59626
2443.93/2451.64 c #Conflicts: 1794000 | #Constraints: 61071
2443.93/2451.64 c #Conflicts: 1795000 | #Constraints: 62533
2443.93/2451.64 c #Conflicts: 1796000 | #Constraints: 63988
2443.93/2451.64 c #Conflicts: 1797000 | #Constraints: 65480
2443.93/2451.64 c #Conflicts: 1798000 | #Constraints: 66949
2443.93/2451.64 c #Conflicts: 1799000 | #Constraints: 68421
2443.93/2451.64 c #Conflicts: 1800000 | #Constraints: 69893
2443.93/2451.64 c INPROCESSING
2443.93/2451.64 c GARBAGE COLLECT
2443.93/2451.64 c rational objective 0
2491.77/2499.68 c #Conflicts: 1801000 | #Constraints: 36181
2491.77/2499.68 c #Conflicts: 1802000 | #Constraints: 37340
2491.77/2499.68 c #Conflicts: 1803000 | #Constraints: 38399
2491.77/2499.68 c #Conflicts: 1804000 | #Constraints: 39660
2491.77/2499.68 c #Conflicts: 1805000 | #Constraints: 40749
2491.77/2499.68 c #Conflicts: 1806000 | #Constraints: 41749
2491.77/2499.68 c #Conflicts: 1807000 | #Constraints: 42749
2491.77/2499.68 c #Conflicts: 1808000 | #Constraints: 43749
2491.77/2499.68 c #Conflicts: 1809000 | #Constraints: 44749
2491.77/2499.68 c #Conflicts: 1810000 | #Constraints: 45749
2491.77/2499.68 c #Conflicts: 1811000 | #Constraints: 46749
2491.77/2499.68 c #Conflicts: 1812000 | #Constraints: 47749
2491.77/2499.68 c #Conflicts: 1813000 | #Constraints: 48749
2491.77/2499.68 c #Conflicts: 1814000 | #Constraints: 49749
2491.77/2499.68 c #Conflicts: 1815000 | #Constraints: 50749
2491.77/2499.68 c #Conflicts: 1816000 | #Constraints: 51837
2491.77/2499.68 c #Conflicts: 1817000 | #Constraints: 52837
2491.77/2499.68 c #Conflicts: 1818000 | #Constraints: 53837
2491.77/2499.68 c #Conflicts: 1819000 | #Constraints: 54838
2491.77/2499.68 c #Conflicts: 1820000 | #Constraints: 55838
2491.77/2499.68 c #Conflicts: 1821000 | #Constraints: 56838
2491.77/2499.68 c #Conflicts: 1822000 | #Constraints: 57838
2491.77/2499.68 c #Conflicts: 1823000 | #Constraints: 58838
2491.77/2499.68 c #Conflicts: 1824000 | #Constraints: 59838
2491.77/2499.68 c #Conflicts: 1825000 | #Constraints: 60838
2491.77/2499.68 c #Conflicts: 1826000 | #Constraints: 61838
2491.77/2499.68 c #Conflicts: 1827000 | #Constraints: 62838
2491.77/2499.68 c INPROCESSING
2491.77/2499.68 c GARBAGE COLLECT
2491.77/2499.68 c rational objective 0
2550.58/2558.62 c #Conflicts: 1828000 | #Constraints: 32872
2550.58/2558.62 c #Conflicts: 1829000 | #Constraints: 34289
2550.58/2558.62 c #Conflicts: 1830000 | #Constraints: 35496
2550.58/2558.62 c #Conflicts: 1831000 | #Constraints: 36985
2550.58/2558.62 c #Conflicts: 1832000 | #Constraints: 38404
2550.58/2558.62 c #Conflicts: 1833000 | #Constraints: 39866
2550.58/2558.62 c #Conflicts: 1834000 | #Constraints: 41338
2550.58/2558.62 c #Conflicts: 1835000 | #Constraints: 42780
2550.58/2558.62 c #Conflicts: 1836000 | #Constraints: 44273
2550.58/2558.62 c #Conflicts: 1837000 | #Constraints: 45758
2550.58/2558.62 c #Conflicts: 1838000 | #Constraints: 46981
2550.58/2558.62 c #Conflicts: 1839000 | #Constraints: 48437
2550.58/2558.62 c #Conflicts: 1840000 | #Constraints: 49886
2550.58/2558.62 c #Conflicts: 1841000 | #Constraints: 51033
2550.58/2558.62 c #Conflicts: 1842000 | #Constraints: 52279
2550.58/2558.62 c #Conflicts: 1843000 | #Constraints: 53672
2550.58/2558.62 c #Conflicts: 1844000 | #Constraints: 54705
2550.58/2558.62 c #Conflicts: 1845000 | #Constraints: 56186
2550.58/2558.62 c #Conflicts: 1846000 | #Constraints: 57656
2550.58/2558.62 c #Conflicts: 1847000 | #Constraints: 59118
2550.58/2558.62 c #Conflicts: 1848000 | #Constraints: 60570
2550.58/2558.62 c #Conflicts: 1849000 | #Constraints: 62027
2550.58/2558.62 c #Conflicts: 1850000 | #Constraints: 63506
2550.58/2558.62 c #Conflicts: 1851000 | #Constraints: 64967
2550.58/2558.62 c #Conflicts: 1852000 | #Constraints: 66441
2550.58/2558.62 c #Conflicts: 1853000 | #Constraints: 67476
2550.58/2558.62 c #Conflicts: 1854000 | #Constraints: 68487
2550.58/2558.62 c INPROCESSING
2550.58/2558.62 c GARBAGE COLLECT
2550.58/2558.62 c rational objective 0
2609.89/2618.10 c #Conflicts: 1855000 | #Constraints: 35561
2609.89/2618.10 c #Conflicts: 1856000 | #Constraints: 37025
2609.89/2618.10 c #Conflicts: 1857000 | #Constraints: 38497
2609.89/2618.10 c #Conflicts: 1858000 | #Constraints: 39855
2609.89/2618.10 c #Conflicts: 1859000 | #Constraints: 41316
2609.89/2618.10 c #Conflicts: 1860000 | #Constraints: 42778
2609.89/2618.10 c #Conflicts: 1861000 | #Constraints: 44208
2609.89/2618.10 c #Conflicts: 1862000 | #Constraints: 45677
2609.89/2618.10 c #Conflicts: 1863000 | #Constraints: 47149
2609.89/2618.10 c #Conflicts: 1864000 | #Constraints: 48625
2609.89/2618.10 c #Conflicts: 1865000 | #Constraints: 49958
2609.89/2618.10 c #Conflicts: 1866000 | #Constraints: 51042
2609.89/2618.10 c #Conflicts: 1867000 | #Constraints: 52432
2609.89/2618.10 c #Conflicts: 1868000 | #Constraints: 53836
2609.89/2618.10 c #Conflicts: 1869000 | #Constraints: 55064
2609.89/2618.10 c #Conflicts: 1870000 | #Constraints: 56391
2609.89/2618.10 c #Conflicts: 1871000 | #Constraints: 57858
2609.89/2618.10 c #Conflicts: 1872000 | #Constraints: 59331
2609.89/2618.10 c #Conflicts: 1873000 | #Constraints: 60822
2609.89/2618.10 c #Conflicts: 1874000 | #Constraints: 62291
2609.89/2618.10 c #Conflicts: 1875000 | #Constraints: 63772
2609.89/2618.10 c #Conflicts: 1876000 | #Constraints: 65244
2609.89/2618.10 c #Conflicts: 1877000 | #Constraints: 66732
2609.89/2618.10 c #Conflicts: 1878000 | #Constraints: 68200
2609.89/2618.10 c #Conflicts: 1879000 | #Constraints: 69686
2609.89/2618.10 c #Conflicts: 1880000 | #Constraints: 71134
2609.89/2618.10 c #Conflicts: 1881000 | #Constraints: 72604
2609.89/2618.10 c INPROCESSING
2609.89/2618.10 c GARBAGE COLLECT
2609.89/2618.10 c rational objective 0
2665.12/2673.54 c #Conflicts: 1882000 | #Constraints: 37212
2665.12/2673.54 c #Conflicts: 1883000 | #Constraints: 38374
2665.12/2673.54 c #Conflicts: 1884000 | #Constraints: 39393
2665.12/2673.54 c #Conflicts: 1885000 | #Constraints: 40497
2665.12/2673.54 c #Conflicts: 1886000 | #Constraints: 41597
2665.12/2673.54 c #Conflicts: 1887000 | #Constraints: 42978
2665.12/2673.54 c #Conflicts: 1888000 | #Constraints: 44415
2665.12/2673.54 c #Conflicts: 1889000 | #Constraints: 45418
2665.12/2673.54 c #Conflicts: 1890000 | #Constraints: 46418
2665.12/2673.54 c #Conflicts: 1891000 | #Constraints: 47418
2665.12/2673.54 c #Conflicts: 1892000 | #Constraints: 48418
2665.12/2673.54 c #Conflicts: 1893000 | #Constraints: 49752
2665.12/2673.54 c #Conflicts: 1894000 | #Constraints: 50896
2665.12/2673.54 c #Conflicts: 1895000 | #Constraints: 52085
2665.12/2673.54 c #Conflicts: 1896000 | #Constraints: 53097
2665.12/2673.54 c #Conflicts: 1897000 | #Constraints: 54117
2665.12/2673.54 c #Conflicts: 1898000 | #Constraints: 55117
2665.12/2673.54 c #Conflicts: 1899000 | #Constraints: 56117
2665.12/2673.54 c #Conflicts: 1900000 | #Constraints: 57118
2665.12/2673.54 c #Conflicts: 1901000 | #Constraints: 58182
2665.12/2673.54 c #Conflicts: 1902000 | #Constraints: 59263
2665.12/2673.54 c #Conflicts: 1903000 | #Constraints: 60263
2665.12/2673.54 c #Conflicts: 1904000 | #Constraints: 61263
2665.12/2673.54 c #Conflicts: 1905000 | #Constraints: 62263
2665.12/2673.54 c #Conflicts: 1906000 | #Constraints: 63263
2665.12/2673.54 c #Conflicts: 1907000 | #Constraints: 64263
2665.12/2673.54 c #Conflicts: 1908000 | #Constraints: 65263
2665.12/2673.54 c #Conflicts: 1909000 | #Constraints: 66263
2665.12/2673.54 c INPROCESSING
2665.12/2673.54 c GARBAGE COLLECT
2665.12/2673.54 c rational objective 0
2726.63/2735.25 c #Conflicts: 1910000 | #Constraints: 34398
2726.63/2735.25 c #Conflicts: 1911000 | #Constraints: 35848
2726.63/2735.25 c #Conflicts: 1912000 | #Constraints: 37045
2726.63/2735.25 c #Conflicts: 1913000 | #Constraints: 38501
2726.63/2735.25 c #Conflicts: 1914000 | #Constraints: 39971
2726.63/2735.25 c #Conflicts: 1915000 | #Constraints: 41433
2726.63/2735.25 c #Conflicts: 1916000 | #Constraints: 42895
2726.63/2735.25 c #Conflicts: 1917000 | #Constraints: 44347
2726.63/2735.25 c #Conflicts: 1918000 | #Constraints: 45822
2726.63/2735.25 c #Conflicts: 1919000 | #Constraints: 47305
2726.63/2735.25 c #Conflicts: 1920000 | #Constraints: 48761
2726.63/2735.25 c #Conflicts: 1921000 | #Constraints: 50230
2726.63/2735.25 c #Conflicts: 1922000 | #Constraints: 51689
2726.63/2735.25 c #Conflicts: 1923000 | #Constraints: 53174
2726.63/2735.25 c #Conflicts: 1924000 | #Constraints: 54678
2726.63/2735.25 c #Conflicts: 1925000 | #Constraints: 56135
2726.63/2735.25 c #Conflicts: 1926000 | #Constraints: 57303
2726.63/2735.25 c #Conflicts: 1927000 | #Constraints: 58303
2726.63/2735.25 c #Conflicts: 1928000 | #Constraints: 59304
2726.63/2735.25 c #Conflicts: 1929000 | #Constraints: 60304
2726.63/2735.25 c #Conflicts: 1930000 | #Constraints: 61304
2726.63/2735.25 c #Conflicts: 1931000 | #Constraints: 62304
2726.63/2735.25 c #Conflicts: 1932000 | #Constraints: 63304
2726.63/2735.25 c #Conflicts: 1933000 | #Constraints: 64728
2726.63/2735.25 c #Conflicts: 1934000 | #Constraints: 66192
2726.63/2735.25 c #Conflicts: 1935000 | #Constraints: 67652
2726.63/2735.25 c #Conflicts: 1936000 | #Constraints: 69130
2726.63/2735.25 c #Conflicts: 1937000 | #Constraints: 70584
2726.63/2735.25 c INPROCESSING
2726.63/2735.25 c GARBAGE COLLECT
2726.63/2735.25 c rational objective 0
2777.98/2786.71 c #Conflicts: 1938000 | #Constraints: 36409
2777.98/2786.71 c #Conflicts: 1939000 | #Constraints: 37436
2777.98/2786.71 c #Conflicts: 1940000 | #Constraints: 38436
2777.98/2786.71 c #Conflicts: 1941000 | #Constraints: 39436
2777.98/2786.71 c #Conflicts: 1942000 | #Constraints: 40436
2777.98/2786.71 c #Conflicts: 1943000 | #Constraints: 41617
2777.98/2786.71 c #Conflicts: 1944000 | #Constraints: 42617
2777.98/2786.71 c #Conflicts: 1945000 | #Constraints: 43617
2777.98/2786.71 c #Conflicts: 1946000 | #Constraints: 44617
2777.98/2786.71 c #Conflicts: 1947000 | #Constraints: 45617
2777.98/2786.71 c #Conflicts: 1948000 | #Constraints: 46631
2777.98/2786.71 c #Conflicts: 1949000 | #Constraints: 47631
2777.98/2786.71 c #Conflicts: 1950000 | #Constraints: 48631
2777.98/2786.71 c #Conflicts: 1951000 | #Constraints: 49903
2777.98/2786.71 c #Conflicts: 1952000 | #Constraints: 50903
2777.98/2786.71 c #Conflicts: 1953000 | #Constraints: 51903
2777.98/2786.71 c #Conflicts: 1954000 | #Constraints: 52903
2777.98/2786.71 c #Conflicts: 1955000 | #Constraints: 53903
2777.98/2786.71 c #Conflicts: 1956000 | #Constraints: 54903
2777.98/2786.71 c #Conflicts: 1957000 | #Constraints: 55903
2777.98/2786.71 c #Conflicts: 1958000 | #Constraints: 56903
2777.98/2786.71 c #Conflicts: 1959000 | #Constraints: 57903
2777.98/2786.71 c #Conflicts: 1960000 | #Constraints: 58903
2777.98/2786.71 c #Conflicts: 1961000 | #Constraints: 59903
2777.98/2786.71 c #Conflicts: 1962000 | #Constraints: 60903
2777.98/2786.71 c #Conflicts: 1963000 | #Constraints: 61903
2777.98/2786.71 c #Conflicts: 1964000 | #Constraints: 62903
2777.98/2786.71 c #Conflicts: 1965000 | #Constraints: 63903
2777.98/2786.71 c INPROCESSING
2777.98/2786.71 c GARBAGE COLLECT
2777.98/2786.71 c rational objective 0
2829.24/2838.11 c #Conflicts: 1966000 | #Constraints: 33345
2829.24/2838.11 c #Conflicts: 1967000 | #Constraints: 34580
2829.24/2838.11 c #Conflicts: 1968000 | #Constraints: 35594
2829.24/2838.11 c #Conflicts: 1969000 | #Constraints: 36627
2829.24/2838.11 c #Conflicts: 1970000 | #Constraints: 37987
2829.24/2838.11 c #Conflicts: 1971000 | #Constraints: 39029
2829.24/2838.11 c #Conflicts: 1972000 | #Constraints: 40116
2829.24/2838.11 c #Conflicts: 1973000 | #Constraints: 41242
2829.24/2838.11 c #Conflicts: 1974000 | #Constraints: 42404
2829.24/2838.11 c #Conflicts: 1975000 | #Constraints: 43623
2829.24/2838.11 c #Conflicts: 1976000 | #Constraints: 44623
2829.24/2838.11 c #Conflicts: 1977000 | #Constraints: 45623
2829.24/2838.11 c #Conflicts: 1978000 | #Constraints: 46623
2829.24/2838.11 c #Conflicts: 1979000 | #Constraints: 47623
2829.24/2838.11 c #Conflicts: 1980000 | #Constraints: 48623
2829.24/2838.11 c #Conflicts: 1981000 | #Constraints: 49623
2829.24/2838.11 c #Conflicts: 1982000 | #Constraints: 50623
2829.24/2838.11 c #Conflicts: 1983000 | #Constraints: 51623
2829.24/2838.11 c #Conflicts: 1984000 | #Constraints: 52623
2829.24/2838.11 c #Conflicts: 1985000 | #Constraints: 53623
2829.24/2838.11 c #Conflicts: 1986000 | #Constraints: 54623
2829.24/2838.11 c #Conflicts: 1987000 | #Constraints: 55623
2829.24/2838.11 c #Conflicts: 1988000 | #Constraints: 56623
2829.24/2838.11 c #Conflicts: 1989000 | #Constraints: 57623
2829.24/2838.11 c #Conflicts: 1990000 | #Constraints: 58623
2829.24/2838.11 c #Conflicts: 1991000 | #Constraints: 59623
2829.24/2838.11 c #Conflicts: 1992000 | #Constraints: 60623
2829.24/2838.11 c #Conflicts: 1993000 | #Constraints: 61623
2829.24/2838.11 c INPROCESSING
2829.24/2838.11 c GARBAGE COLLECT
2829.24/2838.11 c rational objective 0
2876.50/2885.55 c #Conflicts: 1994000 | #Constraints: 31938
2876.50/2885.55 c #Conflicts: 1995000 | #Constraints: 32938
2876.50/2885.55 c #Conflicts: 1996000 | #Constraints: 33938
2876.50/2885.55 c #Conflicts: 1997000 | #Constraints: 34938
2876.50/2885.55 c #Conflicts: 1998000 | #Constraints: 35945
2876.50/2885.55 c #Conflicts: 1999000 | #Constraints: 36976
2876.50/2885.55 c #Conflicts: 2000000 | #Constraints: 37976
2876.50/2885.55 c #Conflicts: 2001000 | #Constraints: 38976
2876.50/2885.55 c #Conflicts: 2002000 | #Constraints: 39976
2876.50/2885.55 c #Conflicts: 2003000 | #Constraints: 40976
2876.50/2885.55 c #Conflicts: 2004000 | #Constraints: 41976
2876.50/2885.55 c #Conflicts: 2005000 | #Constraints: 42976
2876.50/2885.55 c #Conflicts: 2006000 | #Constraints: 43976
2876.50/2885.55 c #Conflicts: 2007000 | #Constraints: 44976
2876.50/2885.55 c #Conflicts: 2008000 | #Constraints: 45976
2876.50/2885.55 c #Conflicts: 2009000 | #Constraints: 46976
2876.50/2885.55 c #Conflicts: 2010000 | #Constraints: 47977
2876.50/2885.55 c #Conflicts: 2011000 | #Constraints: 48977
2876.50/2885.55 c #Conflicts: 2012000 | #Constraints: 50037
2876.50/2885.55 c #Conflicts: 2013000 | #Constraints: 51037
2876.50/2885.55 c #Conflicts: 2014000 | #Constraints: 52037
2876.50/2885.55 c #Conflicts: 2015000 | #Constraints: 53037
2876.50/2885.55 c #Conflicts: 2016000 | #Constraints: 54037
2876.50/2885.55 c #Conflicts: 2017000 | #Constraints: 55037
2876.50/2885.55 c #Conflicts: 2018000 | #Constraints: 56037
2876.50/2885.55 c #Conflicts: 2019000 | #Constraints: 57037
2876.50/2885.55 c #Conflicts: 2020000 | #Constraints: 58038
2876.50/2885.55 c #Conflicts: 2021000 | #Constraints: 59038
2876.50/2885.55 c INPROCESSING
2876.50/2885.55 c GARBAGE COLLECT
2876.50/2885.55 c rational objective 0
2923.76/2932.99 c #Conflicts: 2022000 | #Constraints: 30237
2923.76/2932.99 c #Conflicts: 2023000 | #Constraints: 31237
2923.76/2932.99 c #Conflicts: 2024000 | #Constraints: 32237
2923.76/2932.99 c #Conflicts: 2025000 | #Constraints: 33237
2923.76/2932.99 c #Conflicts: 2026000 | #Constraints: 34237
2923.76/2932.99 c #Conflicts: 2027000 | #Constraints: 35237
2923.76/2932.99 c #Conflicts: 2028000 | #Constraints: 36237
2923.76/2932.99 c #Conflicts: 2029000 | #Constraints: 37237
2923.76/2932.99 c #Conflicts: 2030000 | #Constraints: 38237
2923.76/2932.99 c #Conflicts: 2031000 | #Constraints: 39238
2923.76/2932.99 c #Conflicts: 2032000 | #Constraints: 40239
2923.76/2932.99 c #Conflicts: 2033000 | #Constraints: 41239
2923.76/2932.99 c #Conflicts: 2034000 | #Constraints: 42239
2923.76/2932.99 c #Conflicts: 2035000 | #Constraints: 43239
2923.76/2932.99 c #Conflicts: 2036000 | #Constraints: 44239
2923.76/2932.99 c #Conflicts: 2037000 | #Constraints: 45240
2923.76/2932.99 c #Conflicts: 2038000 | #Constraints: 46240
2923.76/2932.99 c #Conflicts: 2039000 | #Constraints: 47240
2923.76/2932.99 c #Conflicts: 2040000 | #Constraints: 48240
2923.76/2932.99 c #Conflicts: 2041000 | #Constraints: 49240
2923.76/2932.99 c #Conflicts: 2042000 | #Constraints: 50240
2923.76/2932.99 c #Conflicts: 2043000 | #Constraints: 51240
2923.76/2932.99 c #Conflicts: 2044000 | #Constraints: 52240
2923.76/2932.99 c #Conflicts: 2045000 | #Constraints: 53240
2923.76/2932.99 c #Conflicts: 2046000 | #Constraints: 54240
2923.76/2932.99 c #Conflicts: 2047000 | #Constraints: 55240
2923.76/2932.99 c #Conflicts: 2048000 | #Constraints: 56240
2923.76/2932.99 c #Conflicts: 2049000 | #Constraints: 57240
2923.76/2932.99 c #Conflicts: 2050000 | #Constraints: 58240
2923.76/2932.99 c INPROCESSING
2923.76/2932.99 c GARBAGE COLLECT
2923.76/2932.99 c rational objective 0
2972.42/2981.71 c #Conflicts: 2051000 | #Constraints: 30110
2972.42/2981.71 c #Conflicts: 2052000 | #Constraints: 31110
2972.42/2981.71 c #Conflicts: 2053000 | #Constraints: 32110
2972.42/2981.71 c #Conflicts: 2054000 | #Constraints: 33555
2972.42/2981.71 c #Conflicts: 2055000 | #Constraints: 34856
2972.42/2981.71 c #Conflicts: 2056000 | #Constraints: 35870
2972.42/2981.71 c #Conflicts: 2057000 | #Constraints: 36940
2972.42/2981.71 c #Conflicts: 2058000 | #Constraints: 37955
2972.42/2981.71 c #Conflicts: 2059000 | #Constraints: 39175
2972.42/2981.71 c #Conflicts: 2060000 | #Constraints: 40175
2972.42/2981.71 c #Conflicts: 2061000 | #Constraints: 41175
2972.42/2981.71 c #Conflicts: 2062000 | #Constraints: 42175
2972.42/2981.71 c #Conflicts: 2063000 | #Constraints: 43175
2972.42/2981.71 c #Conflicts: 2064000 | #Constraints: 44175
2972.42/2981.71 c #Conflicts: 2065000 | #Constraints: 45175
2972.42/2981.71 c #Conflicts: 2066000 | #Constraints: 46175
2972.42/2981.71 c #Conflicts: 2067000 | #Constraints: 47221
2972.42/2981.71 c #Conflicts: 2068000 | #Constraints: 48233
2972.42/2981.71 c #Conflicts: 2069000 | #Constraints: 49233
2972.42/2981.71 c #Conflicts: 2070000 | #Constraints: 50255
2972.42/2981.71 c #Conflicts: 2071000 | #Constraints: 51255
2972.42/2981.71 c #Conflicts: 2072000 | #Constraints: 52276
2972.42/2981.71 c #Conflicts: 2073000 | #Constraints: 53292
2972.42/2981.71 c #Conflicts: 2074000 | #Constraints: 54383
2972.42/2981.71 c #Conflicts: 2075000 | #Constraints: 55428
2972.42/2981.71 c #Conflicts: 2076000 | #Constraints: 56428
2972.42/2981.71 c #Conflicts: 2077000 | #Constraints: 57428
2972.42/2981.71 c #Conflicts: 2078000 | #Constraints: 58428
2972.42/2981.71 c #Conflicts: 2079000 | #Constraints: 59428
2972.42/2981.71 c INPROCESSING
2972.42/2981.71 c GARBAGE COLLECT
2972.42/2981.71 c rational objective 0
3040.91/3050.46 c #Conflicts: 2080000 | #Constraints: 31164
3040.91/3050.46 c #Conflicts: 2081000 | #Constraints: 32470
3040.91/3050.46 c #Conflicts: 2082000 | #Constraints: 33946
3040.91/3050.46 c #Conflicts: 2083000 | #Constraints: 35432
3040.91/3050.46 c #Conflicts: 2084000 | #Constraints: 36904
3040.91/3050.46 c #Conflicts: 2085000 | #Constraints: 38191
3040.91/3050.46 c #Conflicts: 2086000 | #Constraints: 39650
3040.91/3050.46 c #Conflicts: 2087000 | #Constraints: 40970
3040.91/3050.46 c #Conflicts: 2088000 | #Constraints: 42412
3040.91/3050.46 c #Conflicts: 2089000 | #Constraints: 43902
3040.91/3050.46 c #Conflicts: 2090000 | #Constraints: 45058
3040.91/3050.46 c #Conflicts: 2091000 | #Constraints: 46093
3040.91/3050.46 c #Conflicts: 2092000 | #Constraints: 47403
3040.91/3050.46 c #Conflicts: 2093000 | #Constraints: 48579
3040.91/3050.46 c #Conflicts: 2094000 | #Constraints: 49579
3040.91/3050.46 c #Conflicts: 2095000 | #Constraints: 51073
3040.91/3050.46 c #Conflicts: 2096000 | #Constraints: 52521
3040.91/3050.46 c #Conflicts: 2097000 | #Constraints: 53958
3040.91/3050.46 c #Conflicts: 2098000 | #Constraints: 55439
3040.91/3050.46 c #Conflicts: 2099000 | #Constraints: 56895
3040.91/3050.46 c #Conflicts: 2100000 | #Constraints: 58367
3040.91/3050.46 c #Conflicts: 2101000 | #Constraints: 59590
3040.91/3050.46 c #Conflicts: 2102000 | #Constraints: 61075
3040.91/3050.46 c #Conflicts: 2103000 | #Constraints: 62553
3040.91/3050.46 c #Conflicts: 2104000 | #Constraints: 64020
3040.91/3050.46 c #Conflicts: 2105000 | #Constraints: 65505
3040.91/3050.46 c #Conflicts: 2106000 | #Constraints: 66993
3040.91/3050.46 c #Conflicts: 2107000 | #Constraints: 68444
3040.91/3050.46 c #Conflicts: 2108000 | #Constraints: 69916
3040.91/3050.46 c INPROCESSING
3040.91/3050.46 c GARBAGE COLLECT
3040.91/3050.46 c rational objective 0
3111.61/3121.31 c #Conflicts: 2109000 | #Constraints: 36055
3111.61/3121.31 c #Conflicts: 2110000 | #Constraints: 37327
3111.61/3121.31 c #Conflicts: 2111000 | #Constraints: 38493
3111.61/3121.31 c #Conflicts: 2112000 | #Constraints: 39493
3111.61/3121.31 c #Conflicts: 2113000 | #Constraints: 40722
3111.61/3121.31 c #Conflicts: 2114000 | #Constraints: 42085
3111.61/3121.31 c #Conflicts: 2115000 | #Constraints: 43271
3111.61/3121.31 c #Conflicts: 2116000 | #Constraints: 44494
3111.61/3121.31 c #Conflicts: 2117000 | #Constraints: 45795
3111.61/3121.31 c #Conflicts: 2118000 | #Constraints: 47259
3111.61/3121.31 c #Conflicts: 2119000 | #Constraints: 48539
3111.61/3121.31 c #Conflicts: 2120000 | #Constraints: 49539
3111.61/3121.31 c #Conflicts: 2121000 | #Constraints: 50682
3111.61/3121.31 c #Conflicts: 2122000 | #Constraints: 51937
3111.61/3121.31 c #Conflicts: 2123000 | #Constraints: 52937
3111.61/3121.31 c #Conflicts: 2124000 | #Constraints: 54212
3111.61/3121.31 c #Conflicts: 2125000 | #Constraints: 55452
3111.61/3121.31 c #Conflicts: 2126000 | #Constraints: 56642
3111.61/3121.31 c #Conflicts: 2127000 | #Constraints: 58082
3111.61/3121.31 c #Conflicts: 2128000 | #Constraints: 59082
3111.61/3121.31 c #Conflicts: 2129000 | #Constraints: 60210
3111.61/3121.31 c #Conflicts: 2130000 | #Constraints: 61418
3111.61/3121.31 c #Conflicts: 2131000 | #Constraints: 62491
3111.61/3121.31 c #Conflicts: 2132000 | #Constraints: 63539
3111.61/3121.31 c #Conflicts: 2133000 | #Constraints: 64539
3111.61/3121.31 c #Conflicts: 2134000 | #Constraints: 65687
3111.61/3121.31 c #Conflicts: 2135000 | #Constraints: 66938
3111.61/3121.31 c #Conflicts: 2136000 | #Constraints: 68010
3111.61/3121.31 c #Conflicts: 2137000 | #Constraints: 69374
3111.61/3121.31 c INPROCESSING
3111.61/3121.31 c GARBAGE COLLECT
3111.61/3121.31 c rational objective 0
3198.76/3208.78 c #Conflicts: 2138000 | #Constraints: 35969
3198.76/3208.78 c #Conflicts: 2139000 | #Constraints: 37436
3198.76/3208.78 c #Conflicts: 2140000 | #Constraints: 38755
3198.76/3208.78 c #Conflicts: 2141000 | #Constraints: 40211
3198.76/3208.78 c #Conflicts: 2142000 | #Constraints: 41680
3198.76/3208.78 c #Conflicts: 2143000 | #Constraints: 43132
3198.76/3208.78 c #Conflicts: 2144000 | #Constraints: 44597
3198.76/3208.78 c #Conflicts: 2145000 | #Constraints: 46067
3198.76/3208.78 c #Conflicts: 2146000 | #Constraints: 47529
3198.76/3208.78 c #Conflicts: 2147000 | #Constraints: 48998
3198.76/3208.78 c #Conflicts: 2148000 | #Constraints: 50478
3198.76/3208.78 c #Conflicts: 2149000 | #Constraints: 51950
3198.76/3208.78 c #Conflicts: 2150000 | #Constraints: 53428
3198.76/3208.78 c #Conflicts: 2151000 | #Constraints: 54900
3198.76/3208.78 c #Conflicts: 2152000 | #Constraints: 56387
3198.76/3208.78 c #Conflicts: 2153000 | #Constraints: 57858
3198.76/3208.78 c #Conflicts: 2154000 | #Constraints: 59339
3198.76/3208.78 c #Conflicts: 2155000 | #Constraints: 60805
3198.76/3208.78 c #Conflicts: 2156000 | #Constraints: 62263
3198.76/3208.78 c #Conflicts: 2157000 | #Constraints: 63717
3198.76/3208.78 c #Conflicts: 2158000 | #Constraints: 65196
3198.76/3208.78 c #Conflicts: 2159000 | #Constraints: 66662
3198.76/3208.78 c #Conflicts: 2160000 | #Constraints: 68127
3198.76/3208.78 c #Conflicts: 2161000 | #Constraints: 69600
3198.76/3208.78 c #Conflicts: 2162000 | #Constraints: 71057
3198.76/3208.78 c #Conflicts: 2163000 | #Constraints: 72512
3198.76/3208.78 c #Conflicts: 2164000 | #Constraints: 73976
3198.76/3208.78 c #Conflicts: 2165000 | #Constraints: 75411
3198.76/3208.78 c #Conflicts: 2166000 | #Constraints: 76874
3198.76/3208.78 c INPROCESSING
3198.76/3208.78 c GARBAGE COLLECT
3198.76/3208.78 c rational objective 0
3284.92/3295.11 c #Conflicts: 2167000 | #Constraints: 39474
3284.92/3295.11 c #Conflicts: 2168000 | #Constraints: 40910
3284.92/3295.11 c #Conflicts: 2169000 | #Constraints: 42234
3284.92/3295.11 c #Conflicts: 2170000 | #Constraints: 43619
3284.92/3295.11 c #Conflicts: 2171000 | #Constraints: 45073
3284.92/3295.11 c #Conflicts: 2172000 | #Constraints: 46534
3284.92/3295.11 c #Conflicts: 2173000 | #Constraints: 47962
3284.92/3295.11 c #Conflicts: 2174000 | #Constraints: 49330
3284.92/3295.11 c #Conflicts: 2175000 | #Constraints: 50795
3284.92/3295.11 c #Conflicts: 2176000 | #Constraints: 52253
3284.92/3295.11 c #Conflicts: 2177000 | #Constraints: 53344
3284.92/3295.11 c #Conflicts: 2178000 | #Constraints: 54600
3284.92/3295.11 c #Conflicts: 2179000 | #Constraints: 55912
3284.92/3295.11 c #Conflicts: 2180000 | #Constraints: 57341
3284.92/3295.11 c #Conflicts: 2181000 | #Constraints: 58788
3284.92/3295.11 c #Conflicts: 2182000 | #Constraints: 60280
3284.92/3295.11 c #Conflicts: 2183000 | #Constraints: 61752
3284.92/3295.11 c #Conflicts: 2184000 | #Constraints: 63234
3284.92/3295.11 c #Conflicts: 2185000 | #Constraints: 64651
3284.92/3295.11 c #Conflicts: 2186000 | #Constraints: 66085
3284.92/3295.11 c #Conflicts: 2187000 | #Constraints: 67553
3284.92/3295.11 c #Conflicts: 2188000 | #Constraints: 68746
3284.92/3295.11 c #Conflicts: 2189000 | #Constraints: 69889
3284.92/3295.11 c #Conflicts: 2190000 | #Constraints: 71246
3284.92/3295.11 c #Conflicts: 2191000 | #Constraints: 72635
3284.92/3295.11 c #Conflicts: 2192000 | #Constraints: 73673
3284.92/3295.11 c #Conflicts: 2193000 | #Constraints: 74951
3284.92/3295.11 c #Conflicts: 2194000 | #Constraints: 76131
3284.92/3295.11 c #Conflicts: 2195000 | #Constraints: 77576
3284.92/3295.11 c #Conflicts: 2196000 | #Constraints: 79027
3284.92/3295.11 c INPROCESSING
3284.92/3295.11 c GARBAGE COLLECT
3284.92/3295.11 c rational objective 0
3372.25/3382.74 c #Conflicts: 2197000 | #Constraints: 40855
3372.25/3382.74 c #Conflicts: 2198000 | #Constraints: 42280
3372.25/3382.74 c #Conflicts: 2199000 | #Constraints: 43754
3372.25/3382.74 c #Conflicts: 2200000 | #Constraints: 45160
3372.25/3382.74 c #Conflicts: 2201000 | #Constraints: 46204
3372.25/3382.74 c #Conflicts: 2202000 | #Constraints: 47204
3372.25/3382.74 c #Conflicts: 2203000 | #Constraints: 48480
3372.25/3382.74 c #Conflicts: 2204000 | #Constraints: 49956
3372.25/3382.74 c #Conflicts: 2205000 | #Constraints: 51434
3372.25/3382.74 c #Conflicts: 2206000 | #Constraints: 52781
3372.25/3382.74 c #Conflicts: 2207000 | #Constraints: 54127
3372.25/3382.74 c #Conflicts: 2208000 | #Constraints: 55577
3372.25/3382.74 c #Conflicts: 2209000 | #Constraints: 57050
3372.25/3382.74 c #Conflicts: 2210000 | #Constraints: 58522
3372.25/3382.74 c #Conflicts: 2211000 | #Constraints: 59993
3372.25/3382.74 c #Conflicts: 2212000 | #Constraints: 61445
3372.25/3382.74 c #Conflicts: 2213000 | #Constraints: 62494
3372.25/3382.74 c #Conflicts: 2214000 | #Constraints: 63933
3372.25/3382.74 c #Conflicts: 2215000 | #Constraints: 65086
3372.25/3382.74 c #Conflicts: 2216000 | #Constraints: 66438
3372.25/3382.74 c #Conflicts: 2217000 | #Constraints: 67870
3372.25/3382.74 c #Conflicts: 2218000 | #Constraints: 69358
3372.25/3382.74 c #Conflicts: 2219000 | #Constraints: 70543
3372.25/3382.74 c #Conflicts: 2220000 | #Constraints: 72019
3372.25/3382.74 c #Conflicts: 2221000 | #Constraints: 73359
3372.25/3382.74 c #Conflicts: 2222000 | #Constraints: 74359
3372.25/3382.74 c #Conflicts: 2223000 | #Constraints: 75441
3372.25/3382.74 c #Conflicts: 2224000 | #Constraints: 76904
3372.25/3382.74 c #Conflicts: 2225000 | #Constraints: 78173
3372.25/3382.74 c #Conflicts: 2226000 | #Constraints: 79324
3372.25/3382.74 c INPROCESSING
3372.25/3382.74 c GARBAGE COLLECT
3372.25/3382.74 c rational objective 0
3449.52/3460.22 c #Conflicts: 2227000 | #Constraints: 40939
3449.52/3460.22 c #Conflicts: 2228000 | #Constraints: 42027
3449.52/3460.22 c #Conflicts: 2229000 | #Constraints: 43486
3449.52/3460.22 c #Conflicts: 2230000 | #Constraints: 44768
3449.52/3460.22 c #Conflicts: 2231000 | #Constraints: 46008
3449.52/3460.22 c #Conflicts: 2232000 | #Constraints: 47008
3449.52/3460.22 c #Conflicts: 2233000 | #Constraints: 48273
3449.52/3460.22 c #Conflicts: 2234000 | #Constraints: 49723
3449.52/3460.22 c #Conflicts: 2235000 | #Constraints: 51188
3449.52/3460.22 c #Conflicts: 2236000 | #Constraints: 52587
3449.52/3460.22 c #Conflicts: 2237000 | #Constraints: 53617
3449.52/3460.22 c #Conflicts: 2238000 | #Constraints: 54617
3449.52/3460.22 c #Conflicts: 2239000 | #Constraints: 55617
3449.52/3460.22 c #Conflicts: 2240000 | #Constraints: 57004
3449.52/3460.22 c #Conflicts: 2241000 | #Constraints: 58140
3449.52/3460.22 c #Conflicts: 2242000 | #Constraints: 59218
3449.52/3460.22 c #Conflicts: 2243000 | #Constraints: 60218
3449.52/3460.22 c #Conflicts: 2244000 | #Constraints: 61291
3449.52/3460.22 c #Conflicts: 2245000 | #Constraints: 62630
3449.52/3460.22 c #Conflicts: 2246000 | #Constraints: 63921
3449.52/3460.22 c #Conflicts: 2247000 | #Constraints: 64921
3449.52/3460.22 c #Conflicts: 2248000 | #Constraints: 65921
3449.52/3460.22 c #Conflicts: 2249000 | #Constraints: 67391
3449.52/3460.22 c #Conflicts: 2250000 | #Constraints: 68689
3449.52/3460.22 c #Conflicts: 2251000 | #Constraints: 69963
3449.52/3460.22 c #Conflicts: 2252000 | #Constraints: 71293
3449.52/3460.22 c #Conflicts: 2253000 | #Constraints: 72646
3449.52/3460.22 c #Conflicts: 2254000 | #Constraints: 73700
3449.52/3460.22 c #Conflicts: 2255000 | #Constraints: 75089
3449.52/3460.22 c #Conflicts: 2256000 | #Constraints: 76097
3449.52/3460.22 c INPROCESSING
3449.52/3460.22 c GARBAGE COLLECT
3449.52/3460.22 c rational objective 0
3514.13/3525.05 c #Conflicts: 2257000 | #Constraints: 39111
3514.13/3525.05 c #Conflicts: 2258000 | #Constraints: 40265
3514.13/3525.05 c #Conflicts: 2259000 | #Constraints: 41265
3514.13/3525.05 c #Conflicts: 2260000 | #Constraints: 42303
3514.13/3525.05 c #Conflicts: 2261000 | #Constraints: 43346
3514.13/3525.05 c #Conflicts: 2262000 | #Constraints: 44346
3514.13/3525.05 c #Conflicts: 2263000 | #Constraints: 45464
3514.13/3525.05 c #Conflicts: 2264000 | #Constraints: 46500
3514.13/3525.05 c #Conflicts: 2265000 | #Constraints: 47543
3514.13/3525.05 c #Conflicts: 2266000 | #Constraints: 48543
3514.13/3525.05 c #Conflicts: 2267000 | #Constraints: 49543
3514.13/3525.05 c #Conflicts: 2268000 | #Constraints: 50543
3514.13/3525.05 c #Conflicts: 2269000 | #Constraints: 51543
3514.13/3525.05 c #Conflicts: 2270000 | #Constraints: 52543
3514.13/3525.05 c #Conflicts: 2271000 | #Constraints: 53543
3514.13/3525.05 c #Conflicts: 2272000 | #Constraints: 54597
3514.13/3525.05 c #Conflicts: 2273000 | #Constraints: 55632
3514.13/3525.05 c #Conflicts: 2274000 | #Constraints: 56672
3514.13/3525.05 c #Conflicts: 2275000 | #Constraints: 57700
3514.13/3525.05 c #Conflicts: 2276000 | #Constraints: 58752
3514.13/3525.05 c #Conflicts: 2277000 | #Constraints: 59847
3514.13/3525.05 c #Conflicts: 2278000 | #Constraints: 60856
3514.13/3525.05 c #Conflicts: 2279000 | #Constraints: 61970
3514.13/3525.05 c #Conflicts: 2280000 | #Constraints: 62995
3514.13/3525.05 c #Conflicts: 2281000 | #Constraints: 64144
3514.13/3525.05 c #Conflicts: 2282000 | #Constraints: 65144
3514.13/3525.05 c #Conflicts: 2283000 | #Constraints: 66167
3514.13/3525.05 c #Conflicts: 2284000 | #Constraints: 67262
3514.13/3525.05 c #Conflicts: 2285000 | #Constraints: 68262
3514.13/3525.05 c #Conflicts: 2286000 | #Constraints: 69465
3514.13/3525.05 c INPROCESSING
3514.13/3525.05 c GARBAGE COLLECT
3514.13/3525.05 c rational objective 0
3586.43/3597.58 c #Conflicts: 2287000 | #Constraints: 36015
3586.43/3597.58 c #Conflicts: 2288000 | #Constraints: 37446
3586.43/3597.58 c #Conflicts: 2289000 | #Constraints: 38446
3586.43/3597.58 c #Conflicts: 2290000 | #Constraints: 39494
3586.43/3597.58 c #Conflicts: 2291000 | #Constraints: 40969
3586.43/3597.58 c #Conflicts: 2292000 | #Constraints: 42452
3586.43/3597.58 c #Conflicts: 2293000 | #Constraints: 43701
3586.43/3597.58 c #Conflicts: 2294000 | #Constraints: 45128
3586.43/3597.58 c #Conflicts: 2295000 | #Constraints: 46600
3586.43/3597.58 c #Conflicts: 2296000 | #Constraints: 48074
3586.43/3597.58 c #Conflicts: 2297000 | #Constraints: 49173
3586.43/3597.58 c #Conflicts: 2298000 | #Constraints: 50430
3586.43/3597.58 c #Conflicts: 2299000 | #Constraints: 51899
3586.43/3597.58 c #Conflicts: 2300000 | #Constraints: 52935
3586.43/3597.58 c #Conflicts: 2301000 | #Constraints: 54364
3586.43/3597.58 c #Conflicts: 2302000 | #Constraints: 55832
3586.43/3597.58 c #Conflicts: 2303000 | #Constraints: 57155
3586.43/3597.58 c #Conflicts: 2304000 | #Constraints: 58629
3586.43/3597.58 c #Conflicts: 2305000 | #Constraints: 59930
3586.43/3597.58 c #Conflicts: 2306000 | #Constraints: 61387
3586.43/3597.58 c #Conflicts: 2307000 | #Constraints: 62853
3586.43/3597.58 c #Conflicts: 2308000 | #Constraints: 64304
3586.43/3597.58 c #Conflicts: 2309000 | #Constraints: 65776
3586.43/3597.58 c #Conflicts: 2310000 | #Constraints: 67256
3586.43/3597.58 c #Conflicts: 2311000 | #Constraints: 68390
3586.43/3597.58 c #Conflicts: 2312000 | #Constraints: 69479
3586.43/3597.58 c #Conflicts: 2313000 | #Constraints: 70786
3586.43/3597.58 c #Conflicts: 2314000 | #Constraints: 71922
3586.43/3597.58 c #Conflicts: 2315000 | #Constraints: 72922
3586.43/3597.58 c #Conflicts: 2316000 | #Constraints: 73923
3586.43/3597.58 c INPROCESSING
3586.43/3597.58 c GARBAGE COLLECT
3586.43/3597.58 c rational objective 0
3600.08/3611.20 c #Conflicts: 2317000 | #Constraints: 37849
3600.08/3611.20 c #Conflicts: 2318000 | #Constraints: 38911
3600.08/3611.20 c #Conflicts: 2319000 | #Constraints: 39956
3600.08/3611.20 c #Conflicts: 2320000 | #Constraints: 41081
3600.08/3611.20 c #Conflicts: 2321000 | #Constraints: 42101
3600.08/3611.20 c #Conflicts: 2322000 | #Constraints: 43160
3600.08/3611.20 c #Conflicts: 2323000 | #Constraints: 44192
3600.08/3611.20 c cpu time 3559.4 s
3600.08/3611.20 c deterministic time 337609915241 3.38e+11
3600.08/3611.20 c optimization time 13.2551 s
3600.08/3611.20 c total solve time 3546.14 s
3600.08/3611.20 c core-guided solve time 0 s
3600.08/3611.20 c propagation time 2709.46 s
3600.08/3611.20 c conflict analysis time 749.751 s
3600.08/3611.20 c propagations 39041578
3600.08/3611.20 c resolve steps 16217808
3600.08/3611.20 c decisions 3147669
3600.08/3611.20 c conflicts 2323176
3600.08/3611.20 c restarts 4094
3600.08/3611.20 c inprocessing phases 143
3600.08/3611.20 c garbage collections 143 ,( 100.00 )
3600.08/3611.20 c input clauses 0 ,( 0.00 )
3600.08/3611.20 c input cardinalities 0 ,( 0.00 )
3600.08/3611.20 c input general constraints 14 ,( 100.00 )
3600.08/3611.20 c input average constraint length 75.57
3600.08/3611.20 c input average constraint degree 1791.71
3600.08/3611.20 c learned clauses 857061 ,( 30.85 )
3600.08/3611.20 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.20 c learned general constraints 1921444 ,( 69.15 )
3600.08/3611.20 c learned average constraint length 139.61
3600.08/3611.20 c learned average constraint degree 2666321450.15
3600.08/3611.20 c watched CF 32, 64, 128, Arb: 757245 , 0 , 0 , 0
3600.08/3611.20 c counting CF 32, 64, 128, Arb: 1164214 , 0 , 0 , 0
3600.08/3611.20 c watched constraints 757245 ,( 39.41 )
3600.08/3611.20 c counting constraints 1164213 ,( 60.59 )
3600.08/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 83562747 , 0 , 26276421329 ,( 128254146 , 26148167183 )
3600.08/3611.20 c gcd simplifications 840076
3600.08/3611.20 c detected cardinalities 0
3600.08/3611.20 c weakened non-implied lits 60047037
3600.08/3611.20 c weakened non-implying lits 4879639
3600.08/3611.20 c original variables 172
3600.08/3611.20 c clausal propagations 141532
3600.08/3611.20 c cardinality propagations 0
3600.08/3611.20 c watched propagations 84641
3600.08/3611.20 c counting propagations 36475191
3600.08/3611.20 c watch lookups 121561956664
3600.08/3611.20 c watch backjump lookups 0
3600.08/3611.20 c watch checks 8497626869
3600.08/3611.20 c propagation checks 204472662932
3600.08/3611.20 c constraint additions 2988648772
3600.08/3611.20 c trail pops 44511862
3600.08/3611.20 c formula constraints 14
3600.08/3611.20 c learned constraints 2322786
3600.08/3611.20 c bound constraints 0
3600.08/3611.20 c core-guided constraints 0
3600.08/3611.20 c encountered formula constraints 53328
3600.08/3611.20 c encountered learned constraints 2371394
3600.08/3611.20 c encountered bound constraints 0
3600.08/3611.20 c encountered core-guided constraints 0
3600.08/3611.20 c LP total time 121.519 s
3600.08/3611.20 c LP solve time 64.78 s
3600.08/3611.20 c LP constraints added 228
3600.08/3611.20 c LP constraints removed 211
3600.08/3611.20 c LP pivots internal 2317593
3600.08/3611.20 c LP pivots root 1301
3600.08/3611.20 c LP calls 942684
3600.08/3611.20 c LP optimalities 487540
3600.08/3611.20 c LP no pivot count 46985
3600.08/3611.20 c LP infeasibilities 455136
3600.08/3611.20 c LP valid Farkas constraints 455130
3600.08/3611.20 c LP learned Farkas constraints 389
3600.08/3611.20 c LP basis resets 8
3600.08/3611.20 c LP cycling count 0
3600.08/3611.20 c LP singular count 8
3600.08/3611.20 c LP no primal count 0
3600.08/3611.20 c LP no farkas count 0
3600.08/3611.20 c LP other issue count 0
3600.08/3611.20 c LP Gomory cuts 200
3600.08/3611.20 c LP learned cuts 14
3600.08/3611.20 c LP deleted cuts 211
3600.08/3611.20 c LP encountered Gomory constraints 481
3600.08/3611.20 c LP encountered Farkas constraints 15970670
3600.08/3611.20 c LP encountered learned Farkas constraints 144722
3600.08/3611.20 c CG auxiliary variables introduced 1
3600.08/3611.20 c CG solutions found 0
3600.08/3611.20 c CG cores constructed 0
3600.08/3611.20 c CG core cardinality constraints returned 0
3600.08/3611.20 c CG unit cores 0
3600.08/3611.20 c CG single cores 0
3600.08/3611.20 c CG blocks removed during cardinality reduction 0
3600.08/3611.20 c CG first core best 0
3600.08/3611.20 c CG decision core best 0
3600.08/3611.20 c CG core reduction tie 0
3600.08/3611.20 c CG core degree average 0.00
3600.08/3611.20 c CG core slack average 0.00
3600.08/3611.20 c CG core upper bound improvements 0
3600.08/3611.20 c STR number of successful calls 0
3600.08/3611.20 c STR number of unsuccessful calls 0
3600.08/3611.20 c STR number of inconclusive calls 0
3600.08/3611.20 c STR number of successful attempts 0
3600.08/3611.20 c STR number of unsuccessful attempts 0
3600.08/3611.20 c STR number of inconclusive attempts 0
3600.08/3611.20 c STR average degree increase per successful call inf
3600.08/3611.20 c STR average degree increase per successful attempt inf
3600.08/3611.20 c STR total number of conflicts for successful attempts 0
3600.08/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.20 c STR average number of conflicts per successful attempt inf
3600.08/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.20 c AVG.sumWPerc 51.19
3600.08/3611.20 c bigint constraints 0
3600.08/3611.20 s UNKNOWN
3600.08/3611.20 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 (51756 MiB free)
memory of node 1: 64465 MiB (61967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490703-1751369021/watcher-4490703-1751369021 -o /tmp/evaluation-result-4490703-1751369021/solver-4490703-1751369021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52186 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490703-1751369021.opb PROOFDIR/proof-4490703-1751369021
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=53264, runsolver pid=53261
[startup+0.100064 s]*
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116441908/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=61092 memory=13576 CPUtime=0.06 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 756 0 0 0 6 0 0 0 20 0 1 0 52578726 62558208 3394 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 15273 3394 2400 1147 0 2700 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 65284 KiB
Current children cumulated memory: 16648 KiB
[startup+0.205612 s]*
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116437876/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=62036 memory=14600 CPUtime=0.17 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 998 0 0 0 16 1 0 0 20 0 1 0 52578726 63524864 3650 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 15509 3650 2400 1147 0 2936 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 66228 KiB
Current children cumulated memory: 17672 KiB
[startup+0.305782 s]*
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116429320/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=63184 memory=15496 CPUtime=0.27 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 1217 0 0 0 26 1 0 0 20 0 1 0 52578726 64700416 3874 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 15796 3874 2400 1147 0 3223 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 67376 KiB
Current children cumulated memory: 18568 KiB
[startup+0.700199 s]
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116429320/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=64816 memory=19232 CPUtime=0.66 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 1619 0 0 0 63 3 0 0 20 0 1 0 52578726 66371584 4808 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 16204 4808 2400 1147 0 3631 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69008 KiB
Current children cumulated memory: 22304 KiB
[startup+1.50019 s]
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116405380/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=66800 memory=20896 CPUtime=1.45 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 2062 0 0 0 139 6 0 0 20 0 1 0 52578726 68403200 5224 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 16700 5224 2400 1147 0 4127 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 70992 KiB
Current children cumulated memory: 23968 KiB
[startup+3.1055 s]
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116309576/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=76424 memory=28064 CPUtime=3.05 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 3832 0 0 0 292 13 0 0 20 0 1 0 52578726 78258176 7016 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 19106 7016 2400 1147 0 6533 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 80616 KiB
Current children cumulated memory: 31136 KiB
[startup+6.30019 s]
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116204744/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=79880 memory=32288 CPUtime=6.24 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 4887 0 0 0 599 25 0 0 20 0 1 0 52578726 81797120 8072 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 19970 8072 2400 1147 0 7397 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 84072 KiB
Current children cumulated memory: 35360 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.08 4.08 5/272 53266
/proc/meminfo: memFree=116022168/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=87000 memory=36512 CPUtime=12.62 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 5967 0 0 0 1214 48 0 0 20 0 1 0 52578726 89088000 9128 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 21750 9128 2400 1147 0 9177 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 91192 KiB
Current children cumulated memory: 39584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.00 4.08 4.08 5/272 53266
/proc/meminfo: memFree=115618676/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=108528 memory=51292 CPUtime=25.38 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 9160 0 0 0 2452 86 0 0 20 0 1 0 52578726 111132672 12823 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 27132 12823 2400 1147 0 14559 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 112720 KiB
Current children cumulated memory: 54364 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.08 4.08 5/273 53268
/proc/meminfo: memFree=114908308/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=115180 memory=62372 CPUtime=50.9 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 11160 0 0 0 4932 158 0 0 20 0 1 0 52578726 117944320 15593 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 28795 15593 2464 1147 0 16222 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 119372 KiB
Current children cumulated memory: 65444 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 53271
/proc/meminfo: memFree=113676868/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=136392 memory=69152 CPUtime=101.93 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 14141 0 0 0 9915 278 0 0 20 0 1 0 52578726 139665408 17288 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 34098 17288 2464 1147 0 21525 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 140584 KiB
Current children cumulated memory: 72224 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 53273
/proc/meminfo: memFree=112440300/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=156776 memory=93380 CPUtime=161.74 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 20742 0 0 0 15789 385 0 0 20 0 1 0 52578726 160538624 23345 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 39194 23345 2464 1147 0 26621 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 160968 KiB
Current children cumulated memory: 96452 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 53372
/proc/meminfo: memFree=112715184/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=161664 memory=100804 CPUtime=221.48 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 22662 0 0 0 21654 494 0 0 20 0 1 0 52578726 165543936 25201 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
################
# More data... #
################
/proc/53266/statm: 86075 67668 2464 1147 0 73502 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 348492 KiB
Current children cumulated memory: 273744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/273 53583
/proc/meminfo: memFree=98586688/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=345368 memory=271480 CPUtime=3092.67 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 69044 0 0 0 305614 3653 0 0 20 0 1 0 52578726 353656832 67870 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 86342 67870 2464 1147 0 73769 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 349560 KiB
Current children cumulated memory: 274552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/270 53585
/proc/meminfo: memFree=98200348/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=345368 memory=271480 CPUtime=3152.49 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 69044 0 0 0 311548 3701 0 0 20 0 1 0 52578726 353656832 67870 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 86342 67870 2464 1147 0 73769 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 349560 KiB
Current children cumulated memory: 274552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/270 53588
/proc/meminfo: memFree=97833684/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=353200 memory=277368 CPUtime=3212.32 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 71563 0 0 0 317487 3745 0 0 20 0 1 0 52578726 361676800 69342 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 88300 69342 2464 1147 0 75727 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 357392 KiB
Current children cumulated memory: 280440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.22 4.13 5/271 53593
/proc/meminfo: memFree=97478776/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=354224 memory=283396 CPUtime=3272.15 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 71774 0 0 0 323431 3784 0 0 20 0 1 0 52578726 362725376 70849 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 88556 70849 2464 1147 0 75983 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 358416 KiB
Current children cumulated memory: 286468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/273 53602
/proc/meminfo: memFree=97110836/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=356272 memory=284104 CPUtime=3331.97 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 72479 0 0 0 329366 3831 0 0 20 0 1 0 52578726 364822528 71026 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 89068 71026 2464 1147 0 76495 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 360464 KiB
Current children cumulated memory: 287176 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/275 53606
/proc/meminfo: memFree=96734844/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=357404 memory=285644 CPUtime=3391.79 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 72799 0 0 0 335302 3877 0 0 20 0 1 0 52578726 365981696 71411 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 89351 71411 2464 1147 0 76778 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 361596 KiB
Current children cumulated memory: 288716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.15 4.12 5/275 53608
/proc/meminfo: memFree=96333500/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=357404 memory=285644 CPUtime=3451.62 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 72799 0 0 0 341228 3934 0 0 20 0 1 0 52578726 365981696 71411 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 89351 71411 2464 1147 0 76778 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 361596 KiB
Current children cumulated memory: 288716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/274 53610
/proc/meminfo: memFree=95905840/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=357404 memory=285644 CPUtime=3511.44 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 72846 0 0 0 347156 3988 0 0 20 0 1 0 52578726 365981696 71411 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 89351 71411 2464 1147 0 76778 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 361596 KiB
Current children cumulated memory: 288716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/273 53612
/proc/meminfo: memFree=95497976/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=357404 memory=285772 CPUtime=3571.27 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 72852 0 0 0 353084 4043 0 0 20 0 1 0 52578726 365981696 71443 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 89351 71443 2464 1147 0 76778 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 361596 KiB
Current children cumulated memory: 288844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.14 4.14 4.11 5/270 53627
/proc/meminfo: memFree=95390880/131250000 swapFree=33010684/33010684
[pid=53264] ppid=53261 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53264/stat : 53264 (run-opt-log.sh) S 53261 53264 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52578726 4292608 768 18446744073709551615 94676174639104 94676175533637 140720362540576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94676175772688 94676175820432 94676206772224 140720362543393 140720362543588 140720362543588 140720362549190 0
/proc/53264/statm: 1048 768 704 219 0 110 0
[pid=53266] ppid=53264 vsize=358940 memory=285972 CPUtime=3600.08 cores=0,2
/proc/53266/stat : 53266 (roundingsat) R 53264 53264 52176 0 -1 4194304 73300 0 0 0 355939 4069 0 0 20 0 1 0 52578726 367554560 71493 18446744073709551615 4227072 8923433 140729933283024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19550208 140729933285714 140729933285928 140729933285928 140729933291498 0
/proc/53266/statm: 89735 71493 2464 1147 0 77162 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 363132 KiB
Current children cumulated memory: 289044 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 53264 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002251 s
Sleeping 2 seconds
[startup+3611.27 s]
# the end of solver process 53266 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.4 s, system=40.7136 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.27
CPU time (s): 3600.11
CPU user time (s): 3559.4
CPU system time (s): 40.7136
CPU usage (%): 99.691
Max. virtual memory (cumulated for all children) (KiB): 363132
Max. memory (cumulated for all children) (KiB): 289044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.4
system time used= 40.7136
maximum resident set size= 286424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40220800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1652
involuntary context switches= 5535
# summary of solver processes directly reported to runsolver:
# pid: 53264,53266
# total CPU time (s): 3600.11
# total CPU user time (s): 3559.4
# total CPU system time (s): 40.7136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50745 second user time and 16.1383 second system time
The end
Begin job on nodeC014 at 2025-07-01 13:23:41
IDJOB=4490703
IDBENCH=147611
IDSOLVER=3351
FILE ID=nodeC014/4490703-1751369021
RUNJOBID= nodeC014-1751361783-52186
SLURM_JOB_ID= 9598173
Free space on /tmp= 432944 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490703-1751369021/watcher-4490703-1751369021 -o /tmp/evaluation-result-4490703-1751369021/solver-4490703-1751369021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52186 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490703-1751369021.opb PROOFDIR/proof-4490703-1751369021
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=478621629
nodeC014 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 : 3442.626
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.537
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.085
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.462
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.116
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116453872 kB
MemAvailable: 129246300 kB
Buffers: 3280 kB
Cached: 13581512 kB
SwapCached: 0 kB
Active: 845644 kB
Inactive: 13324400 kB
Active(anon): 603676 kB
Inactive(anon): 0 kB
Active(file): 241968 kB
Inactive(file): 13324400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127896 kB
Writeback: 0 kB
AnonPages: 586816 kB
Mapped: 117652 kB
Shmem: 18068 kB
KReclaimable: 130600 kB
Slab: 223832 kB
SReclaimable: 130600 kB
SUnreclaim: 93232 kB
KernelStack: 4368 kB
PageTables: 4444 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1019608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 186368 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC014 at 2025-07-01 14:23:53