0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c #variables 801 #constraints 802
0.00/0.01 c rational objective 400.5
0.20/0.21 c #Conflicts: 1000 | #Constraints: 1820
0.20/0.21 c #Conflicts: 2000 | #Constraints: 2826
0.20/0.21 c INPROCESSING
0.20/0.21 c GARBAGE COLLECT
0.20/0.21 c rational objective 400.5
0.30/0.38 c #Conflicts: 3000 | #Constraints: 2861
0.30/0.38 c #Conflicts: 4000 | #Constraints: 3866
0.30/0.38 c INPROCESSING
0.30/0.38 c GARBAGE COLLECT
0.30/0.38 c rational objective 400.5
0.59/0.62 c #Conflicts: 5000 | #Constraints: 3278
0.59/0.62 c #Conflicts: 6000 | #Constraints: 4283
0.59/0.62 c INPROCESSING
0.59/0.62 c GARBAGE COLLECT
0.59/0.62 c rational objective 400.5
0.79/0.87 c #Conflicts: 7000 | #Constraints: 3282
0.79/0.87 c #Conflicts: 8000 | #Constraints: 4287
0.79/0.87 c #Conflicts: 9000 | #Constraints: 5289
0.79/0.87 c INPROCESSING
0.79/0.87 c GARBAGE COLLECT
0.79/0.87 c rational objective 400.5
1.09/1.14 c #Conflicts: 10000 | #Constraints: 3989
1.09/1.14 c #Conflicts: 11000 | #Constraints: 4995
1.09/1.14 c #Conflicts: 12000 | #Constraints: 5996
1.09/1.14 c INPROCESSING
1.09/1.14 c GARBAGE COLLECT
1.09/1.14 c rational objective 400.5
1.38/1.44 c #Conflicts: 13000 | #Constraints: 4452
1.38/1.44 c #Conflicts: 14000 | #Constraints: 5459
1.38/1.44 c #Conflicts: 15000 | #Constraints: 6460
1.38/1.44 c INPROCESSING
1.38/1.44 c GARBAGE COLLECT
1.38/1.44 c rational objective 400.5
1.99/2.01 c #Conflicts: 16000 | #Constraints: 4683
1.99/2.01 c #Conflicts: 17000 | #Constraints: 5685
1.99/2.01 c #Conflicts: 18000 | #Constraints: 6686
1.99/2.01 c INPROCESSING
1.99/2.01 c GARBAGE COLLECT
1.99/2.01 c rational objective 400.5
2.28/2.38 c #Conflicts: 19000 | #Constraints: 4693
2.28/2.38 c #Conflicts: 20000 | #Constraints: 5696
2.28/2.38 c #Conflicts: 21000 | #Constraints: 6699
2.28/2.38 c INPROCESSING
2.28/2.38 c GARBAGE COLLECT
2.28/2.38 c rational objective 400.5
2.68/2.75 c #Conflicts: 22000 | #Constraints: 4498
2.68/2.75 c #Conflicts: 23000 | #Constraints: 5498
2.68/2.75 c #Conflicts: 24000 | #Constraints: 6502
2.68/2.75 c #Conflicts: 25000 | #Constraints: 7507
2.68/2.75 c INPROCESSING
2.68/2.75 c GARBAGE COLLECT
2.68/2.75 c rational objective 400.5
3.08/3.12 c #Conflicts: 26000 | #Constraints: 5118
3.08/3.12 c #Conflicts: 27000 | #Constraints: 6119
3.08/3.12 c #Conflicts: 28000 | #Constraints: 7123
3.08/3.12 c #Conflicts: 29000 | #Constraints: 8127
3.08/3.12 c INPROCESSING
3.08/3.12 c GARBAGE COLLECT
3.08/3.12 c rational objective 400.5
3.48/3.54 c #Conflicts: 30000 | #Constraints: 5512
3.48/3.54 c #Conflicts: 31000 | #Constraints: 6514
3.48/3.54 c #Conflicts: 32000 | #Constraints: 7516
3.48/3.54 c #Conflicts: 33000 | #Constraints: 8518
3.48/3.54 c INPROCESSING
3.48/3.54 c GARBAGE COLLECT
3.48/3.54 c rational objective 400.5
3.99/4.07 c #Conflicts: 34000 | #Constraints: 5721
3.99/4.07 c #Conflicts: 35000 | #Constraints: 6723
3.99/4.07 c #Conflicts: 36000 | #Constraints: 7724
3.99/4.07 c #Conflicts: 37000 | #Constraints: 8728
3.99/4.07 c INPROCESSING
3.99/4.07 c GARBAGE COLLECT
3.99/4.07 c rational objective 400.5
4.58/4.64 c #Conflicts: 38000 | #Constraints: 5721
4.58/4.64 c #Conflicts: 39000 | #Constraints: 6722
4.58/4.64 c #Conflicts: 40000 | #Constraints: 7722
4.58/4.64 c #Conflicts: 41000 | #Constraints: 8722
4.58/4.64 c INPROCESSING
4.58/4.64 c GARBAGE COLLECT
4.58/4.64 c rational objective 400.5
5.17/5.26 c #Conflicts: 42000 | #Constraints: 5520
5.17/5.26 c #Conflicts: 43000 | #Constraints: 6521
5.17/5.26 c #Conflicts: 44000 | #Constraints: 7522
5.17/5.26 c #Conflicts: 45000 | #Constraints: 8523
5.17/5.26 c #Conflicts: 46000 | #Constraints: 9525
5.17/5.26 c INPROCESSING
5.17/5.26 c GARBAGE COLLECT
5.17/5.26 c rational objective 400.5
5.67/5.76 c #Conflicts: 47000 | #Constraints: 6114
5.67/5.76 c #Conflicts: 48000 | #Constraints: 7114
5.67/5.76 c #Conflicts: 49000 | #Constraints: 8116
5.67/5.76 c #Conflicts: 50000 | #Constraints: 9119
5.67/5.76 c #Conflicts: 51000 | #Constraints: 10120
5.67/5.76 c INPROCESSING
5.67/5.76 c GARBAGE COLLECT
5.67/5.76 c rational objective 400.5
6.27/6.31 c #Conflicts: 52000 | #Constraints: 6521
6.27/6.31 c #Conflicts: 53000 | #Constraints: 7522
6.27/6.31 c #Conflicts: 54000 | #Constraints: 8524
6.27/6.31 c #Conflicts: 55000 | #Constraints: 9524
6.27/6.31 c #Conflicts: 56000 | #Constraints: 10527
6.27/6.31 c INPROCESSING
6.27/6.31 c GARBAGE COLLECT
6.27/6.31 c rational objective 400.5
6.77/6.89 c #Conflicts: 57000 | #Constraints: 6728
6.77/6.89 c #Conflicts: 58000 | #Constraints: 7730
6.77/6.89 c #Conflicts: 59000 | #Constraints: 8730
6.77/6.89 c #Conflicts: 60000 | #Constraints: 9731
6.77/6.89 c #Conflicts: 61000 | #Constraints: 10732
6.77/6.89 c INPROCESSING
6.77/6.89 c GARBAGE COLLECT
6.77/6.89 c rational objective 400.5
7.37/7.46 c #Conflicts: 62000 | #Constraints: 6732
7.37/7.46 c #Conflicts: 63000 | #Constraints: 7733
7.37/7.46 c #Conflicts: 64000 | #Constraints: 8736
7.37/7.46 c #Conflicts: 65000 | #Constraints: 9739
7.37/7.46 c #Conflicts: 66000 | #Constraints: 10742
7.37/7.46 c INPROCESSING
7.37/7.46 c GARBAGE COLLECT
7.37/7.46 c rational objective 400.5
7.97/8.09 c #Conflicts: 67000 | #Constraints: 6529
7.97/8.09 c #Conflicts: 68000 | #Constraints: 7529
7.97/8.09 c #Conflicts: 69000 | #Constraints: 8531
7.97/8.09 c #Conflicts: 70000 | #Constraints: 9531
7.97/8.09 c #Conflicts: 71000 | #Constraints: 10532
7.97/8.09 c #Conflicts: 72000 | #Constraints: 11532
7.97/8.09 c INPROCESSING
7.97/8.09 c GARBAGE COLLECT
7.97/8.09 c rational objective 400.5
8.56/8.68 c #Conflicts: 73000 | #Constraints: 7126
8.56/8.68 c #Conflicts: 74000 | #Constraints: 8127
8.56/8.68 c #Conflicts: 75000 | #Constraints: 9127
8.56/8.68 c #Conflicts: 76000 | #Constraints: 10128
8.56/8.68 c #Conflicts: 77000 | #Constraints: 11129
8.56/8.68 c #Conflicts: 78000 | #Constraints: 12132
8.56/8.68 c INPROCESSING
8.56/8.68 c GARBAGE COLLECT
8.56/8.68 c rational objective 400.5
9.36/9.44 c #Conflicts: 79000 | #Constraints: 7525
9.36/9.44 c #Conflicts: 80000 | #Constraints: 8527
9.36/9.44 c #Conflicts: 81000 | #Constraints: 9527
9.36/9.44 c #Conflicts: 82000 | #Constraints: 10527
9.36/9.44 c #Conflicts: 83000 | #Constraints: 11527
9.36/9.44 c #Conflicts: 84000 | #Constraints: 12527
9.36/9.44 c INPROCESSING
9.36/9.44 c GARBAGE COLLECT
9.36/9.44 c rational objective 400.5
10.26/10.31 c #Conflicts: 85000 | #Constraints: 7725
10.26/10.31 c #Conflicts: 86000 | #Constraints: 8725
10.26/10.31 c #Conflicts: 87000 | #Constraints: 9725
10.26/10.31 c #Conflicts: 88000 | #Constraints: 10725
10.26/10.31 c #Conflicts: 89000 | #Constraints: 11726
10.26/10.31 c #Conflicts: 90000 | #Constraints: 12729
10.26/10.31 c INPROCESSING
10.26/10.31 c GARBAGE COLLECT
10.26/10.31 c rational objective 400.5
11.05/11.11 c #Conflicts: 91000 | #Constraints: 7729
11.05/11.11 c #Conflicts: 92000 | #Constraints: 8729
11.05/11.11 c #Conflicts: 93000 | #Constraints: 9730
11.05/11.11 c #Conflicts: 94000 | #Constraints: 10730
11.05/11.11 c #Conflicts: 95000 | #Constraints: 11730
11.05/11.11 c #Conflicts: 96000 | #Constraints: 12731
11.05/11.11 c INPROCESSING
11.05/11.11 c GARBAGE COLLECT
11.05/11.11 c rational objective 400.5
11.95/12.09 c #Conflicts: 97000 | #Constraints: 7529
11.95/12.09 c #Conflicts: 98000 | #Constraints: 8530
11.95/12.09 c #Conflicts: 99000 | #Constraints: 9530
11.95/12.09 c #Conflicts: 100000 | #Constraints: 10530
11.95/12.09 c #Conflicts: 101000 | #Constraints: 11530
11.95/12.09 c #Conflicts: 102000 | #Constraints: 12531
11.95/12.09 c #Conflicts: 103000 | #Constraints: 13531
11.95/12.09 c INPROCESSING
11.95/12.09 c GARBAGE COLLECT
11.95/12.09 c rational objective 400.5
12.75/12.87 c #Conflicts: 104000 | #Constraints: 8120
12.75/12.87 c #Conflicts: 105000 | #Constraints: 9120
12.75/12.87 c #Conflicts: 106000 | #Constraints: 10120
12.75/12.87 c #Conflicts: 107000 | #Constraints: 11123
12.75/12.87 c #Conflicts: 108000 | #Constraints: 12124
12.75/12.87 c #Conflicts: 109000 | #Constraints: 13125
12.75/12.87 c #Conflicts: 110000 | #Constraints: 14125
12.75/12.87 c INPROCESSING
12.75/12.87 c GARBAGE COLLECT
12.75/12.87 c rational objective 400.5
13.64/13.71 c #Conflicts: 111000 | #Constraints: 8519
13.64/13.71 c #Conflicts: 112000 | #Constraints: 9520
13.64/13.71 c #Conflicts: 113000 | #Constraints: 10522
13.64/13.71 c #Conflicts: 114000 | #Constraints: 11523
13.64/13.71 c #Conflicts: 115000 | #Constraints: 12524
13.64/13.71 c #Conflicts: 116000 | #Constraints: 13524
13.64/13.71 c #Conflicts: 117000 | #Constraints: 14524
13.64/13.71 c INPROCESSING
13.64/13.71 c GARBAGE COLLECT
13.64/13.71 c rational objective 400.5
14.44/14.52 c #Conflicts: 118000 | #Constraints: 8725
14.44/14.52 c #Conflicts: 119000 | #Constraints: 9726
14.44/14.52 c #Conflicts: 120000 | #Constraints: 10726
14.44/14.52 c #Conflicts: 121000 | #Constraints: 11726
14.44/14.52 c #Conflicts: 122000 | #Constraints: 12726
14.44/14.52 c #Conflicts: 123000 | #Constraints: 13726
14.44/14.52 c #Conflicts: 124000 | #Constraints: 14727
14.44/14.52 c INPROCESSING
14.44/14.52 c GARBAGE COLLECT
14.44/14.52 c rational objective 400.5
15.34/15.42 c #Conflicts: 125000 | #Constraints: 8726
15.34/15.42 c #Conflicts: 126000 | #Constraints: 9726
15.34/15.42 c #Conflicts: 127000 | #Constraints: 10727
15.34/15.42 c #Conflicts: 128000 | #Constraints: 11728
15.34/15.42 c #Conflicts: 129000 | #Constraints: 12728
15.34/15.42 c #Conflicts: 130000 | #Constraints: 13728
15.34/15.42 c #Conflicts: 131000 | #Constraints: 14728
15.34/15.42 c INPROCESSING
15.34/15.42 c GARBAGE COLLECT
15.34/15.42 c rational objective 400.5
16.23/16.34 c #Conflicts: 132000 | #Constraints: 8518
16.23/16.34 c #Conflicts: 133000 | #Constraints: 9518
16.23/16.34 c #Conflicts: 134000 | #Constraints: 10520
16.23/16.34 c #Conflicts: 135000 | #Constraints: 11521
16.23/16.34 c #Conflicts: 136000 | #Constraints: 12521
16.23/16.34 c #Conflicts: 137000 | #Constraints: 13522
16.23/16.34 c #Conflicts: 138000 | #Constraints: 14523
16.23/16.34 c #Conflicts: 139000 | #Constraints: 15523
16.23/16.34 c INPROCESSING
16.23/16.34 c GARBAGE COLLECT
16.23/16.34 c rational objective 400.5
17.23/17.36 c #Conflicts: 140000 | #Constraints: 9125
17.23/17.36 c #Conflicts: 141000 | #Constraints: 10125
17.23/17.36 c #Conflicts: 142000 | #Constraints: 11125
17.23/17.36 c #Conflicts: 143000 | #Constraints: 12125
17.23/17.36 c #Conflicts: 144000 | #Constraints: 13127
17.23/17.36 c #Conflicts: 145000 | #Constraints: 14128
17.23/17.36 c #Conflicts: 146000 | #Constraints: 15128
17.23/17.36 c #Conflicts: 147000 | #Constraints: 16128
17.23/17.36 c INPROCESSING
17.23/17.36 c GARBAGE COLLECT
17.23/17.36 c rational objective 400.5
18.82/18.92 c #Conflicts: 148000 | #Constraints: 9834
18.82/18.92 c #Conflicts: 149000 | #Constraints: 11576
18.82/18.92 c #Conflicts: 150000 | #Constraints: 13333
18.82/18.92 c #Conflicts: 151000 | #Constraints: 15025
18.82/18.92 c #Conflicts: 152000 | #Constraints: 16818
18.82/18.92 c #Conflicts: 153000 | #Constraints: 18494
18.82/18.92 c #Conflicts: 154000 | #Constraints: 20256
18.82/18.92 c #Conflicts: 155000 | #Constraints: 21913
18.82/18.92 c INPROCESSING
18.82/18.92 c GARBAGE COLLECT
18.82/18.92 c rational objective 400.5
20.81/20.92 c #Conflicts: 156000 | #Constraints: 13189
20.81/20.92 c #Conflicts: 157000 | #Constraints: 14948
20.81/20.92 c #Conflicts: 158000 | #Constraints: 16732
20.81/20.92 c #Conflicts: 159000 | #Constraints: 18476
20.81/20.92 c #Conflicts: 160000 | #Constraints: 20228
20.81/20.92 c #Conflicts: 161000 | #Constraints: 21968
20.81/20.92 c #Conflicts: 162000 | #Constraints: 23575
20.81/20.92 c #Conflicts: 163000 | #Constraints: 25225
20.81/20.92 c INPROCESSING
20.81/20.92 c GARBAGE COLLECT
20.81/20.92 c rational objective 400.5
23.02/23.13 c #Conflicts: 164000 | #Constraints: 14596
23.02/23.13 c #Conflicts: 165000 | #Constraints: 16226
23.02/23.13 c #Conflicts: 166000 | #Constraints: 17842
23.02/23.13 c #Conflicts: 167000 | #Constraints: 19561
23.02/23.13 c #Conflicts: 168000 | #Constraints: 21310
23.02/23.13 c #Conflicts: 169000 | #Constraints: 23062
23.02/23.13 c #Conflicts: 170000 | #Constraints: 24755
23.02/23.13 c #Conflicts: 171000 | #Constraints: 26471
23.02/23.13 c INPROCESSING
23.02/23.13 c GARBAGE COLLECT
23.02/23.13 c rational objective 400.5
25.30/25.48 c #Conflicts: 172000 | #Constraints: 14956
25.30/25.48 c #Conflicts: 173000 | #Constraints: 16680
25.30/25.48 c #Conflicts: 174000 | #Constraints: 18442
25.30/25.48 c #Conflicts: 175000 | #Constraints: 20161
25.30/25.48 c #Conflicts: 176000 | #Constraints: 21935
25.30/25.48 c #Conflicts: 177000 | #Constraints: 23628
25.30/25.48 c #Conflicts: 178000 | #Constraints: 25324
25.30/25.48 c #Conflicts: 179000 | #Constraints: 27048
25.30/25.48 c #Conflicts: 180000 | #Constraints: 28823
25.30/25.48 c INPROCESSING
25.30/25.48 c GARBAGE COLLECT
25.30/25.48 c rational objective 400.5
27.49/27.60 c #Conflicts: 181000 | #Constraints: 16463
27.49/27.60 c #Conflicts: 182000 | #Constraints: 18058
27.49/27.60 c #Conflicts: 183000 | #Constraints: 19725
27.49/27.60 c #Conflicts: 184000 | #Constraints: 21423
27.49/27.60 c #Conflicts: 185000 | #Constraints: 23058
27.49/27.60 c #Conflicts: 186000 | #Constraints: 24746
27.49/27.60 c #Conflicts: 187000 | #Constraints: 26528
27.49/27.60 c #Conflicts: 188000 | #Constraints: 28245
27.49/27.60 c #Conflicts: 189000 | #Constraints: 29930
27.49/27.60 c INPROCESSING
27.49/27.60 c GARBAGE COLLECT
27.49/27.60 c rational objective 400.5
29.49/29.62 c #Conflicts: 190000 | #Constraints: 17086
29.49/29.62 c #Conflicts: 191000 | #Constraints: 18776
29.49/29.62 c #Conflicts: 192000 | #Constraints: 20495
29.49/29.62 c #Conflicts: 193000 | #Constraints: 22228
29.49/29.62 c #Conflicts: 194000 | #Constraints: 23994
29.49/29.62 c #Conflicts: 195000 | #Constraints: 25703
29.49/29.62 c #Conflicts: 196000 | #Constraints: 27398
29.49/29.62 c #Conflicts: 197000 | #Constraints: 29120
29.49/29.62 c #Conflicts: 198000 | #Constraints: 30743
29.49/29.62 c INPROCESSING
29.49/29.62 c GARBAGE COLLECT
29.49/29.62 c rational objective 400.5
31.68/31.83 c #Conflicts: 199000 | #Constraints: 17583
31.68/31.83 c #Conflicts: 200000 | #Constraints: 19219
31.68/31.83 c #Conflicts: 201000 | #Constraints: 20903
31.68/31.83 c #Conflicts: 202000 | #Constraints: 22534
31.68/31.83 c #Conflicts: 203000 | #Constraints: 24196
31.68/31.83 c #Conflicts: 204000 | #Constraints: 25864
31.68/31.83 c #Conflicts: 205000 | #Constraints: 27513
31.68/31.83 c #Conflicts: 206000 | #Constraints: 29318
31.68/31.83 c #Conflicts: 207000 | #Constraints: 31037
31.68/31.83 c INPROCESSING
31.68/31.83 c GARBAGE COLLECT
31.68/31.83 c rational objective 400.5
33.88/34.02 c #Conflicts: 208000 | #Constraints: 17485
33.88/34.02 c #Conflicts: 209000 | #Constraints: 19080
33.88/34.02 c #Conflicts: 210000 | #Constraints: 20729
33.88/34.02 c #Conflicts: 211000 | #Constraints: 22380
33.88/34.02 c #Conflicts: 212000 | #Constraints: 24083
33.88/34.02 c #Conflicts: 213000 | #Constraints: 25737
33.88/34.02 c #Conflicts: 214000 | #Constraints: 27429
33.88/34.02 c #Conflicts: 215000 | #Constraints: 29187
33.88/34.02 c #Conflicts: 216000 | #Constraints: 30826
33.88/34.02 c INPROCESSING
33.88/34.02 c GARBAGE COLLECT
33.88/34.02 c rational objective 400.5
36.06/36.23 c #Conflicts: 217000 | #Constraints: 17093
36.06/36.23 c #Conflicts: 218000 | #Constraints: 18833
36.06/36.23 c #Conflicts: 219000 | #Constraints: 20562
36.06/36.23 c #Conflicts: 220000 | #Constraints: 22212
36.06/36.23 c #Conflicts: 221000 | #Constraints: 23924
36.06/36.23 c #Conflicts: 222000 | #Constraints: 25557
36.06/36.23 c #Conflicts: 223000 | #Constraints: 27225
36.06/36.23 c #Conflicts: 224000 | #Constraints: 28884
36.06/36.23 c #Conflicts: 225000 | #Constraints: 30522
36.06/36.23 c #Conflicts: 226000 | #Constraints: 32200
36.06/36.23 c INPROCESSING
36.06/36.23 c GARBAGE COLLECT
36.06/36.23 c rational objective 400.5
38.65/38.80 c #Conflicts: 227000 | #Constraints: 17997
38.65/38.80 c #Conflicts: 228000 | #Constraints: 19607
38.65/38.80 c #Conflicts: 229000 | #Constraints: 21197
38.65/38.80 c #Conflicts: 230000 | #Constraints: 22827
38.65/38.80 c #Conflicts: 231000 | #Constraints: 24521
38.65/38.80 c #Conflicts: 232000 | #Constraints: 26263
38.65/38.80 c #Conflicts: 233000 | #Constraints: 28012
38.65/38.80 c #Conflicts: 234000 | #Constraints: 29718
38.65/38.80 c #Conflicts: 235000 | #Constraints: 31447
38.65/38.80 c #Conflicts: 236000 | #Constraints: 33161
38.65/38.80 c INPROCESSING
38.65/38.80 c GARBAGE COLLECT
38.65/38.80 c rational objective 400.5
41.74/41.92 c #Conflicts: 237000 | #Constraints: 18794
41.74/41.92 c #Conflicts: 238000 | #Constraints: 20378
41.74/41.92 c #Conflicts: 239000 | #Constraints: 22083
41.74/41.92 c #Conflicts: 240000 | #Constraints: 23801
41.74/41.92 c #Conflicts: 241000 | #Constraints: 25513
41.74/41.92 c #Conflicts: 242000 | #Constraints: 27302
41.74/41.92 c #Conflicts: 243000 | #Constraints: 29024
41.74/41.92 c #Conflicts: 244000 | #Constraints: 30707
41.74/41.92 c #Conflicts: 245000 | #Constraints: 32385
41.74/41.92 c #Conflicts: 246000 | #Constraints: 34150
41.74/41.92 c INPROCESSING
41.74/41.92 c GARBAGE COLLECT
41.74/41.92 c rational objective 400.5
48.82/49.03 c #Conflicts: 247000 | #Constraints: 19253
48.82/49.03 c #Conflicts: 248000 | #Constraints: 20955
48.82/49.03 c #Conflicts: 249000 | #Constraints: 22630
48.82/49.03 c #Conflicts: 250000 | #Constraints: 24318
48.82/49.03 c #Conflicts: 251000 | #Constraints: 26110
48.82/49.03 c #Conflicts: 252000 | #Constraints: 27852
48.82/49.03 c #Conflicts: 253000 | #Constraints: 29549
48.82/49.03 c #Conflicts: 254000 | #Constraints: 31317
48.82/49.03 c #Conflicts: 255000 | #Constraints: 33020
48.82/49.03 c #Conflicts: 256000 | #Constraints: 34689
48.82/49.03 c INPROCESSING
48.82/49.03 c GARBAGE COLLECT
48.82/49.03 c #Conflicts: 257000 | #Constraints: 19424
48.82/49.03 c #Conflicts: 258000 | #Constraints: 21136
48.82/49.03 c #Conflicts: 259000 | #Constraints: 22790
48.82/49.03 c #Conflicts: 260000 | #Constraints: 24486
48.82/49.03 c #Conflicts: 261000 | #Constraints: 26184
48.82/49.03 c #Conflicts: 262000 | #Constraints: 27871
48.82/49.03 c #Conflicts: 263000 | #Constraints: 29572
48.82/49.03 c #Conflicts: 264000 | #Constraints: 31241
48.82/49.03 c #Conflicts: 265000 | #Constraints: 32830
48.82/49.03 c #Conflicts: 266000 | #Constraints: 34486
48.82/49.03 c INPROCESSING
48.82/49.03 c GARBAGE COLLECT
48.82/49.03 c rational objective 400.5
52.30/52.58 c #Conflicts: 267000 | #Constraints: 18855
52.30/52.58 c #Conflicts: 268000 | #Constraints: 20404
52.30/52.58 c #Conflicts: 269000 | #Constraints: 22086
52.30/52.58 c #Conflicts: 270000 | #Constraints: 23764
52.30/52.58 c #Conflicts: 271000 | #Constraints: 25464
52.30/52.58 c #Conflicts: 272000 | #Constraints: 27145
52.30/52.58 c #Conflicts: 273000 | #Constraints: 28801
52.30/52.58 c #Conflicts: 274000 | #Constraints: 30479
52.30/52.58 c #Conflicts: 275000 | #Constraints: 32070
52.30/52.58 c #Conflicts: 276000 | #Constraints: 33742
52.30/52.58 c #Conflicts: 277000 | #Constraints: 35453
52.30/52.58 c INPROCESSING
52.30/52.58 c GARBAGE COLLECT
52.30/52.58 c rational objective 400.5
55.90/56.15 c #Conflicts: 278000 | #Constraints: 19756
55.90/56.15 c #Conflicts: 279000 | #Constraints: 21399
55.90/56.15 c #Conflicts: 280000 | #Constraints: 23104
55.90/56.15 c #Conflicts: 281000 | #Constraints: 24742
55.90/56.15 c #Conflicts: 282000 | #Constraints: 26415
55.90/56.15 c #Conflicts: 283000 | #Constraints: 27985
55.90/56.15 c #Conflicts: 284000 | #Constraints: 29571
55.90/56.15 c #Conflicts: 285000 | #Constraints: 31333
55.90/56.15 c #Conflicts: 286000 | #Constraints: 33010
55.90/56.15 c #Conflicts: 287000 | #Constraints: 34733
55.90/56.15 c #Conflicts: 288000 | #Constraints: 36387
55.90/56.15 c INPROCESSING
55.90/56.15 c GARBAGE COLLECT
55.90/56.15 c rational objective 400.5
59.38/59.68 c #Conflicts: 289000 | #Constraints: 20369
59.38/59.68 c #Conflicts: 290000 | #Constraints: 21978
59.38/59.68 c #Conflicts: 291000 | #Constraints: 23710
59.38/59.68 c #Conflicts: 292000 | #Constraints: 25418
59.38/59.68 c #Conflicts: 293000 | #Constraints: 27101
59.38/59.68 c #Conflicts: 294000 | #Constraints: 28698
59.38/59.68 c #Conflicts: 295000 | #Constraints: 30400
59.38/59.68 c #Conflicts: 296000 | #Constraints: 32110
59.38/59.68 c #Conflicts: 297000 | #Constraints: 33848
59.38/59.68 c #Conflicts: 298000 | #Constraints: 35602
59.38/59.68 c #Conflicts: 299000 | #Constraints: 37282
59.38/59.68 c INPROCESSING
59.38/59.68 c GARBAGE COLLECT
59.38/59.68 c rational objective 400.5
63.27/63.57 c #Conflicts: 300000 | #Constraints: 20770
63.27/63.57 c #Conflicts: 301000 | #Constraints: 22309
63.27/63.57 c #Conflicts: 302000 | #Constraints: 24029
63.27/63.57 c #Conflicts: 303000 | #Constraints: 25718
63.27/63.57 c #Conflicts: 304000 | #Constraints: 27425
63.27/63.57 c #Conflicts: 305000 | #Constraints: 29164
63.27/63.57 c #Conflicts: 306000 | #Constraints: 30898
63.27/63.57 c #Conflicts: 307000 | #Constraints: 32619
63.27/63.57 c #Conflicts: 308000 | #Constraints: 34366
63.27/63.57 c #Conflicts: 309000 | #Constraints: 36154
63.27/63.57 c #Conflicts: 310000 | #Constraints: 37836
63.27/63.57 c INPROCESSING
63.27/63.57 c GARBAGE COLLECT
63.27/63.57 c rational objective 400.5
66.56/66.83 c #Conflicts: 311000 | #Constraints: 20893
66.56/66.83 c #Conflicts: 312000 | #Constraints: 22421
66.56/66.83 c #Conflicts: 313000 | #Constraints: 24066
66.56/66.83 c #Conflicts: 314000 | #Constraints: 25680
66.56/66.83 c #Conflicts: 315000 | #Constraints: 27467
66.56/66.83 c #Conflicts: 316000 | #Constraints: 29198
66.56/66.83 c #Conflicts: 317000 | #Constraints: 30949
66.56/66.83 c #Conflicts: 318000 | #Constraints: 32675
66.56/66.83 c #Conflicts: 319000 | #Constraints: 34459
66.56/66.83 c #Conflicts: 320000 | #Constraints: 36262
66.56/66.83 c #Conflicts: 321000 | #Constraints: 37827
66.56/66.83 c INPROCESSING
66.56/66.83 c GARBAGE COLLECT
66.56/66.83 c rational objective 400.5
69.74/70.04 c #Conflicts: 322000 | #Constraints: 20568
69.74/70.04 c #Conflicts: 323000 | #Constraints: 22330
69.74/70.04 c #Conflicts: 324000 | #Constraints: 24091
69.74/70.04 c #Conflicts: 325000 | #Constraints: 25778
69.74/70.04 c #Conflicts: 326000 | #Constraints: 27459
69.74/70.04 c #Conflicts: 327000 | #Constraints: 29140
69.74/70.04 c #Conflicts: 328000 | #Constraints: 30823
69.74/70.04 c #Conflicts: 329000 | #Constraints: 32506
69.74/70.04 c #Conflicts: 330000 | #Constraints: 34183
69.74/70.04 c #Conflicts: 331000 | #Constraints: 35890
69.74/70.04 c #Conflicts: 332000 | #Constraints: 37570
69.74/70.04 c #Conflicts: 333000 | #Constraints: 39263
69.74/70.04 c INPROCESSING
69.74/70.04 c GARBAGE COLLECT
69.74/70.04 c rational objective 400.5
74.03/74.30 c #Conflicts: 334000 | #Constraints: 21667
74.03/74.30 c #Conflicts: 335000 | #Constraints: 23369
74.03/74.30 c #Conflicts: 336000 | #Constraints: 24985
74.03/74.30 c #Conflicts: 337000 | #Constraints: 26660
74.03/74.30 c #Conflicts: 338000 | #Constraints: 28342
74.03/74.30 c #Conflicts: 339000 | #Constraints: 30104
74.03/74.30 c #Conflicts: 340000 | #Constraints: 31703
74.03/74.30 c #Conflicts: 341000 | #Constraints: 33243
74.03/74.30 c #Conflicts: 342000 | #Constraints: 34925
74.03/74.30 c #Conflicts: 343000 | #Constraints: 36634
74.03/74.30 c #Conflicts: 344000 | #Constraints: 38332
74.03/74.30 c #Conflicts: 345000 | #Constraints: 40035
74.03/74.30 c INPROCESSING
74.03/74.30 c GARBAGE COLLECT
74.03/74.30 c rational objective 400.5
78.91/79.20 c #Conflicts: 346000 | #Constraints: 22281
78.91/79.20 c #Conflicts: 347000 | #Constraints: 24012
78.91/79.20 c #Conflicts: 348000 | #Constraints: 25814
78.91/79.20 c #Conflicts: 349000 | #Constraints: 27531
78.91/79.20 c #Conflicts: 350000 | #Constraints: 29301
78.91/79.20 c #Conflicts: 351000 | #Constraints: 30961
78.91/79.20 c #Conflicts: 352000 | #Constraints: 32687
78.91/79.20 c #Conflicts: 353000 | #Constraints: 34347
78.91/79.20 c #Conflicts: 354000 | #Constraints: 35959
78.91/79.20 c #Conflicts: 355000 | #Constraints: 37697
78.91/79.20 c #Conflicts: 356000 | #Constraints: 39381
78.91/79.20 c #Conflicts: 357000 | #Constraints: 41122
78.91/79.20 c INPROCESSING
78.91/79.20 c GARBAGE COLLECT
78.91/79.20 c rational objective 400.5
83.59/83.93 c #Conflicts: 358000 | #Constraints: 22731
83.59/83.93 c #Conflicts: 359000 | #Constraints: 24329
83.59/83.93 c #Conflicts: 360000 | #Constraints: 25983
83.59/83.93 c #Conflicts: 361000 | #Constraints: 27714
83.59/83.93 c #Conflicts: 362000 | #Constraints: 29474
83.59/83.93 c #Conflicts: 363000 | #Constraints: 31141
83.59/83.93 c #Conflicts: 364000 | #Constraints: 32795
83.59/83.93 c #Conflicts: 365000 | #Constraints: 34472
83.59/83.93 c #Conflicts: 366000 | #Constraints: 36186
83.59/83.93 c #Conflicts: 367000 | #Constraints: 37841
83.59/83.93 c #Conflicts: 368000 | #Constraints: 39363
83.59/83.93 c #Conflicts: 369000 | #Constraints: 41063
83.59/83.93 c INPROCESSING
83.59/83.93 c GARBAGE COLLECT
83.59/83.93 c rational objective 400.5
87.58/87.98 c #Conflicts: 370000 | #Constraints: 22408
87.58/87.98 c #Conflicts: 371000 | #Constraints: 24064
87.58/87.98 c #Conflicts: 372000 | #Constraints: 25709
87.58/87.98 c #Conflicts: 373000 | #Constraints: 27346
87.58/87.98 c #Conflicts: 374000 | #Constraints: 28967
87.58/87.98 c #Conflicts: 375000 | #Constraints: 30661
87.58/87.98 c #Conflicts: 376000 | #Constraints: 32296
87.58/87.98 c #Conflicts: 377000 | #Constraints: 33901
87.58/87.98 c #Conflicts: 378000 | #Constraints: 35532
87.58/87.98 c #Conflicts: 379000 | #Constraints: 37219
87.58/87.98 c #Conflicts: 380000 | #Constraints: 38972
87.58/87.98 c #Conflicts: 381000 | #Constraints: 40689
87.58/87.98 c INPROCESSING
87.58/87.98 c GARBAGE COLLECT
87.58/87.98 c rational objective 400.5
92.67/93.02 c #Conflicts: 382000 | #Constraints: 22082
92.67/93.02 c #Conflicts: 383000 | #Constraints: 23778
92.67/93.02 c #Conflicts: 384000 | #Constraints: 25509
92.67/93.02 c #Conflicts: 385000 | #Constraints: 27293
92.67/93.02 c #Conflicts: 386000 | #Constraints: 28987
92.67/93.02 c #Conflicts: 387000 | #Constraints: 30716
92.67/93.02 c #Conflicts: 388000 | #Constraints: 32410
92.67/93.02 c #Conflicts: 389000 | #Constraints: 34081
92.67/93.02 c #Conflicts: 390000 | #Constraints: 35787
92.67/93.02 c #Conflicts: 391000 | #Constraints: 37459
92.67/93.02 c #Conflicts: 392000 | #Constraints: 39110
92.67/93.02 c #Conflicts: 393000 | #Constraints: 40802
92.67/93.02 c #Conflicts: 394000 | #Constraints: 42527
92.67/93.02 c INPROCESSING
92.67/93.02 c GARBAGE COLLECT
92.67/93.02 c rational objective 400.5
98.25/98.64 c #Conflicts: 395000 | #Constraints: 23230
98.25/98.64 c #Conflicts: 396000 | #Constraints: 24876
98.25/98.64 c #Conflicts: 397000 | #Constraints: 26471
98.25/98.64 c #Conflicts: 398000 | #Constraints: 28168
98.25/98.64 c #Conflicts: 399000 | #Constraints: 29859
98.25/98.64 c #Conflicts: 400000 | #Constraints: 31584
98.25/98.64 c #Conflicts: 401000 | #Constraints: 33364
98.25/98.64 c #Conflicts: 402000 | #Constraints: 35104
98.25/98.64 c #Conflicts: 403000 | #Constraints: 36775
98.25/98.64 c #Conflicts: 404000 | #Constraints: 38521
98.25/98.64 c #Conflicts: 405000 | #Constraints: 40256
98.25/98.64 c #Conflicts: 406000 | #Constraints: 41958
98.25/98.64 c #Conflicts: 407000 | #Constraints: 43690
98.25/98.64 c INPROCESSING
98.25/98.64 c GARBAGE COLLECT
98.25/98.64 c rational objective 400.5
102.63/103.05 c #Conflicts: 408000 | #Constraints: 24003
102.63/103.05 c #Conflicts: 409000 | #Constraints: 25700
102.63/103.05 c #Conflicts: 410000 | #Constraints: 27444
102.63/103.05 c #Conflicts: 411000 | #Constraints: 29174
102.63/103.05 c #Conflicts: 412000 | #Constraints: 30771
102.63/103.05 c #Conflicts: 413000 | #Constraints: 32319
102.63/103.05 c #Conflicts: 414000 | #Constraints: 34040
102.63/103.05 c #Conflicts: 415000 | #Constraints: 35781
102.63/103.05 c #Conflicts: 416000 | #Constraints: 37517
102.63/103.05 c #Conflicts: 417000 | #Constraints: 39185
102.63/103.05 c #Conflicts: 418000 | #Constraints: 40860
102.63/103.05 c #Conflicts: 419000 | #Constraints: 42454
102.63/103.05 c #Conflicts: 420000 | #Constraints: 44023
102.63/103.05 c INPROCESSING
102.63/103.05 c GARBAGE COLLECT
102.63/103.05 c rational objective 400.5
106.02/106.44 c #Conflicts: 421000 | #Constraints: 24195
106.02/106.44 c #Conflicts: 422000 | #Constraints: 25796
106.02/106.44 c #Conflicts: 423000 | #Constraints: 27420
106.02/106.44 c #Conflicts: 424000 | #Constraints: 28970
106.02/106.44 c #Conflicts: 425000 | #Constraints: 30591
106.02/106.44 c #Conflicts: 426000 | #Constraints: 32148
106.02/106.44 c #Conflicts: 427000 | #Constraints: 33665
106.02/106.44 c #Conflicts: 428000 | #Constraints: 35178
106.02/106.44 c #Conflicts: 429000 | #Constraints: 36711
106.02/106.44 c #Conflicts: 430000 | #Constraints: 38224
106.02/106.44 c #Conflicts: 431000 | #Constraints: 39835
106.02/106.44 c #Conflicts: 432000 | #Constraints: 41553
106.02/106.44 c #Conflicts: 433000 | #Constraints: 43256
106.02/106.44 c INPROCESSING
106.02/106.44 c GARBAGE COLLECT
106.02/106.44 c rational objective 400.5
115.39/115.84 c #Conflicts: 434000 | #Constraints: 23585
115.39/115.84 c #Conflicts: 435000 | #Constraints: 25128
115.39/115.84 c #Conflicts: 436000 | #Constraints: 26868
115.39/115.84 c #Conflicts: 437000 | #Constraints: 28576
115.39/115.84 c #Conflicts: 438000 | #Constraints: 30338
115.39/115.84 c #Conflicts: 439000 | #Constraints: 31983
115.39/115.84 c #Conflicts: 440000 | #Constraints: 33617
115.39/115.84 c #Conflicts: 441000 | #Constraints: 35385
115.39/115.84 c #Conflicts: 442000 | #Constraints: 37110
115.39/115.84 c #Conflicts: 443000 | #Constraints: 38895
115.39/115.84 c #Conflicts: 444000 | #Constraints: 40650
115.39/115.84 c #Conflicts: 445000 | #Constraints: 42420
115.39/115.84 c #Conflicts: 446000 | #Constraints: 44057
115.39/115.84 c INPROCESSING
115.39/115.84 c GARBAGE COLLECT
115.39/115.84 c #Conflicts: 447000 | #Constraints: 23671
115.39/115.84 c #Conflicts: 448000 | #Constraints: 25401
115.39/115.84 c #Conflicts: 449000 | #Constraints: 27133
115.39/115.84 c #Conflicts: 450000 | #Constraints: 28832
115.39/115.84 c #Conflicts: 451000 | #Constraints: 30535
115.39/115.84 c #Conflicts: 452000 | #Constraints: 32231
115.39/115.84 c #Conflicts: 453000 | #Constraints: 33923
115.39/115.84 c #Conflicts: 454000 | #Constraints: 35635
115.39/115.84 c #Conflicts: 455000 | #Constraints: 37301
115.39/115.84 c #Conflicts: 456000 | #Constraints: 38994
115.39/115.84 c #Conflicts: 457000 | #Constraints: 40692
115.39/115.84 c #Conflicts: 458000 | #Constraints: 42420
115.39/115.84 c #Conflicts: 459000 | #Constraints: 44086
115.39/115.84 c #Conflicts: 460000 | #Constraints: 45730
115.39/115.84 c INPROCESSING
115.39/115.84 c GARBAGE COLLECT
115.39/115.84 c rational objective 400.5
119.17/119.69 c #Conflicts: 461000 | #Constraints: 24931
119.17/119.69 c #Conflicts: 462000 | #Constraints: 26581
119.17/119.69 c #Conflicts: 463000 | #Constraints: 28258
119.17/119.69 c #Conflicts: 464000 | #Constraints: 29935
119.17/119.69 c #Conflicts: 465000 | #Constraints: 31546
119.17/119.69 c #Conflicts: 466000 | #Constraints: 33206
119.17/119.69 c #Conflicts: 467000 | #Constraints: 34891
119.17/119.69 c #Conflicts: 468000 | #Constraints: 36509
119.17/119.69 c #Conflicts: 469000 | #Constraints: 38139
119.17/119.69 c #Conflicts: 470000 | #Constraints: 39805
119.17/119.69 c #Conflicts: 471000 | #Constraints: 41449
119.17/119.69 c #Conflicts: 472000 | #Constraints: 43105
119.17/119.69 c #Conflicts: 473000 | #Constraints: 44718
119.17/119.69 c #Conflicts: 474000 | #Constraints: 46348
119.17/119.69 c INPROCESSING
119.17/119.69 c GARBAGE COLLECT
119.17/119.69 c rational objective 400.5
122.56/123.02 c #Conflicts: 475000 | #Constraints: 25414
122.56/123.02 c #Conflicts: 476000 | #Constraints: 27141
122.56/123.02 c #Conflicts: 477000 | #Constraints: 28844
122.56/123.02 c #Conflicts: 478000 | #Constraints: 30587
122.56/123.02 c #Conflicts: 479000 | #Constraints: 32252
122.56/123.02 c #Conflicts: 480000 | #Constraints: 33943
122.56/123.02 c #Conflicts: 481000 | #Constraints: 35491
122.56/123.02 c #Conflicts: 482000 | #Constraints: 37004
122.56/123.02 c #Conflicts: 483000 | #Constraints: 38735
122.56/123.02 c #Conflicts: 484000 | #Constraints: 40381
122.56/123.02 c #Conflicts: 485000 | #Constraints: 42090
122.56/123.02 c #Conflicts: 486000 | #Constraints: 43767
122.56/123.02 c #Conflicts: 487000 | #Constraints: 45515
122.56/123.02 c #Conflicts: 488000 | #Constraints: 47208
122.56/123.02 c INPROCESSING
122.56/123.02 c GARBAGE COLLECT
122.56/123.02 c rational objective 400.5
125.84/126.35 c #Conflicts: 489000 | #Constraints: 25771
125.84/126.35 c #Conflicts: 490000 | #Constraints: 27501
125.84/126.35 c #Conflicts: 491000 | #Constraints: 29170
125.84/126.35 c #Conflicts: 492000 | #Constraints: 30822
125.84/126.35 c #Conflicts: 493000 | #Constraints: 32467
125.84/126.35 c #Conflicts: 494000 | #Constraints: 34182
125.84/126.35 c #Conflicts: 495000 | #Constraints: 35821
125.84/126.35 c #Conflicts: 496000 | #Constraints: 37452
125.84/126.35 c #Conflicts: 497000 | #Constraints: 39141
125.84/126.35 c #Conflicts: 498000 | #Constraints: 40811
125.84/126.35 c #Conflicts: 499000 | #Constraints: 42480
125.84/126.35 c #Conflicts: 500000 | #Constraints: 44166
125.84/126.35 c #Conflicts: 501000 | #Constraints: 45800
125.84/126.35 c #Conflicts: 502000 | #Constraints: 47490
125.84/126.35 c INPROCESSING
125.84/126.35 c GARBAGE COLLECT
125.84/126.35 c rational objective 400.5
130.73/131.22 c #Conflicts: 503000 | #Constraints: 25792
130.73/131.22 c #Conflicts: 504000 | #Constraints: 27487
130.73/131.22 c #Conflicts: 505000 | #Constraints: 29216
130.73/131.22 c #Conflicts: 506000 | #Constraints: 30893
130.73/131.22 c #Conflicts: 507000 | #Constraints: 32654
130.73/131.22 c #Conflicts: 508000 | #Constraints: 34383
130.73/131.22 c #Conflicts: 509000 | #Constraints: 36092
130.73/131.22 c #Conflicts: 510000 | #Constraints: 37771
130.73/131.22 c #Conflicts: 511000 | #Constraints: 39455
130.73/131.22 c #Conflicts: 512000 | #Constraints: 41186
130.73/131.22 c #Conflicts: 513000 | #Constraints: 42894
130.73/131.22 c #Conflicts: 514000 | #Constraints: 44612
130.73/131.22 c #Conflicts: 515000 | #Constraints: 46210
130.73/131.22 c #Conflicts: 516000 | #Constraints: 47904
130.73/131.22 c INPROCESSING
130.73/131.22 c GARBAGE COLLECT
130.73/131.22 c rational objective 400.5
136.91/137.45 c #Conflicts: 517000 | #Constraints: 25567
136.91/137.45 c #Conflicts: 518000 | #Constraints: 27185
136.91/137.45 c #Conflicts: 519000 | #Constraints: 28795
136.91/137.45 c #Conflicts: 520000 | #Constraints: 30549
136.91/137.45 c #Conflicts: 521000 | #Constraints: 32240
136.91/137.45 c #Conflicts: 522000 | #Constraints: 33933
136.91/137.45 c #Conflicts: 523000 | #Constraints: 35651
136.91/137.45 c #Conflicts: 524000 | #Constraints: 37311
136.91/137.45 c #Conflicts: 525000 | #Constraints: 39074
136.91/137.45 c #Conflicts: 526000 | #Constraints: 40712
136.91/137.45 c #Conflicts: 527000 | #Constraints: 42380
136.91/137.45 c #Conflicts: 528000 | #Constraints: 43900
136.91/137.45 c #Conflicts: 529000 | #Constraints: 45622
136.91/137.45 c #Conflicts: 530000 | #Constraints: 47306
136.91/137.45 c #Conflicts: 531000 | #Constraints: 49001
136.91/137.45 c INPROCESSING
136.91/137.45 c GARBAGE COLLECT
136.91/137.45 c rational objective 400.5
143.79/144.39 c #Conflicts: 532000 | #Constraints: 26430
143.79/144.39 c #Conflicts: 533000 | #Constraints: 28100
143.79/144.39 c #Conflicts: 534000 | #Constraints: 29758
143.79/144.39 c #Conflicts: 535000 | #Constraints: 31545
143.79/144.39 c #Conflicts: 536000 | #Constraints: 33222
143.79/144.39 c #Conflicts: 537000 | #Constraints: 34838
143.79/144.39 c #Conflicts: 538000 | #Constraints: 36544
143.79/144.39 c #Conflicts: 539000 | #Constraints: 38197
143.79/144.39 c #Conflicts: 540000 | #Constraints: 39839
143.79/144.39 c #Conflicts: 541000 | #Constraints: 41524
143.79/144.39 c #Conflicts: 542000 | #Constraints: 43153
143.79/144.39 c #Conflicts: 543000 | #Constraints: 44718
143.79/144.39 c #Conflicts: 544000 | #Constraints: 46444
143.79/144.39 c #Conflicts: 545000 | #Constraints: 48163
143.79/144.39 c #Conflicts: 546000 | #Constraints: 49884
143.79/144.39 c INPROCESSING
143.79/144.39 c GARBAGE COLLECT
143.79/144.39 c rational objective 400.5
148.16/148.75 c #Conflicts: 547000 | #Constraints: 27102
148.16/148.75 c #Conflicts: 548000 | #Constraints: 28740
148.16/148.75 c #Conflicts: 549000 | #Constraints: 30439
148.16/148.75 c #Conflicts: 550000 | #Constraints: 32152
148.16/148.75 c #Conflicts: 551000 | #Constraints: 33829
148.16/148.75 c #Conflicts: 552000 | #Constraints: 35473
148.16/148.75 c #Conflicts: 553000 | #Constraints: 37123
148.16/148.75 c #Conflicts: 554000 | #Constraints: 38789
148.16/148.75 c #Conflicts: 555000 | #Constraints: 40484
148.16/148.75 c #Conflicts: 556000 | #Constraints: 42142
148.16/148.75 c #Conflicts: 557000 | #Constraints: 43816
148.16/148.75 c #Conflicts: 558000 | #Constraints: 45523
148.16/148.75 c #Conflicts: 559000 | #Constraints: 47286
148.16/148.75 c #Conflicts: 560000 | #Constraints: 48892
148.16/148.75 c #Conflicts: 561000 | #Constraints: 50561
148.16/148.75 c INPROCESSING
148.16/148.75 c GARBAGE COLLECT
148.16/148.75 c rational objective 400.5
151.65/152.24 c #Conflicts: 562000 | #Constraints: 27395
151.65/152.24 c #Conflicts: 563000 | #Constraints: 29164
151.65/152.24 c #Conflicts: 564000 | #Constraints: 30786
151.65/152.24 c #Conflicts: 565000 | #Constraints: 32322
151.65/152.24 c #Conflicts: 566000 | #Constraints: 34048
151.65/152.24 c #Conflicts: 567000 | #Constraints: 35759
151.65/152.24 c #Conflicts: 568000 | #Constraints: 37438
151.65/152.24 c #Conflicts: 569000 | #Constraints: 39112
151.65/152.24 c #Conflicts: 570000 | #Constraints: 40730
151.65/152.24 c #Conflicts: 571000 | #Constraints: 42422
151.65/152.24 c #Conflicts: 572000 | #Constraints: 44050
151.65/152.24 c #Conflicts: 573000 | #Constraints: 45724
151.65/152.24 c #Conflicts: 574000 | #Constraints: 47263
151.65/152.24 c #Conflicts: 575000 | #Constraints: 48807
151.65/152.24 c #Conflicts: 576000 | #Constraints: 50437
151.65/152.24 c INPROCESSING
151.65/152.24 c GARBAGE COLLECT
151.65/152.24 c rational objective 400.5
155.74/156.35 c #Conflicts: 577000 | #Constraints: 27237
155.74/156.35 c #Conflicts: 578000 | #Constraints: 28909
155.74/156.35 c #Conflicts: 579000 | #Constraints: 30599
155.74/156.35 c #Conflicts: 580000 | #Constraints: 32289
155.74/156.35 c #Conflicts: 581000 | #Constraints: 33981
155.74/156.35 c #Conflicts: 582000 | #Constraints: 35634
155.74/156.35 c #Conflicts: 583000 | #Constraints: 37179
155.74/156.35 c #Conflicts: 584000 | #Constraints: 38810
155.74/156.35 c #Conflicts: 585000 | #Constraints: 40527
155.74/156.35 c #Conflicts: 586000 | #Constraints: 42200
155.74/156.35 c #Conflicts: 587000 | #Constraints: 43828
155.74/156.35 c #Conflicts: 588000 | #Constraints: 45441
155.74/156.35 c #Conflicts: 589000 | #Constraints: 47200
155.74/156.35 c #Conflicts: 590000 | #Constraints: 48859
155.74/156.35 c #Conflicts: 591000 | #Constraints: 50562
155.74/156.35 c INPROCESSING
155.74/156.35 c GARBAGE COLLECT
155.74/156.35 c rational objective 400.5
160.33/160.98 c #Conflicts: 592000 | #Constraints: 26693
160.33/160.98 c #Conflicts: 593000 | #Constraints: 28334
160.33/160.98 c #Conflicts: 594000 | #Constraints: 30045
160.33/160.98 c #Conflicts: 595000 | #Constraints: 31831
160.33/160.98 c #Conflicts: 596000 | #Constraints: 33586
160.33/160.98 c #Conflicts: 597000 | #Constraints: 35341
160.33/160.98 c #Conflicts: 598000 | #Constraints: 37016
160.33/160.98 c #Conflicts: 599000 | #Constraints: 38641
160.33/160.98 c #Conflicts: 600000 | #Constraints: 40162
160.33/160.98 c #Conflicts: 601000 | #Constraints: 41745
160.33/160.98 c #Conflicts: 602000 | #Constraints: 43273
160.33/160.98 c #Conflicts: 603000 | #Constraints: 45064
160.33/160.98 c #Conflicts: 604000 | #Constraints: 46761
160.33/160.98 c #Conflicts: 605000 | #Constraints: 48466
160.33/160.98 c #Conflicts: 606000 | #Constraints: 50148
160.33/160.98 c #Conflicts: 607000 | #Constraints: 51815
160.33/160.98 c INPROCESSING
160.33/160.98 c GARBAGE COLLECT
160.33/160.98 c rational objective 400.5
167.00/167.61 c #Conflicts: 608000 | #Constraints: 27810
167.00/167.61 c #Conflicts: 609000 | #Constraints: 29506
167.00/167.61 c #Conflicts: 610000 | #Constraints: 31160
167.00/167.61 c #Conflicts: 611000 | #Constraints: 32843
167.00/167.61 c #Conflicts: 612000 | #Constraints: 34424
167.00/167.61 c #Conflicts: 613000 | #Constraints: 35924
167.00/167.61 c #Conflicts: 614000 | #Constraints: 37437
167.00/167.61 c #Conflicts: 615000 | #Constraints: 38988
167.00/167.61 c #Conflicts: 616000 | #Constraints: 40766
167.00/167.61 c #Conflicts: 617000 | #Constraints: 42516
167.00/167.61 c #Conflicts: 618000 | #Constraints: 44125
167.00/167.61 c #Conflicts: 619000 | #Constraints: 45764
167.00/167.61 c #Conflicts: 620000 | #Constraints: 47452
167.00/167.61 c #Conflicts: 621000 | #Constraints: 49236
167.00/167.61 c #Conflicts: 622000 | #Constraints: 50835
167.00/167.61 c #Conflicts: 623000 | #Constraints: 52570
167.00/167.61 c INPROCESSING
167.00/167.61 c GARBAGE COLLECT
167.00/167.61 c rational objective 400.5
171.29/171.96 c #Conflicts: 624000 | #Constraints: 28416
171.29/171.96 c #Conflicts: 625000 | #Constraints: 30139
171.29/171.96 c #Conflicts: 626000 | #Constraints: 31756
171.29/171.96 c #Conflicts: 627000 | #Constraints: 33423
171.29/171.96 c #Conflicts: 628000 | #Constraints: 35082
171.29/171.96 c #Conflicts: 629000 | #Constraints: 36705
171.29/171.96 c #Conflicts: 630000 | #Constraints: 38409
171.29/171.96 c #Conflicts: 631000 | #Constraints: 40120
171.29/171.96 c #Conflicts: 632000 | #Constraints: 41772
171.29/171.96 c #Conflicts: 633000 | #Constraints: 43400
171.29/171.96 c #Conflicts: 634000 | #Constraints: 45027
171.29/171.96 c #Conflicts: 635000 | #Constraints: 46753
171.29/171.96 c #Conflicts: 636000 | #Constraints: 48423
171.29/171.96 c #Conflicts: 637000 | #Constraints: 50146
171.29/171.96 c #Conflicts: 638000 | #Constraints: 51865
171.29/171.96 c #Conflicts: 639000 | #Constraints: 53591
171.29/171.96 c INPROCESSING
171.29/171.96 c GARBAGE COLLECT
171.29/171.96 c rational objective 400.5
176.57/177.24 c #Conflicts: 640000 | #Constraints: 28998
176.57/177.24 c #Conflicts: 641000 | #Constraints: 30625
176.57/177.24 c #Conflicts: 642000 | #Constraints: 32223
176.57/177.24 c #Conflicts: 643000 | #Constraints: 33895
176.57/177.24 c #Conflicts: 644000 | #Constraints: 35613
176.57/177.24 c #Conflicts: 645000 | #Constraints: 37278
176.57/177.24 c #Conflicts: 646000 | #Constraints: 38937
176.57/177.24 c #Conflicts: 647000 | #Constraints: 40588
176.57/177.24 c #Conflicts: 648000 | #Constraints: 42297
176.57/177.24 c #Conflicts: 649000 | #Constraints: 44053
176.57/177.24 c #Conflicts: 650000 | #Constraints: 45679
176.57/177.24 c #Conflicts: 651000 | #Constraints: 47466
176.57/177.24 c #Conflicts: 652000 | #Constraints: 49180
176.57/177.24 c #Conflicts: 653000 | #Constraints: 50878
176.57/177.24 c #Conflicts: 654000 | #Constraints: 52505
176.57/177.24 c #Conflicts: 655000 | #Constraints: 54045
176.57/177.24 c INPROCESSING
176.57/177.24 c GARBAGE COLLECT
176.57/177.24 c rational objective 400.5
181.85/182.56 c #Conflicts: 656000 | #Constraints: 29004
181.85/182.56 c #Conflicts: 657000 | #Constraints: 30690
181.85/182.56 c #Conflicts: 658000 | #Constraints: 32334
181.85/182.56 c #Conflicts: 659000 | #Constraints: 34096
181.85/182.56 c #Conflicts: 660000 | #Constraints: 35801
181.85/182.56 c #Conflicts: 661000 | #Constraints: 37465
181.85/182.56 c #Conflicts: 662000 | #Constraints: 39186
181.85/182.56 c #Conflicts: 663000 | #Constraints: 40744
181.85/182.56 c #Conflicts: 664000 | #Constraints: 42471
181.85/182.56 c #Conflicts: 665000 | #Constraints: 44171
181.85/182.56 c #Conflicts: 666000 | #Constraints: 45878
181.85/182.56 c #Conflicts: 667000 | #Constraints: 47394
181.85/182.56 c #Conflicts: 668000 | #Constraints: 49038
181.85/182.56 c #Conflicts: 669000 | #Constraints: 50675
181.85/182.56 c #Conflicts: 670000 | #Constraints: 52274
181.85/182.56 c #Conflicts: 671000 | #Constraints: 54028
181.85/182.56 c INPROCESSING
181.85/182.56 c GARBAGE COLLECT
181.85/182.56 c rational objective 400.5
187.03/187.77 c #Conflicts: 672000 | #Constraints: 28701
187.03/187.77 c #Conflicts: 673000 | #Constraints: 30378
187.03/187.77 c #Conflicts: 674000 | #Constraints: 32106
187.03/187.77 c #Conflicts: 675000 | #Constraints: 33839
187.03/187.77 c #Conflicts: 676000 | #Constraints: 35549
187.03/187.77 c #Conflicts: 677000 | #Constraints: 37182
187.03/187.77 c #Conflicts: 678000 | #Constraints: 38836
187.03/187.77 c #Conflicts: 679000 | #Constraints: 40512
187.03/187.77 c #Conflicts: 680000 | #Constraints: 42261
187.03/187.77 c #Conflicts: 681000 | #Constraints: 43992
187.03/187.77 c #Conflicts: 682000 | #Constraints: 45661
187.03/187.77 c #Conflicts: 683000 | #Constraints: 47356
187.03/187.77 c #Conflicts: 684000 | #Constraints: 49135
187.03/187.77 c #Conflicts: 685000 | #Constraints: 50869
187.03/187.77 c #Conflicts: 686000 | #Constraints: 52388
187.03/187.77 c #Conflicts: 687000 | #Constraints: 53957
187.03/187.77 c #Conflicts: 688000 | #Constraints: 55667
187.03/187.77 c INPROCESSING
187.03/187.77 c GARBAGE COLLECT
187.03/187.77 c rational objective 400.5
192.80/193.59 c #Conflicts: 689000 | #Constraints: 29784
192.80/193.59 c #Conflicts: 690000 | #Constraints: 31491
192.80/193.59 c #Conflicts: 691000 | #Constraints: 33215
192.80/193.59 c #Conflicts: 692000 | #Constraints: 34954
192.80/193.59 c #Conflicts: 693000 | #Constraints: 36629
192.80/193.59 c #Conflicts: 694000 | #Constraints: 38203
192.80/193.59 c #Conflicts: 695000 | #Constraints: 39800
192.80/193.59 c #Conflicts: 696000 | #Constraints: 41513
192.80/193.59 c #Conflicts: 697000 | #Constraints: 43140
192.80/193.59 c #Conflicts: 698000 | #Constraints: 44722
192.80/193.59 c #Conflicts: 699000 | #Constraints: 46262
192.80/193.59 c #Conflicts: 700000 | #Constraints: 47950
192.80/193.59 c #Conflicts: 701000 | #Constraints: 49688
192.80/193.59 c #Conflicts: 702000 | #Constraints: 51447
192.80/193.59 c #Conflicts: 703000 | #Constraints: 53171
192.80/193.59 c #Conflicts: 704000 | #Constraints: 54812
192.80/193.59 c #Conflicts: 705000 | #Constraints: 56533
192.80/193.59 c INPROCESSING
192.80/193.59 c GARBAGE COLLECT
192.80/193.59 c rational objective 400.5
197.69/198.43 c #Conflicts: 706000 | #Constraints: 30463
197.69/198.43 c #Conflicts: 707000 | #Constraints: 32230
197.69/198.43 c #Conflicts: 708000 | #Constraints: 33863
197.69/198.43 c #Conflicts: 709000 | #Constraints: 35644
197.69/198.43 c #Conflicts: 710000 | #Constraints: 37364
197.69/198.43 c #Conflicts: 711000 | #Constraints: 39122
197.69/198.43 c #Conflicts: 712000 | #Constraints: 40871
197.69/198.43 c #Conflicts: 713000 | #Constraints: 42615
197.69/198.43 c #Conflicts: 714000 | #Constraints: 44304
197.69/198.43 c #Conflicts: 715000 | #Constraints: 46048
197.69/198.43 c #Conflicts: 716000 | #Constraints: 47780
197.69/198.43 c #Conflicts: 717000 | #Constraints: 49474
197.69/198.43 c #Conflicts: 718000 | #Constraints: 51193
197.69/198.43 c #Conflicts: 719000 | #Constraints: 52859
197.69/198.43 c #Conflicts: 720000 | #Constraints: 54582
197.69/198.43 c #Conflicts: 721000 | #Constraints: 56253
197.69/198.43 c #Conflicts: 722000 | #Constraints: 57859
197.69/198.43 c INPROCESSING
197.69/198.43 c GARBAGE COLLECT
197.69/198.43 c rational objective 400.5
206.66/207.43 c #Conflicts: 723000 | #Constraints: 31159
206.66/207.43 c #Conflicts: 724000 | #Constraints: 32766
206.66/207.43 c #Conflicts: 725000 | #Constraints: 34351
206.66/207.43 c #Conflicts: 726000 | #Constraints: 35569
206.66/207.43 c #Conflicts: 727000 | #Constraints: 36569
206.66/207.43 c #Conflicts: 728000 | #Constraints: 38159
206.66/207.43 c #Conflicts: 729000 | #Constraints: 39894
206.66/207.43 c #Conflicts: 730000 | #Constraints: 41202
206.66/207.43 c #Conflicts: 731000 | #Constraints: 42202
206.66/207.43 c #Conflicts: 732000 | #Constraints: 43202
206.66/207.43 c #Conflicts: 733000 | #Constraints: 44202
206.66/207.43 c #Conflicts: 734000 | #Constraints: 45792
206.66/207.43 c #Conflicts: 735000 | #Constraints: 47434
206.66/207.43 c #Conflicts: 736000 | #Constraints: 49048
206.66/207.43 c #Conflicts: 737000 | #Constraints: 50730
206.66/207.43 c #Conflicts: 738000 | #Constraints: 52433
206.66/207.43 c #Conflicts: 739000 | #Constraints: 53852
206.66/207.43 c INPROCESSING
206.66/207.43 c GARBAGE COLLECT
206.66/207.43 c rational objective 400.5
212.03/212.83 c #Conflicts: 740000 | #Constraints: 28689
212.03/212.83 c #Conflicts: 741000 | #Constraints: 30149
212.03/212.83 c #Conflicts: 742000 | #Constraints: 31652
212.03/212.83 c #Conflicts: 743000 | #Constraints: 33189
212.03/212.83 c #Conflicts: 744000 | #Constraints: 34904
212.03/212.83 c #Conflicts: 745000 | #Constraints: 36660
212.03/212.83 c #Conflicts: 746000 | #Constraints: 38456
212.03/212.83 c #Conflicts: 747000 | #Constraints: 40110
212.03/212.83 c #Conflicts: 748000 | #Constraints: 41839
212.03/212.83 c #Conflicts: 749000 | #Constraints: 43481
212.03/212.83 c #Conflicts: 750000 | #Constraints: 45103
212.03/212.83 c #Conflicts: 751000 | #Constraints: 46722
212.03/212.83 c #Conflicts: 752000 | #Constraints: 48418
212.03/212.83 c #Conflicts: 753000 | #Constraints: 50156
212.03/212.83 c #Conflicts: 754000 | #Constraints: 51880
212.03/212.83 c #Conflicts: 755000 | #Constraints: 53556
212.03/212.83 c #Conflicts: 756000 | #Constraints: 55285
212.03/212.83 c INPROCESSING
212.03/212.83 c GARBAGE COLLECT
212.03/212.83 c rational objective 400.5
217.22/218.10 c #Conflicts: 757000 | #Constraints: 29252
217.22/218.10 c #Conflicts: 758000 | #Constraints: 30980
217.22/218.10 c #Conflicts: 759000 | #Constraints: 32688
217.22/218.10 c #Conflicts: 760000 | #Constraints: 34345
217.22/218.10 c #Conflicts: 761000 | #Constraints: 35936
217.22/218.10 c #Conflicts: 762000 | #Constraints: 37447
217.22/218.10 c #Conflicts: 763000 | #Constraints: 39086
217.22/218.10 c #Conflicts: 764000 | #Constraints: 40768
217.22/218.10 c #Conflicts: 765000 | #Constraints: 42465
217.22/218.10 c #Conflicts: 766000 | #Constraints: 44191
217.22/218.10 c #Conflicts: 767000 | #Constraints: 45840
217.22/218.10 c #Conflicts: 768000 | #Constraints: 47511
217.22/218.10 c #Conflicts: 769000 | #Constraints: 49158
217.22/218.10 c #Conflicts: 770000 | #Constraints: 50796
217.22/218.10 c #Conflicts: 771000 | #Constraints: 52452
217.22/218.10 c #Conflicts: 772000 | #Constraints: 54075
217.22/218.10 c #Conflicts: 773000 | #Constraints: 55818
217.22/218.10 c #Conflicts: 774000 | #Constraints: 57499
217.22/218.10 c INPROCESSING
217.22/218.10 c GARBAGE COLLECT
217.22/218.10 c rational objective 400.5
222.50/223.30 c #Conflicts: 775000 | #Constraints: 30733
222.50/223.30 c #Conflicts: 776000 | #Constraints: 32401
222.50/223.30 c #Conflicts: 777000 | #Constraints: 34037
222.50/223.30 c #Conflicts: 778000 | #Constraints: 35822
222.50/223.30 c #Conflicts: 779000 | #Constraints: 37466
222.50/223.30 c #Conflicts: 780000 | #Constraints: 39177
222.50/223.30 c #Conflicts: 781000 | #Constraints: 40889
222.50/223.30 c #Conflicts: 782000 | #Constraints: 42623
222.50/223.30 c #Conflicts: 783000 | #Constraints: 44345
222.50/223.30 c #Conflicts: 784000 | #Constraints: 46108
222.50/223.30 c #Conflicts: 785000 | #Constraints: 47828
222.50/223.30 c #Conflicts: 786000 | #Constraints: 49548
222.50/223.30 c #Conflicts: 787000 | #Constraints: 51175
222.50/223.30 c #Conflicts: 788000 | #Constraints: 52858
222.50/223.30 c #Conflicts: 789000 | #Constraints: 54474
222.50/223.30 c #Conflicts: 790000 | #Constraints: 56187
222.50/223.30 c #Conflicts: 791000 | #Constraints: 57967
222.50/223.30 c #Conflicts: 792000 | #Constraints: 59587
222.50/223.30 c INPROCESSING
222.50/223.30 c GARBAGE COLLECT
222.50/223.30 c rational objective 400.5
229.18/230.06 c #Conflicts: 793000 | #Constraints: 31932
229.18/230.06 c #Conflicts: 794000 | #Constraints: 33666
229.18/230.06 c #Conflicts: 795000 | #Constraints: 35288
229.18/230.06 c #Conflicts: 796000 | #Constraints: 36950
229.18/230.06 c #Conflicts: 797000 | #Constraints: 38673
229.18/230.06 c #Conflicts: 798000 | #Constraints: 40297
229.18/230.06 c #Conflicts: 799000 | #Constraints: 42032
229.18/230.06 c #Conflicts: 800000 | #Constraints: 43686
229.18/230.06 c #Conflicts: 801000 | #Constraints: 45388
229.18/230.06 c #Conflicts: 802000 | #Constraints: 47074
229.18/230.06 c #Conflicts: 803000 | #Constraints: 48797
229.18/230.06 c #Conflicts: 804000 | #Constraints: 50488
229.18/230.06 c #Conflicts: 805000 | #Constraints: 52185
229.18/230.06 c #Conflicts: 806000 | #Constraints: 53932
229.18/230.06 c #Conflicts: 807000 | #Constraints: 55559
229.18/230.06 c #Conflicts: 808000 | #Constraints: 57232
229.18/230.06 c #Conflicts: 809000 | #Constraints: 58969
229.18/230.06 c #Conflicts: 810000 | #Constraints: 60545
229.18/230.06 c INPROCESSING
229.18/230.06 c GARBAGE COLLECT
229.18/230.06 c rational objective 400.5
235.85/236.73 c #Conflicts: 811000 | #Constraints: 32507
235.85/236.73 c #Conflicts: 812000 | #Constraints: 34162
235.85/236.73 c #Conflicts: 813000 | #Constraints: 35838
235.85/236.73 c #Conflicts: 814000 | #Constraints: 37457
235.85/236.73 c #Conflicts: 815000 | #Constraints: 38972
235.85/236.73 c #Conflicts: 816000 | #Constraints: 40701
235.85/236.73 c #Conflicts: 817000 | #Constraints: 42410
235.85/236.73 c #Conflicts: 818000 | #Constraints: 44074
235.85/236.73 c #Conflicts: 819000 | #Constraints: 45785
235.85/236.73 c #Conflicts: 820000 | #Constraints: 47390
235.85/236.73 c #Conflicts: 821000 | #Constraints: 48995
235.85/236.73 c #Conflicts: 822000 | #Constraints: 50700
235.85/236.73 c #Conflicts: 823000 | #Constraints: 52381
235.85/236.73 c #Conflicts: 824000 | #Constraints: 54107
235.85/236.73 c #Conflicts: 825000 | #Constraints: 55716
235.85/236.73 c #Conflicts: 826000 | #Constraints: 57338
235.85/236.73 c #Conflicts: 827000 | #Constraints: 59083
235.85/236.73 c #Conflicts: 828000 | #Constraints: 60811
235.85/236.73 c INPROCESSING
235.85/236.73 c GARBAGE COLLECT
235.85/236.73 c rational objective 400.5
244.12/245.01 c #Conflicts: 829000 | #Constraints: 32403
244.12/245.01 c #Conflicts: 830000 | #Constraints: 34012
244.12/245.01 c #Conflicts: 831000 | #Constraints: 35681
244.12/245.01 c #Conflicts: 832000 | #Constraints: 37338
244.12/245.01 c #Conflicts: 833000 | #Constraints: 39034
244.12/245.01 c #Conflicts: 834000 | #Constraints: 40776
244.12/245.01 c #Conflicts: 835000 | #Constraints: 42486
244.12/245.01 c #Conflicts: 836000 | #Constraints: 44159
244.12/245.01 c #Conflicts: 837000 | #Constraints: 45748
244.12/245.01 c #Conflicts: 838000 | #Constraints: 47509
244.12/245.01 c #Conflicts: 839000 | #Constraints: 49242
244.12/245.01 c #Conflicts: 840000 | #Constraints: 50967
244.12/245.01 c #Conflicts: 841000 | #Constraints: 52637
244.12/245.01 c #Conflicts: 842000 | #Constraints: 54222
244.12/245.01 c #Conflicts: 843000 | #Constraints: 55857
244.12/245.01 c #Conflicts: 844000 | #Constraints: 57440
244.12/245.01 c #Conflicts: 845000 | #Constraints: 59091
244.12/245.01 c #Conflicts: 846000 | #Constraints: 60770
244.12/245.01 c INPROCESSING
244.12/245.01 c GARBAGE COLLECT
244.12/245.01 c rational objective 400.5
251.59/252.50 c #Conflicts: 847000 | #Constraints: 32020
251.59/252.50 c #Conflicts: 848000 | #Constraints: 33782
251.59/252.50 c #Conflicts: 849000 | #Constraints: 35489
251.59/252.50 c #Conflicts: 850000 | #Constraints: 37205
251.59/252.50 c #Conflicts: 851000 | #Constraints: 38806
251.59/252.50 c #Conflicts: 852000 | #Constraints: 40544
251.59/252.50 c #Conflicts: 853000 | #Constraints: 42291
251.59/252.50 c #Conflicts: 854000 | #Constraints: 43973
251.59/252.50 c #Conflicts: 855000 | #Constraints: 45674
251.59/252.50 c #Conflicts: 856000 | #Constraints: 47297
251.59/252.50 c #Conflicts: 857000 | #Constraints: 48985
251.59/252.50 c #Conflicts: 858000 | #Constraints: 50685
251.59/252.50 c #Conflicts: 859000 | #Constraints: 52382
251.59/252.50 c #Conflicts: 860000 | #Constraints: 54089
251.59/252.50 c #Conflicts: 861000 | #Constraints: 55649
251.59/252.50 c #Conflicts: 862000 | #Constraints: 57423
251.59/252.50 c #Conflicts: 863000 | #Constraints: 59221
251.59/252.50 c #Conflicts: 864000 | #Constraints: 60953
251.59/252.50 c #Conflicts: 865000 | #Constraints: 62677
251.59/252.50 c INPROCESSING
251.59/252.50 c GARBAGE COLLECT
251.59/252.50 c rational objective 400.5
262.25/263.23 c #Conflicts: 866000 | #Constraints: 33363
262.25/263.23 c #Conflicts: 867000 | #Constraints: 35091
262.25/263.23 c #Conflicts: 868000 | #Constraints: 36775
262.25/263.23 c #Conflicts: 869000 | #Constraints: 38439
262.25/263.23 c #Conflicts: 870000 | #Constraints: 40076
262.25/263.23 c #Conflicts: 871000 | #Constraints: 41749
262.25/263.23 c #Conflicts: 872000 | #Constraints: 43256
262.25/263.23 c #Conflicts: 873000 | #Constraints: 44880
262.25/263.23 c #Conflicts: 874000 | #Constraints: 46556
262.25/263.23 c #Conflicts: 875000 | #Constraints: 48299
262.25/263.23 c #Conflicts: 876000 | #Constraints: 49848
262.25/263.23 c #Conflicts: 877000 | #Constraints: 51552
262.25/263.23 c #Conflicts: 878000 | #Constraints: 53187
262.25/263.23 c #Conflicts: 879000 | #Constraints: 54865
262.25/263.23 c #Conflicts: 880000 | #Constraints: 56576
262.25/263.23 c #Conflicts: 881000 | #Constraints: 58319
262.25/263.23 c #Conflicts: 882000 | #Constraints: 60036
262.25/263.23 c #Conflicts: 883000 | #Constraints: 61684
262.25/263.23 c #Conflicts: 884000 | #Constraints: 63365
262.25/263.23 c INPROCESSING
262.25/263.23 c GARBAGE COLLECT
262.25/263.23 c rational objective 400.5
270.82/271.89 c #Conflicts: 885000 | #Constraints: 33669
270.82/271.89 c #Conflicts: 886000 | #Constraints: 34672
270.82/271.89 c #Conflicts: 887000 | #Constraints: 35672
270.82/271.89 c #Conflicts: 888000 | #Constraints: 36672
270.82/271.89 c #Conflicts: 889000 | #Constraints: 37672
270.82/271.89 c #Conflicts: 890000 | #Constraints: 38672
270.82/271.89 c #Conflicts: 891000 | #Constraints: 40157
270.82/271.89 c #Conflicts: 892000 | #Constraints: 41684
270.82/271.89 c #Conflicts: 893000 | #Constraints: 43373
270.82/271.89 c #Conflicts: 894000 | #Constraints: 44892
270.82/271.89 c #Conflicts: 895000 | #Constraints: 46491
270.82/271.89 c #Conflicts: 896000 | #Constraints: 48094
270.82/271.89 c #Conflicts: 897000 | #Constraints: 49640
270.82/271.89 c #Conflicts: 898000 | #Constraints: 51314
270.82/271.89 c #Conflicts: 899000 | #Constraints: 52946
270.82/271.89 c #Conflicts: 900000 | #Constraints: 54650
270.82/271.89 c #Conflicts: 901000 | #Constraints: 56333
270.82/271.89 c #Conflicts: 902000 | #Constraints: 57933
270.82/271.89 c #Conflicts: 903000 | #Constraints: 59637
270.82/271.89 c INPROCESSING
270.82/271.89 c GARBAGE COLLECT
270.82/271.89 c rational objective 400.5
277.10/278.10 c #Conflicts: 904000 | #Constraints: 31953
277.10/278.10 c #Conflicts: 905000 | #Constraints: 33627
277.10/278.10 c #Conflicts: 906000 | #Constraints: 35339
277.10/278.10 c #Conflicts: 907000 | #Constraints: 37127
277.10/278.10 c #Conflicts: 908000 | #Constraints: 38544
277.10/278.10 c #Conflicts: 909000 | #Constraints: 39803
277.10/278.10 c #Conflicts: 910000 | #Constraints: 41238
277.10/278.10 c #Conflicts: 911000 | #Constraints: 42507
277.10/278.10 c #Conflicts: 912000 | #Constraints: 43917
277.10/278.10 c #Conflicts: 913000 | #Constraints: 45122
277.10/278.10 c #Conflicts: 914000 | #Constraints: 46488
277.10/278.10 c #Conflicts: 915000 | #Constraints: 47896
277.10/278.10 c #Conflicts: 916000 | #Constraints: 48912
277.10/278.10 c #Conflicts: 917000 | #Constraints: 50026
277.10/278.10 c #Conflicts: 918000 | #Constraints: 51688
277.10/278.10 c #Conflicts: 919000 | #Constraints: 53408
277.10/278.10 c #Conflicts: 920000 | #Constraints: 54655
277.10/278.10 c #Conflicts: 921000 | #Constraints: 56194
277.10/278.10 c #Conflicts: 922000 | #Constraints: 57577
277.10/278.10 c INPROCESSING
277.10/278.10 c GARBAGE COLLECT
277.10/278.10 c rational objective 400.5
281.98/283.09 c #Conflicts: 923000 | #Constraints: 30207
281.98/283.09 c #Conflicts: 924000 | #Constraints: 31207
281.98/283.09 c #Conflicts: 925000 | #Constraints: 32302
281.98/283.09 c #Conflicts: 926000 | #Constraints: 33885
281.98/283.09 c #Conflicts: 927000 | #Constraints: 35462
281.98/283.09 c #Conflicts: 928000 | #Constraints: 37094
281.98/283.09 c #Conflicts: 929000 | #Constraints: 38683
281.98/283.09 c #Conflicts: 930000 | #Constraints: 40303
281.98/283.09 c #Conflicts: 931000 | #Constraints: 41932
281.98/283.09 c #Conflicts: 932000 | #Constraints: 43575
281.98/283.09 c #Conflicts: 933000 | #Constraints: 45181
281.98/283.09 c #Conflicts: 934000 | #Constraints: 46826
281.98/283.09 c #Conflicts: 935000 | #Constraints: 48435
281.98/283.09 c #Conflicts: 936000 | #Constraints: 50150
281.98/283.09 c #Conflicts: 937000 | #Constraints: 51837
281.98/283.09 c #Conflicts: 938000 | #Constraints: 53472
281.98/283.09 c #Conflicts: 939000 | #Constraints: 55064
281.98/283.09 c #Conflicts: 940000 | #Constraints: 56729
281.98/283.09 c #Conflicts: 941000 | #Constraints: 58264
281.98/283.09 c INPROCESSING
281.98/283.09 c GARBAGE COLLECT
281.98/283.09 c rational objective 400.5
286.56/287.61 c #Conflicts: 942000 | #Constraints: 30733
286.56/287.61 c #Conflicts: 943000 | #Constraints: 32347
286.56/287.61 c #Conflicts: 944000 | #Constraints: 34039
286.56/287.61 c #Conflicts: 945000 | #Constraints: 35675
286.56/287.61 c #Conflicts: 946000 | #Constraints: 37253
286.56/287.61 c #Conflicts: 947000 | #Constraints: 38778
286.56/287.61 c #Conflicts: 948000 | #Constraints: 40336
286.56/287.61 c #Conflicts: 949000 | #Constraints: 41982
286.56/287.61 c #Conflicts: 950000 | #Constraints: 43652
286.56/287.61 c #Conflicts: 951000 | #Constraints: 45384
286.56/287.61 c #Conflicts: 952000 | #Constraints: 47045
286.56/287.61 c #Conflicts: 953000 | #Constraints: 48765
286.56/287.61 c #Conflicts: 954000 | #Constraints: 50357
286.56/287.61 c #Conflicts: 955000 | #Constraints: 52087
286.56/287.61 c #Conflicts: 956000 | #Constraints: 53753
286.56/287.61 c #Conflicts: 957000 | #Constraints: 55367
286.56/287.61 c #Conflicts: 958000 | #Constraints: 57093
286.56/287.61 c #Conflicts: 959000 | #Constraints: 58823
286.56/287.61 c #Conflicts: 960000 | #Constraints: 60540
286.56/287.61 c #Conflicts: 961000 | #Constraints: 62162
286.56/287.61 c INPROCESSING
286.56/287.61 c GARBAGE COLLECT
286.56/287.61 c rational objective 400.5
293.24/294.32 c #Conflicts: 962000 | #Constraints: 33095
293.24/294.32 c #Conflicts: 963000 | #Constraints: 34748
293.24/294.32 c #Conflicts: 964000 | #Constraints: 36304
293.24/294.32 c #Conflicts: 965000 | #Constraints: 37995
293.24/294.32 c #Conflicts: 966000 | #Constraints: 39664
293.24/294.32 c #Conflicts: 967000 | #Constraints: 40839
293.24/294.32 c #Conflicts: 968000 | #Constraints: 41839
293.24/294.32 c #Conflicts: 969000 | #Constraints: 42839
293.24/294.32 c #Conflicts: 970000 | #Constraints: 43839
293.24/294.32 c #Conflicts: 971000 | #Constraints: 44839
293.24/294.32 c #Conflicts: 972000 | #Constraints: 45839
293.24/294.32 c #Conflicts: 973000 | #Constraints: 46839
293.24/294.32 c #Conflicts: 974000 | #Constraints: 48198
293.24/294.32 c #Conflicts: 975000 | #Constraints: 49967
293.24/294.32 c #Conflicts: 976000 | #Constraints: 51732
293.24/294.32 c #Conflicts: 977000 | #Constraints: 53466
293.24/294.32 c #Conflicts: 978000 | #Constraints: 55202
293.24/294.32 c #Conflicts: 979000 | #Constraints: 56957
293.24/294.32 c #Conflicts: 980000 | #Constraints: 58633
293.24/294.32 c #Conflicts: 981000 | #Constraints: 60314
293.24/294.32 c INPROCESSING
293.24/294.32 c GARBAGE COLLECT
293.24/294.32 c rational objective 400.5
299.31/300.40 c #Conflicts: 982000 | #Constraints: 31940
299.31/300.40 c #Conflicts: 983000 | #Constraints: 33179
299.31/300.40 c #Conflicts: 984000 | #Constraints: 34186
299.31/300.40 c #Conflicts: 985000 | #Constraints: 35186
299.31/300.40 c #Conflicts: 986000 | #Constraints: 36307
299.31/300.40 c #Conflicts: 987000 | #Constraints: 37350
299.31/300.40 c #Conflicts: 988000 | #Constraints: 38680
299.31/300.40 c #Conflicts: 989000 | #Constraints: 40304
299.31/300.40 c #Conflicts: 990000 | #Constraints: 41958
299.31/300.40 c #Conflicts: 991000 | #Constraints: 43602
299.31/300.40 c #Conflicts: 992000 | #Constraints: 45255
299.31/300.40 c #Conflicts: 993000 | #Constraints: 46849
299.31/300.40 c #Conflicts: 994000 | #Constraints: 48461
299.31/300.40 c #Conflicts: 995000 | #Constraints: 49999
299.31/300.40 c #Conflicts: 996000 | #Constraints: 51357
299.31/300.40 c #Conflicts: 997000 | #Constraints: 52373
299.31/300.40 c #Conflicts: 998000 | #Constraints: 53433
299.31/300.40 c #Conflicts: 999000 | #Constraints: 54433
299.31/300.40 c #Conflicts: 1000000 | #Constraints: 55433
299.31/300.40 c #Conflicts: 1001000 | #Constraints: 56478
299.31/300.40 c INPROCESSING
299.31/300.40 c GARBAGE COLLECT
299.31/300.40 c rational objective 400.5
302.49/303.62 c #Conflicts: 1002000 | #Constraints: 29730
302.49/303.62 c #Conflicts: 1003000 | #Constraints: 30827
302.49/303.62 c #Conflicts: 1004000 | #Constraints: 32150
302.49/303.62 c #Conflicts: 1005000 | #Constraints: 33505
302.49/303.62 c #Conflicts: 1006000 | #Constraints: 35154
302.49/303.62 c #Conflicts: 1007000 | #Constraints: 36753
302.49/303.62 c #Conflicts: 1008000 | #Constraints: 37753
302.49/303.62 c #Conflicts: 1009000 | #Constraints: 38754
302.49/303.62 c #Conflicts: 1010000 | #Constraints: 39768
302.49/303.62 c #Conflicts: 1011000 | #Constraints: 40772
302.49/303.62 c #Conflicts: 1012000 | #Constraints: 41772
302.49/303.62 c #Conflicts: 1013000 | #Constraints: 42772
302.49/303.62 c #Conflicts: 1014000 | #Constraints: 43776
302.49/303.62 c #Conflicts: 1015000 | #Constraints: 44799
302.49/303.62 c #Conflicts: 1016000 | #Constraints: 45800
302.49/303.62 c #Conflicts: 1017000 | #Constraints: 46800
302.49/303.62 c #Conflicts: 1018000 | #Constraints: 47802
302.49/303.62 c #Conflicts: 1019000 | #Constraints: 48814
302.49/303.62 c #Conflicts: 1020000 | #Constraints: 49814
302.49/303.62 c #Conflicts: 1021000 | #Constraints: 50814
302.49/303.62 c INPROCESSING
302.49/303.62 c GARBAGE COLLECT
302.49/303.62 c rational objective 400.5
306.99/308.16 c #Conflicts: 1022000 | #Constraints: 26790
306.99/308.16 c #Conflicts: 1023000 | #Constraints: 27790
306.99/308.16 c #Conflicts: 1024000 | #Constraints: 28790
306.99/308.16 c #Conflicts: 1025000 | #Constraints: 29964
306.99/308.16 c #Conflicts: 1026000 | #Constraints: 31610
306.99/308.16 c #Conflicts: 1027000 | #Constraints: 33178
306.99/308.16 c #Conflicts: 1028000 | #Constraints: 34894
306.99/308.16 c #Conflicts: 1029000 | #Constraints: 36603
306.99/308.16 c #Conflicts: 1030000 | #Constraints: 38383
306.99/308.16 c #Conflicts: 1031000 | #Constraints: 40148
306.99/308.16 c #Conflicts: 1032000 | #Constraints: 41843
306.99/308.16 c #Conflicts: 1033000 | #Constraints: 43578
306.99/308.16 c #Conflicts: 1034000 | #Constraints: 45337
306.99/308.16 c #Conflicts: 1035000 | #Constraints: 47092
306.99/308.16 c #Conflicts: 1036000 | #Constraints: 48854
306.99/308.16 c #Conflicts: 1037000 | #Constraints: 50589
306.99/308.16 c #Conflicts: 1038000 | #Constraints: 52350
306.99/308.16 c #Conflicts: 1039000 | #Constraints: 54066
306.99/308.16 c #Conflicts: 1040000 | #Constraints: 55778
306.99/308.16 c #Conflicts: 1041000 | #Constraints: 57526
306.99/308.16 c INPROCESSING
306.99/308.16 c GARBAGE COLLECT
306.99/308.16 c rational objective 400.5
313.66/314.82 c #Conflicts: 1042000 | #Constraints: 30485
313.66/314.82 c #Conflicts: 1043000 | #Constraints: 32246
313.66/314.82 c #Conflicts: 1044000 | #Constraints: 33971
313.66/314.82 c #Conflicts: 1045000 | #Constraints: 35757
313.66/314.82 c #Conflicts: 1046000 | #Constraints: 37480
313.66/314.82 c #Conflicts: 1047000 | #Constraints: 39175
313.66/314.82 c #Conflicts: 1048000 | #Constraints: 40829
313.66/314.82 c #Conflicts: 1049000 | #Constraints: 42448
313.66/314.82 c #Conflicts: 1050000 | #Constraints: 44133
313.66/314.82 c #Conflicts: 1051000 | #Constraints: 45816
313.66/314.82 c #Conflicts: 1052000 | #Constraints: 47465
313.66/314.82 c #Conflicts: 1053000 | #Constraints: 49146
313.66/314.82 c #Conflicts: 1054000 | #Constraints: 50813
313.66/314.82 c #Conflicts: 1055000 | #Constraints: 52473
313.66/314.82 c #Conflicts: 1056000 | #Constraints: 54121
313.66/314.82 c #Conflicts: 1057000 | #Constraints: 55839
313.66/314.82 c #Conflicts: 1058000 | #Constraints: 57497
313.66/314.82 c #Conflicts: 1059000 | #Constraints: 59203
313.66/314.82 c #Conflicts: 1060000 | #Constraints: 60770
313.66/314.82 c #Conflicts: 1061000 | #Constraints: 62458
313.66/314.82 c #Conflicts: 1062000 | #Constraints: 64181
313.66/314.82 c INPROCESSING
313.66/314.82 c GARBAGE COLLECT
313.66/314.82 c rational objective 400.5
317.74/318.99 c #Conflicts: 1063000 | #Constraints: 33978
317.74/318.99 c #Conflicts: 1064000 | #Constraints: 35550
317.74/318.99 c #Conflicts: 1065000 | #Constraints: 36595
317.74/318.99 c #Conflicts: 1066000 | #Constraints: 37595
317.74/318.99 c #Conflicts: 1067000 | #Constraints: 38604
317.74/318.99 c #Conflicts: 1068000 | #Constraints: 39617
317.74/318.99 c #Conflicts: 1069000 | #Constraints: 40617
317.74/318.99 c #Conflicts: 1070000 | #Constraints: 41617
317.74/318.99 c #Conflicts: 1071000 | #Constraints: 42684
317.74/318.99 c #Conflicts: 1072000 | #Constraints: 43866
317.74/318.99 c #Conflicts: 1073000 | #Constraints: 44866
317.74/318.99 c #Conflicts: 1074000 | #Constraints: 45866
317.74/318.99 c #Conflicts: 1075000 | #Constraints: 46878
317.74/318.99 c #Conflicts: 1076000 | #Constraints: 47883
317.74/318.99 c #Conflicts: 1077000 | #Constraints: 49297
317.74/318.99 c #Conflicts: 1078000 | #Constraints: 50563
317.74/318.99 c #Conflicts: 1079000 | #Constraints: 51563
317.74/318.99 c #Conflicts: 1080000 | #Constraints: 52715
317.74/318.99 c #Conflicts: 1081000 | #Constraints: 53914
317.74/318.99 c #Conflicts: 1082000 | #Constraints: 54920
317.74/318.99 c #Conflicts: 1083000 | #Constraints: 55962
317.74/318.99 c INPROCESSING
317.74/318.99 c GARBAGE COLLECT
317.74/318.99 c rational objective 400.5
320.73/321.91 c #Conflicts: 1084000 | #Constraints: 29476
320.73/321.91 c #Conflicts: 1085000 | #Constraints: 30476
320.73/321.91 c #Conflicts: 1086000 | #Constraints: 31476
320.73/321.91 c #Conflicts: 1087000 | #Constraints: 32476
320.73/321.91 c #Conflicts: 1088000 | #Constraints: 33476
320.73/321.91 c #Conflicts: 1089000 | #Constraints: 34476
320.73/321.91 c #Conflicts: 1090000 | #Constraints: 35484
320.73/321.91 c #Conflicts: 1091000 | #Constraints: 36494
320.73/321.91 c #Conflicts: 1092000 | #Constraints: 37502
320.73/321.91 c #Conflicts: 1093000 | #Constraints: 38528
320.73/321.91 c #Conflicts: 1094000 | #Constraints: 39568
320.73/321.91 c #Conflicts: 1095000 | #Constraints: 40756
320.73/321.91 c #Conflicts: 1096000 | #Constraints: 41844
320.73/321.91 c #Conflicts: 1097000 | #Constraints: 42958
320.73/321.91 c #Conflicts: 1098000 | #Constraints: 44000
320.73/321.91 c #Conflicts: 1099000 | #Constraints: 45024
320.73/321.91 c #Conflicts: 1100000 | #Constraints: 46078
320.73/321.91 c #Conflicts: 1101000 | #Constraints: 47102
320.73/321.91 c #Conflicts: 1102000 | #Constraints: 48110
320.73/321.91 c #Conflicts: 1103000 | #Constraints: 49134
320.73/321.91 c #Conflicts: 1104000 | #Constraints: 50193
320.73/321.91 c INPROCESSING
320.73/321.91 c GARBAGE COLLECT
320.73/321.91 c rational objective 400.5
324.42/325.63 c #Conflicts: 1105000 | #Constraints: 26598
324.42/325.63 c #Conflicts: 1106000 | #Constraints: 27765
324.42/325.63 c #Conflicts: 1107000 | #Constraints: 29482
324.42/325.63 c #Conflicts: 1108000 | #Constraints: 31162
324.42/325.63 c #Conflicts: 1109000 | #Constraints: 32702
324.42/325.63 c #Conflicts: 1110000 | #Constraints: 33991
324.42/325.63 c #Conflicts: 1111000 | #Constraints: 35029
324.42/325.63 c #Conflicts: 1112000 | #Constraints: 36029
324.42/325.63 c #Conflicts: 1113000 | #Constraints: 37063
324.42/325.63 c #Conflicts: 1114000 | #Constraints: 38063
324.42/325.63 c #Conflicts: 1115000 | #Constraints: 39063
324.42/325.63 c #Conflicts: 1116000 | #Constraints: 40063
324.42/325.63 c #Conflicts: 1117000 | #Constraints: 41063
324.42/325.63 c #Conflicts: 1118000 | #Constraints: 42063
324.42/325.63 c #Conflicts: 1119000 | #Constraints: 43063
324.42/325.63 c #Conflicts: 1120000 | #Constraints: 44063
324.42/325.63 c #Conflicts: 1121000 | #Constraints: 45063
324.42/325.63 c #Conflicts: 1122000 | #Constraints: 46063
324.42/325.63 c #Conflicts: 1123000 | #Constraints: 47063
324.42/325.63 c #Conflicts: 1124000 | #Constraints: 48063
324.42/325.63 c #Conflicts: 1125000 | #Constraints: 49063
324.42/325.63 c INPROCESSING
324.42/325.63 c GARBAGE COLLECT
324.42/325.63 c rational objective 400.5
330.79/332.07 c #Conflicts: 1126000 | #Constraints: 25914
330.79/332.07 c #Conflicts: 1127000 | #Constraints: 26914
330.79/332.07 c #Conflicts: 1128000 | #Constraints: 28264
330.79/332.07 c #Conflicts: 1129000 | #Constraints: 30009
330.79/332.07 c #Conflicts: 1130000 | #Constraints: 31788
330.79/332.07 c #Conflicts: 1131000 | #Constraints: 33526
330.79/332.07 c #Conflicts: 1132000 | #Constraints: 35133
330.79/332.07 c #Conflicts: 1133000 | #Constraints: 36816
330.79/332.07 c #Conflicts: 1134000 | #Constraints: 38446
330.79/332.07 c #Conflicts: 1135000 | #Constraints: 40069
330.79/332.07 c #Conflicts: 1136000 | #Constraints: 41742
330.79/332.07 c #Conflicts: 1137000 | #Constraints: 43413
330.79/332.07 c #Conflicts: 1138000 | #Constraints: 45010
330.79/332.07 c #Conflicts: 1139000 | #Constraints: 46653
330.79/332.07 c #Conflicts: 1140000 | #Constraints: 48335
330.79/332.07 c #Conflicts: 1141000 | #Constraints: 50013
330.79/332.07 c #Conflicts: 1142000 | #Constraints: 51682
330.79/332.07 c #Conflicts: 1143000 | #Constraints: 53345
330.79/332.07 c #Conflicts: 1144000 | #Constraints: 55150
330.79/332.07 c #Conflicts: 1145000 | #Constraints: 56806
330.79/332.07 c #Conflicts: 1146000 | #Constraints: 58320
330.79/332.07 c INPROCESSING
330.79/332.07 c GARBAGE COLLECT
330.79/332.07 c rational objective 400.5
337.97/339.29 c #Conflicts: 1147000 | #Constraints: 30729
337.97/339.29 c #Conflicts: 1148000 | #Constraints: 32402
337.97/339.29 c #Conflicts: 1149000 | #Constraints: 34100
337.97/339.29 c #Conflicts: 1150000 | #Constraints: 35760
337.97/339.29 c #Conflicts: 1151000 | #Constraints: 37521
337.97/339.29 c #Conflicts: 1152000 | #Constraints: 39225
337.97/339.29 c #Conflicts: 1153000 | #Constraints: 40990
337.97/339.29 c #Conflicts: 1154000 | #Constraints: 42743
337.97/339.29 c #Conflicts: 1155000 | #Constraints: 44418
337.97/339.29 c #Conflicts: 1156000 | #Constraints: 46140
337.97/339.29 c #Conflicts: 1157000 | #Constraints: 47773
337.97/339.29 c #Conflicts: 1158000 | #Constraints: 49497
337.97/339.29 c #Conflicts: 1159000 | #Constraints: 51134
337.97/339.29 c #Conflicts: 1160000 | #Constraints: 52828
337.97/339.29 c #Conflicts: 1161000 | #Constraints: 54521
337.97/339.29 c #Conflicts: 1162000 | #Constraints: 56189
337.97/339.29 c #Conflicts: 1163000 | #Constraints: 57811
337.97/339.29 c #Conflicts: 1164000 | #Constraints: 59438
337.97/339.29 c #Conflicts: 1165000 | #Constraints: 61146
337.97/339.29 c #Conflicts: 1166000 | #Constraints: 62889
337.97/339.29 c #Conflicts: 1167000 | #Constraints: 64600
337.97/339.29 c #Conflicts: 1168000 | #Constraints: 66387
337.97/339.29 c INPROCESSING
337.97/339.29 c GARBAGE COLLECT
337.97/339.29 c rational objective 400.5
345.03/346.37 c #Conflicts: 1169000 | #Constraints: 35134
345.03/346.37 c #Conflicts: 1170000 | #Constraints: 36762
345.03/346.37 c #Conflicts: 1171000 | #Constraints: 38433
345.03/346.37 c #Conflicts: 1172000 | #Constraints: 40052
345.03/346.37 c #Conflicts: 1173000 | #Constraints: 41745
345.03/346.37 c #Conflicts: 1174000 | #Constraints: 43377
345.03/346.37 c #Conflicts: 1175000 | #Constraints: 45023
345.03/346.37 c #Conflicts: 1176000 | #Constraints: 46766
345.03/346.37 c #Conflicts: 1177000 | #Constraints: 48406
345.03/346.37 c #Conflicts: 1178000 | #Constraints: 50028
345.03/346.37 c #Conflicts: 1179000 | #Constraints: 51693
345.03/346.37 c #Conflicts: 1180000 | #Constraints: 53437
345.03/346.37 c #Conflicts: 1181000 | #Constraints: 55120
345.03/346.37 c #Conflicts: 1182000 | #Constraints: 56815
345.03/346.37 c #Conflicts: 1183000 | #Constraints: 58515
345.03/346.37 c #Conflicts: 1184000 | #Constraints: 60243
345.03/346.37 c #Conflicts: 1185000 | #Constraints: 61890
345.03/346.37 c #Conflicts: 1186000 | #Constraints: 63569
345.03/346.37 c #Conflicts: 1187000 | #Constraints: 65123
345.03/346.37 c #Conflicts: 1188000 | #Constraints: 66653
345.03/346.37 c #Conflicts: 1189000 | #Constraints: 68367
345.03/346.37 c #Conflicts: 1190000 | #Constraints: 70020
345.03/346.37 c INPROCESSING
345.03/346.37 c GARBAGE COLLECT
345.03/346.37 c rational objective 400.5
353.30/354.61 c #Conflicts: 1191000 | #Constraints: 37083
353.30/354.61 c #Conflicts: 1192000 | #Constraints: 38769
353.30/354.61 c #Conflicts: 1193000 | #Constraints: 40480
353.30/354.61 c #Conflicts: 1194000 | #Constraints: 42152
353.30/354.61 c #Conflicts: 1195000 | #Constraints: 43794
353.30/354.61 c #Conflicts: 1196000 | #Constraints: 45380
353.30/354.61 c #Conflicts: 1197000 | #Constraints: 47100
353.30/354.61 c #Conflicts: 1198000 | #Constraints: 48732
353.30/354.61 c #Conflicts: 1199000 | #Constraints: 50227
353.30/354.61 c #Conflicts: 1200000 | #Constraints: 51902
353.30/354.61 c #Conflicts: 1201000 | #Constraints: 53596
353.30/354.61 c #Conflicts: 1202000 | #Constraints: 55356
353.30/354.61 c #Conflicts: 1203000 | #Constraints: 57072
353.30/354.61 c #Conflicts: 1204000 | #Constraints: 58777
353.30/354.61 c #Conflicts: 1205000 | #Constraints: 60388
353.30/354.61 c #Conflicts: 1206000 | #Constraints: 61927
353.30/354.61 c #Conflicts: 1207000 | #Constraints: 63184
353.30/354.61 c #Conflicts: 1208000 | #Constraints: 64944
353.30/354.61 c #Conflicts: 1209000 | #Constraints: 66651
353.30/354.61 c #Conflicts: 1210000 | #Constraints: 68335
353.30/354.61 c #Conflicts: 1211000 | #Constraints: 69987
353.30/354.61 c #Conflicts: 1212000 | #Constraints: 71747
353.30/354.61 c INPROCESSING
353.30/354.61 c GARBAGE COLLECT
353.30/354.61 c rational objective 400.5
358.98/360.31 c #Conflicts: 1213000 | #Constraints: 38118
358.98/360.31 c #Conflicts: 1214000 | #Constraints: 39751
358.98/360.31 c #Conflicts: 1215000 | #Constraints: 41470
358.98/360.31 c #Conflicts: 1216000 | #Constraints: 43135
358.98/360.31 c #Conflicts: 1217000 | #Constraints: 44801
358.98/360.31 c #Conflicts: 1218000 | #Constraints: 46542
358.98/360.31 c #Conflicts: 1219000 | #Constraints: 48122
358.98/360.31 c #Conflicts: 1220000 | #Constraints: 49624
358.98/360.31 c #Conflicts: 1221000 | #Constraints: 51121
358.98/360.31 c #Conflicts: 1222000 | #Constraints: 52634
358.98/360.31 c #Conflicts: 1223000 | #Constraints: 54255
358.98/360.31 c #Conflicts: 1224000 | #Constraints: 55771
358.98/360.31 c #Conflicts: 1225000 | #Constraints: 57391
358.98/360.31 c #Conflicts: 1226000 | #Constraints: 58895
358.98/360.31 c #Conflicts: 1227000 | #Constraints: 60380
358.98/360.31 c #Conflicts: 1228000 | #Constraints: 61933
358.98/360.31 c #Conflicts: 1229000 | #Constraints: 63519
358.98/360.31 c #Conflicts: 1230000 | #Constraints: 65205
358.98/360.31 c #Conflicts: 1231000 | #Constraints: 66877
358.98/360.31 c #Conflicts: 1232000 | #Constraints: 68584
358.98/360.31 c #Conflicts: 1233000 | #Constraints: 70322
358.98/360.31 c #Conflicts: 1234000 | #Constraints: 72044
358.98/360.31 c INPROCESSING
358.98/360.31 c GARBAGE COLLECT
358.98/360.31 c rational objective 400.5
366.35/367.71 c #Conflicts: 1235000 | #Constraints: 38023
366.35/367.71 c #Conflicts: 1236000 | #Constraints: 39561
366.35/367.71 c #Conflicts: 1237000 | #Constraints: 41310
366.35/367.71 c #Conflicts: 1238000 | #Constraints: 43022
366.35/367.71 c #Conflicts: 1239000 | #Constraints: 44678
366.35/367.71 c #Conflicts: 1240000 | #Constraints: 46302
366.35/367.71 c #Conflicts: 1241000 | #Constraints: 47990
366.35/367.71 c #Conflicts: 1242000 | #Constraints: 49725
366.35/367.71 c #Conflicts: 1243000 | #Constraints: 51381
366.35/367.71 c #Conflicts: 1244000 | #Constraints: 53105
366.35/367.71 c #Conflicts: 1245000 | #Constraints: 54804
366.35/367.71 c #Conflicts: 1246000 | #Constraints: 56473
366.35/367.71 c #Conflicts: 1247000 | #Constraints: 58149
366.35/367.71 c #Conflicts: 1248000 | #Constraints: 59805
366.35/367.71 c #Conflicts: 1249000 | #Constraints: 61486
366.35/367.71 c #Conflicts: 1250000 | #Constraints: 63251
366.35/367.71 c #Conflicts: 1251000 | #Constraints: 64950
366.35/367.71 c #Conflicts: 1252000 | #Constraints: 66594
366.35/367.71 c #Conflicts: 1253000 | #Constraints: 68304
366.35/367.71 c #Conflicts: 1254000 | #Constraints: 70048
366.35/367.71 c #Conflicts: 1255000 | #Constraints: 71781
366.35/367.71 c #Conflicts: 1256000 | #Constraints: 73512
366.35/367.71 c INPROCESSING
366.35/367.71 c GARBAGE COLLECT
366.35/367.71 c rational objective 400.5
374.22/375.60 c #Conflicts: 1257000 | #Constraints: 38407
374.22/375.60 c #Conflicts: 1258000 | #Constraints: 39852
374.22/375.60 c #Conflicts: 1259000 | #Constraints: 41475
374.22/375.60 c #Conflicts: 1260000 | #Constraints: 42657
374.22/375.60 c #Conflicts: 1261000 | #Constraints: 43867
374.22/375.60 c #Conflicts: 1262000 | #Constraints: 45201
374.22/375.60 c #Conflicts: 1263000 | #Constraints: 46552
374.22/375.60 c #Conflicts: 1264000 | #Constraints: 48195
374.22/375.60 c #Conflicts: 1265000 | #Constraints: 49764
374.22/375.60 c #Conflicts: 1266000 | #Constraints: 51049
374.22/375.60 c #Conflicts: 1267000 | #Constraints: 52359
374.22/375.60 c #Conflicts: 1268000 | #Constraints: 53690
374.22/375.60 c #Conflicts: 1269000 | #Constraints: 55443
374.22/375.60 c #Conflicts: 1270000 | #Constraints: 57076
374.22/375.60 c #Conflicts: 1271000 | #Constraints: 58690
374.22/375.60 c #Conflicts: 1272000 | #Constraints: 60290
374.22/375.60 c #Conflicts: 1273000 | #Constraints: 61971
374.22/375.60 c #Conflicts: 1274000 | #Constraints: 63650
374.22/375.60 c #Conflicts: 1275000 | #Constraints: 65187
374.22/375.60 c #Conflicts: 1276000 | #Constraints: 66544
374.22/375.60 c #Conflicts: 1277000 | #Constraints: 67969
374.22/375.60 c #Conflicts: 1278000 | #Constraints: 69151
374.22/375.60 c #Conflicts: 1279000 | #Constraints: 70551
374.22/375.60 c INPROCESSING
374.22/375.60 c GARBAGE COLLECT
374.22/375.60 c rational objective 400.5
381.49/382.96 c #Conflicts: 1280000 | #Constraints: 37025
381.49/382.96 c #Conflicts: 1281000 | #Constraints: 38678
381.49/382.96 c #Conflicts: 1282000 | #Constraints: 40157
381.49/382.96 c #Conflicts: 1283000 | #Constraints: 41758
381.49/382.96 c #Conflicts: 1284000 | #Constraints: 43385
381.49/382.96 c #Conflicts: 1285000 | #Constraints: 44385
381.49/382.96 c #Conflicts: 1286000 | #Constraints: 45385
381.49/382.96 c #Conflicts: 1287000 | #Constraints: 46388
381.49/382.96 c #Conflicts: 1288000 | #Constraints: 47388
381.49/382.96 c #Conflicts: 1289000 | #Constraints: 48389
381.49/382.96 c #Conflicts: 1290000 | #Constraints: 49389
381.49/382.96 c #Conflicts: 1291000 | #Constraints: 50389
381.49/382.96 c #Conflicts: 1292000 | #Constraints: 51389
381.49/382.96 c #Conflicts: 1293000 | #Constraints: 52390
381.49/382.96 c #Conflicts: 1294000 | #Constraints: 53390
381.49/382.96 c #Conflicts: 1295000 | #Constraints: 54390
381.49/382.96 c #Conflicts: 1296000 | #Constraints: 55390
381.49/382.96 c #Conflicts: 1297000 | #Constraints: 56391
381.49/382.96 c #Conflicts: 1298000 | #Constraints: 57392
381.49/382.96 c #Conflicts: 1299000 | #Constraints: 58396
381.49/382.96 c #Conflicts: 1300000 | #Constraints: 59396
381.49/382.96 c #Conflicts: 1301000 | #Constraints: 60396
381.49/382.96 c #Conflicts: 1302000 | #Constraints: 61396
381.49/382.96 c INPROCESSING
381.49/382.96 c GARBAGE COLLECT
381.49/382.96 c rational objective 400.5
388.46/389.96 c #Conflicts: 1303000 | #Constraints: 32670
388.46/389.96 c #Conflicts: 1304000 | #Constraints: 34367
388.46/389.96 c #Conflicts: 1305000 | #Constraints: 35877
388.46/389.96 c #Conflicts: 1306000 | #Constraints: 37470
388.46/389.96 c #Conflicts: 1307000 | #Constraints: 39112
388.46/389.96 c #Conflicts: 1308000 | #Constraints: 40631
388.46/389.96 c #Conflicts: 1309000 | #Constraints: 42292
388.46/389.96 c #Conflicts: 1310000 | #Constraints: 43917
388.46/389.96 c #Conflicts: 1311000 | #Constraints: 45596
388.46/389.96 c #Conflicts: 1312000 | #Constraints: 47260
388.46/389.96 c #Conflicts: 1313000 | #Constraints: 48803
388.46/389.96 c #Conflicts: 1314000 | #Constraints: 50313
388.46/389.96 c #Conflicts: 1315000 | #Constraints: 51839
388.46/389.96 c #Conflicts: 1316000 | #Constraints: 53348
388.46/389.96 c #Conflicts: 1317000 | #Constraints: 54752
388.46/389.96 c #Conflicts: 1318000 | #Constraints: 56198
388.46/389.96 c #Conflicts: 1319000 | #Constraints: 57715
388.46/389.96 c #Conflicts: 1320000 | #Constraints: 59330
388.46/389.96 c #Conflicts: 1321000 | #Constraints: 61022
388.46/389.96 c #Conflicts: 1322000 | #Constraints: 62687
388.46/389.96 c #Conflicts: 1323000 | #Constraints: 64378
388.46/389.96 c #Conflicts: 1324000 | #Constraints: 66069
388.46/389.96 c #Conflicts: 1325000 | #Constraints: 67726
388.46/389.96 c INPROCESSING
388.46/389.96 c GARBAGE COLLECT
388.46/389.96 c rational objective 400.5
395.33/396.86 c #Conflicts: 1326000 | #Constraints: 36069
395.33/396.86 c #Conflicts: 1327000 | #Constraints: 37792
395.33/396.86 c #Conflicts: 1328000 | #Constraints: 39392
395.33/396.86 c #Conflicts: 1329000 | #Constraints: 40876
395.33/396.86 c #Conflicts: 1330000 | #Constraints: 42449
395.33/396.86 c #Conflicts: 1331000 | #Constraints: 44135
395.33/396.86 c #Conflicts: 1332000 | #Constraints: 45640
395.33/396.86 c #Conflicts: 1333000 | #Constraints: 47306
395.33/396.86 c #Conflicts: 1334000 | #Constraints: 48941
395.33/396.86 c #Conflicts: 1335000 | #Constraints: 50656
395.33/396.86 c #Conflicts: 1336000 | #Constraints: 52362
395.33/396.86 c #Conflicts: 1337000 | #Constraints: 53997
395.33/396.86 c #Conflicts: 1338000 | #Constraints: 55650
395.33/396.86 c #Conflicts: 1339000 | #Constraints: 57292
395.33/396.86 c #Conflicts: 1340000 | #Constraints: 58993
395.33/396.86 c #Conflicts: 1341000 | #Constraints: 60666
395.33/396.86 c #Conflicts: 1342000 | #Constraints: 62331
395.33/396.86 c #Conflicts: 1343000 | #Constraints: 63970
395.33/396.86 c #Conflicts: 1344000 | #Constraints: 65674
395.33/396.86 c #Conflicts: 1345000 | #Constraints: 67371
395.33/396.86 c #Conflicts: 1346000 | #Constraints: 69076
395.33/396.86 c #Conflicts: 1347000 | #Constraints: 70706
395.33/396.86 c #Conflicts: 1348000 | #Constraints: 72298
395.33/396.86 c INPROCESSING
395.33/396.86 c GARBAGE COLLECT
395.33/396.86 c rational objective 400.5
403.40/404.96 c #Conflicts: 1349000 | #Constraints: 38199
403.40/404.96 c #Conflicts: 1350000 | #Constraints: 39938
403.40/404.96 c #Conflicts: 1351000 | #Constraints: 41639
403.40/404.96 c #Conflicts: 1352000 | #Constraints: 43370
403.40/404.96 c #Conflicts: 1353000 | #Constraints: 45126
403.40/404.96 c #Conflicts: 1354000 | #Constraints: 46858
403.40/404.96 c #Conflicts: 1355000 | #Constraints: 48497
403.40/404.96 c #Conflicts: 1356000 | #Constraints: 50187
403.40/404.96 c #Conflicts: 1357000 | #Constraints: 51831
403.40/404.96 c #Conflicts: 1358000 | #Constraints: 53503
403.40/404.96 c #Conflicts: 1359000 | #Constraints: 55170
403.40/404.96 c #Conflicts: 1360000 | #Constraints: 56886
403.40/404.96 c #Conflicts: 1361000 | #Constraints: 58523
403.40/404.96 c #Conflicts: 1362000 | #Constraints: 60127
403.40/404.96 c #Conflicts: 1363000 | #Constraints: 61765
403.40/404.96 c #Conflicts: 1364000 | #Constraints: 63454
403.40/404.96 c #Conflicts: 1365000 | #Constraints: 65060
403.40/404.96 c #Conflicts: 1366000 | #Constraints: 66642
403.40/404.96 c #Conflicts: 1367000 | #Constraints: 68356
403.40/404.96 c #Conflicts: 1368000 | #Constraints: 69946
403.40/404.96 c #Conflicts: 1369000 | #Constraints: 71652
403.40/404.96 c #Conflicts: 1370000 | #Constraints: 73288
403.40/404.96 c #Conflicts: 1371000 | #Constraints: 74924
403.40/404.96 c INPROCESSING
403.40/404.96 c GARBAGE COLLECT
403.40/404.96 c rational objective 400.5
411.17/412.75 c #Conflicts: 1372000 | #Constraints: 39049
411.17/412.75 c #Conflicts: 1373000 | #Constraints: 40798
411.17/412.75 c #Conflicts: 1374000 | #Constraints: 42492
411.17/412.75 c #Conflicts: 1375000 | #Constraints: 44137
411.17/412.75 c #Conflicts: 1376000 | #Constraints: 45848
411.17/412.75 c #Conflicts: 1377000 | #Constraints: 47612
411.17/412.75 c #Conflicts: 1378000 | #Constraints: 49322
411.17/412.75 c #Conflicts: 1379000 | #Constraints: 51024
411.17/412.75 c #Conflicts: 1380000 | #Constraints: 52603
411.17/412.75 c #Conflicts: 1381000 | #Constraints: 54280
411.17/412.75 c #Conflicts: 1382000 | #Constraints: 55956
411.17/412.75 c #Conflicts: 1383000 | #Constraints: 57558
411.17/412.75 c #Conflicts: 1384000 | #Constraints: 59189
411.17/412.75 c #Conflicts: 1385000 | #Constraints: 60869
411.17/412.75 c #Conflicts: 1386000 | #Constraints: 62540
411.17/412.75 c #Conflicts: 1387000 | #Constraints: 64174
411.17/412.75 c #Conflicts: 1388000 | #Constraints: 65871
411.17/412.75 c #Conflicts: 1389000 | #Constraints: 67479
411.17/412.75 c #Conflicts: 1390000 | #Constraints: 69178
411.17/412.75 c #Conflicts: 1391000 | #Constraints: 70783
411.17/412.75 c #Conflicts: 1392000 | #Constraints: 72386
411.17/412.75 c #Conflicts: 1393000 | #Constraints: 73907
411.17/412.75 c #Conflicts: 1394000 | #Constraints: 75610
411.17/412.75 c #Conflicts: 1395000 | #Constraints: 77337
411.17/412.75 c INPROCESSING
411.17/412.75 c GARBAGE COLLECT
411.17/412.75 c rational objective 400.5
423.32/424.97 c #Conflicts: 1396000 | #Constraints: 40591
423.32/424.97 c #Conflicts: 1397000 | #Constraints: 42179
423.32/424.97 c #Conflicts: 1398000 | #Constraints: 43836
423.32/424.97 c #Conflicts: 1399000 | #Constraints: 45507
423.32/424.97 c #Conflicts: 1400000 | #Constraints: 47218
423.32/424.97 c #Conflicts: 1401000 | #Constraints: 48825
423.32/424.97 c #Conflicts: 1402000 | #Constraints: 50372
423.32/424.97 c #Conflicts: 1403000 | #Constraints: 51980
423.32/424.97 c #Conflicts: 1404000 | #Constraints: 53637
423.32/424.97 c #Conflicts: 1405000 | #Constraints: 55232
423.32/424.97 c #Conflicts: 1406000 | #Constraints: 56909
423.32/424.97 c #Conflicts: 1407000 | #Constraints: 58601
423.32/424.97 c #Conflicts: 1408000 | #Constraints: 60209
423.32/424.97 c #Conflicts: 1409000 | #Constraints: 61854
423.32/424.97 c #Conflicts: 1410000 | #Constraints: 63629
423.32/424.97 c #Conflicts: 1411000 | #Constraints: 65333
423.32/424.97 c #Conflicts: 1412000 | #Constraints: 67054
423.32/424.97 c #Conflicts: 1413000 | #Constraints: 68755
423.32/424.97 c #Conflicts: 1414000 | #Constraints: 70357
423.32/424.97 c #Conflicts: 1415000 | #Constraints: 72004
423.32/424.97 c #Conflicts: 1416000 | #Constraints: 73746
423.32/424.97 c #Conflicts: 1417000 | #Constraints: 75448
423.32/424.97 c #Conflicts: 1418000 | #Constraints: 77122
423.32/424.97 c #Conflicts: 1419000 | #Constraints: 78755
423.32/424.97 c INPROCESSING
423.32/424.97 c GARBAGE COLLECT
423.32/424.97 c rational objective 400.5
433.87/435.52 c #Conflicts: 1420000 | #Constraints: 41558
433.87/435.52 c #Conflicts: 1421000 | #Constraints: 43123
433.87/435.52 c #Conflicts: 1422000 | #Constraints: 44711
433.87/435.52 c #Conflicts: 1423000 | #Constraints: 46343
433.87/435.52 c #Conflicts: 1424000 | #Constraints: 48042
433.87/435.52 c #Conflicts: 1425000 | #Constraints: 49647
433.87/435.52 c #Conflicts: 1426000 | #Constraints: 51291
433.87/435.52 c #Conflicts: 1427000 | #Constraints: 52960
433.87/435.52 c #Conflicts: 1428000 | #Constraints: 54610
433.87/435.52 c #Conflicts: 1429000 | #Constraints: 56305
433.87/435.52 c #Conflicts: 1430000 | #Constraints: 58026
433.87/435.52 c #Conflicts: 1431000 | #Constraints: 59750
433.87/435.52 c #Conflicts: 1432000 | #Constraints: 61408
433.87/435.52 c #Conflicts: 1433000 | #Constraints: 63103
433.87/435.52 c #Conflicts: 1434000 | #Constraints: 64743
433.87/435.52 c #Conflicts: 1435000 | #Constraints: 66383
433.87/435.52 c #Conflicts: 1436000 | #Constraints: 67988
433.87/435.52 c #Conflicts: 1437000 | #Constraints: 69679
433.87/435.52 c #Conflicts: 1438000 | #Constraints: 71367
433.87/435.52 c #Conflicts: 1439000 | #Constraints: 72980
433.87/435.52 c #Conflicts: 1440000 | #Constraints: 74598
433.87/435.52 c #Conflicts: 1441000 | #Constraints: 76152
433.87/435.52 c #Conflicts: 1442000 | #Constraints: 77829
433.87/435.52 c #Conflicts: 1443000 | #Constraints: 78968
433.87/435.52 c INPROCESSING
433.87/435.52 c GARBAGE COLLECT
433.87/435.52 c rational objective 400.5
444.84/446.52 c #Conflicts: 1444000 | #Constraints: 41527
444.84/446.52 c #Conflicts: 1445000 | #Constraints: 43059
444.84/446.52 c #Conflicts: 1446000 | #Constraints: 44596
444.84/446.52 c #Conflicts: 1447000 | #Constraints: 46175
444.84/446.52 c #Conflicts: 1448000 | #Constraints: 47754
444.84/446.52 c #Conflicts: 1449000 | #Constraints: 49361
444.84/446.52 c #Conflicts: 1450000 | #Constraints: 50953
444.84/446.52 c #Conflicts: 1451000 | #Constraints: 51953
444.84/446.52 c #Conflicts: 1452000 | #Constraints: 52955
444.84/446.52 c #Conflicts: 1453000 | #Constraints: 53955
444.84/446.52 c #Conflicts: 1454000 | #Constraints: 55066
444.84/446.52 c #Conflicts: 1455000 | #Constraints: 56066
444.84/446.52 c #Conflicts: 1456000 | #Constraints: 57245
444.84/446.52 c #Conflicts: 1457000 | #Constraints: 58246
444.84/446.52 c #Conflicts: 1458000 | #Constraints: 59305
444.84/446.52 c #Conflicts: 1459000 | #Constraints: 60306
444.84/446.52 c #Conflicts: 1460000 | #Constraints: 61307
444.84/446.52 c #Conflicts: 1461000 | #Constraints: 62675
444.84/446.52 c #Conflicts: 1462000 | #Constraints: 64218
444.84/446.52 c #Conflicts: 1463000 | #Constraints: 65740
444.84/446.52 c #Conflicts: 1464000 | #Constraints: 67425
444.84/446.52 c #Conflicts: 1465000 | #Constraints: 69049
444.84/446.52 c #Conflicts: 1466000 | #Constraints: 70716
444.84/446.52 c #Conflicts: 1467000 | #Constraints: 72331
444.84/446.52 c INPROCESSING
444.84/446.52 c GARBAGE COLLECT
444.84/446.52 c rational objective 400.5
455.49/457.26 c #Conflicts: 1468000 | #Constraints: 37631
455.49/457.26 c #Conflicts: 1469000 | #Constraints: 38631
455.49/457.26 c #Conflicts: 1470000 | #Constraints: 39634
455.49/457.26 c #Conflicts: 1471000 | #Constraints: 40994
455.49/457.26 c #Conflicts: 1472000 | #Constraints: 42249
455.49/457.26 c #Conflicts: 1473000 | #Constraints: 43781
455.49/457.26 c #Conflicts: 1474000 | #Constraints: 45246
455.49/457.26 c #Conflicts: 1475000 | #Constraints: 46781
455.49/457.26 c #Conflicts: 1476000 | #Constraints: 48118
455.49/457.26 c #Conflicts: 1477000 | #Constraints: 49724
455.49/457.26 c #Conflicts: 1478000 | #Constraints: 51378
455.49/457.26 c #Conflicts: 1479000 | #Constraints: 53016
455.49/457.26 c #Conflicts: 1480000 | #Constraints: 54605
455.49/457.26 c #Conflicts: 1481000 | #Constraints: 56288
455.49/457.26 c #Conflicts: 1482000 | #Constraints: 57946
455.49/457.26 c #Conflicts: 1483000 | #Constraints: 59644
455.49/457.26 c #Conflicts: 1484000 | #Constraints: 61288
455.49/457.26 c #Conflicts: 1485000 | #Constraints: 62446
455.49/457.26 c #Conflicts: 1486000 | #Constraints: 64121
455.49/457.26 c #Conflicts: 1487000 | #Constraints: 65666
455.49/457.26 c #Conflicts: 1488000 | #Constraints: 67338
455.49/457.26 c #Conflicts: 1489000 | #Constraints: 69117
455.49/457.26 c #Conflicts: 1490000 | #Constraints: 70775
455.49/457.26 c #Conflicts: 1491000 | #Constraints: 72426
455.49/457.26 c INPROCESSING
455.49/457.26 c GARBAGE COLLECT
455.49/457.26 c rational objective 400.5
465.75/467.51 c #Conflicts: 1492000 | #Constraints: 37547
465.75/467.51 c #Conflicts: 1493000 | #Constraints: 38547
465.75/467.51 c #Conflicts: 1494000 | #Constraints: 39547
465.75/467.51 c #Conflicts: 1495000 | #Constraints: 40548
465.75/467.51 c #Conflicts: 1496000 | #Constraints: 41959
465.75/467.51 c #Conflicts: 1497000 | #Constraints: 43646
465.75/467.51 c #Conflicts: 1498000 | #Constraints: 45361
465.75/467.51 c #Conflicts: 1499000 | #Constraints: 47017
465.75/467.51 c #Conflicts: 1500000 | #Constraints: 48676
465.75/467.51 c #Conflicts: 1501000 | #Constraints: 50225
465.75/467.51 c #Conflicts: 1502000 | #Constraints: 51471
465.75/467.51 c #Conflicts: 1503000 | #Constraints: 52604
465.75/467.51 c #Conflicts: 1504000 | #Constraints: 53795
465.75/467.51 c #Conflicts: 1505000 | #Constraints: 54911
465.75/467.51 c #Conflicts: 1506000 | #Constraints: 55968
465.75/467.51 c #Conflicts: 1507000 | #Constraints: 57524
465.75/467.51 c #Conflicts: 1508000 | #Constraints: 59180
465.75/467.51 c #Conflicts: 1509000 | #Constraints: 60777
465.75/467.51 c #Conflicts: 1510000 | #Constraints: 62244
465.75/467.51 c #Conflicts: 1511000 | #Constraints: 63785
465.75/467.51 c #Conflicts: 1512000 | #Constraints: 65453
465.75/467.51 c #Conflicts: 1513000 | #Constraints: 67109
465.75/467.51 c #Conflicts: 1514000 | #Constraints: 68756
465.75/467.51 c #Conflicts: 1515000 | #Constraints: 70429
465.75/467.51 c #Conflicts: 1516000 | #Constraints: 72000
465.75/467.51 c INPROCESSING
465.75/467.51 c GARBAGE COLLECT
465.75/467.51 c rational objective 400.5
476.51/478.31 c #Conflicts: 1517000 | #Constraints: 37394
476.51/478.31 c #Conflicts: 1518000 | #Constraints: 38394
476.51/478.31 c #Conflicts: 1519000 | #Constraints: 39470
476.51/478.31 c #Conflicts: 1520000 | #Constraints: 40755
476.51/478.31 c #Conflicts: 1521000 | #Constraints: 42354
476.51/478.31 c #Conflicts: 1522000 | #Constraints: 44036
476.51/478.31 c #Conflicts: 1523000 | #Constraints: 45694
476.51/478.31 c #Conflicts: 1524000 | #Constraints: 47350
476.51/478.31 c #Conflicts: 1525000 | #Constraints: 49013
476.51/478.31 c #Conflicts: 1526000 | #Constraints: 50648
476.51/478.31 c #Conflicts: 1527000 | #Constraints: 52293
476.51/478.31 c #Conflicts: 1528000 | #Constraints: 54029
476.51/478.31 c #Conflicts: 1529000 | #Constraints: 55704
476.51/478.31 c #Conflicts: 1530000 | #Constraints: 57400
476.51/478.31 c #Conflicts: 1531000 | #Constraints: 59087
476.51/478.31 c #Conflicts: 1532000 | #Constraints: 60609
476.51/478.31 c #Conflicts: 1533000 | #Constraints: 62226
476.51/478.31 c #Conflicts: 1534000 | #Constraints: 63867
476.51/478.31 c #Conflicts: 1535000 | #Constraints: 65533
476.51/478.31 c #Conflicts: 1536000 | #Constraints: 67180
476.51/478.31 c #Conflicts: 1537000 | #Constraints: 68797
476.51/478.31 c #Conflicts: 1538000 | #Constraints: 70085
476.51/478.31 c #Conflicts: 1539000 | #Constraints: 71508
476.51/478.31 c #Conflicts: 1540000 | #Constraints: 73063
476.51/478.31 c #Conflicts: 1541000 | #Constraints: 74733
476.51/478.31 c INPROCESSING
476.51/478.31 c GARBAGE COLLECT
476.51/478.31 c rational objective 400.5
483.29/485.17 c #Conflicts: 1542000 | #Constraints: 38857
483.29/485.17 c #Conflicts: 1543000 | #Constraints: 39895
483.29/485.17 c #Conflicts: 1544000 | #Constraints: 41230
483.29/485.17 c #Conflicts: 1545000 | #Constraints: 42846
483.29/485.17 c #Conflicts: 1546000 | #Constraints: 44307
483.29/485.17 c #Conflicts: 1547000 | #Constraints: 45573
483.29/485.17 c #Conflicts: 1548000 | #Constraints: 47212
483.29/485.17 c #Conflicts: 1549000 | #Constraints: 48826
483.29/485.17 c #Conflicts: 1550000 | #Constraints: 50426
483.29/485.17 c #Conflicts: 1551000 | #Constraints: 51991
483.29/485.17 c #Conflicts: 1552000 | #Constraints: 53571
483.29/485.17 c #Conflicts: 1553000 | #Constraints: 55190
483.29/485.17 c #Conflicts: 1554000 | #Constraints: 56786
483.29/485.17 c #Conflicts: 1555000 | #Constraints: 58313
483.29/485.17 c #Conflicts: 1556000 | #Constraints: 59912
483.29/485.17 c #Conflicts: 1557000 | #Constraints: 61447
483.29/485.17 c #Conflicts: 1558000 | #Constraints: 63013
483.29/485.17 c #Conflicts: 1559000 | #Constraints: 64754
483.29/485.17 c #Conflicts: 1560000 | #Constraints: 66456
483.29/485.17 c #Conflicts: 1561000 | #Constraints: 68123
483.29/485.17 c #Conflicts: 1562000 | #Constraints: 69848
483.29/485.17 c #Conflicts: 1563000 | #Constraints: 71565
483.29/485.17 c #Conflicts: 1564000 | #Constraints: 73221
483.29/485.17 c #Conflicts: 1565000 | #Constraints: 74906
483.29/485.17 c #Conflicts: 1566000 | #Constraints: 76527
483.29/485.17 c INPROCESSING
483.29/485.17 c GARBAGE COLLECT
483.29/485.17 c rational objective 400.5
492.15/494.05 c #Conflicts: 1567000 | #Constraints: 40424
492.15/494.05 c #Conflicts: 1568000 | #Constraints: 41850
492.15/494.05 c #Conflicts: 1569000 | #Constraints: 43513
492.15/494.05 c #Conflicts: 1570000 | #Constraints: 45119
492.15/494.05 c #Conflicts: 1571000 | #Constraints: 46616
492.15/494.05 c #Conflicts: 1572000 | #Constraints: 48134
492.15/494.05 c #Conflicts: 1573000 | #Constraints: 49719
492.15/494.05 c #Conflicts: 1574000 | #Constraints: 51329
492.15/494.05 c #Conflicts: 1575000 | #Constraints: 52964
492.15/494.05 c #Conflicts: 1576000 | #Constraints: 54575
492.15/494.05 c #Conflicts: 1577000 | #Constraints: 56121
492.15/494.05 c #Conflicts: 1578000 | #Constraints: 57598
492.15/494.05 c #Conflicts: 1579000 | #Constraints: 59107
492.15/494.05 c #Conflicts: 1580000 | #Constraints: 60793
492.15/494.05 c #Conflicts: 1581000 | #Constraints: 62174
492.15/494.05 c #Conflicts: 1582000 | #Constraints: 63569
492.15/494.05 c #Conflicts: 1583000 | #Constraints: 65066
492.15/494.05 c #Conflicts: 1584000 | #Constraints: 66208
492.15/494.05 c #Conflicts: 1585000 | #Constraints: 67439
492.15/494.05 c #Conflicts: 1586000 | #Constraints: 68567
492.15/494.05 c #Conflicts: 1587000 | #Constraints: 69884
492.15/494.05 c #Conflicts: 1588000 | #Constraints: 71601
492.15/494.05 c #Conflicts: 1589000 | #Constraints: 73200
492.15/494.05 c #Conflicts: 1590000 | #Constraints: 74752
492.15/494.05 c #Conflicts: 1591000 | #Constraints: 76447
492.15/494.05 c INPROCESSING
492.15/494.05 c GARBAGE COLLECT
492.15/494.05 c rational objective 400.5
497.93/499.88 c #Conflicts: 1592000 | #Constraints: 40071
497.93/499.88 c #Conflicts: 1593000 | #Constraints: 41654
497.93/499.88 c #Conflicts: 1594000 | #Constraints: 43315
497.93/499.88 c #Conflicts: 1595000 | #Constraints: 44903
497.93/499.88 c #Conflicts: 1596000 | #Constraints: 45908
497.93/499.88 c #Conflicts: 1597000 | #Constraints: 46909
497.93/499.88 c #Conflicts: 1598000 | #Constraints: 48431
497.93/499.88 c #Conflicts: 1599000 | #Constraints: 49847
497.93/499.88 c #Conflicts: 1600000 | #Constraints: 51031
497.93/499.88 c #Conflicts: 1601000 | #Constraints: 52197
497.93/499.88 c #Conflicts: 1602000 | #Constraints: 53327
497.93/499.88 c #Conflicts: 1603000 | #Constraints: 54473
497.93/499.88 c #Conflicts: 1604000 | #Constraints: 55651
497.93/499.88 c #Conflicts: 1605000 | #Constraints: 56918
497.93/499.88 c #Conflicts: 1606000 | #Constraints: 58122
497.93/499.88 c #Conflicts: 1607000 | #Constraints: 59366
497.93/499.88 c #Conflicts: 1608000 | #Constraints: 60458
497.93/499.88 c #Conflicts: 1609000 | #Constraints: 61458
497.93/499.88 c #Conflicts: 1610000 | #Constraints: 62485
497.93/499.88 c #Conflicts: 1611000 | #Constraints: 63518
497.93/499.88 c #Conflicts: 1612000 | #Constraints: 64518
497.93/499.88 c #Conflicts: 1613000 | #Constraints: 65518
497.93/499.88 c #Conflicts: 1614000 | #Constraints: 66518
497.93/499.88 c #Conflicts: 1615000 | #Constraints: 67565
497.93/499.88 c #Conflicts: 1616000 | #Constraints: 68989
497.93/499.88 c INPROCESSING
497.93/499.88 c GARBAGE COLLECT
497.93/499.88 c rational objective 400.5
503.41/505.35 c #Conflicts: 1617000 | #Constraints: 35732
503.41/505.35 c #Conflicts: 1618000 | #Constraints: 36732
503.41/505.35 c #Conflicts: 1619000 | #Constraints: 38201
503.41/505.35 c #Conflicts: 1620000 | #Constraints: 39821
503.41/505.35 c #Conflicts: 1621000 | #Constraints: 41464
503.41/505.35 c #Conflicts: 1622000 | #Constraints: 43106
503.41/505.35 c #Conflicts: 1623000 | #Constraints: 44882
503.41/505.35 c #Conflicts: 1624000 | #Constraints: 46584
503.41/505.35 c #Conflicts: 1625000 | #Constraints: 48268
503.41/505.35 c #Conflicts: 1626000 | #Constraints: 49852
503.41/505.35 c #Conflicts: 1627000 | #Constraints: 51625
503.41/505.35 c #Conflicts: 1628000 | #Constraints: 53315
503.41/505.35 c #Conflicts: 1629000 | #Constraints: 55020
503.41/505.35 c #Conflicts: 1630000 | #Constraints: 56684
503.41/505.35 c #Conflicts: 1631000 | #Constraints: 58337
503.41/505.35 c #Conflicts: 1632000 | #Constraints: 59990
503.41/505.35 c #Conflicts: 1633000 | #Constraints: 61597
503.41/505.35 c #Conflicts: 1634000 | #Constraints: 63241
503.41/505.35 c #Conflicts: 1635000 | #Constraints: 64892
503.41/505.35 c #Conflicts: 1636000 | #Constraints: 66521
503.41/505.36 c #Conflicts: 1637000 | #Constraints: 68197
503.41/505.36 c #Conflicts: 1638000 | #Constraints: 69819
503.41/505.36 c #Conflicts: 1639000 | #Constraints: 71363
503.41/505.36 c #Conflicts: 1640000 | #Constraints: 72999
503.41/505.36 c #Conflicts: 1641000 | #Constraints: 74642
503.41/505.36 c #Conflicts: 1642000 | #Constraints: 76306
503.41/505.36 c INPROCESSING
503.41/505.36 c GARBAGE COLLECT
503.41/505.36 c rational objective 400.5
511.27/513.28 c #Conflicts: 1643000 | #Constraints: 40086
511.27/513.28 c #Conflicts: 1644000 | #Constraints: 41780
511.27/513.28 c #Conflicts: 1645000 | #Constraints: 43403
511.27/513.28 c #Conflicts: 1646000 | #Constraints: 44976
511.27/513.28 c #Conflicts: 1647000 | #Constraints: 46661
511.27/513.28 c #Conflicts: 1648000 | #Constraints: 48312
511.27/513.28 c #Conflicts: 1649000 | #Constraints: 49912
511.27/513.28 c #Conflicts: 1650000 | #Constraints: 51577
511.27/513.28 c #Conflicts: 1651000 | #Constraints: 53166
511.27/513.28 c #Conflicts: 1652000 | #Constraints: 54831
511.27/513.28 c #Conflicts: 1653000 | #Constraints: 56501
511.27/513.28 c #Conflicts: 1654000 | #Constraints: 58086
511.27/513.28 c #Conflicts: 1655000 | #Constraints: 59615
511.27/513.28 c #Conflicts: 1656000 | #Constraints: 61181
511.27/513.28 c #Conflicts: 1657000 | #Constraints: 62812
511.27/513.28 c #Conflicts: 1658000 | #Constraints: 64491
511.27/513.28 c #Conflicts: 1659000 | #Constraints: 66176
511.27/513.28 c #Conflicts: 1660000 | #Constraints: 67851
511.27/513.28 c #Conflicts: 1661000 | #Constraints: 69424
511.27/513.28 c #Conflicts: 1662000 | #Constraints: 71065
511.27/513.28 c #Conflicts: 1663000 | #Constraints: 72760
511.27/513.28 c #Conflicts: 1664000 | #Constraints: 74424
511.27/513.28 c #Conflicts: 1665000 | #Constraints: 76097
511.27/513.28 c #Conflicts: 1666000 | #Constraints: 77785
511.27/513.28 c #Conflicts: 1667000 | #Constraints: 79452
511.27/513.28 c #Conflicts: 1668000 | #Constraints: 81140
511.27/513.28 c INPROCESSING
511.27/513.28 c GARBAGE COLLECT
511.27/513.28 c rational objective 400.5
521.63/523.68 c #Conflicts: 1669000 | #Constraints: 42675
521.63/523.68 c #Conflicts: 1670000 | #Constraints: 44352
521.63/523.68 c #Conflicts: 1671000 | #Constraints: 45929
521.63/523.68 c #Conflicts: 1672000 | #Constraints: 47600
521.63/523.68 c #Conflicts: 1673000 | #Constraints: 49233
521.63/523.68 c #Conflicts: 1674000 | #Constraints: 50745
521.63/523.68 c #Conflicts: 1675000 | #Constraints: 52292
521.63/523.68 c #Conflicts: 1676000 | #Constraints: 53956
521.63/523.68 c #Conflicts: 1677000 | #Constraints: 55580
521.63/523.68 c #Conflicts: 1678000 | #Constraints: 57170
521.63/523.68 c #Conflicts: 1679000 | #Constraints: 58833
521.63/523.68 c #Conflicts: 1680000 | #Constraints: 60396
521.63/523.68 c #Conflicts: 1681000 | #Constraints: 62043
521.63/523.68 c #Conflicts: 1682000 | #Constraints: 63729
521.63/523.68 c #Conflicts: 1683000 | #Constraints: 65345
521.63/523.68 c #Conflicts: 1684000 | #Constraints: 66965
521.63/523.68 c #Conflicts: 1685000 | #Constraints: 68615
521.63/523.68 c #Conflicts: 1686000 | #Constraints: 70241
521.63/523.68 c #Conflicts: 1687000 | #Constraints: 71886
521.63/523.68 c #Conflicts: 1688000 | #Constraints: 73606
521.63/523.68 c #Conflicts: 1689000 | #Constraints: 75268
521.63/523.68 c #Conflicts: 1690000 | #Constraints: 76884
521.63/523.68 c #Conflicts: 1691000 | #Constraints: 78482
521.63/523.68 c #Conflicts: 1692000 | #Constraints: 80094
521.63/523.68 c #Conflicts: 1693000 | #Constraints: 81695
521.63/523.68 c #Conflicts: 1694000 | #Constraints: 83370
521.63/523.68 c INPROCESSING
521.63/523.68 c GARBAGE COLLECT
521.63/523.68 c rational objective 400.5
530.29/532.31 c #Conflicts: 1695000 | #Constraints: 43869
530.29/532.31 c #Conflicts: 1696000 | #Constraints: 45560
530.29/532.31 c #Conflicts: 1697000 | #Constraints: 47226
530.29/532.31 c #Conflicts: 1698000 | #Constraints: 48829
530.29/532.31 c #Conflicts: 1699000 | #Constraints: 50463
530.29/532.31 c #Conflicts: 1700000 | #Constraints: 51999
530.29/532.31 c #Conflicts: 1701000 | #Constraints: 53612
530.29/532.31 c #Conflicts: 1702000 | #Constraints: 55240
530.29/532.31 c #Conflicts: 1703000 | #Constraints: 56434
530.29/532.31 c #Conflicts: 1704000 | #Constraints: 57747
530.29/532.31 c #Conflicts: 1705000 | #Constraints: 59382
530.29/532.31 c #Conflicts: 1706000 | #Constraints: 61040
530.29/532.31 c #Conflicts: 1707000 | #Constraints: 62609
530.29/532.31 c #Conflicts: 1708000 | #Constraints: 64173
530.29/532.31 c #Conflicts: 1709000 | #Constraints: 65786
530.29/532.31 c #Conflicts: 1710000 | #Constraints: 67443
530.29/532.31 c #Conflicts: 1711000 | #Constraints: 69197
530.29/532.31 c #Conflicts: 1712000 | #Constraints: 70875
530.29/532.31 c #Conflicts: 1713000 | #Constraints: 72459
530.29/532.31 c #Conflicts: 1714000 | #Constraints: 74135
530.29/532.31 c #Conflicts: 1715000 | #Constraints: 75698
530.29/532.31 c #Conflicts: 1716000 | #Constraints: 77325
530.29/532.31 c #Conflicts: 1717000 | #Constraints: 78992
530.29/532.31 c #Conflicts: 1718000 | #Constraints: 80568
530.29/532.31 c #Conflicts: 1719000 | #Constraints: 82249
530.29/532.31 c #Conflicts: 1720000 | #Constraints: 83851
530.29/532.31 c INPROCESSING
530.29/532.31 c GARBAGE COLLECT
530.29/532.31 c rational objective 400.5
540.35/542.46 c #Conflicts: 1721000 | #Constraints: 43916
540.35/542.46 c #Conflicts: 1722000 | #Constraints: 45566
540.35/542.46 c #Conflicts: 1723000 | #Constraints: 47143
540.35/542.46 c #Conflicts: 1724000 | #Constraints: 48842
540.35/542.46 c #Conflicts: 1725000 | #Constraints: 50461
540.35/542.46 c #Conflicts: 1726000 | #Constraints: 52030
540.35/542.46 c #Conflicts: 1727000 | #Constraints: 53665
540.35/542.46 c #Conflicts: 1728000 | #Constraints: 55317
540.35/542.46 c #Conflicts: 1729000 | #Constraints: 56923
540.35/542.46 c #Conflicts: 1730000 | #Constraints: 58467
540.35/542.46 c #Conflicts: 1731000 | #Constraints: 60025
540.35/542.46 c #Conflicts: 1732000 | #Constraints: 61512
540.35/542.46 c #Conflicts: 1733000 | #Constraints: 63069
540.35/542.46 c #Conflicts: 1734000 | #Constraints: 64639
540.35/542.46 c #Conflicts: 1735000 | #Constraints: 66218
540.35/542.46 c #Conflicts: 1736000 | #Constraints: 67796
540.35/542.46 c #Conflicts: 1737000 | #Constraints: 69503
540.35/542.46 c #Conflicts: 1738000 | #Constraints: 71142
540.35/542.46 c #Conflicts: 1739000 | #Constraints: 72787
540.35/542.46 c #Conflicts: 1740000 | #Constraints: 74427
540.35/542.46 c #Conflicts: 1741000 | #Constraints: 75958
540.35/542.46 c #Conflicts: 1742000 | #Constraints: 77467
540.35/542.46 c #Conflicts: 1743000 | #Constraints: 79176
540.35/542.46 c #Conflicts: 1744000 | #Constraints: 80825
540.35/542.46 c #Conflicts: 1745000 | #Constraints: 82363
540.35/542.46 c #Conflicts: 1746000 | #Constraints: 83938
540.35/542.46 c INPROCESSING
540.35/542.46 c GARBAGE COLLECT
540.35/542.46 c rational objective 400.5
549.81/551.96 c #Conflicts: 1747000 | #Constraints: 43597
549.81/551.96 c #Conflicts: 1748000 | #Constraints: 45226
549.81/551.96 c #Conflicts: 1749000 | #Constraints: 46764
549.81/551.96 c #Conflicts: 1750000 | #Constraints: 48260
549.81/551.96 c #Conflicts: 1751000 | #Constraints: 49905
549.81/551.96 c #Conflicts: 1752000 | #Constraints: 51590
549.81/551.96 c #Conflicts: 1753000 | #Constraints: 53268
549.81/551.96 c #Conflicts: 1754000 | #Constraints: 54862
549.81/551.96 c #Conflicts: 1755000 | #Constraints: 56497
549.81/551.96 c #Conflicts: 1756000 | #Constraints: 58164
549.81/551.96 c #Conflicts: 1757000 | #Constraints: 59867
549.81/551.96 c #Conflicts: 1758000 | #Constraints: 61528
549.81/551.96 c #Conflicts: 1759000 | #Constraints: 63299
549.81/551.96 c #Conflicts: 1760000 | #Constraints: 65023
549.81/551.96 c #Conflicts: 1761000 | #Constraints: 66608
549.81/551.96 c #Conflicts: 1762000 | #Constraints: 68262
549.81/551.96 c #Conflicts: 1763000 | #Constraints: 69936
549.81/551.96 c #Conflicts: 1764000 | #Constraints: 71626
549.81/551.96 c #Conflicts: 1765000 | #Constraints: 73234
549.81/551.96 c #Conflicts: 1766000 | #Constraints: 74858
549.81/551.96 c #Conflicts: 1767000 | #Constraints: 76440
549.81/551.96 c #Conflicts: 1768000 | #Constraints: 78049
549.81/551.96 c #Conflicts: 1769000 | #Constraints: 79755
549.81/551.96 c #Conflicts: 1770000 | #Constraints: 81384
549.81/551.96 c #Conflicts: 1771000 | #Constraints: 83018
549.81/551.96 c #Conflicts: 1772000 | #Constraints: 84660
549.81/551.96 c #Conflicts: 1773000 | #Constraints: 86284
549.81/551.96 c INPROCESSING
549.81/551.96 c GARBAGE COLLECT
549.81/551.96 c rational objective 400.5
559.98/562.13 c #Conflicts: 1774000 | #Constraints: 45172
559.98/562.13 c #Conflicts: 1775000 | #Constraints: 46760
559.98/562.13 c #Conflicts: 1776000 | #Constraints: 48335
559.98/562.13 c #Conflicts: 1777000 | #Constraints: 49842
559.98/562.13 c #Conflicts: 1778000 | #Constraints: 51585
559.98/562.13 c #Conflicts: 1779000 | #Constraints: 53283
559.98/562.13 c #Conflicts: 1780000 | #Constraints: 54959
559.98/562.13 c #Conflicts: 1781000 | #Constraints: 56595
559.98/562.13 c #Conflicts: 1782000 | #Constraints: 58140
559.98/562.13 c #Conflicts: 1783000 | #Constraints: 59674
559.98/562.13 c #Conflicts: 1784000 | #Constraints: 61185
559.98/562.13 c #Conflicts: 1785000 | #Constraints: 62772
559.98/562.13 c #Conflicts: 1786000 | #Constraints: 64397
559.98/562.13 c #Conflicts: 1787000 | #Constraints: 66074
559.98/562.13 c #Conflicts: 1788000 | #Constraints: 67631
559.98/562.13 c #Conflicts: 1789000 | #Constraints: 69340
559.98/562.13 c #Conflicts: 1790000 | #Constraints: 70890
559.98/562.13 c #Conflicts: 1791000 | #Constraints: 72499
559.98/562.13 c #Conflicts: 1792000 | #Constraints: 74091
559.98/562.13 c #Conflicts: 1793000 | #Constraints: 75731
559.98/562.13 c #Conflicts: 1794000 | #Constraints: 77290
559.98/562.13 c #Conflicts: 1795000 | #Constraints: 78826
559.98/562.13 c #Conflicts: 1796000 | #Constraints: 80454
559.98/562.13 c #Conflicts: 1797000 | #Constraints: 82087
559.98/562.13 c #Conflicts: 1798000 | #Constraints: 83701
559.98/562.13 c #Conflicts: 1799000 | #Constraints: 85339
559.98/562.13 c #Conflicts: 1800000 | #Constraints: 86924
559.98/562.13 c INPROCESSING
559.98/562.13 c GARBAGE COLLECT
559.98/562.13 c rational objective 400.5
570.13/572.39 c #Conflicts: 1801000 | #Constraints: 45530
570.13/572.39 c #Conflicts: 1802000 | #Constraints: 47235
570.13/572.39 c #Conflicts: 1803000 | #Constraints: 48935
570.13/572.39 c #Conflicts: 1804000 | #Constraints: 50450
570.13/572.39 c #Conflicts: 1805000 | #Constraints: 51981
570.13/572.39 c #Conflicts: 1806000 | #Constraints: 53572
570.13/572.39 c #Conflicts: 1807000 | #Constraints: 55212
570.13/572.39 c #Conflicts: 1808000 | #Constraints: 56859
570.13/572.39 c #Conflicts: 1809000 | #Constraints: 58560
570.13/572.39 c #Conflicts: 1810000 | #Constraints: 60247
570.13/572.39 c #Conflicts: 1811000 | #Constraints: 61858
570.13/572.39 c #Conflicts: 1812000 | #Constraints: 63495
570.13/572.39 c #Conflicts: 1813000 | #Constraints: 65124
570.13/572.39 c #Conflicts: 1814000 | #Constraints: 66788
570.13/572.39 c #Conflicts: 1815000 | #Constraints: 68406
570.13/572.39 c #Conflicts: 1816000 | #Constraints: 70034
570.13/572.39 c #Conflicts: 1817000 | #Constraints: 71691
570.13/572.39 c #Conflicts: 1818000 | #Constraints: 73319
570.13/572.39 c #Conflicts: 1819000 | #Constraints: 74897
570.13/572.39 c #Conflicts: 1820000 | #Constraints: 76617
570.13/572.39 c #Conflicts: 1821000 | #Constraints: 78300
570.13/572.39 c #Conflicts: 1822000 | #Constraints: 79983
570.13/572.39 c #Conflicts: 1823000 | #Constraints: 81565
570.13/572.39 c #Conflicts: 1824000 | #Constraints: 83185
570.13/572.39 c #Conflicts: 1825000 | #Constraints: 84813
570.13/572.39 c #Conflicts: 1826000 | #Constraints: 86397
570.13/572.39 c #Conflicts: 1827000 | #Constraints: 87917
570.13/572.39 c INPROCESSING
570.13/572.39 c GARBAGE COLLECT
570.13/572.39 c rational objective 400.5
577.01/579.27 c #Conflicts: 1828000 | #Constraints: 46189
577.01/579.27 c #Conflicts: 1829000 | #Constraints: 47848
577.01/579.27 c #Conflicts: 1830000 | #Constraints: 49538
577.01/579.27 c #Conflicts: 1831000 | #Constraints: 51207
577.01/579.27 c #Conflicts: 1832000 | #Constraints: 52801
577.01/579.27 c #Conflicts: 1833000 | #Constraints: 54297
577.01/579.27 c #Conflicts: 1834000 | #Constraints: 55797
577.01/579.27 c #Conflicts: 1835000 | #Constraints: 57312
577.01/579.27 c #Conflicts: 1836000 | #Constraints: 58818
577.01/579.27 c #Conflicts: 1837000 | #Constraints: 60310
577.01/579.27 c #Conflicts: 1838000 | #Constraints: 61813
577.01/579.27 c #Conflicts: 1839000 | #Constraints: 63334
577.01/579.27 c #Conflicts: 1840000 | #Constraints: 64844
577.01/579.27 c #Conflicts: 1841000 | #Constraints: 66341
577.01/579.27 c #Conflicts: 1842000 | #Constraints: 67901
577.01/579.27 c #Conflicts: 1843000 | #Constraints: 69510
577.01/579.27 c #Conflicts: 1844000 | #Constraints: 71110
577.01/579.27 c #Conflicts: 1845000 | #Constraints: 72737
577.01/579.27 c #Conflicts: 1846000 | #Constraints: 74299
577.01/579.27 c #Conflicts: 1847000 | #Constraints: 75850
577.01/579.27 c #Conflicts: 1848000 | #Constraints: 77424
577.01/579.27 c #Conflicts: 1849000 | #Constraints: 79048
577.01/579.27 c #Conflicts: 1850000 | #Constraints: 80699
577.01/579.27 c #Conflicts: 1851000 | #Constraints: 82327
577.01/579.27 c #Conflicts: 1852000 | #Constraints: 84044
577.01/579.27 c #Conflicts: 1853000 | #Constraints: 85616
577.01/579.27 c #Conflicts: 1854000 | #Constraints: 87217
577.01/579.27 c INPROCESSING
577.01/579.27 c GARBAGE COLLECT
577.01/579.27 c rational objective 400.5
584.98/587.24 c #Conflicts: 1855000 | #Constraints: 45568
584.98/587.24 c #Conflicts: 1856000 | #Constraints: 47090
584.98/587.24 c #Conflicts: 1857000 | #Constraints: 48612
584.98/587.24 c #Conflicts: 1858000 | #Constraints: 50114
584.98/587.24 c #Conflicts: 1859000 | #Constraints: 51744
584.98/587.24 c #Conflicts: 1860000 | #Constraints: 53426
584.98/587.24 c #Conflicts: 1861000 | #Constraints: 55073
584.98/587.24 c #Conflicts: 1862000 | #Constraints: 56679
584.98/587.24 c #Conflicts: 1863000 | #Constraints: 58269
584.98/587.24 c #Conflicts: 1864000 | #Constraints: 59855
584.98/587.24 c #Conflicts: 1865000 | #Constraints: 61431
584.98/587.24 c #Conflicts: 1866000 | #Constraints: 62965
584.98/587.24 c #Conflicts: 1867000 | #Constraints: 64485
584.98/587.24 c #Conflicts: 1868000 | #Constraints: 66025
584.98/587.24 c #Conflicts: 1869000 | #Constraints: 67549
584.98/587.24 c #Conflicts: 1870000 | #Constraints: 69089
584.98/587.24 c #Conflicts: 1871000 | #Constraints: 70705
584.98/587.24 c #Conflicts: 1872000 | #Constraints: 72299
584.98/587.24 c #Conflicts: 1873000 | #Constraints: 73936
584.98/587.24 c #Conflicts: 1874000 | #Constraints: 75510
584.98/587.24 c #Conflicts: 1875000 | #Constraints: 77148
584.98/587.24 c #Conflicts: 1876000 | #Constraints: 78735
584.98/587.24 c #Conflicts: 1877000 | #Constraints: 80286
584.98/587.24 c #Conflicts: 1878000 | #Constraints: 81942
584.98/587.24 c #Conflicts: 1879000 | #Constraints: 83546
584.98/587.24 c #Conflicts: 1880000 | #Constraints: 85223
584.98/587.24 c #Conflicts: 1881000 | #Constraints: 86871
584.98/587.24 c INPROCESSING
584.98/587.24 c GARBAGE COLLECT
584.98/587.24 c rational objective 400.5
593.44/595.79 c #Conflicts: 1882000 | #Constraints: 45098
593.44/595.79 c #Conflicts: 1883000 | #Constraints: 46752
593.44/595.79 c #Conflicts: 1884000 | #Constraints: 48408
593.44/595.79 c #Conflicts: 1885000 | #Constraints: 50016
593.44/595.79 c #Conflicts: 1886000 | #Constraints: 51608
593.44/595.79 c #Conflicts: 1887000 | #Constraints: 53299
593.44/595.79 c #Conflicts: 1888000 | #Constraints: 54947
593.44/595.79 c #Conflicts: 1889000 | #Constraints: 56540
593.44/595.79 c #Conflicts: 1890000 | #Constraints: 58211
593.44/595.79 c #Conflicts: 1891000 | #Constraints: 59805
593.44/595.79 c #Conflicts: 1892000 | #Constraints: 61403
593.44/595.79 c #Conflicts: 1893000 | #Constraints: 62973
593.44/595.79 c #Conflicts: 1894000 | #Constraints: 64623
593.44/595.79 c #Conflicts: 1895000 | #Constraints: 66255
593.44/595.79 c #Conflicts: 1896000 | #Constraints: 67903
593.44/595.79 c #Conflicts: 1897000 | #Constraints: 69458
593.44/595.79 c #Conflicts: 1898000 | #Constraints: 71028
593.44/595.79 c #Conflicts: 1899000 | #Constraints: 72719
593.44/595.79 c #Conflicts: 1900000 | #Constraints: 74340
593.44/595.79 c #Conflicts: 1901000 | #Constraints: 76040
593.44/595.79 c #Conflicts: 1902000 | #Constraints: 77681
593.44/595.79 c #Conflicts: 1903000 | #Constraints: 79236
593.44/595.79 c #Conflicts: 1904000 | #Constraints: 80838
593.44/595.79 c #Conflicts: 1905000 | #Constraints: 82413
593.44/595.79 c #Conflicts: 1906000 | #Constraints: 83993
593.44/595.79 c #Conflicts: 1907000 | #Constraints: 85644
593.44/595.79 c #Conflicts: 1908000 | #Constraints: 87175
593.44/595.79 c #Conflicts: 1909000 | #Constraints: 88776
593.44/595.79 c INPROCESSING
593.44/595.79 c GARBAGE COLLECT
593.44/595.79 c rational objective 400.5
605.29/607.69 c #Conflicts: 1910000 | #Constraints: 46270
605.29/607.69 c #Conflicts: 1911000 | #Constraints: 47768
605.29/607.69 c #Conflicts: 1912000 | #Constraints: 49454
605.29/607.69 c #Conflicts: 1913000 | #Constraints: 51107
605.29/607.69 c #Conflicts: 1914000 | #Constraints: 52771
605.29/607.69 c #Conflicts: 1915000 | #Constraints: 54345
605.29/607.69 c #Conflicts: 1916000 | #Constraints: 55976
605.29/607.69 c #Conflicts: 1917000 | #Constraints: 57642
605.29/607.69 c #Conflicts: 1918000 | #Constraints: 59225
605.29/607.69 c #Conflicts: 1919000 | #Constraints: 60837
605.29/607.69 c #Conflicts: 1920000 | #Constraints: 62432
605.29/607.69 c #Conflicts: 1921000 | #Constraints: 64042
605.29/607.69 c #Conflicts: 1922000 | #Constraints: 65758
605.29/607.69 c #Conflicts: 1923000 | #Constraints: 67453
605.29/607.69 c #Conflicts: 1924000 | #Constraints: 69117
605.29/607.69 c #Conflicts: 1925000 | #Constraints: 70709
605.29/607.69 c #Conflicts: 1926000 | #Constraints: 72283
605.29/607.69 c #Conflicts: 1927000 | #Constraints: 73937
605.29/607.69 c #Conflicts: 1928000 | #Constraints: 75549
605.29/607.69 c #Conflicts: 1929000 | #Constraints: 77199
605.29/607.69 c #Conflicts: 1930000 | #Constraints: 78866
605.29/607.69 c #Conflicts: 1931000 | #Constraints: 80533
605.29/607.69 c #Conflicts: 1932000 | #Constraints: 82132
605.29/607.69 c #Conflicts: 1933000 | #Constraints: 83688
605.29/607.69 c #Conflicts: 1934000 | #Constraints: 85279
605.29/607.69 c #Conflicts: 1935000 | #Constraints: 86959
605.29/607.69 c #Conflicts: 1936000 | #Constraints: 88637
605.29/607.69 c #Conflicts: 1937000 | #Constraints: 90245
605.29/607.69 c INPROCESSING
605.29/607.69 c GARBAGE COLLECT
605.29/607.69 c rational objective 400.5
614.96/617.34 c #Conflicts: 1938000 | #Constraints: 47210
614.96/617.34 c #Conflicts: 1939000 | #Constraints: 48835
614.96/617.34 c #Conflicts: 1940000 | #Constraints: 50470
614.96/617.34 c #Conflicts: 1941000 | #Constraints: 52088
614.96/617.34 c #Conflicts: 1942000 | #Constraints: 53851
614.96/617.34 c #Conflicts: 1943000 | #Constraints: 55525
614.96/617.34 c #Conflicts: 1944000 | #Constraints: 57115
614.96/617.34 c #Conflicts: 1945000 | #Constraints: 58764
614.96/617.34 c #Conflicts: 1946000 | #Constraints: 60415
614.96/617.34 c #Conflicts: 1947000 | #Constraints: 62025
614.96/617.34 c #Conflicts: 1948000 | #Constraints: 63665
614.96/617.34 c #Conflicts: 1949000 | #Constraints: 65279
614.96/617.34 c #Conflicts: 1950000 | #Constraints: 66960
614.96/617.34 c #Conflicts: 1951000 | #Constraints: 68668
614.96/617.34 c #Conflicts: 1952000 | #Constraints: 70343
614.96/617.34 c #Conflicts: 1953000 | #Constraints: 72043
614.96/617.34 c #Conflicts: 1954000 | #Constraints: 73709
614.96/617.34 c #Conflicts: 1955000 | #Constraints: 75356
614.96/617.34 c #Conflicts: 1956000 | #Constraints: 76896
614.96/617.34 c #Conflicts: 1957000 | #Constraints: 78390
614.96/617.34 c #Conflicts: 1958000 | #Constraints: 79879
614.96/617.34 c #Conflicts: 1959000 | #Constraints: 81495
614.96/617.34 c #Conflicts: 1960000 | #Constraints: 83184
614.96/617.34 c #Conflicts: 1961000 | #Constraints: 84813
614.96/617.34 c #Conflicts: 1962000 | #Constraints: 86445
614.96/617.34 c #Conflicts: 1963000 | #Constraints: 88072
614.96/617.34 c #Conflicts: 1964000 | #Constraints: 89755
614.96/617.34 c #Conflicts: 1965000 | #Constraints: 91419
614.96/617.34 c INPROCESSING
614.96/617.34 c GARBAGE COLLECT
614.96/617.34 c rational objective 400.5
623.42/625.88 c #Conflicts: 1966000 | #Constraints: 47419
623.42/625.88 c #Conflicts: 1967000 | #Constraints: 48617
623.42/625.88 c #Conflicts: 1968000 | #Constraints: 49984
623.42/625.88 c #Conflicts: 1969000 | #Constraints: 51411
623.42/625.88 c #Conflicts: 1970000 | #Constraints: 52724
623.42/625.88 c #Conflicts: 1971000 | #Constraints: 54213
623.42/625.88 c #Conflicts: 1972000 | #Constraints: 55896
623.42/625.88 c #Conflicts: 1973000 | #Constraints: 57395
623.42/625.88 c #Conflicts: 1974000 | #Constraints: 58936
623.42/625.88 c #Conflicts: 1975000 | #Constraints: 60658
623.42/625.88 c #Conflicts: 1976000 | #Constraints: 62106
623.42/625.88 c #Conflicts: 1977000 | #Constraints: 63760
623.42/625.88 c #Conflicts: 1978000 | #Constraints: 65392
623.42/625.88 c #Conflicts: 1979000 | #Constraints: 67016
623.42/625.88 c #Conflicts: 1980000 | #Constraints: 68695
623.42/625.88 c #Conflicts: 1981000 | #Constraints: 70115
623.42/625.88 c #Conflicts: 1982000 | #Constraints: 71350
623.42/625.88 c #Conflicts: 1983000 | #Constraints: 72799
623.42/625.88 c #Conflicts: 1984000 | #Constraints: 74241
623.42/625.88 c #Conflicts: 1985000 | #Constraints: 75760
623.42/625.88 c #Conflicts: 1986000 | #Constraints: 76998
623.42/625.88 c #Conflicts: 1987000 | #Constraints: 78590
623.42/625.88 c #Conflicts: 1988000 | #Constraints: 79778
623.42/625.88 c #Conflicts: 1989000 | #Constraints: 81159
623.42/625.88 c #Conflicts: 1990000 | #Constraints: 82860
623.42/625.88 c #Conflicts: 1991000 | #Constraints: 84518
623.42/625.88 c #Conflicts: 1992000 | #Constraints: 86120
623.42/625.88 c #Conflicts: 1993000 | #Constraints: 87367
623.42/625.88 c INPROCESSING
623.42/625.88 c GARBAGE COLLECT
623.42/625.88 c rational objective 400.5
633.98/636.47 c #Conflicts: 1994000 | #Constraints: 45684
633.98/636.47 c #Conflicts: 1995000 | #Constraints: 47344
633.98/636.47 c #Conflicts: 1996000 | #Constraints: 49020
633.98/636.47 c #Conflicts: 1997000 | #Constraints: 50656
633.98/636.47 c #Conflicts: 1998000 | #Constraints: 52234
633.98/636.47 c #Conflicts: 1999000 | #Constraints: 53785
633.98/636.47 c #Conflicts: 2000000 | #Constraints: 55313
633.98/636.47 c #Conflicts: 2001000 | #Constraints: 57062
633.98/636.47 c #Conflicts: 2002000 | #Constraints: 58711
633.98/636.47 c #Conflicts: 2003000 | #Constraints: 60251
633.98/636.47 c #Conflicts: 2004000 | #Constraints: 61952
633.98/636.47 c #Conflicts: 2005000 | #Constraints: 63588
633.98/636.47 c #Conflicts: 2006000 | #Constraints: 65111
633.98/636.47 c #Conflicts: 2007000 | #Constraints: 66656
633.98/636.47 c #Conflicts: 2008000 | #Constraints: 68290
633.98/636.47 c #Conflicts: 2009000 | #Constraints: 69793
633.98/636.47 c #Conflicts: 2010000 | #Constraints: 71288
633.98/636.47 c #Conflicts: 2011000 | #Constraints: 72786
633.98/636.47 c #Conflicts: 2012000 | #Constraints: 74468
633.98/636.47 c #Conflicts: 2013000 | #Constraints: 76184
633.98/636.47 c #Conflicts: 2014000 | #Constraints: 77860
633.98/636.47 c #Conflicts: 2015000 | #Constraints: 79494
633.98/636.47 c #Conflicts: 2016000 | #Constraints: 81158
633.98/636.47 c #Conflicts: 2017000 | #Constraints: 82793
633.98/636.47 c #Conflicts: 2018000 | #Constraints: 84436
633.98/636.47 c #Conflicts: 2019000 | #Constraints: 86105
633.98/636.47 c #Conflicts: 2020000 | #Constraints: 87765
633.98/636.47 c #Conflicts: 2021000 | #Constraints: 89415
633.98/636.47 c INPROCESSING
633.98/636.47 c GARBAGE COLLECT
633.98/636.47 c rational objective 400.5
664.06/666.62 c #Conflicts: 2022000 | #Constraints: 46360
664.06/666.62 c #Conflicts: 2023000 | #Constraints: 48012
664.06/666.62 c #Conflicts: 2024000 | #Constraints: 49619
664.06/666.62 c #Conflicts: 2025000 | #Constraints: 51119
664.06/666.62 c #Conflicts: 2026000 | #Constraints: 52753
664.06/666.62 c #Conflicts: 2027000 | #Constraints: 54402
664.06/666.62 c #Conflicts: 2028000 | #Constraints: 55983
664.06/666.62 c #Conflicts: 2029000 | #Constraints: 57674
664.06/666.62 c #Conflicts: 2030000 | #Constraints: 59256
664.06/666.62 c #Conflicts: 2031000 | #Constraints: 60941
664.06/666.62 c #Conflicts: 2032000 | #Constraints: 62505
664.06/666.62 c #Conflicts: 2033000 | #Constraints: 64166
664.06/666.62 c #Conflicts: 2034000 | #Constraints: 65781
664.06/666.62 c #Conflicts: 2035000 | #Constraints: 67474
664.06/666.62 c #Conflicts: 2036000 | #Constraints: 69235
664.06/666.62 c #Conflicts: 2037000 | #Constraints: 70903
664.06/666.62 c #Conflicts: 2038000 | #Constraints: 72557
664.06/666.62 c #Conflicts: 2039000 | #Constraints: 74199
664.06/666.62 c #Conflicts: 2040000 | #Constraints: 75734
664.06/666.62 c #Conflicts: 2041000 | #Constraints: 77410
664.06/666.62 c #Conflicts: 2042000 | #Constraints: 79033
664.06/666.62 c #Conflicts: 2043000 | #Constraints: 80591
664.06/666.62 c #Conflicts: 2044000 | #Constraints: 82151
664.06/666.62 c #Conflicts: 2045000 | #Constraints: 83805
664.06/666.62 c #Conflicts: 2046000 | #Constraints: 85026
664.06/666.62 c #Conflicts: 2047000 | #Constraints: 86046
664.06/666.62 c #Conflicts: 2048000 | #Constraints: 87077
664.06/666.62 c #Conflicts: 2049000 | #Constraints: 88288
664.06/666.62 c #Conflicts: 2050000 | #Constraints: 89436
664.06/666.62 c INPROCESSING
664.06/666.62 c GARBAGE COLLECT
664.06/666.62 c #Conflicts: 2051000 | #Constraints: 46478
664.06/666.62 c #Conflicts: 2052000 | #Constraints: 47769
664.06/666.62 c #Conflicts: 2053000 | #Constraints: 48878
664.06/666.62 c #Conflicts: 2054000 | #Constraints: 50160
664.06/666.62 c #Conflicts: 2055000 | #Constraints: 51821
664.06/666.62 c #Conflicts: 2056000 | #Constraints: 52970
664.06/666.62 c #Conflicts: 2057000 | #Constraints: 54451
664.06/666.62 c #Conflicts: 2058000 | #Constraints: 55755
664.06/666.62 c #Conflicts: 2059000 | #Constraints: 56986
664.06/666.62 c #Conflicts: 2060000 | #Constraints: 58042
664.06/666.62 c #Conflicts: 2061000 | #Constraints: 59220
664.06/666.62 c #Conflicts: 2062000 | #Constraints: 60661
664.06/666.62 c #Conflicts: 2063000 | #Constraints: 61672
664.06/666.62 c #Conflicts: 2064000 | #Constraints: 63171
664.06/666.62 c #Conflicts: 2065000 | #Constraints: 64714
664.06/666.62 c #Conflicts: 2066000 | #Constraints: 66340
664.06/666.62 c #Conflicts: 2067000 | #Constraints: 67949
664.06/666.62 c #Conflicts: 2068000 | #Constraints: 69569
664.06/666.62 c #Conflicts: 2069000 | #Constraints: 71298
664.06/666.62 c #Conflicts: 2070000 | #Constraints: 72937
664.06/666.62 c #Conflicts: 2071000 | #Constraints: 74483
664.06/666.62 c #Conflicts: 2072000 | #Constraints: 75519
664.06/666.62 c #Conflicts: 2073000 | #Constraints: 76859
664.06/666.62 c #Conflicts: 2074000 | #Constraints: 77935
664.06/666.62 c #Conflicts: 2075000 | #Constraints: 79055
664.06/666.62 c #Conflicts: 2076000 | #Constraints: 80153
664.06/666.62 c #Conflicts: 2077000 | #Constraints: 81193
664.06/666.62 c #Conflicts: 2078000 | #Constraints: 82193
664.06/666.62 c #Conflicts: 2079000 | #Constraints: 83193
664.06/666.62 c INPROCESSING
664.06/666.62 c GARBAGE COLLECT
664.06/666.62 c #Conflicts: 2080000 | #Constraints: 43560
664.06/666.62 c #Conflicts: 2081000 | #Constraints: 45037
664.06/666.62 c #Conflicts: 2082000 | #Constraints: 46250
664.06/666.62 c #Conflicts: 2083000 | #Constraints: 47300
664.06/666.62 c #Conflicts: 2084000 | #Constraints: 48958
664.06/666.62 c #Conflicts: 2085000 | #Constraints: 50366
664.06/666.62 c #Conflicts: 2086000 | #Constraints: 51534
664.06/666.62 c #Conflicts: 2087000 | #Constraints: 52637
664.06/666.62 c #Conflicts: 2088000 | #Constraints: 53791
664.06/666.62 c #Conflicts: 2089000 | #Constraints: 54822
664.06/666.62 c #Conflicts: 2090000 | #Constraints: 55960
664.06/666.62 c #Conflicts: 2091000 | #Constraints: 56991
664.06/666.62 c #Conflicts: 2092000 | #Constraints: 58048
664.06/666.62 c #Conflicts: 2093000 | #Constraints: 59092
664.06/666.62 c #Conflicts: 2094000 | #Constraints: 60155
664.06/666.62 c #Conflicts: 2095000 | #Constraints: 61302
664.06/666.62 c #Conflicts: 2096000 | #Constraints: 62350
664.06/666.62 c #Conflicts: 2097000 | #Constraints: 63406
664.06/666.62 c #Conflicts: 2098000 | #Constraints: 64439
664.06/666.62 c #Conflicts: 2099000 | #Constraints: 65440
681.00/683.67 c #Conflicts: 2100000 | #Constraints: 66441
681.00/683.67 c #Conflicts: 2101000 | #Constraints: 67472
681.00/683.67 c #Conflicts: 2102000 | #Constraints: 68909
681.00/683.67 c #Conflicts: 2103000 | #Constraints: 70410
681.00/683.67 c #Conflicts: 2104000 | #Constraints: 71907
681.00/683.67 c #Conflicts: 2105000 | #Constraints: 73409
681.00/683.67 c #Conflicts: 2106000 | #Constraints: 74911
681.00/683.67 c #Conflicts: 2107000 | #Constraints: 76413
681.00/683.67 c #Conflicts: 2108000 | #Constraints: 77911
681.00/683.67 c INPROCESSING
681.00/683.67 c GARBAGE COLLECT
681.00/683.67 c #Conflicts: 2109000 | #Constraints: 40488
681.00/683.67 c #Conflicts: 2110000 | #Constraints: 41521
681.00/683.67 c #Conflicts: 2111000 | #Constraints: 42618
681.00/683.67 c #Conflicts: 2112000 | #Constraints: 43726
681.00/683.67 c #Conflicts: 2113000 | #Constraints: 44883
681.00/683.67 c #Conflicts: 2114000 | #Constraints: 45945
681.00/683.67 c #Conflicts: 2115000 | #Constraints: 47079
681.00/683.67 c #Conflicts: 2116000 | #Constraints: 48147
681.00/683.67 c #Conflicts: 2117000 | #Constraints: 49276
681.00/683.67 c #Conflicts: 2118000 | #Constraints: 50340
681.00/683.67 c #Conflicts: 2119000 | #Constraints: 51416
681.00/683.67 c #Conflicts: 2120000 | #Constraints: 52502
681.00/683.67 c #Conflicts: 2121000 | #Constraints: 53562
681.00/683.67 c #Conflicts: 2122000 | #Constraints: 54577
681.00/683.67 c #Conflicts: 2123000 | #Constraints: 55637
681.00/683.67 c #Conflicts: 2124000 | #Constraints: 56816
681.00/683.67 c #Conflicts: 2125000 | #Constraints: 57939
681.00/683.67 c #Conflicts: 2126000 | #Constraints: 58985
681.00/683.67 c #Conflicts: 2127000 | #Constraints: 60133
681.00/683.67 c #Conflicts: 2128000 | #Constraints: 61201
681.00/683.67 c #Conflicts: 2129000 | #Constraints: 62354
681.00/683.67 c #Conflicts: 2130000 | #Constraints: 63456
681.00/683.67 c #Conflicts: 2131000 | #Constraints: 64680
681.00/683.67 c #Conflicts: 2132000 | #Constraints: 65745
681.00/683.67 c #Conflicts: 2133000 | #Constraints: 66895
681.00/683.67 c #Conflicts: 2134000 | #Constraints: 67964
681.00/683.67 c #Conflicts: 2135000 | #Constraints: 69182
681.00/683.67 c #Conflicts: 2136000 | #Constraints: 70272
681.00/683.67 c #Conflicts: 2137000 | #Constraints: 71295
681.00/683.67 c INPROCESSING
681.00/683.67 c GARBAGE COLLECT
681.00/683.67 c #Conflicts: 2138000 | #Constraints: 37310
681.00/683.67 c #Conflicts: 2139000 | #Constraints: 38421
681.00/683.67 c #Conflicts: 2140000 | #Constraints: 39649
681.00/683.67 c #Conflicts: 2141000 | #Constraints: 40818
681.00/683.67 c #Conflicts: 2142000 | #Constraints: 42068
681.00/683.67 c #Conflicts: 2143000 | #Constraints: 43525
681.00/683.67 c #Conflicts: 2144000 | #Constraints: 44983
681.00/683.67 c #Conflicts: 2145000 | #Constraints: 46507
681.00/683.67 c #Conflicts: 2146000 | #Constraints: 48005
681.00/683.67 c #Conflicts: 2147000 | #Constraints: 49515
681.00/683.67 c #Conflicts: 2148000 | #Constraints: 51005
681.00/683.67 c #Conflicts: 2149000 | #Constraints: 52516
681.00/683.67 c #Conflicts: 2150000 | #Constraints: 53824
681.00/683.67 c #Conflicts: 2151000 | #Constraints: 54869
681.00/683.67 c #Conflicts: 2152000 | #Constraints: 55957
681.00/683.67 c #Conflicts: 2153000 | #Constraints: 57067
681.00/683.67 c #Conflicts: 2154000 | #Constraints: 58106
681.00/683.67 c #Conflicts: 2155000 | #Constraints: 59203
681.00/683.67 c #Conflicts: 2156000 | #Constraints: 60208
681.00/683.67 c #Conflicts: 2157000 | #Constraints: 61249
681.00/683.67 c #Conflicts: 2158000 | #Constraints: 62336
681.00/683.67 c #Conflicts: 2159000 | #Constraints: 63430
681.00/683.67 c #Conflicts: 2160000 | #Constraints: 64510
681.00/683.67 c #Conflicts: 2161000 | #Constraints: 65611
681.00/683.67 c #Conflicts: 2162000 | #Constraints: 66700
681.00/683.67 c #Conflicts: 2163000 | #Constraints: 67815
681.00/683.67 c #Conflicts: 2164000 | #Constraints: 68858
681.00/683.67 c #Conflicts: 2165000 | #Constraints: 70014
681.00/683.67 c #Conflicts: 2166000 | #Constraints: 71163
681.00/683.67 c INPROCESSING
681.00/683.67 c GARBAGE COLLECT
681.00/683.67 c #Conflicts: 2167000 | #Constraints: 36946
681.00/683.67 c #Conflicts: 2168000 | #Constraints: 37950
681.00/683.67 c #Conflicts: 2169000 | #Constraints: 38950
681.00/683.67 c #Conflicts: 2170000 | #Constraints: 39962
681.00/683.67 c #Conflicts: 2171000 | #Constraints: 41015
681.00/683.67 c #Conflicts: 2172000 | #Constraints: 42087
681.00/683.67 c #Conflicts: 2173000 | #Constraints: 43168
681.00/683.67 c #Conflicts: 2174000 | #Constraints: 44360
681.00/683.67 c #Conflicts: 2175000 | #Constraints: 45367
681.00/683.67 c #Conflicts: 2176000 | #Constraints: 46403
694.06/696.78 c #Conflicts: 2177000 | #Constraints: 47469
694.06/696.78 c #Conflicts: 2178000 | #Constraints: 48634
694.06/696.78 c #Conflicts: 2179000 | #Constraints: 49663
694.06/696.78 c #Conflicts: 2180000 | #Constraints: 50702
694.06/696.78 c #Conflicts: 2181000 | #Constraints: 51763
694.06/696.78 c #Conflicts: 2182000 | #Constraints: 52949
694.06/696.78 c #Conflicts: 2183000 | #Constraints: 53960
694.06/696.78 c #Conflicts: 2184000 | #Constraints: 54973
694.06/696.78 c #Conflicts: 2185000 | #Constraints: 56225
694.06/696.78 c #Conflicts: 2186000 | #Constraints: 57268
694.06/696.78 c #Conflicts: 2187000 | #Constraints: 58323
694.06/696.78 c #Conflicts: 2188000 | #Constraints: 59406
694.06/696.78 c #Conflicts: 2189000 | #Constraints: 60415
694.06/696.78 c #Conflicts: 2190000 | #Constraints: 61534
694.06/696.78 c #Conflicts: 2191000 | #Constraints: 62564
694.06/696.78 c #Conflicts: 2192000 | #Constraints: 63669
694.06/696.78 c #Conflicts: 2193000 | #Constraints: 64775
694.06/696.78 c #Conflicts: 2194000 | #Constraints: 65787
694.06/696.78 c #Conflicts: 2195000 | #Constraints: 66873
694.06/696.78 c #Conflicts: 2196000 | #Constraints: 67954
694.06/696.78 c INPROCESSING
694.06/696.78 c GARBAGE COLLECT
694.06/696.78 c #Conflicts: 2197000 | #Constraints: 35490
694.06/696.78 c #Conflicts: 2198000 | #Constraints: 37070
694.06/696.78 c #Conflicts: 2199000 | #Constraints: 38634
694.06/696.78 c #Conflicts: 2200000 | #Constraints: 40169
694.06/696.78 c #Conflicts: 2201000 | #Constraints: 41621
694.06/696.78 c #Conflicts: 2202000 | #Constraints: 42897
694.06/696.78 c #Conflicts: 2203000 | #Constraints: 44411
694.06/696.78 c #Conflicts: 2204000 | #Constraints: 45625
694.06/696.78 c #Conflicts: 2205000 | #Constraints: 46671
694.06/696.78 c #Conflicts: 2206000 | #Constraints: 47748
694.06/696.78 c #Conflicts: 2207000 | #Constraints: 48760
694.06/696.78 c #Conflicts: 2208000 | #Constraints: 50063
694.06/696.78 c #Conflicts: 2209000 | #Constraints: 51063
694.06/696.78 c #Conflicts: 2210000 | #Constraints: 52063
694.06/696.78 c #Conflicts: 2211000 | #Constraints: 53075
694.06/696.78 c #Conflicts: 2212000 | #Constraints: 54255
694.06/696.78 c #Conflicts: 2213000 | #Constraints: 55446
694.06/696.78 c #Conflicts: 2214000 | #Constraints: 56447
694.06/696.78 c #Conflicts: 2215000 | #Constraints: 57447
694.06/696.78 c #Conflicts: 2216000 | #Constraints: 58447
694.06/696.78 c #Conflicts: 2217000 | #Constraints: 59494
694.06/696.78 c #Conflicts: 2218000 | #Constraints: 60534
694.06/696.78 c #Conflicts: 2219000 | #Constraints: 61587
694.06/696.78 c #Conflicts: 2220000 | #Constraints: 62764
694.06/696.78 c #Conflicts: 2221000 | #Constraints: 63836
694.06/696.78 c #Conflicts: 2222000 | #Constraints: 64925
694.06/696.78 c #Conflicts: 2223000 | #Constraints: 66015
694.06/696.78 c #Conflicts: 2224000 | #Constraints: 67084
694.06/696.78 c #Conflicts: 2225000 | #Constraints: 68110
694.06/696.78 c #Conflicts: 2226000 | #Constraints: 69193
694.06/696.78 c INPROCESSING
694.06/696.78 c GARBAGE COLLECT
694.06/696.78 c #Conflicts: 2227000 | #Constraints: 36490
694.06/696.78 c #Conflicts: 2228000 | #Constraints: 37658
694.06/696.78 c #Conflicts: 2229000 | #Constraints: 38658
694.06/696.78 c #Conflicts: 2230000 | #Constraints: 39658
694.06/696.78 c #Conflicts: 2231000 | #Constraints: 40708
694.06/696.78 c #Conflicts: 2232000 | #Constraints: 42039
694.06/696.78 c #Conflicts: 2233000 | #Constraints: 43328
694.06/696.78 c #Conflicts: 2234000 | #Constraints: 44577
694.06/696.78 c #Conflicts: 2235000 | #Constraints: 45620
694.06/696.78 c #Conflicts: 2236000 | #Constraints: 46697
694.06/696.78 c #Conflicts: 2237000 | #Constraints: 47783
694.06/696.78 c #Conflicts: 2238000 | #Constraints: 49192
694.06/696.78 c #Conflicts: 2239000 | #Constraints: 50304
694.06/696.78 c #Conflicts: 2240000 | #Constraints: 51451
694.06/696.78 c #Conflicts: 2241000 | #Constraints: 52513
694.06/696.78 c #Conflicts: 2242000 | #Constraints: 53571
694.06/696.78 c #Conflicts: 2243000 | #Constraints: 54571
694.06/696.78 c #Conflicts: 2244000 | #Constraints: 55571
694.06/696.78 c #Conflicts: 2245000 | #Constraints: 56584
694.06/696.78 c #Conflicts: 2246000 | #Constraints: 57607
694.06/696.78 c #Conflicts: 2247000 | #Constraints: 58658
694.06/696.78 c #Conflicts: 2248000 | #Constraints: 59769
694.06/696.78 c #Conflicts: 2249000 | #Constraints: 60779
694.06/696.78 c #Conflicts: 2250000 | #Constraints: 61877
694.06/696.78 c #Conflicts: 2251000 | #Constraints: 62954
694.06/696.78 c #Conflicts: 2252000 | #Constraints: 63987
694.06/696.78 c #Conflicts: 2253000 | #Constraints: 65004
708.61/711.33 c #Conflicts: 2254000 | #Constraints: 66067
708.61/711.33 c #Conflicts: 2255000 | #Constraints: 67209
708.61/711.33 c #Conflicts: 2256000 | #Constraints: 68265
708.61/711.33 c INPROCESSING
708.61/711.33 c GARBAGE COLLECT
708.61/711.33 c #Conflicts: 2257000 | #Constraints: 35784
708.61/711.33 c #Conflicts: 2258000 | #Constraints: 37002
708.61/711.33 c #Conflicts: 2259000 | #Constraints: 38113
708.61/711.33 c #Conflicts: 2260000 | #Constraints: 39133
708.61/711.33 c #Conflicts: 2261000 | #Constraints: 40178
708.61/711.33 c #Conflicts: 2262000 | #Constraints: 41183
708.61/711.33 c #Conflicts: 2263000 | #Constraints: 42404
708.61/711.33 c #Conflicts: 2264000 | #Constraints: 43591
708.61/711.33 c #Conflicts: 2265000 | #Constraints: 44621
708.61/711.33 c #Conflicts: 2266000 | #Constraints: 45621
708.61/711.33 c #Conflicts: 2267000 | #Constraints: 46621
708.61/711.33 c #Conflicts: 2268000 | #Constraints: 47904
708.61/711.33 c #Conflicts: 2269000 | #Constraints: 49259
708.61/711.33 c #Conflicts: 2270000 | #Constraints: 50305
708.61/711.33 c #Conflicts: 2271000 | #Constraints: 51404
708.61/711.33 c #Conflicts: 2272000 | #Constraints: 52508
708.61/711.33 c #Conflicts: 2273000 | #Constraints: 53603
708.61/711.33 c #Conflicts: 2274000 | #Constraints: 54672
708.61/711.33 c #Conflicts: 2275000 | #Constraints: 55749
708.61/711.33 c #Conflicts: 2276000 | #Constraints: 56773
708.61/711.33 c #Conflicts: 2277000 | #Constraints: 57776
708.61/711.33 c #Conflicts: 2278000 | #Constraints: 58829
708.61/711.33 c #Conflicts: 2279000 | #Constraints: 59835
708.61/711.33 c #Conflicts: 2280000 | #Constraints: 60864
708.61/711.33 c #Conflicts: 2281000 | #Constraints: 61911
708.61/711.33 c #Conflicts: 2282000 | #Constraints: 62950
708.61/711.33 c #Conflicts: 2283000 | #Constraints: 64058
708.61/711.33 c #Conflicts: 2284000 | #Constraints: 65157
708.61/711.33 c #Conflicts: 2285000 | #Constraints: 66405
708.61/711.33 c #Conflicts: 2286000 | #Constraints: 67423
708.61/711.33 c INPROCESSING
708.61/711.33 c GARBAGE COLLECT
708.61/711.33 c #Conflicts: 2287000 | #Constraints: 35123
708.61/711.33 c #Conflicts: 2288000 | #Constraints: 36123
708.61/711.33 c #Conflicts: 2289000 | #Constraints: 37160
708.61/711.33 c #Conflicts: 2290000 | #Constraints: 38653
708.61/711.33 c #Conflicts: 2291000 | #Constraints: 39970
708.61/711.33 c #Conflicts: 2292000 | #Constraints: 41343
708.61/711.33 c #Conflicts: 2293000 | #Constraints: 42646
708.61/711.33 c #Conflicts: 2294000 | #Constraints: 44038
708.61/711.33 c #Conflicts: 2295000 | #Constraints: 45520
708.61/711.33 c #Conflicts: 2296000 | #Constraints: 47007
708.61/711.33 c #Conflicts: 2297000 | #Constraints: 48150
708.61/711.33 c #Conflicts: 2298000 | #Constraints: 49234
708.61/711.33 c #Conflicts: 2299000 | #Constraints: 50323
708.61/711.33 c #Conflicts: 2300000 | #Constraints: 51393
708.61/711.33 c #Conflicts: 2301000 | #Constraints: 52407
708.61/711.33 c #Conflicts: 2302000 | #Constraints: 53489
708.61/711.33 c #Conflicts: 2303000 | #Constraints: 54512
708.61/711.33 c #Conflicts: 2304000 | #Constraints: 55593
708.61/711.33 c #Conflicts: 2305000 | #Constraints: 56606
708.61/711.33 c #Conflicts: 2306000 | #Constraints: 57606
708.61/711.33 c #Conflicts: 2307000 | #Constraints: 58607
708.61/711.33 c #Conflicts: 2308000 | #Constraints: 59668
708.61/711.33 c #Conflicts: 2309000 | #Constraints: 60693
708.61/711.33 c #Conflicts: 2310000 | #Constraints: 61693
708.61/711.33 c #Conflicts: 2311000 | #Constraints: 62693
708.61/711.33 c #Conflicts: 2312000 | #Constraints: 63711
708.61/711.33 c #Conflicts: 2313000 | #Constraints: 64768
708.61/711.33 c #Conflicts: 2314000 | #Constraints: 65802
708.61/711.33 c #Conflicts: 2315000 | #Constraints: 66863
708.61/711.33 c #Conflicts: 2316000 | #Constraints: 67863
708.61/711.33 c INPROCESSING
708.61/711.33 c GARBAGE COLLECT
708.61/711.33 c #Conflicts: 2317000 | #Constraints: 35129
708.61/711.33 c #Conflicts: 2318000 | #Constraints: 36429
708.61/711.33 c #Conflicts: 2319000 | #Constraints: 37936
708.61/711.33 c #Conflicts: 2320000 | #Constraints: 39420
708.61/711.33 c #Conflicts: 2321000 | #Constraints: 40926
708.61/711.33 c #Conflicts: 2322000 | #Constraints: 42427
708.61/711.33 c #Conflicts: 2323000 | #Constraints: 43964
708.61/711.33 c #Conflicts: 2324000 | #Constraints: 45461
708.61/711.33 c #Conflicts: 2325000 | #Constraints: 46952
708.61/711.33 c #Conflicts: 2326000 | #Constraints: 48447
708.61/711.33 c #Conflicts: 2327000 | #Constraints: 49954
708.61/711.33 c #Conflicts: 2328000 | #Constraints: 51471
708.61/711.33 c #Conflicts: 2329000 | #Constraints: 52960
708.61/711.33 c #Conflicts: 2330000 | #Constraints: 54457
728.74/731.53 c #Conflicts: 2331000 | #Constraints: 55957
728.74/731.53 c #Conflicts: 2332000 | #Constraints: 57462
728.74/731.53 c #Conflicts: 2333000 | #Constraints: 58968
728.74/731.53 c #Conflicts: 2334000 | #Constraints: 60477
728.74/731.53 c #Conflicts: 2335000 | #Constraints: 61988
728.74/731.53 c #Conflicts: 2336000 | #Constraints: 63489
728.74/731.53 c #Conflicts: 2337000 | #Constraints: 64992
728.74/731.53 c #Conflicts: 2338000 | #Constraints: 66492
728.74/731.53 c #Conflicts: 2339000 | #Constraints: 67980
728.74/731.53 c #Conflicts: 2340000 | #Constraints: 69474
728.74/731.53 c #Conflicts: 2341000 | #Constraints: 70962
728.74/731.53 c #Conflicts: 2342000 | #Constraints: 72466
728.74/731.53 c #Conflicts: 2343000 | #Constraints: 73965
728.74/731.53 c #Conflicts: 2344000 | #Constraints: 75459
728.74/731.53 c #Conflicts: 2345000 | #Constraints: 76964
728.74/731.53 c #Conflicts: 2346000 | #Constraints: 78461
728.74/731.53 c #Conflicts: 2347000 | #Constraints: 79963
728.74/731.53 c INPROCESSING
728.74/731.53 c GARBAGE COLLECT
728.74/731.53 c #Conflicts: 2348000 | #Constraints: 41674
728.74/731.53 c #Conflicts: 2349000 | #Constraints: 42674
728.74/731.53 c #Conflicts: 2350000 | #Constraints: 43808
728.74/731.53 c #Conflicts: 2351000 | #Constraints: 45056
728.74/731.53 c #Conflicts: 2352000 | #Constraints: 46195
728.74/731.53 c #Conflicts: 2353000 | #Constraints: 47301
728.74/731.53 c #Conflicts: 2354000 | #Constraints: 48349
728.74/731.53 c #Conflicts: 2355000 | #Constraints: 49365
728.74/731.53 c #Conflicts: 2356000 | #Constraints: 50365
728.74/731.53 c #Conflicts: 2357000 | #Constraints: 51365
728.74/731.53 c #Conflicts: 2358000 | #Constraints: 52442
728.74/731.53 c #Conflicts: 2359000 | #Constraints: 53998
728.74/731.53 c #Conflicts: 2360000 | #Constraints: 55112
728.74/731.53 c #Conflicts: 2361000 | #Constraints: 56115
728.74/731.53 c #Conflicts: 2362000 | #Constraints: 57209
728.74/731.53 c #Conflicts: 2363000 | #Constraints: 58350
728.74/731.53 c #Conflicts: 2364000 | #Constraints: 59679
728.74/731.53 c #Conflicts: 2365000 | #Constraints: 60875
728.74/731.53 c #Conflicts: 2366000 | #Constraints: 62383
728.74/731.53 c #Conflicts: 2367000 | #Constraints: 63663
728.74/731.53 c #Conflicts: 2368000 | #Constraints: 64877
728.74/731.53 c #Conflicts: 2369000 | #Constraints: 65907
728.74/731.53 c #Conflicts: 2370000 | #Constraints: 66907
728.74/731.53 c #Conflicts: 2371000 | #Constraints: 67912
728.74/731.53 c #Conflicts: 2372000 | #Constraints: 69013
728.74/731.53 c #Conflicts: 2373000 | #Constraints: 70213
728.74/731.53 c #Conflicts: 2374000 | #Constraints: 71389
728.74/731.53 c #Conflicts: 2375000 | #Constraints: 72483
728.74/731.53 c #Conflicts: 2376000 | #Constraints: 73508
728.74/731.53 c #Conflicts: 2377000 | #Constraints: 74532
728.74/731.53 c #Conflicts: 2378000 | #Constraints: 75555
728.74/731.53 c INPROCESSING
728.74/731.53 c GARBAGE COLLECT
728.74/731.53 c #Conflicts: 2379000 | #Constraints: 39336
728.74/731.53 c #Conflicts: 2380000 | #Constraints: 40393
728.74/731.53 c #Conflicts: 2381000 | #Constraints: 41544
728.74/731.53 c #Conflicts: 2382000 | #Constraints: 42571
728.74/731.53 c #Conflicts: 2383000 | #Constraints: 43599
728.74/731.53 c #Conflicts: 2384000 | #Constraints: 44599
728.74/731.53 c #Conflicts: 2385000 | #Constraints: 45600
728.74/731.53 c #Conflicts: 2386000 | #Constraints: 46682
728.74/731.53 c #Conflicts: 2387000 | #Constraints: 47770
728.74/731.53 c #Conflicts: 2388000 | #Constraints: 48947
728.74/731.53 c #Conflicts: 2389000 | #Constraints: 50142
728.74/731.53 c #Conflicts: 2390000 | #Constraints: 51308
728.74/731.53 c #Conflicts: 2391000 | #Constraints: 52389
728.74/731.53 c #Conflicts: 2392000 | #Constraints: 53489
728.74/731.53 c #Conflicts: 2393000 | #Constraints: 54646
728.74/731.53 c #Conflicts: 2394000 | #Constraints: 55728
728.74/731.53 c #Conflicts: 2395000 | #Constraints: 56808
728.74/731.53 c #Conflicts: 2396000 | #Constraints: 57885
728.74/731.53 c #Conflicts: 2397000 | #Constraints: 59070
728.74/731.53 c #Conflicts: 2398000 | #Constraints: 60219
728.74/731.53 c #Conflicts: 2399000 | #Constraints: 61271
728.74/731.53 c #Conflicts: 2400000 | #Constraints: 62311
728.74/731.53 c #Conflicts: 2401000 | #Constraints: 63358
728.74/731.53 c #Conflicts: 2402000 | #Constraints: 64374
728.74/731.53 c #Conflicts: 2403000 | #Constraints: 65407
728.74/731.53 c #Conflicts: 2404000 | #Constraints: 66788
728.74/731.53 c #Conflicts: 2405000 | #Constraints: 67817
728.74/731.53 c #Conflicts: 2406000 | #Constraints: 68827
728.74/731.53 c #Conflicts: 2407000 | #Constraints: 69860
728.74/731.53 c #Conflicts: 2408000 | #Constraints: 70915
741.69/744.55 c #Conflicts: 2409000 | #Constraints: 71965
741.69/744.55 c INPROCESSING
741.69/744.55 c GARBAGE COLLECT
741.69/744.55 c #Conflicts: 2410000 | #Constraints: 37622
741.69/744.55 c #Conflicts: 2411000 | #Constraints: 38623
741.69/744.55 c #Conflicts: 2412000 | #Constraints: 39739
741.69/744.55 c #Conflicts: 2413000 | #Constraints: 40904
741.69/744.55 c #Conflicts: 2414000 | #Constraints: 41924
741.69/744.55 c #Conflicts: 2415000 | #Constraints: 42924
741.69/744.55 c #Conflicts: 2416000 | #Constraints: 43925
741.69/744.55 c #Conflicts: 2417000 | #Constraints: 45050
741.69/744.55 c #Conflicts: 2418000 | #Constraints: 46145
741.69/744.55 c #Conflicts: 2419000 | #Constraints: 47242
741.69/744.55 c #Conflicts: 2420000 | #Constraints: 48458
741.69/744.55 c #Conflicts: 2421000 | #Constraints: 49736
741.69/744.55 c #Conflicts: 2422000 | #Constraints: 51109
741.69/744.55 c #Conflicts: 2423000 | #Constraints: 52226
741.69/744.55 c #Conflicts: 2424000 | #Constraints: 53326
741.69/744.55 c #Conflicts: 2425000 | #Constraints: 54405
741.69/744.55 c #Conflicts: 2426000 | #Constraints: 55516
741.69/744.55 c #Conflicts: 2427000 | #Constraints: 56621
741.69/744.55 c #Conflicts: 2428000 | #Constraints: 57691
741.69/744.55 c #Conflicts: 2429000 | #Constraints: 58760
741.69/744.55 c #Conflicts: 2430000 | #Constraints: 59798
741.69/744.55 c #Conflicts: 2431000 | #Constraints: 60973
741.69/744.55 c #Conflicts: 2432000 | #Constraints: 62288
741.69/744.55 c #Conflicts: 2433000 | #Constraints: 63341
741.69/744.55 c #Conflicts: 2434000 | #Constraints: 64404
741.69/744.55 c #Conflicts: 2435000 | #Constraints: 65552
741.69/744.55 c #Conflicts: 2436000 | #Constraints: 66645
741.69/744.55 c #Conflicts: 2437000 | #Constraints: 67650
741.69/744.55 c #Conflicts: 2438000 | #Constraints: 68687
741.69/744.55 c #Conflicts: 2439000 | #Constraints: 69721
741.69/744.55 c #Conflicts: 2440000 | #Constraints: 70797
741.69/744.55 c INPROCESSING
741.69/744.55 c GARBAGE COLLECT
741.69/744.55 c #Conflicts: 2441000 | #Constraints: 36883
741.69/744.55 c #Conflicts: 2442000 | #Constraints: 37955
741.69/744.55 c #Conflicts: 2443000 | #Constraints: 39059
741.69/744.55 c #Conflicts: 2444000 | #Constraints: 40109
741.69/744.55 c #Conflicts: 2445000 | #Constraints: 41134
741.69/744.55 c #Conflicts: 2446000 | #Constraints: 42142
741.69/744.55 c #Conflicts: 2447000 | #Constraints: 43228
741.69/744.55 c #Conflicts: 2448000 | #Constraints: 44271
741.69/744.55 c #Conflicts: 2449000 | #Constraints: 45294
741.69/744.55 c #Conflicts: 2450000 | #Constraints: 46394
741.69/744.55 c #Conflicts: 2451000 | #Constraints: 47537
741.69/744.55 c #Conflicts: 2452000 | #Constraints: 48572
741.69/744.55 c #Conflicts: 2453000 | #Constraints: 49730
741.69/744.55 c #Conflicts: 2454000 | #Constraints: 50862
741.69/744.55 c #Conflicts: 2455000 | #Constraints: 51932
741.69/744.55 c #Conflicts: 2456000 | #Constraints: 53033
741.69/744.55 c #Conflicts: 2457000 | #Constraints: 54282
741.69/744.55 c #Conflicts: 2458000 | #Constraints: 55319
741.69/744.55 c #Conflicts: 2459000 | #Constraints: 56320
741.69/744.55 c #Conflicts: 2460000 | #Constraints: 57320
741.69/744.55 c #Conflicts: 2461000 | #Constraints: 58324
741.69/744.55 c #Conflicts: 2462000 | #Constraints: 59393
741.69/744.55 c #Conflicts: 2463000 | #Constraints: 60396
741.69/744.55 c #Conflicts: 2464000 | #Constraints: 61396
741.69/744.55 c #Conflicts: 2465000 | #Constraints: 62532
741.69/744.55 c #Conflicts: 2466000 | #Constraints: 63681
741.69/744.55 c #Conflicts: 2467000 | #Constraints: 64730
741.69/744.55 c #Conflicts: 2468000 | #Constraints: 65814
741.69/744.55 c #Conflicts: 2469000 | #Constraints: 67117
741.69/744.55 c #Conflicts: 2470000 | #Constraints: 68222
741.69/744.55 c #Conflicts: 2471000 | #Constraints: 69230
741.69/744.55 c INPROCESSING
741.69/744.55 c GARBAGE COLLECT
741.69/744.55 c #Conflicts: 2472000 | #Constraints: 28953
741.69/744.55 c #Conflicts: 2473000 | #Constraints: 29965
741.69/744.55 c #Conflicts: 2474000 | #Constraints: 31053
741.69/744.55 c #Conflicts: 2475000 | #Constraints: 32129
741.69/744.55 c #Conflicts: 2476000 | #Constraints: 33242
741.69/744.55 c #Conflicts: 2477000 | #Constraints: 34498
741.69/744.55 c #Conflicts: 2478000 | #Constraints: 35498
741.69/744.55 c #Conflicts: 2479000 | #Constraints: 36498
741.69/744.55 c #Conflicts: 2480000 | #Constraints: 37580
741.69/744.55 c #Conflicts: 2481000 | #Constraints: 38719
741.69/744.55 c #Conflicts: 2482000 | #Constraints: 39852
741.69/744.55 c #Conflicts: 2483000 | #Constraints: 40996
741.69/744.55 c #Conflicts: 2484000 | #Constraints: 42048
741.69/744.55 c #Conflicts: 2485000 | #Constraints: 43221
747.98/750.88 c #Conflicts: 2486000 | #Constraints: 44229
747.98/750.88 c #Conflicts: 2487000 | #Constraints: 45403
747.98/750.88 c #Conflicts: 2488000 | #Constraints: 46543
747.98/750.88 c #Conflicts: 2489000 | #Constraints: 47576
747.98/750.88 c #Conflicts: 2490000 | #Constraints: 48628
747.98/750.88 c #Conflicts: 2491000 | #Constraints: 49789
747.98/750.88 c #Conflicts: 2492000 | #Constraints: 50871
747.98/750.88 c #Conflicts: 2493000 | #Constraints: 51979
747.98/750.88 c #Conflicts: 2494000 | #Constraints: 53388
747.98/750.88 c #Conflicts: 2495000 | #Constraints: 54505
747.98/750.88 c #Conflicts: 2496000 | #Constraints: 55659
747.98/750.88 c #Conflicts: 2497000 | #Constraints: 56817
747.98/750.88 c #Conflicts: 2498000 | #Constraints: 57900
747.98/750.88 c #Conflicts: 2499000 | #Constraints: 59063
747.98/750.88 c #Conflicts: 2500000 | #Constraints: 60063
747.98/750.88 c #Conflicts: 2501000 | #Constraints: 61063
747.98/750.88 c #Conflicts: 2502000 | #Constraints: 62109
747.98/750.88 c #Conflicts: 2503000 | #Constraints: 63133
747.98/750.88 c INPROCESSING
747.98/750.88 c GARBAGE COLLECT
747.98/750.88 c #Conflicts: 2504000 | #Constraints: 33133
747.98/750.88 c #Conflicts: 2505000 | #Constraints: 34233
747.98/750.88 c #Conflicts: 2506000 | #Constraints: 35308
747.98/750.88 c #Conflicts: 2507000 | #Constraints: 36418
747.98/750.88 c #Conflicts: 2508000 | #Constraints: 37456
747.98/750.88 c #Conflicts: 2509000 | #Constraints: 38482
747.98/750.88 c #Conflicts: 2510000 | #Constraints: 39532
747.98/750.88 c #Conflicts: 2511000 | #Constraints: 40566
747.98/750.88 c #Conflicts: 2512000 | #Constraints: 41654
747.98/750.88 c #Conflicts: 2513000 | #Constraints: 42683
747.98/750.88 c #Conflicts: 2514000 | #Constraints: 43751
747.98/750.88 c #Conflicts: 2515000 | #Constraints: 44757
747.98/750.88 c #Conflicts: 2516000 | #Constraints: 45810
747.98/750.88 c #Conflicts: 2517000 | #Constraints: 46899
747.98/750.88 c cpu time 714.745 s
747.98/750.88 c deterministic time 32221955155 3.22e+10
747.98/750.88 c optimization time 0.000212 s
747.98/750.88 c total solve time 714.743 s
747.98/750.88 c core-guided solve time 0 s
747.98/750.88 c propagation time 631.709 s
747.98/750.88 c conflict analysis time 58.6647 s
747.98/750.88 c propagations 29289289
747.98/750.88 c resolve steps 7999692
747.98/750.88 c decisions 6583305
747.98/750.88 c conflicts 2517756
747.98/750.88 c restarts 4282
747.98/750.88 c inprocessing phases 149
747.98/750.88 c input clauses 2
747.98/750.88 c input cardinalities 800
747.98/750.88 c input general constraints 0
747.98/750.88 c input average constraint length 4.00
747.98/750.88 c input average constraint degree 2.00
747.98/750.88 c learned clauses 2183849
747.98/750.88 c learned cardinalities 7121
747.98/750.88 c learned general constraints 1513239
747.98/750.88 c learned average constraint length 66.87
747.98/750.88 c learned average constraint degree 5173433453.80
747.98/750.88 c watched constraints 633800
747.98/750.88 c counting constraints 879439
747.98/750.88 c gcd simplifications 877378
747.98/750.88 c detected cardinalities 1985
747.98/750.88 c weakened non-implied lits 6207994
747.98/750.88 c weakened non-implying lits 1283258
747.98/750.88 c original variables 801
747.98/750.88 c clausal propagations 4526008
747.98/750.88 c cardinality propagations 9017580
747.98/750.88 c watched propagations 964174
747.98/750.88 c counting propagations 12260641
747.98/750.88 c watch lookups 12705430966
747.98/750.88 c watch backjump lookups 10861352443
747.98/750.88 c watch checks 7879067043
747.98/750.88 c propagation checks 510421060
747.98/750.88 c constraint additions 188861750
747.98/750.88 c trail pops 38390081
747.98/750.88 c formula constraints 802
747.98/750.88 c learned constraints 2517503
747.98/750.88 c bound constraints 0
747.98/750.88 c core-guided constraints 0
747.98/750.88 c encountered formula constraints 508159
747.98/750.88 c encountered learned constraints 8762323
747.98/750.88 c encountered bound constraints 0
747.98/750.88 c encountered core-guided constraints 0
747.98/750.88 c LP total time 401.681 s
747.98/750.88 c LP solve time 294.58 s
747.98/750.88 c LP constraints added 1613
747.98/750.88 c LP constraints removed 800
747.98/750.88 c LP pivots internal 2517799
747.98/750.88 c LP pivots root 41418
747.98/750.88 c LP calls 1263379
747.98/750.88 c LP optimalities 77325
747.98/750.88 c LP no pivot count 19930
747.98/750.88 c LP infeasibilities 1185850
747.98/750.88 c LP valid Farkas constraints 1185846
747.98/750.88 c LP learned Farkas constraints 252
747.98/750.88 c LP basis resets 201
747.98/750.88 c LP cycling count 129
747.98/750.88 c LP singular count 71
747.98/750.88 c LP no primal count 0
747.98/750.88 c LP no farkas count 0
747.98/750.88 c LP other issue count 1
747.98/750.88 c LP Gomory cuts 608
747.98/750.88 c LP learned cuts 203
747.98/750.88 c LP deleted cuts 800
747.98/750.88 c LP encountered Gomory constraints 0
747.98/750.88 c LP encountered Farkas constraints 1231094
747.98/750.88 c LP encountered learned Farkas constraints 15620
747.98/750.88 c CG auxiliary variables introduced 0
747.98/750.88 c CG solutions found 0
747.98/750.88 c CG cores constructed 0
747.98/750.88 c CG core cardinality constraints returned 0
747.98/750.88 c CG unit cores 0
747.98/750.88 c CG single cores 0
747.98/750.88 c CG blocks removed during cardinality reduction 0
747.98/750.88 c CG first core best 0
747.98/750.88 c CG decision core best 0
747.98/750.88 c CG core reduction tie 0
747.98/750.88 c CG core degree average 0.00
747.98/750.88 c CG core slack average 0.00
747.98/750.88 o 0
747.98/750.88 s OPTIMUM FOUND
747.98/750.88 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 x28 -x29 x30 -x31 x32 -x33 x34 x35 x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60 x61 x62 -x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 -x81 x82 -x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801
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: 63968 MiB (62580 MiB free)
memory of node 1: 64473 MiB (62105 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448500-1721361850/watcher-4448500-1721361850 -o /tmp/evaluation-result-4448500-1721361850/solver-4448500-1721361850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721361771-996926 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4448500-1721361850.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=997373, runsolver pid=997370
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 3.49 1.89 1.54 5/257 997374
/proc/meminfo: memFree=127676004/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=39052 memory=9444 CPUtime=0.09 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 791 0 0 0 9 0 0 0 20 0 1 0 188348870 39989248 2361 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 9763 2361 1797 922 0 1715 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 9444 KiB
[startup+0.205515 s]*
/proc/loadavg: 3.49 1.89 1.54 5/257 997374
/proc/meminfo: memFree=127675492/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=39080 memory=9824 CPUtime=0.2 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 856 0 0 0 19 1 0 0 20 0 1 0 188348870 40017920 2456 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 9770 2456 1797 922 0 1722 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 9824 KiB
[startup+0.305504 s]*
/proc/loadavg: 3.49 1.89 1.54 5/257 997374
/proc/meminfo: memFree=127675360/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=39156 memory=9964 CPUtime=0.3 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 885 0 0 0 28 2 0 0 20 0 1 0 188348870 40095744 2491 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 9789 2491 1813 922 0 1741 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 9964 KiB
[startup+0.70018 s]
/proc/loadavg: 3.49 1.89 1.54 5/257 997374
/proc/meminfo: memFree=127674884/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=39516 memory=10668 CPUtime=0.69 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 1044 0 0 0 64 5 0 0 20 0 1 0 188348870 40464384 2667 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 9879 2667 1813 922 0 1831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39516 KiB
Current children cumulated memory: 10668 KiB
[startup+1.50017 s]
/proc/loadavg: 3.49 1.89 1.54 5/257 997374
/proc/meminfo: memFree=127674176/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=39904 memory=11388 CPUtime=1.48 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 1230 0 0 0 137 11 0 0 20 0 1 0 188348870 40861696 2847 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 9976 2847 1813 922 0 1928 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11388 KiB
[startup+3.10542 s]
/proc/loadavg: 3.53 1.93 1.55 5/257 997376
/proc/meminfo: memFree=127670848/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=40212 memory=11784 CPUtime=3.08 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 1322 0 0 0 284 24 0 0 20 0 1 0 188348870 41177088 2946 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 10053 2946 1813 922 0 2005 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40212 KiB
Current children cumulated memory: 11784 KiB
[startup+6.30016 s]
/proc/loadavg: 3.53 1.93 1.55 5/257 997376
/proc/meminfo: memFree=127662404/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=40872 memory=12588 CPUtime=6.27 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 1563 0 0 0 576 51 0 0 20 0 1 0 188348870 41852928 3147 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 10218 3147 1813 922 0 2170 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40872 KiB
Current children cumulated memory: 12588 KiB
[startup+12.7001 s]
/proc/loadavg: 3.57 1.96 1.56 5/257 997376
/proc/meminfo: memFree=127646392/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=41832 memory=15676 CPUtime=12.64 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 1998 0 0 0 1166 98 0 0 20 0 1 0 188348870 42835968 3919 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 10458 3919 1813 922 0 2410 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 15676 KiB
[startup+25.5002 s]
/proc/loadavg: 3.66 2.06 1.60 5/257 997425
/proc/meminfo: memFree=127699024/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=60624 memory=33220 CPUtime=25.4 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 5701 0 0 0 2362 178 0 0 20 0 1 0 188348870 62078976 8305 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 15156 8305 1897 922 0 7108 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 60624 KiB
Current children cumulated memory: 33220 KiB
[startup+51.1054 s]
/proc/loadavg: 3.92 2.25 1.68 5/257 997474
/proc/meminfo: memFree=127621840/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=97908 memory=62684 CPUtime=50.91 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 12536 0 0 0 4791 300 0 0 20 0 1 0 188348870 100257792 15671 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 24477 15671 1897 922 0 16429 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 97908 KiB
Current children cumulated memory: 62684 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 2.54 1.81 5/255 997484
/proc/meminfo: memFree=127581460/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=115724 memory=74344 CPUtime=101.93 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 15588 0 0 0 9600 593 0 0 20 0 1 0 188348870 118501376 18586 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 28931 18586 1897 922 0 20883 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 115724 KiB
Current children cumulated memory: 74344 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.81 1.95 5/255 997495
/proc/meminfo: memFree=127496876/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=157444 memory=108692 CPUtime=161.72 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 22493 0 0 0 15307 865 0 0 20 0 1 0 188348870 161222656 27173 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 39361 27173 1945 922 0 31313 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 157444 KiB
Current children cumulated memory: 108692 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.07 2.09 5/254 997505
/proc/meminfo: memFree=127461916/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=157760 memory=115676 CPUtime=221.5 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 23986 0 0 0 21019 1131 0 0 20 0 1 0 188348870 161546240 28919 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 39440 28919 1945 922 0 31392 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 157760 KiB
Current children cumulated memory: 115676 KiB
[startup+282.3 s]
/proc/loadavg: 4.46 3.37 2.26 6/254 997561
/proc/meminfo: memFree=127461344/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=170508 memory=128880 CPUtime=281.28 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 26873 0 0 0 26698 1430 0 0 20 0 1 0 188348870 174600192 32220 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 42627 32220 1945 922 0 34579 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 170508 KiB
Current children cumulated memory: 128880 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.50 2.37 5/258 997899
/proc/meminfo: memFree=127403860/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=178224 memory=136944 CPUtime=341.05 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 30845 0 0 0 32379 1726 0 0 20 0 1 0 188348870 182501376 34236 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 44556 34236 1945 922 0 36508 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 178224 KiB
Current children cumulated memory: 136944 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.62 2.49 5/258 997909
/proc/meminfo: memFree=127323780/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=183728 memory=141032 CPUtime=400.81 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 33406 0 0 0 38109 1972 0 0 20 0 1 0 188348870 188137472 35258 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 45932 35258 1945 922 0 37884 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 183728 KiB
Current children cumulated memory: 141032 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 3.79 2.62 5/258 997920
/proc/meminfo: memFree=127292416/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=191544 memory=154472 CPUtime=460.57 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 35977 0 0 0 43895 2162 0 0 20 0 1 0 188348870 196141056 38618 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 47886 38618 1945 922 0 39838 0
Current children cumulated CPU time: 460.57 s
Current children cumulated vsize: 191544 KiB
Current children cumulated memory: 154472 KiB
[startup+522.3 s]
/proc/loadavg: 4.35 3.89 2.73 5/258 998115
/proc/meminfo: memFree=127141908/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=194964 memory=158124 CPUtime=520.33 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 38158 0 0 0 49663 2370 0 0 20 0 1 0 188348870 199643136 39531 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 48741 39531 1945 922 0 40693 0
Current children cumulated CPU time: 520.33 s
Current children cumulated vsize: 194964 KiB
Current children cumulated memory: 158124 KiB
[startup+582.3 s]
/proc/loadavg: 4.28 3.96 2.83 5/258 998126
/proc/meminfo: memFree=126442428/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=196576 memory=159864 CPUtime=580.09 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 40349 0 0 0 55424 2585 0 0 20 0 1 0 188348870 201293824 39966 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 49144 39966 1945 922 0 41096 0
Current children cumulated CPU time: 580.09 s
Current children cumulated vsize: 196576 KiB
Current children cumulated memory: 159864 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 3.98 2.91 5/258 998136
/proc/meminfo: memFree=126143652/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=199140 memory=162800 CPUtime=639.86 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 43195 0 0 0 61179 2807 0 0 20 0 1 0 188348870 203919360 40700 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 49785 40700 1945 922 0 41737 0
Current children cumulated CPU time: 639.86 s
Current children cumulated vsize: 199140 KiB
Current children cumulated memory: 162800 KiB
[startup+702.3 s]
/proc/loadavg: 4.15 4.02 2.99 5/254 998147
/proc/meminfo: memFree=125277864/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=199432 memory=171436 CPUtime=699.64 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 43964 0 0 0 66870 3094 0 0 20 0 1 0 188348870 204218368 42859 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 49858 42859 1945 922 0 41810 0
Current children cumulated CPU time: 699.64 s
Current children cumulated vsize: 199432 KiB
Current children cumulated memory: 171436 KiB
[startup+750.884 s]
# the end of solver process 997373 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=714.746 s, system=33.3255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.12 4.01 3.01 5/254 998150
/proc/meminfo: memFree=125122328/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=199432 memory=171436 CPUtime=714.09 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 43966 0 0 0 68254 3155 0 0 20 0 1 0 188348870 204218368 42859 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 49858 42859 1945 922 0 41810 0
Current children cumulated CPU time: 714.09 s
Current children cumulated vsize: 199432 KiB
Current children cumulated memory: 171436 KiB
[startup+729.6 s]
/proc/loadavg: 4.09 4.01 3.02 5/254 998151
/proc/meminfo: memFree=125004380/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=726.85 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 69469 3216 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 726.85 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
[startup+742.4 s]
/proc/loadavg: 4.15 4.03 3.04 5/254 998153
/proc/meminfo: memFree=124870996/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=739.6 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 70672 3288 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 739.6 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
[startup+745.6 s]
/proc/loadavg: 4.14 4.03 3.04 5/254 998154
/proc/meminfo: memFree=124837896/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=742.8 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 70973 3307 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 742.8 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
[startup+748.8 s]
/proc/loadavg: 4.14 4.03 3.04 5/254 998154
/proc/meminfo: memFree=124806656/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=745.99 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 71278 3321 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 745.99 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
[startup+749.6 s]
/proc/loadavg: 4.21 4.04 3.06 5/254 998155
/proc/meminfo: memFree=124796716/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=746.78 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 71352 3326 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 746.78 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
[startup+750.4 s]
/proc/loadavg: 4.21 4.04 3.06 5/254 998155
/proc/meminfo: memFree=124785676/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=747.58 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 71428 3330 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 747.58 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
[startup+750.8 s]
/proc/loadavg: 4.21 4.04 3.06 5/254 998155
/proc/meminfo: memFree=124785676/131524600 swapFree=131071996/131071996
[pid=997373] ppid=997370 vsize=200064 memory=171912 CPUtime=747.98 cores=0,2
/proc/997373/stat : 997373 (roundingsat) R 997370 997373 996916 0 -1 4194304 44198 0 0 0 71466 3332 0 0 20 0 1 0 188348870 204865536 42978 134679101440 4194304 7968869 140729005404768 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38637568 140729005409213 140729005409377 140729005409377 140729005416393 0
/proc/997373/statm: 50016 42978 1945 922 0 41968 0
Current children cumulated CPU time: 747.98 s
Current children cumulated vsize: 200064 KiB
Current children cumulated memory: 171912 KiB
Child status: 0
Real time (s): 750.884
CPU time (s): 748.071
CPU user time (s): 714.746
CPU system time (s): 33.3255
CPU usage (%): 99.6254
Max. virtual memory (cumulated for all children) (KiB): 200096
Max. memory (cumulated for all children) (KiB): 171912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 714.746
system time used= 33.3255
maximum resident set size= 172000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 5137
# summary of solver processes directly reported to runsolver:
# pid: 997373
# total CPU time (s): 748.071
# total CPU user time (s): 714.746
# total CPU system time (s): 33.3255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3822 second user time and 3.33916 second system time
The end
Begin job on nodeC021 at 2024-07-19 06:04:23
IDJOB=4448500
IDBENCH=160428
IDSOLVER=3051
FILE ID=nodeC021/4448500-1721361850
RUNJOBID= nodeC021-1721361771-996926
SLURM_JOB_ID= 7542781
Free space on /tmp= 890068 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448500-1721361850/watcher-4448500-1721361850 -o /tmp/evaluation-result-4448500-1721361850/solver-4448500-1721361850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721361771-996926 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4448500-1721361850.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=933467610
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3648.355
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3665.700
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.523
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3600.389
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.060
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3665.735
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.105
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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.720
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127678940 kB
MemAvailable: 129555256 kB
Buffers: 520576 kB
Cached: 2176220 kB
SwapCached: 0 kB
Active: 1020132 kB
Inactive: 2179880 kB
Active(anon): 1552 kB
Inactive(anon): 539388 kB
Active(file): 1018580 kB
Inactive(file): 1640492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5256 kB
Writeback: 0 kB
AnonPages: 502568 kB
Mapped: 112172 kB
Shmem: 37720 kB
KReclaimable: 114136 kB
Slab: 228688 kB
SReclaimable: 114136 kB
SUnreclaim: 114552 kB
KernelStack: 4176 kB
PageTables: 10428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 818020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC021 at 2024-07-19 06:16:54