0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 82 #constraints 2
0.00/0.02 c rational objective 1.12346
0.75/0.86 c #Conflicts: 1000 | #Constraints: 1183
0.75/0.86 c #Conflicts: 2000 | #Constraints: 2303
0.75/0.86 c INPROCESSING
0.75/0.86 c GARBAGE COLLECT
0.75/0.86 c rational objective 2
1.45/1.55 c #Conflicts: 3000 | #Constraints: 2274
1.45/1.55 c #Conflicts: 4000 | #Constraints: 3405
1.45/1.55 c INPROCESSING
1.45/1.55 c GARBAGE COLLECT
1.45/1.55 c rational objective 2
2.06/2.11 c #Conflicts: 5000 | #Constraints: 2622
2.06/2.11 c #Conflicts: 6000 | #Constraints: 3751
2.06/2.11 c INPROCESSING
2.06/2.11 c GARBAGE COLLECT
2.06/2.11 c rational objective 2
2.54/2.63 c #Conflicts: 7000 | #Constraints: 2623
2.54/2.63 c #Conflicts: 8000 | #Constraints: 3625
2.54/2.63 c #Conflicts: 9000 | #Constraints: 4657
2.54/2.63 c INPROCESSING
2.54/2.63 c GARBAGE COLLECT
2.54/2.63 c rational objective 2
2.96/3.05 c #Conflicts: 10000 | #Constraints: 3246
2.96/3.05 c #Conflicts: 11000 | #Constraints: 4246
2.96/3.05 c #Conflicts: 12000 | #Constraints: 5246
2.96/3.05 c INPROCESSING
2.96/3.05 c GARBAGE COLLECT
2.96/3.05 c rational objective 2
3.64/3.79 c #Conflicts: 13000 | #Constraints: 3632
3.64/3.79 c #Conflicts: 14000 | #Constraints: 4632
3.64/3.79 c #Conflicts: 15000 | #Constraints: 5663
3.64/3.79 c INPROCESSING
3.64/3.79 c GARBAGE COLLECT
3.64/3.79 c rational objective 2
4.34/4.46 c #Conflicts: 16000 | #Constraints: 3862
4.34/4.46 c #Conflicts: 17000 | #Constraints: 4955
4.34/4.46 c #Conflicts: 18000 | #Constraints: 6039
4.34/4.46 c INPROCESSING
4.34/4.46 c GARBAGE COLLECT
4.34/4.46 c rational objective 2
5.24/5.37 c #Conflicts: 19000 | #Constraints: 3971
5.24/5.37 c #Conflicts: 20000 | #Constraints: 5054
5.24/5.37 c #Conflicts: 21000 | #Constraints: 6157
5.24/5.37 c INPROCESSING
5.24/5.37 c GARBAGE COLLECT
5.24/5.37 c rational objective 2
6.53/6.62 c #Conflicts: 22000 | #Constraints: 3822
6.53/6.62 c #Conflicts: 23000 | #Constraints: 4896
6.53/6.62 c #Conflicts: 24000 | #Constraints: 5941
6.53/6.62 c #Conflicts: 25000 | #Constraints: 7062
6.53/6.62 c INPROCESSING
6.53/6.62 c GARBAGE COLLECT
6.53/6.62 c rational objective 2
7.62/7.73 c #Conflicts: 26000 | #Constraints: 4452
7.62/7.73 c #Conflicts: 27000 | #Constraints: 5452
7.62/7.73 c #Conflicts: 28000 | #Constraints: 6452
7.62/7.73 c #Conflicts: 29000 | #Constraints: 7503
7.62/7.73 c INPROCESSING
7.62/7.73 c GARBAGE COLLECT
7.62/7.73 c rational objective 2
9.12/9.25 c #Conflicts: 30000 | #Constraints: 4809
9.12/9.25 c #Conflicts: 31000 | #Constraints: 5876
9.12/9.25 c #Conflicts: 32000 | #Constraints: 6913
9.12/9.25 c #Conflicts: 33000 | #Constraints: 7991
9.12/9.25 c INPROCESSING
9.12/9.25 c GARBAGE COLLECT
9.12/9.25 c rational objective 2
10.52/10.65 c #Conflicts: 34000 | #Constraints: 5117
10.52/10.65 c #Conflicts: 35000 | #Constraints: 6394
10.52/10.65 c #Conflicts: 36000 | #Constraints: 7911
10.52/10.65 c #Conflicts: 37000 | #Constraints: 9283
10.52/10.65 c INPROCESSING
10.52/10.65 c GARBAGE COLLECT
10.52/10.65 c rational objective 2
12.71/12.85 c #Conflicts: 38000 | #Constraints: 5647
12.71/12.85 c #Conflicts: 39000 | #Constraints: 6698
12.71/12.85 c #Conflicts: 40000 | #Constraints: 7734
12.71/12.85 c #Conflicts: 41000 | #Constraints: 8813
12.71/12.85 c INPROCESSING
12.71/12.85 c GARBAGE COLLECT
12.71/12.85 c rational objective 2
15.61/15.75 c #Conflicts: 42000 | #Constraints: 5150
15.61/15.75 c #Conflicts: 43000 | #Constraints: 6276
15.61/15.75 c #Conflicts: 44000 | #Constraints: 7381
15.61/15.75 c #Conflicts: 45000 | #Constraints: 8505
15.61/15.75 c #Conflicts: 46000 | #Constraints: 9607
15.61/15.75 c INPROCESSING
15.61/15.75 c GARBAGE COLLECT
15.61/15.75 c rational objective 2
17.91/18.07 c #Conflicts: 47000 | #Constraints: 5745
17.91/18.07 c #Conflicts: 48000 | #Constraints: 6809
17.91/18.07 c #Conflicts: 49000 | #Constraints: 7857
17.91/18.07 c #Conflicts: 50000 | #Constraints: 8920
17.91/18.07 c #Conflicts: 51000 | #Constraints: 9965
17.91/18.07 c INPROCESSING
17.91/18.07 c GARBAGE COLLECT
17.91/18.07 c rational objective 2
20.29/20.43 c #Conflicts: 52000 | #Constraints: 5992
20.29/20.43 c #Conflicts: 53000 | #Constraints: 6992
20.29/20.43 c #Conflicts: 54000 | #Constraints: 8061
20.29/20.43 c #Conflicts: 55000 | #Constraints: 9112
20.29/20.43 c #Conflicts: 56000 | #Constraints: 10209
20.29/20.43 c INPROCESSING
20.29/20.43 c GARBAGE COLLECT
20.29/20.43 c rational objective 2
22.58/22.75 c #Conflicts: 57000 | #Constraints: 6113
22.58/22.75 c #Conflicts: 58000 | #Constraints: 7122
22.58/22.75 c #Conflicts: 59000 | #Constraints: 8126
22.58/22.75 c #Conflicts: 60000 | #Constraints: 9126
22.58/22.75 c #Conflicts: 61000 | #Constraints: 10126
22.58/22.75 c INPROCESSING
22.58/22.75 c GARBAGE COLLECT
22.58/22.75 c rational objective 2
25.57/25.79 c #Conflicts: 62000 | #Constraints: 6038
25.57/25.79 c #Conflicts: 63000 | #Constraints: 7245
25.57/25.79 c #Conflicts: 64000 | #Constraints: 8343
25.57/25.79 c #Conflicts: 65000 | #Constraints: 9486
25.57/25.79 c #Conflicts: 66000 | #Constraints: 10575
25.57/25.79 c INPROCESSING
25.57/25.79 c GARBAGE COLLECT
25.57/25.79 c rational objective 2
29.06/29.23 c #Conflicts: 67000 | #Constraints: 6036
29.06/29.23 c #Conflicts: 68000 | #Constraints: 7086
29.06/29.23 c #Conflicts: 69000 | #Constraints: 8086
29.06/29.23 c #Conflicts: 70000 | #Constraints: 9086
29.06/29.23 c #Conflicts: 71000 | #Constraints: 10086
29.06/29.23 c #Conflicts: 72000 | #Constraints: 11086
29.06/29.23 c INPROCESSING
29.06/29.23 c GARBAGE COLLECT
29.06/29.23 c rational objective 2
31.97/32.15 c #Conflicts: 73000 | #Constraints: 6480
31.97/32.15 c #Conflicts: 74000 | #Constraints: 7544
31.97/32.15 c #Conflicts: 75000 | #Constraints: 8617
31.97/32.15 c #Conflicts: 76000 | #Constraints: 9645
31.97/32.15 c #Conflicts: 77000 | #Constraints: 10654
31.97/32.15 c #Conflicts: 78000 | #Constraints: 11707
31.97/32.15 c INPROCESSING
31.97/32.15 c GARBAGE COLLECT
31.97/32.15 c rational objective 2
35.64/35.84 c #Conflicts: 79000 | #Constraints: 6964
35.64/35.84 c #Conflicts: 80000 | #Constraints: 8047
35.64/35.84 c #Conflicts: 81000 | #Constraints: 9087
35.64/35.84 c #Conflicts: 82000 | #Constraints: 10159
35.64/35.84 c #Conflicts: 83000 | #Constraints: 11251
35.64/35.84 c #Conflicts: 84000 | #Constraints: 12358
35.64/35.84 c INPROCESSING
35.64/35.84 c GARBAGE COLLECT
35.64/35.84 c rational objective 2
38.94/39.14 c #Conflicts: 85000 | #Constraints: 7278
38.94/39.14 c #Conflicts: 86000 | #Constraints: 8349
38.94/39.14 c #Conflicts: 87000 | #Constraints: 9434
38.94/39.14 c #Conflicts: 88000 | #Constraints: 10540
38.94/39.14 c #Conflicts: 89000 | #Constraints: 11616
38.94/39.14 c #Conflicts: 90000 | #Constraints: 12700
38.94/39.14 c INPROCESSING
38.94/39.14 c GARBAGE COLLECT
38.94/39.14 c rational objective 2
41.32/41.55 c #Conflicts: 91000 | #Constraints: 7328
41.32/41.55 c #Conflicts: 92000 | #Constraints: 8405
41.32/41.55 c #Conflicts: 93000 | #Constraints: 9507
41.32/41.55 c #Conflicts: 94000 | #Constraints: 10602
41.32/41.55 c #Conflicts: 95000 | #Constraints: 11669
41.32/41.55 c #Conflicts: 96000 | #Constraints: 12729
41.32/41.55 c INPROCESSING
41.32/41.55 c GARBAGE COLLECT
41.32/41.55 c rational objective 2
44.42/44.62 c #Conflicts: 97000 | #Constraints: 7119
44.42/44.62 c #Conflicts: 98000 | #Constraints: 8222
44.42/44.62 c #Conflicts: 99000 | #Constraints: 9322
44.42/44.62 c #Conflicts: 100000 | #Constraints: 10411
44.42/44.62 c #Conflicts: 101000 | #Constraints: 11475
44.42/44.62 c #Conflicts: 102000 | #Constraints: 12544
44.42/44.62 c #Conflicts: 103000 | #Constraints: 13608
44.42/44.62 c INPROCESSING
44.42/44.62 c GARBAGE COLLECT
44.42/44.62 c rational objective 2
47.70/47.95 c #Conflicts: 104000 | #Constraints: 7733
47.70/47.95 c #Conflicts: 105000 | #Constraints: 8733
47.70/47.95 c #Conflicts: 106000 | #Constraints: 9755
47.70/47.95 c #Conflicts: 107000 | #Constraints: 10855
47.70/47.95 c #Conflicts: 108000 | #Constraints: 11931
47.70/47.95 c #Conflicts: 109000 | #Constraints: 13066
47.70/47.95 c #Conflicts: 110000 | #Constraints: 14186
47.70/47.95 c INPROCESSING
47.70/47.95 c GARBAGE COLLECT
47.70/47.95 c rational objective 2
51.60/51.85 c #Conflicts: 111000 | #Constraints: 8182
51.60/51.85 c #Conflicts: 112000 | #Constraints: 9244
51.60/51.85 c #Conflicts: 113000 | #Constraints: 10329
51.60/51.85 c #Conflicts: 114000 | #Constraints: 11406
51.60/51.85 c #Conflicts: 115000 | #Constraints: 12470
51.60/51.85 c #Conflicts: 116000 | #Constraints: 13474
51.60/51.85 c #Conflicts: 117000 | #Constraints: 14505
51.60/51.85 c INPROCESSING
51.60/51.85 c GARBAGE COLLECT
51.60/51.85 c rational objective 2
55.89/56.12 c #Conflicts: 118000 | #Constraints: 8281
55.89/56.12 c #Conflicts: 119000 | #Constraints: 9420
55.89/56.12 c #Conflicts: 120000 | #Constraints: 10484
55.89/56.12 c #Conflicts: 121000 | #Constraints: 11576
55.89/56.12 c #Conflicts: 122000 | #Constraints: 12711
55.89/56.12 c #Conflicts: 123000 | #Constraints: 13836
55.89/56.12 c #Conflicts: 124000 | #Constraints: 14927
55.89/56.12 c INPROCESSING
55.89/56.12 c GARBAGE COLLECT
55.89/56.12 c rational objective 2
59.78/60.11 c #Conflicts: 125000 | #Constraints: 8381
59.78/60.11 c #Conflicts: 126000 | #Constraints: 9457
59.78/60.11 c #Conflicts: 127000 | #Constraints: 10599
59.78/60.11 c #Conflicts: 128000 | #Constraints: 11718
59.78/60.11 c #Conflicts: 129000 | #Constraints: 12840
59.78/60.11 c #Conflicts: 130000 | #Constraints: 13910
59.78/60.11 c #Conflicts: 131000 | #Constraints: 14982
59.78/60.11 c INPROCESSING
59.78/60.11 c GARBAGE COLLECT
59.78/60.11 c rational objective 2
63.87/64.19 c #Conflicts: 132000 | #Constraints: 8257
63.87/64.19 c #Conflicts: 133000 | #Constraints: 9341
63.87/64.19 c #Conflicts: 134000 | #Constraints: 10396
63.87/64.19 c #Conflicts: 135000 | #Constraints: 11478
63.87/64.19 c #Conflicts: 136000 | #Constraints: 12561
63.87/64.19 c #Conflicts: 137000 | #Constraints: 13629
63.87/64.19 c #Conflicts: 138000 | #Constraints: 14695
63.87/64.19 c #Conflicts: 139000 | #Constraints: 15754
63.87/64.19 c INPROCESSING
63.87/64.19 c GARBAGE COLLECT
63.87/64.19 c rational objective 2
70.63/70.98 c #Conflicts: 140000 | #Constraints: 9069
70.63/70.98 c #Conflicts: 141000 | #Constraints: 10489
70.63/70.98 c #Conflicts: 142000 | #Constraints: 11808
70.63/70.98 c #Conflicts: 143000 | #Constraints: 13536
70.63/70.98 c #Conflicts: 144000 | #Constraints: 15315
70.63/70.98 c #Conflicts: 145000 | #Constraints: 16992
70.63/70.98 c #Conflicts: 146000 | #Constraints: 18883
70.63/70.98 c #Conflicts: 147000 | #Constraints: 20618
70.63/70.98 c INPROCESSING
70.63/70.98 c GARBAGE COLLECT
70.63/70.98 c rational objective 2
77.82/78.16 c #Conflicts: 148000 | #Constraints: 11496
77.82/78.16 c #Conflicts: 149000 | #Constraints: 12572
77.82/78.16 c #Conflicts: 150000 | #Constraints: 13680
77.82/78.16 c #Conflicts: 151000 | #Constraints: 14801
77.82/78.16 c #Conflicts: 152000 | #Constraints: 15883
77.82/78.16 c #Conflicts: 153000 | #Constraints: 16963
77.82/78.16 c #Conflicts: 154000 | #Constraints: 18033
77.82/78.16 c #Conflicts: 155000 | #Constraints: 19089
77.82/78.16 c INPROCESSING
77.82/78.16 c GARBAGE COLLECT
77.82/78.16 c rational objective 2
83.29/83.66 c #Conflicts: 156000 | #Constraints: 10571
83.29/83.66 c #Conflicts: 157000 | #Constraints: 11641
83.29/83.66 c #Conflicts: 158000 | #Constraints: 12769
83.29/83.66 c #Conflicts: 159000 | #Constraints: 13859
83.29/83.66 c #Conflicts: 160000 | #Constraints: 14913
83.29/83.66 c #Conflicts: 161000 | #Constraints: 16015
83.29/83.66 c #Conflicts: 162000 | #Constraints: 17082
83.29/83.66 c #Conflicts: 163000 | #Constraints: 18180
83.29/83.66 c INPROCESSING
83.29/83.66 c GARBAGE COLLECT
83.29/83.66 c rational objective 2
88.38/88.79 c #Conflicts: 164000 | #Constraints: 10013
88.38/88.79 c #Conflicts: 165000 | #Constraints: 11013
88.38/88.79 c #Conflicts: 166000 | #Constraints: 12013
88.38/88.79 c #Conflicts: 167000 | #Constraints: 13013
88.38/88.79 c #Conflicts: 168000 | #Constraints: 14013
88.38/88.79 c #Conflicts: 169000 | #Constraints: 15013
88.38/88.79 c #Conflicts: 170000 | #Constraints: 16013
88.38/88.79 c #Conflicts: 171000 | #Constraints: 17013
88.38/88.79 c INPROCESSING
88.38/88.79 c GARBAGE COLLECT
88.38/88.79 c rational objective 2
94.96/95.38 c #Conflicts: 172000 | #Constraints: 9247
94.96/95.38 c #Conflicts: 173000 | #Constraints: 10340
94.96/95.38 c #Conflicts: 174000 | #Constraints: 11444
94.96/95.38 c #Conflicts: 175000 | #Constraints: 12551
94.96/95.38 c #Conflicts: 176000 | #Constraints: 13659
94.96/95.38 c #Conflicts: 177000 | #Constraints: 14757
94.96/95.38 c #Conflicts: 178000 | #Constraints: 15847
94.96/95.38 c #Conflicts: 179000 | #Constraints: 16957
94.96/95.38 c #Conflicts: 180000 | #Constraints: 18041
94.96/95.38 c INPROCESSING
94.96/95.38 c GARBAGE COLLECT
94.96/95.38 c rational objective 2
99.94/100.34 c #Conflicts: 181000 | #Constraints: 9956
99.94/100.34 c #Conflicts: 182000 | #Constraints: 11084
99.94/100.34 c #Conflicts: 183000 | #Constraints: 12172
99.94/100.34 c #Conflicts: 184000 | #Constraints: 13252
99.94/100.34 c #Conflicts: 185000 | #Constraints: 14347
99.94/100.34 c #Conflicts: 186000 | #Constraints: 15423
99.94/100.34 c #Conflicts: 187000 | #Constraints: 16548
99.94/100.34 c #Conflicts: 188000 | #Constraints: 17651
99.94/100.34 c #Conflicts: 189000 | #Constraints: 18759
99.94/100.34 c INPROCESSING
99.94/100.34 c GARBAGE COLLECT
99.94/100.34 c rational objective 2
106.22/106.67 c #Conflicts: 190000 | #Constraints: 10389
106.22/106.67 c #Conflicts: 191000 | #Constraints: 11389
106.22/106.67 c #Conflicts: 192000 | #Constraints: 12389
106.22/106.67 c #Conflicts: 193000 | #Constraints: 13389
106.22/106.67 c #Conflicts: 194000 | #Constraints: 14389
106.22/106.67 c #Conflicts: 195000 | #Constraints: 15389
106.22/106.67 c #Conflicts: 196000 | #Constraints: 16389
106.22/106.67 c #Conflicts: 197000 | #Constraints: 17389
106.22/106.67 c #Conflicts: 198000 | #Constraints: 18389
106.22/106.67 c INPROCESSING
106.22/106.67 c GARBAGE COLLECT
106.22/106.67 c rational objective 2
116.08/116.51 c #Conflicts: 199000 | #Constraints: 10216
116.08/116.51 c #Conflicts: 200000 | #Constraints: 11216
116.08/116.51 c #Conflicts: 201000 | #Constraints: 12216
116.08/116.51 c #Conflicts: 202000 | #Constraints: 13216
116.08/116.51 c #Conflicts: 203000 | #Constraints: 14216
116.08/116.51 c #Conflicts: 204000 | #Constraints: 15216
116.08/116.51 c #Conflicts: 205000 | #Constraints: 16216
116.08/116.51 c #Conflicts: 206000 | #Constraints: 17240
116.08/116.51 c #Conflicts: 207000 | #Constraints: 18264
116.08/116.51 c INPROCESSING
116.08/116.51 c GARBAGE COLLECT
116.08/116.51 c rational objective 2
123.26/123.77 c #Conflicts: 208000 | #Constraints: 10039
123.26/123.77 c #Conflicts: 209000 | #Constraints: 11039
123.26/123.77 c #Conflicts: 210000 | #Constraints: 12039
123.26/123.77 c #Conflicts: 211000 | #Constraints: 13039
123.26/123.77 c #Conflicts: 212000 | #Constraints: 14039
123.26/123.77 c #Conflicts: 213000 | #Constraints: 15039
123.26/123.77 c #Conflicts: 214000 | #Constraints: 16039
123.26/123.77 c #Conflicts: 215000 | #Constraints: 17039
123.26/123.77 c #Conflicts: 216000 | #Constraints: 18039
123.26/123.77 c INPROCESSING
123.26/123.77 c GARBAGE COLLECT
123.26/123.77 c rational objective 2
139.40/139.91 c #Conflicts: 217000 | #Constraints: 9791
139.40/139.91 c #Conflicts: 218000 | #Constraints: 11217
139.40/139.91 c #Conflicts: 219000 | #Constraints: 13162
139.40/139.91 c #Conflicts: 220000 | #Constraints: 14755
139.40/139.91 c #Conflicts: 221000 | #Constraints: 16431
139.40/139.91 c #Conflicts: 222000 | #Constraints: 18402
139.40/139.91 c #Conflicts: 223000 | #Constraints: 20013
139.40/139.91 c #Conflicts: 224000 | #Constraints: 21792
139.40/139.91 c #Conflicts: 225000 | #Constraints: 23507
139.40/139.91 c #Conflicts: 226000 | #Constraints: 25380
139.40/139.91 c INPROCESSING
139.40/139.91 c GARBAGE COLLECT
139.40/139.91 c rational objective 2
152.95/153.54 c #Conflicts: 227000 | #Constraints: 14474
152.95/153.54 c #Conflicts: 228000 | #Constraints: 16011
152.95/153.54 c #Conflicts: 229000 | #Constraints: 17115
152.95/153.54 c #Conflicts: 230000 | #Constraints: 18242
152.95/153.54 c #Conflicts: 231000 | #Constraints: 19345
152.95/153.54 c #Conflicts: 232000 | #Constraints: 20475
152.95/153.54 c #Conflicts: 233000 | #Constraints: 21627
152.95/153.54 c #Conflicts: 234000 | #Constraints: 22735
152.95/153.54 c #Conflicts: 235000 | #Constraints: 23884
152.95/153.54 c #Conflicts: 236000 | #Constraints: 24957
152.95/153.54 c INPROCESSING
152.95/153.54 c GARBAGE COLLECT
152.95/153.54 c rational objective 2
165.20/165.82 c #Conflicts: 237000 | #Constraints: 13486
165.20/165.82 c #Conflicts: 238000 | #Constraints: 14486
165.20/165.82 c #Conflicts: 239000 | #Constraints: 15486
165.20/165.82 c #Conflicts: 240000 | #Constraints: 16486
165.20/165.82 c #Conflicts: 241000 | #Constraints: 17552
165.20/165.82 c #Conflicts: 242000 | #Constraints: 18655
165.20/165.82 c #Conflicts: 243000 | #Constraints: 19782
165.20/165.82 c #Conflicts: 244000 | #Constraints: 20875
165.20/165.82 c #Conflicts: 245000 | #Constraints: 21954
165.20/165.82 c #Conflicts: 246000 | #Constraints: 23018
165.20/165.82 c INPROCESSING
165.20/165.82 c GARBAGE COLLECT
165.20/165.82 c rational objective 2
174.68/175.31 c #Conflicts: 247000 | #Constraints: 12600
174.68/175.31 c #Conflicts: 248000 | #Constraints: 13725
174.68/175.31 c #Conflicts: 249000 | #Constraints: 14880
174.68/175.31 c #Conflicts: 250000 | #Constraints: 16038
174.68/175.31 c #Conflicts: 251000 | #Constraints: 17131
174.68/175.31 c #Conflicts: 252000 | #Constraints: 18286
174.68/175.31 c #Conflicts: 253000 | #Constraints: 19383
174.68/175.31 c #Conflicts: 254000 | #Constraints: 20484
174.68/175.31 c #Conflicts: 255000 | #Constraints: 21620
174.68/175.31 c #Conflicts: 256000 | #Constraints: 22762
174.68/175.31 c INPROCESSING
174.68/175.31 c GARBAGE COLLECT
174.68/175.31 c rational objective 2.01894
184.54/185.26 c #Conflicts: 257000 | #Constraints: 12337
184.54/185.26 c #Conflicts: 258000 | #Constraints: 13372
184.54/185.26 c #Conflicts: 259000 | #Constraints: 14395
184.54/185.26 c #Conflicts: 260000 | #Constraints: 15428
184.54/185.26 c #Conflicts: 261000 | #Constraints: 16487
184.54/185.26 c #Conflicts: 262000 | #Constraints: 17519
184.54/185.26 c #Conflicts: 263000 | #Constraints: 18546
184.54/185.26 c #Conflicts: 264000 | #Constraints: 19643
184.54/185.26 c #Conflicts: 265000 | #Constraints: 20749
184.54/185.26 c #Conflicts: 266000 | #Constraints: 21919
184.54/185.26 c INPROCESSING
184.54/185.26 c GARBAGE COLLECT
184.54/185.26 c rational objective 2.08144
196.00/196.77 c #Conflicts: 267000 | #Constraints: 11716
196.00/196.77 c #Conflicts: 268000 | #Constraints: 12733
196.00/196.77 c #Conflicts: 269000 | #Constraints: 13739
196.00/196.77 c #Conflicts: 270000 | #Constraints: 14753
196.00/196.77 c #Conflicts: 271000 | #Constraints: 15755
196.00/196.77 c #Conflicts: 272000 | #Constraints: 16757
196.00/196.77 c #Conflicts: 273000 | #Constraints: 17763
196.00/196.77 c #Conflicts: 274000 | #Constraints: 18777
196.00/196.77 c #Conflicts: 275000 | #Constraints: 19796
196.00/196.77 c #Conflicts: 276000 | #Constraints: 20822
196.00/196.77 c #Conflicts: 277000 | #Constraints: 21840
196.00/196.77 c INPROCESSING
196.00/196.77 c GARBAGE COLLECT
196.00/196.77 c rational objective 2.37458
207.17/207.96 c #Conflicts: 278000 | #Constraints: 11835
207.17/207.96 c #Conflicts: 279000 | #Constraints: 12839
207.17/207.96 c #Conflicts: 280000 | #Constraints: 13864
207.17/207.96 c #Conflicts: 281000 | #Constraints: 14864
207.17/207.96 c #Conflicts: 282000 | #Constraints: 15869
207.17/207.96 c #Conflicts: 283000 | #Constraints: 16869
207.17/207.96 c #Conflicts: 284000 | #Constraints: 17873
207.17/207.96 c #Conflicts: 285000 | #Constraints: 18878
207.17/207.96 c #Conflicts: 286000 | #Constraints: 19900
207.17/207.96 c #Conflicts: 287000 | #Constraints: 20918
207.17/207.96 c #Conflicts: 288000 | #Constraints: 21925
207.17/207.96 c INPROCESSING
207.17/207.96 c GARBAGE COLLECT
207.17/207.96 c rational objective 2.38068
218.44/219.22 c #Conflicts: 289000 | #Constraints: 11982
218.44/219.22 c #Conflicts: 290000 | #Constraints: 12984
218.44/219.22 c #Conflicts: 291000 | #Constraints: 13984
218.44/219.22 c #Conflicts: 292000 | #Constraints: 14996
218.44/219.22 c #Conflicts: 293000 | #Constraints: 16003
218.44/219.22 c #Conflicts: 294000 | #Constraints: 17007
218.44/219.22 c #Conflicts: 295000 | #Constraints: 18007
218.44/219.22 c #Conflicts: 296000 | #Constraints: 19014
218.44/219.22 c #Conflicts: 297000 | #Constraints: 20014
218.44/219.22 c #Conflicts: 298000 | #Constraints: 21014
218.44/219.22 c #Conflicts: 299000 | #Constraints: 22014
218.44/219.22 c INPROCESSING
218.44/219.22 c GARBAGE COLLECT
218.44/219.22 c rational objective 2.00002
228.80/229.62 c #Conflicts: 300000 | #Constraints: 12037
228.80/229.62 c #Conflicts: 301000 | #Constraints: 13037
228.80/229.62 c #Conflicts: 302000 | #Constraints: 14037
228.80/229.62 c #Conflicts: 303000 | #Constraints: 15037
228.80/229.62 c #Conflicts: 304000 | #Constraints: 16037
228.80/229.62 c #Conflicts: 305000 | #Constraints: 17037
228.80/229.62 c #Conflicts: 306000 | #Constraints: 18037
228.80/229.62 c #Conflicts: 307000 | #Constraints: 19037
228.80/229.62 c #Conflicts: 308000 | #Constraints: 20037
228.80/229.62 c #Conflicts: 309000 | #Constraints: 21037
228.80/229.62 c #Conflicts: 310000 | #Constraints: 22037
228.80/229.62 c INPROCESSING
228.80/229.62 c GARBAGE COLLECT
228.80/229.62 c rational objective 2.00002
238.07/238.92 c #Conflicts: 311000 | #Constraints: 11942
238.07/238.92 c #Conflicts: 312000 | #Constraints: 12946
238.07/238.92 c #Conflicts: 313000 | #Constraints: 13949
238.07/238.92 c #Conflicts: 314000 | #Constraints: 15001
238.07/238.92 c #Conflicts: 315000 | #Constraints: 16004
238.07/238.92 c #Conflicts: 316000 | #Constraints: 17021
238.07/238.92 c #Conflicts: 317000 | #Constraints: 18048
238.07/238.92 c #Conflicts: 318000 | #Constraints: 19059
238.07/238.92 c #Conflicts: 319000 | #Constraints: 20065
238.07/238.92 c #Conflicts: 320000 | #Constraints: 21082
238.07/238.92 c #Conflicts: 321000 | #Constraints: 22118
238.07/238.92 c INPROCESSING
238.07/238.92 c GARBAGE COLLECT
238.07/238.92 c rational objective 2.00002
253.41/254.36 c #Conflicts: 322000 | #Constraints: 11768
253.41/254.36 c #Conflicts: 323000 | #Constraints: 12785
253.41/254.36 c #Conflicts: 324000 | #Constraints: 13789
253.41/254.36 c #Conflicts: 325000 | #Constraints: 14796
253.41/254.36 c #Conflicts: 326000 | #Constraints: 15802
253.41/254.36 c #Conflicts: 327000 | #Constraints: 16803
253.41/254.36 c #Conflicts: 328000 | #Constraints: 17811
253.41/254.36 c #Conflicts: 329000 | #Constraints: 18834
253.41/254.36 c #Conflicts: 330000 | #Constraints: 19834
253.41/254.36 c #Conflicts: 331000 | #Constraints: 20847
253.41/254.36 c #Conflicts: 332000 | #Constraints: 21856
253.41/254.36 c #Conflicts: 333000 | #Constraints: 22856
253.41/254.36 c INPROCESSING
253.41/254.36 c GARBAGE COLLECT
253.41/254.36 c rational objective 2.00002
266.97/267.96 c #Conflicts: 334000 | #Constraints: 12345
266.97/267.96 c #Conflicts: 335000 | #Constraints: 13357
266.97/267.96 c #Conflicts: 336000 | #Constraints: 14365
266.97/267.96 c #Conflicts: 337000 | #Constraints: 15369
266.97/267.96 c #Conflicts: 338000 | #Constraints: 16378
266.97/267.96 c #Conflicts: 339000 | #Constraints: 17379
266.97/267.96 c #Conflicts: 340000 | #Constraints: 18379
266.97/267.96 c #Conflicts: 341000 | #Constraints: 19379
266.97/267.96 c #Conflicts: 342000 | #Constraints: 20379
266.97/267.96 c #Conflicts: 343000 | #Constraints: 21379
266.97/267.96 c #Conflicts: 344000 | #Constraints: 22379
266.97/267.96 c #Conflicts: 345000 | #Constraints: 23379
266.97/267.96 c INPROCESSING
266.97/267.96 c GARBAGE COLLECT
266.97/267.96 c rational objective 2.00002
276.44/277.43 c #Conflicts: 346000 | #Constraints: 12710
276.44/277.43 c #Conflicts: 347000 | #Constraints: 13718
276.44/277.43 c #Conflicts: 348000 | #Constraints: 14736
276.44/277.43 c #Conflicts: 349000 | #Constraints: 15736
276.44/277.43 c #Conflicts: 350000 | #Constraints: 16736
276.44/277.43 c #Conflicts: 351000 | #Constraints: 17736
276.44/277.43 c #Conflicts: 352000 | #Constraints: 18736
276.44/277.43 c #Conflicts: 353000 | #Constraints: 19736
276.44/277.43 c #Conflicts: 354000 | #Constraints: 20736
276.44/277.43 c #Conflicts: 355000 | #Constraints: 21736
276.44/277.43 c #Conflicts: 356000 | #Constraints: 22736
276.44/277.43 c #Conflicts: 357000 | #Constraints: 23736
276.44/277.43 c INPROCESSING
276.44/277.43 c GARBAGE COLLECT
276.44/277.43 c rational objective 2.00002
289.50/290.57 c #Conflicts: 358000 | #Constraints: 12875
289.50/290.57 c #Conflicts: 359000 | #Constraints: 13875
289.50/290.57 c #Conflicts: 360000 | #Constraints: 14875
289.50/290.57 c #Conflicts: 361000 | #Constraints: 15875
289.50/290.57 c #Conflicts: 362000 | #Constraints: 16876
289.50/290.57 c #Conflicts: 363000 | #Constraints: 17895
289.50/290.57 c #Conflicts: 364000 | #Constraints: 18896
289.50/290.57 c #Conflicts: 365000 | #Constraints: 19896
289.50/290.57 c #Conflicts: 366000 | #Constraints: 20907
289.50/290.57 c #Conflicts: 367000 | #Constraints: 21913
289.50/290.57 c #Conflicts: 368000 | #Constraints: 22915
289.50/290.57 c #Conflicts: 369000 | #Constraints: 23926
289.50/290.57 c INPROCESSING
289.50/290.57 c GARBAGE COLLECT
289.50/290.57 c rational objective 2.02983
302.85/303.93 c #Conflicts: 370000 | #Constraints: 12878
302.85/303.93 c #Conflicts: 371000 | #Constraints: 13886
302.85/303.93 c #Conflicts: 372000 | #Constraints: 14899
302.85/303.93 c #Conflicts: 373000 | #Constraints: 15910
302.85/303.93 c #Conflicts: 374000 | #Constraints: 16916
302.85/303.93 c #Conflicts: 375000 | #Constraints: 17923
302.85/303.93 c #Conflicts: 376000 | #Constraints: 18923
302.85/303.93 c #Conflicts: 377000 | #Constraints: 19923
302.85/303.93 c #Conflicts: 378000 | #Constraints: 20923
302.85/303.93 c #Conflicts: 379000 | #Constraints: 21923
302.85/303.93 c #Conflicts: 380000 | #Constraints: 22924
302.85/303.93 c #Conflicts: 381000 | #Constraints: 23927
302.85/303.93 c INPROCESSING
302.85/303.93 c GARBAGE COLLECT
302.85/303.93 c rational objective 2.00002
316.41/317.59 c #Conflicts: 382000 | #Constraints: 12677
316.41/317.59 c #Conflicts: 383000 | #Constraints: 13677
316.41/317.59 c #Conflicts: 384000 | #Constraints: 14677
316.41/317.59 c #Conflicts: 385000 | #Constraints: 15677
316.41/317.59 c #Conflicts: 386000 | #Constraints: 16687
316.41/317.59 c #Conflicts: 387000 | #Constraints: 17694
316.41/317.59 c #Conflicts: 388000 | #Constraints: 18694
316.41/317.59 c #Conflicts: 389000 | #Constraints: 19694
316.41/317.59 c #Conflicts: 390000 | #Constraints: 20694
316.41/317.59 c #Conflicts: 391000 | #Constraints: 21694
316.41/317.59 c #Conflicts: 392000 | #Constraints: 22694
316.41/317.59 c #Conflicts: 393000 | #Constraints: 23694
316.41/317.59 c #Conflicts: 394000 | #Constraints: 24694
316.41/317.59 c INPROCESSING
316.41/317.59 c GARBAGE COLLECT
316.41/317.59 c rational objective 2.00002
330.36/331.56 c #Conflicts: 395000 | #Constraints: 13261
330.36/331.56 c #Conflicts: 396000 | #Constraints: 14268
330.36/331.56 c #Conflicts: 397000 | #Constraints: 15283
330.36/331.56 c #Conflicts: 398000 | #Constraints: 16284
330.36/331.56 c #Conflicts: 399000 | #Constraints: 17289
330.36/331.56 c #Conflicts: 400000 | #Constraints: 18290
330.36/331.56 c #Conflicts: 401000 | #Constraints: 19300
330.36/331.56 c #Conflicts: 402000 | #Constraints: 20310
330.36/331.56 c #Conflicts: 403000 | #Constraints: 21318
330.36/331.56 c #Conflicts: 404000 | #Constraints: 22318
330.36/331.56 c #Conflicts: 405000 | #Constraints: 23318
330.36/331.56 c #Conflicts: 406000 | #Constraints: 24325
330.36/331.56 c #Conflicts: 407000 | #Constraints: 25325
330.36/331.56 c INPROCESSING
330.36/331.56 c GARBAGE COLLECT
330.36/331.56 c rational objective 2.00005
344.01/345.23 c #Conflicts: 408000 | #Constraints: 13678
344.01/345.23 c #Conflicts: 409000 | #Constraints: 14679
344.01/345.23 c #Conflicts: 410000 | #Constraints: 15816
344.01/345.23 c #Conflicts: 411000 | #Constraints: 16887
344.01/345.23 c #Conflicts: 412000 | #Constraints: 18112
344.01/345.23 c #Conflicts: 413000 | #Constraints: 19656
344.01/345.23 c #Conflicts: 414000 | #Constraints: 21005
344.01/345.23 c #Conflicts: 415000 | #Constraints: 22332
344.01/345.23 c #Conflicts: 416000 | #Constraints: 23604
344.01/345.23 c #Conflicts: 417000 | #Constraints: 24852
344.01/345.23 c #Conflicts: 418000 | #Constraints: 26456
344.01/345.23 c #Conflicts: 419000 | #Constraints: 27835
344.01/345.23 c #Conflicts: 420000 | #Constraints: 29067
344.01/345.23 c INPROCESSING
344.01/345.23 c GARBAGE COLLECT
344.01/345.23 c rational objective 2.00006
357.78/359.10 c #Conflicts: 421000 | #Constraints: 15563
357.78/359.10 c #Conflicts: 422000 | #Constraints: 16655
357.78/359.10 c #Conflicts: 423000 | #Constraints: 17691
357.78/359.10 c #Conflicts: 424000 | #Constraints: 18811
357.78/359.10 c #Conflicts: 425000 | #Constraints: 20354
357.78/359.10 c #Conflicts: 426000 | #Constraints: 21944
357.78/359.10 c #Conflicts: 427000 | #Constraints: 23402
357.78/359.10 c #Conflicts: 428000 | #Constraints: 24970
357.78/359.10 c #Conflicts: 429000 | #Constraints: 26415
357.78/359.10 c #Conflicts: 430000 | #Constraints: 27456
357.78/359.10 c #Conflicts: 431000 | #Constraints: 28585
357.78/359.10 c #Conflicts: 432000 | #Constraints: 29585
357.78/359.10 c #Conflicts: 433000 | #Constraints: 30585
357.78/359.10 c INPROCESSING
357.78/359.10 c GARBAGE COLLECT
357.78/359.10 c rational objective 2.00005
372.82/374.15 c #Conflicts: 434000 | #Constraints: 16206
372.82/374.15 c #Conflicts: 435000 | #Constraints: 17206
372.82/374.15 c #Conflicts: 436000 | #Constraints: 18209
372.82/374.15 c #Conflicts: 437000 | #Constraints: 19215
372.82/374.15 c #Conflicts: 438000 | #Constraints: 20252
372.82/374.15 c #Conflicts: 439000 | #Constraints: 21252
372.82/374.15 c #Conflicts: 440000 | #Constraints: 22267
372.82/374.15 c #Conflicts: 441000 | #Constraints: 23298
372.82/374.15 c #Conflicts: 442000 | #Constraints: 24299
372.82/374.15 c #Conflicts: 443000 | #Constraints: 25317
372.82/374.15 c #Conflicts: 444000 | #Constraints: 26328
372.82/374.15 c #Conflicts: 445000 | #Constraints: 27328
372.82/374.15 c #Conflicts: 446000 | #Constraints: 28333
372.82/374.15 c INPROCESSING
372.82/374.15 c GARBAGE COLLECT
372.82/374.15 c rational objective 2.00007
391.94/393.31 c #Conflicts: 447000 | #Constraints: 14881
391.94/393.31 c #Conflicts: 448000 | #Constraints: 15897
391.94/393.31 c #Conflicts: 449000 | #Constraints: 16905
391.94/393.31 c #Conflicts: 450000 | #Constraints: 17905
391.94/393.31 c #Conflicts: 451000 | #Constraints: 18908
391.94/393.31 c #Conflicts: 452000 | #Constraints: 19935
391.94/393.31 c #Conflicts: 453000 | #Constraints: 20954
391.94/393.31 c #Conflicts: 454000 | #Constraints: 21974
391.94/393.31 c #Conflicts: 455000 | #Constraints: 22985
391.94/393.31 c #Conflicts: 456000 | #Constraints: 23985
391.94/393.31 c #Conflicts: 457000 | #Constraints: 25002
391.94/393.31 c #Conflicts: 458000 | #Constraints: 26002
391.94/393.31 c #Conflicts: 459000 | #Constraints: 27004
391.94/393.31 c #Conflicts: 460000 | #Constraints: 28004
391.94/393.31 c INPROCESSING
391.94/393.31 c GARBAGE COLLECT
391.94/393.31 c rational objective 2.00003
404.19/405.60 c #Conflicts: 461000 | #Constraints: 12756
404.19/405.60 c #Conflicts: 462000 | #Constraints: 13792
404.19/405.60 c #Conflicts: 463000 | #Constraints: 14834
404.19/405.60 c #Conflicts: 464000 | #Constraints: 15857
404.19/405.60 c #Conflicts: 465000 | #Constraints: 16857
404.19/405.60 c #Conflicts: 466000 | #Constraints: 17908
404.19/405.60 c #Conflicts: 467000 | #Constraints: 18954
404.19/405.60 c #Conflicts: 468000 | #Constraints: 19970
404.19/405.60 c #Conflicts: 469000 | #Constraints: 20970
404.19/405.60 c #Conflicts: 470000 | #Constraints: 21970
404.19/405.60 c #Conflicts: 471000 | #Constraints: 22970
404.19/405.60 c #Conflicts: 472000 | #Constraints: 24002
404.19/405.60 c #Conflicts: 473000 | #Constraints: 25052
404.19/405.60 c #Conflicts: 474000 | #Constraints: 26105
404.19/405.60 c INPROCESSING
404.19/405.60 c GARBAGE COLLECT
404.19/405.60 c rational objective 2.00003
418.14/419.62 c #Conflicts: 475000 | #Constraints: 14082
418.14/419.62 c #Conflicts: 476000 | #Constraints: 15082
418.14/419.62 c #Conflicts: 477000 | #Constraints: 16131
418.14/419.62 c #Conflicts: 478000 | #Constraints: 17153
418.14/419.62 c #Conflicts: 479000 | #Constraints: 18192
418.14/419.62 c #Conflicts: 480000 | #Constraints: 19194
418.14/419.62 c #Conflicts: 481000 | #Constraints: 20194
418.14/419.62 c #Conflicts: 482000 | #Constraints: 21194
418.14/419.62 c #Conflicts: 483000 | #Constraints: 22194
418.14/419.62 c #Conflicts: 484000 | #Constraints: 23194
418.14/419.62 c #Conflicts: 485000 | #Constraints: 24211
418.14/419.62 c #Conflicts: 486000 | #Constraints: 25248
418.14/419.62 c #Conflicts: 487000 | #Constraints: 26295
418.14/419.62 c #Conflicts: 488000 | #Constraints: 27329
418.14/419.62 c INPROCESSING
418.14/419.62 c GARBAGE COLLECT
418.14/419.62 c rational objective 2.60661
469.64/471.31 c #Conflicts: 489000 | #Constraints: 14709
469.64/471.31 c #Conflicts: 490000 | #Constraints: 15720
469.64/471.31 c #Conflicts: 491000 | #Constraints: 16720
469.64/471.31 c #Conflicts: 492000 | #Constraints: 17737
469.64/471.31 c #Conflicts: 493000 | #Constraints: 19362
469.64/471.31 c #Conflicts: 494000 | #Constraints: 20810
469.64/471.31 c #Conflicts: 495000 | #Constraints: 21940
469.64/471.31 c #Conflicts: 496000 | #Constraints: 22948
469.64/471.31 c #Conflicts: 497000 | #Constraints: 23948
469.64/471.31 c #Conflicts: 498000 | #Constraints: 24959
469.64/471.31 c #Conflicts: 499000 | #Constraints: 26252
469.64/471.31 c #Conflicts: 500000 | #Constraints: 27399
469.64/471.31 c #Conflicts: 501000 | #Constraints: 28458
469.64/471.31 c #Conflicts: 502000 | #Constraints: 29541
469.64/471.31 c INPROCESSING
469.64/471.31 c GARBAGE COLLECT
469.64/471.31 c #Conflicts: 503000 | #Constraints: 15685
469.64/471.31 c #Conflicts: 504000 | #Constraints: 16685
469.64/471.31 c #Conflicts: 505000 | #Constraints: 17704
469.64/471.31 c #Conflicts: 506000 | #Constraints: 18713
469.64/471.31 c #Conflicts: 507000 | #Constraints: 19715
469.64/471.31 c #Conflicts: 508000 | #Constraints: 20715
469.64/471.31 c #Conflicts: 509000 | #Constraints: 21715
469.64/471.31 c #Conflicts: 510000 | #Constraints: 22747
469.64/471.31 c #Conflicts: 511000 | #Constraints: 23747
469.64/471.31 c #Conflicts: 512000 | #Constraints: 24748
469.64/471.31 c #Conflicts: 513000 | #Constraints: 26080
469.64/471.31 c #Conflicts: 514000 | #Constraints: 27301
469.64/471.31 c #Conflicts: 515000 | #Constraints: 28418
469.64/471.31 c #Conflicts: 516000 | #Constraints: 29490
469.64/471.31 c INPROCESSING
469.64/471.31 c GARBAGE COLLECT
469.64/471.31 c rational objective 2.69395
490.56/492.31 c #Conflicts: 517000 | #Constraints: 15461
490.56/492.31 c #Conflicts: 518000 | #Constraints: 16506
490.56/492.31 c #Conflicts: 519000 | #Constraints: 17603
490.56/492.31 c #Conflicts: 520000 | #Constraints: 18637
490.56/492.31 c #Conflicts: 521000 | #Constraints: 19638
490.56/492.31 c #Conflicts: 522000 | #Constraints: 20689
490.56/492.31 c #Conflicts: 523000 | #Constraints: 21751
490.56/492.31 c #Conflicts: 524000 | #Constraints: 22807
490.56/492.31 c #Conflicts: 525000 | #Constraints: 23840
490.56/492.31 c #Conflicts: 526000 | #Constraints: 24951
490.56/492.31 c #Conflicts: 527000 | #Constraints: 26013
490.56/492.31 c #Conflicts: 528000 | #Constraints: 27061
490.56/492.31 c #Conflicts: 529000 | #Constraints: 28114
490.56/492.31 c #Conflicts: 530000 | #Constraints: 29154
490.56/492.31 c #Conflicts: 531000 | #Constraints: 30195
490.56/492.31 c INPROCESSING
490.56/492.31 c GARBAGE COLLECT
490.56/492.31 c rational objective 2.70963
546.24/548.26 c #Conflicts: 532000 | #Constraints: 16009
546.24/548.26 c #Conflicts: 533000 | #Constraints: 17015
546.24/548.26 c #Conflicts: 534000 | #Constraints: 18015
546.24/548.26 c #Conflicts: 535000 | #Constraints: 19018
546.24/548.26 c #Conflicts: 536000 | #Constraints: 20036
546.24/548.26 c #Conflicts: 537000 | #Constraints: 21038
546.24/548.26 c #Conflicts: 538000 | #Constraints: 22038
546.24/548.26 c #Conflicts: 539000 | #Constraints: 23045
546.24/548.26 c #Conflicts: 540000 | #Constraints: 24071
546.24/548.26 c #Conflicts: 541000 | #Constraints: 25083
546.24/548.26 c #Conflicts: 542000 | #Constraints: 26083
546.24/548.26 c #Conflicts: 543000 | #Constraints: 27083
546.24/548.26 c #Conflicts: 544000 | #Constraints: 28083
546.24/548.26 c #Conflicts: 545000 | #Constraints: 29083
546.24/548.26 c #Conflicts: 546000 | #Constraints: 30083
546.24/548.26 c INPROCESSING
546.24/548.26 c GARBAGE COLLECT
546.24/548.26 c #Conflicts: 547000 | #Constraints: 16049
546.24/548.26 c #Conflicts: 548000 | #Constraints: 17051
546.24/548.26 c #Conflicts: 549000 | #Constraints: 18051
546.24/548.26 c #Conflicts: 550000 | #Constraints: 19051
546.24/548.26 c #Conflicts: 551000 | #Constraints: 20051
546.24/548.26 c #Conflicts: 552000 | #Constraints: 21051
546.24/548.26 c #Conflicts: 553000 | #Constraints: 22051
546.24/548.26 c #Conflicts: 554000 | #Constraints: 23051
546.24/548.26 c #Conflicts: 555000 | #Constraints: 24051
546.24/548.26 c #Conflicts: 556000 | #Constraints: 25051
546.24/548.26 c #Conflicts: 557000 | #Constraints: 26051
546.24/548.26 c #Conflicts: 558000 | #Constraints: 27052
546.24/548.26 c #Conflicts: 559000 | #Constraints: 28061
546.24/548.26 c #Conflicts: 560000 | #Constraints: 29065
546.24/548.26 c #Conflicts: 561000 | #Constraints: 30074
546.24/548.26 c INPROCESSING
546.24/548.26 c GARBAGE COLLECT
546.24/548.26 c rational objective 2.71641
580.70/582.83 c #Conflicts: 562000 | #Constraints: 16051
580.70/582.83 c #Conflicts: 563000 | #Constraints: 17054
580.70/582.83 c #Conflicts: 564000 | #Constraints: 18060
580.70/582.83 c #Conflicts: 565000 | #Constraints: 19069
580.70/582.83 c #Conflicts: 566000 | #Constraints: 20084
580.70/582.83 c #Conflicts: 567000 | #Constraints: 21090
580.70/582.83 c #Conflicts: 568000 | #Constraints: 22090
580.70/582.83 c #Conflicts: 569000 | #Constraints: 23090
580.70/582.83 c #Conflicts: 570000 | #Constraints: 24097
580.70/582.83 c #Conflicts: 571000 | #Constraints: 25108
580.70/582.83 c #Conflicts: 572000 | #Constraints: 26109
580.70/582.83 c #Conflicts: 573000 | #Constraints: 27109
580.70/582.83 c #Conflicts: 574000 | #Constraints: 28111
580.70/582.83 c #Conflicts: 575000 | #Constraints: 29111
580.70/582.83 c #Conflicts: 576000 | #Constraints: 30111
580.70/582.83 c INPROCESSING
580.70/582.83 c GARBAGE COLLECT
580.70/582.83 c rational objective 2.0003
616.25/618.53 c #Conflicts: 577000 | #Constraints: 15965
616.25/618.53 c #Conflicts: 578000 | #Constraints: 17010
616.25/618.53 c #Conflicts: 579000 | #Constraints: 18013
616.25/618.53 c #Conflicts: 580000 | #Constraints: 19013
616.25/618.53 c #Conflicts: 581000 | #Constraints: 20013
616.25/618.53 c #Conflicts: 582000 | #Constraints: 21013
616.25/618.53 c #Conflicts: 583000 | #Constraints: 22013
616.25/618.53 c #Conflicts: 584000 | #Constraints: 23013
616.25/618.53 c #Conflicts: 585000 | #Constraints: 24013
616.25/618.53 c #Conflicts: 586000 | #Constraints: 25015
616.25/618.53 c #Conflicts: 587000 | #Constraints: 26022
616.25/618.53 c #Conflicts: 588000 | #Constraints: 27023
616.25/618.53 c #Conflicts: 589000 | #Constraints: 28028
616.25/618.53 c #Conflicts: 590000 | #Constraints: 29035
616.25/618.53 c #Conflicts: 591000 | #Constraints: 30035
616.25/618.53 c INPROCESSING
616.25/618.53 c GARBAGE COLLECT
616.25/618.53 c rational objective 2.71595
642.36/644.75 c #Conflicts: 592000 | #Constraints: 15731
642.36/644.75 c #Conflicts: 593000 | #Constraints: 16733
642.36/644.75 c #Conflicts: 594000 | #Constraints: 17735
642.36/644.75 c #Conflicts: 595000 | #Constraints: 18743
642.36/644.75 c #Conflicts: 596000 | #Constraints: 19743
642.36/644.75 c #Conflicts: 597000 | #Constraints: 20743
642.36/644.75 c #Conflicts: 598000 | #Constraints: 21767
642.36/644.75 c #Conflicts: 599000 | #Constraints: 22767
642.36/644.75 c #Conflicts: 600000 | #Constraints: 23788
642.36/644.75 c #Conflicts: 601000 | #Constraints: 24822
642.36/644.75 c #Conflicts: 602000 | #Constraints: 25840
642.36/644.75 c #Conflicts: 603000 | #Constraints: 26881
642.36/644.75 c #Conflicts: 604000 | #Constraints: 27882
642.36/644.75 c #Conflicts: 605000 | #Constraints: 28885
642.36/644.75 c #Conflicts: 606000 | #Constraints: 29923
642.36/644.75 c #Conflicts: 607000 | #Constraints: 30957
642.36/644.75 c INPROCESSING
642.36/644.75 c GARBAGE COLLECT
642.36/644.75 c rational objective 2.00003
682.09/684.63 c #Conflicts: 608000 | #Constraints: 16420
682.09/684.63 c #Conflicts: 609000 | #Constraints: 17466
682.09/684.63 c #Conflicts: 610000 | #Constraints: 18481
682.09/684.63 c #Conflicts: 611000 | #Constraints: 19487
682.09/684.63 c #Conflicts: 612000 | #Constraints: 20487
682.09/684.63 c #Conflicts: 613000 | #Constraints: 21514
682.09/684.63 c #Conflicts: 614000 | #Constraints: 22531
682.09/684.63 c #Conflicts: 615000 | #Constraints: 23531
682.09/684.63 c #Conflicts: 616000 | #Constraints: 24566
682.09/684.63 c #Conflicts: 617000 | #Constraints: 25614
682.09/684.63 c #Conflicts: 618000 | #Constraints: 26620
682.09/684.63 c #Conflicts: 619000 | #Constraints: 27621
682.09/684.63 c #Conflicts: 620000 | #Constraints: 28621
682.09/684.63 c #Conflicts: 621000 | #Constraints: 29621
682.09/684.63 c #Conflicts: 622000 | #Constraints: 30621
682.09/684.63 c #Conflicts: 623000 | #Constraints: 31623
682.09/684.63 c INPROCESSING
682.09/684.63 c GARBAGE COLLECT
682.09/684.63 c rational objective 2.00004
717.96/720.69 c #Conflicts: 624000 | #Constraints: 16823
717.96/720.69 c #Conflicts: 625000 | #Constraints: 17838
717.96/720.69 c #Conflicts: 626000 | #Constraints: 18850
717.96/720.69 c #Conflicts: 627000 | #Constraints: 19860
717.96/720.69 c #Conflicts: 628000 | #Constraints: 20863
717.96/720.69 c #Conflicts: 629000 | #Constraints: 21863
717.96/720.69 c #Conflicts: 630000 | #Constraints: 22863
717.96/720.69 c #Conflicts: 631000 | #Constraints: 23863
717.96/720.69 c #Conflicts: 632000 | #Constraints: 24863
717.96/720.69 c #Conflicts: 633000 | #Constraints: 25863
717.96/720.69 c #Conflicts: 634000 | #Constraints: 26863
717.96/720.69 c #Conflicts: 635000 | #Constraints: 27866
717.96/720.69 c #Conflicts: 636000 | #Constraints: 28868
717.96/720.69 c #Conflicts: 637000 | #Constraints: 29870
717.96/720.69 c #Conflicts: 638000 | #Constraints: 30882
717.96/720.69 c #Conflicts: 639000 | #Constraints: 31888
717.96/720.69 c INPROCESSING
717.96/720.69 c GARBAGE COLLECT
717.96/720.69 c rational objective 2.79393
743.76/746.52 c #Conflicts: 640000 | #Constraints: 16954
743.76/746.52 c #Conflicts: 641000 | #Constraints: 17954
743.76/746.52 c #Conflicts: 642000 | #Constraints: 18959
743.76/746.52 c #Conflicts: 643000 | #Constraints: 19959
743.76/746.52 c #Conflicts: 644000 | #Constraints: 20964
743.76/746.52 c #Conflicts: 645000 | #Constraints: 21968
743.76/746.52 c #Conflicts: 646000 | #Constraints: 22969
743.76/746.52 c #Conflicts: 647000 | #Constraints: 23995
743.76/746.52 c #Conflicts: 648000 | #Constraints: 25006
743.76/746.52 c #Conflicts: 649000 | #Constraints: 26006
743.76/746.52 c #Conflicts: 650000 | #Constraints: 27024
743.76/746.52 c #Conflicts: 651000 | #Constraints: 28025
743.76/746.52 c #Conflicts: 652000 | #Constraints: 29028
743.76/746.52 c #Conflicts: 653000 | #Constraints: 30040
743.76/746.52 c #Conflicts: 654000 | #Constraints: 31058
743.76/746.52 c #Conflicts: 655000 | #Constraints: 32076
743.76/746.52 c INPROCESSING
743.76/746.52 c GARBAGE COLLECT
743.76/746.52 c rational objective 3.0268
777.81/780.76 c #Conflicts: 656000 | #Constraints: 16961
777.81/780.76 c #Conflicts: 657000 | #Constraints: 17969
777.81/780.76 c #Conflicts: 658000 | #Constraints: 18969
777.81/780.76 c #Conflicts: 659000 | #Constraints: 19978
777.81/780.76 c #Conflicts: 660000 | #Constraints: 20979
777.81/780.76 c #Conflicts: 661000 | #Constraints: 21986
777.81/780.76 c #Conflicts: 662000 | #Constraints: 23019
777.81/780.76 c #Conflicts: 663000 | #Constraints: 24019
777.81/780.76 c #Conflicts: 664000 | #Constraints: 25019
777.81/780.76 c #Conflicts: 665000 | #Constraints: 26021
777.81/780.76 c #Conflicts: 666000 | #Constraints: 27053
777.81/780.76 c #Conflicts: 667000 | #Constraints: 28059
777.81/780.76 c #Conflicts: 668000 | #Constraints: 29073
777.81/780.76 c #Conflicts: 669000 | #Constraints: 30073
777.81/780.76 c #Conflicts: 670000 | #Constraints: 31075
777.81/780.76 c #Conflicts: 671000 | #Constraints: 32075
777.81/780.76 c INPROCESSING
777.81/780.76 c GARBAGE COLLECT
777.81/780.76 c rational objective 2.00003
820.24/823.34 c #Conflicts: 672000 | #Constraints: 16750
820.24/823.34 c #Conflicts: 673000 | #Constraints: 17764
820.24/823.34 c #Conflicts: 674000 | #Constraints: 18764
820.24/823.34 c #Conflicts: 675000 | #Constraints: 19767
820.24/823.34 c #Conflicts: 676000 | #Constraints: 20770
820.24/823.34 c #Conflicts: 677000 | #Constraints: 21770
820.24/823.34 c #Conflicts: 678000 | #Constraints: 22770
820.24/823.34 c #Conflicts: 679000 | #Constraints: 23770
820.24/823.34 c #Conflicts: 680000 | #Constraints: 24773
820.24/823.34 c #Conflicts: 681000 | #Constraints: 25796
820.24/823.34 c #Conflicts: 682000 | #Constraints: 26796
820.24/823.34 c #Conflicts: 683000 | #Constraints: 27800
820.24/823.34 c #Conflicts: 684000 | #Constraints: 28817
820.24/823.34 c #Conflicts: 685000 | #Constraints: 29823
820.24/823.34 c #Conflicts: 686000 | #Constraints: 30824
820.24/823.34 c #Conflicts: 687000 | #Constraints: 31846
820.24/823.34 c #Conflicts: 688000 | #Constraints: 32857
820.24/823.34 c INPROCESSING
820.24/823.34 c GARBAGE COLLECT
820.24/823.34 c rational objective 2.00004
849.14/852.35 c #Conflicts: 689000 | #Constraints: 17338
849.14/852.35 c #Conflicts: 690000 | #Constraints: 18338
849.14/852.35 c #Conflicts: 691000 | #Constraints: 19356
849.14/852.35 c #Conflicts: 692000 | #Constraints: 20368
849.14/852.35 c #Conflicts: 693000 | #Constraints: 21380
849.14/852.35 c #Conflicts: 694000 | #Constraints: 22421
849.14/852.35 c #Conflicts: 695000 | #Constraints: 23427
849.14/852.35 c #Conflicts: 696000 | #Constraints: 24448
849.14/852.35 c #Conflicts: 697000 | #Constraints: 25457
849.14/852.35 c #Conflicts: 698000 | #Constraints: 26457
849.14/852.35 c #Conflicts: 699000 | #Constraints: 27466
849.14/852.35 c #Conflicts: 700000 | #Constraints: 28477
849.14/852.35 c #Conflicts: 701000 | #Constraints: 29477
849.14/852.35 c #Conflicts: 702000 | #Constraints: 30477
849.14/852.35 c #Conflicts: 703000 | #Constraints: 31486
849.14/852.35 c #Conflicts: 704000 | #Constraints: 32489
849.14/852.35 c #Conflicts: 705000 | #Constraints: 33489
849.14/852.35 c INPROCESSING
849.14/852.35 c GARBAGE COLLECT
849.14/852.35 c rational objective 2.00176
885.77/889.17 c #Conflicts: 706000 | #Constraints: 17750
885.77/889.17 c #Conflicts: 707000 | #Constraints: 18750
885.77/889.17 c #Conflicts: 708000 | #Constraints: 19750
885.77/889.17 c #Conflicts: 709000 | #Constraints: 20750
885.77/889.17 c #Conflicts: 710000 | #Constraints: 21750
885.77/889.17 c #Conflicts: 711000 | #Constraints: 22750
885.77/889.17 c #Conflicts: 712000 | #Constraints: 23750
885.77/889.17 c #Conflicts: 713000 | #Constraints: 24750
885.77/889.17 c #Conflicts: 714000 | #Constraints: 25750
885.77/889.17 c #Conflicts: 715000 | #Constraints: 26750
885.77/889.17 c #Conflicts: 716000 | #Constraints: 27750
885.77/889.17 c #Conflicts: 717000 | #Constraints: 28750
885.77/889.17 c #Conflicts: 718000 | #Constraints: 29750
885.77/889.17 c #Conflicts: 719000 | #Constraints: 30761
885.77/889.17 c #Conflicts: 720000 | #Constraints: 31786
885.77/889.17 c #Conflicts: 721000 | #Constraints: 32832
885.77/889.17 c #Conflicts: 722000 | #Constraints: 33865
885.77/889.17 c INPROCESSING
885.77/889.17 c GARBAGE COLLECT
885.77/889.17 c rational objective 2.00177
907.73/911.26 c #Conflicts: 723000 | #Constraints: 17967
907.73/911.26 c #Conflicts: 724000 | #Constraints: 18973
907.73/911.26 c #Conflicts: 725000 | #Constraints: 19973
907.73/911.26 c #Conflicts: 726000 | #Constraints: 20973
907.73/911.26 c #Conflicts: 727000 | #Constraints: 21973
907.73/911.26 c #Conflicts: 728000 | #Constraints: 22973
907.73/911.26 c #Conflicts: 729000 | #Constraints: 23973
907.73/911.26 c #Conflicts: 730000 | #Constraints: 24973
907.73/911.26 c #Conflicts: 731000 | #Constraints: 25973
907.73/911.26 c #Conflicts: 732000 | #Constraints: 26973
907.73/911.26 c #Conflicts: 733000 | #Constraints: 27973
907.73/911.26 c #Conflicts: 734000 | #Constraints: 28973
907.73/911.26 c #Conflicts: 735000 | #Constraints: 29983
907.73/911.26 c #Conflicts: 736000 | #Constraints: 30983
907.73/911.26 c #Conflicts: 737000 | #Constraints: 31983
907.73/911.26 c #Conflicts: 738000 | #Constraints: 32994
907.73/911.26 c #Conflicts: 739000 | #Constraints: 34000
907.73/911.26 c INPROCESSING
907.73/911.26 c GARBAGE COLLECT
907.73/911.26 c rational objective 2.19832
943.00/946.64 c #Conflicts: 740000 | #Constraints: 17919
943.00/946.64 c #Conflicts: 741000 | #Constraints: 18930
943.00/946.64 c #Conflicts: 742000 | #Constraints: 19953
943.00/946.64 c #Conflicts: 743000 | #Constraints: 20977
943.00/946.64 c #Conflicts: 744000 | #Constraints: 21985
943.00/946.64 c #Conflicts: 745000 | #Constraints: 22985
943.00/946.64 c #Conflicts: 746000 | #Constraints: 23985
943.00/946.64 c #Conflicts: 747000 | #Constraints: 24985
943.00/946.64 c #Conflicts: 748000 | #Constraints: 25985
943.00/946.64 c #Conflicts: 749000 | #Constraints: 27024
943.00/946.64 c #Conflicts: 750000 | #Constraints: 28039
943.00/946.64 c #Conflicts: 751000 | #Constraints: 29039
943.00/946.64 c #Conflicts: 752000 | #Constraints: 30043
943.00/946.64 c #Conflicts: 753000 | #Constraints: 31052
943.00/946.64 c #Conflicts: 754000 | #Constraints: 32052
943.00/946.64 c #Conflicts: 755000 | #Constraints: 33053
943.00/946.64 c #Conflicts: 756000 | #Constraints: 34080
943.00/946.64 c INPROCESSING
943.00/946.64 c GARBAGE COLLECT
943.00/946.64 c rational objective 2.00003
977.97/981.77 c #Conflicts: 757000 | #Constraints: 17762
977.97/981.77 c #Conflicts: 758000 | #Constraints: 18774
977.97/981.77 c #Conflicts: 759000 | #Constraints: 19786
977.97/981.77 c #Conflicts: 760000 | #Constraints: 20812
977.97/981.77 c #Conflicts: 761000 | #Constraints: 21834
977.97/981.77 c #Conflicts: 762000 | #Constraints: 22835
977.97/981.77 c #Conflicts: 763000 | #Constraints: 23835
977.97/981.77 c #Conflicts: 764000 | #Constraints: 24835
977.97/981.77 c #Conflicts: 765000 | #Constraints: 25835
977.97/981.77 c #Conflicts: 766000 | #Constraints: 26835
977.97/981.77 c #Conflicts: 767000 | #Constraints: 27835
977.97/981.77 c #Conflicts: 768000 | #Constraints: 28835
977.97/981.77 c #Conflicts: 769000 | #Constraints: 29835
977.97/981.77 c #Conflicts: 770000 | #Constraints: 30835
977.97/981.77 c #Conflicts: 771000 | #Constraints: 31835
977.97/981.77 c #Conflicts: 772000 | #Constraints: 32840
977.97/981.77 c #Conflicts: 773000 | #Constraints: 33840
977.97/981.77 c #Conflicts: 774000 | #Constraints: 34840
977.97/981.77 c INPROCESSING
977.97/981.77 c GARBAGE COLLECT
977.97/981.77 c rational objective 2.00003
1021.80/1025.79 c #Conflicts: 775000 | #Constraints: 18337
1021.80/1025.79 c #Conflicts: 776000 | #Constraints: 19337
1021.80/1025.79 c #Conflicts: 777000 | #Constraints: 20337
1021.80/1025.79 c #Conflicts: 778000 | #Constraints: 21337
1021.80/1025.79 c #Conflicts: 779000 | #Constraints: 22338
1021.80/1025.79 c #Conflicts: 780000 | #Constraints: 23338
1021.80/1025.79 c #Conflicts: 781000 | #Constraints: 24338
1021.80/1025.79 c #Conflicts: 782000 | #Constraints: 25338
1021.80/1025.79 c #Conflicts: 783000 | #Constraints: 26348
1021.80/1025.79 c #Conflicts: 784000 | #Constraints: 27349
1021.80/1025.79 c #Conflicts: 785000 | #Constraints: 28349
1021.80/1025.79 c #Conflicts: 786000 | #Constraints: 29350
1021.80/1025.79 c #Conflicts: 787000 | #Constraints: 30350
1021.80/1025.79 c #Conflicts: 788000 | #Constraints: 31355
1021.80/1025.79 c #Conflicts: 789000 | #Constraints: 32364
1021.80/1025.79 c #Conflicts: 790000 | #Constraints: 33413
1021.80/1025.79 c #Conflicts: 791000 | #Constraints: 34418
1021.80/1025.79 c #Conflicts: 792000 | #Constraints: 35445
1021.80/1025.79 c INPROCESSING
1021.80/1025.79 c GARBAGE COLLECT
1021.80/1025.79 c rational objective 2.03323
1067.03/1071.13 c #Conflicts: 793000 | #Constraints: 18731
1067.03/1071.13 c #Conflicts: 794000 | #Constraints: 19741
1067.03/1071.13 c #Conflicts: 795000 | #Constraints: 20741
1067.03/1071.13 c #Conflicts: 796000 | #Constraints: 21741
1067.03/1071.13 c #Conflicts: 797000 | #Constraints: 22761
1067.03/1071.13 c #Conflicts: 798000 | #Constraints: 23804
1067.03/1071.13 c #Conflicts: 799000 | #Constraints: 24820
1067.03/1071.13 c #Conflicts: 800000 | #Constraints: 25820
1067.03/1071.13 c #Conflicts: 801000 | #Constraints: 26834
1067.03/1071.13 c #Conflicts: 802000 | #Constraints: 27848
1067.03/1071.13 c #Conflicts: 803000 | #Constraints: 28848
1067.03/1071.13 c #Conflicts: 804000 | #Constraints: 29849
1067.03/1071.13 c #Conflicts: 805000 | #Constraints: 30849
1067.03/1071.13 c #Conflicts: 806000 | #Constraints: 31852
1067.03/1071.13 c #Conflicts: 807000 | #Constraints: 32867
1067.03/1071.13 c #Conflicts: 808000 | #Constraints: 33880
1067.03/1071.13 c #Conflicts: 809000 | #Constraints: 34909
1067.03/1071.13 c #Conflicts: 810000 | #Constraints: 35922
1067.03/1071.13 c INPROCESSING
1067.03/1071.13 c GARBAGE COLLECT
1067.03/1071.13 c rational objective 2.03685
1093.83/1098.07 c #Conflicts: 811000 | #Constraints: 18969
1093.83/1098.07 c #Conflicts: 812000 | #Constraints: 19974
1093.83/1098.07 c #Conflicts: 813000 | #Constraints: 20975
1093.83/1098.07 c #Conflicts: 814000 | #Constraints: 22029
1093.83/1098.07 c #Conflicts: 815000 | #Constraints: 23065
1093.83/1098.07 c #Conflicts: 816000 | #Constraints: 24097
1093.83/1098.07 c #Conflicts: 817000 | #Constraints: 25118
1093.83/1098.07 c #Conflicts: 818000 | #Constraints: 26118
1093.83/1098.07 c #Conflicts: 819000 | #Constraints: 27132
1093.83/1098.07 c #Conflicts: 820000 | #Constraints: 28152
1093.83/1098.07 c #Conflicts: 821000 | #Constraints: 29152
1093.83/1098.07 c #Conflicts: 822000 | #Constraints: 30152
1093.83/1098.07 c #Conflicts: 823000 | #Constraints: 31152
1093.83/1098.07 c #Conflicts: 824000 | #Constraints: 32152
1093.83/1098.07 c #Conflicts: 825000 | #Constraints: 33152
1093.83/1098.07 c #Conflicts: 826000 | #Constraints: 34152
1093.83/1098.07 c #Conflicts: 827000 | #Constraints: 35152
1093.83/1098.07 c #Conflicts: 828000 | #Constraints: 36152
1093.83/1098.07 c INPROCESSING
1093.83/1098.07 c GARBAGE COLLECT
1093.83/1098.07 c rational objective 2.17306
1156.37/1160.87 c #Conflicts: 829000 | #Constraints: 18993
1156.37/1160.87 c #Conflicts: 830000 | #Constraints: 20087
1156.37/1160.87 c #Conflicts: 831000 | #Constraints: 21126
1156.37/1160.87 c #Conflicts: 832000 | #Constraints: 22126
1156.37/1160.87 c #Conflicts: 833000 | #Constraints: 23140
1156.37/1160.87 c #Conflicts: 834000 | #Constraints: 24142
1156.37/1160.87 c #Conflicts: 835000 | #Constraints: 25142
1156.37/1160.87 c #Conflicts: 836000 | #Constraints: 26142
1156.37/1160.87 c #Conflicts: 837000 | #Constraints: 27142
1156.37/1160.87 c #Conflicts: 838000 | #Constraints: 28142
1156.37/1160.87 c #Conflicts: 839000 | #Constraints: 29142
1156.37/1160.87 c #Conflicts: 840000 | #Constraints: 30142
1156.37/1160.87 c #Conflicts: 841000 | #Constraints: 31142
1156.37/1160.87 c #Conflicts: 842000 | #Constraints: 32154
1156.37/1160.87 c #Conflicts: 843000 | #Constraints: 33154
1156.37/1160.87 c #Conflicts: 844000 | #Constraints: 34154
1156.37/1160.87 c #Conflicts: 845000 | #Constraints: 35154
1156.37/1160.87 c #Conflicts: 846000 | #Constraints: 36163
1156.37/1160.87 c INPROCESSING
1156.37/1160.87 c GARBAGE COLLECT
1156.37/1160.87 c #Conflicts: 847000 | #Constraints: 18793
1156.37/1160.87 c #Conflicts: 848000 | #Constraints: 19793
1156.37/1160.87 c #Conflicts: 849000 | #Constraints: 20793
1156.37/1160.87 c #Conflicts: 850000 | #Constraints: 21794
1156.37/1160.87 c #Conflicts: 851000 | #Constraints: 22794
1156.37/1160.87 c #Conflicts: 852000 | #Constraints: 23808
1156.37/1160.87 c #Conflicts: 853000 | #Constraints: 24820
1156.37/1160.87 c #Conflicts: 854000 | #Constraints: 25845
1156.37/1160.87 c #Conflicts: 855000 | #Constraints: 26864
1156.37/1160.87 c #Conflicts: 856000 | #Constraints: 27908
1156.37/1160.87 c #Conflicts: 857000 | #Constraints: 28921
1156.37/1160.87 c #Conflicts: 858000 | #Constraints: 29921
1156.37/1160.87 c #Conflicts: 859000 | #Constraints: 30970
1156.37/1160.87 c #Conflicts: 860000 | #Constraints: 31984
1156.37/1160.87 c #Conflicts: 861000 | #Constraints: 33011
1156.37/1160.87 c #Conflicts: 862000 | #Constraints: 34049
1156.37/1160.87 c #Conflicts: 863000 | #Constraints: 35049
1156.37/1160.87 c #Conflicts: 864000 | #Constraints: 36049
1156.37/1160.87 c #Conflicts: 865000 | #Constraints: 37049
1156.37/1160.87 c INPROCESSING
1156.37/1160.87 c GARBAGE COLLECT
1156.37/1160.87 c rational objective 2.00003
1182.08/1186.68 c #Conflicts: 866000 | #Constraints: 19441
1182.08/1186.68 c #Conflicts: 867000 | #Constraints: 20444
1182.08/1186.68 c #Conflicts: 868000 | #Constraints: 21470
1182.08/1186.68 c #Conflicts: 869000 | #Constraints: 22481
1182.08/1186.68 c #Conflicts: 870000 | #Constraints: 23481
1182.08/1186.68 c #Conflicts: 871000 | #Constraints: 24500
1182.08/1186.68 c #Conflicts: 872000 | #Constraints: 25500
1182.08/1186.68 c #Conflicts: 873000 | #Constraints: 26508
1182.08/1186.68 c #Conflicts: 874000 | #Constraints: 27559
1182.08/1186.68 c #Conflicts: 875000 | #Constraints: 28562
1182.08/1186.68 c #Conflicts: 876000 | #Constraints: 29572
1182.08/1186.68 c #Conflicts: 877000 | #Constraints: 30600
1182.08/1186.68 c #Conflicts: 878000 | #Constraints: 31605
1182.08/1186.68 c #Conflicts: 879000 | #Constraints: 32605
1182.08/1186.68 c #Conflicts: 880000 | #Constraints: 33605
1182.08/1186.68 c #Conflicts: 881000 | #Constraints: 34605
1182.08/1186.68 c #Conflicts: 882000 | #Constraints: 35605
1182.08/1186.68 c #Conflicts: 883000 | #Constraints: 36605
1182.08/1186.68 c #Conflicts: 884000 | #Constraints: 37605
1182.08/1186.68 c INPROCESSING
1182.08/1186.68 c GARBAGE COLLECT
1182.08/1186.68 c rational objective 2.00003
1209.41/1214.05 c #Conflicts: 885000 | #Constraints: 19832
1209.41/1214.05 c #Conflicts: 886000 | #Constraints: 20832
1209.41/1214.05 c #Conflicts: 887000 | #Constraints: 21832
1209.41/1214.05 c #Conflicts: 888000 | #Constraints: 22832
1209.41/1214.05 c #Conflicts: 889000 | #Constraints: 23832
1209.41/1214.05 c #Conflicts: 890000 | #Constraints: 24832
1209.41/1214.05 c #Conflicts: 891000 | #Constraints: 25843
1209.41/1214.05 c #Conflicts: 892000 | #Constraints: 26844
1209.41/1214.05 c #Conflicts: 893000 | #Constraints: 27859
1209.41/1214.05 c #Conflicts: 894000 | #Constraints: 28890
1209.41/1214.05 c #Conflicts: 895000 | #Constraints: 29913
1209.41/1214.05 c #Conflicts: 896000 | #Constraints: 30931
1209.41/1214.05 c #Conflicts: 897000 | #Constraints: 31957
1209.41/1214.05 c #Conflicts: 898000 | #Constraints: 32975
1209.41/1214.05 c #Conflicts: 899000 | #Constraints: 33995
1209.41/1214.05 c #Conflicts: 900000 | #Constraints: 35022
1209.41/1214.05 c #Conflicts: 901000 | #Constraints: 36061
1209.41/1214.05 c #Conflicts: 902000 | #Constraints: 37094
1209.41/1214.05 c #Conflicts: 903000 | #Constraints: 38115
1209.41/1214.05 c INPROCESSING
1209.41/1214.05 c GARBAGE COLLECT
1209.41/1214.05 c rational objective 2.24911
1277.76/1282.68 c #Conflicts: 904000 | #Constraints: 20062
1277.76/1282.68 c #Conflicts: 905000 | #Constraints: 21062
1277.76/1282.68 c #Conflicts: 906000 | #Constraints: 22062
1277.76/1282.68 c #Conflicts: 907000 | #Constraints: 23062
1277.76/1282.68 c #Conflicts: 908000 | #Constraints: 24062
1277.76/1282.68 c #Conflicts: 909000 | #Constraints: 25062
1277.76/1282.68 c #Conflicts: 910000 | #Constraints: 26062
1277.76/1282.68 c #Conflicts: 911000 | #Constraints: 27067
1277.76/1282.68 c #Conflicts: 912000 | #Constraints: 28085
1277.76/1282.68 c #Conflicts: 913000 | #Constraints: 29092
1277.76/1282.68 c #Conflicts: 914000 | #Constraints: 30113
1277.76/1282.68 c #Conflicts: 915000 | #Constraints: 31113
1277.76/1282.68 c #Conflicts: 916000 | #Constraints: 32113
1277.76/1282.68 c #Conflicts: 917000 | #Constraints: 33113
1277.76/1282.68 c #Conflicts: 918000 | #Constraints: 34113
1277.76/1282.68 c #Conflicts: 919000 | #Constraints: 35117
1277.76/1282.68 c #Conflicts: 920000 | #Constraints: 36117
1277.76/1282.68 c #Conflicts: 921000 | #Constraints: 37117
1277.76/1282.68 c #Conflicts: 922000 | #Constraints: 38117
1277.76/1282.68 c INPROCESSING
1277.76/1282.68 c GARBAGE COLLECT
1277.76/1282.68 c #Conflicts: 923000 | #Constraints: 19967
1277.76/1282.68 c #Conflicts: 924000 | #Constraints: 20967
1277.76/1282.68 c #Conflicts: 925000 | #Constraints: 21967
1277.76/1282.68 c #Conflicts: 926000 | #Constraints: 22967
1277.76/1282.68 c #Conflicts: 927000 | #Constraints: 23967
1277.76/1282.68 c #Conflicts: 928000 | #Constraints: 24967
1277.76/1282.68 c #Conflicts: 929000 | #Constraints: 25967
1277.76/1282.68 c #Conflicts: 930000 | #Constraints: 26967
1277.76/1282.68 c #Conflicts: 931000 | #Constraints: 27967
1277.76/1282.68 c #Conflicts: 932000 | #Constraints: 28967
1277.76/1282.68 c #Conflicts: 933000 | #Constraints: 29967
1277.76/1282.68 c #Conflicts: 934000 | #Constraints: 30967
1277.76/1282.68 c #Conflicts: 935000 | #Constraints: 31967
1277.76/1282.68 c #Conflicts: 936000 | #Constraints: 32967
1277.76/1282.68 c #Conflicts: 937000 | #Constraints: 33967
1277.76/1282.68 c #Conflicts: 938000 | #Constraints: 34967
1277.76/1282.68 c #Conflicts: 939000 | #Constraints: 35976
1277.76/1282.68 c #Conflicts: 940000 | #Constraints: 36981
1277.76/1282.68 c #Conflicts: 941000 | #Constraints: 37981
1277.76/1282.68 c INPROCESSING
1277.76/1282.68 c GARBAGE COLLECT
1277.76/1282.68 c rational objective 2.00003
1311.34/1316.38 c #Conflicts: 942000 | #Constraints: 19714
1311.34/1316.38 c #Conflicts: 943000 | #Constraints: 20780
1311.34/1316.38 c #Conflicts: 944000 | #Constraints: 21850
1311.34/1316.38 c #Conflicts: 945000 | #Constraints: 22935
1311.34/1316.38 c #Conflicts: 946000 | #Constraints: 23983
1311.34/1316.38 c #Conflicts: 947000 | #Constraints: 25055
1311.34/1316.38 c #Conflicts: 948000 | #Constraints: 26116
1311.34/1316.38 c #Conflicts: 949000 | #Constraints: 27128
1311.34/1316.38 c #Conflicts: 950000 | #Constraints: 28128
1311.34/1316.38 c #Conflicts: 951000 | #Constraints: 29128
1311.34/1316.38 c #Conflicts: 952000 | #Constraints: 30135
1311.34/1316.38 c #Conflicts: 953000 | #Constraints: 31154
1311.34/1316.38 c #Conflicts: 954000 | #Constraints: 32192
1311.34/1316.38 c #Conflicts: 955000 | #Constraints: 33251
1311.34/1316.38 c #Conflicts: 956000 | #Constraints: 34303
1311.34/1316.38 c #Conflicts: 957000 | #Constraints: 35348
1311.34/1316.38 c #Conflicts: 958000 | #Constraints: 36400
1311.34/1316.38 c #Conflicts: 959000 | #Constraints: 37440
1311.34/1316.38 c #Conflicts: 960000 | #Constraints: 38500
1311.34/1316.38 c #Conflicts: 961000 | #Constraints: 39579
1311.34/1316.38 c INPROCESSING
1311.34/1316.38 c GARBAGE COLLECT
1311.34/1316.38 c rational objective 2.00004
1348.70/1353.88 c #Conflicts: 962000 | #Constraints: 20727
1348.70/1353.88 c #Conflicts: 963000 | #Constraints: 21764
1348.70/1353.88 c #Conflicts: 964000 | #Constraints: 22838
1348.70/1353.88 c #Conflicts: 965000 | #Constraints: 23910
1348.70/1353.88 c #Conflicts: 966000 | #Constraints: 24910
1348.70/1353.88 c #Conflicts: 967000 | #Constraints: 25910
1348.70/1353.88 c #Conflicts: 968000 | #Constraints: 26910
1348.70/1353.88 c #Conflicts: 969000 | #Constraints: 27910
1348.70/1353.88 c #Conflicts: 970000 | #Constraints: 28921
1348.70/1353.88 c #Conflicts: 971000 | #Constraints: 29983
1348.70/1353.88 c #Conflicts: 972000 | #Constraints: 31028
1348.70/1353.88 c #Conflicts: 973000 | #Constraints: 32095
1348.70/1353.88 c #Conflicts: 974000 | #Constraints: 33134
1348.70/1353.88 c #Conflicts: 975000 | #Constraints: 34185
1348.70/1353.88 c #Conflicts: 976000 | #Constraints: 35247
1348.70/1353.88 c #Conflicts: 977000 | #Constraints: 36247
1348.70/1353.88 c #Conflicts: 978000 | #Constraints: 37247
1348.70/1353.88 c #Conflicts: 979000 | #Constraints: 38247
1348.70/1353.88 c #Conflicts: 980000 | #Constraints: 39247
1348.70/1353.88 c #Conflicts: 981000 | #Constraints: 40247
1348.70/1353.88 c INPROCESSING
1348.70/1353.88 c GARBAGE COLLECT
1348.70/1353.88 c rational objective 2.00003
1385.18/1390.45 c #Conflicts: 982000 | #Constraints: 21172
1385.18/1390.45 c #Conflicts: 983000 | #Constraints: 22178
1385.18/1390.45 c #Conflicts: 984000 | #Constraints: 23212
1385.18/1390.45 c #Conflicts: 985000 | #Constraints: 24233
1385.18/1390.45 c #Conflicts: 986000 | #Constraints: 25270
1385.18/1390.45 c #Conflicts: 987000 | #Constraints: 26287
1385.18/1390.45 c #Conflicts: 988000 | #Constraints: 27317
1385.18/1390.45 c #Conflicts: 989000 | #Constraints: 28364
1385.18/1390.45 c #Conflicts: 990000 | #Constraints: 29428
1385.18/1390.45 c #Conflicts: 991000 | #Constraints: 30462
1385.18/1390.45 c #Conflicts: 992000 | #Constraints: 31495
1385.18/1390.45 c #Conflicts: 993000 | #Constraints: 32537
1385.18/1390.45 c #Conflicts: 994000 | #Constraints: 33589
1385.18/1390.45 c #Conflicts: 995000 | #Constraints: 34632
1385.18/1390.45 c #Conflicts: 996000 | #Constraints: 35633
1385.18/1390.45 c #Conflicts: 997000 | #Constraints: 36653
1385.18/1390.45 c #Conflicts: 998000 | #Constraints: 37702
1385.18/1390.45 c #Conflicts: 999000 | #Constraints: 38756
1385.18/1390.45 c #Conflicts: 1000000 | #Constraints: 39795
1385.18/1390.45 c #Conflicts: 1001000 | #Constraints: 40831
1385.18/1390.45 c INPROCESSING
1385.18/1390.45 c GARBAGE COLLECT
1385.18/1390.45 c rational objective 2.00003
1420.85/1426.22 c #Conflicts: 1002000 | #Constraints: 21454
1420.85/1426.22 c #Conflicts: 1003000 | #Constraints: 22454
1420.85/1426.22 c #Conflicts: 1004000 | #Constraints: 23461
1420.85/1426.22 c #Conflicts: 1005000 | #Constraints: 24490
1420.85/1426.22 c #Conflicts: 1006000 | #Constraints: 25520
1420.85/1426.22 c #Conflicts: 1007000 | #Constraints: 26557
1420.85/1426.22 c #Conflicts: 1008000 | #Constraints: 27557
1420.85/1426.22 c #Conflicts: 1009000 | #Constraints: 28575
1420.85/1426.22 c #Conflicts: 1010000 | #Constraints: 29597
1420.85/1426.22 c #Conflicts: 1011000 | #Constraints: 30621
1420.85/1426.22 c #Conflicts: 1012000 | #Constraints: 31654
1420.85/1426.22 c #Conflicts: 1013000 | #Constraints: 32664
1420.85/1426.22 c #Conflicts: 1014000 | #Constraints: 33664
1420.85/1426.22 c #Conflicts: 1015000 | #Constraints: 34664
1420.85/1426.22 c #Conflicts: 1016000 | #Constraints: 35664
1420.85/1426.22 c #Conflicts: 1017000 | #Constraints: 36664
1420.85/1426.22 c #Conflicts: 1018000 | #Constraints: 37664
1420.85/1426.22 c #Conflicts: 1019000 | #Constraints: 38664
1420.85/1426.22 c #Conflicts: 1020000 | #Constraints: 39664
1420.85/1426.22 c #Conflicts: 1021000 | #Constraints: 40664
1420.85/1426.22 c INPROCESSING
1420.85/1426.22 c GARBAGE COLLECT
1420.85/1426.22 c rational objective 2.04718
1487.23/1492.81 c #Conflicts: 1022000 | #Constraints: 21260
1487.23/1492.81 c #Conflicts: 1023000 | #Constraints: 22260
1487.23/1492.81 c #Conflicts: 1024000 | #Constraints: 23265
1487.23/1492.81 c #Conflicts: 1025000 | #Constraints: 24280
1487.23/1492.81 c #Conflicts: 1026000 | #Constraints: 25280
1487.23/1492.81 c #Conflicts: 1027000 | #Constraints: 26302
1487.23/1492.81 c #Conflicts: 1028000 | #Constraints: 27370
1487.23/1492.81 c #Conflicts: 1029000 | #Constraints: 28389
1487.23/1492.81 c #Conflicts: 1030000 | #Constraints: 29408
1487.23/1492.81 c #Conflicts: 1031000 | #Constraints: 30408
1487.23/1492.81 c #Conflicts: 1032000 | #Constraints: 31409
1487.23/1492.81 c #Conflicts: 1033000 | #Constraints: 32447
1487.23/1492.81 c #Conflicts: 1034000 | #Constraints: 33479
1487.23/1492.81 c #Conflicts: 1035000 | #Constraints: 34512
1487.23/1492.81 c #Conflicts: 1036000 | #Constraints: 35514
1487.23/1492.81 c #Conflicts: 1037000 | #Constraints: 36514
1487.23/1492.81 c #Conflicts: 1038000 | #Constraints: 37534
1487.23/1492.81 c #Conflicts: 1039000 | #Constraints: 38565
1487.23/1492.81 c #Conflicts: 1040000 | #Constraints: 39633
1487.23/1492.81 c #Conflicts: 1041000 | #Constraints: 40642
1487.23/1492.81 c INPROCESSING
1487.23/1492.81 c GARBAGE COLLECT
1487.23/1492.81 c rational objective 2.8399
1562.47/1568.32 c #Conflicts: 1042000 | #Constraints: 21032
1562.47/1568.32 c #Conflicts: 1043000 | #Constraints: 22034
1562.47/1568.32 c #Conflicts: 1044000 | #Constraints: 23034
1562.47/1568.32 c #Conflicts: 1045000 | #Constraints: 24035
1562.47/1568.32 c #Conflicts: 1046000 | #Constraints: 25044
1562.47/1568.32 c #Conflicts: 1047000 | #Constraints: 26052
1562.47/1568.32 c #Conflicts: 1048000 | #Constraints: 27056
1562.47/1568.32 c #Conflicts: 1049000 | #Constraints: 28069
1562.47/1568.32 c #Conflicts: 1050000 | #Constraints: 29069
1562.47/1568.32 c #Conflicts: 1051000 | #Constraints: 30072
1562.47/1568.32 c #Conflicts: 1052000 | #Constraints: 31072
1562.47/1568.32 c #Conflicts: 1053000 | #Constraints: 32078
1562.47/1568.32 c #Conflicts: 1054000 | #Constraints: 33085
1562.47/1568.32 c #Conflicts: 1055000 | #Constraints: 34085
1562.47/1568.32 c #Conflicts: 1056000 | #Constraints: 35097
1562.47/1568.32 c #Conflicts: 1057000 | #Constraints: 36097
1562.47/1568.32 c #Conflicts: 1058000 | #Constraints: 37098
1562.47/1568.32 c #Conflicts: 1059000 | #Constraints: 38108
1562.47/1568.32 c #Conflicts: 1060000 | #Constraints: 39130
1562.47/1568.32 c #Conflicts: 1061000 | #Constraints: 40137
1562.47/1568.32 c #Conflicts: 1062000 | #Constraints: 41137
1562.47/1568.32 c INPROCESSING
1562.47/1568.32 c GARBAGE COLLECT
1562.47/1568.32 c rational objective 2.00003
1615.00/1621.06 c #Conflicts: 1063000 | #Constraints: 21486
1615.00/1621.06 c #Conflicts: 1064000 | #Constraints: 22486
1615.00/1621.06 c #Conflicts: 1065000 | #Constraints: 23495
1615.00/1621.06 c #Conflicts: 1066000 | #Constraints: 24495
1615.00/1621.06 c #Conflicts: 1067000 | #Constraints: 25498
1615.00/1621.06 c #Conflicts: 1068000 | #Constraints: 26557
1615.00/1621.06 c #Conflicts: 1069000 | #Constraints: 27609
1615.00/1621.06 c #Conflicts: 1070000 | #Constraints: 28609
1615.00/1621.06 c #Conflicts: 1071000 | #Constraints: 29609
1615.00/1621.06 c #Conflicts: 1072000 | #Constraints: 30609
1615.00/1621.06 c #Conflicts: 1073000 | #Constraints: 31609
1615.00/1621.06 c #Conflicts: 1074000 | #Constraints: 32609
1615.00/1621.06 c #Conflicts: 1075000 | #Constraints: 33609
1615.00/1621.06 c #Conflicts: 1076000 | #Constraints: 34614
1615.00/1621.06 c #Conflicts: 1077000 | #Constraints: 35614
1615.00/1621.06 c #Conflicts: 1078000 | #Constraints: 36614
1615.00/1621.06 c #Conflicts: 1079000 | #Constraints: 37614
1615.00/1621.06 c #Conflicts: 1080000 | #Constraints: 38625
1615.00/1621.06 c #Conflicts: 1081000 | #Constraints: 39755
1615.00/1621.06 c #Conflicts: 1082000 | #Constraints: 40798
1615.00/1621.06 c #Conflicts: 1083000 | #Constraints: 41804
1615.00/1621.06 c INPROCESSING
1615.00/1621.06 c GARBAGE COLLECT
1615.00/1621.06 c rational objective 2.00004
1674.91/1681.15 c #Conflicts: 1084000 | #Constraints: 21953
1674.91/1681.15 c #Conflicts: 1085000 | #Constraints: 22961
1674.91/1681.15 c #Conflicts: 1086000 | #Constraints: 23965
1674.91/1681.15 c #Conflicts: 1087000 | #Constraints: 25008
1674.91/1681.15 c #Conflicts: 1088000 | #Constraints: 26008
1674.91/1681.15 c #Conflicts: 1089000 | #Constraints: 27021
1674.91/1681.15 c #Conflicts: 1090000 | #Constraints: 28029
1674.91/1681.15 c #Conflicts: 1091000 | #Constraints: 29158
1674.91/1681.15 c #Conflicts: 1092000 | #Constraints: 30193
1674.91/1681.15 c #Conflicts: 1093000 | #Constraints: 31194
1674.91/1681.15 c #Conflicts: 1094000 | #Constraints: 32198
1674.91/1681.15 c #Conflicts: 1095000 | #Constraints: 33204
1674.91/1681.15 c #Conflicts: 1096000 | #Constraints: 34213
1674.91/1681.15 c #Conflicts: 1097000 | #Constraints: 35223
1674.91/1681.15 c #Conflicts: 1098000 | #Constraints: 36272
1674.91/1681.15 c #Conflicts: 1099000 | #Constraints: 37343
1674.91/1681.15 c #Conflicts: 1100000 | #Constraints: 38407
1674.91/1681.15 c #Conflicts: 1101000 | #Constraints: 39428
1674.91/1681.15 c #Conflicts: 1102000 | #Constraints: 40428
1674.91/1681.15 c #Conflicts: 1103000 | #Constraints: 41444
1674.91/1681.15 c #Conflicts: 1104000 | #Constraints: 42444
1674.91/1681.15 c INPROCESSING
1674.91/1681.15 c GARBAGE COLLECT
1674.91/1681.15 c rational objective 2.00004
1722.54/1729.00 c #Conflicts: 1105000 | #Constraints: 22250
1722.54/1729.00 c #Conflicts: 1106000 | #Constraints: 23274
1722.54/1729.00 c #Conflicts: 1107000 | #Constraints: 24286
1722.54/1729.00 c #Conflicts: 1108000 | #Constraints: 25306
1722.54/1729.00 c #Conflicts: 1109000 | #Constraints: 26325
1722.54/1729.00 c #Conflicts: 1110000 | #Constraints: 27325
1722.54/1729.00 c #Conflicts: 1111000 | #Constraints: 28357
1722.54/1729.00 c #Conflicts: 1112000 | #Constraints: 29373
1722.54/1729.00 c #Conflicts: 1113000 | #Constraints: 30389
1722.54/1729.00 c #Conflicts: 1114000 | #Constraints: 31393
1722.54/1729.00 c #Conflicts: 1115000 | #Constraints: 32408
1722.54/1729.00 c #Conflicts: 1116000 | #Constraints: 33418
1722.54/1729.00 c #Conflicts: 1117000 | #Constraints: 34460
1722.54/1729.00 c #Conflicts: 1118000 | #Constraints: 35460
1722.54/1729.00 c #Conflicts: 1119000 | #Constraints: 36460
1722.54/1729.00 c #Conflicts: 1120000 | #Constraints: 37479
1722.54/1729.00 c #Conflicts: 1121000 | #Constraints: 38502
1722.54/1729.00 c #Conflicts: 1122000 | #Constraints: 39514
1722.54/1729.00 c #Conflicts: 1123000 | #Constraints: 40532
1722.54/1729.00 c #Conflicts: 1124000 | #Constraints: 41549
1722.54/1729.00 c #Conflicts: 1125000 | #Constraints: 42567
1722.54/1729.00 c INPROCESSING
1722.54/1729.00 c GARBAGE COLLECT
1722.54/1729.00 c rational objective 2.01276
1765.59/1772.13 c #Conflicts: 1126000 | #Constraints: 22206
1765.59/1772.13 c #Conflicts: 1127000 | #Constraints: 23219
1765.59/1772.13 c #Conflicts: 1128000 | #Constraints: 24244
1765.59/1772.13 c #Conflicts: 1129000 | #Constraints: 25337
1765.59/1772.13 c #Conflicts: 1130000 | #Constraints: 26419
1765.59/1772.13 c #Conflicts: 1131000 | #Constraints: 27474
1765.59/1772.13 c #Conflicts: 1132000 | #Constraints: 28556
1765.59/1772.13 c #Conflicts: 1133000 | #Constraints: 29628
1765.59/1772.13 c #Conflicts: 1134000 | #Constraints: 30712
1765.59/1772.13 c #Conflicts: 1135000 | #Constraints: 31794
1765.59/1772.13 c #Conflicts: 1136000 | #Constraints: 32885
1765.59/1772.13 c #Conflicts: 1137000 | #Constraints: 33931
1765.59/1772.13 c #Conflicts: 1138000 | #Constraints: 35018
1765.59/1772.13 c #Conflicts: 1139000 | #Constraints: 36068
1765.59/1772.13 c #Conflicts: 1140000 | #Constraints: 37068
1765.59/1772.13 c #Conflicts: 1141000 | #Constraints: 38068
1765.59/1772.13 c #Conflicts: 1142000 | #Constraints: 39081
1765.59/1772.13 c #Conflicts: 1143000 | #Constraints: 40081
1765.59/1772.13 c #Conflicts: 1144000 | #Constraints: 41081
1765.59/1772.13 c #Conflicts: 1145000 | #Constraints: 42090
1765.59/1772.13 c #Conflicts: 1146000 | #Constraints: 43090
1765.59/1772.13 c INPROCESSING
1765.59/1772.13 c GARBAGE COLLECT
1765.59/1772.13 c rational objective 2.03332
1824.67/1831.49 c #Conflicts: 1147000 | #Constraints: 22251
1824.67/1831.49 c #Conflicts: 1148000 | #Constraints: 23261
1824.67/1831.49 c #Conflicts: 1149000 | #Constraints: 24261
1824.67/1831.49 c #Conflicts: 1150000 | #Constraints: 25261
1824.67/1831.49 c #Conflicts: 1151000 | #Constraints: 26281
1824.67/1831.49 c #Conflicts: 1152000 | #Constraints: 27282
1824.67/1831.49 c #Conflicts: 1153000 | #Constraints: 28294
1824.67/1831.49 c #Conflicts: 1154000 | #Constraints: 29295
1824.67/1831.49 c #Conflicts: 1155000 | #Constraints: 30296
1824.67/1831.49 c #Conflicts: 1156000 | #Constraints: 31331
1824.67/1831.49 c #Conflicts: 1157000 | #Constraints: 32342
1824.67/1831.49 c #Conflicts: 1158000 | #Constraints: 33342
1824.67/1831.49 c #Conflicts: 1159000 | #Constraints: 34345
1824.67/1831.49 c #Conflicts: 1160000 | #Constraints: 35354
1824.67/1831.49 c #Conflicts: 1161000 | #Constraints: 36364
1824.67/1831.49 c #Conflicts: 1162000 | #Constraints: 37412
1824.67/1831.49 c #Conflicts: 1163000 | #Constraints: 38412
1824.67/1831.49 c #Conflicts: 1164000 | #Constraints: 39412
1824.67/1831.49 c #Conflicts: 1165000 | #Constraints: 40412
1824.67/1831.49 c #Conflicts: 1166000 | #Constraints: 41412
1824.67/1831.49 c #Conflicts: 1167000 | #Constraints: 42418
1824.67/1831.49 c #Conflicts: 1168000 | #Constraints: 43421
1824.67/1831.49 c INPROCESSING
1824.67/1831.49 c GARBAGE COLLECT
1824.67/1831.49 c rational objective 2.00002
1889.42/1896.47 c #Conflicts: 1169000 | #Constraints: 22754
1889.42/1896.47 c #Conflicts: 1170000 | #Constraints: 23824
1889.42/1896.47 c #Conflicts: 1171000 | #Constraints: 24908
1889.42/1896.47 c #Conflicts: 1172000 | #Constraints: 25922
1889.42/1896.47 c #Conflicts: 1173000 | #Constraints: 26928
1889.42/1896.47 c #Conflicts: 1174000 | #Constraints: 27933
1889.42/1896.47 c #Conflicts: 1175000 | #Constraints: 28958
1889.42/1896.47 c #Conflicts: 1176000 | #Constraints: 29963
1889.42/1896.47 c #Conflicts: 1177000 | #Constraints: 31021
1889.42/1896.47 c #Conflicts: 1178000 | #Constraints: 32065
1889.42/1896.47 c #Conflicts: 1179000 | #Constraints: 33129
1889.42/1896.47 c #Conflicts: 1180000 | #Constraints: 34142
1889.42/1896.47 c #Conflicts: 1181000 | #Constraints: 35163
1889.42/1896.47 c #Conflicts: 1182000 | #Constraints: 36178
1889.42/1896.47 c #Conflicts: 1183000 | #Constraints: 37201
1889.42/1896.47 c #Conflicts: 1184000 | #Constraints: 38267
1889.42/1896.47 c #Conflicts: 1185000 | #Constraints: 39329
1889.42/1896.47 c #Conflicts: 1186000 | #Constraints: 40382
1889.42/1896.47 c #Conflicts: 1187000 | #Constraints: 41470
1889.42/1896.47 c #Conflicts: 1188000 | #Constraints: 42542
1889.42/1896.47 c #Conflicts: 1189000 | #Constraints: 43571
1889.42/1896.47 c #Conflicts: 1190000 | #Constraints: 44634
1889.42/1896.47 c INPROCESSING
1889.42/1896.47 c GARBAGE COLLECT
1889.42/1896.47 c rational objective 2.00003
1953.10/1960.35 c #Conflicts: 1191000 | #Constraints: 23332
1953.10/1960.35 c #Conflicts: 1192000 | #Constraints: 24334
1953.10/1960.35 c #Conflicts: 1193000 | #Constraints: 25336
1953.10/1960.35 c #Conflicts: 1194000 | #Constraints: 26345
1953.10/1960.35 c #Conflicts: 1195000 | #Constraints: 27345
1953.10/1960.35 c #Conflicts: 1196000 | #Constraints: 28345
1953.10/1960.35 c #Conflicts: 1197000 | #Constraints: 29345
1953.10/1960.35 c #Conflicts: 1198000 | #Constraints: 30345
1953.10/1960.35 c #Conflicts: 1199000 | #Constraints: 31348
1953.10/1960.35 c #Conflicts: 1200000 | #Constraints: 32370
1953.10/1960.35 c #Conflicts: 1201000 | #Constraints: 33403
1953.10/1960.35 c #Conflicts: 1202000 | #Constraints: 34448
1953.10/1960.35 c #Conflicts: 1203000 | #Constraints: 35501
1953.10/1960.35 c #Conflicts: 1204000 | #Constraints: 36552
1953.10/1960.35 c #Conflicts: 1205000 | #Constraints: 37661
1953.10/1960.35 c #Conflicts: 1206000 | #Constraints: 38682
1953.10/1960.35 c #Conflicts: 1207000 | #Constraints: 39686
1953.10/1960.35 c #Conflicts: 1208000 | #Constraints: 40709
1953.10/1960.35 c #Conflicts: 1209000 | #Constraints: 41739
1953.10/1960.35 c #Conflicts: 1210000 | #Constraints: 42759
1953.10/1960.35 c #Conflicts: 1211000 | #Constraints: 43813
1953.10/1960.35 c #Conflicts: 1212000 | #Constraints: 44856
1953.10/1960.35 c INPROCESSING
1953.10/1960.35 c GARBAGE COLLECT
1953.10/1960.35 c rational objective 2.00003
2046.68/2054.21 c #Conflicts: 1213000 | #Constraints: 23471
2046.68/2054.21 c #Conflicts: 1214000 | #Constraints: 24513
2046.68/2054.21 c #Conflicts: 1215000 | #Constraints: 25553
2046.68/2054.21 c #Conflicts: 1216000 | #Constraints: 26588
2046.68/2054.21 c #Conflicts: 1217000 | #Constraints: 27590
2046.68/2054.21 c #Conflicts: 1218000 | #Constraints: 28590
2046.68/2054.21 c #Conflicts: 1219000 | #Constraints: 29590
2046.68/2054.21 c #Conflicts: 1220000 | #Constraints: 30590
2046.68/2054.21 c #Conflicts: 1221000 | #Constraints: 31600
2046.68/2054.21 c #Conflicts: 1222000 | #Constraints: 32616
2046.68/2054.21 c #Conflicts: 1223000 | #Constraints: 33618
2046.68/2054.21 c #Conflicts: 1224000 | #Constraints: 34638
2046.68/2054.21 c #Conflicts: 1225000 | #Constraints: 35650
2046.68/2054.21 c #Conflicts: 1226000 | #Constraints: 36681
2046.68/2054.21 c #Conflicts: 1227000 | #Constraints: 37699
2046.68/2054.21 c #Conflicts: 1228000 | #Constraints: 38707
2046.68/2054.21 c #Conflicts: 1229000 | #Constraints: 39725
2046.68/2054.21 c #Conflicts: 1230000 | #Constraints: 40726
2046.68/2054.21 c #Conflicts: 1231000 | #Constraints: 41726
2046.68/2054.21 c #Conflicts: 1232000 | #Constraints: 42726
2046.68/2054.21 c #Conflicts: 1233000 | #Constraints: 43726
2046.68/2054.21 c #Conflicts: 1234000 | #Constraints: 44726
2046.68/2054.21 c INPROCESSING
2046.68/2054.21 c GARBAGE COLLECT
2046.68/2054.21 c #Conflicts: 1235000 | #Constraints: 23271
2046.68/2054.21 c #Conflicts: 1236000 | #Constraints: 24285
2046.68/2054.21 c #Conflicts: 1237000 | #Constraints: 25369
2046.68/2054.21 c #Conflicts: 1238000 | #Constraints: 26377
2046.68/2054.21 c #Conflicts: 1239000 | #Constraints: 27377
2046.68/2054.21 c #Conflicts: 1240000 | #Constraints: 28377
2046.68/2054.21 c #Conflicts: 1241000 | #Constraints: 29377
2046.68/2054.21 c #Conflicts: 1242000 | #Constraints: 30377
2046.68/2054.21 c #Conflicts: 1243000 | #Constraints: 31377
2046.68/2054.21 c #Conflicts: 1244000 | #Constraints: 32377
2046.68/2054.21 c #Conflicts: 1245000 | #Constraints: 33377
2046.68/2054.21 c #Conflicts: 1246000 | #Constraints: 34377
2046.68/2054.21 c #Conflicts: 1247000 | #Constraints: 35377
2046.68/2054.21 c #Conflicts: 1248000 | #Constraints: 36377
2046.68/2054.21 c #Conflicts: 1249000 | #Constraints: 37377
2046.68/2054.21 c #Conflicts: 1250000 | #Constraints: 38377
2046.68/2054.21 c #Conflicts: 1251000 | #Constraints: 39377
2046.68/2054.21 c #Conflicts: 1252000 | #Constraints: 40377
2046.68/2054.21 c #Conflicts: 1253000 | #Constraints: 41377
2046.68/2054.21 c #Conflicts: 1254000 | #Constraints: 42377
2046.68/2054.21 c #Conflicts: 1255000 | #Constraints: 43377
2046.68/2054.21 c #Conflicts: 1256000 | #Constraints: 44377
2046.68/2054.21 c INPROCESSING
2046.68/2054.21 c GARBAGE COLLECT
2046.68/2054.21 c rational objective 2.00005
2098.19/2105.93 c #Conflicts: 1257000 | #Constraints: 22913
2098.19/2105.93 c #Conflicts: 1258000 | #Constraints: 23974
2098.19/2105.93 c #Conflicts: 1259000 | #Constraints: 24994
2098.19/2105.93 c #Conflicts: 1260000 | #Constraints: 25994
2098.19/2105.93 c #Conflicts: 1261000 | #Constraints: 27017
2098.19/2105.93 c #Conflicts: 1262000 | #Constraints: 28027
2098.19/2105.93 c #Conflicts: 1263000 | #Constraints: 29041
2098.19/2105.93 c #Conflicts: 1264000 | #Constraints: 30089
2098.19/2105.93 c #Conflicts: 1265000 | #Constraints: 31089
2098.19/2105.93 c #Conflicts: 1266000 | #Constraints: 32123
2098.19/2105.93 c #Conflicts: 1267000 | #Constraints: 33123
2098.19/2105.93 c #Conflicts: 1268000 | #Constraints: 34123
2098.19/2105.93 c #Conflicts: 1269000 | #Constraints: 35123
2098.19/2105.93 c #Conflicts: 1270000 | #Constraints: 36123
2098.19/2105.93 c #Conflicts: 1271000 | #Constraints: 37123
2098.19/2105.93 c #Conflicts: 1272000 | #Constraints: 38123
2098.19/2105.93 c #Conflicts: 1273000 | #Constraints: 39123
2098.19/2105.93 c #Conflicts: 1274000 | #Constraints: 40123
2098.19/2105.93 c #Conflicts: 1275000 | #Constraints: 41123
2098.19/2105.93 c #Conflicts: 1276000 | #Constraints: 42123
2098.19/2105.93 c #Conflicts: 1277000 | #Constraints: 43123
2098.19/2105.93 c #Conflicts: 1278000 | #Constraints: 44123
2098.19/2105.93 c #Conflicts: 1279000 | #Constraints: 45123
2098.19/2105.93 c INPROCESSING
2098.19/2105.93 c GARBAGE COLLECT
2098.19/2105.93 c rational objective 2.00002
2149.40/2157.33 c #Conflicts: 1280000 | #Constraints: 23470
2149.40/2157.33 c #Conflicts: 1281000 | #Constraints: 24470
2149.40/2157.33 c #Conflicts: 1282000 | #Constraints: 25470
2149.40/2157.33 c #Conflicts: 1283000 | #Constraints: 26470
2149.40/2157.33 c #Conflicts: 1284000 | #Constraints: 27470
2149.40/2157.33 c #Conflicts: 1285000 | #Constraints: 28470
2149.40/2157.33 c #Conflicts: 1286000 | #Constraints: 29480
2149.40/2157.33 c #Conflicts: 1287000 | #Constraints: 30480
2149.40/2157.33 c #Conflicts: 1288000 | #Constraints: 31504
2149.40/2157.33 c #Conflicts: 1289000 | #Constraints: 32524
2149.40/2157.33 c #Conflicts: 1290000 | #Constraints: 33548
2149.40/2157.33 c #Conflicts: 1291000 | #Constraints: 34569
2149.40/2157.33 c #Conflicts: 1292000 | #Constraints: 35598
2149.40/2157.33 c #Conflicts: 1293000 | #Constraints: 36612
2149.40/2157.33 c #Conflicts: 1294000 | #Constraints: 37612
2149.40/2157.33 c #Conflicts: 1295000 | #Constraints: 38613
2149.40/2157.33 c #Conflicts: 1296000 | #Constraints: 39665
2149.40/2157.33 c #Conflicts: 1297000 | #Constraints: 40709
2149.40/2157.33 c #Conflicts: 1298000 | #Constraints: 41730
2149.40/2157.33 c #Conflicts: 1299000 | #Constraints: 42731
2149.40/2157.33 c #Conflicts: 1300000 | #Constraints: 43775
2149.40/2157.33 c #Conflicts: 1301000 | #Constraints: 44870
2149.40/2157.33 c #Conflicts: 1302000 | #Constraints: 45952
2149.40/2157.33 c INPROCESSING
2149.40/2157.33 c GARBAGE COLLECT
2149.40/2157.33 c rational objective 2.00002
2212.89/2221.07 c #Conflicts: 1303000 | #Constraints: 24015
2212.89/2221.07 c #Conflicts: 1304000 | #Constraints: 25018
2212.89/2221.07 c #Conflicts: 1305000 | #Constraints: 26041
2212.89/2221.07 c #Conflicts: 1306000 | #Constraints: 27056
2212.89/2221.07 c #Conflicts: 1307000 | #Constraints: 28061
2212.89/2221.07 c #Conflicts: 1308000 | #Constraints: 29062
2212.89/2221.07 c #Conflicts: 1309000 | #Constraints: 30062
2212.89/2221.07 c #Conflicts: 1310000 | #Constraints: 31062
2212.89/2221.07 c #Conflicts: 1311000 | #Constraints: 32062
2212.89/2221.07 c #Conflicts: 1312000 | #Constraints: 33062
2212.89/2221.07 c #Conflicts: 1313000 | #Constraints: 34062
2212.89/2221.07 c #Conflicts: 1314000 | #Constraints: 35062
2212.89/2221.07 c #Conflicts: 1315000 | #Constraints: 36062
2212.89/2221.07 c #Conflicts: 1316000 | #Constraints: 37062
2212.89/2221.07 c #Conflicts: 1317000 | #Constraints: 38062
2212.89/2221.07 c #Conflicts: 1318000 | #Constraints: 39062
2212.89/2221.07 c #Conflicts: 1319000 | #Constraints: 40062
2212.89/2221.07 c #Conflicts: 1320000 | #Constraints: 41062
2212.89/2221.07 c #Conflicts: 1321000 | #Constraints: 42062
2212.89/2221.07 c #Conflicts: 1322000 | #Constraints: 43062
2212.89/2221.07 c #Conflicts: 1323000 | #Constraints: 44062
2212.89/2221.07 c #Conflicts: 1324000 | #Constraints: 45062
2212.89/2221.07 c #Conflicts: 1325000 | #Constraints: 46062
2212.89/2221.07 c INPROCESSING
2212.89/2221.07 c GARBAGE COLLECT
2212.89/2221.07 c rational objective 2.00002
2254.03/2262.34 c #Conflicts: 1326000 | #Constraints: 24064
2254.03/2262.34 c #Conflicts: 1327000 | #Constraints: 25081
2254.03/2262.34 c #Conflicts: 1328000 | #Constraints: 26114
2254.03/2262.34 c #Conflicts: 1329000 | #Constraints: 27114
2254.03/2262.34 c #Conflicts: 1330000 | #Constraints: 28114
2254.03/2262.34 c #Conflicts: 1331000 | #Constraints: 29114
2254.03/2262.34 c #Conflicts: 1332000 | #Constraints: 30114
2254.03/2262.34 c #Conflicts: 1333000 | #Constraints: 31114
2254.03/2262.34 c #Conflicts: 1334000 | #Constraints: 32114
2254.03/2262.34 c #Conflicts: 1335000 | #Constraints: 33114
2254.03/2262.34 c #Conflicts: 1336000 | #Constraints: 34114
2254.03/2262.34 c #Conflicts: 1337000 | #Constraints: 35114
2254.03/2262.34 c #Conflicts: 1338000 | #Constraints: 36114
2254.03/2262.34 c #Conflicts: 1339000 | #Constraints: 37114
2254.03/2262.34 c #Conflicts: 1340000 | #Constraints: 38114
2254.03/2262.34 c #Conflicts: 1341000 | #Constraints: 39114
2254.03/2262.34 c #Conflicts: 1342000 | #Constraints: 40114
2254.03/2262.34 c #Conflicts: 1343000 | #Constraints: 41114
2254.03/2262.34 c #Conflicts: 1344000 | #Constraints: 42114
2254.03/2262.34 c #Conflicts: 1345000 | #Constraints: 43114
2254.03/2262.34 c #Conflicts: 1346000 | #Constraints: 44114
2254.03/2262.34 c #Conflicts: 1347000 | #Constraints: 45114
2254.03/2262.34 c #Conflicts: 1348000 | #Constraints: 46114
2254.03/2262.34 c INPROCESSING
2254.03/2262.34 c GARBAGE COLLECT
2254.03/2262.34 c rational objective 2.00002
2328.66/2337.24 c #Conflicts: 1349000 | #Constraints: 23977
2328.66/2337.24 c #Conflicts: 1350000 | #Constraints: 24977
2328.66/2337.24 c #Conflicts: 1351000 | #Constraints: 25977
2328.66/2337.24 c #Conflicts: 1352000 | #Constraints: 26977
2328.66/2337.24 c #Conflicts: 1353000 | #Constraints: 27977
2328.66/2337.24 c #Conflicts: 1354000 | #Constraints: 28977
2328.66/2337.24 c #Conflicts: 1355000 | #Constraints: 29977
2328.66/2337.24 c #Conflicts: 1356000 | #Constraints: 30977
2328.66/2337.24 c #Conflicts: 1357000 | #Constraints: 31977
2328.66/2337.24 c #Conflicts: 1358000 | #Constraints: 32977
2328.66/2337.24 c #Conflicts: 1359000 | #Constraints: 33977
2328.66/2337.24 c #Conflicts: 1360000 | #Constraints: 34977
2328.66/2337.24 c #Conflicts: 1361000 | #Constraints: 36022
2328.66/2337.24 c #Conflicts: 1362000 | #Constraints: 37034
2328.66/2337.24 c #Conflicts: 1363000 | #Constraints: 38034
2328.66/2337.24 c #Conflicts: 1364000 | #Constraints: 39034
2328.66/2337.24 c #Conflicts: 1365000 | #Constraints: 40034
2328.66/2337.24 c #Conflicts: 1366000 | #Constraints: 41034
2328.66/2337.24 c #Conflicts: 1367000 | #Constraints: 42034
2328.66/2337.24 c #Conflicts: 1368000 | #Constraints: 43034
2328.66/2337.24 c #Conflicts: 1369000 | #Constraints: 44034
2328.66/2337.24 c #Conflicts: 1370000 | #Constraints: 45034
2328.66/2337.24 c #Conflicts: 1371000 | #Constraints: 46034
2328.66/2337.24 c INPROCESSING
2328.66/2337.24 c GARBAGE COLLECT
2328.66/2337.24 c rational objective 2.00002
2386.97/2395.73 c #Conflicts: 1372000 | #Constraints: 23738
2386.97/2395.73 c #Conflicts: 1373000 | #Constraints: 24820
2386.97/2395.73 c #Conflicts: 1374000 | #Constraints: 25861
2386.97/2395.73 c #Conflicts: 1375000 | #Constraints: 26902
2386.97/2395.73 c #Conflicts: 1376000 | #Constraints: 27914
2386.97/2395.73 c #Conflicts: 1377000 | #Constraints: 28920
2386.97/2395.73 c #Conflicts: 1378000 | #Constraints: 29942
2386.97/2395.73 c #Conflicts: 1379000 | #Constraints: 30962
2386.97/2395.73 c #Conflicts: 1380000 | #Constraints: 32025
2386.97/2395.73 c #Conflicts: 1381000 | #Constraints: 33040
2386.97/2395.73 c #Conflicts: 1382000 | #Constraints: 34075
2386.97/2395.73 c #Conflicts: 1383000 | #Constraints: 35075
2386.97/2395.73 c #Conflicts: 1384000 | #Constraints: 36075
2386.97/2395.73 c #Conflicts: 1385000 | #Constraints: 37075
2386.97/2395.73 c #Conflicts: 1386000 | #Constraints: 38075
2386.97/2395.73 c #Conflicts: 1387000 | #Constraints: 39075
2386.97/2395.73 c #Conflicts: 1388000 | #Constraints: 40075
2386.97/2395.73 c #Conflicts: 1389000 | #Constraints: 41075
2386.97/2395.73 c #Conflicts: 1390000 | #Constraints: 42076
2386.97/2395.73 c #Conflicts: 1391000 | #Constraints: 43076
2386.97/2395.73 c #Conflicts: 1392000 | #Constraints: 44076
2386.97/2395.73 c #Conflicts: 1393000 | #Constraints: 45076
2386.97/2395.73 c #Conflicts: 1394000 | #Constraints: 46076
2386.97/2395.73 c #Conflicts: 1395000 | #Constraints: 47076
2386.97/2395.73 c INPROCESSING
2386.97/2395.73 c GARBAGE COLLECT
2386.97/2395.73 c rational objective 2.00003
2443.27/2452.23 c #Conflicts: 1396000 | #Constraints: 24457
2443.27/2452.23 c #Conflicts: 1397000 | #Constraints: 25482
2443.27/2452.23 c #Conflicts: 1398000 | #Constraints: 26515
2443.27/2452.23 c #Conflicts: 1399000 | #Constraints: 27537
2443.27/2452.23 c #Conflicts: 1400000 | #Constraints: 28630
2443.27/2452.23 c #Conflicts: 1401000 | #Constraints: 29671
2443.27/2452.23 c #Conflicts: 1402000 | #Constraints: 30685
2443.27/2452.23 c #Conflicts: 1403000 | #Constraints: 31717
2443.27/2452.23 c #Conflicts: 1404000 | #Constraints: 32787
2443.27/2452.23 c #Conflicts: 1405000 | #Constraints: 33891
2443.27/2452.23 c #Conflicts: 1406000 | #Constraints: 34989
2443.27/2452.23 c #Conflicts: 1407000 | #Constraints: 36027
2443.27/2452.23 c #Conflicts: 1408000 | #Constraints: 37062
2443.27/2452.23 c #Conflicts: 1409000 | #Constraints: 38096
2443.27/2452.23 c #Conflicts: 1410000 | #Constraints: 39180
2443.27/2452.23 c #Conflicts: 1411000 | #Constraints: 40268
2443.27/2452.23 c #Conflicts: 1412000 | #Constraints: 41354
2443.27/2452.23 c #Conflicts: 1413000 | #Constraints: 42459
2443.27/2452.23 c #Conflicts: 1414000 | #Constraints: 43568
2443.27/2452.23 c #Conflicts: 1415000 | #Constraints: 44690
2443.27/2452.23 c #Conflicts: 1416000 | #Constraints: 45761
2443.27/2452.23 c #Conflicts: 1417000 | #Constraints: 46796
2443.27/2452.23 c #Conflicts: 1418000 | #Constraints: 47886
2443.27/2452.23 c #Conflicts: 1419000 | #Constraints: 48924
2443.27/2452.23 c INPROCESSING
2443.27/2452.23 c GARBAGE COLLECT
2443.27/2452.23 c rational objective 2.00003
2535.66/2544.94 c #Conflicts: 1420000 | #Constraints: 25516
2535.66/2544.94 c #Conflicts: 1421000 | #Constraints: 26562
2535.66/2544.94 c #Conflicts: 1422000 | #Constraints: 27569
2535.66/2544.94 c #Conflicts: 1423000 | #Constraints: 28583
2535.66/2544.94 c #Conflicts: 1424000 | #Constraints: 29613
2535.66/2544.94 c #Conflicts: 1425000 | #Constraints: 30655
2535.66/2544.94 c #Conflicts: 1426000 | #Constraints: 31703
2535.66/2544.94 c #Conflicts: 1427000 | #Constraints: 32753
2535.66/2544.94 c #Conflicts: 1428000 | #Constraints: 33753
2535.66/2544.94 c #Conflicts: 1429000 | #Constraints: 34753
2535.66/2544.94 c #Conflicts: 1430000 | #Constraints: 35753
2535.66/2544.94 c #Conflicts: 1431000 | #Constraints: 36753
2535.66/2544.94 c #Conflicts: 1432000 | #Constraints: 37753
2535.66/2544.94 c #Conflicts: 1433000 | #Constraints: 38753
2535.66/2544.94 c #Conflicts: 1434000 | #Constraints: 39757
2535.66/2544.94 c #Conflicts: 1435000 | #Constraints: 40779
2535.66/2544.94 c #Conflicts: 1436000 | #Constraints: 41788
2535.66/2544.94 c #Conflicts: 1437000 | #Constraints: 42864
2535.66/2544.94 c #Conflicts: 1438000 | #Constraints: 43869
2535.66/2544.94 c #Conflicts: 1439000 | #Constraints: 44877
2535.66/2544.94 c #Conflicts: 1440000 | #Constraints: 45877
2535.66/2544.94 c #Conflicts: 1441000 | #Constraints: 46899
2535.66/2544.94 c #Conflicts: 1442000 | #Constraints: 47918
2535.66/2544.94 c #Conflicts: 1443000 | #Constraints: 48939
2535.66/2544.94 c INPROCESSING
2535.66/2544.94 c GARBAGE COLLECT
2535.66/2544.94 c rational objective 2.00003
2614.44/2624.18 c #Conflicts: 1444000 | #Constraints: 25488
2614.44/2624.18 c #Conflicts: 1445000 | #Constraints: 26488
2614.44/2624.18 c #Conflicts: 1446000 | #Constraints: 27488
2614.44/2624.18 c #Conflicts: 1447000 | #Constraints: 28488
2614.44/2624.18 c #Conflicts: 1448000 | #Constraints: 29505
2614.44/2624.18 c #Conflicts: 1449000 | #Constraints: 30505
2614.44/2624.18 c #Conflicts: 1450000 | #Constraints: 31519
2614.44/2624.18 c #Conflicts: 1451000 | #Constraints: 32528
2614.44/2624.18 c #Conflicts: 1452000 | #Constraints: 33528
2614.44/2624.18 c #Conflicts: 1453000 | #Constraints: 34543
2614.44/2624.18 c #Conflicts: 1454000 | #Constraints: 35543
2614.44/2624.18 c #Conflicts: 1455000 | #Constraints: 36555
2614.44/2624.18 c #Conflicts: 1456000 | #Constraints: 37561
2614.44/2624.18 c #Conflicts: 1457000 | #Constraints: 38561
2614.44/2624.18 c #Conflicts: 1458000 | #Constraints: 39567
2614.44/2624.18 c #Conflicts: 1459000 | #Constraints: 40572
2614.44/2624.18 c #Conflicts: 1460000 | #Constraints: 41572
2614.44/2624.18 c #Conflicts: 1461000 | #Constraints: 42584
2614.44/2624.18 c #Conflicts: 1462000 | #Constraints: 43618
2614.44/2624.18 c #Conflicts: 1463000 | #Constraints: 44633
2614.44/2624.18 c #Conflicts: 1464000 | #Constraints: 45645
2614.44/2624.18 c #Conflicts: 1465000 | #Constraints: 46701
2614.44/2624.18 c #Conflicts: 1466000 | #Constraints: 47767
2614.44/2624.18 c #Conflicts: 1467000 | #Constraints: 48800
2614.44/2624.18 c INPROCESSING
2614.44/2624.18 c GARBAGE COLLECT
2614.44/2624.18 c rational objective 2.00003
2686.99/2696.91 c #Conflicts: 1468000 | #Constraints: 25369
2686.99/2696.91 c #Conflicts: 1469000 | #Constraints: 26378
2686.99/2696.91 c #Conflicts: 1470000 | #Constraints: 27389
2686.99/2696.91 c #Conflicts: 1471000 | #Constraints: 28414
2686.99/2696.91 c #Conflicts: 1472000 | #Constraints: 29436
2686.99/2696.91 c #Conflicts: 1473000 | #Constraints: 30482
2686.99/2696.91 c #Conflicts: 1474000 | #Constraints: 31509
2686.99/2696.91 c #Conflicts: 1475000 | #Constraints: 32587
2686.99/2696.91 c #Conflicts: 1476000 | #Constraints: 33640
2686.99/2696.91 c #Conflicts: 1477000 | #Constraints: 34683
2686.99/2696.91 c #Conflicts: 1478000 | #Constraints: 35708
2686.99/2696.91 c #Conflicts: 1479000 | #Constraints: 36729
2686.99/2696.91 c #Conflicts: 1480000 | #Constraints: 37766
2686.99/2696.91 c #Conflicts: 1481000 | #Constraints: 38806
2686.99/2696.91 c #Conflicts: 1482000 | #Constraints: 39856
2686.99/2696.91 c #Conflicts: 1483000 | #Constraints: 40915
2686.99/2696.91 c #Conflicts: 1484000 | #Constraints: 41962
2686.99/2696.91 c #Conflicts: 1485000 | #Constraints: 42989
2686.99/2696.91 c #Conflicts: 1486000 | #Constraints: 44029
2686.99/2696.91 c #Conflicts: 1487000 | #Constraints: 45051
2686.99/2696.91 c #Conflicts: 1488000 | #Constraints: 46072
2686.99/2696.91 c #Conflicts: 1489000 | #Constraints: 47094
2686.99/2696.91 c #Conflicts: 1490000 | #Constraints: 48132
2686.99/2696.91 c #Conflicts: 1491000 | #Constraints: 49156
2686.99/2696.91 c INPROCESSING
2686.99/2696.91 c GARBAGE COLLECT
2686.99/2696.91 c rational objective 2.00004
2835.92/2846.43 c #Conflicts: 1492000 | #Constraints: 25297
2835.92/2846.43 c #Conflicts: 1493000 | #Constraints: 26318
2835.92/2846.43 c #Conflicts: 1494000 | #Constraints: 27319
2835.92/2846.43 c #Conflicts: 1495000 | #Constraints: 28319
2835.92/2846.43 c #Conflicts: 1496000 | #Constraints: 29358
2835.92/2846.43 c #Conflicts: 1497000 | #Constraints: 30358
2835.92/2846.43 c #Conflicts: 1498000 | #Constraints: 31361
2835.92/2846.43 c #Conflicts: 1499000 | #Constraints: 32380
2835.92/2846.43 c #Conflicts: 1500000 | #Constraints: 33470
2835.92/2846.43 c #Conflicts: 1501000 | #Constraints: 34522
2835.92/2846.43 c #Conflicts: 1502000 | #Constraints: 35712
2835.92/2846.43 c #Conflicts: 1503000 | #Constraints: 36750
2835.92/2846.43 c #Conflicts: 1504000 | #Constraints: 37825
2835.92/2846.43 c #Conflicts: 1505000 | #Constraints: 38901
2835.92/2846.43 c #Conflicts: 1506000 | #Constraints: 39919
2835.92/2846.43 c #Conflicts: 1507000 | #Constraints: 40950
2835.92/2846.43 c #Conflicts: 1508000 | #Constraints: 41991
2835.92/2846.43 c #Conflicts: 1509000 | #Constraints: 43049
2835.92/2846.43 c #Conflicts: 1510000 | #Constraints: 44146
2835.92/2846.43 c #Conflicts: 1511000 | #Constraints: 45205
2835.92/2846.43 c #Conflicts: 1512000 | #Constraints: 46287
2835.92/2846.43 c #Conflicts: 1513000 | #Constraints: 47374
2835.92/2846.43 c #Conflicts: 1514000 | #Constraints: 48448
2835.92/2846.43 c #Conflicts: 1515000 | #Constraints: 49494
2835.92/2846.43 c #Conflicts: 1516000 | #Constraints: 50562
2835.92/2846.43 c INPROCESSING
2835.92/2846.43 c GARBAGE COLLECT
2835.92/2846.43 c #Conflicts: 1517000 | #Constraints: 26190
2835.92/2846.43 c #Conflicts: 1518000 | #Constraints: 27190
2835.92/2846.43 c #Conflicts: 1519000 | #Constraints: 28190
2835.92/2846.43 c #Conflicts: 1520000 | #Constraints: 29190
2835.92/2846.43 c #Conflicts: 1521000 | #Constraints: 30214
2835.92/2846.43 c #Conflicts: 1522000 | #Constraints: 31257
2835.92/2846.43 c #Conflicts: 1523000 | #Constraints: 32286
2835.92/2846.43 c #Conflicts: 1524000 | #Constraints: 33334
2835.92/2846.43 c #Conflicts: 1525000 | #Constraints: 34369
2835.92/2846.43 c #Conflicts: 1526000 | #Constraints: 35405
2835.92/2846.43 c #Conflicts: 1527000 | #Constraints: 36428
2835.92/2846.43 c #Conflicts: 1528000 | #Constraints: 37475
2835.92/2846.43 c #Conflicts: 1529000 | #Constraints: 38533
2835.92/2846.43 c #Conflicts: 1530000 | #Constraints: 39595
2835.92/2846.43 c #Conflicts: 1531000 | #Constraints: 40622
2835.92/2846.43 c #Conflicts: 1532000 | #Constraints: 41705
2835.92/2846.43 c #Conflicts: 1533000 | #Constraints: 42824
2835.92/2846.43 c #Conflicts: 1534000 | #Constraints: 43918
2835.92/2846.43 c #Conflicts: 1535000 | #Constraints: 45002
2835.92/2846.43 c #Conflicts: 1536000 | #Constraints: 46089
2835.92/2846.43 c #Conflicts: 1537000 | #Constraints: 47172
2835.92/2846.43 c #Conflicts: 1538000 | #Constraints: 48233
2835.92/2846.43 c #Conflicts: 1539000 | #Constraints: 49303
2835.92/2846.43 c #Conflicts: 1540000 | #Constraints: 50366
2835.92/2846.43 c #Conflicts: 1541000 | #Constraints: 51393
2835.92/2846.43 c INPROCESSING
2835.92/2846.43 c GARBAGE COLLECT
2835.92/2846.43 c rational objective 2.00005
2894.20/2904.99 c #Conflicts: 1542000 | #Constraints: 26713
2894.20/2904.99 c #Conflicts: 1543000 | #Constraints: 27713
2894.20/2904.99 c #Conflicts: 1544000 | #Constraints: 28733
2894.20/2904.99 c #Conflicts: 1545000 | #Constraints: 29769
2894.20/2904.99 c #Conflicts: 1546000 | #Constraints: 30785
2894.20/2904.99 c #Conflicts: 1547000 | #Constraints: 31799
2894.20/2904.99 c #Conflicts: 1548000 | #Constraints: 32842
2894.20/2904.99 c #Conflicts: 1549000 | #Constraints: 33944
2894.20/2904.99 c #Conflicts: 1550000 | #Constraints: 34981
2894.20/2904.99 c #Conflicts: 1551000 | #Constraints: 36065
2894.20/2904.99 c #Conflicts: 1552000 | #Constraints: 37102
2894.20/2904.99 c #Conflicts: 1553000 | #Constraints: 38147
2894.20/2904.99 c #Conflicts: 1554000 | #Constraints: 39193
2894.20/2904.99 c #Conflicts: 1555000 | #Constraints: 40223
2894.20/2904.99 c #Conflicts: 1556000 | #Constraints: 41223
2894.20/2904.99 c #Conflicts: 1557000 | #Constraints: 42223
2894.20/2904.99 c #Conflicts: 1558000 | #Constraints: 43229
2894.20/2904.99 c #Conflicts: 1559000 | #Constraints: 44255
2894.20/2904.99 c #Conflicts: 1560000 | #Constraints: 45255
2894.20/2904.99 c #Conflicts: 1561000 | #Constraints: 46258
2894.20/2904.99 c #Conflicts: 1562000 | #Constraints: 47323
2894.20/2904.99 c #Conflicts: 1563000 | #Constraints: 48368
2894.20/2904.99 c #Conflicts: 1564000 | #Constraints: 49457
2894.20/2904.99 c #Conflicts: 1565000 | #Constraints: 50483
2894.20/2904.99 c #Conflicts: 1566000 | #Constraints: 51483
2894.20/2904.99 c INPROCESSING
2894.20/2904.99 c GARBAGE COLLECT
2894.20/2904.99 c rational objective 2.00005
2960.33/2971.34 c #Conflicts: 1567000 | #Constraints: 26767
2960.33/2971.34 c #Conflicts: 1568000 | #Constraints: 27775
2960.33/2971.34 c #Conflicts: 1569000 | #Constraints: 28775
2960.33/2971.34 c #Conflicts: 1570000 | #Constraints: 29782
2960.33/2971.34 c #Conflicts: 1571000 | #Constraints: 30782
2960.33/2971.34 c #Conflicts: 1572000 | #Constraints: 31782
2960.33/2971.34 c #Conflicts: 1573000 | #Constraints: 32782
2960.33/2971.34 c #Conflicts: 1574000 | #Constraints: 33782
2960.33/2971.34 c #Conflicts: 1575000 | #Constraints: 34782
2960.33/2971.34 c #Conflicts: 1576000 | #Constraints: 35782
2960.33/2971.34 c #Conflicts: 1577000 | #Constraints: 36782
2960.33/2971.34 c #Conflicts: 1578000 | #Constraints: 37782
2960.33/2971.34 c #Conflicts: 1579000 | #Constraints: 38782
2960.33/2971.34 c #Conflicts: 1580000 | #Constraints: 39782
2960.33/2971.34 c #Conflicts: 1581000 | #Constraints: 40782
2960.33/2971.34 c #Conflicts: 1582000 | #Constraints: 41782
2960.33/2971.34 c #Conflicts: 1583000 | #Constraints: 42782
2960.33/2971.34 c #Conflicts: 1584000 | #Constraints: 43782
2960.33/2971.34 c #Conflicts: 1585000 | #Constraints: 44782
2960.33/2971.34 c #Conflicts: 1586000 | #Constraints: 45782
2960.33/2971.34 c #Conflicts: 1587000 | #Constraints: 46782
2960.33/2971.34 c #Conflicts: 1588000 | #Constraints: 47782
2960.33/2971.34 c #Conflicts: 1589000 | #Constraints: 48782
2960.33/2971.34 c #Conflicts: 1590000 | #Constraints: 49782
2960.33/2971.34 c #Conflicts: 1591000 | #Constraints: 50782
2960.33/2971.34 c INPROCESSING
2960.33/2971.34 c GARBAGE COLLECT
2960.33/2971.34 c rational objective 2.00003
3037.64/3049.18 c #Conflicts: 1592000 | #Constraints: 26318
3037.64/3049.18 c #Conflicts: 1593000 | #Constraints: 27377
3037.64/3049.18 c #Conflicts: 1594000 | #Constraints: 28427
3037.64/3049.18 c #Conflicts: 1595000 | #Constraints: 29487
3037.64/3049.18 c #Conflicts: 1596000 | #Constraints: 30547
3037.64/3049.18 c #Conflicts: 1597000 | #Constraints: 31601
3037.64/3049.18 c #Conflicts: 1598000 | #Constraints: 32638
3037.64/3049.18 c #Conflicts: 1599000 | #Constraints: 33660
3037.64/3049.18 c #Conflicts: 1600000 | #Constraints: 34667
3037.64/3049.18 c #Conflicts: 1601000 | #Constraints: 35672
3037.64/3049.18 c #Conflicts: 1602000 | #Constraints: 36692
3037.64/3049.18 c #Conflicts: 1603000 | #Constraints: 37730
3037.64/3049.18 c #Conflicts: 1604000 | #Constraints: 38793
3037.64/3049.18 c #Conflicts: 1605000 | #Constraints: 39861
3037.64/3049.18 c #Conflicts: 1606000 | #Constraints: 40930
3037.64/3049.18 c #Conflicts: 1607000 | #Constraints: 41984
3037.64/3049.18 c #Conflicts: 1608000 | #Constraints: 43041
3037.64/3049.18 c #Conflicts: 1609000 | #Constraints: 44114
3037.64/3049.18 c #Conflicts: 1610000 | #Constraints: 45185
3037.64/3049.18 c #Conflicts: 1611000 | #Constraints: 46245
3037.64/3049.18 c #Conflicts: 1612000 | #Constraints: 47253
3037.64/3049.18 c #Conflicts: 1613000 | #Constraints: 48253
3037.64/3049.18 c #Conflicts: 1614000 | #Constraints: 49253
3037.64/3049.18 c #Conflicts: 1615000 | #Constraints: 50253
3037.64/3049.18 c #Conflicts: 1616000 | #Constraints: 51254
3037.64/3049.18 c INPROCESSING
3037.64/3049.18 c GARBAGE COLLECT
3037.64/3049.18 c rational objective 2.00003
3159.52/3171.47 c #Conflicts: 1617000 | #Constraints: 26365
3159.52/3171.47 c #Conflicts: 1618000 | #Constraints: 27365
3159.52/3171.47 c #Conflicts: 1619000 | #Constraints: 28387
3159.52/3171.47 c #Conflicts: 1620000 | #Constraints: 29388
3159.52/3171.47 c #Conflicts: 1621000 | #Constraints: 30388
3159.52/3171.47 c #Conflicts: 1622000 | #Constraints: 31389
3159.52/3171.47 c #Conflicts: 1623000 | #Constraints: 32472
3159.52/3171.47 c #Conflicts: 1624000 | #Constraints: 33546
3159.52/3171.47 c #Conflicts: 1625000 | #Constraints: 34616
3159.52/3171.47 c #Conflicts: 1626000 | #Constraints: 35654
3159.52/3171.47 c #Conflicts: 1627000 | #Constraints: 36657
3159.52/3171.47 c #Conflicts: 1628000 | #Constraints: 37657
3159.52/3171.47 c #Conflicts: 1629000 | #Constraints: 38679
3159.52/3171.47 c #Conflicts: 1630000 | #Constraints: 39704
3159.52/3171.47 c #Conflicts: 1631000 | #Constraints: 40723
3159.52/3171.47 c #Conflicts: 1632000 | #Constraints: 41777
3159.52/3171.47 c #Conflicts: 1633000 | #Constraints: 42777
3159.52/3171.47 c #Conflicts: 1634000 | #Constraints: 43777
3159.52/3171.47 c #Conflicts: 1635000 | #Constraints: 44792
3159.52/3171.47 c #Conflicts: 1636000 | #Constraints: 45792
3159.52/3171.47 c #Conflicts: 1637000 | #Constraints: 46800
3159.52/3171.47 c #Conflicts: 1638000 | #Constraints: 47812
3159.52/3171.47 c #Conflicts: 1639000 | #Constraints: 48812
3159.52/3171.47 c #Conflicts: 1640000 | #Constraints: 49847
3159.52/3171.47 c #Conflicts: 1641000 | #Constraints: 50872
3159.52/3171.47 c #Conflicts: 1642000 | #Constraints: 51872
3159.52/3171.47 c INPROCESSING
3159.52/3171.47 c GARBAGE COLLECT
3159.52/3171.47 c rational objective 2.00005
3230.39/3242.52 c #Conflicts: 1643000 | #Constraints: 26862
3230.39/3242.52 c #Conflicts: 1644000 | #Constraints: 27902
3230.39/3242.52 c #Conflicts: 1645000 | #Constraints: 28934
3230.39/3242.52 c #Conflicts: 1646000 | #Constraints: 29992
3230.39/3242.52 c #Conflicts: 1647000 | #Constraints: 31071
3230.39/3242.52 c #Conflicts: 1648000 | #Constraints: 32153
3230.39/3242.52 c #Conflicts: 1649000 | #Constraints: 33200
3230.39/3242.52 c #Conflicts: 1650000 | #Constraints: 34200
3230.39/3242.52 c #Conflicts: 1651000 | #Constraints: 35227
3230.39/3242.52 c #Conflicts: 1652000 | #Constraints: 36272
3230.39/3242.52 c #Conflicts: 1653000 | #Constraints: 37310
3230.39/3242.52 c #Conflicts: 1654000 | #Constraints: 38377
3230.39/3242.52 c #Conflicts: 1655000 | #Constraints: 39402
3230.39/3242.52 c #Conflicts: 1656000 | #Constraints: 40430
3230.39/3242.52 c #Conflicts: 1657000 | #Constraints: 41457
3230.39/3242.52 c #Conflicts: 1658000 | #Constraints: 42503
3230.39/3242.52 c #Conflicts: 1659000 | #Constraints: 43503
3230.39/3242.52 c #Conflicts: 1660000 | #Constraints: 44503
3230.39/3242.52 c #Conflicts: 1661000 | #Constraints: 45503
3230.39/3242.52 c #Conflicts: 1662000 | #Constraints: 46503
3230.39/3242.52 c #Conflicts: 1663000 | #Constraints: 47537
3230.39/3242.52 c #Conflicts: 1664000 | #Constraints: 48565
3230.39/3242.52 c #Conflicts: 1665000 | #Constraints: 49612
3230.39/3242.52 c #Conflicts: 1666000 | #Constraints: 50699
3230.39/3242.52 c #Conflicts: 1667000 | #Constraints: 51728
3230.39/3242.52 c #Conflicts: 1668000 | #Constraints: 52760
3230.39/3242.52 c INPROCESSING
3230.39/3242.52 c GARBAGE COLLECT
3230.39/3242.52 c rational objective 2.00005
3318.71/3331.18 c #Conflicts: 1669000 | #Constraints: 27414
3318.71/3331.18 c #Conflicts: 1670000 | #Constraints: 28414
3318.71/3331.18 c #Conflicts: 1671000 | #Constraints: 29425
3318.71/3331.18 c #Conflicts: 1672000 | #Constraints: 30458
3318.71/3331.18 c #Conflicts: 1673000 | #Constraints: 31492
3318.71/3331.18 c #Conflicts: 1674000 | #Constraints: 32517
3318.71/3331.18 c #Conflicts: 1675000 | #Constraints: 33552
3318.71/3331.18 c #Conflicts: 1676000 | #Constraints: 34598
3318.71/3331.18 c #Conflicts: 1677000 | #Constraints: 35637
3318.71/3331.18 c #Conflicts: 1678000 | #Constraints: 36648
3318.71/3331.18 c #Conflicts: 1679000 | #Constraints: 37648
3318.71/3331.18 c #Conflicts: 1680000 | #Constraints: 38649
3318.71/3331.18 c #Conflicts: 1681000 | #Constraints: 39649
3318.71/3331.18 c #Conflicts: 1682000 | #Constraints: 40655
3318.71/3331.18 c #Conflicts: 1683000 | #Constraints: 41709
3318.71/3331.18 c #Conflicts: 1684000 | #Constraints: 42761
3318.71/3331.18 c #Conflicts: 1685000 | #Constraints: 43782
3318.71/3331.18 c #Conflicts: 1686000 | #Constraints: 44782
3318.71/3331.18 c #Conflicts: 1687000 | #Constraints: 45786
3318.71/3331.18 c #Conflicts: 1688000 | #Constraints: 46801
3318.71/3331.18 c #Conflicts: 1689000 | #Constraints: 47806
3318.71/3331.18 c #Conflicts: 1690000 | #Constraints: 48806
3318.71/3331.18 c #Conflicts: 1691000 | #Constraints: 49832
3318.71/3331.18 c #Conflicts: 1692000 | #Constraints: 50846
3318.71/3331.18 c #Conflicts: 1693000 | #Constraints: 51859
3318.71/3331.18 c #Conflicts: 1694000 | #Constraints: 52859
3318.71/3331.18 c INPROCESSING
3318.71/3331.18 c GARBAGE COLLECT
3318.71/3331.18 c rational objective 2.00008
3397.13/3409.88 c #Conflicts: 1695000 | #Constraints: 27449
3397.13/3409.88 c #Conflicts: 1696000 | #Constraints: 28449
3397.13/3409.88 c #Conflicts: 1697000 | #Constraints: 29449
3397.13/3409.88 c #Conflicts: 1698000 | #Constraints: 30460
3397.13/3409.88 c #Conflicts: 1699000 | #Constraints: 31494
3397.13/3409.88 c #Conflicts: 1700000 | #Constraints: 32610
3397.13/3409.88 c #Conflicts: 1701000 | #Constraints: 33696
3397.13/3409.88 c #Conflicts: 1702000 | #Constraints: 34791
3397.13/3409.88 c #Conflicts: 1703000 | #Constraints: 35878
3397.13/3409.88 c #Conflicts: 1704000 | #Constraints: 36947
3397.13/3409.88 c #Conflicts: 1705000 | #Constraints: 38002
3397.13/3409.88 c #Conflicts: 1706000 | #Constraints: 39014
3397.13/3409.88 c #Conflicts: 1707000 | #Constraints: 40014
3397.13/3409.88 c #Conflicts: 1708000 | #Constraints: 41014
3397.13/3409.88 c #Conflicts: 1709000 | #Constraints: 42113
3397.13/3409.88 c #Conflicts: 1710000 | #Constraints: 43195
3397.13/3409.88 c #Conflicts: 1711000 | #Constraints: 44266
3397.13/3409.88 c #Conflicts: 1712000 | #Constraints: 45306
3397.13/3409.88 c #Conflicts: 1713000 | #Constraints: 46346
3397.13/3409.88 c #Conflicts: 1714000 | #Constraints: 47361
3397.13/3409.88 c #Conflicts: 1715000 | #Constraints: 48374
3397.13/3409.88 c #Conflicts: 1716000 | #Constraints: 49387
3397.13/3409.88 c #Conflicts: 1717000 | #Constraints: 50433
3397.13/3409.88 c #Conflicts: 1718000 | #Constraints: 51462
3397.13/3409.88 c #Conflicts: 1719000 | #Constraints: 52476
3397.13/3409.88 c #Conflicts: 1720000 | #Constraints: 53532
3397.13/3409.88 c INPROCESSING
3397.13/3409.88 c GARBAGE COLLECT
3397.13/3409.88 c rational objective 2.00008
3525.41/3538.59 c #Conflicts: 1721000 | #Constraints: 27685
3525.41/3538.59 c #Conflicts: 1722000 | #Constraints: 28692
3525.41/3538.59 c #Conflicts: 1723000 | #Constraints: 29752
3525.41/3538.59 c #Conflicts: 1724000 | #Constraints: 30812
3525.41/3538.59 c #Conflicts: 1725000 | #Constraints: 31904
3525.41/3538.59 c #Conflicts: 1726000 | #Constraints: 32994
3525.41/3538.59 c #Conflicts: 1727000 | #Constraints: 34016
3525.41/3538.59 c #Conflicts: 1728000 | #Constraints: 35060
3525.41/3538.59 c #Conflicts: 1729000 | #Constraints: 36117
3525.41/3538.59 c #Conflicts: 1730000 | #Constraints: 37129
3525.41/3538.59 c #Conflicts: 1731000 | #Constraints: 38135
3525.41/3538.59 c #Conflicts: 1732000 | #Constraints: 39153
3525.41/3538.59 c #Conflicts: 1733000 | #Constraints: 40209
3525.41/3538.59 c #Conflicts: 1734000 | #Constraints: 41227
3525.41/3538.59 c #Conflicts: 1735000 | #Constraints: 42227
3525.41/3538.59 c #Conflicts: 1736000 | #Constraints: 43227
3525.41/3538.59 c #Conflicts: 1737000 | #Constraints: 44245
3525.41/3538.59 c #Conflicts: 1738000 | #Constraints: 45275
3525.41/3538.59 c #Conflicts: 1739000 | #Constraints: 46303
3525.41/3538.59 c #Conflicts: 1740000 | #Constraints: 47303
3525.41/3538.59 c #Conflicts: 1741000 | #Constraints: 48303
3525.41/3538.59 c #Conflicts: 1742000 | #Constraints: 49311
3525.41/3538.59 c #Conflicts: 1743000 | #Constraints: 50316
3525.41/3538.59 c #Conflicts: 1744000 | #Constraints: 51328
3525.41/3538.59 c #Conflicts: 1745000 | #Constraints: 52328
3525.41/3538.59 c #Conflicts: 1746000 | #Constraints: 53355
3525.41/3538.59 c INPROCESSING
3525.41/3538.59 c GARBAGE COLLECT
3525.41/3538.59 c rational objective 2.00004
3600.07/3613.40 c #Conflicts: 1747000 | #Constraints: 27389
3600.07/3613.40 c #Conflicts: 1748000 | #Constraints: 28404
3600.07/3613.40 c #Conflicts: 1749000 | #Constraints: 29472
3600.07/3613.40 c #Conflicts: 1750000 | #Constraints: 30492
3600.07/3613.40 c #Conflicts: 1751000 | #Constraints: 31503
3600.07/3613.40 c #Conflicts: 1752000 | #Constraints: 32503
3600.07/3613.40 c #Conflicts: 1753000 | #Constraints: 33578
3600.07/3613.40 c #Conflicts: 1754000 | #Constraints: 34672
3600.07/3613.40 c #Conflicts: 1755000 | #Constraints: 35703
3600.07/3613.40 c #Conflicts: 1756000 | #Constraints: 36729
3600.07/3613.40 c #Conflicts: 1757000 | #Constraints: 37735
3600.07/3613.40 c #Conflicts: 1758000 | #Constraints: 38735
3600.07/3613.40 c #Conflicts: 1759000 | #Constraints: 39735
3600.07/3613.40 c #Conflicts: 1760000 | #Constraints: 40735
3600.07/3613.40 c #Conflicts: 1761000 | #Constraints: 41735
3600.07/3613.40 c #Conflicts: 1762000 | #Constraints: 42748
3600.07/3613.40 c #Conflicts: 1763000 | #Constraints: 43759
3600.07/3613.40 c #Conflicts: 1764000 | #Constraints: 44779
3600.07/3613.40 c #Conflicts: 1765000 | #Constraints: 45779
3600.07/3613.40 c #Conflicts: 1766000 | #Constraints: 46779
3600.07/3613.40 c #Conflicts: 1767000 | #Constraints: 47779
3600.07/3613.40 c cpu time 3576.28 s
3600.07/3613.40 c deterministic time 748985128513 7.49e+11
3600.07/3613.40 c optimization time 74.1865 s
3600.07/3613.40 c total solve time 3502.09 s
3600.07/3613.40 c core-guided solve time 0 s
3600.07/3613.40 c propagation time 3238.21 s
3600.07/3613.40 c conflict analysis time 306.107 s
3600.07/3613.40 c propagations 18477556
3600.07/3613.40 c resolve steps 5600045
3600.07/3613.40 c decisions 9705919
3600.07/3613.40 c conflicts 1767257
3600.07/3613.40 c restarts 3418
3600.07/3613.40 c inprocessing phases 123
3600.07/3613.40 c garbage collections 123 ,( 100.00 )
3600.07/3613.40 c input clauses 0 ,( 0.00 )
3600.07/3613.40 c input cardinalities 0 ,( 0.00 )
3600.07/3613.40 c input general constraints 2 ,( 100.00 )
3600.07/3613.40 c input average constraint length 82.00
3600.07/3613.40 c input average constraint degree 486858570.50
3600.07/3613.40 c learned clauses 1124632 ,( 61.39 )
3600.07/3613.40 c learned cardinalities 5 ,( 0.00 )
3600.07/3613.40 c learned general constraints 707307 ,( 38.61 )
3600.07/3613.40 c learned average constraint length 50.21
3600.07/3613.40 c learned average constraint degree 57018316.91
3600.07/3613.40 c watched CF 32, 64, 128, Arb: 89173 , 0 , 0 , 0
3600.07/3613.40 c counting CF 32, 64, 128, Arb: 618136 , 0 , 0 , 0
3600.07/3613.40 c watched constraints 89173 ,( 12.61 )
3600.07/3613.40 c counting constraints 618136 ,( 87.39 )
3600.07/3613.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 159093386 , 82130 , 79553703774 ,( 136891132 , 79416812642 )
3600.07/3613.40 c gcd simplifications 933958
3600.07/3613.40 c detected cardinalities 5
3600.07/3613.40 c weakened non-implied lits 7927748
3600.07/3613.40 c weakened non-implying lits 13848293
3600.07/3613.40 c original variables 82
3600.07/3613.40 c clausal propagations 1636302
3600.07/3613.40 c cardinality propagations 0
3600.07/3613.40 c watched propagations 161686
3600.07/3613.40 c counting propagations 14837254
3600.07/3613.40 c watch lookups 85369239329
3600.07/3613.40 c watch backjump lookups 0
3600.07/3613.40 c watch checks 1898698863
3600.07/3613.40 c propagation checks 661179889915
3600.07/3613.40 c constraint additions 478984943
3600.07/3613.40 c trail pops 29950649
3600.07/3613.40 c formula constraints 2
3600.07/3613.40 c learned constraints 1767255
3600.07/3613.40 c bound constraints 0
3600.07/3613.40 c core-guided constraints 0
3600.07/3613.40 c encountered formula constraints 4287195
3600.07/3613.40 c encountered learned constraints 3080057
3600.07/3613.40 c encountered bound constraints 0
3600.07/3613.40 c encountered core-guided constraints 0
3600.07/3613.40 c LP total time 23.2619 s
3600.07/3613.40 c LP solve time 12.3 s
3600.07/3613.40 c LP constraints added 215
3600.07/3613.40 c LP constraints removed 205
3600.07/3613.40 c LP pivots internal 176727
3600.07/3613.40 c LP pivots root 4611
3600.07/3613.40 c LP calls 154471
3600.07/3613.40 c LP optimalities 75630
3600.07/3613.40 c LP no pivot count 48058
3600.07/3613.40 c LP infeasibilities 78050
3600.07/3613.40 c LP valid Farkas constraints 64607
3600.07/3613.40 c LP learned Farkas constraints 1
3600.07/3613.40 c LP basis resets 791
3600.07/3613.40 c LP cycling count 686
3600.07/3613.40 c LP singular count 105
3600.07/3613.40 c LP no primal count 0
3600.07/3613.40 c LP no farkas count 0
3600.07/3613.40 c LP other issue count 0
3600.07/3613.40 c LP Gomory cuts 81
3600.07/3613.40 c LP learned cuts 132
3600.07/3613.40 c LP deleted cuts 205
3600.07/3613.40 c LP encountered Gomory constraints 1
3600.07/3613.40 c LP encountered Farkas constraints 47
3600.07/3613.40 c LP encountered learned Farkas constraints 1
3600.07/3613.40 c CG auxiliary variables introduced 0
3600.07/3613.40 c CG solutions found 0
3600.07/3613.40 c CG cores constructed 0
3600.07/3613.40 c CG core cardinality constraints returned 0
3600.07/3613.40 c CG unit cores 0
3600.07/3613.40 c CG single cores 0
3600.07/3613.40 c CG blocks removed during cardinality reduction 0
3600.07/3613.40 c CG first core best 0
3600.07/3613.40 c CG decision core best 0
3600.07/3613.40 c CG core reduction tie 0
3600.07/3613.40 c CG core degree average 0.00
3600.07/3613.40 c CG core slack average 0.00
3600.07/3613.40 c CG core upper bound improvements 0
3600.07/3613.40 c STR number of successful calls 0
3600.07/3613.40 c STR number of unsuccessful calls 0
3600.07/3613.40 c STR number of inconclusive calls 0
3600.07/3613.40 c STR number of successful attempts 0
3600.07/3613.40 c STR number of unsuccessful attempts 0
3600.07/3613.40 c STR number of inconclusive attempts 0
3600.07/3613.40 c STR average degree increase per successful call inf
3600.07/3613.40 c STR average degree increase per successful attempt inf
3600.07/3613.40 c STR total number of conflicts for successful attempts 0
3600.07/3613.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3613.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3613.40 c STR average number of conflicts per successful attempt inf
3600.07/3613.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3613.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3613.40 c AVG.sumWPerc 75.33
3600.07/3613.40 c bigint constraints 0
3600.07/3613.40 s UNKNOWN
3600.07/3613.40 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: 63837 MiB (55209 MiB free)
memory of node 1: 64465 MiB (63118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495929-1751153054/watcher-4495929-1751153054 -o /tmp/evaluation-result-4495929-1751153054/solver-4495929-1751153054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751146607-16243 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4495929-1751153054.opb PROOFDIR/proof-4495929-1751153054
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=17793, runsolver pid=17790
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.06 4.10 4.13 5/259 17795
/proc/meminfo: memFree=121166572/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=55684 memory=10368 CPUtime=0.08 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 502 0 0 0 8 0 0 0 20 0 1 0 30984817 57020416 2592 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 13921 2592 2336 1147 0 1348 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59876 KiB
Current children cumulated memory: 13184 KiB
[startup+0.221295 s]*
/proc/loadavg: 4.06 4.10 4.13 5/259 17795
/proc/meminfo: memFree=121160712/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=55948 memory=12752 CPUtime=0.19 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 570 0 0 0 17 2 0 0 20 0 1 0 30984817 57290752 3188 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 13987 3188 2336 1147 0 1414 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60140 KiB
Current children cumulated memory: 15568 KiB
[startup+0.314118 s]*
/proc/loadavg: 4.06 4.10 4.13 5/259 17795
/proc/meminfo: memFree=121160712/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=56212 memory=13008 CPUtime=0.29 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 634 0 0 0 27 2 0 0 20 0 1 0 30984817 57561088 3252 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 14053 3252 2336 1147 0 1480 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 15824 KiB
[startup+0.700402 s]
/proc/loadavg: 4.06 4.10 4.13 5/259 17795
/proc/meminfo: memFree=121160712/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=56764 memory=13520 CPUtime=0.65 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 779 0 0 0 62 3 0 0 20 0 1 0 30984817 58126336 3380 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 14191 3380 2336 1147 0 1618 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 16336 KiB
[startup+1.5004 s]
/proc/loadavg: 4.06 4.10 4.13 5/259 17795
/proc/meminfo: memFree=121160712/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=57636 memory=14416 CPUtime=1.45 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 991 0 0 0 137 8 0 0 20 0 1 0 30984817 59019264 3604 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 14409 3604 2336 1147 0 1836 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 61828 KiB
Current children cumulated memory: 17232 KiB
[startup+3.11391 s]
/proc/loadavg: 4.06 4.10 4.13 5/259 17795
/proc/meminfo: memFree=121156744/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=58412 memory=15184 CPUtime=3.05 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 1172 0 0 0 286 19 0 0 20 0 1 0 30984817 59813888 3796 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 14603 3796 2336 1147 0 2030 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 62604 KiB
Current children cumulated memory: 18000 KiB
[startup+6.3004 s]
/proc/loadavg: 4.05 4.09 4.13 5/259 17795
/proc/meminfo: memFree=121135080/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=60336 memory=16592 CPUtime=6.24 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 1566 0 0 0 589 35 0 0 20 0 1 0 30984817 61784064 4148 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 15084 4148 2336 1147 0 2511 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 64528 KiB
Current children cumulated memory: 19408 KiB
[startup+12.7004 s]
/proc/loadavg: 4.05 4.09 4.13 5/259 17795
/proc/meminfo: memFree=121091932/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=65340 memory=22696 CPUtime=12.62 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 2587 0 0 0 1204 58 0 0 20 0 1 0 30984817 66908160 5674 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 16335 5674 2336 1147 0 3762 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 69532 KiB
Current children cumulated memory: 25512 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.10 4.14 5/259 17795
/proc/meminfo: memFree=121056780/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=65712 memory=23464 CPUtime=25.37 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 2712 0 0 0 2447 90 0 0 20 0 1 0 30984817 67289088 5866 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 16428 5866 2400 1147 0 3855 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 69904 KiB
Current children cumulated memory: 26280 KiB
[startup+51.1134 s]
/proc/loadavg: 4.08 4.09 4.13 5/258 17796
/proc/meminfo: memFree=120924904/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=67364 memory=25264 CPUtime=50.91 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 3373 0 0 0 4931 160 0 0 20 0 1 0 30984817 68980736 6316 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 16841 6316 2400 1147 0 4268 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 71556 KiB
Current children cumulated memory: 28080 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/258 17798
/proc/meminfo: memFree=120716460/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=86144 memory=40352 CPUtime=101.93 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 6638 0 0 0 9928 265 0 0 20 0 1 0 30984817 88211456 10088 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 21536 10088 2400 1147 0 8963 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 90336 KiB
Current children cumulated memory: 43168 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.13 5/258 17800
/proc/meminfo: memFree=120552312/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=98620 memory=51872 CPUtime=161.72 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 9496 0 0 0 15819 353 0 0 20 0 1 0 30984817 100986880 12968 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 24655 12968 2432 1147 0 12082 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 102812 KiB
Current children cumulated memory: 54688 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.12 5/258 17802
/proc/meminfo: memFree=120401752/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=98620 memory=51872 CPUtime=221.52 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 9518 0 0 0 21712 440 0 0 20 0 1 0 30984817 100986880 12968 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 24655 12968 2432 1147 0 12082 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.23 4.13 4.13 5/262 18486
/proc/meminfo: memFree=93529720/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=101240 CPUtime=3270.06 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 324742 2264 0 0 20 0 1 0 30984817 154009600 25310 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25310 2432 1147 0 25027 0
Current children cumulated CPU time: 3270.06 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 104056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.84 4.32 4.20 5/260 18488
/proc/meminfo: memFree=92641768/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=103032 CPUtime=3329.87 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 330702 2285 0 0 20 0 1 0 30984817 154009600 25758 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25758 2432 1147 0 25027 0
Current children cumulated CPU time: 3329.87 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 105848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.28 4.19 5/260 18493
/proc/meminfo: memFree=92045584/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=103032 CPUtime=3389.66 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 336656 2310 0 0 20 0 1 0 30984817 154009600 25758 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25758 2432 1147 0 25027 0
Current children cumulated CPU time: 3389.66 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 105848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/259 18495
/proc/meminfo: memFree=91473264/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=103032 CPUtime=3449.46 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 342617 2329 0 0 20 0 1 0 30984817 154009600 25758 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25758 2432 1147 0 25027 0
Current children cumulated CPU time: 3449.46 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 105848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/261 18503
/proc/meminfo: memFree=91201720/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=103032 CPUtime=3509.26 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 348580 2346 0 0 20 0 1 0 30984817 154009600 25758 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25758 2432 1147 0 25027 0
Current children cumulated CPU time: 3509.26 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 105848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/261 18505
/proc/meminfo: memFree=91142080/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=103032 CPUtime=3569.06 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 354539 2367 0 0 20 0 1 0 30984817 154009600 25758 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25758 2432 1147 0 25027 0
Current children cumulated CPU time: 3569.06 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 105848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.13 4.18 4.17 5/261 18507
/proc/meminfo: memFree=91126596/131382112 swapFree=33010684/33010684
[pid=17793] ppid=17790 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/17793/stat : 17793 (run-dec-log.sh) S 17790 17793 16230 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 30984816 4292608 704 18446744073709551615 94833448202240 94833449096773 140730533773040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94833449335824 94833449383568 94833465868288 140730533779745 140730533779940 140730533779940 140730533785542 0
/proc/17793/statm: 1048 704 672 219 0 110 0
[pid=17795] ppid=17793 vsize=150400 memory=103032 CPUtime=3600.07 cores=5,7
/proc/17795/stat : 17795 (roundingsat) R 17793 17793 16230 0 -1 4194304 15816 0 0 0 357628 2379 0 0 20 0 1 0 30984817 154009600 25758 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25758 2432 1147 0 25027 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 154592 KiB
Current children cumulated memory: 105848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.41 s]
# the end of solver process 17793 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.005111 s
[startup+3614.35 s]
# the end of solver process 17795 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.29 s, system=23.8015 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
[startup+3613.61 s]
/proc/loadavg: 4.13 4.18 4.17 4/260 18507
/proc/meminfo: memFree=91125484/131382112 swapFree=33010684/33010684
[pid=17795] ppid=17790 vsize=150400 memory=103160 CPUtime=3600.07 cores=5,7
/proc/17795/stat : 17795 (roundingsat) D 17790 17793 16230 0 -1 4194304 15819 0 0 0 357628 2379 0 0 20 0 1 0 30984817 154009600 25790 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25790 2464 1147 0 25027 0
Current cumulated CPU time of completed processes: 0.005111 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 150400 KiB
Current children cumulated memory: 103160 KiB
[startup+3614 s]*
/proc/loadavg: 4.13 4.18 4.17 4/260 18507
/proc/meminfo: memFree=91125292/131382112 swapFree=33010684/33010684
[pid=17795] ppid=17790 vsize=150400 memory=103160 CPUtime=3600.07 cores=5,7
/proc/17795/stat : 17795 (roundingsat) D 17790 17793 16230 0 -1 4194304 15819 0 0 0 357628 2379 0 0 20 0 1 0 30984817 154009600 25790 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25790 2464 1147 0 25027 0
Current cumulated CPU time of completed processes: 0.005111 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 150400 KiB
Current children cumulated memory: 103160 KiB
[startup+3614.2 s]
/proc/loadavg: 4.13 4.18 4.17 4/260 18507
/proc/meminfo: memFree=91125292/131382112 swapFree=33010684/33010684
[pid=17795] ppid=17790 vsize=150400 memory=103160 CPUtime=3600.07 cores=5,7
/proc/17795/stat : 17795 (roundingsat) D 17790 17793 16230 0 -1 4194304 15819 0 0 0 357628 2379 0 0 20 0 1 0 30984817 154009600 25790 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25790 2464 1147 0 25027 0
Current cumulated CPU time of completed processes: 0.005111 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 150400 KiB
Current children cumulated memory: 103160 KiB
[startup+3614.3 s]
/proc/loadavg: 4.13 4.18 4.17 4/260 18507
/proc/meminfo: memFree=91125292/131382112 swapFree=33010684/33010684
[pid=17795] ppid=17790 vsize=150400 memory=103160 CPUtime=3600.07 cores=5,7
/proc/17795/stat : 17795 (roundingsat) D 17790 17793 16230 0 -1 4194304 15819 0 0 0 357628 2379 0 0 20 0 1 0 30984817 154009600 25790 18446744073709551615 4227072 8923433 140733137519904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14761984 140733137525095 140733137525288 140733137525288 140733137530858 0
/proc/17795/statm: 37600 25790 2464 1147 0 25027 0
Current cumulated CPU time of completed processes: 0.005111 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 150400 KiB
Current children cumulated memory: 103160 KiB
Child status: 2
Real time (s): 3614.35
CPU time (s): 3600.09
CPU user time (s): 3576.29
CPU system time (s): 23.8015
CPU usage (%): 99.6053
Max. virtual memory (cumulated for all children) (KiB): 154592
Max. memory (cumulated for all children) (KiB): 105848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.29
system time used= 23.8015
maximum resident set size= 103160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3451752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196
involuntary context switches= 6676
# summary of solver processes directly reported to runsolver:
# pid: 17793,17795
# total CPU time (s): 3600.09
# total CPU user time (s): 3576.29
# total CPU system time (s): 23.8015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7327 second user time and 38.1635 second system time
The end
Begin job on nodeC005 at 2025-06-29 01:24:14
IDJOB=4495929
IDBENCH=148102
IDSOLVER=3352
FILE ID=nodeC005/4495929-1751153054
RUNJOBID= nodeC005-1751146607-16243
SLURM_JOB_ID= 9587462
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495929-1751153054/watcher-4495929-1751153054 -o /tmp/evaluation-result-4495929-1751153054/solver-4495929-1751153054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751146607-16243 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4495929-1751153054.opb PROOFDIR/proof-4495929-1751153054
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=854578014
nodeC005 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 : 0xb00001f
cpu MHz : 3661.901
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.464
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.379
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.981
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 121170352 kB
MemAvailable: 128757716 kB
Buffers: 3280 kB
Cached: 8390348 kB
SwapCached: 0 kB
Active: 1514436 kB
Inactive: 8179816 kB
Active(anon): 1318640 kB
Inactive(anon): 0 kB
Active(file): 195796 kB
Inactive(file): 8179816 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13988 kB
Writeback: 20 kB
AnonPages: 1301488 kB
Mapped: 115960 kB
Shmem: 17960 kB
KReclaimable: 102756 kB
Slab: 184052 kB
SReclaimable: 102756 kB
SUnreclaim: 81296 kB
KernelStack: 4160 kB
PageTables: 5740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1726316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1204224 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC005 at 2025-06-29 02:24:29