0.00/0.18 c RoundingSat 2
0.00/0.18 c branch pb25
0.00/0.18 c commit 63f22ad
0.00/0.18 c #variables 82 #constraints 2
0.00/0.18 c rational objective 1.12346
0.22/0.43 c #Conflicts: 1000 | #Constraints: 1183
0.22/0.43 c #Conflicts: 2000 | #Constraints: 2303
0.22/0.43 c INPROCESSING
0.22/0.43 c GARBAGE COLLECT
0.22/0.43 c rational objective 2
0.51/0.74 c #Conflicts: 3000 | #Constraints: 2274
0.51/0.74 c #Conflicts: 4000 | #Constraints: 3405
0.51/0.74 c INPROCESSING
0.51/0.74 c GARBAGE COLLECT
0.51/0.74 c rational objective 2
0.82/1.09 c #Conflicts: 5000 | #Constraints: 2622
0.82/1.09 c #Conflicts: 6000 | #Constraints: 3751
0.82/1.09 c INPROCESSING
0.82/1.09 c GARBAGE COLLECT
0.82/1.09 c rational objective 2
1.31/1.50 c #Conflicts: 7000 | #Constraints: 2623
1.31/1.50 c #Conflicts: 8000 | #Constraints: 3625
1.31/1.50 c #Conflicts: 9000 | #Constraints: 4657
1.31/1.50 c INPROCESSING
1.31/1.50 c GARBAGE COLLECT
1.31/1.50 c rational objective 2
1.61/1.84 c #Conflicts: 10000 | #Constraints: 3246
1.61/1.84 c #Conflicts: 11000 | #Constraints: 4246
1.61/1.84 c #Conflicts: 12000 | #Constraints: 5246
1.61/1.84 c INPROCESSING
1.61/1.84 c GARBAGE COLLECT
1.61/1.84 c rational objective 2
2.21/2.49 c #Conflicts: 13000 | #Constraints: 3632
2.21/2.49 c #Conflicts: 14000 | #Constraints: 4632
2.21/2.49 c #Conflicts: 15000 | #Constraints: 5663
2.21/2.49 c INPROCESSING
2.21/2.49 c GARBAGE COLLECT
2.21/2.49 c rational objective 2
2.81/3.07 c #Conflicts: 16000 | #Constraints: 3862
2.81/3.07 c #Conflicts: 17000 | #Constraints: 4955
2.81/3.07 c #Conflicts: 18000 | #Constraints: 6039
2.81/3.07 c INPROCESSING
2.81/3.07 c GARBAGE COLLECT
2.81/3.07 c rational objective 2
3.70/3.90 c #Conflicts: 19000 | #Constraints: 3971
3.70/3.90 c #Conflicts: 20000 | #Constraints: 5054
3.70/3.90 c #Conflicts: 21000 | #Constraints: 6157
3.70/3.90 c INPROCESSING
3.70/3.90 c GARBAGE COLLECT
3.70/3.90 c rational objective 2
4.80/5.06 c #Conflicts: 22000 | #Constraints: 3822
4.80/5.06 c #Conflicts: 23000 | #Constraints: 4896
4.80/5.06 c #Conflicts: 24000 | #Constraints: 5941
4.80/5.06 c #Conflicts: 25000 | #Constraints: 7062
4.80/5.06 c INPROCESSING
4.80/5.06 c GARBAGE COLLECT
4.80/5.06 c rational objective 2
5.80/6.08 c #Conflicts: 26000 | #Constraints: 4452
5.80/6.08 c #Conflicts: 27000 | #Constraints: 5452
5.80/6.08 c #Conflicts: 28000 | #Constraints: 6452
5.80/6.08 c #Conflicts: 29000 | #Constraints: 7503
5.80/6.08 c INPROCESSING
5.80/6.08 c GARBAGE COLLECT
5.80/6.08 c rational objective 2
7.19/7.49 c #Conflicts: 30000 | #Constraints: 4809
7.19/7.49 c #Conflicts: 31000 | #Constraints: 5876
7.19/7.49 c #Conflicts: 32000 | #Constraints: 6913
7.19/7.49 c #Conflicts: 33000 | #Constraints: 7991
7.19/7.49 c INPROCESSING
7.19/7.49 c GARBAGE COLLECT
7.19/7.49 c rational objective 2
8.48/8.73 c #Conflicts: 34000 | #Constraints: 5117
8.48/8.73 c #Conflicts: 35000 | #Constraints: 6394
8.48/8.73 c #Conflicts: 36000 | #Constraints: 7911
8.48/8.73 c #Conflicts: 37000 | #Constraints: 9283
8.48/8.73 c INPROCESSING
8.48/8.73 c GARBAGE COLLECT
8.48/8.73 c rational objective 2
10.58/10.81 c #Conflicts: 38000 | #Constraints: 5647
10.58/10.81 c #Conflicts: 39000 | #Constraints: 6698
10.58/10.81 c #Conflicts: 40000 | #Constraints: 7734
10.58/10.81 c #Conflicts: 41000 | #Constraints: 8813
10.58/10.81 c INPROCESSING
10.58/10.81 c GARBAGE COLLECT
10.58/10.81 c rational objective 2
13.27/13.56 c #Conflicts: 42000 | #Constraints: 5150
13.27/13.56 c #Conflicts: 43000 | #Constraints: 6276
13.27/13.56 c #Conflicts: 44000 | #Constraints: 7381
13.27/13.56 c #Conflicts: 45000 | #Constraints: 8505
13.27/13.56 c #Conflicts: 46000 | #Constraints: 9607
13.27/13.56 c INPROCESSING
13.27/13.56 c GARBAGE COLLECT
13.27/13.56 c rational objective 2
15.47/15.75 c #Conflicts: 47000 | #Constraints: 5745
15.47/15.75 c #Conflicts: 48000 | #Constraints: 6809
15.47/15.75 c #Conflicts: 49000 | #Constraints: 7857
15.47/15.75 c #Conflicts: 50000 | #Constraints: 8920
15.47/15.75 c #Conflicts: 51000 | #Constraints: 9965
15.47/15.75 c INPROCESSING
15.47/15.75 c GARBAGE COLLECT
15.47/15.75 c rational objective 2
17.66/17.97 c #Conflicts: 52000 | #Constraints: 5992
17.66/17.97 c #Conflicts: 53000 | #Constraints: 6992
17.66/17.97 c #Conflicts: 54000 | #Constraints: 8061
17.66/17.97 c #Conflicts: 55000 | #Constraints: 9112
17.66/17.97 c #Conflicts: 56000 | #Constraints: 10209
17.66/17.97 c INPROCESSING
17.66/17.97 c GARBAGE COLLECT
17.66/17.97 c rational objective 2
19.86/20.17 c #Conflicts: 57000 | #Constraints: 6113
19.86/20.17 c #Conflicts: 58000 | #Constraints: 7122
19.86/20.17 c #Conflicts: 59000 | #Constraints: 8126
19.86/20.17 c #Conflicts: 60000 | #Constraints: 9126
19.86/20.17 c #Conflicts: 61000 | #Constraints: 10126
19.86/20.17 c INPROCESSING
19.86/20.17 c GARBAGE COLLECT
19.86/20.17 c rational objective 2
22.75/23.10 c #Conflicts: 62000 | #Constraints: 6038
22.75/23.10 c #Conflicts: 63000 | #Constraints: 7245
22.75/23.10 c #Conflicts: 64000 | #Constraints: 8343
22.75/23.10 c #Conflicts: 65000 | #Constraints: 9486
22.75/23.10 c #Conflicts: 66000 | #Constraints: 10575
22.75/23.10 c INPROCESSING
22.75/23.10 c GARBAGE COLLECT
22.75/23.10 c rational objective 2
26.13/26.42 c #Conflicts: 67000 | #Constraints: 6036
26.13/26.42 c #Conflicts: 68000 | #Constraints: 7086
26.13/26.42 c #Conflicts: 69000 | #Constraints: 8086
26.13/26.42 c #Conflicts: 70000 | #Constraints: 9086
26.13/26.42 c #Conflicts: 71000 | #Constraints: 10086
26.13/26.42 c #Conflicts: 72000 | #Constraints: 11086
26.13/26.42 c INPROCESSING
26.13/26.42 c GARBAGE COLLECT
26.13/26.42 c rational objective 2
28.93/29.22 c #Conflicts: 73000 | #Constraints: 6480
28.93/29.22 c #Conflicts: 74000 | #Constraints: 7544
28.93/29.22 c #Conflicts: 75000 | #Constraints: 8617
28.93/29.22 c #Conflicts: 76000 | #Constraints: 9645
28.93/29.22 c #Conflicts: 77000 | #Constraints: 10654
28.93/29.22 c #Conflicts: 78000 | #Constraints: 11707
28.93/29.22 c INPROCESSING
28.93/29.22 c GARBAGE COLLECT
28.93/29.22 c rational objective 2
32.42/32.77 c #Conflicts: 79000 | #Constraints: 6964
32.42/32.77 c #Conflicts: 80000 | #Constraints: 8047
32.42/32.77 c #Conflicts: 81000 | #Constraints: 9087
32.42/32.77 c #Conflicts: 82000 | #Constraints: 10159
32.42/32.77 c #Conflicts: 83000 | #Constraints: 11251
32.42/32.77 c #Conflicts: 84000 | #Constraints: 12358
32.42/32.77 c INPROCESSING
32.42/32.77 c GARBAGE COLLECT
32.42/32.77 c rational objective 2
35.61/35.97 c #Conflicts: 85000 | #Constraints: 7278
35.61/35.97 c #Conflicts: 86000 | #Constraints: 8349
35.61/35.97 c #Conflicts: 87000 | #Constraints: 9434
35.61/35.97 c #Conflicts: 88000 | #Constraints: 10540
35.61/35.97 c #Conflicts: 89000 | #Constraints: 11616
35.61/35.97 c #Conflicts: 90000 | #Constraints: 12700
35.61/35.97 c INPROCESSING
35.61/35.97 c GARBAGE COLLECT
35.61/35.97 c rational objective 2
37.90/38.25 c #Conflicts: 91000 | #Constraints: 7328
37.90/38.25 c #Conflicts: 92000 | #Constraints: 8405
37.90/38.25 c #Conflicts: 93000 | #Constraints: 9507
37.90/38.25 c #Conflicts: 94000 | #Constraints: 10602
37.90/38.25 c #Conflicts: 95000 | #Constraints: 11669
37.90/38.25 c #Conflicts: 96000 | #Constraints: 12729
37.90/38.25 c INPROCESSING
37.90/38.25 c GARBAGE COLLECT
37.90/38.25 c rational objective 2
40.79/41.18 c #Conflicts: 97000 | #Constraints: 7119
40.79/41.18 c #Conflicts: 98000 | #Constraints: 8222
40.79/41.18 c #Conflicts: 99000 | #Constraints: 9322
40.79/41.18 c #Conflicts: 100000 | #Constraints: 10411
40.79/41.18 c #Conflicts: 101000 | #Constraints: 11475
40.79/41.18 c #Conflicts: 102000 | #Constraints: 12544
40.79/41.18 c #Conflicts: 103000 | #Constraints: 13608
40.79/41.18 c INPROCESSING
40.79/41.18 c GARBAGE COLLECT
40.79/41.18 c rational objective 2
43.98/44.34 c #Conflicts: 104000 | #Constraints: 7733
43.98/44.34 c #Conflicts: 105000 | #Constraints: 8733
43.98/44.34 c #Conflicts: 106000 | #Constraints: 9755
43.98/44.34 c #Conflicts: 107000 | #Constraints: 10855
43.98/44.34 c #Conflicts: 108000 | #Constraints: 11931
43.98/44.34 c #Conflicts: 109000 | #Constraints: 13066
43.98/44.34 c #Conflicts: 110000 | #Constraints: 14186
43.98/44.34 c INPROCESSING
43.98/44.34 c GARBAGE COLLECT
43.98/44.34 c rational objective 2
47.67/48.06 c #Conflicts: 111000 | #Constraints: 8182
47.67/48.06 c #Conflicts: 112000 | #Constraints: 9244
47.67/48.06 c #Conflicts: 113000 | #Constraints: 10329
47.67/48.06 c #Conflicts: 114000 | #Constraints: 11406
47.67/48.06 c #Conflicts: 115000 | #Constraints: 12470
47.67/48.06 c #Conflicts: 116000 | #Constraints: 13474
47.67/48.06 c #Conflicts: 117000 | #Constraints: 14505
47.67/48.06 c INPROCESSING
47.67/48.06 c GARBAGE COLLECT
47.67/48.06 c rational objective 2
51.76/52.14 c #Conflicts: 118000 | #Constraints: 8281
51.76/52.14 c #Conflicts: 119000 | #Constraints: 9420
51.76/52.14 c #Conflicts: 120000 | #Constraints: 10484
51.76/52.14 c #Conflicts: 121000 | #Constraints: 11576
51.76/52.14 c #Conflicts: 122000 | #Constraints: 12711
51.76/52.14 c #Conflicts: 123000 | #Constraints: 13836
51.76/52.14 c #Conflicts: 124000 | #Constraints: 14927
51.76/52.14 c INPROCESSING
51.76/52.14 c GARBAGE COLLECT
51.76/52.14 c rational objective 2
55.55/55.95 c #Conflicts: 125000 | #Constraints: 8381
55.55/55.95 c #Conflicts: 126000 | #Constraints: 9457
55.55/55.95 c #Conflicts: 127000 | #Constraints: 10599
55.55/55.95 c #Conflicts: 128000 | #Constraints: 11718
55.55/55.95 c #Conflicts: 129000 | #Constraints: 12840
55.55/55.95 c #Conflicts: 130000 | #Constraints: 13910
55.55/55.95 c #Conflicts: 131000 | #Constraints: 14982
55.55/55.95 c INPROCESSING
55.55/55.95 c GARBAGE COLLECT
55.55/55.95 c rational objective 2
59.43/59.84 c #Conflicts: 132000 | #Constraints: 8257
59.43/59.84 c #Conflicts: 133000 | #Constraints: 9341
59.43/59.84 c #Conflicts: 134000 | #Constraints: 10396
59.43/59.84 c #Conflicts: 135000 | #Constraints: 11478
59.43/59.84 c #Conflicts: 136000 | #Constraints: 12561
59.43/59.84 c #Conflicts: 137000 | #Constraints: 13629
59.43/59.84 c #Conflicts: 138000 | #Constraints: 14695
59.43/59.84 c #Conflicts: 139000 | #Constraints: 15754
59.43/59.84 c INPROCESSING
59.43/59.84 c GARBAGE COLLECT
59.43/59.84 c rational objective 2
65.91/66.36 c #Conflicts: 140000 | #Constraints: 9069
65.91/66.36 c #Conflicts: 141000 | #Constraints: 10489
65.91/66.36 c #Conflicts: 142000 | #Constraints: 11808
65.91/66.36 c #Conflicts: 143000 | #Constraints: 13536
65.91/66.36 c #Conflicts: 144000 | #Constraints: 15315
65.91/66.36 c #Conflicts: 145000 | #Constraints: 16992
65.91/66.36 c #Conflicts: 146000 | #Constraints: 18883
65.91/66.36 c #Conflicts: 147000 | #Constraints: 20618
65.91/66.36 c INPROCESSING
65.91/66.36 c GARBAGE COLLECT
65.91/66.36 c rational objective 2
72.89/73.32 c #Conflicts: 148000 | #Constraints: 11496
72.89/73.32 c #Conflicts: 149000 | #Constraints: 12572
72.89/73.32 c #Conflicts: 150000 | #Constraints: 13680
72.89/73.32 c #Conflicts: 151000 | #Constraints: 14801
72.89/73.32 c #Conflicts: 152000 | #Constraints: 15883
72.89/73.32 c #Conflicts: 153000 | #Constraints: 16963
72.89/73.32 c #Conflicts: 154000 | #Constraints: 18033
72.89/73.32 c #Conflicts: 155000 | #Constraints: 19089
72.89/73.32 c INPROCESSING
72.89/73.32 c GARBAGE COLLECT
72.89/73.32 c rational objective 2
78.07/78.57 c #Conflicts: 156000 | #Constraints: 10571
78.07/78.57 c #Conflicts: 157000 | #Constraints: 11641
78.07/78.57 c #Conflicts: 158000 | #Constraints: 12769
78.07/78.57 c #Conflicts: 159000 | #Constraints: 13859
78.07/78.57 c #Conflicts: 160000 | #Constraints: 14913
78.07/78.57 c #Conflicts: 161000 | #Constraints: 16015
78.07/78.57 c #Conflicts: 162000 | #Constraints: 17082
78.07/78.57 c #Conflicts: 163000 | #Constraints: 18180
78.07/78.57 c INPROCESSING
78.07/78.57 c GARBAGE COLLECT
78.07/78.57 c rational objective 2
82.95/83.42 c #Conflicts: 164000 | #Constraints: 10013
82.95/83.42 c #Conflicts: 165000 | #Constraints: 11013
82.95/83.42 c #Conflicts: 166000 | #Constraints: 12013
82.95/83.42 c #Conflicts: 167000 | #Constraints: 13013
82.95/83.42 c #Conflicts: 168000 | #Constraints: 14013
82.95/83.42 c #Conflicts: 169000 | #Constraints: 15013
82.95/83.42 c #Conflicts: 170000 | #Constraints: 16013
82.95/83.42 c #Conflicts: 171000 | #Constraints: 17013
82.95/83.42 c INPROCESSING
82.95/83.42 c GARBAGE COLLECT
82.95/83.42 c rational objective 2
89.14/89.69 c #Conflicts: 172000 | #Constraints: 9247
89.14/89.69 c #Conflicts: 173000 | #Constraints: 10340
89.14/89.69 c #Conflicts: 174000 | #Constraints: 11444
89.14/89.69 c #Conflicts: 175000 | #Constraints: 12551
89.14/89.69 c #Conflicts: 176000 | #Constraints: 13659
89.14/89.69 c #Conflicts: 177000 | #Constraints: 14757
89.14/89.69 c #Conflicts: 178000 | #Constraints: 15847
89.14/89.69 c #Conflicts: 179000 | #Constraints: 16957
89.14/89.69 c #Conflicts: 180000 | #Constraints: 18041
89.14/89.69 c INPROCESSING
89.14/89.69 c GARBAGE COLLECT
89.14/89.69 c rational objective 2
93.82/94.35 c #Conflicts: 181000 | #Constraints: 9956
93.82/94.35 c #Conflicts: 182000 | #Constraints: 11084
93.82/94.35 c #Conflicts: 183000 | #Constraints: 12172
93.82/94.35 c #Conflicts: 184000 | #Constraints: 13252
93.82/94.35 c #Conflicts: 185000 | #Constraints: 14347
93.82/94.35 c #Conflicts: 186000 | #Constraints: 15423
93.82/94.35 c #Conflicts: 187000 | #Constraints: 16548
93.82/94.35 c #Conflicts: 188000 | #Constraints: 17651
93.82/94.35 c #Conflicts: 189000 | #Constraints: 18759
93.82/94.35 c INPROCESSING
93.82/94.35 c GARBAGE COLLECT
93.82/94.35 c rational objective 2
99.80/100.32 c #Conflicts: 190000 | #Constraints: 10389
99.80/100.32 c #Conflicts: 191000 | #Constraints: 11389
99.80/100.32 c #Conflicts: 192000 | #Constraints: 12389
99.80/100.32 c #Conflicts: 193000 | #Constraints: 13389
99.80/100.32 c #Conflicts: 194000 | #Constraints: 14389
99.80/100.32 c #Conflicts: 195000 | #Constraints: 15389
99.80/100.32 c #Conflicts: 196000 | #Constraints: 16389
99.80/100.32 c #Conflicts: 197000 | #Constraints: 17389
99.80/100.32 c #Conflicts: 198000 | #Constraints: 18389
99.80/100.32 c INPROCESSING
99.80/100.32 c GARBAGE COLLECT
99.80/100.32 c rational objective 2
108.97/109.53 c #Conflicts: 199000 | #Constraints: 10216
108.97/109.53 c #Conflicts: 200000 | #Constraints: 11216
108.97/109.53 c #Conflicts: 201000 | #Constraints: 12216
108.97/109.53 c #Conflicts: 202000 | #Constraints: 13216
108.97/109.53 c #Conflicts: 203000 | #Constraints: 14216
108.97/109.53 c #Conflicts: 204000 | #Constraints: 15216
108.97/109.53 c #Conflicts: 205000 | #Constraints: 16216
108.97/109.53 c #Conflicts: 206000 | #Constraints: 17240
108.97/109.53 c #Conflicts: 207000 | #Constraints: 18264
108.97/109.53 c INPROCESSING
108.97/109.53 c GARBAGE COLLECT
108.97/109.53 c rational objective 2
115.85/116.44 c #Conflicts: 208000 | #Constraints: 10039
115.85/116.44 c #Conflicts: 209000 | #Constraints: 11039
115.85/116.44 c #Conflicts: 210000 | #Constraints: 12039
115.85/116.44 c #Conflicts: 211000 | #Constraints: 13039
115.85/116.44 c #Conflicts: 212000 | #Constraints: 14039
115.85/116.44 c #Conflicts: 213000 | #Constraints: 15039
115.85/116.44 c #Conflicts: 214000 | #Constraints: 16039
115.85/116.44 c #Conflicts: 215000 | #Constraints: 17039
115.85/116.44 c #Conflicts: 216000 | #Constraints: 18039
115.85/116.44 c INPROCESSING
115.85/116.44 c GARBAGE COLLECT
115.85/116.44 c rational objective 2
130.30/130.96 c #Conflicts: 217000 | #Constraints: 9791
130.30/130.96 c #Conflicts: 218000 | #Constraints: 11217
130.30/130.96 c #Conflicts: 219000 | #Constraints: 13162
130.30/130.96 c #Conflicts: 220000 | #Constraints: 14755
130.30/130.96 c #Conflicts: 221000 | #Constraints: 16431
130.30/130.96 c #Conflicts: 222000 | #Constraints: 18402
130.30/130.96 c #Conflicts: 223000 | #Constraints: 20013
130.30/130.96 c #Conflicts: 224000 | #Constraints: 21792
130.30/130.96 c #Conflicts: 225000 | #Constraints: 23507
130.30/130.96 c #Conflicts: 226000 | #Constraints: 25380
130.30/130.96 c INPROCESSING
130.30/130.96 c GARBAGE COLLECT
130.30/130.96 c rational objective 2
142.87/143.54 c #Conflicts: 227000 | #Constraints: 14474
142.87/143.54 c #Conflicts: 228000 | #Constraints: 16011
142.87/143.54 c #Conflicts: 229000 | #Constraints: 17115
142.87/143.54 c #Conflicts: 230000 | #Constraints: 18242
142.87/143.54 c #Conflicts: 231000 | #Constraints: 19345
142.87/143.54 c #Conflicts: 232000 | #Constraints: 20475
142.87/143.54 c #Conflicts: 233000 | #Constraints: 21627
142.87/143.54 c #Conflicts: 234000 | #Constraints: 22735
142.87/143.54 c #Conflicts: 235000 | #Constraints: 23884
142.87/143.54 c #Conflicts: 236000 | #Constraints: 24957
142.87/143.54 c INPROCESSING
142.87/143.54 c GARBAGE COLLECT
142.87/143.54 c rational objective 2
154.34/155.07 c #Conflicts: 237000 | #Constraints: 13486
154.34/155.07 c #Conflicts: 238000 | #Constraints: 14486
154.34/155.07 c #Conflicts: 239000 | #Constraints: 15486
154.34/155.07 c #Conflicts: 240000 | #Constraints: 16486
154.34/155.07 c #Conflicts: 241000 | #Constraints: 17552
154.34/155.07 c #Conflicts: 242000 | #Constraints: 18655
154.34/155.07 c #Conflicts: 243000 | #Constraints: 19782
154.34/155.07 c #Conflicts: 244000 | #Constraints: 20875
154.34/155.07 c #Conflicts: 245000 | #Constraints: 21954
154.34/155.07 c #Conflicts: 246000 | #Constraints: 23018
154.34/155.07 c INPROCESSING
154.34/155.07 c GARBAGE COLLECT
154.34/155.07 c rational objective 2
163.21/163.94 c #Conflicts: 247000 | #Constraints: 12600
163.21/163.94 c #Conflicts: 248000 | #Constraints: 13725
163.21/163.94 c #Conflicts: 249000 | #Constraints: 14880
163.21/163.94 c #Conflicts: 250000 | #Constraints: 16038
163.21/163.94 c #Conflicts: 251000 | #Constraints: 17131
163.21/163.94 c #Conflicts: 252000 | #Constraints: 18286
163.21/163.94 c #Conflicts: 253000 | #Constraints: 19383
163.21/163.94 c #Conflicts: 254000 | #Constraints: 20484
163.21/163.94 c #Conflicts: 255000 | #Constraints: 21620
163.21/163.94 c #Conflicts: 256000 | #Constraints: 22762
163.21/163.94 c INPROCESSING
163.21/163.94 c GARBAGE COLLECT
163.21/163.94 c rational objective 2.01894
172.59/173.32 c #Conflicts: 257000 | #Constraints: 12337
172.59/173.32 c #Conflicts: 258000 | #Constraints: 13372
172.59/173.32 c #Conflicts: 259000 | #Constraints: 14395
172.59/173.32 c #Conflicts: 260000 | #Constraints: 15428
172.59/173.32 c #Conflicts: 261000 | #Constraints: 16487
172.59/173.32 c #Conflicts: 262000 | #Constraints: 17519
172.59/173.32 c #Conflicts: 263000 | #Constraints: 18546
172.59/173.32 c #Conflicts: 264000 | #Constraints: 19643
172.59/173.32 c #Conflicts: 265000 | #Constraints: 20749
172.59/173.32 c #Conflicts: 266000 | #Constraints: 21919
172.59/173.32 c INPROCESSING
172.59/173.32 c GARBAGE COLLECT
172.59/173.32 c rational objective 2.08144
183.45/184.24 c #Conflicts: 267000 | #Constraints: 11716
183.45/184.24 c #Conflicts: 268000 | #Constraints: 12733
183.45/184.24 c #Conflicts: 269000 | #Constraints: 13739
183.45/184.24 c #Conflicts: 270000 | #Constraints: 14753
183.45/184.24 c #Conflicts: 271000 | #Constraints: 15755
183.45/184.24 c #Conflicts: 272000 | #Constraints: 16757
183.45/184.24 c #Conflicts: 273000 | #Constraints: 17763
183.45/184.24 c #Conflicts: 274000 | #Constraints: 18777
183.45/184.24 c #Conflicts: 275000 | #Constraints: 19796
183.45/184.24 c #Conflicts: 276000 | #Constraints: 20822
183.45/184.24 c #Conflicts: 277000 | #Constraints: 21840
183.45/184.24 c INPROCESSING
183.45/184.24 c GARBAGE COLLECT
183.45/184.24 c rational objective 2.37458
194.03/194.83 c #Conflicts: 278000 | #Constraints: 11835
194.03/194.83 c #Conflicts: 279000 | #Constraints: 12839
194.03/194.83 c #Conflicts: 280000 | #Constraints: 13864
194.03/194.83 c #Conflicts: 281000 | #Constraints: 14864
194.03/194.83 c #Conflicts: 282000 | #Constraints: 15869
194.03/194.83 c #Conflicts: 283000 | #Constraints: 16869
194.03/194.83 c #Conflicts: 284000 | #Constraints: 17873
194.03/194.83 c #Conflicts: 285000 | #Constraints: 18878
194.03/194.83 c #Conflicts: 286000 | #Constraints: 19900
194.03/194.83 c #Conflicts: 287000 | #Constraints: 20918
194.03/194.83 c #Conflicts: 288000 | #Constraints: 21925
194.03/194.83 c INPROCESSING
194.03/194.83 c GARBAGE COLLECT
194.03/194.83 c rational objective 2.38068
204.70/205.50 c #Conflicts: 289000 | #Constraints: 11982
204.70/205.50 c #Conflicts: 290000 | #Constraints: 12984
204.70/205.50 c #Conflicts: 291000 | #Constraints: 13984
204.70/205.50 c #Conflicts: 292000 | #Constraints: 14996
204.70/205.50 c #Conflicts: 293000 | #Constraints: 16003
204.70/205.50 c #Conflicts: 294000 | #Constraints: 17007
204.70/205.50 c #Conflicts: 295000 | #Constraints: 18007
204.70/205.50 c #Conflicts: 296000 | #Constraints: 19014
204.70/205.50 c #Conflicts: 297000 | #Constraints: 20014
204.70/205.50 c #Conflicts: 298000 | #Constraints: 21014
204.70/205.50 c #Conflicts: 299000 | #Constraints: 22014
204.70/205.50 c INPROCESSING
204.70/205.50 c GARBAGE COLLECT
204.70/205.50 c rational objective 2.00002
214.47/215.31 c #Conflicts: 300000 | #Constraints: 12037
214.47/215.31 c #Conflicts: 301000 | #Constraints: 13037
214.47/215.31 c #Conflicts: 302000 | #Constraints: 14037
214.47/215.31 c #Conflicts: 303000 | #Constraints: 15037
214.47/215.31 c #Conflicts: 304000 | #Constraints: 16037
214.47/215.31 c #Conflicts: 305000 | #Constraints: 17037
214.47/215.31 c #Conflicts: 306000 | #Constraints: 18037
214.47/215.31 c #Conflicts: 307000 | #Constraints: 19037
214.47/215.31 c #Conflicts: 308000 | #Constraints: 20037
214.47/215.31 c #Conflicts: 309000 | #Constraints: 21037
214.47/215.31 c #Conflicts: 310000 | #Constraints: 22037
214.47/215.31 c INPROCESSING
214.47/215.31 c GARBAGE COLLECT
214.47/215.31 c rational objective 2.00002
223.05/224.00 c #Conflicts: 311000 | #Constraints: 11942
223.05/224.00 c #Conflicts: 312000 | #Constraints: 12946
223.05/224.00 c #Conflicts: 313000 | #Constraints: 13949
223.05/224.00 c #Conflicts: 314000 | #Constraints: 15001
223.05/224.00 c #Conflicts: 315000 | #Constraints: 16004
223.05/224.00 c #Conflicts: 316000 | #Constraints: 17021
223.05/224.00 c #Conflicts: 317000 | #Constraints: 18048
223.05/224.00 c #Conflicts: 318000 | #Constraints: 19059
223.05/224.00 c #Conflicts: 319000 | #Constraints: 20065
223.05/224.00 c #Conflicts: 320000 | #Constraints: 21082
223.05/224.00 c #Conflicts: 321000 | #Constraints: 22118
223.05/224.00 c INPROCESSING
223.05/224.00 c GARBAGE COLLECT
223.05/224.00 c rational objective 2.00002
237.61/238.55 c #Conflicts: 322000 | #Constraints: 11768
237.61/238.55 c #Conflicts: 323000 | #Constraints: 12785
237.61/238.55 c #Conflicts: 324000 | #Constraints: 13789
237.61/238.55 c #Conflicts: 325000 | #Constraints: 14796
237.61/238.55 c #Conflicts: 326000 | #Constraints: 15802
237.61/238.55 c #Conflicts: 327000 | #Constraints: 16803
237.61/238.55 c #Conflicts: 328000 | #Constraints: 17811
237.61/238.55 c #Conflicts: 329000 | #Constraints: 18834
237.61/238.55 c #Conflicts: 330000 | #Constraints: 19834
237.61/238.55 c #Conflicts: 331000 | #Constraints: 20847
237.61/238.55 c #Conflicts: 332000 | #Constraints: 21856
237.61/238.55 c #Conflicts: 333000 | #Constraints: 22856
237.61/238.55 c INPROCESSING
237.61/238.55 c GARBAGE COLLECT
237.61/238.55 c rational objective 2.00002
250.48/251.41 c #Conflicts: 334000 | #Constraints: 12345
250.48/251.41 c #Conflicts: 335000 | #Constraints: 13357
250.48/251.41 c #Conflicts: 336000 | #Constraints: 14365
250.48/251.41 c #Conflicts: 337000 | #Constraints: 15369
250.48/251.41 c #Conflicts: 338000 | #Constraints: 16378
250.48/251.41 c #Conflicts: 339000 | #Constraints: 17379
250.48/251.41 c #Conflicts: 340000 | #Constraints: 18379
250.48/251.41 c #Conflicts: 341000 | #Constraints: 19379
250.48/251.41 c #Conflicts: 342000 | #Constraints: 20379
250.48/251.41 c #Conflicts: 343000 | #Constraints: 21379
250.48/251.41 c #Conflicts: 344000 | #Constraints: 22379
250.48/251.41 c #Conflicts: 345000 | #Constraints: 23379
250.48/251.41 c INPROCESSING
250.48/251.41 c GARBAGE COLLECT
250.48/251.41 c rational objective 2.00002
259.35/260.32 c #Conflicts: 346000 | #Constraints: 12710
259.35/260.32 c #Conflicts: 347000 | #Constraints: 13718
259.35/260.32 c #Conflicts: 348000 | #Constraints: 14736
259.35/260.32 c #Conflicts: 349000 | #Constraints: 15736
259.35/260.32 c #Conflicts: 350000 | #Constraints: 16736
259.35/260.32 c #Conflicts: 351000 | #Constraints: 17736
259.35/260.32 c #Conflicts: 352000 | #Constraints: 18736
259.35/260.32 c #Conflicts: 353000 | #Constraints: 19736
259.35/260.32 c #Conflicts: 354000 | #Constraints: 20736
259.35/260.32 c #Conflicts: 355000 | #Constraints: 21736
259.35/260.32 c #Conflicts: 356000 | #Constraints: 22736
259.35/260.32 c #Conflicts: 357000 | #Constraints: 23736
259.35/260.32 c INPROCESSING
259.35/260.32 c GARBAGE COLLECT
259.35/260.32 c rational objective 2.00002
271.71/272.77 c #Conflicts: 358000 | #Constraints: 12875
271.71/272.77 c #Conflicts: 359000 | #Constraints: 13875
271.71/272.77 c #Conflicts: 360000 | #Constraints: 14875
271.71/272.77 c #Conflicts: 361000 | #Constraints: 15875
271.71/272.77 c #Conflicts: 362000 | #Constraints: 16876
271.71/272.77 c #Conflicts: 363000 | #Constraints: 17895
271.71/272.77 c #Conflicts: 364000 | #Constraints: 18896
271.71/272.77 c #Conflicts: 365000 | #Constraints: 19896
271.71/272.77 c #Conflicts: 366000 | #Constraints: 20907
271.71/272.77 c #Conflicts: 367000 | #Constraints: 21913
271.71/272.77 c #Conflicts: 368000 | #Constraints: 22915
271.71/272.77 c #Conflicts: 369000 | #Constraints: 23926
271.71/272.77 c INPROCESSING
271.71/272.77 c GARBAGE COLLECT
271.71/272.77 c rational objective 2.02983
284.27/285.37 c #Conflicts: 370000 | #Constraints: 12878
284.27/285.37 c #Conflicts: 371000 | #Constraints: 13886
284.27/285.37 c #Conflicts: 372000 | #Constraints: 14899
284.27/285.37 c #Conflicts: 373000 | #Constraints: 15910
284.27/285.37 c #Conflicts: 374000 | #Constraints: 16916
284.27/285.37 c #Conflicts: 375000 | #Constraints: 17923
284.27/285.37 c #Conflicts: 376000 | #Constraints: 18923
284.27/285.37 c #Conflicts: 377000 | #Constraints: 19923
284.27/285.37 c #Conflicts: 378000 | #Constraints: 20923
284.27/285.37 c #Conflicts: 379000 | #Constraints: 21923
284.27/285.37 c #Conflicts: 380000 | #Constraints: 22924
284.27/285.37 c #Conflicts: 381000 | #Constraints: 23927
284.27/285.37 c INPROCESSING
284.27/285.37 c GARBAGE COLLECT
284.27/285.37 c rational objective 2.00002
297.14/298.21 c #Conflicts: 382000 | #Constraints: 12677
297.14/298.21 c #Conflicts: 383000 | #Constraints: 13677
297.14/298.21 c #Conflicts: 384000 | #Constraints: 14677
297.14/298.21 c #Conflicts: 385000 | #Constraints: 15677
297.14/298.21 c #Conflicts: 386000 | #Constraints: 16687
297.14/298.21 c #Conflicts: 387000 | #Constraints: 17694
297.14/298.21 c #Conflicts: 388000 | #Constraints: 18694
297.14/298.21 c #Conflicts: 389000 | #Constraints: 19694
297.14/298.21 c #Conflicts: 390000 | #Constraints: 20694
297.14/298.21 c #Conflicts: 391000 | #Constraints: 21694
297.14/298.21 c #Conflicts: 392000 | #Constraints: 22694
297.14/298.21 c #Conflicts: 393000 | #Constraints: 23694
297.14/298.21 c #Conflicts: 394000 | #Constraints: 24694
297.14/298.21 c INPROCESSING
297.14/298.21 c GARBAGE COLLECT
297.14/298.21 c rational objective 2.00002
310.21/311.39 c #Conflicts: 395000 | #Constraints: 13261
310.21/311.39 c #Conflicts: 396000 | #Constraints: 14268
310.21/311.39 c #Conflicts: 397000 | #Constraints: 15283
310.21/311.39 c #Conflicts: 398000 | #Constraints: 16284
310.21/311.39 c #Conflicts: 399000 | #Constraints: 17289
310.21/311.39 c #Conflicts: 400000 | #Constraints: 18290
310.21/311.39 c #Conflicts: 401000 | #Constraints: 19300
310.21/311.39 c #Conflicts: 402000 | #Constraints: 20310
310.21/311.39 c #Conflicts: 403000 | #Constraints: 21318
310.21/311.39 c #Conflicts: 404000 | #Constraints: 22318
310.21/311.39 c #Conflicts: 405000 | #Constraints: 23318
310.21/311.39 c #Conflicts: 406000 | #Constraints: 24325
310.21/311.39 c #Conflicts: 407000 | #Constraints: 25325
310.21/311.39 c INPROCESSING
310.21/311.39 c GARBAGE COLLECT
310.21/311.39 c rational objective 2.00005
322.77/323.94 c #Conflicts: 408000 | #Constraints: 13678
322.77/323.94 c #Conflicts: 409000 | #Constraints: 14679
322.77/323.94 c #Conflicts: 410000 | #Constraints: 15816
322.77/323.94 c #Conflicts: 411000 | #Constraints: 16887
322.77/323.94 c #Conflicts: 412000 | #Constraints: 18112
322.77/323.94 c #Conflicts: 413000 | #Constraints: 19656
322.77/323.94 c #Conflicts: 414000 | #Constraints: 21005
322.77/323.94 c #Conflicts: 415000 | #Constraints: 22332
322.77/323.94 c #Conflicts: 416000 | #Constraints: 23604
322.77/323.94 c #Conflicts: 417000 | #Constraints: 24852
322.77/323.94 c #Conflicts: 418000 | #Constraints: 26456
322.77/323.94 c #Conflicts: 419000 | #Constraints: 27835
322.77/323.94 c #Conflicts: 420000 | #Constraints: 29067
322.77/323.94 c INPROCESSING
322.77/323.94 c GARBAGE COLLECT
322.77/323.94 c rational objective 2.00006
335.53/336.79 c #Conflicts: 421000 | #Constraints: 15563
335.53/336.79 c #Conflicts: 422000 | #Constraints: 16655
335.53/336.79 c #Conflicts: 423000 | #Constraints: 17691
335.53/336.79 c #Conflicts: 424000 | #Constraints: 18811
335.53/336.79 c #Conflicts: 425000 | #Constraints: 20354
335.53/336.79 c #Conflicts: 426000 | #Constraints: 21944
335.53/336.79 c #Conflicts: 427000 | #Constraints: 23402
335.53/336.79 c #Conflicts: 428000 | #Constraints: 24970
335.53/336.79 c #Conflicts: 429000 | #Constraints: 26415
335.53/336.79 c #Conflicts: 430000 | #Constraints: 27456
335.53/336.79 c #Conflicts: 431000 | #Constraints: 28585
335.53/336.79 c #Conflicts: 432000 | #Constraints: 29585
335.53/336.79 c #Conflicts: 433000 | #Constraints: 30585
335.53/336.79 c INPROCESSING
335.53/336.79 c GARBAGE COLLECT
335.53/336.79 c rational objective 2.00005
349.48/350.78 c #Conflicts: 434000 | #Constraints: 16206
349.48/350.78 c #Conflicts: 435000 | #Constraints: 17206
349.48/350.78 c #Conflicts: 436000 | #Constraints: 18209
349.48/350.78 c #Conflicts: 437000 | #Constraints: 19215
349.48/350.78 c #Conflicts: 438000 | #Constraints: 20252
349.48/350.78 c #Conflicts: 439000 | #Constraints: 21252
349.48/350.78 c #Conflicts: 440000 | #Constraints: 22267
349.48/350.78 c #Conflicts: 441000 | #Constraints: 23298
349.48/350.78 c #Conflicts: 442000 | #Constraints: 24299
349.48/350.78 c #Conflicts: 443000 | #Constraints: 25317
349.48/350.78 c #Conflicts: 444000 | #Constraints: 26328
349.48/350.78 c #Conflicts: 445000 | #Constraints: 27328
349.48/350.78 c #Conflicts: 446000 | #Constraints: 28333
349.48/350.78 c INPROCESSING
349.48/350.78 c GARBAGE COLLECT
349.48/350.78 c rational objective 2.00007
367.83/369.13 c #Conflicts: 447000 | #Constraints: 14881
367.83/369.13 c #Conflicts: 448000 | #Constraints: 15897
367.83/369.13 c #Conflicts: 449000 | #Constraints: 16905
367.83/369.13 c #Conflicts: 450000 | #Constraints: 17905
367.83/369.13 c #Conflicts: 451000 | #Constraints: 18908
367.83/369.13 c #Conflicts: 452000 | #Constraints: 19935
367.83/369.13 c #Conflicts: 453000 | #Constraints: 20954
367.83/369.13 c #Conflicts: 454000 | #Constraints: 21974
367.83/369.13 c #Conflicts: 455000 | #Constraints: 22985
367.83/369.13 c #Conflicts: 456000 | #Constraints: 23985
367.83/369.13 c #Conflicts: 457000 | #Constraints: 25002
367.83/369.13 c #Conflicts: 458000 | #Constraints: 26002
367.83/369.13 c #Conflicts: 459000 | #Constraints: 27004
367.83/369.13 c #Conflicts: 460000 | #Constraints: 28004
367.83/369.13 c INPROCESSING
367.83/369.13 c GARBAGE COLLECT
367.83/369.13 c rational objective 2.00003
379.29/380.65 c #Conflicts: 461000 | #Constraints: 12756
379.29/380.65 c #Conflicts: 462000 | #Constraints: 13792
379.29/380.65 c #Conflicts: 463000 | #Constraints: 14834
379.29/380.65 c #Conflicts: 464000 | #Constraints: 15857
379.29/380.65 c #Conflicts: 465000 | #Constraints: 16857
379.29/380.65 c #Conflicts: 466000 | #Constraints: 17908
379.29/380.65 c #Conflicts: 467000 | #Constraints: 18954
379.29/380.65 c #Conflicts: 468000 | #Constraints: 19970
379.29/380.65 c #Conflicts: 469000 | #Constraints: 20970
379.29/380.65 c #Conflicts: 470000 | #Constraints: 21970
379.29/380.65 c #Conflicts: 471000 | #Constraints: 22970
379.29/380.65 c #Conflicts: 472000 | #Constraints: 24002
379.29/380.65 c #Conflicts: 473000 | #Constraints: 25052
379.29/380.65 c #Conflicts: 474000 | #Constraints: 26105
379.29/380.65 c INPROCESSING
379.29/380.65 c GARBAGE COLLECT
379.29/380.65 c rational objective 2.00003
392.45/393.82 c #Conflicts: 475000 | #Constraints: 14082
392.45/393.82 c #Conflicts: 476000 | #Constraints: 15082
392.45/393.82 c #Conflicts: 477000 | #Constraints: 16131
392.45/393.82 c #Conflicts: 478000 | #Constraints: 17153
392.45/393.82 c #Conflicts: 479000 | #Constraints: 18192
392.45/393.82 c #Conflicts: 480000 | #Constraints: 19194
392.45/393.82 c #Conflicts: 481000 | #Constraints: 20194
392.45/393.82 c #Conflicts: 482000 | #Constraints: 21194
392.45/393.82 c #Conflicts: 483000 | #Constraints: 22194
392.45/393.82 c #Conflicts: 484000 | #Constraints: 23194
392.45/393.82 c #Conflicts: 485000 | #Constraints: 24211
392.45/393.82 c #Conflicts: 486000 | #Constraints: 25248
392.45/393.82 c #Conflicts: 487000 | #Constraints: 26295
392.45/393.82 c #Conflicts: 488000 | #Constraints: 27329
392.45/393.82 c INPROCESSING
392.45/393.82 c GARBAGE COLLECT
392.45/393.82 c rational objective 2.60661
441.67/443.24 c #Conflicts: 489000 | #Constraints: 14709
441.67/443.24 c #Conflicts: 490000 | #Constraints: 15720
441.67/443.24 c #Conflicts: 491000 | #Constraints: 16720
441.67/443.24 c #Conflicts: 492000 | #Constraints: 17737
441.67/443.24 c #Conflicts: 493000 | #Constraints: 19362
441.67/443.24 c #Conflicts: 494000 | #Constraints: 20810
441.67/443.24 c #Conflicts: 495000 | #Constraints: 21940
441.67/443.24 c #Conflicts: 496000 | #Constraints: 22948
441.67/443.24 c #Conflicts: 497000 | #Constraints: 23948
441.67/443.24 c #Conflicts: 498000 | #Constraints: 24959
441.67/443.24 c #Conflicts: 499000 | #Constraints: 26252
441.67/443.24 c #Conflicts: 500000 | #Constraints: 27399
441.67/443.24 c #Conflicts: 501000 | #Constraints: 28458
441.67/443.24 c #Conflicts: 502000 | #Constraints: 29541
441.67/443.24 c INPROCESSING
441.67/443.24 c GARBAGE COLLECT
441.67/443.24 c #Conflicts: 503000 | #Constraints: 15685
441.67/443.24 c #Conflicts: 504000 | #Constraints: 16685
441.67/443.24 c #Conflicts: 505000 | #Constraints: 17704
441.67/443.24 c #Conflicts: 506000 | #Constraints: 18713
441.67/443.24 c #Conflicts: 507000 | #Constraints: 19715
441.67/443.24 c #Conflicts: 508000 | #Constraints: 20715
441.67/443.24 c #Conflicts: 509000 | #Constraints: 21715
441.67/443.24 c #Conflicts: 510000 | #Constraints: 22747
441.67/443.24 c #Conflicts: 511000 | #Constraints: 23747
441.67/443.24 c #Conflicts: 512000 | #Constraints: 24748
441.67/443.24 c #Conflicts: 513000 | #Constraints: 26080
441.67/443.24 c #Conflicts: 514000 | #Constraints: 27301
441.67/443.24 c #Conflicts: 515000 | #Constraints: 28418
441.67/443.24 c #Conflicts: 516000 | #Constraints: 29490
441.67/443.24 c INPROCESSING
441.67/443.24 c GARBAGE COLLECT
441.67/443.24 c rational objective 2.69395
461.51/463.17 c #Conflicts: 517000 | #Constraints: 15461
461.51/463.17 c #Conflicts: 518000 | #Constraints: 16506
461.51/463.17 c #Conflicts: 519000 | #Constraints: 17603
461.51/463.17 c #Conflicts: 520000 | #Constraints: 18637
461.51/463.17 c #Conflicts: 521000 | #Constraints: 19638
461.51/463.17 c #Conflicts: 522000 | #Constraints: 20689
461.51/463.17 c #Conflicts: 523000 | #Constraints: 21751
461.51/463.17 c #Conflicts: 524000 | #Constraints: 22807
461.51/463.17 c #Conflicts: 525000 | #Constraints: 23840
461.51/463.17 c #Conflicts: 526000 | #Constraints: 24951
461.51/463.17 c #Conflicts: 527000 | #Constraints: 26013
461.51/463.17 c #Conflicts: 528000 | #Constraints: 27061
461.51/463.17 c #Conflicts: 529000 | #Constraints: 28114
461.51/463.17 c #Conflicts: 530000 | #Constraints: 29154
461.51/463.17 c #Conflicts: 531000 | #Constraints: 30195
461.51/463.17 c INPROCESSING
461.51/463.17 c GARBAGE COLLECT
461.51/463.17 c rational objective 2.70963
515.91/517.78 c #Conflicts: 532000 | #Constraints: 16009
515.91/517.78 c #Conflicts: 533000 | #Constraints: 17015
515.91/517.78 c #Conflicts: 534000 | #Constraints: 18015
515.91/517.78 c #Conflicts: 535000 | #Constraints: 19018
515.91/517.78 c #Conflicts: 536000 | #Constraints: 20036
515.91/517.78 c #Conflicts: 537000 | #Constraints: 21038
515.91/517.78 c #Conflicts: 538000 | #Constraints: 22038
515.91/517.78 c #Conflicts: 539000 | #Constraints: 23045
515.91/517.78 c #Conflicts: 540000 | #Constraints: 24071
515.91/517.78 c #Conflicts: 541000 | #Constraints: 25083
515.91/517.78 c #Conflicts: 542000 | #Constraints: 26083
515.91/517.78 c #Conflicts: 543000 | #Constraints: 27083
515.91/517.78 c #Conflicts: 544000 | #Constraints: 28083
515.91/517.78 c #Conflicts: 545000 | #Constraints: 29083
515.91/517.78 c #Conflicts: 546000 | #Constraints: 30083
515.91/517.78 c INPROCESSING
515.91/517.78 c GARBAGE COLLECT
515.91/517.78 c #Conflicts: 547000 | #Constraints: 16049
515.91/517.78 c #Conflicts: 548000 | #Constraints: 17051
515.91/517.78 c #Conflicts: 549000 | #Constraints: 18051
515.91/517.78 c #Conflicts: 550000 | #Constraints: 19051
515.91/517.78 c #Conflicts: 551000 | #Constraints: 20051
515.91/517.78 c #Conflicts: 552000 | #Constraints: 21051
515.91/517.78 c #Conflicts: 553000 | #Constraints: 22051
515.91/517.78 c #Conflicts: 554000 | #Constraints: 23051
515.91/517.78 c #Conflicts: 555000 | #Constraints: 24051
515.91/517.78 c #Conflicts: 556000 | #Constraints: 25051
515.91/517.78 c #Conflicts: 557000 | #Constraints: 26051
515.91/517.78 c #Conflicts: 558000 | #Constraints: 27052
515.91/517.78 c #Conflicts: 559000 | #Constraints: 28061
515.91/517.78 c #Conflicts: 560000 | #Constraints: 29065
515.91/517.78 c #Conflicts: 561000 | #Constraints: 30074
515.91/517.78 c INPROCESSING
515.91/517.78 c GARBAGE COLLECT
515.91/517.78 c rational objective 2.71641
549.39/551.35 c #Conflicts: 562000 | #Constraints: 16051
549.39/551.35 c #Conflicts: 563000 | #Constraints: 17054
549.39/551.35 c #Conflicts: 564000 | #Constraints: 18060
549.39/551.35 c #Conflicts: 565000 | #Constraints: 19069
549.39/551.35 c #Conflicts: 566000 | #Constraints: 20084
549.39/551.35 c #Conflicts: 567000 | #Constraints: 21090
549.39/551.35 c #Conflicts: 568000 | #Constraints: 22090
549.39/551.35 c #Conflicts: 569000 | #Constraints: 23090
549.39/551.35 c #Conflicts: 570000 | #Constraints: 24097
549.39/551.35 c #Conflicts: 571000 | #Constraints: 25108
549.39/551.35 c #Conflicts: 572000 | #Constraints: 26109
549.39/551.35 c #Conflicts: 573000 | #Constraints: 27109
549.39/551.35 c #Conflicts: 574000 | #Constraints: 28111
549.39/551.35 c #Conflicts: 575000 | #Constraints: 29111
549.39/551.35 c #Conflicts: 576000 | #Constraints: 30111
549.39/551.35 c INPROCESSING
549.39/551.35 c GARBAGE COLLECT
549.39/551.35 c rational objective 2.0003
582.47/584.59 c #Conflicts: 577000 | #Constraints: 15965
582.47/584.59 c #Conflicts: 578000 | #Constraints: 17010
582.47/584.59 c #Conflicts: 579000 | #Constraints: 18013
582.47/584.59 c #Conflicts: 580000 | #Constraints: 19013
582.47/584.59 c #Conflicts: 581000 | #Constraints: 20013
582.47/584.59 c #Conflicts: 582000 | #Constraints: 21013
582.47/584.59 c #Conflicts: 583000 | #Constraints: 22013
582.47/584.59 c #Conflicts: 584000 | #Constraints: 23013
582.47/584.59 c #Conflicts: 585000 | #Constraints: 24013
582.47/584.59 c #Conflicts: 586000 | #Constraints: 25015
582.47/584.59 c #Conflicts: 587000 | #Constraints: 26022
582.47/584.59 c #Conflicts: 588000 | #Constraints: 27023
582.47/584.59 c #Conflicts: 589000 | #Constraints: 28028
582.47/584.59 c #Conflicts: 590000 | #Constraints: 29035
582.47/584.59 c #Conflicts: 591000 | #Constraints: 30035
582.47/584.59 c INPROCESSING
582.47/584.59 c GARBAGE COLLECT
582.47/584.59 c rational objective 2.71595
607.38/609.59 c #Conflicts: 592000 | #Constraints: 15731
607.38/609.59 c #Conflicts: 593000 | #Constraints: 16733
607.38/609.59 c #Conflicts: 594000 | #Constraints: 17735
607.38/609.59 c #Conflicts: 595000 | #Constraints: 18743
607.38/609.59 c #Conflicts: 596000 | #Constraints: 19743
607.38/609.59 c #Conflicts: 597000 | #Constraints: 20743
607.38/609.59 c #Conflicts: 598000 | #Constraints: 21767
607.38/609.59 c #Conflicts: 599000 | #Constraints: 22767
607.38/609.59 c #Conflicts: 600000 | #Constraints: 23788
607.38/609.59 c #Conflicts: 601000 | #Constraints: 24822
607.38/609.59 c #Conflicts: 602000 | #Constraints: 25840
607.38/609.59 c #Conflicts: 603000 | #Constraints: 26881
607.38/609.59 c #Conflicts: 604000 | #Constraints: 27882
607.38/609.59 c #Conflicts: 605000 | #Constraints: 28885
607.38/609.59 c #Conflicts: 606000 | #Constraints: 29923
607.38/609.59 c #Conflicts: 607000 | #Constraints: 30957
607.38/609.59 c INPROCESSING
607.38/609.59 c GARBAGE COLLECT
607.38/609.59 c rational objective 2.00003
645.25/647.55 c #Conflicts: 608000 | #Constraints: 16420
645.25/647.55 c #Conflicts: 609000 | #Constraints: 17466
645.25/647.55 c #Conflicts: 610000 | #Constraints: 18481
645.25/647.55 c #Conflicts: 611000 | #Constraints: 19487
645.25/647.55 c #Conflicts: 612000 | #Constraints: 20487
645.25/647.55 c #Conflicts: 613000 | #Constraints: 21514
645.25/647.55 c #Conflicts: 614000 | #Constraints: 22531
645.25/647.55 c #Conflicts: 615000 | #Constraints: 23531
645.25/647.55 c #Conflicts: 616000 | #Constraints: 24566
645.25/647.55 c #Conflicts: 617000 | #Constraints: 25614
645.25/647.55 c #Conflicts: 618000 | #Constraints: 26620
645.25/647.55 c #Conflicts: 619000 | #Constraints: 27621
645.25/647.55 c #Conflicts: 620000 | #Constraints: 28621
645.25/647.55 c #Conflicts: 621000 | #Constraints: 29621
645.25/647.55 c #Conflicts: 622000 | #Constraints: 30621
645.25/647.55 c #Conflicts: 623000 | #Constraints: 31623
645.25/647.55 c INPROCESSING
645.25/647.55 c GARBAGE COLLECT
645.25/647.55 c rational objective 2.00004
679.64/682.02 c #Conflicts: 624000 | #Constraints: 16823
679.64/682.02 c #Conflicts: 625000 | #Constraints: 17838
679.64/682.02 c #Conflicts: 626000 | #Constraints: 18850
679.64/682.02 c #Conflicts: 627000 | #Constraints: 19860
679.64/682.02 c #Conflicts: 628000 | #Constraints: 20863
679.64/682.02 c #Conflicts: 629000 | #Constraints: 21863
679.64/682.02 c #Conflicts: 630000 | #Constraints: 22863
679.64/682.02 c #Conflicts: 631000 | #Constraints: 23863
679.64/682.02 c #Conflicts: 632000 | #Constraints: 24863
679.64/682.02 c #Conflicts: 633000 | #Constraints: 25863
679.64/682.02 c #Conflicts: 634000 | #Constraints: 26863
679.64/682.02 c #Conflicts: 635000 | #Constraints: 27866
679.64/682.02 c #Conflicts: 636000 | #Constraints: 28868
679.64/682.02 c #Conflicts: 637000 | #Constraints: 29870
679.64/682.02 c #Conflicts: 638000 | #Constraints: 30882
679.64/682.02 c #Conflicts: 639000 | #Constraints: 31888
679.64/682.02 c INPROCESSING
679.64/682.02 c GARBAGE COLLECT
679.64/682.02 c rational objective 2.79393
704.85/707.37 c #Conflicts: 640000 | #Constraints: 16954
704.85/707.37 c #Conflicts: 641000 | #Constraints: 17954
704.85/707.37 c #Conflicts: 642000 | #Constraints: 18959
704.85/707.37 c #Conflicts: 643000 | #Constraints: 19959
704.85/707.37 c #Conflicts: 644000 | #Constraints: 20964
704.85/707.37 c #Conflicts: 645000 | #Constraints: 21968
704.85/707.37 c #Conflicts: 646000 | #Constraints: 22969
704.85/707.37 c #Conflicts: 647000 | #Constraints: 23995
704.85/707.37 c #Conflicts: 648000 | #Constraints: 25006
704.85/707.37 c #Conflicts: 649000 | #Constraints: 26006
704.85/707.37 c #Conflicts: 650000 | #Constraints: 27024
704.85/707.37 c #Conflicts: 651000 | #Constraints: 28025
704.85/707.37 c #Conflicts: 652000 | #Constraints: 29028
704.85/707.37 c #Conflicts: 653000 | #Constraints: 30040
704.85/707.37 c #Conflicts: 654000 | #Constraints: 31058
704.85/707.37 c #Conflicts: 655000 | #Constraints: 32076
704.85/707.37 c INPROCESSING
704.85/707.37 c GARBAGE COLLECT
704.85/707.37 c rational objective 3.0268
737.45/740.02 c #Conflicts: 656000 | #Constraints: 16961
737.45/740.02 c #Conflicts: 657000 | #Constraints: 17969
737.45/740.02 c #Conflicts: 658000 | #Constraints: 18969
737.45/740.02 c #Conflicts: 659000 | #Constraints: 19978
737.45/740.02 c #Conflicts: 660000 | #Constraints: 20979
737.45/740.02 c #Conflicts: 661000 | #Constraints: 21986
737.45/740.02 c #Conflicts: 662000 | #Constraints: 23019
737.45/740.02 c #Conflicts: 663000 | #Constraints: 24019
737.45/740.02 c #Conflicts: 664000 | #Constraints: 25019
737.45/740.02 c #Conflicts: 665000 | #Constraints: 26021
737.45/740.02 c #Conflicts: 666000 | #Constraints: 27053
737.45/740.02 c #Conflicts: 667000 | #Constraints: 28059
737.45/740.02 c #Conflicts: 668000 | #Constraints: 29073
737.45/740.02 c #Conflicts: 669000 | #Constraints: 30073
737.45/740.02 c #Conflicts: 670000 | #Constraints: 31075
737.45/740.02 c #Conflicts: 671000 | #Constraints: 32075
737.45/740.02 c INPROCESSING
737.45/740.02 c GARBAGE COLLECT
737.45/740.02 c rational objective 2.00003
778.50/781.26 c #Conflicts: 672000 | #Constraints: 16750
778.50/781.26 c #Conflicts: 673000 | #Constraints: 17764
778.50/781.26 c #Conflicts: 674000 | #Constraints: 18764
778.50/781.26 c #Conflicts: 675000 | #Constraints: 19767
778.50/781.26 c #Conflicts: 676000 | #Constraints: 20770
778.50/781.26 c #Conflicts: 677000 | #Constraints: 21770
778.50/781.26 c #Conflicts: 678000 | #Constraints: 22770
778.50/781.26 c #Conflicts: 679000 | #Constraints: 23770
778.50/781.26 c #Conflicts: 680000 | #Constraints: 24773
778.50/781.26 c #Conflicts: 681000 | #Constraints: 25796
778.50/781.26 c #Conflicts: 682000 | #Constraints: 26796
778.50/781.26 c #Conflicts: 683000 | #Constraints: 27800
778.50/781.26 c #Conflicts: 684000 | #Constraints: 28817
778.50/781.26 c #Conflicts: 685000 | #Constraints: 29823
778.50/781.26 c #Conflicts: 686000 | #Constraints: 30824
778.50/781.26 c #Conflicts: 687000 | #Constraints: 31846
778.50/781.26 c #Conflicts: 688000 | #Constraints: 32857
778.50/781.26 c INPROCESSING
778.50/781.26 c GARBAGE COLLECT
778.50/781.26 c rational objective 2.00004
807.50/810.36 c #Conflicts: 689000 | #Constraints: 17338
807.50/810.36 c #Conflicts: 690000 | #Constraints: 18338
807.50/810.36 c #Conflicts: 691000 | #Constraints: 19356
807.50/810.36 c #Conflicts: 692000 | #Constraints: 20368
807.50/810.36 c #Conflicts: 693000 | #Constraints: 21380
807.50/810.36 c #Conflicts: 694000 | #Constraints: 22421
807.50/810.36 c #Conflicts: 695000 | #Constraints: 23427
807.50/810.36 c #Conflicts: 696000 | #Constraints: 24448
807.50/810.36 c #Conflicts: 697000 | #Constraints: 25457
807.50/810.36 c #Conflicts: 698000 | #Constraints: 26457
807.50/810.36 c #Conflicts: 699000 | #Constraints: 27466
807.50/810.36 c #Conflicts: 700000 | #Constraints: 28477
807.50/810.36 c #Conflicts: 701000 | #Constraints: 29477
807.50/810.36 c #Conflicts: 702000 | #Constraints: 30477
807.50/810.36 c #Conflicts: 703000 | #Constraints: 31486
807.50/810.36 c #Conflicts: 704000 | #Constraints: 32489
807.50/810.36 c #Conflicts: 705000 | #Constraints: 33489
807.50/810.36 c INPROCESSING
807.50/810.36 c GARBAGE COLLECT
807.50/810.36 c rational objective 2.00176
843.79/846.72 c #Conflicts: 706000 | #Constraints: 17750
843.79/846.72 c #Conflicts: 707000 | #Constraints: 18750
843.79/846.72 c #Conflicts: 708000 | #Constraints: 19750
843.79/846.72 c #Conflicts: 709000 | #Constraints: 20750
843.79/846.72 c #Conflicts: 710000 | #Constraints: 21750
843.79/846.72 c #Conflicts: 711000 | #Constraints: 22750
843.79/846.72 c #Conflicts: 712000 | #Constraints: 23750
843.79/846.72 c #Conflicts: 713000 | #Constraints: 24750
843.79/846.72 c #Conflicts: 714000 | #Constraints: 25750
843.79/846.72 c #Conflicts: 715000 | #Constraints: 26750
843.79/846.72 c #Conflicts: 716000 | #Constraints: 27750
843.79/846.72 c #Conflicts: 717000 | #Constraints: 28750
843.79/846.72 c #Conflicts: 718000 | #Constraints: 29750
843.79/846.72 c #Conflicts: 719000 | #Constraints: 30761
843.79/846.72 c #Conflicts: 720000 | #Constraints: 31786
843.79/846.72 c #Conflicts: 721000 | #Constraints: 32832
843.79/846.72 c #Conflicts: 722000 | #Constraints: 33865
843.79/846.72 c INPROCESSING
843.79/846.72 c GARBAGE COLLECT
843.79/846.72 c rational objective 2.00177
868.60/871.69 c #Conflicts: 723000 | #Constraints: 17967
868.60/871.69 c #Conflicts: 724000 | #Constraints: 18973
868.60/871.69 c #Conflicts: 725000 | #Constraints: 19973
868.60/871.69 c #Conflicts: 726000 | #Constraints: 20973
868.60/871.69 c #Conflicts: 727000 | #Constraints: 21973
868.60/871.69 c #Conflicts: 728000 | #Constraints: 22973
868.60/871.69 c #Conflicts: 729000 | #Constraints: 23973
868.60/871.69 c #Conflicts: 730000 | #Constraints: 24973
868.60/871.69 c #Conflicts: 731000 | #Constraints: 25973
868.60/871.69 c #Conflicts: 732000 | #Constraints: 26973
868.60/871.69 c #Conflicts: 733000 | #Constraints: 27973
868.60/871.69 c #Conflicts: 734000 | #Constraints: 28973
868.60/871.69 c #Conflicts: 735000 | #Constraints: 29983
868.60/871.69 c #Conflicts: 736000 | #Constraints: 30983
868.60/871.69 c #Conflicts: 737000 | #Constraints: 31983
868.60/871.69 c #Conflicts: 738000 | #Constraints: 32994
868.60/871.69 c #Conflicts: 739000 | #Constraints: 34000
868.60/871.69 c INPROCESSING
868.60/871.69 c GARBAGE COLLECT
868.60/871.69 c rational objective 2.19832
908.17/911.35 c #Conflicts: 740000 | #Constraints: 17919
908.17/911.35 c #Conflicts: 741000 | #Constraints: 18930
908.17/911.35 c #Conflicts: 742000 | #Constraints: 19953
908.17/911.35 c #Conflicts: 743000 | #Constraints: 20977
908.17/911.35 c #Conflicts: 744000 | #Constraints: 21985
908.17/911.35 c #Conflicts: 745000 | #Constraints: 22985
908.17/911.35 c #Conflicts: 746000 | #Constraints: 23985
908.17/911.35 c #Conflicts: 747000 | #Constraints: 24985
908.17/911.35 c #Conflicts: 748000 | #Constraints: 25985
908.17/911.35 c #Conflicts: 749000 | #Constraints: 27024
908.17/911.35 c #Conflicts: 750000 | #Constraints: 28039
908.17/911.35 c #Conflicts: 751000 | #Constraints: 29039
908.17/911.35 c #Conflicts: 752000 | #Constraints: 30043
908.17/911.35 c #Conflicts: 753000 | #Constraints: 31052
908.17/911.35 c #Conflicts: 754000 | #Constraints: 32052
908.17/911.35 c #Conflicts: 755000 | #Constraints: 33053
908.17/911.35 c #Conflicts: 756000 | #Constraints: 34080
908.17/911.35 c INPROCESSING
908.17/911.35 c GARBAGE COLLECT
908.17/911.35 c rational objective 2.00003
947.23/950.58 c #Conflicts: 757000 | #Constraints: 17762
947.23/950.58 c #Conflicts: 758000 | #Constraints: 18774
947.23/950.58 c #Conflicts: 759000 | #Constraints: 19786
947.23/950.58 c #Conflicts: 760000 | #Constraints: 20812
947.23/950.58 c #Conflicts: 761000 | #Constraints: 21834
947.23/950.58 c #Conflicts: 762000 | #Constraints: 22835
947.23/950.58 c #Conflicts: 763000 | #Constraints: 23835
947.23/950.58 c #Conflicts: 764000 | #Constraints: 24835
947.23/950.58 c #Conflicts: 765000 | #Constraints: 25835
947.23/950.58 c #Conflicts: 766000 | #Constraints: 26835
947.23/950.58 c #Conflicts: 767000 | #Constraints: 27835
947.23/950.58 c #Conflicts: 768000 | #Constraints: 28835
947.23/950.58 c #Conflicts: 769000 | #Constraints: 29835
947.23/950.58 c #Conflicts: 770000 | #Constraints: 30835
947.23/950.58 c #Conflicts: 771000 | #Constraints: 31835
947.23/950.58 c #Conflicts: 772000 | #Constraints: 32840
947.23/950.58 c #Conflicts: 773000 | #Constraints: 33840
947.23/950.58 c #Conflicts: 774000 | #Constraints: 34840
947.23/950.58 c INPROCESSING
947.23/950.58 c GARBAGE COLLECT
947.23/950.58 c rational objective 2.00003
994.75/998.21 c #Conflicts: 775000 | #Constraints: 18337
994.75/998.21 c #Conflicts: 776000 | #Constraints: 19337
994.75/998.21 c #Conflicts: 777000 | #Constraints: 20337
994.75/998.21 c #Conflicts: 778000 | #Constraints: 21337
994.75/998.21 c #Conflicts: 779000 | #Constraints: 22338
994.75/998.21 c #Conflicts: 780000 | #Constraints: 23338
994.75/998.21 c #Conflicts: 781000 | #Constraints: 24338
994.75/998.21 c #Conflicts: 782000 | #Constraints: 25338
994.75/998.21 c #Conflicts: 783000 | #Constraints: 26348
994.75/998.21 c #Conflicts: 784000 | #Constraints: 27349
994.75/998.21 c #Conflicts: 785000 | #Constraints: 28349
994.75/998.21 c #Conflicts: 786000 | #Constraints: 29350
994.75/998.21 c #Conflicts: 787000 | #Constraints: 30350
994.75/998.21 c #Conflicts: 788000 | #Constraints: 31355
994.75/998.21 c #Conflicts: 789000 | #Constraints: 32364
994.75/998.21 c #Conflicts: 790000 | #Constraints: 33413
994.75/998.21 c #Conflicts: 791000 | #Constraints: 34418
994.75/998.21 c #Conflicts: 792000 | #Constraints: 35445
994.75/998.21 c INPROCESSING
994.75/998.21 c GARBAGE COLLECT
994.75/998.21 c rational objective 2.03323
1044.35/1048.04 c #Conflicts: 793000 | #Constraints: 18731
1044.35/1048.04 c #Conflicts: 794000 | #Constraints: 19741
1044.35/1048.04 c #Conflicts: 795000 | #Constraints: 20741
1044.35/1048.04 c #Conflicts: 796000 | #Constraints: 21741
1044.35/1048.04 c #Conflicts: 797000 | #Constraints: 22761
1044.35/1048.04 c #Conflicts: 798000 | #Constraints: 23804
1044.35/1048.04 c #Conflicts: 799000 | #Constraints: 24820
1044.35/1048.04 c #Conflicts: 800000 | #Constraints: 25820
1044.35/1048.04 c #Conflicts: 801000 | #Constraints: 26834
1044.35/1048.04 c #Conflicts: 802000 | #Constraints: 27848
1044.35/1048.04 c #Conflicts: 803000 | #Constraints: 28848
1044.35/1048.04 c #Conflicts: 804000 | #Constraints: 29849
1044.35/1048.04 c #Conflicts: 805000 | #Constraints: 30849
1044.35/1048.04 c #Conflicts: 806000 | #Constraints: 31852
1044.35/1048.04 c #Conflicts: 807000 | #Constraints: 32867
1044.35/1048.04 c #Conflicts: 808000 | #Constraints: 33880
1044.35/1048.04 c #Conflicts: 809000 | #Constraints: 34909
1044.35/1048.04 c #Conflicts: 810000 | #Constraints: 35922
1044.35/1048.04 c INPROCESSING
1044.35/1048.04 c GARBAGE COLLECT
1044.35/1048.04 c rational objective 2.03685
1075.33/1079.16 c #Conflicts: 811000 | #Constraints: 18969
1075.33/1079.16 c #Conflicts: 812000 | #Constraints: 19974
1075.33/1079.16 c #Conflicts: 813000 | #Constraints: 20975
1075.33/1079.16 c #Conflicts: 814000 | #Constraints: 22029
1075.33/1079.16 c #Conflicts: 815000 | #Constraints: 23065
1075.33/1079.16 c #Conflicts: 816000 | #Constraints: 24097
1075.33/1079.16 c #Conflicts: 817000 | #Constraints: 25118
1075.33/1079.16 c #Conflicts: 818000 | #Constraints: 26118
1075.33/1079.16 c #Conflicts: 819000 | #Constraints: 27132
1075.33/1079.16 c #Conflicts: 820000 | #Constraints: 28152
1075.33/1079.16 c #Conflicts: 821000 | #Constraints: 29152
1075.33/1079.16 c #Conflicts: 822000 | #Constraints: 30152
1075.33/1079.16 c #Conflicts: 823000 | #Constraints: 31152
1075.33/1079.16 c #Conflicts: 824000 | #Constraints: 32152
1075.33/1079.16 c #Conflicts: 825000 | #Constraints: 33152
1075.33/1079.16 c #Conflicts: 826000 | #Constraints: 34152
1075.33/1079.16 c #Conflicts: 827000 | #Constraints: 35152
1075.33/1079.16 c #Conflicts: 828000 | #Constraints: 36152
1075.33/1079.16 c INPROCESSING
1075.33/1079.16 c GARBAGE COLLECT
1075.33/1079.16 c rational objective 2.17306
1149.12/1153.28 c #Conflicts: 829000 | #Constraints: 18993
1149.12/1153.28 c #Conflicts: 830000 | #Constraints: 20087
1149.12/1153.28 c #Conflicts: 831000 | #Constraints: 21126
1149.12/1153.28 c #Conflicts: 832000 | #Constraints: 22126
1149.12/1153.28 c #Conflicts: 833000 | #Constraints: 23140
1149.12/1153.28 c #Conflicts: 834000 | #Constraints: 24142
1149.12/1153.28 c #Conflicts: 835000 | #Constraints: 25142
1149.12/1153.28 c #Conflicts: 836000 | #Constraints: 26142
1149.12/1153.28 c #Conflicts: 837000 | #Constraints: 27142
1149.12/1153.28 c #Conflicts: 838000 | #Constraints: 28142
1149.12/1153.28 c #Conflicts: 839000 | #Constraints: 29142
1149.12/1153.28 c #Conflicts: 840000 | #Constraints: 30142
1149.12/1153.28 c #Conflicts: 841000 | #Constraints: 31142
1149.12/1153.28 c #Conflicts: 842000 | #Constraints: 32154
1149.12/1153.28 c #Conflicts: 843000 | #Constraints: 33154
1149.12/1153.28 c #Conflicts: 844000 | #Constraints: 34154
1149.12/1153.28 c #Conflicts: 845000 | #Constraints: 35154
1149.12/1153.28 c #Conflicts: 846000 | #Constraints: 36163
1149.12/1153.28 c INPROCESSING
1149.12/1153.28 c GARBAGE COLLECT
1149.12/1153.28 c #Conflicts: 847000 | #Constraints: 18793
1149.12/1153.28 c #Conflicts: 848000 | #Constraints: 19793
1149.12/1153.28 c #Conflicts: 849000 | #Constraints: 20793
1149.12/1153.28 c #Conflicts: 850000 | #Constraints: 21794
1149.12/1153.28 c #Conflicts: 851000 | #Constraints: 22794
1149.12/1153.28 c #Conflicts: 852000 | #Constraints: 23808
1149.12/1153.28 c #Conflicts: 853000 | #Constraints: 24820
1149.12/1153.28 c #Conflicts: 854000 | #Constraints: 25845
1149.12/1153.28 c #Conflicts: 855000 | #Constraints: 26864
1149.12/1153.28 c #Conflicts: 856000 | #Constraints: 27908
1149.12/1153.28 c #Conflicts: 857000 | #Constraints: 28921
1149.12/1153.28 c #Conflicts: 858000 | #Constraints: 29921
1149.12/1153.28 c #Conflicts: 859000 | #Constraints: 30970
1149.12/1153.28 c #Conflicts: 860000 | #Constraints: 31984
1149.12/1153.28 c #Conflicts: 861000 | #Constraints: 33011
1149.12/1153.28 c #Conflicts: 862000 | #Constraints: 34049
1149.12/1153.28 c #Conflicts: 863000 | #Constraints: 35049
1149.12/1153.28 c #Conflicts: 864000 | #Constraints: 36049
1149.12/1153.28 c #Conflicts: 865000 | #Constraints: 37049
1149.12/1153.28 c INPROCESSING
1149.12/1153.28 c GARBAGE COLLECT
1149.12/1153.28 c rational objective 2.00003
1181.00/1185.23 c #Conflicts: 866000 | #Constraints: 19441
1181.00/1185.23 c #Conflicts: 867000 | #Constraints: 20444
1181.00/1185.23 c #Conflicts: 868000 | #Constraints: 21470
1181.00/1185.23 c #Conflicts: 869000 | #Constraints: 22481
1181.00/1185.23 c #Conflicts: 870000 | #Constraints: 23481
1181.00/1185.23 c #Conflicts: 871000 | #Constraints: 24500
1181.00/1185.23 c #Conflicts: 872000 | #Constraints: 25500
1181.00/1185.23 c #Conflicts: 873000 | #Constraints: 26508
1181.00/1185.23 c #Conflicts: 874000 | #Constraints: 27559
1181.00/1185.23 c #Conflicts: 875000 | #Constraints: 28562
1181.00/1185.23 c #Conflicts: 876000 | #Constraints: 29572
1181.00/1185.23 c #Conflicts: 877000 | #Constraints: 30600
1181.00/1185.23 c #Conflicts: 878000 | #Constraints: 31605
1181.00/1185.23 c #Conflicts: 879000 | #Constraints: 32605
1181.00/1185.23 c #Conflicts: 880000 | #Constraints: 33605
1181.00/1185.23 c #Conflicts: 881000 | #Constraints: 34605
1181.00/1185.23 c #Conflicts: 882000 | #Constraints: 35605
1181.00/1185.23 c #Conflicts: 883000 | #Constraints: 36605
1181.00/1185.23 c #Conflicts: 884000 | #Constraints: 37605
1181.00/1185.23 c INPROCESSING
1181.00/1185.23 c GARBAGE COLLECT
1181.00/1185.23 c rational objective 2.00003
1213.26/1217.69 c #Conflicts: 885000 | #Constraints: 19832
1213.26/1217.69 c #Conflicts: 886000 | #Constraints: 20832
1213.26/1217.69 c #Conflicts: 887000 | #Constraints: 21832
1213.26/1217.69 c #Conflicts: 888000 | #Constraints: 22832
1213.26/1217.69 c #Conflicts: 889000 | #Constraints: 23832
1213.26/1217.69 c #Conflicts: 890000 | #Constraints: 24832
1213.26/1217.69 c #Conflicts: 891000 | #Constraints: 25843
1213.26/1217.69 c #Conflicts: 892000 | #Constraints: 26844
1213.26/1217.69 c #Conflicts: 893000 | #Constraints: 27859
1213.26/1217.69 c #Conflicts: 894000 | #Constraints: 28890
1213.26/1217.69 c #Conflicts: 895000 | #Constraints: 29913
1213.26/1217.69 c #Conflicts: 896000 | #Constraints: 30931
1213.26/1217.69 c #Conflicts: 897000 | #Constraints: 31957
1213.26/1217.69 c #Conflicts: 898000 | #Constraints: 32975
1213.26/1217.69 c #Conflicts: 899000 | #Constraints: 33995
1213.26/1217.69 c #Conflicts: 900000 | #Constraints: 35022
1213.26/1217.69 c #Conflicts: 901000 | #Constraints: 36061
1213.26/1217.69 c #Conflicts: 902000 | #Constraints: 37094
1213.26/1217.69 c #Conflicts: 903000 | #Constraints: 38115
1213.26/1217.69 c INPROCESSING
1213.26/1217.69 c GARBAGE COLLECT
1213.26/1217.69 c rational objective 2.24911
1295.14/1299.84 c #Conflicts: 904000 | #Constraints: 20062
1295.14/1299.84 c #Conflicts: 905000 | #Constraints: 21062
1295.14/1299.84 c #Conflicts: 906000 | #Constraints: 22062
1295.14/1299.84 c #Conflicts: 907000 | #Constraints: 23062
1295.14/1299.84 c #Conflicts: 908000 | #Constraints: 24062
1295.14/1299.84 c #Conflicts: 909000 | #Constraints: 25062
1295.14/1299.84 c #Conflicts: 910000 | #Constraints: 26062
1295.14/1299.84 c #Conflicts: 911000 | #Constraints: 27067
1295.14/1299.84 c #Conflicts: 912000 | #Constraints: 28085
1295.14/1299.84 c #Conflicts: 913000 | #Constraints: 29092
1295.14/1299.84 c #Conflicts: 914000 | #Constraints: 30113
1295.14/1299.84 c #Conflicts: 915000 | #Constraints: 31113
1295.14/1299.84 c #Conflicts: 916000 | #Constraints: 32113
1295.14/1299.84 c #Conflicts: 917000 | #Constraints: 33113
1295.14/1299.84 c #Conflicts: 918000 | #Constraints: 34113
1295.14/1299.84 c #Conflicts: 919000 | #Constraints: 35117
1295.14/1299.84 c #Conflicts: 920000 | #Constraints: 36117
1295.14/1299.84 c #Conflicts: 921000 | #Constraints: 37117
1295.14/1299.84 c #Conflicts: 922000 | #Constraints: 38117
1295.14/1299.84 c INPROCESSING
1295.14/1299.84 c GARBAGE COLLECT
1295.14/1299.84 c #Conflicts: 923000 | #Constraints: 19967
1295.14/1299.84 c #Conflicts: 924000 | #Constraints: 20967
1295.14/1299.84 c #Conflicts: 925000 | #Constraints: 21967
1295.14/1299.84 c #Conflicts: 926000 | #Constraints: 22967
1295.14/1299.84 c #Conflicts: 927000 | #Constraints: 23967
1295.14/1299.84 c #Conflicts: 928000 | #Constraints: 24967
1295.14/1299.84 c #Conflicts: 929000 | #Constraints: 25967
1295.14/1299.84 c #Conflicts: 930000 | #Constraints: 26967
1295.14/1299.84 c #Conflicts: 931000 | #Constraints: 27967
1295.14/1299.84 c #Conflicts: 932000 | #Constraints: 28967
1295.14/1299.84 c #Conflicts: 933000 | #Constraints: 29967
1295.14/1299.84 c #Conflicts: 934000 | #Constraints: 30967
1295.14/1299.84 c #Conflicts: 935000 | #Constraints: 31967
1295.14/1299.84 c #Conflicts: 936000 | #Constraints: 32967
1295.14/1299.84 c #Conflicts: 937000 | #Constraints: 33967
1295.14/1299.84 c #Conflicts: 938000 | #Constraints: 34967
1295.14/1299.84 c #Conflicts: 939000 | #Constraints: 35976
1295.14/1299.84 c #Conflicts: 940000 | #Constraints: 36981
1295.14/1299.84 c #Conflicts: 941000 | #Constraints: 37981
1295.14/1299.84 c INPROCESSING
1295.14/1299.84 c GARBAGE COLLECT
1295.14/1299.84 c rational objective 2.00003
1339.07/1343.93 c #Conflicts: 942000 | #Constraints: 19714
1339.07/1343.93 c #Conflicts: 943000 | #Constraints: 20780
1339.07/1343.93 c #Conflicts: 944000 | #Constraints: 21850
1339.07/1343.93 c #Conflicts: 945000 | #Constraints: 22935
1339.07/1343.93 c #Conflicts: 946000 | #Constraints: 23983
1339.07/1343.93 c #Conflicts: 947000 | #Constraints: 25055
1339.07/1343.93 c #Conflicts: 948000 | #Constraints: 26116
1339.07/1343.93 c #Conflicts: 949000 | #Constraints: 27128
1339.07/1343.93 c #Conflicts: 950000 | #Constraints: 28128
1339.07/1343.93 c #Conflicts: 951000 | #Constraints: 29128
1339.07/1343.93 c #Conflicts: 952000 | #Constraints: 30135
1339.07/1343.93 c #Conflicts: 953000 | #Constraints: 31154
1339.07/1343.93 c #Conflicts: 954000 | #Constraints: 32192
1339.07/1343.93 c #Conflicts: 955000 | #Constraints: 33251
1339.07/1343.93 c #Conflicts: 956000 | #Constraints: 34303
1339.07/1343.93 c #Conflicts: 957000 | #Constraints: 35348
1339.07/1343.93 c #Conflicts: 958000 | #Constraints: 36400
1339.07/1343.93 c #Conflicts: 959000 | #Constraints: 37440
1339.07/1343.93 c #Conflicts: 960000 | #Constraints: 38500
1339.07/1343.93 c #Conflicts: 961000 | #Constraints: 39579
1339.07/1343.93 c INPROCESSING
1339.07/1343.93 c GARBAGE COLLECT
1339.07/1343.93 c rational objective 2.00004
1383.32/1388.39 c #Conflicts: 962000 | #Constraints: 20727
1383.32/1388.39 c #Conflicts: 963000 | #Constraints: 21764
1383.32/1388.39 c #Conflicts: 964000 | #Constraints: 22838
1383.32/1388.39 c #Conflicts: 965000 | #Constraints: 23910
1383.32/1388.39 c #Conflicts: 966000 | #Constraints: 24910
1383.32/1388.39 c #Conflicts: 967000 | #Constraints: 25910
1383.32/1388.39 c #Conflicts: 968000 | #Constraints: 26910
1383.32/1388.39 c #Conflicts: 969000 | #Constraints: 27910
1383.32/1388.39 c #Conflicts: 970000 | #Constraints: 28921
1383.32/1388.39 c #Conflicts: 971000 | #Constraints: 29983
1383.32/1388.39 c #Conflicts: 972000 | #Constraints: 31028
1383.32/1388.39 c #Conflicts: 973000 | #Constraints: 32095
1383.32/1388.39 c #Conflicts: 974000 | #Constraints: 33134
1383.32/1388.39 c #Conflicts: 975000 | #Constraints: 34185
1383.32/1388.39 c #Conflicts: 976000 | #Constraints: 35247
1383.32/1388.39 c #Conflicts: 977000 | #Constraints: 36247
1383.32/1388.39 c #Conflicts: 978000 | #Constraints: 37247
1383.32/1388.39 c #Conflicts: 979000 | #Constraints: 38247
1383.32/1388.39 c #Conflicts: 980000 | #Constraints: 39247
1383.32/1388.39 c #Conflicts: 981000 | #Constraints: 40247
1383.32/1388.39 c INPROCESSING
1383.32/1388.39 c GARBAGE COLLECT
1383.32/1388.39 c rational objective 2.00003
1427.18/1432.32 c #Conflicts: 982000 | #Constraints: 21172
1427.18/1432.32 c #Conflicts: 983000 | #Constraints: 22178
1427.18/1432.32 c #Conflicts: 984000 | #Constraints: 23212
1427.18/1432.32 c #Conflicts: 985000 | #Constraints: 24233
1427.18/1432.32 c #Conflicts: 986000 | #Constraints: 25270
1427.18/1432.32 c #Conflicts: 987000 | #Constraints: 26287
1427.18/1432.32 c #Conflicts: 988000 | #Constraints: 27317
1427.18/1432.32 c #Conflicts: 989000 | #Constraints: 28364
1427.18/1432.32 c #Conflicts: 990000 | #Constraints: 29428
1427.18/1432.32 c #Conflicts: 991000 | #Constraints: 30462
1427.18/1432.32 c #Conflicts: 992000 | #Constraints: 31495
1427.18/1432.32 c #Conflicts: 993000 | #Constraints: 32537
1427.18/1432.32 c #Conflicts: 994000 | #Constraints: 33589
1427.18/1432.32 c #Conflicts: 995000 | #Constraints: 34632
1427.18/1432.32 c #Conflicts: 996000 | #Constraints: 35633
1427.18/1432.32 c #Conflicts: 997000 | #Constraints: 36653
1427.18/1432.32 c #Conflicts: 998000 | #Constraints: 37702
1427.18/1432.32 c #Conflicts: 999000 | #Constraints: 38756
1427.18/1432.32 c #Conflicts: 1000000 | #Constraints: 39795
1427.18/1432.32 c #Conflicts: 1001000 | #Constraints: 40831
1427.18/1432.32 c INPROCESSING
1427.18/1432.32 c GARBAGE COLLECT
1427.18/1432.32 c rational objective 2.00003
1469.74/1475.10 c #Conflicts: 1002000 | #Constraints: 21454
1469.74/1475.10 c #Conflicts: 1003000 | #Constraints: 22454
1469.74/1475.10 c #Conflicts: 1004000 | #Constraints: 23461
1469.74/1475.10 c #Conflicts: 1005000 | #Constraints: 24490
1469.74/1475.10 c #Conflicts: 1006000 | #Constraints: 25520
1469.74/1475.10 c #Conflicts: 1007000 | #Constraints: 26557
1469.74/1475.10 c #Conflicts: 1008000 | #Constraints: 27557
1469.74/1475.10 c #Conflicts: 1009000 | #Constraints: 28575
1469.74/1475.10 c #Conflicts: 1010000 | #Constraints: 29597
1469.74/1475.10 c #Conflicts: 1011000 | #Constraints: 30621
1469.74/1475.10 c #Conflicts: 1012000 | #Constraints: 31654
1469.74/1475.10 c #Conflicts: 1013000 | #Constraints: 32664
1469.74/1475.10 c #Conflicts: 1014000 | #Constraints: 33664
1469.74/1475.10 c #Conflicts: 1015000 | #Constraints: 34664
1469.74/1475.10 c #Conflicts: 1016000 | #Constraints: 35664
1469.74/1475.10 c #Conflicts: 1017000 | #Constraints: 36664
1469.74/1475.10 c #Conflicts: 1018000 | #Constraints: 37664
1469.74/1475.10 c #Conflicts: 1019000 | #Constraints: 38664
1469.74/1475.10 c #Conflicts: 1020000 | #Constraints: 39664
1469.74/1475.10 c #Conflicts: 1021000 | #Constraints: 40664
1469.74/1475.10 c INPROCESSING
1469.74/1475.10 c GARBAGE COLLECT
1469.74/1475.10 c rational objective 2.04718
1553.76/1559.30 c #Conflicts: 1022000 | #Constraints: 21260
1553.76/1559.30 c #Conflicts: 1023000 | #Constraints: 22260
1553.76/1559.30 c #Conflicts: 1024000 | #Constraints: 23265
1553.76/1559.30 c #Conflicts: 1025000 | #Constraints: 24280
1553.76/1559.30 c #Conflicts: 1026000 | #Constraints: 25280
1553.76/1559.30 c #Conflicts: 1027000 | #Constraints: 26302
1553.76/1559.30 c #Conflicts: 1028000 | #Constraints: 27370
1553.76/1559.30 c #Conflicts: 1029000 | #Constraints: 28389
1553.76/1559.30 c #Conflicts: 1030000 | #Constraints: 29408
1553.76/1559.30 c #Conflicts: 1031000 | #Constraints: 30408
1553.76/1559.30 c #Conflicts: 1032000 | #Constraints: 31409
1553.76/1559.30 c #Conflicts: 1033000 | #Constraints: 32447
1553.76/1559.30 c #Conflicts: 1034000 | #Constraints: 33479
1553.76/1559.30 c #Conflicts: 1035000 | #Constraints: 34512
1553.76/1559.30 c #Conflicts: 1036000 | #Constraints: 35514
1553.76/1559.30 c #Conflicts: 1037000 | #Constraints: 36514
1553.76/1559.30 c #Conflicts: 1038000 | #Constraints: 37534
1553.76/1559.30 c #Conflicts: 1039000 | #Constraints: 38565
1553.76/1559.30 c #Conflicts: 1040000 | #Constraints: 39633
1553.76/1559.30 c #Conflicts: 1041000 | #Constraints: 40642
1553.76/1559.30 c INPROCESSING
1553.76/1559.30 c GARBAGE COLLECT
1553.76/1559.30 c rational objective 2.8399
1644.25/1650.13 c #Conflicts: 1042000 | #Constraints: 21032
1644.25/1650.13 c #Conflicts: 1043000 | #Constraints: 22034
1644.25/1650.13 c #Conflicts: 1044000 | #Constraints: 23034
1644.25/1650.13 c #Conflicts: 1045000 | #Constraints: 24035
1644.25/1650.13 c #Conflicts: 1046000 | #Constraints: 25044
1644.25/1650.13 c #Conflicts: 1047000 | #Constraints: 26052
1644.25/1650.13 c #Conflicts: 1048000 | #Constraints: 27056
1644.25/1650.13 c #Conflicts: 1049000 | #Constraints: 28069
1644.25/1650.13 c #Conflicts: 1050000 | #Constraints: 29069
1644.25/1650.13 c #Conflicts: 1051000 | #Constraints: 30072
1644.25/1650.13 c #Conflicts: 1052000 | #Constraints: 31072
1644.25/1650.13 c #Conflicts: 1053000 | #Constraints: 32078
1644.25/1650.13 c #Conflicts: 1054000 | #Constraints: 33085
1644.25/1650.13 c #Conflicts: 1055000 | #Constraints: 34085
1644.25/1650.13 c #Conflicts: 1056000 | #Constraints: 35097
1644.25/1650.13 c #Conflicts: 1057000 | #Constraints: 36097
1644.25/1650.13 c #Conflicts: 1058000 | #Constraints: 37098
1644.25/1650.13 c #Conflicts: 1059000 | #Constraints: 38108
1644.25/1650.13 c #Conflicts: 1060000 | #Constraints: 39130
1644.25/1650.13 c #Conflicts: 1061000 | #Constraints: 40137
1644.25/1650.13 c #Conflicts: 1062000 | #Constraints: 41137
1644.25/1650.13 c INPROCESSING
1644.25/1650.13 c GARBAGE COLLECT
1644.25/1650.13 c rational objective 2.00003
1709.43/1715.54 c #Conflicts: 1063000 | #Constraints: 21486
1709.43/1715.54 c #Conflicts: 1064000 | #Constraints: 22486
1709.43/1715.54 c #Conflicts: 1065000 | #Constraints: 23495
1709.43/1715.54 c #Conflicts: 1066000 | #Constraints: 24495
1709.43/1715.54 c #Conflicts: 1067000 | #Constraints: 25498
1709.43/1715.54 c #Conflicts: 1068000 | #Constraints: 26557
1709.43/1715.54 c #Conflicts: 1069000 | #Constraints: 27609
1709.43/1715.54 c #Conflicts: 1070000 | #Constraints: 28609
1709.43/1715.54 c #Conflicts: 1071000 | #Constraints: 29609
1709.43/1715.54 c #Conflicts: 1072000 | #Constraints: 30609
1709.43/1715.54 c #Conflicts: 1073000 | #Constraints: 31609
1709.43/1715.54 c #Conflicts: 1074000 | #Constraints: 32609
1709.43/1715.54 c #Conflicts: 1075000 | #Constraints: 33609
1709.43/1715.54 c #Conflicts: 1076000 | #Constraints: 34614
1709.43/1715.54 c #Conflicts: 1077000 | #Constraints: 35614
1709.43/1715.54 c #Conflicts: 1078000 | #Constraints: 36614
1709.43/1715.54 c #Conflicts: 1079000 | #Constraints: 37614
1709.43/1715.54 c #Conflicts: 1080000 | #Constraints: 38625
1709.43/1715.54 c #Conflicts: 1081000 | #Constraints: 39755
1709.43/1715.54 c #Conflicts: 1082000 | #Constraints: 40798
1709.43/1715.54 c #Conflicts: 1083000 | #Constraints: 41804
1709.43/1715.54 c INPROCESSING
1709.43/1715.54 c GARBAGE COLLECT
1709.43/1715.54 c rational objective 2.00004
1788.37/1794.76 c #Conflicts: 1084000 | #Constraints: 21953
1788.37/1794.76 c #Conflicts: 1085000 | #Constraints: 22961
1788.37/1794.76 c #Conflicts: 1086000 | #Constraints: 23965
1788.37/1794.76 c #Conflicts: 1087000 | #Constraints: 25008
1788.37/1794.76 c #Conflicts: 1088000 | #Constraints: 26008
1788.37/1794.76 c #Conflicts: 1089000 | #Constraints: 27021
1788.37/1794.76 c #Conflicts: 1090000 | #Constraints: 28029
1788.37/1794.76 c #Conflicts: 1091000 | #Constraints: 29158
1788.37/1794.76 c #Conflicts: 1092000 | #Constraints: 30193
1788.37/1794.76 c #Conflicts: 1093000 | #Constraints: 31194
1788.37/1794.76 c #Conflicts: 1094000 | #Constraints: 32198
1788.37/1794.76 c #Conflicts: 1095000 | #Constraints: 33204
1788.37/1794.76 c #Conflicts: 1096000 | #Constraints: 34213
1788.37/1794.76 c #Conflicts: 1097000 | #Constraints: 35223
1788.37/1794.76 c #Conflicts: 1098000 | #Constraints: 36272
1788.37/1794.76 c #Conflicts: 1099000 | #Constraints: 37343
1788.37/1794.76 c #Conflicts: 1100000 | #Constraints: 38407
1788.37/1794.76 c #Conflicts: 1101000 | #Constraints: 39428
1788.37/1794.76 c #Conflicts: 1102000 | #Constraints: 40428
1788.37/1794.76 c #Conflicts: 1103000 | #Constraints: 41444
1788.37/1794.76 c #Conflicts: 1104000 | #Constraints: 42444
1788.37/1794.76 c INPROCESSING
1788.37/1794.76 c GARBAGE COLLECT
1788.37/1794.76 c rational objective 2.00004
1851.17/1857.70 c #Conflicts: 1105000 | #Constraints: 22250
1851.17/1857.70 c #Conflicts: 1106000 | #Constraints: 23274
1851.17/1857.70 c #Conflicts: 1107000 | #Constraints: 24286
1851.17/1857.70 c #Conflicts: 1108000 | #Constraints: 25306
1851.17/1857.70 c #Conflicts: 1109000 | #Constraints: 26325
1851.17/1857.70 c #Conflicts: 1110000 | #Constraints: 27325
1851.17/1857.70 c #Conflicts: 1111000 | #Constraints: 28357
1851.17/1857.70 c #Conflicts: 1112000 | #Constraints: 29373
1851.17/1857.70 c #Conflicts: 1113000 | #Constraints: 30389
1851.17/1857.70 c #Conflicts: 1114000 | #Constraints: 31393
1851.17/1857.70 c #Conflicts: 1115000 | #Constraints: 32408
1851.17/1857.70 c #Conflicts: 1116000 | #Constraints: 33418
1851.17/1857.70 c #Conflicts: 1117000 | #Constraints: 34460
1851.17/1857.70 c #Conflicts: 1118000 | #Constraints: 35460
1851.17/1857.70 c #Conflicts: 1119000 | #Constraints: 36460
1851.17/1857.70 c #Conflicts: 1120000 | #Constraints: 37479
1851.17/1857.70 c #Conflicts: 1121000 | #Constraints: 38502
1851.17/1857.70 c #Conflicts: 1122000 | #Constraints: 39514
1851.17/1857.70 c #Conflicts: 1123000 | #Constraints: 40532
1851.17/1857.70 c #Conflicts: 1124000 | #Constraints: 41549
1851.17/1857.70 c #Conflicts: 1125000 | #Constraints: 42567
1851.17/1857.70 c INPROCESSING
1851.17/1857.70 c GARBAGE COLLECT
1851.17/1857.70 c rational objective 2.01276
1903.90/1910.61 c #Conflicts: 1126000 | #Constraints: 22206
1903.90/1910.61 c #Conflicts: 1127000 | #Constraints: 23219
1903.90/1910.61 c #Conflicts: 1128000 | #Constraints: 24244
1903.90/1910.61 c #Conflicts: 1129000 | #Constraints: 25337
1903.90/1910.61 c #Conflicts: 1130000 | #Constraints: 26419
1903.90/1910.61 c #Conflicts: 1131000 | #Constraints: 27474
1903.90/1910.61 c #Conflicts: 1132000 | #Constraints: 28556
1903.90/1910.61 c #Conflicts: 1133000 | #Constraints: 29628
1903.90/1910.61 c #Conflicts: 1134000 | #Constraints: 30712
1903.90/1910.61 c #Conflicts: 1135000 | #Constraints: 31794
1903.90/1910.61 c #Conflicts: 1136000 | #Constraints: 32885
1903.90/1910.61 c #Conflicts: 1137000 | #Constraints: 33931
1903.90/1910.61 c #Conflicts: 1138000 | #Constraints: 35018
1903.90/1910.61 c #Conflicts: 1139000 | #Constraints: 36068
1903.90/1910.61 c #Conflicts: 1140000 | #Constraints: 37068
1903.90/1910.61 c #Conflicts: 1141000 | #Constraints: 38068
1903.90/1910.61 c #Conflicts: 1142000 | #Constraints: 39081
1903.90/1910.61 c #Conflicts: 1143000 | #Constraints: 40081
1903.90/1910.61 c #Conflicts: 1144000 | #Constraints: 41081
1903.90/1910.61 c #Conflicts: 1145000 | #Constraints: 42090
1903.90/1910.61 c #Conflicts: 1146000 | #Constraints: 43090
1903.90/1910.61 c INPROCESSING
1903.90/1910.61 c GARBAGE COLLECT
1903.90/1910.61 c rational objective 2.03332
1977.46/1984.43 c #Conflicts: 1147000 | #Constraints: 22251
1977.46/1984.43 c #Conflicts: 1148000 | #Constraints: 23261
1977.46/1984.43 c #Conflicts: 1149000 | #Constraints: 24261
1977.46/1984.43 c #Conflicts: 1150000 | #Constraints: 25261
1977.46/1984.43 c #Conflicts: 1151000 | #Constraints: 26281
1977.46/1984.43 c #Conflicts: 1152000 | #Constraints: 27282
1977.46/1984.43 c #Conflicts: 1153000 | #Constraints: 28294
1977.46/1984.43 c #Conflicts: 1154000 | #Constraints: 29295
1977.46/1984.43 c #Conflicts: 1155000 | #Constraints: 30296
1977.46/1984.43 c #Conflicts: 1156000 | #Constraints: 31331
1977.46/1984.43 c #Conflicts: 1157000 | #Constraints: 32342
1977.46/1984.43 c #Conflicts: 1158000 | #Constraints: 33342
1977.46/1984.43 c #Conflicts: 1159000 | #Constraints: 34345
1977.46/1984.43 c #Conflicts: 1160000 | #Constraints: 35354
1977.46/1984.43 c #Conflicts: 1161000 | #Constraints: 36364
1977.46/1984.43 c #Conflicts: 1162000 | #Constraints: 37412
1977.46/1984.43 c #Conflicts: 1163000 | #Constraints: 38412
1977.46/1984.43 c #Conflicts: 1164000 | #Constraints: 39412
1977.46/1984.43 c #Conflicts: 1165000 | #Constraints: 40412
1977.46/1984.43 c #Conflicts: 1166000 | #Constraints: 41412
1977.46/1984.43 c #Conflicts: 1167000 | #Constraints: 42418
1977.46/1984.43 c #Conflicts: 1168000 | #Constraints: 43421
1977.46/1984.43 c INPROCESSING
1977.46/1984.43 c GARBAGE COLLECT
1977.46/1984.43 c rational objective 2.00002
2055.99/2063.29 c #Conflicts: 1169000 | #Constraints: 22754
2055.99/2063.29 c #Conflicts: 1170000 | #Constraints: 23824
2055.99/2063.29 c #Conflicts: 1171000 | #Constraints: 24908
2055.99/2063.29 c #Conflicts: 1172000 | #Constraints: 25922
2055.99/2063.29 c #Conflicts: 1173000 | #Constraints: 26928
2055.99/2063.29 c #Conflicts: 1174000 | #Constraints: 27933
2055.99/2063.29 c #Conflicts: 1175000 | #Constraints: 28958
2055.99/2063.29 c #Conflicts: 1176000 | #Constraints: 29963
2055.99/2063.29 c #Conflicts: 1177000 | #Constraints: 31021
2055.99/2063.29 c #Conflicts: 1178000 | #Constraints: 32065
2055.99/2063.29 c #Conflicts: 1179000 | #Constraints: 33129
2055.99/2063.29 c #Conflicts: 1180000 | #Constraints: 34142
2055.99/2063.29 c #Conflicts: 1181000 | #Constraints: 35163
2055.99/2063.29 c #Conflicts: 1182000 | #Constraints: 36178
2055.99/2063.29 c #Conflicts: 1183000 | #Constraints: 37201
2055.99/2063.29 c #Conflicts: 1184000 | #Constraints: 38267
2055.99/2063.29 c #Conflicts: 1185000 | #Constraints: 39329
2055.99/2063.29 c #Conflicts: 1186000 | #Constraints: 40382
2055.99/2063.29 c #Conflicts: 1187000 | #Constraints: 41470
2055.99/2063.29 c #Conflicts: 1188000 | #Constraints: 42542
2055.99/2063.29 c #Conflicts: 1189000 | #Constraints: 43571
2055.99/2063.29 c #Conflicts: 1190000 | #Constraints: 44634
2055.99/2063.29 c INPROCESSING
2055.99/2063.29 c GARBAGE COLLECT
2055.99/2063.29 c rational objective 2.00003
2133.93/2141.43 c #Conflicts: 1191000 | #Constraints: 23332
2133.93/2141.43 c #Conflicts: 1192000 | #Constraints: 24334
2133.93/2141.43 c #Conflicts: 1193000 | #Constraints: 25336
2133.93/2141.43 c #Conflicts: 1194000 | #Constraints: 26345
2133.93/2141.43 c #Conflicts: 1195000 | #Constraints: 27345
2133.93/2141.43 c #Conflicts: 1196000 | #Constraints: 28345
2133.93/2141.43 c #Conflicts: 1197000 | #Constraints: 29345
2133.93/2141.43 c #Conflicts: 1198000 | #Constraints: 30345
2133.93/2141.43 c #Conflicts: 1199000 | #Constraints: 31348
2133.93/2141.43 c #Conflicts: 1200000 | #Constraints: 32370
2133.93/2141.43 c #Conflicts: 1201000 | #Constraints: 33403
2133.93/2141.43 c #Conflicts: 1202000 | #Constraints: 34448
2133.93/2141.43 c #Conflicts: 1203000 | #Constraints: 35501
2133.93/2141.43 c #Conflicts: 1204000 | #Constraints: 36552
2133.93/2141.43 c #Conflicts: 1205000 | #Constraints: 37661
2133.93/2141.43 c #Conflicts: 1206000 | #Constraints: 38682
2133.93/2141.43 c #Conflicts: 1207000 | #Constraints: 39686
2133.93/2141.43 c #Conflicts: 1208000 | #Constraints: 40709
2133.93/2141.43 c #Conflicts: 1209000 | #Constraints: 41739
2133.93/2141.43 c #Conflicts: 1210000 | #Constraints: 42759
2133.93/2141.43 c #Conflicts: 1211000 | #Constraints: 43813
2133.93/2141.43 c #Conflicts: 1212000 | #Constraints: 44856
2133.93/2141.43 c INPROCESSING
2133.93/2141.43 c GARBAGE COLLECT
2133.93/2141.43 c rational objective 2.00003
2252.05/2259.96 c #Conflicts: 1213000 | #Constraints: 23471
2252.05/2259.96 c #Conflicts: 1214000 | #Constraints: 24513
2252.05/2259.96 c #Conflicts: 1215000 | #Constraints: 25553
2252.05/2259.96 c #Conflicts: 1216000 | #Constraints: 26588
2252.05/2259.96 c #Conflicts: 1217000 | #Constraints: 27590
2252.05/2259.96 c #Conflicts: 1218000 | #Constraints: 28590
2252.05/2259.96 c #Conflicts: 1219000 | #Constraints: 29590
2252.05/2259.96 c #Conflicts: 1220000 | #Constraints: 30590
2252.05/2259.96 c #Conflicts: 1221000 | #Constraints: 31600
2252.05/2259.96 c #Conflicts: 1222000 | #Constraints: 32616
2252.05/2259.96 c #Conflicts: 1223000 | #Constraints: 33618
2252.05/2259.96 c #Conflicts: 1224000 | #Constraints: 34638
2252.05/2259.96 c #Conflicts: 1225000 | #Constraints: 35650
2252.05/2259.96 c #Conflicts: 1226000 | #Constraints: 36681
2252.05/2259.96 c #Conflicts: 1227000 | #Constraints: 37699
2252.05/2259.96 c #Conflicts: 1228000 | #Constraints: 38707
2252.05/2259.96 c #Conflicts: 1229000 | #Constraints: 39725
2252.05/2259.96 c #Conflicts: 1230000 | #Constraints: 40726
2252.05/2259.96 c #Conflicts: 1231000 | #Constraints: 41726
2252.05/2259.96 c #Conflicts: 1232000 | #Constraints: 42726
2252.05/2259.96 c #Conflicts: 1233000 | #Constraints: 43726
2252.05/2259.96 c #Conflicts: 1234000 | #Constraints: 44726
2252.05/2259.96 c INPROCESSING
2252.05/2259.96 c GARBAGE COLLECT
2252.05/2259.96 c #Conflicts: 1235000 | #Constraints: 23271
2252.05/2259.96 c #Conflicts: 1236000 | #Constraints: 24285
2252.05/2259.96 c #Conflicts: 1237000 | #Constraints: 25369
2252.05/2259.96 c #Conflicts: 1238000 | #Constraints: 26377
2252.05/2259.96 c #Conflicts: 1239000 | #Constraints: 27377
2252.05/2259.96 c #Conflicts: 1240000 | #Constraints: 28377
2252.05/2259.96 c #Conflicts: 1241000 | #Constraints: 29377
2252.05/2259.96 c #Conflicts: 1242000 | #Constraints: 30377
2252.05/2259.96 c #Conflicts: 1243000 | #Constraints: 31377
2252.05/2259.96 c #Conflicts: 1244000 | #Constraints: 32377
2252.05/2259.96 c #Conflicts: 1245000 | #Constraints: 33377
2252.05/2259.96 c #Conflicts: 1246000 | #Constraints: 34377
2252.05/2259.96 c #Conflicts: 1247000 | #Constraints: 35377
2252.05/2259.96 c #Conflicts: 1248000 | #Constraints: 36377
2252.05/2259.96 c #Conflicts: 1249000 | #Constraints: 37377
2252.05/2259.96 c #Conflicts: 1250000 | #Constraints: 38377
2252.05/2259.96 c #Conflicts: 1251000 | #Constraints: 39377
2252.05/2259.96 c #Conflicts: 1252000 | #Constraints: 40377
2252.05/2259.96 c #Conflicts: 1253000 | #Constraints: 41377
2252.05/2259.96 c #Conflicts: 1254000 | #Constraints: 42377
2252.05/2259.96 c #Conflicts: 1255000 | #Constraints: 43377
2252.05/2259.96 c #Conflicts: 1256000 | #Constraints: 44377
2252.05/2259.96 c INPROCESSING
2252.05/2259.96 c GARBAGE COLLECT
2252.05/2259.96 c rational objective 2.00005
2317.54/2325.66 c #Conflicts: 1257000 | #Constraints: 22913
2317.54/2325.66 c #Conflicts: 1258000 | #Constraints: 23974
2317.54/2325.66 c #Conflicts: 1259000 | #Constraints: 24994
2317.54/2325.66 c #Conflicts: 1260000 | #Constraints: 25994
2317.54/2325.66 c #Conflicts: 1261000 | #Constraints: 27017
2317.54/2325.66 c #Conflicts: 1262000 | #Constraints: 28027
2317.54/2325.66 c #Conflicts: 1263000 | #Constraints: 29041
2317.54/2325.66 c #Conflicts: 1264000 | #Constraints: 30089
2317.54/2325.66 c #Conflicts: 1265000 | #Constraints: 31089
2317.54/2325.66 c #Conflicts: 1266000 | #Constraints: 32123
2317.54/2325.66 c #Conflicts: 1267000 | #Constraints: 33123
2317.54/2325.66 c #Conflicts: 1268000 | #Constraints: 34123
2317.54/2325.66 c #Conflicts: 1269000 | #Constraints: 35123
2317.54/2325.66 c #Conflicts: 1270000 | #Constraints: 36123
2317.54/2325.66 c #Conflicts: 1271000 | #Constraints: 37123
2317.54/2325.66 c #Conflicts: 1272000 | #Constraints: 38123
2317.54/2325.66 c #Conflicts: 1273000 | #Constraints: 39123
2317.54/2325.66 c #Conflicts: 1274000 | #Constraints: 40123
2317.54/2325.66 c #Conflicts: 1275000 | #Constraints: 41123
2317.54/2325.66 c #Conflicts: 1276000 | #Constraints: 42123
2317.54/2325.66 c #Conflicts: 1277000 | #Constraints: 43123
2317.54/2325.66 c #Conflicts: 1278000 | #Constraints: 44123
2317.54/2325.66 c #Conflicts: 1279000 | #Constraints: 45123
2317.54/2325.66 c INPROCESSING
2317.54/2325.66 c GARBAGE COLLECT
2317.54/2325.66 c rational objective 2.00002
2381.32/2389.64 c #Conflicts: 1280000 | #Constraints: 23470
2381.32/2389.64 c #Conflicts: 1281000 | #Constraints: 24470
2381.32/2389.64 c #Conflicts: 1282000 | #Constraints: 25470
2381.32/2389.64 c #Conflicts: 1283000 | #Constraints: 26470
2381.32/2389.64 c #Conflicts: 1284000 | #Constraints: 27470
2381.32/2389.64 c #Conflicts: 1285000 | #Constraints: 28470
2381.32/2389.64 c #Conflicts: 1286000 | #Constraints: 29480
2381.32/2389.64 c #Conflicts: 1287000 | #Constraints: 30480
2381.32/2389.64 c #Conflicts: 1288000 | #Constraints: 31504
2381.32/2389.64 c #Conflicts: 1289000 | #Constraints: 32524
2381.32/2389.64 c #Conflicts: 1290000 | #Constraints: 33548
2381.32/2389.64 c #Conflicts: 1291000 | #Constraints: 34569
2381.32/2389.64 c #Conflicts: 1292000 | #Constraints: 35598
2381.32/2389.64 c #Conflicts: 1293000 | #Constraints: 36612
2381.32/2389.64 c #Conflicts: 1294000 | #Constraints: 37612
2381.32/2389.64 c #Conflicts: 1295000 | #Constraints: 38613
2381.32/2389.64 c #Conflicts: 1296000 | #Constraints: 39665
2381.32/2389.64 c #Conflicts: 1297000 | #Constraints: 40709
2381.32/2389.64 c #Conflicts: 1298000 | #Constraints: 41730
2381.32/2389.64 c #Conflicts: 1299000 | #Constraints: 42731
2381.32/2389.64 c #Conflicts: 1300000 | #Constraints: 43775
2381.32/2389.64 c #Conflicts: 1301000 | #Constraints: 44870
2381.32/2389.64 c #Conflicts: 1302000 | #Constraints: 45952
2381.32/2389.64 c INPROCESSING
2381.32/2389.64 c GARBAGE COLLECT
2381.32/2389.64 c rational objective 2.00002
2465.13/2473.77 c #Conflicts: 1303000 | #Constraints: 24015
2465.13/2473.77 c #Conflicts: 1304000 | #Constraints: 25018
2465.13/2473.77 c #Conflicts: 1305000 | #Constraints: 26041
2465.13/2473.77 c #Conflicts: 1306000 | #Constraints: 27056
2465.13/2473.77 c #Conflicts: 1307000 | #Constraints: 28061
2465.13/2473.77 c #Conflicts: 1308000 | #Constraints: 29062
2465.13/2473.77 c #Conflicts: 1309000 | #Constraints: 30062
2465.13/2473.77 c #Conflicts: 1310000 | #Constraints: 31062
2465.13/2473.77 c #Conflicts: 1311000 | #Constraints: 32062
2465.13/2473.77 c #Conflicts: 1312000 | #Constraints: 33062
2465.13/2473.77 c #Conflicts: 1313000 | #Constraints: 34062
2465.13/2473.77 c #Conflicts: 1314000 | #Constraints: 35062
2465.13/2473.77 c #Conflicts: 1315000 | #Constraints: 36062
2465.13/2473.77 c #Conflicts: 1316000 | #Constraints: 37062
2465.13/2473.77 c #Conflicts: 1317000 | #Constraints: 38062
2465.13/2473.77 c #Conflicts: 1318000 | #Constraints: 39062
2465.13/2473.77 c #Conflicts: 1319000 | #Constraints: 40062
2465.13/2473.77 c #Conflicts: 1320000 | #Constraints: 41062
2465.13/2473.77 c #Conflicts: 1321000 | #Constraints: 42062
2465.13/2473.77 c #Conflicts: 1322000 | #Constraints: 43062
2465.13/2473.77 c #Conflicts: 1323000 | #Constraints: 44062
2465.13/2473.77 c #Conflicts: 1324000 | #Constraints: 45062
2465.13/2473.77 c #Conflicts: 1325000 | #Constraints: 46062
2465.13/2473.77 c INPROCESSING
2465.13/2473.77 c GARBAGE COLLECT
2465.13/2473.77 c rational objective 2.00002
2515.07/2523.87 c #Conflicts: 1326000 | #Constraints: 24064
2515.07/2523.87 c #Conflicts: 1327000 | #Constraints: 25081
2515.07/2523.87 c #Conflicts: 1328000 | #Constraints: 26114
2515.07/2523.87 c #Conflicts: 1329000 | #Constraints: 27114
2515.07/2523.87 c #Conflicts: 1330000 | #Constraints: 28114
2515.07/2523.87 c #Conflicts: 1331000 | #Constraints: 29114
2515.07/2523.87 c #Conflicts: 1332000 | #Constraints: 30114
2515.07/2523.87 c #Conflicts: 1333000 | #Constraints: 31114
2515.07/2523.87 c #Conflicts: 1334000 | #Constraints: 32114
2515.07/2523.87 c #Conflicts: 1335000 | #Constraints: 33114
2515.07/2523.87 c #Conflicts: 1336000 | #Constraints: 34114
2515.07/2523.87 c #Conflicts: 1337000 | #Constraints: 35114
2515.07/2523.87 c #Conflicts: 1338000 | #Constraints: 36114
2515.07/2523.87 c #Conflicts: 1339000 | #Constraints: 37114
2515.07/2523.87 c #Conflicts: 1340000 | #Constraints: 38114
2515.07/2523.87 c #Conflicts: 1341000 | #Constraints: 39114
2515.07/2523.87 c #Conflicts: 1342000 | #Constraints: 40114
2515.07/2523.87 c #Conflicts: 1343000 | #Constraints: 41114
2515.07/2523.87 c #Conflicts: 1344000 | #Constraints: 42114
2515.07/2523.87 c #Conflicts: 1345000 | #Constraints: 43114
2515.07/2523.87 c #Conflicts: 1346000 | #Constraints: 44114
2515.07/2523.87 c #Conflicts: 1347000 | #Constraints: 45114
2515.07/2523.87 c #Conflicts: 1348000 | #Constraints: 46114
2515.07/2523.87 c INPROCESSING
2515.07/2523.87 c GARBAGE COLLECT
2515.07/2523.87 c rational objective 2.00002
2605.97/2615.00 c #Conflicts: 1349000 | #Constraints: 23977
2605.97/2615.00 c #Conflicts: 1350000 | #Constraints: 24977
2605.97/2615.00 c #Conflicts: 1351000 | #Constraints: 25977
2605.97/2615.00 c #Conflicts: 1352000 | #Constraints: 26977
2605.97/2615.00 c #Conflicts: 1353000 | #Constraints: 27977
2605.97/2615.00 c #Conflicts: 1354000 | #Constraints: 28977
2605.97/2615.00 c #Conflicts: 1355000 | #Constraints: 29977
2605.97/2615.00 c #Conflicts: 1356000 | #Constraints: 30977
2605.97/2615.00 c #Conflicts: 1357000 | #Constraints: 31977
2605.97/2615.00 c #Conflicts: 1358000 | #Constraints: 32977
2605.97/2615.00 c #Conflicts: 1359000 | #Constraints: 33977
2605.97/2615.00 c #Conflicts: 1360000 | #Constraints: 34977
2605.97/2615.00 c #Conflicts: 1361000 | #Constraints: 36022
2605.97/2615.00 c #Conflicts: 1362000 | #Constraints: 37034
2605.97/2615.00 c #Conflicts: 1363000 | #Constraints: 38034
2605.97/2615.00 c #Conflicts: 1364000 | #Constraints: 39034
2605.97/2615.00 c #Conflicts: 1365000 | #Constraints: 40034
2605.97/2615.00 c #Conflicts: 1366000 | #Constraints: 41034
2605.97/2615.00 c #Conflicts: 1367000 | #Constraints: 42034
2605.97/2615.00 c #Conflicts: 1368000 | #Constraints: 43034
2605.97/2615.00 c #Conflicts: 1369000 | #Constraints: 44034
2605.97/2615.00 c #Conflicts: 1370000 | #Constraints: 45034
2605.97/2615.00 c #Conflicts: 1371000 | #Constraints: 46034
2605.97/2615.00 c INPROCESSING
2605.97/2615.00 c GARBAGE COLLECT
2605.97/2615.00 c rational objective 2.00002
2679.41/2688.72 c #Conflicts: 1372000 | #Constraints: 23738
2679.41/2688.72 c #Conflicts: 1373000 | #Constraints: 24820
2679.41/2688.72 c #Conflicts: 1374000 | #Constraints: 25861
2679.41/2688.72 c #Conflicts: 1375000 | #Constraints: 26902
2679.41/2688.72 c #Conflicts: 1376000 | #Constraints: 27914
2679.41/2688.72 c #Conflicts: 1377000 | #Constraints: 28920
2679.41/2688.72 c #Conflicts: 1378000 | #Constraints: 29942
2679.41/2688.72 c #Conflicts: 1379000 | #Constraints: 30962
2679.41/2688.72 c #Conflicts: 1380000 | #Constraints: 32025
2679.41/2688.72 c #Conflicts: 1381000 | #Constraints: 33040
2679.41/2688.72 c #Conflicts: 1382000 | #Constraints: 34075
2679.41/2688.72 c #Conflicts: 1383000 | #Constraints: 35075
2679.41/2688.72 c #Conflicts: 1384000 | #Constraints: 36075
2679.41/2688.72 c #Conflicts: 1385000 | #Constraints: 37075
2679.41/2688.72 c #Conflicts: 1386000 | #Constraints: 38075
2679.41/2688.72 c #Conflicts: 1387000 | #Constraints: 39075
2679.41/2688.72 c #Conflicts: 1388000 | #Constraints: 40075
2679.41/2688.72 c #Conflicts: 1389000 | #Constraints: 41075
2679.41/2688.72 c #Conflicts: 1390000 | #Constraints: 42076
2679.41/2688.72 c #Conflicts: 1391000 | #Constraints: 43076
2679.41/2688.72 c #Conflicts: 1392000 | #Constraints: 44076
2679.41/2688.72 c #Conflicts: 1393000 | #Constraints: 45076
2679.41/2688.72 c #Conflicts: 1394000 | #Constraints: 46076
2679.41/2688.72 c #Conflicts: 1395000 | #Constraints: 47076
2679.41/2688.72 c INPROCESSING
2679.41/2688.72 c GARBAGE COLLECT
2679.41/2688.72 c rational objective 2.00003
2747.79/2757.32 c #Conflicts: 1396000 | #Constraints: 24457
2747.79/2757.32 c #Conflicts: 1397000 | #Constraints: 25482
2747.79/2757.32 c #Conflicts: 1398000 | #Constraints: 26515
2747.79/2757.32 c #Conflicts: 1399000 | #Constraints: 27537
2747.79/2757.32 c #Conflicts: 1400000 | #Constraints: 28630
2747.79/2757.32 c #Conflicts: 1401000 | #Constraints: 29671
2747.79/2757.32 c #Conflicts: 1402000 | #Constraints: 30685
2747.79/2757.32 c #Conflicts: 1403000 | #Constraints: 31717
2747.79/2757.32 c #Conflicts: 1404000 | #Constraints: 32787
2747.79/2757.32 c #Conflicts: 1405000 | #Constraints: 33891
2747.79/2757.32 c #Conflicts: 1406000 | #Constraints: 34989
2747.79/2757.32 c #Conflicts: 1407000 | #Constraints: 36027
2747.79/2757.32 c #Conflicts: 1408000 | #Constraints: 37062
2747.79/2757.32 c #Conflicts: 1409000 | #Constraints: 38096
2747.79/2757.32 c #Conflicts: 1410000 | #Constraints: 39180
2747.79/2757.32 c #Conflicts: 1411000 | #Constraints: 40268
2747.79/2757.32 c #Conflicts: 1412000 | #Constraints: 41354
2747.79/2757.32 c #Conflicts: 1413000 | #Constraints: 42459
2747.79/2757.32 c #Conflicts: 1414000 | #Constraints: 43568
2747.79/2757.32 c #Conflicts: 1415000 | #Constraints: 44690
2747.79/2757.32 c #Conflicts: 1416000 | #Constraints: 45761
2747.79/2757.32 c #Conflicts: 1417000 | #Constraints: 46796
2747.79/2757.32 c #Conflicts: 1418000 | #Constraints: 47886
2747.79/2757.32 c #Conflicts: 1419000 | #Constraints: 48924
2747.79/2757.32 c INPROCESSING
2747.79/2757.32 c GARBAGE COLLECT
2747.79/2757.32 c rational objective 2.00003
2872.88/2882.86 c #Conflicts: 1420000 | #Constraints: 25516
2872.88/2882.86 c #Conflicts: 1421000 | #Constraints: 26562
2872.88/2882.86 c #Conflicts: 1422000 | #Constraints: 27569
2872.88/2882.86 c #Conflicts: 1423000 | #Constraints: 28583
2872.88/2882.86 c #Conflicts: 1424000 | #Constraints: 29613
2872.88/2882.86 c #Conflicts: 1425000 | #Constraints: 30655
2872.88/2882.86 c #Conflicts: 1426000 | #Constraints: 31703
2872.88/2882.86 c #Conflicts: 1427000 | #Constraints: 32753
2872.88/2882.86 c #Conflicts: 1428000 | #Constraints: 33753
2872.88/2882.86 c #Conflicts: 1429000 | #Constraints: 34753
2872.88/2882.86 c #Conflicts: 1430000 | #Constraints: 35753
2872.88/2882.86 c #Conflicts: 1431000 | #Constraints: 36753
2872.88/2882.86 c #Conflicts: 1432000 | #Constraints: 37753
2872.88/2882.86 c #Conflicts: 1433000 | #Constraints: 38753
2872.88/2882.86 c #Conflicts: 1434000 | #Constraints: 39757
2872.88/2882.86 c #Conflicts: 1435000 | #Constraints: 40779
2872.88/2882.86 c #Conflicts: 1436000 | #Constraints: 41788
2872.88/2882.86 c #Conflicts: 1437000 | #Constraints: 42864
2872.88/2882.86 c #Conflicts: 1438000 | #Constraints: 43869
2872.88/2882.86 c #Conflicts: 1439000 | #Constraints: 44877
2872.88/2882.86 c #Conflicts: 1440000 | #Constraints: 45877
2872.88/2882.86 c #Conflicts: 1441000 | #Constraints: 46899
2872.88/2882.86 c #Conflicts: 1442000 | #Constraints: 47918
2872.88/2882.86 c #Conflicts: 1443000 | #Constraints: 48939
2872.88/2882.86 c INPROCESSING
2872.88/2882.86 c GARBAGE COLLECT
2872.88/2882.86 c rational objective 2.00003
2966.55/2976.82 c #Conflicts: 1444000 | #Constraints: 25488
2966.55/2976.82 c #Conflicts: 1445000 | #Constraints: 26488
2966.55/2976.82 c #Conflicts: 1446000 | #Constraints: 27488
2966.55/2976.82 c #Conflicts: 1447000 | #Constraints: 28488
2966.55/2976.82 c #Conflicts: 1448000 | #Constraints: 29505
2966.55/2976.82 c #Conflicts: 1449000 | #Constraints: 30505
2966.55/2976.82 c #Conflicts: 1450000 | #Constraints: 31519
2966.55/2976.82 c #Conflicts: 1451000 | #Constraints: 32528
2966.55/2976.82 c #Conflicts: 1452000 | #Constraints: 33528
2966.55/2976.82 c #Conflicts: 1453000 | #Constraints: 34543
2966.55/2976.82 c #Conflicts: 1454000 | #Constraints: 35543
2966.55/2976.82 c #Conflicts: 1455000 | #Constraints: 36555
2966.55/2976.82 c #Conflicts: 1456000 | #Constraints: 37561
2966.55/2976.82 c #Conflicts: 1457000 | #Constraints: 38561
2966.55/2976.82 c #Conflicts: 1458000 | #Constraints: 39567
2966.55/2976.82 c #Conflicts: 1459000 | #Constraints: 40572
2966.55/2976.82 c #Conflicts: 1460000 | #Constraints: 41572
2966.55/2976.82 c #Conflicts: 1461000 | #Constraints: 42584
2966.55/2976.82 c #Conflicts: 1462000 | #Constraints: 43618
2966.55/2976.82 c #Conflicts: 1463000 | #Constraints: 44633
2966.55/2976.82 c #Conflicts: 1464000 | #Constraints: 45645
2966.55/2976.82 c #Conflicts: 1465000 | #Constraints: 46701
2966.55/2976.82 c #Conflicts: 1466000 | #Constraints: 47767
2966.55/2976.82 c #Conflicts: 1467000 | #Constraints: 48800
2966.55/2976.82 c INPROCESSING
2966.55/2976.82 c GARBAGE COLLECT
2966.55/2976.82 c rational objective 2.00003
3050.37/3060.98 c #Conflicts: 1468000 | #Constraints: 25369
3050.37/3060.98 c #Conflicts: 1469000 | #Constraints: 26378
3050.37/3060.98 c #Conflicts: 1470000 | #Constraints: 27389
3050.37/3060.98 c #Conflicts: 1471000 | #Constraints: 28414
3050.37/3060.98 c #Conflicts: 1472000 | #Constraints: 29436
3050.37/3060.98 c #Conflicts: 1473000 | #Constraints: 30482
3050.37/3060.98 c #Conflicts: 1474000 | #Constraints: 31509
3050.37/3060.98 c #Conflicts: 1475000 | #Constraints: 32587
3050.37/3060.98 c #Conflicts: 1476000 | #Constraints: 33640
3050.37/3060.98 c #Conflicts: 1477000 | #Constraints: 34683
3050.37/3060.98 c #Conflicts: 1478000 | #Constraints: 35708
3050.37/3060.98 c #Conflicts: 1479000 | #Constraints: 36729
3050.37/3060.98 c #Conflicts: 1480000 | #Constraints: 37766
3050.37/3060.98 c #Conflicts: 1481000 | #Constraints: 38806
3050.37/3060.98 c #Conflicts: 1482000 | #Constraints: 39856
3050.37/3060.98 c #Conflicts: 1483000 | #Constraints: 40915
3050.37/3060.98 c #Conflicts: 1484000 | #Constraints: 41962
3050.37/3060.98 c #Conflicts: 1485000 | #Constraints: 42989
3050.37/3060.98 c #Conflicts: 1486000 | #Constraints: 44029
3050.37/3060.98 c #Conflicts: 1487000 | #Constraints: 45051
3050.37/3060.98 c #Conflicts: 1488000 | #Constraints: 46072
3050.37/3060.98 c #Conflicts: 1489000 | #Constraints: 47094
3050.37/3060.98 c #Conflicts: 1490000 | #Constraints: 48132
3050.37/3060.98 c #Conflicts: 1491000 | #Constraints: 49156
3050.37/3060.98 c INPROCESSING
3050.37/3060.98 c GARBAGE COLLECT
3050.37/3060.98 c rational objective 2.00004
3219.14/3230.20 c #Conflicts: 1492000 | #Constraints: 25297
3219.14/3230.20 c #Conflicts: 1493000 | #Constraints: 26318
3219.14/3230.20 c #Conflicts: 1494000 | #Constraints: 27319
3219.14/3230.20 c #Conflicts: 1495000 | #Constraints: 28319
3219.14/3230.20 c #Conflicts: 1496000 | #Constraints: 29358
3219.14/3230.20 c #Conflicts: 1497000 | #Constraints: 30358
3219.14/3230.20 c #Conflicts: 1498000 | #Constraints: 31361
3219.14/3230.20 c #Conflicts: 1499000 | #Constraints: 32380
3219.14/3230.20 c #Conflicts: 1500000 | #Constraints: 33470
3219.14/3230.20 c #Conflicts: 1501000 | #Constraints: 34522
3219.14/3230.20 c #Conflicts: 1502000 | #Constraints: 35712
3219.14/3230.20 c #Conflicts: 1503000 | #Constraints: 36750
3219.14/3230.20 c #Conflicts: 1504000 | #Constraints: 37825
3219.14/3230.20 c #Conflicts: 1505000 | #Constraints: 38901
3219.14/3230.20 c #Conflicts: 1506000 | #Constraints: 39919
3219.14/3230.20 c #Conflicts: 1507000 | #Constraints: 40950
3219.14/3230.20 c #Conflicts: 1508000 | #Constraints: 41991
3219.14/3230.20 c #Conflicts: 1509000 | #Constraints: 43049
3219.14/3230.20 c #Conflicts: 1510000 | #Constraints: 44146
3219.14/3230.20 c #Conflicts: 1511000 | #Constraints: 45205
3219.14/3230.20 c #Conflicts: 1512000 | #Constraints: 46287
3219.14/3230.20 c #Conflicts: 1513000 | #Constraints: 47374
3219.14/3230.20 c #Conflicts: 1514000 | #Constraints: 48448
3219.14/3230.20 c #Conflicts: 1515000 | #Constraints: 49494
3219.14/3230.20 c #Conflicts: 1516000 | #Constraints: 50562
3219.14/3230.20 c INPROCESSING
3219.14/3230.20 c GARBAGE COLLECT
3219.14/3230.20 c #Conflicts: 1517000 | #Constraints: 26190
3219.14/3230.20 c #Conflicts: 1518000 | #Constraints: 27190
3219.14/3230.20 c #Conflicts: 1519000 | #Constraints: 28190
3219.14/3230.20 c #Conflicts: 1520000 | #Constraints: 29190
3219.14/3230.20 c #Conflicts: 1521000 | #Constraints: 30214
3219.14/3230.20 c #Conflicts: 1522000 | #Constraints: 31257
3219.14/3230.20 c #Conflicts: 1523000 | #Constraints: 32286
3219.14/3230.20 c #Conflicts: 1524000 | #Constraints: 33334
3219.14/3230.20 c #Conflicts: 1525000 | #Constraints: 34369
3219.14/3230.20 c #Conflicts: 1526000 | #Constraints: 35405
3219.14/3230.20 c #Conflicts: 1527000 | #Constraints: 36428
3219.14/3230.20 c #Conflicts: 1528000 | #Constraints: 37475
3219.14/3230.20 c #Conflicts: 1529000 | #Constraints: 38533
3219.14/3230.20 c #Conflicts: 1530000 | #Constraints: 39595
3219.14/3230.20 c #Conflicts: 1531000 | #Constraints: 40622
3219.14/3230.20 c #Conflicts: 1532000 | #Constraints: 41705
3219.14/3230.20 c #Conflicts: 1533000 | #Constraints: 42824
3219.14/3230.20 c #Conflicts: 1534000 | #Constraints: 43918
3219.14/3230.20 c #Conflicts: 1535000 | #Constraints: 45002
3219.14/3230.20 c #Conflicts: 1536000 | #Constraints: 46089
3219.14/3230.20 c #Conflicts: 1537000 | #Constraints: 47172
3219.14/3230.20 c #Conflicts: 1538000 | #Constraints: 48233
3219.14/3230.20 c #Conflicts: 1539000 | #Constraints: 49303
3219.14/3230.20 c #Conflicts: 1540000 | #Constraints: 50366
3219.14/3230.20 c #Conflicts: 1541000 | #Constraints: 51393
3219.14/3230.20 c INPROCESSING
3219.14/3230.20 c GARBAGE COLLECT
3219.14/3230.20 c rational objective 2.00005
3290.41/3301.73 c #Conflicts: 1542000 | #Constraints: 26713
3290.41/3301.73 c #Conflicts: 1543000 | #Constraints: 27713
3290.41/3301.73 c #Conflicts: 1544000 | #Constraints: 28733
3290.41/3301.73 c #Conflicts: 1545000 | #Constraints: 29769
3290.41/3301.73 c #Conflicts: 1546000 | #Constraints: 30785
3290.41/3301.73 c #Conflicts: 1547000 | #Constraints: 31799
3290.41/3301.73 c #Conflicts: 1548000 | #Constraints: 32842
3290.41/3301.73 c #Conflicts: 1549000 | #Constraints: 33944
3290.41/3301.73 c #Conflicts: 1550000 | #Constraints: 34981
3290.41/3301.73 c #Conflicts: 1551000 | #Constraints: 36065
3290.41/3301.73 c #Conflicts: 1552000 | #Constraints: 37102
3290.41/3301.73 c #Conflicts: 1553000 | #Constraints: 38147
3290.41/3301.73 c #Conflicts: 1554000 | #Constraints: 39193
3290.41/3301.73 c #Conflicts: 1555000 | #Constraints: 40223
3290.41/3301.73 c #Conflicts: 1556000 | #Constraints: 41223
3290.41/3301.73 c #Conflicts: 1557000 | #Constraints: 42223
3290.41/3301.73 c #Conflicts: 1558000 | #Constraints: 43229
3290.41/3301.73 c #Conflicts: 1559000 | #Constraints: 44255
3290.41/3301.73 c #Conflicts: 1560000 | #Constraints: 45255
3290.41/3301.73 c #Conflicts: 1561000 | #Constraints: 46258
3290.41/3301.73 c #Conflicts: 1562000 | #Constraints: 47323
3290.41/3301.73 c #Conflicts: 1563000 | #Constraints: 48368
3290.41/3301.73 c #Conflicts: 1564000 | #Constraints: 49457
3290.41/3301.73 c #Conflicts: 1565000 | #Constraints: 50483
3290.41/3301.73 c #Conflicts: 1566000 | #Constraints: 51483
3290.41/3301.73 c INPROCESSING
3290.41/3301.73 c GARBAGE COLLECT
3290.41/3301.73 c rational objective 2.00005
3371.94/3383.53 c #Conflicts: 1567000 | #Constraints: 26767
3371.94/3383.53 c #Conflicts: 1568000 | #Constraints: 27775
3371.94/3383.53 c #Conflicts: 1569000 | #Constraints: 28775
3371.94/3383.53 c #Conflicts: 1570000 | #Constraints: 29782
3371.94/3383.53 c #Conflicts: 1571000 | #Constraints: 30782
3371.94/3383.53 c #Conflicts: 1572000 | #Constraints: 31782
3371.94/3383.53 c #Conflicts: 1573000 | #Constraints: 32782
3371.94/3383.53 c #Conflicts: 1574000 | #Constraints: 33782
3371.94/3383.53 c #Conflicts: 1575000 | #Constraints: 34782
3371.94/3383.53 c #Conflicts: 1576000 | #Constraints: 35782
3371.94/3383.53 c #Conflicts: 1577000 | #Constraints: 36782
3371.94/3383.53 c #Conflicts: 1578000 | #Constraints: 37782
3371.94/3383.53 c #Conflicts: 1579000 | #Constraints: 38782
3371.94/3383.53 c #Conflicts: 1580000 | #Constraints: 39782
3371.94/3383.53 c #Conflicts: 1581000 | #Constraints: 40782
3371.94/3383.53 c #Conflicts: 1582000 | #Constraints: 41782
3371.94/3383.53 c #Conflicts: 1583000 | #Constraints: 42782
3371.94/3383.53 c #Conflicts: 1584000 | #Constraints: 43782
3371.94/3383.53 c #Conflicts: 1585000 | #Constraints: 44782
3371.94/3383.53 c #Conflicts: 1586000 | #Constraints: 45782
3371.94/3383.53 c #Conflicts: 1587000 | #Constraints: 46782
3371.94/3383.53 c #Conflicts: 1588000 | #Constraints: 47782
3371.94/3383.53 c #Conflicts: 1589000 | #Constraints: 48782
3371.94/3383.53 c #Conflicts: 1590000 | #Constraints: 49782
3371.94/3383.53 c #Conflicts: 1591000 | #Constraints: 50782
3371.94/3383.53 c INPROCESSING
3371.94/3383.53 c GARBAGE COLLECT
3371.94/3383.53 c rational objective 2.00003
3464.94/3476.81 c #Conflicts: 1592000 | #Constraints: 26318
3464.94/3476.81 c #Conflicts: 1593000 | #Constraints: 27377
3464.94/3476.81 c #Conflicts: 1594000 | #Constraints: 28427
3464.94/3476.81 c #Conflicts: 1595000 | #Constraints: 29487
3464.94/3476.81 c #Conflicts: 1596000 | #Constraints: 30547
3464.94/3476.81 c #Conflicts: 1597000 | #Constraints: 31601
3464.94/3476.81 c #Conflicts: 1598000 | #Constraints: 32638
3464.94/3476.81 c #Conflicts: 1599000 | #Constraints: 33660
3464.94/3476.81 c #Conflicts: 1600000 | #Constraints: 34667
3464.94/3476.81 c #Conflicts: 1601000 | #Constraints: 35672
3464.94/3476.81 c #Conflicts: 1602000 | #Constraints: 36692
3464.94/3476.81 c #Conflicts: 1603000 | #Constraints: 37730
3464.94/3476.81 c #Conflicts: 1604000 | #Constraints: 38793
3464.94/3476.81 c #Conflicts: 1605000 | #Constraints: 39861
3464.94/3476.81 c #Conflicts: 1606000 | #Constraints: 40930
3464.94/3476.81 c #Conflicts: 1607000 | #Constraints: 41984
3464.94/3476.81 c #Conflicts: 1608000 | #Constraints: 43041
3464.94/3476.81 c #Conflicts: 1609000 | #Constraints: 44114
3464.94/3476.81 c #Conflicts: 1610000 | #Constraints: 45185
3464.94/3476.81 c #Conflicts: 1611000 | #Constraints: 46245
3464.94/3476.81 c #Conflicts: 1612000 | #Constraints: 47253
3464.94/3476.81 c #Conflicts: 1613000 | #Constraints: 48253
3464.94/3476.81 c #Conflicts: 1614000 | #Constraints: 49253
3464.94/3476.81 c #Conflicts: 1615000 | #Constraints: 50253
3464.94/3476.81 c #Conflicts: 1616000 | #Constraints: 51254
3464.94/3476.81 c INPROCESSING
3464.94/3476.81 c GARBAGE COLLECT
3464.94/3476.81 c rational objective 2.00003
3600.09/3612.40 c #Conflicts: 1617000 | #Constraints: 26365
3600.09/3612.40 c #Conflicts: 1618000 | #Constraints: 27365
3600.09/3612.40 c #Conflicts: 1619000 | #Constraints: 28387
3600.09/3612.40 c #Conflicts: 1620000 | #Constraints: 29388
3600.09/3612.40 c #Conflicts: 1621000 | #Constraints: 30388
3600.09/3612.40 c #Conflicts: 1622000 | #Constraints: 31389
3600.09/3612.40 c #Conflicts: 1623000 | #Constraints: 32472
3600.09/3612.40 c #Conflicts: 1624000 | #Constraints: 33546
3600.09/3612.40 c #Conflicts: 1625000 | #Constraints: 34616
3600.09/3612.40 c #Conflicts: 1626000 | #Constraints: 35654
3600.09/3612.40 c #Conflicts: 1627000 | #Constraints: 36657
3600.09/3612.40 c #Conflicts: 1628000 | #Constraints: 37657
3600.09/3612.40 c #Conflicts: 1629000 | #Constraints: 38679
3600.09/3612.40 c #Conflicts: 1630000 | #Constraints: 39704
3600.09/3612.40 c #Conflicts: 1631000 | #Constraints: 40723
3600.09/3612.40 c #Conflicts: 1632000 | #Constraints: 41777
3600.09/3612.40 c #Conflicts: 1633000 | #Constraints: 42777
3600.09/3612.40 c #Conflicts: 1634000 | #Constraints: 43777
3600.09/3612.40 c #Conflicts: 1635000 | #Constraints: 44792
3600.09/3612.40 c #Conflicts: 1636000 | #Constraints: 45792
3600.09/3612.40 c cpu time 3582.19 s
3600.09/3612.40 c deterministic time 656366080064 6.56e+11
3600.09/3612.40 c optimization time 134.75 s
3600.09/3612.40 c total solve time 3447.44 s
3600.09/3612.40 c core-guided solve time 0 s
3600.09/3612.40 c propagation time 3304.45 s
3600.09/3612.40 c conflict analysis time 251.182 s
3600.09/3612.40 c propagations 17326897
3600.09/3612.40 c resolve steps 5157598
3600.09/3612.40 c decisions 9233910
3600.09/3612.40 c conflicts 1636982
3600.09/3612.40 c restarts 3069
3600.09/3612.40 c inprocessing phases 118
3600.09/3612.40 c garbage collections 118 ,( 100.00 )
3600.09/3612.40 c input clauses 0 ,( 0.00 )
3600.09/3612.40 c input cardinalities 0 ,( 0.00 )
3600.09/3612.40 c input general constraints 2 ,( 100.00 )
3600.09/3612.40 c input average constraint length 82.00
3600.09/3612.40 c input average constraint degree 486858570.50
3600.09/3612.40 c learned clauses 1055299 ,( 62.15 )
3600.09/3612.40 c learned cardinalities 5 ,( 0.00 )
3600.09/3612.40 c learned general constraints 642721 ,( 37.85 )
3600.09/3612.40 c learned average constraint length 49.96
3600.09/3612.40 c learned average constraint degree 56684135.30
3600.09/3612.40 c watched CF 32, 64, 128, Arb: 81733 , 0 , 0 , 0
3600.09/3612.40 c counting CF 32, 64, 128, Arb: 560990 , 0 , 0 , 0
3600.09/3612.40 c watched constraints 81733 ,( 12.72 )
3600.09/3612.40 c counting constraints 560990 ,( 87.28 )
3600.09/3612.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 150182935 , 49652 , 71021583721 ,( 127015746 , 70894567975 )
3600.09/3612.40 c gcd simplifications 866909
3600.09/3612.40 c detected cardinalities 5
3600.09/3612.40 c weakened non-implied lits 7391762
3600.09/3612.40 c weakened non-implying lits 12941089
3600.09/3612.40 c original variables 82
3600.09/3612.40 c clausal propagations 1528352
3600.09/3612.40 c cardinality propagations 0
3600.09/3612.40 c watched propagations 140984
3600.09/3612.40 c counting propagations 13952710
3600.09/3612.40 c watch lookups 76122394234
3600.09/3612.40 c watch backjump lookups 0
3600.09/3612.40 c watch checks 1739612728
3600.09/3612.40 c propagation checks 578007721571
3600.09/3612.40 c constraint additions 441424818
3600.09/3612.40 c trail pops 28197713
3600.09/3612.40 c formula constraints 2
3600.09/3612.40 c learned constraints 1636981
3600.09/3612.40 c bound constraints 0
3600.09/3612.40 c core-guided constraints 0
3600.09/3612.40 c encountered formula constraints 3954998
3600.09/3612.40 c encountered learned constraints 2839535
3600.09/3612.40 c encountered bound constraints 0
3600.09/3612.40 c encountered core-guided constraints 0
3600.09/3612.40 c LP total time 19.2974 s
3600.09/3612.40 c LP solve time 10.98 s
3600.09/3612.40 c LP constraints added 206
3600.09/3612.40 c LP constraints removed 196
3600.09/3612.40 c LP pivots internal 163705
3600.09/3612.40 c LP pivots root 4487
3600.09/3612.40 c LP calls 149081
3600.09/3612.40 c LP optimalities 73992
3600.09/3612.40 c LP no pivot count 47503
3600.09/3612.40 c LP infeasibilities 74360
3600.09/3612.40 c LP valid Farkas constraints 60964
3600.09/3612.40 c LP learned Farkas constraints 1
3600.09/3612.40 c LP basis resets 729
3600.09/3612.40 c LP cycling count 638
3600.09/3612.40 c LP singular count 91
3600.09/3612.40 c LP no primal count 0
3600.09/3612.40 c LP no farkas count 0
3600.09/3612.40 c LP other issue count 0
3600.09/3612.40 c LP Gomory cuts 79
3600.09/3612.40 c LP learned cuts 125
3600.09/3612.40 c LP deleted cuts 196
3600.09/3612.40 c LP encountered Gomory constraints 1
3600.09/3612.40 c LP encountered Farkas constraints 44
3600.09/3612.40 c LP encountered learned Farkas constraints 1
3600.09/3612.40 c CG auxiliary variables introduced 0
3600.09/3612.40 c CG solutions found 0
3600.09/3612.40 c CG cores constructed 0
3600.09/3612.40 c CG core cardinality constraints returned 0
3600.09/3612.40 c CG unit cores 0
3600.09/3612.40 c CG single cores 0
3600.09/3612.40 c CG blocks removed during cardinality reduction 0
3600.09/3612.40 c CG first core best 0
3600.09/3612.40 c CG decision core best 0
3600.09/3612.40 c CG core reduction tie 0
3600.09/3612.40 c CG core degree average 0.00
3600.09/3612.40 c CG core slack average 0.00
3600.09/3612.40 c CG core upper bound improvements 0
3600.09/3612.40 c STR number of successful calls 0
3600.09/3612.40 c STR number of unsuccessful calls 0
3600.09/3612.40 c STR number of inconclusive calls 0
3600.09/3612.40 c STR number of successful attempts 0
3600.09/3612.40 c STR number of unsuccessful attempts 0
3600.09/3612.40 c STR number of inconclusive attempts 0
3600.09/3612.40 c STR average degree increase per successful call inf
3600.09/3612.40 c STR average degree increase per successful attempt inf
3600.09/3612.40 c STR total number of conflicts for successful attempts 0
3600.09/3612.40 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3612.40 c STR total number of conflicts for inconclusive attempts 0
3600.09/3612.40 c STR average number of conflicts per successful attempt inf
3600.09/3612.40 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3612.40 c STR average number of conflicts per inconclusive attempt inf
3600.09/3612.40 c AVG.sumWPerc 75.24
3600.09/3612.40 c bigint constraints 0
3600.09/3612.40 s UNKNOWN
3600.09/3612.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: 63708 MiB (63144 MiB free)
memory of node 1: 64465 MiB (63924 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495928-1751159806/watcher-4495928-1751159806 -o /tmp/evaluation-result-4495928-1751159806/solver-4495928-1751159806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16844 --watchdog 3760 run-dec.sh HOME/instance-4495928-1751159806.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16898, runsolver pid=16884
[startup+0.100058 s]*
/proc/loadavg: 0.82 1.03 1.29 1/269 16905
/proc/meminfo: memFree=130117848/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=48720 memory=1024 CPUtime=0 cores=5,7
/proc/16904/stat : 16904 (roundingsat) D 16898 16898 16831 0 -1 4194304 95 0 5 0 0 0 0 0 20 0 1 0 31658519 49889280 256 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 12180 256 224 1147 0 132 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 4096 KiB
[startup+0.20553 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16905
/proc/meminfo: memFree=130110500/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=55680 memory=10496 CPUtime=0.03 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 505 0 10 0 2 1 0 0 20 0 1 0 31658519 57016320 2624 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 13920 2624 2336 1147 0 1347 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 59872 KiB
Current children cumulated memory: 13568 KiB
[startup+0.305225 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16905
/proc/meminfo: memFree=130106732/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=56488 memory=13396 CPUtime=0.12 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 717 0 10 0 11 1 0 0 20 0 1 0 31658519 57843712 3349 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 14122 3349 2336 1147 0 1549 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 60680 KiB
Current children cumulated memory: 16468 KiB
[startup+0.70017 s]
/proc/loadavg: 0.82 1.03 1.29 4/266 16905
/proc/meminfo: memFree=130102952/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=57460 memory=14164 CPUtime=0.51 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 919 0 10 0 48 3 0 0 20 0 1 0 31658519 58839040 3541 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 14365 3541 2336 1147 0 1792 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 61652 KiB
Current children cumulated memory: 17236 KiB
[startup+1.50013 s]
/proc/loadavg: 0.82 1.03 1.29 3/259 16921
/proc/meminfo: memFree=130099944/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=58036 memory=14676 CPUtime=1.31 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 1037 0 10 0 123 8 0 0 20 0 1 0 31658519 59428864 3669 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 14509 3669 2336 1147 0 1936 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 62228 KiB
Current children cumulated memory: 17748 KiB
[startup+3.10492 s]
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130094452/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=59528 memory=15828 CPUtime=2.9 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 1376 0 10 0 272 18 0 0 20 0 1 0 31658519 60956672 3957 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 14882 3957 2336 1147 0 2309 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 63720 KiB
Current children cumulated memory: 18900 KiB
[startup+6.30012 s]
/proc/loadavg: 1.08 1.08 1.31 5/269 16997
/proc/meminfo: memFree=130090356/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=60136 memory=16468 CPUtime=6.09 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 1541 0 10 0 577 32 0 0 20 0 1 0 31658519 61579264 4117 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 15034 4117 2336 1147 0 2461 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 64328 KiB
Current children cumulated memory: 19540 KiB
[startup+12.7001 s]
/proc/loadavg: 1.39 1.14 1.33 5/269 16997
/proc/meminfo: memFree=130076244/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=64404 memory=21976 CPUtime=12.47 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 2395 0 10 0 1200 47 0 0 20 0 1 0 31658519 65949696 5494 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 16101 5494 2336 1147 0 3528 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 68596 KiB
Current children cumulated memory: 25048 KiB
[startup+25.5001 s]
/proc/loadavg: 1.97 1.28 1.37 5/269 16997
/proc/meminfo: memFree=130069212/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=64728 memory=22616 CPUtime=25.24 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 2518 0 10 0 2444 80 0 0 20 0 1 0 31658519 66281472 5654 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 16182 5654 2400 1147 0 3609 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 68920 KiB
Current children cumulated memory: 25688 KiB
[startup+51.1055 s]
/proc/loadavg: 2.66 1.50 1.44 5/271 17000
/proc/meminfo: memFree=130053344/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=66644 memory=24756 CPUtime=50.76 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 3261 0 10 0 4935 141 0 0 20 0 1 0 31658519 68243456 6189 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 16661 6189 2400 1147 0 4088 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 70836 KiB
Current children cumulated memory: 27828 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.94 1.60 5/271 17002
/proc/meminfo: memFree=130004072/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=85080 memory=39620 CPUtime=101.79 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 6455 0 10 0 9943 236 0 0 20 0 1 0 31658519 87121920 9905 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 21270 9905 2432 1147 0 8697 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 89272 KiB
Current children cumulated memory: 42692 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.33 1.75 5/270 17006
/proc/meminfo: memFree=129964700/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=97740 memory=51524 CPUtime=161.61 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 8788 0 10 0 15861 300 0 0 20 0 1 0 31658519 100085760 12881 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 24435 12881 2432 1147 0 11862 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 101932 KiB
Current children cumulated memory: 54596 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.64 1.90 5/271 17013
/proc/meminfo: memFree=129964656/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=97740 memory=51524 CPUtime=221.45 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 8789 0 10 0 21759 386 0 0 20 0 1 0 31658519 100085760 12881 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 24435 12881 2432 1147 0 11862 0
Current children cumulated CPU time: 221.45 s
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.02 5/268 17670
/proc/meminfo: memFree=129405084/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=144500 memory=94604 CPUtime=3031.84 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 13765 0 10 0 301533 1651 0 0 20 0 1 0 31658519 147968000 23651 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 36125 23651 2432 1147 0 23552 0
Current children cumulated CPU time: 3031.84 s
Current children cumulated vsize: 148692 KiB
Current children cumulated memory: 97676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/268 17672
/proc/meminfo: memFree=129404988/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=145524 memory=95116 CPUtime=3091.64 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 13897 0 10 0 307498 1666 0 0 20 0 1 0 31658519 149016576 23779 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 36381 23779 2432 1147 0 23808 0
Current children cumulated CPU time: 3091.64 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 98188 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/268 17676
/proc/meminfo: memFree=129402872/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=145524 memory=95116 CPUtime=3151.45 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 13898 0 10 0 313464 1681 0 0 20 0 1 0 31658519 149016576 23779 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 36381 23779 2432 1147 0 23808 0
Current children cumulated CPU time: 3151.45 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 98188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/268 17683
/proc/meminfo: memFree=129401104/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=145524 memory=95116 CPUtime=3211.27 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 13899 0 10 0 319434 1693 0 0 20 0 1 0 31658519 149016576 23779 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 36381 23779 2432 1147 0 23808 0
Current children cumulated CPU time: 3211.27 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 98188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 17685
/proc/meminfo: memFree=129400044/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=147060 memory=96012 CPUtime=3271.08 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14126 0 10 0 325399 1709 0 0 20 0 1 0 31658519 150589440 24003 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 36765 24003 2432 1147 0 24192 0
Current children cumulated CPU time: 3271.08 s
Current children cumulated vsize: 151252 KiB
Current children cumulated memory: 99084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/267 17687
/proc/meminfo: memFree=129394380/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=148596 memory=98960 CPUtime=3330.88 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14351 0 10 0 331359 1729 0 0 20 0 1 0 31658519 152162304 24740 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 37149 24740 2432 1147 0 24576 0
Current children cumulated CPU time: 3330.88 s
Current children cumulated vsize: 152788 KiB
Current children cumulated memory: 102032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/267 17689
/proc/meminfo: memFree=129394032/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=148596 memory=98960 CPUtime=3390.68 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14351 0 10 0 337322 1746 0 0 20 0 1 0 31658519 152162304 24740 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 37149 24740 2432 1147 0 24576 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 152788 KiB
Current children cumulated memory: 102032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/267 17691
/proc/meminfo: memFree=129389192/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=148596 memory=100624 CPUtime=3450.49 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14351 0 10 0 343294 1755 0 0 20 0 1 0 31658519 152162304 25156 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 37149 25156 2432 1147 0 24576 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 152788 KiB
Current children cumulated memory: 103696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.17 4.06 5/267 17693
/proc/meminfo: memFree=129380612/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=149108 memory=100880 CPUtime=3510.29 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14421 0 10 0 349256 1773 0 0 20 0 1 0 31658519 152686592 25220 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 37277 25220 2432 1147 0 24704 0
Current children cumulated CPU time: 3510.29 s
Current children cumulated vsize: 153300 KiB
Current children cumulated memory: 103952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.24 4.09 5/266 17695
/proc/meminfo: memFree=129381976/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=149108 memory=100880 CPUtime=3570.09 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14421 0 10 0 355225 1784 0 0 20 0 1 0 31658519 152686592 25220 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 37277 25220 2432 1147 0 24704 0
Current children cumulated CPU time: 3570.09 s
Current children cumulated vsize: 153300 KiB
Current children cumulated memory: 103952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.60 4.29 4.12 5/267 17697
/proc/meminfo: memFree=129381796/131249996 swapFree=33010684/33010684
[pid=16898] ppid=16884 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/16898/stat : 16898 (run-dec.sh) S 16884 16898 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658518 4292608 768 18446744073709551615 94912165130240 94912166024773 140735241536752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94912166263824 94912166311568 94912187006976 140735241546093 140735241546216 140735241546216 140735241551818 0
/proc/16898/statm: 1048 768 704 219 0 110 0
[pid=16904] ppid=16898 vsize=149108 memory=100880 CPUtime=3600.09 cores=5,7
/proc/16904/stat : 16904 (roundingsat) R 16898 16898 16831 0 -1 4194304 14421 0 10 0 358219 1790 0 0 20 0 1 0 31658519 152686592 25220 18446744073709551615 4227072 8923433 140726636449760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27684864 140726636456375 140726636456488 140726636456488 140726636462058 0
/proc/16904/statm: 37277 25220 2432 1147 0 24704 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 153300 KiB
Current children cumulated memory: 103952 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.4 s]
# the end of solver process 16898 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.19 s, system=17.9094 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.4
CPU time (s): 3600.1
CPU user time (s): 3582.19
CPU system time (s): 17.9094
CPU usage (%): 99.6595
Max. virtual memory (cumulated for all children) (KiB): 153300
Max. memory (cumulated for all children) (KiB): 103952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.19
system time used= 17.9094
maximum resident set size= 101008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14657
page faults= 10
swaps= 0
block input operations= 9984
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206
involuntary context switches= 18830
# summary of solver processes directly reported to runsolver:
# pid: 16898
# total CPU time (s): 3600.1
# total CPU user time (s): 3582.19
# total CPU system time (s): 17.9094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0021 second user time and 15.1646 second system time
The end
Begin job on nodeC023 at 2025-06-29 03:16:46
IDJOB=4495928
IDBENCH=148102
IDSOLVER=3349
FILE ID=nodeC023/4495928-1751159806
RUNJOBID= nodeC023-1751159806-16844
SLURM_JOB_ID= 9587505
Free space on /tmp= 433064 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495928-1751159806/watcher-4495928-1751159806 -o /tmp/evaluation-result-4495928-1751159806/solver-4495928-1751159806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16844 --watchdog 3760 run-dec.sh HOME/instance-4495928-1751159806.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=339942010
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.079
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.678
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.898
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.996
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.763
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.669
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130123248 kB
MemAvailable: 129769752 kB
Buffers: 3280 kB
Cached: 457288 kB
SwapCached: 0 kB
Active: 289416 kB
Inactive: 250532 kB
Active(anon): 97444 kB
Inactive(anon): 0 kB
Active(file): 191972 kB
Inactive(file): 250532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28196 kB
Writeback: 0 kB
AnonPages: 82728 kB
Mapped: 102124 kB
Shmem: 18064 kB
KReclaimable: 85864 kB
Slab: 170676 kB
SReclaimable: 85864 kB
SUnreclaim: 84812 kB
KernelStack: 4024 kB
PageTables: 2408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 04:16:59