0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 52 #constraints 2
0.00/0.01 c rational objective 1.0539
0.18/0.21 c #Conflicts: 1000 | #Constraints: 1144
0.18/0.21 c #Conflicts: 2000 | #Constraints: 2306
0.18/0.21 c INPROCESSING
0.18/0.21 c GARBAGE COLLECT
0.18/0.21 c rational objective 2
0.37/0.45 c #Conflicts: 3000 | #Constraints: 2277
0.37/0.45 c #Conflicts: 4000 | #Constraints: 3373
0.37/0.45 c INPROCESSING
0.37/0.45 c GARBAGE COLLECT
0.37/0.45 c rational objective 2
0.67/0.73 c #Conflicts: 5000 | #Constraints: 2651
0.67/0.73 c #Conflicts: 6000 | #Constraints: 3787
0.67/0.73 c INPROCESSING
0.67/0.73 c GARBAGE COLLECT
0.67/0.73 c rational objective 2
0.97/1.10 c #Conflicts: 7000 | #Constraints: 2652
0.97/1.10 c #Conflicts: 8000 | #Constraints: 3652
0.97/1.10 c #Conflicts: 9000 | #Constraints: 4652
0.97/1.10 c INPROCESSING
0.97/1.10 c GARBAGE COLLECT
0.97/1.10 c rational objective 2
1.47/1.55 c #Conflicts: 10000 | #Constraints: 3287
1.47/1.55 c #Conflicts: 11000 | #Constraints: 4368
1.47/1.55 c #Conflicts: 12000 | #Constraints: 5522
1.47/1.55 c INPROCESSING
1.47/1.55 c GARBAGE COLLECT
1.47/1.55 c rational objective 2
1.97/2.07 c #Conflicts: 13000 | #Constraints: 3865
1.97/2.07 c #Conflicts: 14000 | #Constraints: 4953
1.97/2.07 c #Conflicts: 15000 | #Constraints: 6074
1.97/2.07 c INPROCESSING
1.97/2.07 c GARBAGE COLLECT
1.97/2.07 c rational objective 2
2.56/2.67 c #Conflicts: 16000 | #Constraints: 4151
2.56/2.67 c #Conflicts: 17000 | #Constraints: 5249
2.56/2.67 c #Conflicts: 18000 | #Constraints: 6365
2.56/2.67 c INPROCESSING
2.56/2.67 c GARBAGE COLLECT
2.56/2.67 c rational objective 2
3.26/3.38 c #Conflicts: 19000 | #Constraints: 4147
3.26/3.38 c #Conflicts: 20000 | #Constraints: 5254
3.26/3.38 c #Conflicts: 21000 | #Constraints: 6345
3.26/3.38 c INPROCESSING
3.26/3.38 c GARBAGE COLLECT
3.26/3.38 c rational objective 2
4.06/4.11 c #Conflicts: 22000 | #Constraints: 3913
4.06/4.11 c #Conflicts: 23000 | #Constraints: 4913
4.06/4.11 c #Conflicts: 24000 | #Constraints: 5913
4.06/4.11 c #Conflicts: 25000 | #Constraints: 6913
4.06/4.11 c INPROCESSING
4.06/4.11 c GARBAGE COLLECT
4.06/4.11 c rational objective 2
4.85/4.95 c #Conflicts: 26000 | #Constraints: 4362
4.85/4.95 c #Conflicts: 27000 | #Constraints: 5362
4.85/4.95 c #Conflicts: 28000 | #Constraints: 6362
4.85/4.95 c #Conflicts: 29000 | #Constraints: 7362
4.85/4.95 c INPROCESSING
4.85/4.95 c GARBAGE COLLECT
4.85/4.95 c rational objective 2
5.76/5.89 c #Conflicts: 30000 | #Constraints: 4687
5.76/5.89 c #Conflicts: 31000 | #Constraints: 5687
5.76/5.89 c #Conflicts: 32000 | #Constraints: 6687
5.76/5.89 c #Conflicts: 33000 | #Constraints: 7687
5.76/5.89 c INPROCESSING
5.76/5.89 c GARBAGE COLLECT
5.76/5.89 c rational objective 2
6.85/6.92 c #Conflicts: 34000 | #Constraints: 4849
6.85/6.92 c #Conflicts: 35000 | #Constraints: 5849
6.85/6.92 c #Conflicts: 36000 | #Constraints: 6849
6.85/6.92 c #Conflicts: 37000 | #Constraints: 7849
6.85/6.92 c INPROCESSING
6.85/6.92 c GARBAGE COLLECT
6.85/6.92 c rational objective 2
7.85/7.92 c #Conflicts: 38000 | #Constraints: 4830
7.85/7.92 c #Conflicts: 39000 | #Constraints: 5830
7.85/7.92 c #Conflicts: 40000 | #Constraints: 6830
7.85/7.92 c #Conflicts: 41000 | #Constraints: 7830
7.85/7.92 c INPROCESSING
7.85/7.92 c GARBAGE COLLECT
7.85/7.92 c rational objective 2
9.05/9.13 c #Conflicts: 42000 | #Constraints: 4621
9.05/9.13 c #Conflicts: 43000 | #Constraints: 5621
9.05/9.13 c #Conflicts: 44000 | #Constraints: 6621
9.05/9.13 c #Conflicts: 45000 | #Constraints: 7621
9.05/9.13 c #Conflicts: 46000 | #Constraints: 8621
9.05/9.13 c INPROCESSING
9.05/9.13 c GARBAGE COLLECT
9.05/9.13 c rational objective 2
10.34/10.48 c #Conflicts: 47000 | #Constraints: 5319
10.34/10.48 c #Conflicts: 48000 | #Constraints: 6416
10.34/10.48 c #Conflicts: 49000 | #Constraints: 7546
10.34/10.48 c #Conflicts: 50000 | #Constraints: 8649
10.34/10.48 c #Conflicts: 51000 | #Constraints: 9784
10.34/10.48 c INPROCESSING
10.34/10.48 c GARBAGE COLLECT
10.34/10.48 c rational objective 2
13.63/13.75 c #Conflicts: 52000 | #Constraints: 5988
13.63/13.75 c #Conflicts: 53000 | #Constraints: 7089
13.63/13.75 c #Conflicts: 54000 | #Constraints: 8190
13.63/13.75 c #Conflicts: 55000 | #Constraints: 9266
13.63/13.75 c #Conflicts: 56000 | #Constraints: 10403
13.63/13.75 c INPROCESSING
13.63/13.75 c GARBAGE COLLECT
13.63/13.75 c #Conflicts: 57000 | #Constraints: 6207
13.63/13.75 c #Conflicts: 58000 | #Constraints: 7283
13.63/13.75 c #Conflicts: 59000 | #Constraints: 8376
13.63/13.75 c #Conflicts: 60000 | #Constraints: 9465
13.63/13.75 c #Conflicts: 61000 | #Constraints: 10580
13.63/13.75 c INPROCESSING
13.63/13.75 c GARBAGE COLLECT
13.63/13.75 c rational objective 2
15.42/15.56 c #Conflicts: 62000 | #Constraints: 6305
15.42/15.56 c #Conflicts: 63000 | #Constraints: 7431
15.42/15.56 c #Conflicts: 64000 | #Constraints: 8552
15.42/15.56 c #Conflicts: 65000 | #Constraints: 9671
15.42/15.56 c #Conflicts: 66000 | #Constraints: 10803
15.42/15.56 c INPROCESSING
15.42/15.56 c GARBAGE COLLECT
15.42/15.56 c rational objective 2
17.42/17.51 c #Conflicts: 67000 | #Constraints: 6144
17.42/17.51 c #Conflicts: 68000 | #Constraints: 7144
17.42/17.51 c #Conflicts: 69000 | #Constraints: 8144
17.42/17.51 c #Conflicts: 70000 | #Constraints: 9144
17.42/17.51 c #Conflicts: 71000 | #Constraints: 10144
17.42/17.51 c #Conflicts: 72000 | #Constraints: 11144
17.42/17.51 c INPROCESSING
17.42/17.51 c GARBAGE COLLECT
17.42/17.51 c rational objective 2
19.31/19.46 c #Conflicts: 73000 | #Constraints: 6507
19.31/19.46 c #Conflicts: 74000 | #Constraints: 7507
19.31/19.46 c #Conflicts: 75000 | #Constraints: 8507
19.31/19.46 c #Conflicts: 76000 | #Constraints: 9507
19.31/19.46 c #Conflicts: 77000 | #Constraints: 10507
19.31/19.46 c #Conflicts: 78000 | #Constraints: 11507
19.31/19.46 c INPROCESSING
19.31/19.46 c GARBAGE COLLECT
19.31/19.46 c rational objective 2
21.81/21.99 c #Conflicts: 79000 | #Constraints: 6941
21.81/21.99 c #Conflicts: 80000 | #Constraints: 8122
21.81/21.99 c #Conflicts: 81000 | #Constraints: 9215
21.81/21.99 c #Conflicts: 82000 | #Constraints: 10276
21.81/21.99 c #Conflicts: 83000 | #Constraints: 11365
21.81/21.99 c #Conflicts: 84000 | #Constraints: 12432
21.81/21.99 c INPROCESSING
21.81/21.99 c GARBAGE COLLECT
21.81/21.99 c rational objective 2
24.40/24.54 c #Conflicts: 85000 | #Constraints: 7305
24.40/24.54 c #Conflicts: 86000 | #Constraints: 8425
24.40/24.54 c #Conflicts: 87000 | #Constraints: 9532
24.40/24.54 c #Conflicts: 88000 | #Constraints: 10668
24.40/24.54 c #Conflicts: 89000 | #Constraints: 11772
24.40/24.54 c #Conflicts: 90000 | #Constraints: 12887
24.40/24.54 c INPROCESSING
24.40/24.54 c GARBAGE COLLECT
24.40/24.54 c rational objective 2
27.29/27.45 c #Conflicts: 91000 | #Constraints: 7433
27.29/27.45 c #Conflicts: 92000 | #Constraints: 8546
27.29/27.45 c #Conflicts: 93000 | #Constraints: 9668
27.29/27.45 c #Conflicts: 94000 | #Constraints: 10755
27.29/27.45 c #Conflicts: 95000 | #Constraints: 11871
27.29/27.45 c #Conflicts: 96000 | #Constraints: 12958
27.29/27.45 c INPROCESSING
27.29/27.45 c GARBAGE COLLECT
27.29/27.45 c rational objective 2
30.18/30.31 c #Conflicts: 97000 | #Constraints: 7226
30.18/30.31 c #Conflicts: 98000 | #Constraints: 8311
30.18/30.31 c #Conflicts: 99000 | #Constraints: 9380
30.18/30.31 c #Conflicts: 100000 | #Constraints: 10470
30.18/30.31 c #Conflicts: 101000 | #Constraints: 11578
30.18/30.31 c #Conflicts: 102000 | #Constraints: 12671
30.18/30.31 c #Conflicts: 103000 | #Constraints: 13773
30.18/30.31 c INPROCESSING
30.18/30.31 c GARBAGE COLLECT
30.18/30.31 c rational objective 2
32.77/32.94 c #Conflicts: 104000 | #Constraints: 7802
32.77/32.94 c #Conflicts: 105000 | #Constraints: 8802
32.77/32.94 c #Conflicts: 106000 | #Constraints: 9802
32.77/32.94 c #Conflicts: 107000 | #Constraints: 10802
32.77/32.94 c #Conflicts: 108000 | #Constraints: 11802
32.77/32.94 c #Conflicts: 109000 | #Constraints: 12802
32.77/32.94 c #Conflicts: 110000 | #Constraints: 13802
32.77/32.94 c INPROCESSING
32.77/32.94 c GARBAGE COLLECT
32.77/32.94 c rational objective 2
35.87/36.09 c #Conflicts: 111000 | #Constraints: 8001
35.87/36.09 c #Conflicts: 112000 | #Constraints: 9103
35.87/36.09 c #Conflicts: 113000 | #Constraints: 10215
35.87/36.09 c #Conflicts: 114000 | #Constraints: 11329
35.87/36.09 c #Conflicts: 115000 | #Constraints: 12429
35.87/36.09 c #Conflicts: 116000 | #Constraints: 13532
35.87/36.09 c #Conflicts: 117000 | #Constraints: 14646
35.87/36.09 c INPROCESSING
35.87/36.09 c GARBAGE COLLECT
35.87/36.09 c rational objective 2
39.16/39.37 c #Conflicts: 118000 | #Constraints: 8329
39.16/39.37 c #Conflicts: 119000 | #Constraints: 9365
39.16/39.37 c #Conflicts: 120000 | #Constraints: 10453
39.16/39.37 c #Conflicts: 121000 | #Constraints: 11568
39.16/39.37 c #Conflicts: 122000 | #Constraints: 12698
39.16/39.37 c #Conflicts: 123000 | #Constraints: 13847
39.16/39.37 c #Conflicts: 124000 | #Constraints: 14976
39.16/39.37 c INPROCESSING
39.16/39.37 c GARBAGE COLLECT
39.16/39.37 c rational objective 2
42.54/42.79 c #Conflicts: 125000 | #Constraints: 8404
42.54/42.79 c #Conflicts: 126000 | #Constraints: 9404
42.54/42.79 c #Conflicts: 127000 | #Constraints: 10470
42.54/42.79 c #Conflicts: 128000 | #Constraints: 11527
42.54/42.79 c #Conflicts: 129000 | #Constraints: 12602
42.54/42.79 c #Conflicts: 130000 | #Constraints: 13738
42.54/42.79 c #Conflicts: 131000 | #Constraints: 14875
42.54/42.79 c INPROCESSING
42.54/42.79 c GARBAGE COLLECT
42.54/42.79 c rational objective 2
46.03/46.22 c #Conflicts: 132000 | #Constraints: 8209
46.03/46.22 c #Conflicts: 133000 | #Constraints: 9262
46.03/46.22 c #Conflicts: 134000 | #Constraints: 10337
46.03/46.22 c #Conflicts: 135000 | #Constraints: 11398
46.03/46.22 c #Conflicts: 136000 | #Constraints: 12459
46.03/46.22 c #Conflicts: 137000 | #Constraints: 13547
46.03/46.22 c #Conflicts: 138000 | #Constraints: 14627
46.03/46.22 c #Conflicts: 139000 | #Constraints: 15691
46.03/46.22 c INPROCESSING
46.03/46.22 c GARBAGE COLLECT
46.03/46.22 c rational objective 2
84.21/84.57 c #Conflicts: 140000 | #Constraints: 8823
84.21/84.57 c #Conflicts: 141000 | #Constraints: 9910
84.21/84.57 c #Conflicts: 142000 | #Constraints: 11008
84.21/84.57 c #Conflicts: 143000 | #Constraints: 12288
84.21/84.57 c #Conflicts: 144000 | #Constraints: 13845
84.21/84.57 c #Conflicts: 145000 | #Constraints: 15400
84.21/84.57 c #Conflicts: 146000 | #Constraints: 16963
84.21/84.57 c #Conflicts: 147000 | #Constraints: 18532
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 148000 | #Constraints: 10854
84.21/84.57 c #Conflicts: 149000 | #Constraints: 11964
84.21/84.57 c #Conflicts: 150000 | #Constraints: 13037
84.21/84.57 c #Conflicts: 151000 | #Constraints: 14110
84.21/84.57 c #Conflicts: 152000 | #Constraints: 15182
84.21/84.57 c #Conflicts: 153000 | #Constraints: 16253
84.21/84.57 c #Conflicts: 154000 | #Constraints: 17307
84.21/84.57 c #Conflicts: 155000 | #Constraints: 18364
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 156000 | #Constraints: 10237
84.21/84.57 c #Conflicts: 157000 | #Constraints: 11334
84.21/84.57 c #Conflicts: 158000 | #Constraints: 12401
84.21/84.57 c #Conflicts: 159000 | #Constraints: 13472
84.21/84.57 c #Conflicts: 160000 | #Constraints: 14556
84.21/84.57 c #Conflicts: 161000 | #Constraints: 15647
84.21/84.57 c #Conflicts: 162000 | #Constraints: 16737
84.21/84.57 c #Conflicts: 163000 | #Constraints: 17805
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 164000 | #Constraints: 9858
84.21/84.57 c #Conflicts: 165000 | #Constraints: 10866
84.21/84.57 c #Conflicts: 166000 | #Constraints: 11912
84.21/84.57 c #Conflicts: 167000 | #Constraints: 12986
84.21/84.57 c #Conflicts: 168000 | #Constraints: 14045
84.21/84.57 c #Conflicts: 169000 | #Constraints: 15113
84.21/84.57 c #Conflicts: 170000 | #Constraints: 16177
84.21/84.57 c #Conflicts: 171000 | #Constraints: 17182
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 172000 | #Constraints: 9332
84.21/84.57 c #Conflicts: 173000 | #Constraints: 10425
84.21/84.57 c #Conflicts: 174000 | #Constraints: 11542
84.21/84.57 c #Conflicts: 175000 | #Constraints: 12639
84.21/84.57 c #Conflicts: 176000 | #Constraints: 13708
84.21/84.57 c #Conflicts: 177000 | #Constraints: 14785
84.21/84.57 c #Conflicts: 178000 | #Constraints: 15835
84.21/84.57 c #Conflicts: 179000 | #Constraints: 16918
84.21/84.57 c #Conflicts: 180000 | #Constraints: 18006
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 181000 | #Constraints: 9977
84.21/84.57 c #Conflicts: 182000 | #Constraints: 11054
84.21/84.57 c #Conflicts: 183000 | #Constraints: 12114
84.21/84.57 c #Conflicts: 184000 | #Constraints: 13213
84.21/84.57 c #Conflicts: 185000 | #Constraints: 14297
84.21/84.57 c #Conflicts: 186000 | #Constraints: 15396
84.21/84.57 c #Conflicts: 187000 | #Constraints: 16471
84.21/84.57 c #Conflicts: 188000 | #Constraints: 17547
84.21/84.57 c #Conflicts: 189000 | #Constraints: 18650
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 190000 | #Constraints: 10473
84.21/84.57 c #Conflicts: 191000 | #Constraints: 11649
84.21/84.57 c #Conflicts: 192000 | #Constraints: 12753
84.21/84.57 c #Conflicts: 193000 | #Constraints: 13852
84.21/84.57 c #Conflicts: 194000 | #Constraints: 14942
84.21/84.57 c #Conflicts: 195000 | #Constraints: 16015
84.21/84.57 c #Conflicts: 196000 | #Constraints: 17104
84.21/84.57 c #Conflicts: 197000 | #Constraints: 18232
84.21/84.57 c #Conflicts: 198000 | #Constraints: 19303
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 199000 | #Constraints: 10752
84.21/84.57 c #Conflicts: 200000 | #Constraints: 12024
84.21/84.57 c #Conflicts: 201000 | #Constraints: 13142
84.21/84.57 c #Conflicts: 202000 | #Constraints: 14272
84.21/84.57 c #Conflicts: 203000 | #Constraints: 15417
84.21/84.57 c #Conflicts: 204000 | #Constraints: 16531
84.21/84.57 c #Conflicts: 205000 | #Constraints: 17673
84.21/84.57 c #Conflicts: 206000 | #Constraints: 18765
84.21/84.57 c #Conflicts: 207000 | #Constraints: 19886
84.21/84.57 c INPROCESSING
84.21/84.57 c GARBAGE COLLECT
84.21/84.57 c #Conflicts: 208000 | #Constraints: 10946
84.21/84.57 c #Conflicts: 209000 | #Constraints: 12451
84.21/84.57 c #Conflicts: 210000 | #Constraints: 13978
84.21/84.57 c #Conflicts: 211000 | #Constraints: 15521
84.21/84.57 c #Conflicts: 212000 | #Constraints: 17073
84.21/84.57 c #Conflicts: 213000 | #Constraints: 18608
131.84/132.30 c #Conflicts: 214000 | #Constraints: 20154
131.84/132.30 c #Conflicts: 215000 | #Constraints: 21722
131.84/132.30 c #Conflicts: 216000 | #Constraints: 23271
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 217000 | #Constraints: 12744
131.84/132.30 c #Conflicts: 218000 | #Constraints: 14322
131.84/132.30 c #Conflicts: 219000 | #Constraints: 15594
131.84/132.30 c #Conflicts: 220000 | #Constraints: 16654
131.84/132.30 c #Conflicts: 221000 | #Constraints: 17764
131.84/132.30 c #Conflicts: 222000 | #Constraints: 18846
131.84/132.30 c #Conflicts: 223000 | #Constraints: 19962
131.84/132.30 c #Conflicts: 224000 | #Constraints: 21038
131.84/132.30 c #Conflicts: 225000 | #Constraints: 22106
131.84/132.30 c #Conflicts: 226000 | #Constraints: 23168
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 227000 | #Constraints: 12634
131.84/132.30 c #Conflicts: 228000 | #Constraints: 13695
131.84/132.30 c #Conflicts: 229000 | #Constraints: 14814
131.84/132.30 c #Conflicts: 230000 | #Constraints: 15901
131.84/132.30 c #Conflicts: 231000 | #Constraints: 16984
131.84/132.30 c #Conflicts: 232000 | #Constraints: 17984
131.84/132.30 c #Conflicts: 233000 | #Constraints: 19107
131.84/132.30 c #Conflicts: 234000 | #Constraints: 20218
131.84/132.30 c #Conflicts: 235000 | #Constraints: 21285
131.84/132.30 c #Conflicts: 236000 | #Constraints: 22368
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 237000 | #Constraints: 12264
131.84/132.30 c #Conflicts: 238000 | #Constraints: 13404
131.84/132.30 c #Conflicts: 239000 | #Constraints: 14488
131.84/132.30 c #Conflicts: 240000 | #Constraints: 15549
131.84/132.30 c #Conflicts: 241000 | #Constraints: 16617
131.84/132.30 c #Conflicts: 242000 | #Constraints: 17706
131.84/132.30 c #Conflicts: 243000 | #Constraints: 18825
131.84/132.30 c #Conflicts: 244000 | #Constraints: 19940
131.84/132.30 c #Conflicts: 245000 | #Constraints: 21084
131.84/132.30 c #Conflicts: 246000 | #Constraints: 22190
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 247000 | #Constraints: 12166
131.84/132.30 c #Conflicts: 248000 | #Constraints: 13250
131.84/132.30 c #Conflicts: 249000 | #Constraints: 14334
131.84/132.30 c #Conflicts: 250000 | #Constraints: 15425
131.84/132.30 c #Conflicts: 251000 | #Constraints: 16493
131.84/132.30 c #Conflicts: 252000 | #Constraints: 17558
131.84/132.30 c #Conflicts: 253000 | #Constraints: 18614
131.84/132.30 c #Conflicts: 254000 | #Constraints: 19707
131.84/132.30 c #Conflicts: 255000 | #Constraints: 20810
131.84/132.30 c #Conflicts: 256000 | #Constraints: 21978
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 257000 | #Constraints: 11976
131.84/132.30 c #Conflicts: 258000 | #Constraints: 13026
131.84/132.30 c #Conflicts: 259000 | #Constraints: 14096
131.84/132.30 c #Conflicts: 260000 | #Constraints: 15177
131.84/132.30 c #Conflicts: 261000 | #Constraints: 16260
131.84/132.30 c #Conflicts: 262000 | #Constraints: 17314
131.84/132.30 c #Conflicts: 263000 | #Constraints: 18430
131.84/132.30 c #Conflicts: 264000 | #Constraints: 19549
131.84/132.30 c #Conflicts: 265000 | #Constraints: 20675
131.84/132.30 c #Conflicts: 266000 | #Constraints: 21770
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 267000 | #Constraints: 11609
131.84/132.30 c #Conflicts: 268000 | #Constraints: 12674
131.84/132.30 c #Conflicts: 269000 | #Constraints: 13767
131.84/132.30 c #Conflicts: 270000 | #Constraints: 14836
131.84/132.30 c #Conflicts: 271000 | #Constraints: 15897
131.84/132.30 c #Conflicts: 272000 | #Constraints: 16981
131.84/132.30 c #Conflicts: 273000 | #Constraints: 18072
131.84/132.30 c #Conflicts: 274000 | #Constraints: 19160
131.84/132.30 c #Conflicts: 275000 | #Constraints: 20226
131.84/132.30 c #Conflicts: 276000 | #Constraints: 21311
131.84/132.30 c #Conflicts: 277000 | #Constraints: 22404
131.84/132.30 c INPROCESSING
131.84/132.30 c GARBAGE COLLECT
131.84/132.30 c #Conflicts: 278000 | #Constraints: 12159
131.84/132.30 c #Conflicts: 279000 | #Constraints: 13223
131.84/132.30 c #Conflicts: 280000 | #Constraints: 14297
131.84/132.30 c #Conflicts: 281000 | #Constraints: 15399
131.84/132.30 c #Conflicts: 282000 | #Constraints: 16462
131.84/132.30 c #Conflicts: 283000 | #Constraints: 17523
131.84/132.30 c #Conflicts: 284000 | #Constraints: 18626
131.84/132.30 c #Conflicts: 285000 | #Constraints: 19710
131.84/132.30 c #Conflicts: 286000 | #Constraints: 20804
131.84/132.30 c #Conflicts: 287000 | #Constraints: 21911
131.84/132.30 c #Conflicts: 288000 | #Constraints: 23007
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 289000 | #Constraints: 12620
180.87/181.54 c #Conflicts: 290000 | #Constraints: 13712
180.87/181.54 c #Conflicts: 291000 | #Constraints: 14768
180.87/181.54 c #Conflicts: 292000 | #Constraints: 15848
180.87/181.54 c #Conflicts: 293000 | #Constraints: 16946
180.87/181.54 c #Conflicts: 294000 | #Constraints: 18106
180.87/181.54 c #Conflicts: 295000 | #Constraints: 19292
180.87/181.54 c #Conflicts: 296000 | #Constraints: 20368
180.87/181.54 c #Conflicts: 297000 | #Constraints: 21417
180.87/181.54 c #Conflicts: 298000 | #Constraints: 22497
180.87/181.54 c #Conflicts: 299000 | #Constraints: 23595
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 300000 | #Constraints: 12890
180.87/181.54 c #Conflicts: 301000 | #Constraints: 13994
180.87/181.54 c #Conflicts: 302000 | #Constraints: 15088
180.87/181.54 c #Conflicts: 303000 | #Constraints: 16167
180.87/181.54 c #Conflicts: 304000 | #Constraints: 17247
180.87/181.54 c #Conflicts: 305000 | #Constraints: 18352
180.87/181.54 c #Conflicts: 306000 | #Constraints: 19674
180.87/181.54 c #Conflicts: 307000 | #Constraints: 20784
180.87/181.54 c #Conflicts: 308000 | #Constraints: 21866
180.87/181.54 c #Conflicts: 309000 | #Constraints: 22973
180.87/181.54 c #Conflicts: 310000 | #Constraints: 24072
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 311000 | #Constraints: 13002
180.87/181.54 c #Conflicts: 312000 | #Constraints: 14094
180.87/181.54 c #Conflicts: 313000 | #Constraints: 15227
180.87/181.54 c #Conflicts: 314000 | #Constraints: 16374
180.87/181.54 c #Conflicts: 315000 | #Constraints: 17451
180.87/181.54 c #Conflicts: 316000 | #Constraints: 18550
180.87/181.54 c #Conflicts: 317000 | #Constraints: 19630
180.87/181.54 c #Conflicts: 318000 | #Constraints: 20729
180.87/181.54 c #Conflicts: 319000 | #Constraints: 21852
180.87/181.54 c #Conflicts: 320000 | #Constraints: 22972
180.87/181.54 c #Conflicts: 321000 | #Constraints: 24069
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 322000 | #Constraints: 12790
180.87/181.54 c #Conflicts: 323000 | #Constraints: 13868
180.87/181.54 c #Conflicts: 324000 | #Constraints: 14952
180.87/181.54 c #Conflicts: 325000 | #Constraints: 16024
180.87/181.54 c #Conflicts: 326000 | #Constraints: 17091
180.87/181.54 c #Conflicts: 327000 | #Constraints: 18145
180.87/181.54 c #Conflicts: 328000 | #Constraints: 19206
180.87/181.54 c #Conflicts: 329000 | #Constraints: 20247
180.87/181.54 c #Conflicts: 330000 | #Constraints: 21337
180.87/181.54 c #Conflicts: 331000 | #Constraints: 22416
180.87/181.54 c #Conflicts: 332000 | #Constraints: 23466
180.87/181.54 c #Conflicts: 333000 | #Constraints: 24536
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 334000 | #Constraints: 13235
180.87/181.54 c #Conflicts: 335000 | #Constraints: 14331
180.87/181.54 c #Conflicts: 336000 | #Constraints: 15419
180.87/181.54 c #Conflicts: 337000 | #Constraints: 16551
180.87/181.54 c #Conflicts: 338000 | #Constraints: 17621
180.87/181.54 c #Conflicts: 339000 | #Constraints: 18724
180.87/181.54 c #Conflicts: 340000 | #Constraints: 19818
180.87/181.54 c #Conflicts: 341000 | #Constraints: 20915
180.87/181.54 c #Conflicts: 342000 | #Constraints: 21991
180.87/181.54 c #Conflicts: 343000 | #Constraints: 23076
180.87/181.54 c #Conflicts: 344000 | #Constraints: 24161
180.87/181.54 c #Conflicts: 345000 | #Constraints: 25231
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 346000 | #Constraints: 13726
180.87/181.54 c #Conflicts: 347000 | #Constraints: 14870
180.87/181.54 c #Conflicts: 348000 | #Constraints: 15935
180.87/181.54 c #Conflicts: 349000 | #Constraints: 17014
180.87/181.54 c #Conflicts: 350000 | #Constraints: 18091
180.87/181.54 c #Conflicts: 351000 | #Constraints: 19225
180.87/181.54 c #Conflicts: 352000 | #Constraints: 20331
180.87/181.54 c #Conflicts: 353000 | #Constraints: 21395
180.87/181.54 c #Conflicts: 354000 | #Constraints: 22466
180.87/181.54 c #Conflicts: 355000 | #Constraints: 23530
180.87/181.54 c #Conflicts: 356000 | #Constraints: 24613
180.87/181.54 c #Conflicts: 357000 | #Constraints: 25673
180.87/181.54 c INPROCESSING
180.87/181.54 c GARBAGE COLLECT
180.87/181.54 c #Conflicts: 358000 | #Constraints: 13896
180.87/181.54 c #Conflicts: 359000 | #Constraints: 14986
180.87/181.54 c #Conflicts: 360000 | #Constraints: 16104
180.87/181.54 c #Conflicts: 361000 | #Constraints: 17207
180.87/181.54 c #Conflicts: 362000 | #Constraints: 18277
236.06/236.98 c #Conflicts: 363000 | #Constraints: 19351
236.06/236.98 c #Conflicts: 364000 | #Constraints: 20399
236.06/236.98 c #Conflicts: 365000 | #Constraints: 21499
236.06/236.98 c #Conflicts: 366000 | #Constraints: 22573
236.06/236.98 c #Conflicts: 367000 | #Constraints: 23711
236.06/236.98 c #Conflicts: 368000 | #Constraints: 24785
236.06/236.98 c #Conflicts: 369000 | #Constraints: 25869
236.06/236.98 c INPROCESSING
236.06/236.98 c GARBAGE COLLECT
236.06/236.98 c #Conflicts: 370000 | #Constraints: 13910
236.06/236.98 c #Conflicts: 371000 | #Constraints: 14987
236.06/236.98 c #Conflicts: 372000 | #Constraints: 16041
236.06/236.98 c #Conflicts: 373000 | #Constraints: 17112
236.06/236.98 c #Conflicts: 374000 | #Constraints: 18174
236.06/236.98 c #Conflicts: 375000 | #Constraints: 19236
236.06/236.98 c #Conflicts: 376000 | #Constraints: 20296
236.06/236.98 c #Conflicts: 377000 | #Constraints: 21347
236.06/236.98 c #Conflicts: 378000 | #Constraints: 22408
236.06/236.98 c #Conflicts: 379000 | #Constraints: 23494
236.06/236.98 c #Conflicts: 380000 | #Constraints: 24569
236.06/236.98 c #Conflicts: 381000 | #Constraints: 25676
236.06/236.98 c INPROCESSING
236.06/236.98 c GARBAGE COLLECT
236.06/236.98 c #Conflicts: 382000 | #Constraints: 13594
236.06/236.98 c #Conflicts: 383000 | #Constraints: 14671
236.06/236.98 c #Conflicts: 384000 | #Constraints: 15740
236.06/236.98 c #Conflicts: 385000 | #Constraints: 16848
236.06/236.98 c #Conflicts: 386000 | #Constraints: 17920
236.06/236.98 c #Conflicts: 387000 | #Constraints: 18982
236.06/236.98 c #Conflicts: 388000 | #Constraints: 20048
236.06/236.98 c #Conflicts: 389000 | #Constraints: 21174
236.06/236.98 c #Conflicts: 390000 | #Constraints: 22232
236.06/236.98 c #Conflicts: 391000 | #Constraints: 23291
236.06/236.98 c #Conflicts: 392000 | #Constraints: 24407
236.06/236.98 c #Conflicts: 393000 | #Constraints: 25484
236.06/236.98 c #Conflicts: 394000 | #Constraints: 26545
236.06/236.98 c INPROCESSING
236.06/236.98 c GARBAGE COLLECT
236.06/236.98 c #Conflicts: 395000 | #Constraints: 14235
236.06/236.98 c #Conflicts: 396000 | #Constraints: 15354
236.06/236.98 c #Conflicts: 397000 | #Constraints: 16455
236.06/236.98 c #Conflicts: 398000 | #Constraints: 17517
236.06/236.98 c #Conflicts: 399000 | #Constraints: 18577
236.06/236.98 c #Conflicts: 400000 | #Constraints: 19640
236.06/236.98 c #Conflicts: 401000 | #Constraints: 20724
236.06/236.98 c #Conflicts: 402000 | #Constraints: 21818
236.06/236.98 c #Conflicts: 403000 | #Constraints: 22905
236.06/236.98 c #Conflicts: 404000 | #Constraints: 23990
236.06/236.98 c #Conflicts: 405000 | #Constraints: 25067
236.06/236.98 c #Conflicts: 406000 | #Constraints: 26157
236.06/236.98 c #Conflicts: 407000 | #Constraints: 27229
236.06/236.98 c INPROCESSING
236.06/236.98 c GARBAGE COLLECT
236.06/236.98 c #Conflicts: 408000 | #Constraints: 14687
236.06/236.98 c #Conflicts: 409000 | #Constraints: 15801
236.06/236.98 c #Conflicts: 410000 | #Constraints: 16879
236.06/236.98 c #Conflicts: 411000 | #Constraints: 17943
236.06/236.98 c #Conflicts: 412000 | #Constraints: 19002
236.06/236.98 c #Conflicts: 413000 | #Constraints: 20092
236.06/236.98 c #Conflicts: 414000 | #Constraints: 21197
236.06/236.98 c #Conflicts: 415000 | #Constraints: 22254
236.06/236.98 c #Conflicts: 416000 | #Constraints: 23400
236.06/236.98 c #Conflicts: 417000 | #Constraints: 24479
236.06/236.98 c #Conflicts: 418000 | #Constraints: 25526
236.06/236.98 c #Conflicts: 419000 | #Constraints: 26587
236.06/236.98 c #Conflicts: 420000 | #Constraints: 27652
236.06/236.98 c INPROCESSING
236.06/236.98 c GARBAGE COLLECT
236.06/236.98 c #Conflicts: 421000 | #Constraints: 14931
236.06/236.98 c #Conflicts: 422000 | #Constraints: 15977
236.06/236.98 c #Conflicts: 423000 | #Constraints: 17032
236.06/236.98 c #Conflicts: 424000 | #Constraints: 18102
236.06/236.98 c #Conflicts: 425000 | #Constraints: 19184
236.06/236.98 c #Conflicts: 426000 | #Constraints: 20275
236.06/236.98 c #Conflicts: 427000 | #Constraints: 21355
236.06/236.98 c #Conflicts: 428000 | #Constraints: 22461
236.06/236.98 c #Conflicts: 429000 | #Constraints: 23527
236.06/236.98 c #Conflicts: 430000 | #Constraints: 24619
236.06/236.98 c #Conflicts: 431000 | #Constraints: 25678
236.06/236.98 c #Conflicts: 432000 | #Constraints: 26766
236.06/236.98 c #Conflicts: 433000 | #Constraints: 27826
236.06/236.98 c INPROCESSING
236.06/236.98 c GARBAGE COLLECT
236.06/236.98 c rational objective 2
256.79/257.77 c #Conflicts: 434000 | #Constraints: 14855
256.79/257.77 c #Conflicts: 435000 | #Constraints: 15966
256.79/257.77 c #Conflicts: 436000 | #Constraints: 17083
256.79/257.77 c #Conflicts: 437000 | #Constraints: 18150
256.79/257.77 c #Conflicts: 438000 | #Constraints: 19228
256.79/257.77 c #Conflicts: 439000 | #Constraints: 20341
256.79/257.77 c #Conflicts: 440000 | #Constraints: 21446
256.79/257.77 c #Conflicts: 441000 | #Constraints: 22557
256.79/257.77 c #Conflicts: 442000 | #Constraints: 23628
256.79/257.77 c #Conflicts: 443000 | #Constraints: 24739
256.79/257.77 c #Conflicts: 444000 | #Constraints: 25949
256.79/257.77 c #Conflicts: 445000 | #Constraints: 27085
256.79/257.77 c #Conflicts: 446000 | #Constraints: 28203
256.79/257.77 c INPROCESSING
256.79/257.77 c GARBAGE COLLECT
256.79/257.77 c #Conflicts: 447000 | #Constraints: 14905
256.79/257.77 c #Conflicts: 448000 | #Constraints: 16014
256.79/257.77 c #Conflicts: 449000 | #Constraints: 17091
256.79/257.77 c #Conflicts: 450000 | #Constraints: 18218
256.79/257.77 c #Conflicts: 451000 | #Constraints: 19218
256.79/257.77 c #Conflicts: 452000 | #Constraints: 20227
256.79/257.77 c #Conflicts: 453000 | #Constraints: 21324
256.79/257.77 c #Conflicts: 454000 | #Constraints: 22324
256.79/257.77 c #Conflicts: 455000 | #Constraints: 23324
256.79/257.77 c #Conflicts: 456000 | #Constraints: 24324
256.79/257.77 c #Conflicts: 457000 | #Constraints: 25324
256.79/257.77 c #Conflicts: 458000 | #Constraints: 26324
256.79/257.77 c #Conflicts: 459000 | #Constraints: 27324
256.79/257.77 c #Conflicts: 460000 | #Constraints: 28324
256.79/257.77 c INPROCESSING
256.79/257.77 c GARBAGE COLLECT
256.79/257.77 c rational objective 2
268.84/269.85 c #Conflicts: 461000 | #Constraints: 15141
268.84/269.85 c #Conflicts: 462000 | #Constraints: 16221
268.84/269.85 c #Conflicts: 463000 | #Constraints: 17299
268.84/269.85 c #Conflicts: 464000 | #Constraints: 18300
268.84/269.85 c #Conflicts: 465000 | #Constraints: 19354
268.84/269.85 c #Conflicts: 466000 | #Constraints: 20432
268.84/269.85 c #Conflicts: 467000 | #Constraints: 21513
268.84/269.85 c #Conflicts: 468000 | #Constraints: 22613
268.84/269.85 c #Conflicts: 469000 | #Constraints: 23666
268.84/269.85 c #Conflicts: 470000 | #Constraints: 24707
268.84/269.85 c #Conflicts: 471000 | #Constraints: 25785
268.84/269.85 c #Conflicts: 472000 | #Constraints: 26855
268.84/269.85 c #Conflicts: 473000 | #Constraints: 27906
268.84/269.85 c #Conflicts: 474000 | #Constraints: 28968
268.84/269.85 c INPROCESSING
268.84/269.85 c GARBAGE COLLECT
268.84/269.85 c rational objective 2
282.79/283.88 c #Conflicts: 475000 | #Constraints: 15456
282.79/283.88 c #Conflicts: 476000 | #Constraints: 16456
282.79/283.88 c #Conflicts: 477000 | #Constraints: 17499
282.79/283.88 c #Conflicts: 478000 | #Constraints: 18599
282.79/283.88 c #Conflicts: 479000 | #Constraints: 19674
282.79/283.88 c #Conflicts: 480000 | #Constraints: 20776
282.79/283.88 c #Conflicts: 481000 | #Constraints: 21849
282.79/283.88 c #Conflicts: 482000 | #Constraints: 22948
282.79/283.88 c #Conflicts: 483000 | #Constraints: 24033
282.79/283.88 c #Conflicts: 484000 | #Constraints: 25121
282.79/283.88 c #Conflicts: 485000 | #Constraints: 26201
282.79/283.88 c #Conflicts: 486000 | #Constraints: 27308
282.79/283.88 c #Conflicts: 487000 | #Constraints: 28402
282.79/283.88 c #Conflicts: 488000 | #Constraints: 29508
282.79/283.88 c INPROCESSING
282.79/283.88 c GARBAGE COLLECT
282.79/283.88 c rational objective 2
295.75/296.81 c #Conflicts: 489000 | #Constraints: 15763
295.75/296.81 c #Conflicts: 490000 | #Constraints: 16763
295.75/296.81 c #Conflicts: 491000 | #Constraints: 17763
295.75/296.81 c #Conflicts: 492000 | #Constraints: 18763
295.75/296.81 c #Conflicts: 493000 | #Constraints: 19763
295.75/296.81 c #Conflicts: 494000 | #Constraints: 20763
295.75/296.81 c #Conflicts: 495000 | #Constraints: 21763
295.75/296.81 c #Conflicts: 496000 | #Constraints: 22763
295.75/296.81 c #Conflicts: 497000 | #Constraints: 23763
295.75/296.81 c #Conflicts: 498000 | #Constraints: 24763
295.75/296.81 c #Conflicts: 499000 | #Constraints: 25763
295.75/296.81 c #Conflicts: 500000 | #Constraints: 26763
295.75/296.81 c #Conflicts: 501000 | #Constraints: 27844
295.75/296.81 c #Conflicts: 502000 | #Constraints: 28944
295.75/296.81 c INPROCESSING
295.75/296.81 c GARBAGE COLLECT
295.75/296.81 c rational objective 2
307.61/308.73 c #Conflicts: 503000 | #Constraints: 15513
307.61/308.73 c #Conflicts: 504000 | #Constraints: 16576
307.61/308.73 c #Conflicts: 505000 | #Constraints: 17576
307.61/308.73 c #Conflicts: 506000 | #Constraints: 18576
307.61/308.73 c #Conflicts: 507000 | #Constraints: 19576
307.61/308.73 c #Conflicts: 508000 | #Constraints: 20576
307.61/308.73 c #Conflicts: 509000 | #Constraints: 21576
307.61/308.73 c #Conflicts: 510000 | #Constraints: 22576
307.61/308.73 c #Conflicts: 511000 | #Constraints: 23576
307.61/308.73 c #Conflicts: 512000 | #Constraints: 24576
307.61/308.73 c #Conflicts: 513000 | #Constraints: 25576
307.61/308.73 c #Conflicts: 514000 | #Constraints: 26576
307.61/308.73 c #Conflicts: 515000 | #Constraints: 27576
307.61/308.73 c #Conflicts: 516000 | #Constraints: 28576
307.61/308.73 c INPROCESSING
307.61/308.73 c GARBAGE COLLECT
307.61/308.73 c rational objective 2
319.37/320.54 c #Conflicts: 517000 | #Constraints: 14999
319.37/320.54 c #Conflicts: 518000 | #Constraints: 16040
319.37/320.54 c #Conflicts: 519000 | #Constraints: 17040
319.37/320.54 c #Conflicts: 520000 | #Constraints: 18040
319.37/320.54 c #Conflicts: 521000 | #Constraints: 19040
319.37/320.54 c #Conflicts: 522000 | #Constraints: 20040
319.37/320.54 c #Conflicts: 523000 | #Constraints: 21040
319.37/320.54 c #Conflicts: 524000 | #Constraints: 22040
319.37/320.54 c #Conflicts: 525000 | #Constraints: 23040
319.37/320.54 c #Conflicts: 526000 | #Constraints: 24040
319.37/320.54 c #Conflicts: 527000 | #Constraints: 25040
319.37/320.54 c #Conflicts: 528000 | #Constraints: 26040
319.37/320.54 c #Conflicts: 529000 | #Constraints: 27040
319.37/320.54 c #Conflicts: 530000 | #Constraints: 28071
319.37/320.54 c #Conflicts: 531000 | #Constraints: 29157
319.37/320.54 c INPROCESSING
319.37/320.54 c GARBAGE COLLECT
319.37/320.54 c rational objective 2
331.33/332.57 c #Conflicts: 532000 | #Constraints: 15562
331.33/332.57 c #Conflicts: 533000 | #Constraints: 16562
331.33/332.57 c #Conflicts: 534000 | #Constraints: 17562
331.33/332.57 c #Conflicts: 535000 | #Constraints: 18562
331.33/332.57 c #Conflicts: 536000 | #Constraints: 19562
331.33/332.57 c #Conflicts: 537000 | #Constraints: 20562
331.33/332.57 c #Conflicts: 538000 | #Constraints: 21562
331.33/332.57 c #Conflicts: 539000 | #Constraints: 22562
331.33/332.57 c #Conflicts: 540000 | #Constraints: 23562
331.33/332.57 c #Conflicts: 541000 | #Constraints: 24562
331.33/332.57 c #Conflicts: 542000 | #Constraints: 25562
331.33/332.57 c #Conflicts: 543000 | #Constraints: 26562
331.33/332.57 c #Conflicts: 544000 | #Constraints: 27562
331.33/332.57 c #Conflicts: 545000 | #Constraints: 28562
331.33/332.57 c #Conflicts: 546000 | #Constraints: 29562
331.33/332.57 c INPROCESSING
331.33/332.57 c GARBAGE COLLECT
331.33/332.57 c rational objective 2
343.19/344.44 c #Conflicts: 547000 | #Constraints: 15786
343.19/344.44 c #Conflicts: 548000 | #Constraints: 16786
343.19/344.44 c #Conflicts: 549000 | #Constraints: 17786
343.19/344.44 c #Conflicts: 550000 | #Constraints: 18786
343.19/344.44 c #Conflicts: 551000 | #Constraints: 19786
343.19/344.44 c #Conflicts: 552000 | #Constraints: 20786
343.19/344.44 c #Conflicts: 553000 | #Constraints: 21786
343.19/344.44 c #Conflicts: 554000 | #Constraints: 22786
343.19/344.44 c #Conflicts: 555000 | #Constraints: 23786
343.19/344.44 c #Conflicts: 556000 | #Constraints: 24786
343.19/344.44 c #Conflicts: 557000 | #Constraints: 25786
343.19/344.44 c #Conflicts: 558000 | #Constraints: 26786
343.19/344.44 c #Conflicts: 559000 | #Constraints: 27786
343.19/344.44 c #Conflicts: 560000 | #Constraints: 28786
343.19/344.44 c #Conflicts: 561000 | #Constraints: 29786
343.19/344.44 c INPROCESSING
343.19/344.44 c GARBAGE COLLECT
343.19/344.44 c rational objective 2
355.85/357.19 c #Conflicts: 562000 | #Constraints: 15897
355.85/357.19 c #Conflicts: 563000 | #Constraints: 16897
355.85/357.19 c #Conflicts: 564000 | #Constraints: 17897
355.85/357.19 c #Conflicts: 565000 | #Constraints: 18897
355.85/357.19 c #Conflicts: 566000 | #Constraints: 19897
355.85/357.19 c #Conflicts: 567000 | #Constraints: 20897
355.85/357.19 c #Conflicts: 568000 | #Constraints: 21897
355.85/357.19 c #Conflicts: 569000 | #Constraints: 22897
355.85/357.19 c #Conflicts: 570000 | #Constraints: 23897
355.85/357.19 c #Conflicts: 571000 | #Constraints: 24897
355.85/357.19 c #Conflicts: 572000 | #Constraints: 25897
355.85/357.19 c #Conflicts: 573000 | #Constraints: 26897
355.85/357.19 c #Conflicts: 574000 | #Constraints: 27897
355.85/357.19 c #Conflicts: 575000 | #Constraints: 28897
355.85/357.19 c #Conflicts: 576000 | #Constraints: 29897
355.85/357.19 c INPROCESSING
355.85/357.19 c GARBAGE COLLECT
355.85/357.19 c rational objective 2
369.40/370.78 c #Conflicts: 577000 | #Constraints: 15913
369.40/370.78 c #Conflicts: 578000 | #Constraints: 17196
369.40/370.78 c #Conflicts: 579000 | #Constraints: 18254
369.40/370.78 c #Conflicts: 580000 | #Constraints: 19315
369.40/370.78 c #Conflicts: 581000 | #Constraints: 20398
369.40/370.78 c #Conflicts: 582000 | #Constraints: 21477
369.40/370.78 c #Conflicts: 583000 | #Constraints: 22569
369.40/370.78 c #Conflicts: 584000 | #Constraints: 23636
369.40/370.78 c #Conflicts: 585000 | #Constraints: 24720
369.40/370.78 c #Conflicts: 586000 | #Constraints: 25819
369.40/370.78 c #Conflicts: 587000 | #Constraints: 26929
369.40/370.78 c #Conflicts: 588000 | #Constraints: 28028
369.40/370.78 c #Conflicts: 589000 | #Constraints: 29109
369.40/370.78 c #Conflicts: 590000 | #Constraints: 30192
369.40/370.78 c #Conflicts: 591000 | #Constraints: 31292
369.40/370.78 c INPROCESSING
369.40/370.78 c GARBAGE COLLECT
369.40/370.78 c rational objective 2
383.55/384.91 c #Conflicts: 592000 | #Constraints: 16384
383.55/384.91 c #Conflicts: 593000 | #Constraints: 17384
383.55/384.91 c #Conflicts: 594000 | #Constraints: 18384
383.55/384.91 c #Conflicts: 595000 | #Constraints: 19384
383.55/384.91 c #Conflicts: 596000 | #Constraints: 20384
383.55/384.91 c #Conflicts: 597000 | #Constraints: 21384
383.55/384.91 c #Conflicts: 598000 | #Constraints: 22384
383.55/384.91 c #Conflicts: 599000 | #Constraints: 23384
383.55/384.91 c #Conflicts: 600000 | #Constraints: 24384
383.55/384.91 c #Conflicts: 601000 | #Constraints: 25384
383.55/384.91 c #Conflicts: 602000 | #Constraints: 26384
383.55/384.91 c #Conflicts: 603000 | #Constraints: 27384
383.55/384.91 c #Conflicts: 604000 | #Constraints: 28384
383.55/384.91 c #Conflicts: 605000 | #Constraints: 29384
383.55/384.91 c #Conflicts: 606000 | #Constraints: 30384
383.55/384.91 c #Conflicts: 607000 | #Constraints: 31384
383.55/384.91 c INPROCESSING
383.55/384.91 c GARBAGE COLLECT
383.55/384.91 c rational objective 2
397.80/399.24 c #Conflicts: 608000 | #Constraints: 16599
397.80/399.24 c #Conflicts: 609000 | #Constraints: 17599
397.80/399.24 c #Conflicts: 610000 | #Constraints: 18599
397.80/399.24 c #Conflicts: 611000 | #Constraints: 19599
397.80/399.24 c #Conflicts: 612000 | #Constraints: 20599
397.80/399.24 c #Conflicts: 613000 | #Constraints: 21599
397.80/399.24 c #Conflicts: 614000 | #Constraints: 22599
397.80/399.24 c #Conflicts: 615000 | #Constraints: 23599
397.80/399.24 c #Conflicts: 616000 | #Constraints: 24646
397.80/399.24 c #Conflicts: 617000 | #Constraints: 25741
397.80/399.24 c #Conflicts: 618000 | #Constraints: 26849
397.80/399.24 c #Conflicts: 619000 | #Constraints: 27989
397.80/399.24 c #Conflicts: 620000 | #Constraints: 29131
397.80/399.24 c #Conflicts: 621000 | #Constraints: 30305
397.80/399.24 c #Conflicts: 622000 | #Constraints: 31421
397.80/399.24 c #Conflicts: 623000 | #Constraints: 32556
397.80/399.24 c INPROCESSING
397.80/399.24 c GARBAGE COLLECT
397.80/399.24 c rational objective 2
412.76/414.24 c #Conflicts: 624000 | #Constraints: 17282
412.76/414.24 c #Conflicts: 625000 | #Constraints: 18282
412.76/414.24 c #Conflicts: 626000 | #Constraints: 19282
412.76/414.24 c #Conflicts: 627000 | #Constraints: 20282
412.76/414.24 c #Conflicts: 628000 | #Constraints: 21282
412.76/414.24 c #Conflicts: 629000 | #Constraints: 22282
412.76/414.24 c #Conflicts: 630000 | #Constraints: 23282
412.76/414.24 c #Conflicts: 631000 | #Constraints: 24282
412.76/414.24 c #Conflicts: 632000 | #Constraints: 25282
412.76/414.24 c #Conflicts: 633000 | #Constraints: 26282
412.76/414.24 c #Conflicts: 634000 | #Constraints: 27282
412.76/414.24 c #Conflicts: 635000 | #Constraints: 28282
412.76/414.24 c #Conflicts: 636000 | #Constraints: 29282
412.76/414.24 c #Conflicts: 637000 | #Constraints: 30348
412.76/414.24 c #Conflicts: 638000 | #Constraints: 31470
412.76/414.24 c #Conflicts: 639000 | #Constraints: 32657
412.76/414.24 c INPROCESSING
412.76/414.24 c GARBAGE COLLECT
412.76/414.24 c rational objective 2
428.99/430.52 c #Conflicts: 640000 | #Constraints: 17394
428.99/430.52 c #Conflicts: 641000 | #Constraints: 18495
428.99/430.52 c #Conflicts: 642000 | #Constraints: 19590
428.99/430.52 c #Conflicts: 643000 | #Constraints: 20679
428.99/430.52 c #Conflicts: 644000 | #Constraints: 21753
428.99/430.52 c #Conflicts: 645000 | #Constraints: 22821
428.99/430.52 c #Conflicts: 646000 | #Constraints: 23896
428.99/430.52 c #Conflicts: 647000 | #Constraints: 24984
428.99/430.52 c #Conflicts: 648000 | #Constraints: 26053
428.99/430.52 c #Conflicts: 649000 | #Constraints: 27122
428.99/430.52 c #Conflicts: 650000 | #Constraints: 28180
428.99/430.52 c #Conflicts: 651000 | #Constraints: 29256
428.99/430.52 c #Conflicts: 652000 | #Constraints: 30352
428.99/430.52 c #Conflicts: 653000 | #Constraints: 31477
428.99/430.52 c #Conflicts: 654000 | #Constraints: 32553
428.99/430.52 c #Conflicts: 655000 | #Constraints: 33623
428.99/430.52 c INPROCESSING
428.99/430.52 c GARBAGE COLLECT
428.99/430.52 c rational objective 2
444.74/446.33 c #Conflicts: 656000 | #Constraints: 17721
444.74/446.33 c #Conflicts: 657000 | #Constraints: 18721
444.74/446.33 c #Conflicts: 658000 | #Constraints: 19721
444.74/446.33 c #Conflicts: 659000 | #Constraints: 20721
444.74/446.33 c #Conflicts: 660000 | #Constraints: 21721
444.74/446.33 c #Conflicts: 661000 | #Constraints: 22721
444.74/446.33 c #Conflicts: 662000 | #Constraints: 23721
444.74/446.33 c #Conflicts: 663000 | #Constraints: 24721
444.74/446.33 c #Conflicts: 664000 | #Constraints: 25721
444.74/446.33 c #Conflicts: 665000 | #Constraints: 26721
444.74/446.33 c #Conflicts: 666000 | #Constraints: 27721
444.74/446.33 c #Conflicts: 667000 | #Constraints: 28728
444.74/446.33 c #Conflicts: 668000 | #Constraints: 29819
444.74/446.33 c #Conflicts: 669000 | #Constraints: 30978
444.74/446.33 c #Conflicts: 670000 | #Constraints: 32108
444.74/446.33 c #Conflicts: 671000 | #Constraints: 33198
444.74/446.33 c INPROCESSING
444.74/446.33 c GARBAGE COLLECT
444.74/446.33 c rational objective 2
460.08/461.77 c #Conflicts: 672000 | #Constraints: 17337
460.08/461.77 c #Conflicts: 673000 | #Constraints: 18337
460.08/461.77 c #Conflicts: 674000 | #Constraints: 19337
460.08/461.77 c #Conflicts: 675000 | #Constraints: 20337
460.08/461.77 c #Conflicts: 676000 | #Constraints: 21337
460.08/461.77 c #Conflicts: 677000 | #Constraints: 22337
460.08/461.77 c #Conflicts: 678000 | #Constraints: 23337
460.08/461.77 c #Conflicts: 679000 | #Constraints: 24337
460.08/461.77 c #Conflicts: 680000 | #Constraints: 25337
460.08/461.77 c #Conflicts: 681000 | #Constraints: 26337
460.08/461.77 c #Conflicts: 682000 | #Constraints: 27337
460.08/461.77 c #Conflicts: 683000 | #Constraints: 28337
460.08/461.77 c #Conflicts: 684000 | #Constraints: 29337
460.08/461.77 c #Conflicts: 685000 | #Constraints: 30337
460.08/461.77 c #Conflicts: 686000 | #Constraints: 31337
460.08/461.77 c #Conflicts: 687000 | #Constraints: 32367
460.08/461.77 c #Conflicts: 688000 | #Constraints: 33437
460.08/461.77 c INPROCESSING
460.08/461.77 c GARBAGE COLLECT
460.08/461.77 c rational objective 2
475.04/476.79 c #Conflicts: 689000 | #Constraints: 17631
475.04/476.79 c #Conflicts: 690000 | #Constraints: 18631
475.04/476.79 c #Conflicts: 691000 | #Constraints: 19631
475.04/476.79 c #Conflicts: 692000 | #Constraints: 20631
475.04/476.79 c #Conflicts: 693000 | #Constraints: 21631
475.04/476.79 c #Conflicts: 694000 | #Constraints: 22631
475.04/476.79 c #Conflicts: 695000 | #Constraints: 23631
475.04/476.79 c #Conflicts: 696000 | #Constraints: 24631
475.04/476.79 c #Conflicts: 697000 | #Constraints: 25631
475.04/476.79 c #Conflicts: 698000 | #Constraints: 26631
475.04/476.79 c #Conflicts: 699000 | #Constraints: 27631
475.04/476.79 c #Conflicts: 700000 | #Constraints: 28631
475.04/476.79 c #Conflicts: 701000 | #Constraints: 29631
475.04/476.79 c #Conflicts: 702000 | #Constraints: 30631
475.04/476.79 c #Conflicts: 703000 | #Constraints: 31631
475.04/476.79 c #Conflicts: 704000 | #Constraints: 32633
475.04/476.79 c #Conflicts: 705000 | #Constraints: 33747
475.04/476.79 c INPROCESSING
475.04/476.79 c GARBAGE COLLECT
475.04/476.79 c rational objective 2
490.98/492.75 c #Conflicts: 706000 | #Constraints: 18007
490.98/492.75 c #Conflicts: 707000 | #Constraints: 19141
490.98/492.75 c #Conflicts: 708000 | #Constraints: 20303
490.98/492.75 c #Conflicts: 709000 | #Constraints: 21468
490.98/492.75 c #Conflicts: 710000 | #Constraints: 22643
490.98/492.75 c #Conflicts: 711000 | #Constraints: 23803
490.98/492.75 c #Conflicts: 712000 | #Constraints: 24967
490.98/492.75 c #Conflicts: 713000 | #Constraints: 26109
490.98/492.75 c #Conflicts: 714000 | #Constraints: 27263
490.98/492.75 c #Conflicts: 715000 | #Constraints: 28455
490.98/492.75 c #Conflicts: 716000 | #Constraints: 29642
490.98/492.75 c #Conflicts: 717000 | #Constraints: 30790
490.98/492.75 c #Conflicts: 718000 | #Constraints: 31944
490.98/492.75 c #Conflicts: 719000 | #Constraints: 33042
490.98/492.75 c #Conflicts: 720000 | #Constraints: 34153
490.98/492.75 c #Conflicts: 721000 | #Constraints: 35271
490.98/492.75 c #Conflicts: 722000 | #Constraints: 36396
490.98/492.75 c INPROCESSING
490.98/492.75 c GARBAGE COLLECT
490.98/492.75 c rational objective 2
509.92/511.78 c #Conflicts: 723000 | #Constraints: 19292
509.92/511.78 c #Conflicts: 724000 | #Constraints: 20386
509.92/511.78 c #Conflicts: 725000 | #Constraints: 21478
509.92/511.78 c #Conflicts: 726000 | #Constraints: 22563
509.92/511.78 c #Conflicts: 727000 | #Constraints: 23662
509.92/511.78 c #Conflicts: 728000 | #Constraints: 24768
509.92/511.78 c #Conflicts: 729000 | #Constraints: 25860
509.92/511.78 c #Conflicts: 730000 | #Constraints: 26956
509.92/511.78 c #Conflicts: 731000 | #Constraints: 28040
509.92/511.78 c #Conflicts: 732000 | #Constraints: 29133
509.92/511.78 c #Conflicts: 733000 | #Constraints: 30240
509.92/511.78 c #Conflicts: 734000 | #Constraints: 31349
509.92/511.78 c #Conflicts: 735000 | #Constraints: 32473
509.92/511.78 c #Conflicts: 736000 | #Constraints: 33602
509.92/511.78 c #Conflicts: 737000 | #Constraints: 34712
509.92/511.78 c #Conflicts: 738000 | #Constraints: 35828
509.92/511.78 c #Conflicts: 739000 | #Constraints: 36938
509.92/511.78 c INPROCESSING
509.92/511.78 c GARBAGE COLLECT
509.92/511.78 c rational objective 2
528.96/530.88 c #Conflicts: 740000 | #Constraints: 19450
528.96/530.88 c #Conflicts: 741000 | #Constraints: 20521
528.96/530.88 c #Conflicts: 742000 | #Constraints: 21634
528.96/530.88 c #Conflicts: 743000 | #Constraints: 22745
528.96/530.88 c #Conflicts: 744000 | #Constraints: 23833
528.96/530.88 c #Conflicts: 745000 | #Constraints: 24933
528.96/530.88 c #Conflicts: 746000 | #Constraints: 26039
528.96/530.88 c #Conflicts: 747000 | #Constraints: 27145
528.96/530.88 c #Conflicts: 748000 | #Constraints: 28243
528.96/530.88 c #Conflicts: 749000 | #Constraints: 29325
528.96/530.88 c #Conflicts: 750000 | #Constraints: 30400
528.96/530.88 c #Conflicts: 751000 | #Constraints: 31491
528.96/530.88 c #Conflicts: 752000 | #Constraints: 32605
528.96/530.88 c #Conflicts: 753000 | #Constraints: 33697
528.96/530.88 c #Conflicts: 754000 | #Constraints: 34811
528.96/530.88 c #Conflicts: 755000 | #Constraints: 35922
528.96/530.88 c #Conflicts: 756000 | #Constraints: 37092
528.96/530.88 c INPROCESSING
528.96/530.88 c GARBAGE COLLECT
528.96/530.88 c rational objective 2
548.20/550.11 c #Conflicts: 757000 | #Constraints: 19294
548.20/550.11 c #Conflicts: 758000 | #Constraints: 20294
548.20/550.11 c #Conflicts: 759000 | #Constraints: 21294
548.20/550.11 c #Conflicts: 760000 | #Constraints: 22294
548.20/550.11 c #Conflicts: 761000 | #Constraints: 23294
548.20/550.11 c #Conflicts: 762000 | #Constraints: 24294
548.20/550.11 c #Conflicts: 763000 | #Constraints: 25302
548.20/550.11 c #Conflicts: 764000 | #Constraints: 26405
548.20/550.11 c #Conflicts: 765000 | #Constraints: 27526
548.20/550.11 c #Conflicts: 766000 | #Constraints: 28645
548.20/550.11 c #Conflicts: 767000 | #Constraints: 29757
548.20/550.11 c #Conflicts: 768000 | #Constraints: 30897
548.20/550.11 c #Conflicts: 769000 | #Constraints: 32070
548.20/550.11 c #Conflicts: 770000 | #Constraints: 33162
548.20/550.11 c #Conflicts: 771000 | #Constraints: 34275
548.20/550.11 c #Conflicts: 772000 | #Constraints: 35421
548.20/550.11 c #Conflicts: 773000 | #Constraints: 36531
548.20/550.11 c #Conflicts: 774000 | #Constraints: 37652
548.20/550.11 c INPROCESSING
548.20/550.11 c GARBAGE COLLECT
548.20/550.11 c rational objective 2
567.33/569.37 c #Conflicts: 775000 | #Constraints: 19744
567.33/569.37 c #Conflicts: 776000 | #Constraints: 20744
567.33/569.37 c #Conflicts: 777000 | #Constraints: 21744
567.33/569.37 c #Conflicts: 778000 | #Constraints: 22744
567.33/569.37 c #Conflicts: 779000 | #Constraints: 23744
567.33/569.37 c #Conflicts: 780000 | #Constraints: 24744
567.33/569.37 c #Conflicts: 781000 | #Constraints: 25744
567.33/569.37 c #Conflicts: 782000 | #Constraints: 26744
567.33/569.37 c #Conflicts: 783000 | #Constraints: 27744
567.33/569.37 c #Conflicts: 784000 | #Constraints: 28744
567.33/569.37 c #Conflicts: 785000 | #Constraints: 29744
567.33/569.37 c #Conflicts: 786000 | #Constraints: 30744
567.33/569.37 c #Conflicts: 787000 | #Constraints: 31744
567.33/569.37 c #Conflicts: 788000 | #Constraints: 32744
567.33/569.37 c #Conflicts: 789000 | #Constraints: 33744
567.33/569.37 c #Conflicts: 790000 | #Constraints: 34744
567.33/569.37 c #Conflicts: 791000 | #Constraints: 35744
567.33/569.37 c #Conflicts: 792000 | #Constraints: 36744
567.33/569.37 c INPROCESSING
567.33/569.37 c GARBAGE COLLECT
567.33/569.37 c rational objective 2
588.06/590.16 c #Conflicts: 793000 | #Constraints: 19479
588.06/590.16 c #Conflicts: 794000 | #Constraints: 20633
588.06/590.16 c #Conflicts: 795000 | #Constraints: 21799
588.06/590.16 c #Conflicts: 796000 | #Constraints: 22918
588.06/590.16 c #Conflicts: 797000 | #Constraints: 24051
588.06/590.16 c #Conflicts: 798000 | #Constraints: 25171
588.06/590.16 c #Conflicts: 799000 | #Constraints: 26279
588.06/590.16 c #Conflicts: 800000 | #Constraints: 27422
588.06/590.16 c #Conflicts: 801000 | #Constraints: 28548
588.06/590.16 c #Conflicts: 802000 | #Constraints: 29697
588.06/590.16 c #Conflicts: 803000 | #Constraints: 30795
588.06/590.16 c #Conflicts: 804000 | #Constraints: 31892
588.06/590.16 c #Conflicts: 805000 | #Constraints: 33037
588.06/590.16 c #Conflicts: 806000 | #Constraints: 34173
588.06/590.16 c #Conflicts: 807000 | #Constraints: 35309
588.06/590.16 c #Conflicts: 808000 | #Constraints: 36409
588.06/590.16 c #Conflicts: 809000 | #Constraints: 37517
588.06/590.16 c #Conflicts: 810000 | #Constraints: 38626
588.06/590.16 c INPROCESSING
588.06/590.16 c GARBAGE COLLECT
588.06/590.16 c rational objective 2
607.89/610.04 c #Conflicts: 811000 | #Constraints: 20376
607.89/610.04 c #Conflicts: 812000 | #Constraints: 21475
607.89/610.04 c #Conflicts: 813000 | #Constraints: 22583
607.89/610.04 c #Conflicts: 814000 | #Constraints: 23698
607.89/610.04 c #Conflicts: 815000 | #Constraints: 24795
607.89/610.04 c #Conflicts: 816000 | #Constraints: 25891
607.89/610.04 c #Conflicts: 817000 | #Constraints: 26992
607.89/610.04 c #Conflicts: 818000 | #Constraints: 28094
607.89/610.04 c #Conflicts: 819000 | #Constraints: 29192
607.89/610.04 c #Conflicts: 820000 | #Constraints: 30314
607.89/610.04 c #Conflicts: 821000 | #Constraints: 31409
607.89/610.04 c #Conflicts: 822000 | #Constraints: 32546
607.89/610.04 c #Conflicts: 823000 | #Constraints: 33678
607.89/610.04 c #Conflicts: 824000 | #Constraints: 34876
607.89/610.04 c #Conflicts: 825000 | #Constraints: 36029
607.89/610.04 c #Conflicts: 826000 | #Constraints: 37163
607.89/610.04 c #Conflicts: 827000 | #Constraints: 38270
607.89/610.04 c #Conflicts: 828000 | #Constraints: 39372
607.89/610.04 c INPROCESSING
607.89/610.04 c GARBAGE COLLECT
607.89/610.04 c rational objective 2
632.30/634.57 c #Conflicts: 829000 | #Constraints: 20663
632.30/634.57 c #Conflicts: 830000 | #Constraints: 21695
632.30/634.57 c #Conflicts: 831000 | #Constraints: 22740
632.30/634.57 c #Conflicts: 832000 | #Constraints: 23804
632.30/634.57 c #Conflicts: 833000 | #Constraints: 24865
632.30/634.57 c #Conflicts: 834000 | #Constraints: 25912
632.30/634.57 c #Conflicts: 835000 | #Constraints: 26974
632.30/634.57 c #Conflicts: 836000 | #Constraints: 28031
632.30/634.57 c #Conflicts: 837000 | #Constraints: 29100
632.30/634.57 c #Conflicts: 838000 | #Constraints: 30175
632.30/634.57 c #Conflicts: 839000 | #Constraints: 31260
632.30/634.57 c #Conflicts: 840000 | #Constraints: 32319
632.30/634.57 c #Conflicts: 841000 | #Constraints: 33382
632.30/634.57 c #Conflicts: 842000 | #Constraints: 34445
632.30/634.57 c #Conflicts: 843000 | #Constraints: 35445
632.30/634.57 c #Conflicts: 844000 | #Constraints: 36495
632.30/634.57 c #Conflicts: 845000 | #Constraints: 37544
632.30/634.57 c #Conflicts: 846000 | #Constraints: 38583
632.30/634.57 c INPROCESSING
632.30/634.57 c GARBAGE COLLECT
632.30/634.57 c rational objective 2
654.12/656.45 c #Conflicts: 847000 | #Constraints: 20012
654.12/656.45 c #Conflicts: 848000 | #Constraints: 21090
654.12/656.45 c #Conflicts: 849000 | #Constraints: 22240
654.12/656.45 c #Conflicts: 850000 | #Constraints: 23308
654.12/656.45 c #Conflicts: 851000 | #Constraints: 24371
654.12/656.45 c #Conflicts: 852000 | #Constraints: 25446
654.12/656.45 c #Conflicts: 853000 | #Constraints: 26613
654.12/656.45 c #Conflicts: 854000 | #Constraints: 27709
654.12/656.45 c #Conflicts: 855000 | #Constraints: 28792
654.12/656.45 c #Conflicts: 856000 | #Constraints: 29910
654.12/656.45 c #Conflicts: 857000 | #Constraints: 31012
654.12/656.45 c #Conflicts: 858000 | #Constraints: 32086
654.12/656.45 c #Conflicts: 859000 | #Constraints: 33187
654.12/656.45 c #Conflicts: 860000 | #Constraints: 34296
654.12/656.45 c #Conflicts: 861000 | #Constraints: 35396
654.12/656.45 c #Conflicts: 862000 | #Constraints: 36456
654.12/656.45 c #Conflicts: 863000 | #Constraints: 37557
654.12/656.45 c #Conflicts: 864000 | #Constraints: 38637
654.12/656.45 c #Conflicts: 865000 | #Constraints: 39731
654.12/656.45 c INPROCESSING
654.12/656.45 c GARBAGE COLLECT
654.12/656.45 c rational objective 2
678.74/681.14 c #Conflicts: 866000 | #Constraints: 20790
678.74/681.14 c #Conflicts: 867000 | #Constraints: 21791
678.74/681.14 c #Conflicts: 868000 | #Constraints: 22901
678.74/681.14 c #Conflicts: 869000 | #Constraints: 24053
678.74/681.14 c #Conflicts: 870000 | #Constraints: 25154
678.74/681.14 c #Conflicts: 871000 | #Constraints: 26308
678.74/681.14 c #Conflicts: 872000 | #Constraints: 27452
678.74/681.14 c #Conflicts: 873000 | #Constraints: 28620
678.74/681.14 c #Conflicts: 874000 | #Constraints: 29755
678.74/681.14 c #Conflicts: 875000 | #Constraints: 30894
678.74/681.14 c #Conflicts: 876000 | #Constraints: 32069
678.74/681.14 c #Conflicts: 877000 | #Constraints: 33199
678.74/681.14 c #Conflicts: 878000 | #Constraints: 34307
678.74/681.14 c #Conflicts: 879000 | #Constraints: 35407
678.74/681.14 c #Conflicts: 880000 | #Constraints: 36527
678.74/681.14 c #Conflicts: 881000 | #Constraints: 37641
678.74/681.14 c #Conflicts: 882000 | #Constraints: 38754
678.74/681.14 c #Conflicts: 883000 | #Constraints: 39857
678.74/681.14 c #Conflicts: 884000 | #Constraints: 41008
678.74/681.14 c INPROCESSING
678.74/681.14 c GARBAGE COLLECT
678.74/681.14 c rational objective 2
703.55/706.08 c #Conflicts: 885000 | #Constraints: 21513
703.55/706.08 c #Conflicts: 886000 | #Constraints: 22513
703.55/706.08 c #Conflicts: 887000 | #Constraints: 23517
703.55/706.08 c #Conflicts: 888000 | #Constraints: 24602
703.55/706.08 c #Conflicts: 889000 | #Constraints: 25717
703.55/706.08 c #Conflicts: 890000 | #Constraints: 26821
703.55/706.08 c #Conflicts: 891000 | #Constraints: 27915
703.55/706.08 c #Conflicts: 892000 | #Constraints: 29090
703.55/706.08 c #Conflicts: 893000 | #Constraints: 30183
703.55/706.08 c #Conflicts: 894000 | #Constraints: 31294
703.55/706.08 c #Conflicts: 895000 | #Constraints: 32392
703.55/706.08 c #Conflicts: 896000 | #Constraints: 33508
703.55/706.08 c #Conflicts: 897000 | #Constraints: 34584
703.55/706.08 c #Conflicts: 898000 | #Constraints: 35693
703.55/706.08 c #Conflicts: 899000 | #Constraints: 36836
703.55/706.08 c #Conflicts: 900000 | #Constraints: 37974
703.55/706.08 c #Conflicts: 901000 | #Constraints: 39053
703.55/706.08 c #Conflicts: 902000 | #Constraints: 40165
703.55/706.08 c #Conflicts: 903000 | #Constraints: 41346
703.55/706.08 c INPROCESSING
703.55/706.08 c GARBAGE COLLECT
703.55/706.08 c rational objective 2
728.64/731.22 c #Conflicts: 904000 | #Constraints: 21757
728.64/731.22 c #Conflicts: 905000 | #Constraints: 22899
728.64/731.22 c #Conflicts: 906000 | #Constraints: 23998
728.64/731.22 c #Conflicts: 907000 | #Constraints: 25123
728.64/731.22 c #Conflicts: 908000 | #Constraints: 26227
728.64/731.22 c #Conflicts: 909000 | #Constraints: 27352
728.64/731.22 c #Conflicts: 910000 | #Constraints: 28449
728.64/731.22 c #Conflicts: 911000 | #Constraints: 29540
728.64/731.22 c #Conflicts: 912000 | #Constraints: 30673
728.64/731.22 c #Conflicts: 913000 | #Constraints: 31822
728.64/731.22 c #Conflicts: 914000 | #Constraints: 32938
728.64/731.22 c #Conflicts: 915000 | #Constraints: 34060
728.64/731.22 c #Conflicts: 916000 | #Constraints: 35143
728.64/731.22 c #Conflicts: 917000 | #Constraints: 36246
728.64/731.22 c #Conflicts: 918000 | #Constraints: 37335
728.64/731.22 c #Conflicts: 919000 | #Constraints: 38482
728.64/731.22 c #Conflicts: 920000 | #Constraints: 39617
728.64/731.22 c #Conflicts: 921000 | #Constraints: 40738
728.64/731.22 c #Conflicts: 922000 | #Constraints: 41879
728.64/731.22 c INPROCESSING
728.64/731.22 c GARBAGE COLLECT
728.64/731.22 c rational objective 2
753.75/756.45 c #Conflicts: 923000 | #Constraints: 21853
753.75/756.45 c #Conflicts: 924000 | #Constraints: 22853
753.75/756.45 c #Conflicts: 925000 | #Constraints: 23853
753.75/756.45 c #Conflicts: 926000 | #Constraints: 24853
753.75/756.45 c #Conflicts: 927000 | #Constraints: 25853
753.75/756.45 c #Conflicts: 928000 | #Constraints: 26853
753.75/756.45 c #Conflicts: 929000 | #Constraints: 27853
753.75/756.45 c #Conflicts: 930000 | #Constraints: 28853
753.75/756.45 c #Conflicts: 931000 | #Constraints: 29853
753.75/756.45 c #Conflicts: 932000 | #Constraints: 30853
753.75/756.45 c #Conflicts: 933000 | #Constraints: 31853
753.75/756.45 c #Conflicts: 934000 | #Constraints: 32853
753.75/756.45 c #Conflicts: 935000 | #Constraints: 33853
753.75/756.45 c #Conflicts: 936000 | #Constraints: 34853
753.75/756.45 c #Conflicts: 937000 | #Constraints: 35853
753.75/756.45 c #Conflicts: 938000 | #Constraints: 36853
753.75/756.45 c #Conflicts: 939000 | #Constraints: 37853
753.75/756.45 c #Conflicts: 940000 | #Constraints: 38853
753.75/756.45 c #Conflicts: 941000 | #Constraints: 39853
753.75/756.45 c INPROCESSING
753.75/756.45 c GARBAGE COLLECT
753.75/756.45 c rational objective 2
778.66/781.49 c #Conflicts: 942000 | #Constraints: 20671
778.66/781.49 c #Conflicts: 943000 | #Constraints: 21775
778.66/781.49 c #Conflicts: 944000 | #Constraints: 22881
778.66/781.49 c #Conflicts: 945000 | #Constraints: 23990
778.66/781.49 c #Conflicts: 946000 | #Constraints: 25098
778.66/781.49 c #Conflicts: 947000 | #Constraints: 26188
778.66/781.49 c #Conflicts: 948000 | #Constraints: 27318
778.66/781.49 c #Conflicts: 949000 | #Constraints: 28417
778.66/781.49 c #Conflicts: 950000 | #Constraints: 29531
778.66/781.49 c #Conflicts: 951000 | #Constraints: 30640
778.66/781.49 c #Conflicts: 952000 | #Constraints: 31769
778.66/781.49 c #Conflicts: 953000 | #Constraints: 32908
778.66/781.49 c #Conflicts: 954000 | #Constraints: 34044
778.66/781.49 c #Conflicts: 955000 | #Constraints: 35196
778.66/781.49 c #Conflicts: 956000 | #Constraints: 36340
778.66/781.49 c #Conflicts: 957000 | #Constraints: 37448
778.66/781.49 c #Conflicts: 958000 | #Constraints: 38618
778.66/781.49 c #Conflicts: 959000 | #Constraints: 39633
778.66/781.49 c #Conflicts: 960000 | #Constraints: 40699
778.66/781.49 c #Conflicts: 961000 | #Constraints: 41827
778.66/781.49 c INPROCESSING
778.66/781.49 c GARBAGE COLLECT
778.66/781.49 c rational objective 2
814.53/817.44 c #Conflicts: 962000 | #Constraints: 22128
814.53/817.44 c #Conflicts: 963000 | #Constraints: 23284
814.53/817.44 c #Conflicts: 964000 | #Constraints: 24466
814.53/817.44 c #Conflicts: 965000 | #Constraints: 25643
814.53/817.44 c #Conflicts: 966000 | #Constraints: 26877
814.53/817.44 c #Conflicts: 967000 | #Constraints: 27990
814.53/817.44 c #Conflicts: 968000 | #Constraints: 29110
814.53/817.44 c #Conflicts: 969000 | #Constraints: 30215
814.53/817.44 c #Conflicts: 970000 | #Constraints: 31282
814.53/817.44 c #Conflicts: 971000 | #Constraints: 32363
814.53/817.44 c #Conflicts: 972000 | #Constraints: 33434
814.53/817.44 c #Conflicts: 973000 | #Constraints: 34545
814.53/817.44 c #Conflicts: 974000 | #Constraints: 35635
814.53/817.44 c #Conflicts: 975000 | #Constraints: 36718
814.53/817.44 c #Conflicts: 976000 | #Constraints: 37777
814.53/817.44 c #Conflicts: 977000 | #Constraints: 38791
814.53/817.44 c #Conflicts: 978000 | #Constraints: 39791
814.53/817.44 c #Conflicts: 979000 | #Constraints: 40861
814.53/817.44 c #Conflicts: 980000 | #Constraints: 41934
814.53/817.44 c #Conflicts: 981000 | #Constraints: 43053
814.53/817.44 c INPROCESSING
814.53/817.44 c GARBAGE COLLECT
814.53/817.44 c rational objective 2
847.02/850.05 c #Conflicts: 982000 | #Constraints: 22581
847.02/850.05 c #Conflicts: 983000 | #Constraints: 23684
847.02/850.05 c #Conflicts: 984000 | #Constraints: 24688
847.02/850.05 c #Conflicts: 985000 | #Constraints: 25811
847.02/850.05 c #Conflicts: 986000 | #Constraints: 26937
847.02/850.05 c #Conflicts: 987000 | #Constraints: 28033
847.02/850.05 c #Conflicts: 988000 | #Constraints: 29187
847.02/850.05 c #Conflicts: 989000 | #Constraints: 30258
847.02/850.05 c #Conflicts: 990000 | #Constraints: 31360
847.02/850.05 c #Conflicts: 991000 | #Constraints: 32480
847.02/850.05 c #Conflicts: 992000 | #Constraints: 33556
847.02/850.05 c #Conflicts: 993000 | #Constraints: 34629
847.02/850.05 c #Conflicts: 994000 | #Constraints: 35700
847.02/850.05 c #Conflicts: 995000 | #Constraints: 36768
847.02/850.05 c #Conflicts: 996000 | #Constraints: 37816
847.02/850.05 c #Conflicts: 997000 | #Constraints: 38817
847.02/850.05 c #Conflicts: 998000 | #Constraints: 39817
847.02/850.05 c #Conflicts: 999000 | #Constraints: 40817
847.02/850.05 c #Conflicts: 1000000 | #Constraints: 41817
847.02/850.05 c #Conflicts: 1001000 | #Constraints: 42869
847.02/850.05 c INPROCESSING
847.02/850.05 c GARBAGE COLLECT
847.02/850.05 c rational objective 2
876.31/879.42 c #Conflicts: 1002000 | #Constraints: 22540
876.31/879.42 c #Conflicts: 1003000 | #Constraints: 23609
876.31/879.42 c #Conflicts: 1004000 | #Constraints: 24712
876.31/879.42 c #Conflicts: 1005000 | #Constraints: 25811
876.31/879.42 c #Conflicts: 1006000 | #Constraints: 26929
876.31/879.42 c #Conflicts: 1007000 | #Constraints: 27988
876.31/879.42 c #Conflicts: 1008000 | #Constraints: 28988
876.31/879.42 c #Conflicts: 1009000 | #Constraints: 30002
876.31/879.42 c #Conflicts: 1010000 | #Constraints: 31053
876.31/879.42 c #Conflicts: 1011000 | #Constraints: 32113
876.31/879.42 c #Conflicts: 1012000 | #Constraints: 33188
876.31/879.42 c #Conflicts: 1013000 | #Constraints: 34188
876.31/879.42 c #Conflicts: 1014000 | #Constraints: 35280
876.31/879.42 c #Conflicts: 1015000 | #Constraints: 36321
876.31/879.42 c #Conflicts: 1016000 | #Constraints: 37321
876.31/879.42 c #Conflicts: 1017000 | #Constraints: 38359
876.31/879.42 c #Conflicts: 1018000 | #Constraints: 39365
876.31/879.42 c #Conflicts: 1019000 | #Constraints: 40377
876.31/879.42 c #Conflicts: 1020000 | #Constraints: 41377
876.31/879.42 c #Conflicts: 1021000 | #Constraints: 42385
876.31/879.42 c INPROCESSING
876.31/879.42 c GARBAGE COLLECT
876.31/879.42 c rational objective 2
906.07/909.32 c #Conflicts: 1022000 | #Constraints: 22113
906.07/909.32 c #Conflicts: 1023000 | #Constraints: 23205
906.07/909.32 c #Conflicts: 1024000 | #Constraints: 24321
906.07/909.32 c #Conflicts: 1025000 | #Constraints: 25435
906.07/909.32 c #Conflicts: 1026000 | #Constraints: 26444
906.07/909.32 c #Conflicts: 1027000 | #Constraints: 27450
906.07/909.32 c #Conflicts: 1028000 | #Constraints: 28450
906.07/909.32 c #Conflicts: 1029000 | #Constraints: 29457
906.07/909.32 c #Conflicts: 1030000 | #Constraints: 30457
906.07/909.32 c #Conflicts: 1031000 | #Constraints: 31461
906.07/909.32 c #Conflicts: 1032000 | #Constraints: 32461
906.07/909.32 c #Conflicts: 1033000 | #Constraints: 33480
906.07/909.32 c #Conflicts: 1034000 | #Constraints: 34480
906.07/909.32 c #Conflicts: 1035000 | #Constraints: 35545
906.07/909.32 c #Conflicts: 1036000 | #Constraints: 36616
906.07/909.32 c #Conflicts: 1037000 | #Constraints: 37687
906.07/909.32 c #Conflicts: 1038000 | #Constraints: 38743
906.07/909.32 c #Conflicts: 1039000 | #Constraints: 39762
906.07/909.32 c #Conflicts: 1040000 | #Constraints: 40762
906.07/909.32 c #Conflicts: 1041000 | #Constraints: 41799
906.07/909.32 c INPROCESSING
906.07/909.32 c GARBAGE COLLECT
906.07/909.32 c rational objective 2
940.46/943.80 c #Conflicts: 1042000 | #Constraints: 21631
940.46/943.80 c #Conflicts: 1043000 | #Constraints: 22668
940.46/943.80 c #Conflicts: 1044000 | #Constraints: 23754
940.46/943.80 c #Conflicts: 1045000 | #Constraints: 24855
940.46/943.80 c #Conflicts: 1046000 | #Constraints: 25962
940.46/943.80 c #Conflicts: 1047000 | #Constraints: 27039
940.46/943.80 c #Conflicts: 1048000 | #Constraints: 28127
940.46/943.80 c #Conflicts: 1049000 | #Constraints: 29230
940.46/943.80 c #Conflicts: 1050000 | #Constraints: 30325
940.46/943.80 c #Conflicts: 1051000 | #Constraints: 31405
940.46/943.80 c #Conflicts: 1052000 | #Constraints: 32484
940.46/943.80 c #Conflicts: 1053000 | #Constraints: 33575
940.46/943.80 c #Conflicts: 1054000 | #Constraints: 34690
940.46/943.80 c #Conflicts: 1055000 | #Constraints: 35792
940.46/943.80 c #Conflicts: 1056000 | #Constraints: 36888
940.46/943.80 c #Conflicts: 1057000 | #Constraints: 38001
940.46/943.80 c #Conflicts: 1058000 | #Constraints: 39037
940.46/943.80 c #Conflicts: 1059000 | #Constraints: 40133
940.46/943.80 c #Conflicts: 1060000 | #Constraints: 41212
940.46/943.80 c #Conflicts: 1061000 | #Constraints: 42299
940.46/943.80 c #Conflicts: 1062000 | #Constraints: 43375
940.46/943.80 c INPROCESSING
940.46/943.80 c GARBAGE COLLECT
940.46/943.80 c rational objective 2
972.04/975.58 c #Conflicts: 1063000 | #Constraints: 22643
972.04/975.58 c #Conflicts: 1064000 | #Constraints: 23743
972.04/975.58 c #Conflicts: 1065000 | #Constraints: 24799
972.04/975.58 c #Conflicts: 1066000 | #Constraints: 25869
972.04/975.58 c #Conflicts: 1067000 | #Constraints: 26933
972.04/975.58 c #Conflicts: 1068000 | #Constraints: 28010
972.04/975.58 c #Conflicts: 1069000 | #Constraints: 29115
972.04/975.58 c #Conflicts: 1070000 | #Constraints: 30208
972.04/975.58 c #Conflicts: 1071000 | #Constraints: 31279
972.04/975.58 c #Conflicts: 1072000 | #Constraints: 32338
972.04/975.58 c #Conflicts: 1073000 | #Constraints: 33401
972.04/975.58 c #Conflicts: 1074000 | #Constraints: 34462
972.04/975.58 c #Conflicts: 1075000 | #Constraints: 35548
972.04/975.58 c #Conflicts: 1076000 | #Constraints: 36616
972.04/975.58 c #Conflicts: 1077000 | #Constraints: 37710
972.04/975.58 c #Conflicts: 1078000 | #Constraints: 38779
972.04/975.58 c #Conflicts: 1079000 | #Constraints: 39903
972.04/975.58 c #Conflicts: 1080000 | #Constraints: 40984
972.04/975.58 c #Conflicts: 1081000 | #Constraints: 42062
972.04/975.58 c #Conflicts: 1082000 | #Constraints: 43139
972.04/975.58 c #Conflicts: 1083000 | #Constraints: 44197
972.04/975.58 c INPROCESSING
972.04/975.58 c GARBAGE COLLECT
972.04/975.58 c rational objective 2
1001.84/1005.50 c #Conflicts: 1084000 | #Constraints: 23105
1001.84/1005.50 c #Conflicts: 1085000 | #Constraints: 24105
1001.84/1005.50 c #Conflicts: 1086000 | #Constraints: 25105
1001.84/1005.50 c #Conflicts: 1087000 | #Constraints: 26105
1001.84/1005.50 c #Conflicts: 1088000 | #Constraints: 27105
1001.84/1005.50 c #Conflicts: 1089000 | #Constraints: 28105
1001.84/1005.50 c #Conflicts: 1090000 | #Constraints: 29105
1001.84/1005.50 c #Conflicts: 1091000 | #Constraints: 30105
1001.84/1005.50 c #Conflicts: 1092000 | #Constraints: 31105
1001.84/1005.50 c #Conflicts: 1093000 | #Constraints: 32105
1001.84/1005.50 c #Conflicts: 1094000 | #Constraints: 33105
1001.84/1005.50 c #Conflicts: 1095000 | #Constraints: 34105
1001.84/1005.50 c #Conflicts: 1096000 | #Constraints: 35105
1001.84/1005.50 c #Conflicts: 1097000 | #Constraints: 36105
1001.84/1005.50 c #Conflicts: 1098000 | #Constraints: 37105
1001.84/1005.50 c #Conflicts: 1099000 | #Constraints: 38105
1001.84/1005.50 c #Conflicts: 1100000 | #Constraints: 39105
1001.84/1005.50 c #Conflicts: 1101000 | #Constraints: 40105
1001.84/1005.50 c #Conflicts: 1102000 | #Constraints: 41105
1001.84/1005.50 c #Conflicts: 1103000 | #Constraints: 42105
1001.84/1005.50 c #Conflicts: 1104000 | #Constraints: 43105
1001.84/1005.50 c INPROCESSING
1001.84/1005.50 c GARBAGE COLLECT
1001.84/1005.50 c rational objective 2
1032.23/1035.95 c #Conflicts: 1105000 | #Constraints: 22560
1032.23/1035.95 c #Conflicts: 1106000 | #Constraints: 23560
1032.23/1035.95 c #Conflicts: 1107000 | #Constraints: 24560
1032.23/1035.95 c #Conflicts: 1108000 | #Constraints: 25560
1032.23/1035.95 c #Conflicts: 1109000 | #Constraints: 26560
1032.23/1035.95 c #Conflicts: 1110000 | #Constraints: 27560
1032.23/1035.95 c #Conflicts: 1111000 | #Constraints: 28560
1032.23/1035.95 c #Conflicts: 1112000 | #Constraints: 29560
1032.23/1035.95 c #Conflicts: 1113000 | #Constraints: 30560
1032.23/1035.95 c #Conflicts: 1114000 | #Constraints: 31560
1032.23/1035.95 c #Conflicts: 1115000 | #Constraints: 32560
1032.23/1035.95 c #Conflicts: 1116000 | #Constraints: 33560
1032.23/1035.95 c #Conflicts: 1117000 | #Constraints: 34560
1032.23/1035.95 c #Conflicts: 1118000 | #Constraints: 35560
1032.23/1035.95 c #Conflicts: 1119000 | #Constraints: 36560
1032.23/1035.95 c #Conflicts: 1120000 | #Constraints: 37560
1032.23/1035.95 c #Conflicts: 1121000 | #Constraints: 38560
1032.23/1035.95 c #Conflicts: 1122000 | #Constraints: 39560
1032.23/1035.95 c #Conflicts: 1123000 | #Constraints: 40560
1032.23/1035.95 c #Conflicts: 1124000 | #Constraints: 41560
1032.23/1035.95 c #Conflicts: 1125000 | #Constraints: 42560
1032.23/1035.95 c INPROCESSING
1032.23/1035.95 c GARBAGE COLLECT
1032.23/1035.95 c rational objective 2
1063.01/1066.82 c #Conflicts: 1126000 | #Constraints: 22259
1063.01/1066.82 c #Conflicts: 1127000 | #Constraints: 23357
1063.01/1066.82 c #Conflicts: 1128000 | #Constraints: 24439
1063.01/1066.82 c #Conflicts: 1129000 | #Constraints: 25570
1063.01/1066.82 c #Conflicts: 1130000 | #Constraints: 26745
1063.01/1066.82 c #Conflicts: 1131000 | #Constraints: 27824
1063.01/1066.82 c #Conflicts: 1132000 | #Constraints: 28954
1063.01/1066.82 c #Conflicts: 1133000 | #Constraints: 30063
1063.01/1066.82 c #Conflicts: 1134000 | #Constraints: 31173
1063.01/1066.82 c #Conflicts: 1135000 | #Constraints: 32275
1063.01/1066.82 c #Conflicts: 1136000 | #Constraints: 33368
1063.01/1066.82 c #Conflicts: 1137000 | #Constraints: 34490
1063.01/1066.82 c #Conflicts: 1138000 | #Constraints: 35571
1063.01/1066.82 c #Conflicts: 1139000 | #Constraints: 36651
1063.01/1066.82 c #Conflicts: 1140000 | #Constraints: 37734
1063.01/1066.82 c #Conflicts: 1141000 | #Constraints: 38825
1063.01/1066.82 c #Conflicts: 1142000 | #Constraints: 39958
1063.01/1066.82 c #Conflicts: 1143000 | #Constraints: 41041
1063.01/1066.82 c #Conflicts: 1144000 | #Constraints: 42092
1063.01/1066.82 c #Conflicts: 1145000 | #Constraints: 43165
1063.01/1066.82 c #Conflicts: 1146000 | #Constraints: 44251
1063.01/1066.82 c INPROCESSING
1063.01/1066.82 c GARBAGE COLLECT
1063.01/1066.82 c rational objective 2
1096.89/1100.87 c #Conflicts: 1147000 | #Constraints: 22879
1096.89/1100.87 c #Conflicts: 1148000 | #Constraints: 23983
1096.89/1100.87 c #Conflicts: 1149000 | #Constraints: 25092
1096.89/1100.87 c #Conflicts: 1150000 | #Constraints: 26208
1096.89/1100.87 c #Conflicts: 1151000 | #Constraints: 27305
1096.89/1100.87 c #Conflicts: 1152000 | #Constraints: 28415
1096.89/1100.87 c #Conflicts: 1153000 | #Constraints: 29519
1096.89/1100.87 c #Conflicts: 1154000 | #Constraints: 30618
1096.89/1100.87 c #Conflicts: 1155000 | #Constraints: 31817
1096.89/1100.87 c #Conflicts: 1156000 | #Constraints: 32968
1096.89/1100.87 c #Conflicts: 1157000 | #Constraints: 34070
1096.89/1100.87 c #Conflicts: 1158000 | #Constraints: 35157
1096.89/1100.87 c #Conflicts: 1159000 | #Constraints: 36266
1096.89/1100.87 c #Conflicts: 1160000 | #Constraints: 37472
1096.89/1100.87 c #Conflicts: 1161000 | #Constraints: 38554
1096.89/1100.87 c #Conflicts: 1162000 | #Constraints: 39663
1096.89/1100.87 c #Conflicts: 1163000 | #Constraints: 40781
1096.89/1100.87 c #Conflicts: 1164000 | #Constraints: 41900
1096.89/1100.87 c #Conflicts: 1165000 | #Constraints: 43049
1096.89/1100.87 c #Conflicts: 1166000 | #Constraints: 44217
1096.89/1100.87 c #Conflicts: 1167000 | #Constraints: 45321
1096.89/1100.87 c #Conflicts: 1168000 | #Constraints: 46426
1096.89/1100.87 c INPROCESSING
1096.89/1100.87 c GARBAGE COLLECT
1096.89/1100.87 c rational objective 2
1129.26/1133.39 c #Conflicts: 1169000 | #Constraints: 24130
1129.26/1133.39 c #Conflicts: 1170000 | #Constraints: 25130
1129.26/1133.39 c #Conflicts: 1171000 | #Constraints: 26130
1129.26/1133.39 c #Conflicts: 1172000 | #Constraints: 27130
1129.26/1133.39 c #Conflicts: 1173000 | #Constraints: 28130
1129.26/1133.39 c #Conflicts: 1174000 | #Constraints: 29130
1129.26/1133.39 c #Conflicts: 1175000 | #Constraints: 30174
1129.26/1133.39 c #Conflicts: 1176000 | #Constraints: 31262
1129.26/1133.39 c #Conflicts: 1177000 | #Constraints: 32346
1129.26/1133.39 c #Conflicts: 1178000 | #Constraints: 33426
1129.26/1133.39 c #Conflicts: 1179000 | #Constraints: 34530
1129.26/1133.39 c #Conflicts: 1180000 | #Constraints: 35616
1129.26/1133.39 c #Conflicts: 1181000 | #Constraints: 36704
1129.26/1133.39 c #Conflicts: 1182000 | #Constraints: 37797
1129.26/1133.39 c #Conflicts: 1183000 | #Constraints: 38871
1129.26/1133.39 c #Conflicts: 1184000 | #Constraints: 39952
1129.26/1133.39 c #Conflicts: 1185000 | #Constraints: 41067
1129.26/1133.39 c #Conflicts: 1186000 | #Constraints: 42151
1129.26/1133.39 c #Conflicts: 1187000 | #Constraints: 43257
1129.26/1133.39 c #Conflicts: 1188000 | #Constraints: 44341
1129.26/1133.39 c #Conflicts: 1189000 | #Constraints: 45429
1129.26/1133.39 c #Conflicts: 1190000 | #Constraints: 46535
1129.26/1133.39 c INPROCESSING
1129.26/1133.39 c GARBAGE COLLECT
1129.26/1133.39 c rational objective 2
1160.96/1165.12 c #Conflicts: 1191000 | #Constraints: 24336
1160.96/1165.12 c #Conflicts: 1192000 | #Constraints: 25407
1160.96/1165.12 c #Conflicts: 1193000 | #Constraints: 26420
1160.96/1165.12 c #Conflicts: 1194000 | #Constraints: 27488
1160.96/1165.12 c #Conflicts: 1195000 | #Constraints: 28509
1160.96/1165.12 c #Conflicts: 1196000 | #Constraints: 29509
1160.96/1165.12 c #Conflicts: 1197000 | #Constraints: 30509
1160.96/1165.12 c #Conflicts: 1198000 | #Constraints: 31509
1160.96/1165.12 c #Conflicts: 1199000 | #Constraints: 32509
1160.96/1165.12 c #Conflicts: 1200000 | #Constraints: 33509
1160.96/1165.12 c #Conflicts: 1201000 | #Constraints: 34509
1160.96/1165.12 c #Conflicts: 1202000 | #Constraints: 35509
1160.96/1165.12 c #Conflicts: 1203000 | #Constraints: 36509
1160.96/1165.12 c #Conflicts: 1204000 | #Constraints: 37509
1160.96/1165.12 c #Conflicts: 1205000 | #Constraints: 38509
1160.96/1165.12 c #Conflicts: 1206000 | #Constraints: 39509
1160.96/1165.12 c #Conflicts: 1207000 | #Constraints: 40509
1160.96/1165.12 c #Conflicts: 1208000 | #Constraints: 41509
1160.96/1165.12 c #Conflicts: 1209000 | #Constraints: 42509
1160.96/1165.12 c #Conflicts: 1210000 | #Constraints: 43509
1160.96/1165.12 c #Conflicts: 1211000 | #Constraints: 44509
1160.96/1165.12 c #Conflicts: 1212000 | #Constraints: 45509
1160.96/1165.12 c INPROCESSING
1160.96/1165.12 c GARBAGE COLLECT
1160.96/1165.12 c rational objective 2
1188.95/1193.22 c #Conflicts: 1213000 | #Constraints: 23759
1188.95/1193.22 c #Conflicts: 1214000 | #Constraints: 24759
1188.95/1193.22 c #Conflicts: 1215000 | #Constraints: 25759
1188.95/1193.22 c #Conflicts: 1216000 | #Constraints: 26759
1188.95/1193.22 c #Conflicts: 1217000 | #Constraints: 27759
1188.95/1193.22 c #Conflicts: 1218000 | #Constraints: 28759
1188.95/1193.22 c #Conflicts: 1219000 | #Constraints: 29759
1188.95/1193.22 c #Conflicts: 1220000 | #Constraints: 30759
1188.95/1193.22 c #Conflicts: 1221000 | #Constraints: 31759
1188.95/1193.22 c #Conflicts: 1222000 | #Constraints: 32759
1188.95/1193.22 c #Conflicts: 1223000 | #Constraints: 33759
1188.95/1193.22 c #Conflicts: 1224000 | #Constraints: 34759
1188.95/1193.22 c #Conflicts: 1225000 | #Constraints: 35759
1188.95/1193.22 c #Conflicts: 1226000 | #Constraints: 36759
1188.95/1193.22 c #Conflicts: 1227000 | #Constraints: 37759
1188.95/1193.22 c #Conflicts: 1228000 | #Constraints: 38759
1188.95/1193.22 c #Conflicts: 1229000 | #Constraints: 39759
1188.95/1193.22 c #Conflicts: 1230000 | #Constraints: 40759
1188.95/1193.22 c #Conflicts: 1231000 | #Constraints: 41759
1188.95/1193.22 c #Conflicts: 1232000 | #Constraints: 42759
1188.95/1193.22 c #Conflicts: 1233000 | #Constraints: 43759
1188.95/1193.22 c #Conflicts: 1234000 | #Constraints: 44759
1188.95/1193.22 c INPROCESSING
1188.95/1193.22 c GARBAGE COLLECT
1188.95/1193.22 c rational objective 2
1316.96/1321.78 c #Conflicts: 1235000 | #Constraints: 23345
1316.96/1321.78 c #Conflicts: 1236000 | #Constraints: 24485
1316.96/1321.78 c #Conflicts: 1237000 | #Constraints: 25603
1316.96/1321.78 c #Conflicts: 1238000 | #Constraints: 26744
1316.96/1321.78 c #Conflicts: 1239000 | #Constraints: 27881
1316.96/1321.78 c #Conflicts: 1240000 | #Constraints: 29014
1316.96/1321.78 c #Conflicts: 1241000 | #Constraints: 30138
1316.96/1321.78 c #Conflicts: 1242000 | #Constraints: 31250
1316.96/1321.78 c #Conflicts: 1243000 | #Constraints: 32354
1316.96/1321.78 c #Conflicts: 1244000 | #Constraints: 33458
1316.96/1321.78 c #Conflicts: 1245000 | #Constraints: 34560
1316.96/1321.78 c #Conflicts: 1246000 | #Constraints: 35689
1316.96/1321.78 c #Conflicts: 1247000 | #Constraints: 36776
1316.96/1321.78 c #Conflicts: 1248000 | #Constraints: 37878
1316.96/1321.78 c #Conflicts: 1249000 | #Constraints: 38963
1316.96/1321.78 c #Conflicts: 1250000 | #Constraints: 40065
1316.96/1321.78 c #Conflicts: 1251000 | #Constraints: 41186
1316.96/1321.78 c #Conflicts: 1252000 | #Constraints: 42288
1316.96/1321.78 c #Conflicts: 1253000 | #Constraints: 43415
1316.96/1321.78 c #Conflicts: 1254000 | #Constraints: 44536
1316.96/1321.78 c #Conflicts: 1255000 | #Constraints: 45652
1316.96/1321.78 c #Conflicts: 1256000 | #Constraints: 46757
1316.96/1321.78 c INPROCESSING
1316.96/1321.78 c GARBAGE COLLECT
1316.96/1321.78 c #Conflicts: 1257000 | #Constraints: 24182
1316.96/1321.78 c #Conflicts: 1258000 | #Constraints: 25301
1316.96/1321.78 c #Conflicts: 1259000 | #Constraints: 26444
1316.96/1321.78 c #Conflicts: 1260000 | #Constraints: 27557
1316.96/1321.78 c #Conflicts: 1261000 | #Constraints: 28695
1316.96/1321.78 c #Conflicts: 1262000 | #Constraints: 29816
1316.96/1321.78 c #Conflicts: 1263000 | #Constraints: 30963
1316.96/1321.78 c #Conflicts: 1264000 | #Constraints: 32066
1316.96/1321.78 c #Conflicts: 1265000 | #Constraints: 33177
1316.96/1321.78 c #Conflicts: 1266000 | #Constraints: 34292
1316.96/1321.78 c #Conflicts: 1267000 | #Constraints: 35474
1316.96/1321.78 c #Conflicts: 1268000 | #Constraints: 36655
1316.96/1321.78 c #Conflicts: 1269000 | #Constraints: 37782
1316.96/1321.78 c #Conflicts: 1270000 | #Constraints: 38869
1316.96/1321.78 c #Conflicts: 1271000 | #Constraints: 39972
1316.96/1321.78 c #Conflicts: 1272000 | #Constraints: 41071
1316.96/1321.78 c #Conflicts: 1273000 | #Constraints: 42208
1316.96/1321.78 c #Conflicts: 1274000 | #Constraints: 43293
1316.96/1321.78 c #Conflicts: 1275000 | #Constraints: 44388
1316.96/1321.78 c #Conflicts: 1276000 | #Constraints: 45526
1316.96/1321.78 c #Conflicts: 1277000 | #Constraints: 46626
1316.96/1321.78 c #Conflicts: 1278000 | #Constraints: 47753
1316.96/1321.78 c #Conflicts: 1279000 | #Constraints: 48903
1316.96/1321.78 c INPROCESSING
1316.96/1321.78 c GARBAGE COLLECT
1316.96/1321.78 c #Conflicts: 1280000 | #Constraints: 25464
1316.96/1321.78 c #Conflicts: 1281000 | #Constraints: 26602
1316.96/1321.78 c #Conflicts: 1282000 | #Constraints: 27735
1316.96/1321.78 c #Conflicts: 1283000 | #Constraints: 28902
1316.96/1321.78 c #Conflicts: 1284000 | #Constraints: 30027
1316.96/1321.78 c #Conflicts: 1285000 | #Constraints: 31160
1316.96/1321.78 c #Conflicts: 1286000 | #Constraints: 32253
1316.96/1321.78 c #Conflicts: 1287000 | #Constraints: 33342
1316.96/1321.78 c #Conflicts: 1288000 | #Constraints: 34445
1316.96/1321.78 c #Conflicts: 1289000 | #Constraints: 35536
1316.96/1321.78 c #Conflicts: 1290000 | #Constraints: 36719
1316.96/1321.78 c #Conflicts: 1291000 | #Constraints: 37912
1316.96/1321.78 c #Conflicts: 1292000 | #Constraints: 39040
1316.96/1321.78 c #Conflicts: 1293000 | #Constraints: 40136
1316.96/1321.78 c #Conflicts: 1294000 | #Constraints: 41242
1316.96/1321.78 c #Conflicts: 1295000 | #Constraints: 42341
1316.96/1321.78 c #Conflicts: 1296000 | #Constraints: 43441
1316.96/1321.78 c #Conflicts: 1297000 | #Constraints: 44547
1316.96/1321.78 c #Conflicts: 1298000 | #Constraints: 45663
1316.96/1321.78 c #Conflicts: 1299000 | #Constraints: 46752
1316.96/1321.78 c #Conflicts: 1300000 | #Constraints: 47847
1316.96/1321.78 c #Conflicts: 1301000 | #Constraints: 48916
1316.96/1321.78 c #Conflicts: 1302000 | #Constraints: 49988
1316.96/1321.78 c INPROCESSING
1316.96/1321.78 c GARBAGE COLLECT
1316.96/1321.78 c #Conflicts: 1303000 | #Constraints: 26107
1316.96/1321.78 c #Conflicts: 1304000 | #Constraints: 27275
1316.96/1321.78 c #Conflicts: 1305000 | #Constraints: 28391
1316.96/1321.78 c #Conflicts: 1306000 | #Constraints: 29510
1316.96/1321.78 c #Conflicts: 1307000 | #Constraints: 30634
1316.96/1321.78 c #Conflicts: 1308000 | #Constraints: 31754
1316.96/1321.78 c #Conflicts: 1309000 | #Constraints: 32898
1316.96/1321.78 c #Conflicts: 1310000 | #Constraints: 34020
1316.96/1321.78 c #Conflicts: 1311000 | #Constraints: 35165
1470.42/1475.75 c #Conflicts: 1312000 | #Constraints: 36286
1470.42/1475.75 c #Conflicts: 1313000 | #Constraints: 37437
1470.42/1475.75 c #Conflicts: 1314000 | #Constraints: 38533
1470.42/1475.75 c #Conflicts: 1315000 | #Constraints: 39632
1470.42/1475.75 c #Conflicts: 1316000 | #Constraints: 40709
1470.42/1475.75 c #Conflicts: 1317000 | #Constraints: 41823
1470.42/1475.75 c #Conflicts: 1318000 | #Constraints: 42939
1470.42/1475.75 c #Conflicts: 1319000 | #Constraints: 44035
1470.42/1475.75 c #Conflicts: 1320000 | #Constraints: 45142
1470.42/1475.75 c #Conflicts: 1321000 | #Constraints: 46245
1470.42/1475.75 c #Conflicts: 1322000 | #Constraints: 47369
1470.42/1475.75 c #Conflicts: 1323000 | #Constraints: 48476
1470.42/1475.75 c #Conflicts: 1324000 | #Constraints: 49607
1470.42/1475.75 c #Conflicts: 1325000 | #Constraints: 50736
1470.42/1475.75 c INPROCESSING
1470.42/1475.75 c GARBAGE COLLECT
1470.42/1475.75 c #Conflicts: 1326000 | #Constraints: 26506
1470.42/1475.75 c #Conflicts: 1327000 | #Constraints: 27634
1470.42/1475.75 c #Conflicts: 1328000 | #Constraints: 28771
1470.42/1475.75 c #Conflicts: 1329000 | #Constraints: 29917
1470.42/1475.75 c #Conflicts: 1330000 | #Constraints: 31034
1470.42/1475.75 c #Conflicts: 1331000 | #Constraints: 32168
1470.42/1475.75 c #Conflicts: 1332000 | #Constraints: 33322
1470.42/1475.75 c #Conflicts: 1333000 | #Constraints: 34455
1470.42/1475.75 c #Conflicts: 1334000 | #Constraints: 35563
1470.42/1475.75 c #Conflicts: 1335000 | #Constraints: 36676
1470.42/1475.75 c #Conflicts: 1336000 | #Constraints: 37763
1470.42/1475.75 c #Conflicts: 1337000 | #Constraints: 38882
1470.42/1475.75 c #Conflicts: 1338000 | #Constraints: 39987
1470.42/1475.75 c #Conflicts: 1339000 | #Constraints: 41090
1470.42/1475.75 c #Conflicts: 1340000 | #Constraints: 42191
1470.42/1475.75 c #Conflicts: 1341000 | #Constraints: 43291
1470.42/1475.75 c #Conflicts: 1342000 | #Constraints: 44418
1470.42/1475.75 c #Conflicts: 1343000 | #Constraints: 45555
1470.42/1475.75 c #Conflicts: 1344000 | #Constraints: 46638
1470.42/1475.75 c #Conflicts: 1345000 | #Constraints: 47754
1470.42/1475.75 c #Conflicts: 1346000 | #Constraints: 48860
1470.42/1475.75 c #Conflicts: 1347000 | #Constraints: 49979
1470.42/1475.75 c #Conflicts: 1348000 | #Constraints: 51093
1470.42/1475.75 c INPROCESSING
1470.42/1475.75 c GARBAGE COLLECT
1470.42/1475.75 c #Conflicts: 1349000 | #Constraints: 26574
1470.42/1475.75 c #Conflicts: 1350000 | #Constraints: 27724
1470.42/1475.75 c #Conflicts: 1351000 | #Constraints: 28845
1470.42/1475.75 c #Conflicts: 1352000 | #Constraints: 29965
1470.42/1475.75 c #Conflicts: 1353000 | #Constraints: 31072
1470.42/1475.75 c #Conflicts: 1354000 | #Constraints: 32183
1470.42/1475.75 c #Conflicts: 1355000 | #Constraints: 33316
1470.42/1475.75 c #Conflicts: 1356000 | #Constraints: 34451
1470.42/1475.75 c #Conflicts: 1357000 | #Constraints: 35584
1470.42/1475.75 c #Conflicts: 1358000 | #Constraints: 36696
1470.42/1475.75 c #Conflicts: 1359000 | #Constraints: 37858
1470.42/1475.75 c #Conflicts: 1360000 | #Constraints: 38939
1470.42/1475.75 c #Conflicts: 1361000 | #Constraints: 40055
1470.42/1475.75 c #Conflicts: 1362000 | #Constraints: 41179
1470.42/1475.75 c #Conflicts: 1363000 | #Constraints: 42293
1470.42/1475.75 c #Conflicts: 1364000 | #Constraints: 43427
1470.42/1475.75 c #Conflicts: 1365000 | #Constraints: 44534
1470.42/1475.75 c #Conflicts: 1366000 | #Constraints: 45699
1470.42/1475.75 c #Conflicts: 1367000 | #Constraints: 46819
1470.42/1475.75 c #Conflicts: 1368000 | #Constraints: 47920
1470.42/1475.75 c #Conflicts: 1369000 | #Constraints: 49043
1470.42/1475.75 c #Conflicts: 1370000 | #Constraints: 50168
1470.42/1475.75 c #Conflicts: 1371000 | #Constraints: 51293
1470.42/1475.75 c INPROCESSING
1470.42/1475.75 c GARBAGE COLLECT
1470.42/1475.75 c #Conflicts: 1372000 | #Constraints: 26474
1470.42/1475.75 c #Conflicts: 1373000 | #Constraints: 27654
1470.42/1475.75 c #Conflicts: 1374000 | #Constraints: 28753
1470.42/1475.75 c #Conflicts: 1375000 | #Constraints: 29841
1470.42/1475.75 c #Conflicts: 1376000 | #Constraints: 30950
1470.42/1475.75 c #Conflicts: 1377000 | #Constraints: 32058
1470.42/1475.75 c #Conflicts: 1378000 | #Constraints: 33175
1470.42/1475.75 c #Conflicts: 1379000 | #Constraints: 34258
1470.42/1475.75 c #Conflicts: 1380000 | #Constraints: 35394
1470.42/1475.75 c #Conflicts: 1381000 | #Constraints: 36502
1470.42/1475.75 c #Conflicts: 1382000 | #Constraints: 37627
1470.42/1475.75 c #Conflicts: 1383000 | #Constraints: 38735
1470.42/1475.75 c #Conflicts: 1384000 | #Constraints: 39836
1470.42/1475.75 c #Conflicts: 1385000 | #Constraints: 40934
1470.42/1475.75 c #Conflicts: 1386000 | #Constraints: 42039
1470.42/1475.75 c #Conflicts: 1387000 | #Constraints: 43196
1470.42/1475.75 c #Conflicts: 1388000 | #Constraints: 44287
1625.24/1631.18 c #Conflicts: 1389000 | #Constraints: 45398
1625.24/1631.18 c #Conflicts: 1390000 | #Constraints: 46527
1625.24/1631.18 c #Conflicts: 1391000 | #Constraints: 47627
1625.24/1631.18 c #Conflicts: 1392000 | #Constraints: 48711
1625.24/1631.18 c #Conflicts: 1393000 | #Constraints: 49814
1625.24/1631.18 c #Conflicts: 1394000 | #Constraints: 50928
1625.24/1631.18 c #Conflicts: 1395000 | #Constraints: 52040
1625.24/1631.18 c INPROCESSING
1625.24/1631.18 c GARBAGE COLLECT
1625.24/1631.18 c #Conflicts: 1396000 | #Constraints: 27036
1625.24/1631.18 c #Conflicts: 1397000 | #Constraints: 28114
1625.24/1631.18 c #Conflicts: 1398000 | #Constraints: 29150
1625.24/1631.18 c #Conflicts: 1399000 | #Constraints: 30267
1625.24/1631.18 c #Conflicts: 1400000 | #Constraints: 31397
1625.24/1631.18 c #Conflicts: 1401000 | #Constraints: 32530
1625.24/1631.18 c #Conflicts: 1402000 | #Constraints: 33674
1625.24/1631.18 c #Conflicts: 1403000 | #Constraints: 34787
1625.24/1631.18 c #Conflicts: 1404000 | #Constraints: 35901
1625.24/1631.18 c #Conflicts: 1405000 | #Constraints: 37027
1625.24/1631.18 c #Conflicts: 1406000 | #Constraints: 38097
1625.24/1631.18 c #Conflicts: 1407000 | #Constraints: 39227
1625.24/1631.18 c #Conflicts: 1408000 | #Constraints: 40304
1625.24/1631.18 c #Conflicts: 1409000 | #Constraints: 41399
1625.24/1631.18 c #Conflicts: 1410000 | #Constraints: 42543
1625.24/1631.18 c #Conflicts: 1411000 | #Constraints: 43658
1625.24/1631.18 c #Conflicts: 1412000 | #Constraints: 44764
1625.24/1631.18 c #Conflicts: 1413000 | #Constraints: 45883
1625.24/1631.18 c #Conflicts: 1414000 | #Constraints: 47002
1625.24/1631.18 c #Conflicts: 1415000 | #Constraints: 48148
1625.24/1631.18 c #Conflicts: 1416000 | #Constraints: 49300
1625.24/1631.18 c #Conflicts: 1417000 | #Constraints: 50469
1625.24/1631.18 c #Conflicts: 1418000 | #Constraints: 51600
1625.24/1631.18 c #Conflicts: 1419000 | #Constraints: 52728
1625.24/1631.18 c INPROCESSING
1625.24/1631.18 c GARBAGE COLLECT
1625.24/1631.18 c #Conflicts: 1420000 | #Constraints: 27529
1625.24/1631.18 c #Conflicts: 1421000 | #Constraints: 28626
1625.24/1631.18 c #Conflicts: 1422000 | #Constraints: 29739
1625.24/1631.18 c #Conflicts: 1423000 | #Constraints: 30869
1625.24/1631.18 c #Conflicts: 1424000 | #Constraints: 31964
1625.24/1631.18 c #Conflicts: 1425000 | #Constraints: 33064
1625.24/1631.18 c #Conflicts: 1426000 | #Constraints: 34181
1625.24/1631.18 c #Conflicts: 1427000 | #Constraints: 35305
1625.24/1631.18 c #Conflicts: 1428000 | #Constraints: 36437
1625.24/1631.18 c #Conflicts: 1429000 | #Constraints: 37559
1625.24/1631.18 c #Conflicts: 1430000 | #Constraints: 38670
1625.24/1631.18 c #Conflicts: 1431000 | #Constraints: 39828
1625.24/1631.18 c #Conflicts: 1432000 | #Constraints: 40959
1625.24/1631.18 c #Conflicts: 1433000 | #Constraints: 42107
1625.24/1631.18 c #Conflicts: 1434000 | #Constraints: 43223
1625.24/1631.18 c #Conflicts: 1435000 | #Constraints: 44330
1625.24/1631.18 c #Conflicts: 1436000 | #Constraints: 45467
1625.24/1631.18 c #Conflicts: 1437000 | #Constraints: 46594
1625.24/1631.18 c #Conflicts: 1438000 | #Constraints: 47720
1625.24/1631.18 c #Conflicts: 1439000 | #Constraints: 48826
1625.24/1631.18 c #Conflicts: 1440000 | #Constraints: 49925
1625.24/1631.18 c #Conflicts: 1441000 | #Constraints: 51037
1625.24/1631.18 c #Conflicts: 1442000 | #Constraints: 52147
1625.24/1631.18 c #Conflicts: 1443000 | #Constraints: 53251
1625.24/1631.18 c INPROCESSING
1625.24/1631.18 c GARBAGE COLLECT
1625.24/1631.18 c #Conflicts: 1444000 | #Constraints: 27735
1625.24/1631.18 c #Conflicts: 1445000 | #Constraints: 28854
1625.24/1631.18 c #Conflicts: 1446000 | #Constraints: 29971
1625.24/1631.18 c #Conflicts: 1447000 | #Constraints: 31079
1625.24/1631.18 c #Conflicts: 1448000 | #Constraints: 32186
1625.24/1631.18 c #Conflicts: 1449000 | #Constraints: 33309
1625.24/1631.18 c #Conflicts: 1450000 | #Constraints: 34419
1625.24/1631.18 c #Conflicts: 1451000 | #Constraints: 35500
1625.24/1631.18 c #Conflicts: 1452000 | #Constraints: 36599
1625.24/1631.18 c #Conflicts: 1453000 | #Constraints: 37688
1625.24/1631.18 c #Conflicts: 1454000 | #Constraints: 38782
1625.24/1631.18 c #Conflicts: 1455000 | #Constraints: 39874
1625.24/1631.18 c #Conflicts: 1456000 | #Constraints: 40975
1625.24/1631.18 c #Conflicts: 1457000 | #Constraints: 42052
1625.24/1631.18 c #Conflicts: 1458000 | #Constraints: 43135
1625.24/1631.18 c #Conflicts: 1459000 | #Constraints: 44217
1625.24/1631.18 c #Conflicts: 1460000 | #Constraints: 45320
1625.24/1631.18 c #Conflicts: 1461000 | #Constraints: 46422
1625.24/1631.18 c #Conflicts: 1462000 | #Constraints: 47533
1625.24/1631.18 c #Conflicts: 1463000 | #Constraints: 48669
1625.24/1631.18 c #Conflicts: 1464000 | #Constraints: 49748
1625.24/1631.18 c #Conflicts: 1465000 | #Constraints: 50883
1781.77/1788.24 c #Conflicts: 1466000 | #Constraints: 52011
1781.77/1788.24 c #Conflicts: 1467000 | #Constraints: 53124
1781.77/1788.24 c INPROCESSING
1781.77/1788.24 c GARBAGE COLLECT
1781.77/1788.24 c #Conflicts: 1468000 | #Constraints: 27573
1781.77/1788.24 c #Conflicts: 1469000 | #Constraints: 28716
1781.77/1788.24 c #Conflicts: 1470000 | #Constraints: 29830
1781.77/1788.24 c #Conflicts: 1471000 | #Constraints: 30933
1781.77/1788.24 c #Conflicts: 1472000 | #Constraints: 32107
1781.77/1788.24 c #Conflicts: 1473000 | #Constraints: 33204
1781.77/1788.24 c #Conflicts: 1474000 | #Constraints: 34281
1781.77/1788.24 c #Conflicts: 1475000 | #Constraints: 35394
1781.77/1788.24 c #Conflicts: 1476000 | #Constraints: 36495
1781.77/1788.24 c #Conflicts: 1477000 | #Constraints: 37595
1781.77/1788.24 c #Conflicts: 1478000 | #Constraints: 38688
1781.77/1788.24 c #Conflicts: 1479000 | #Constraints: 39781
1781.77/1788.24 c #Conflicts: 1480000 | #Constraints: 40878
1781.77/1788.24 c #Conflicts: 1481000 | #Constraints: 41991
1781.77/1788.24 c #Conflicts: 1482000 | #Constraints: 43096
1781.77/1788.24 c #Conflicts: 1483000 | #Constraints: 44265
1781.77/1788.24 c #Conflicts: 1484000 | #Constraints: 45415
1781.77/1788.24 c #Conflicts: 1485000 | #Constraints: 46514
1781.77/1788.24 c #Conflicts: 1486000 | #Constraints: 47639
1781.77/1788.24 c #Conflicts: 1487000 | #Constraints: 48757
1781.77/1788.24 c #Conflicts: 1488000 | #Constraints: 49891
1781.77/1788.24 c #Conflicts: 1489000 | #Constraints: 51038
1781.77/1788.24 c #Conflicts: 1490000 | #Constraints: 52164
1781.77/1788.24 c #Conflicts: 1491000 | #Constraints: 53278
1781.77/1788.24 c INPROCESSING
1781.77/1788.24 c GARBAGE COLLECT
1781.77/1788.24 c #Conflicts: 1492000 | #Constraints: 27430
1781.77/1788.24 c #Conflicts: 1493000 | #Constraints: 28586
1781.77/1788.24 c #Conflicts: 1494000 | #Constraints: 29704
1781.77/1788.24 c #Conflicts: 1495000 | #Constraints: 30833
1781.77/1788.24 c #Conflicts: 1496000 | #Constraints: 31953
1781.77/1788.24 c #Conflicts: 1497000 | #Constraints: 33058
1781.77/1788.24 c #Conflicts: 1498000 | #Constraints: 34130
1781.77/1788.24 c #Conflicts: 1499000 | #Constraints: 35226
1781.77/1788.24 c #Conflicts: 1500000 | #Constraints: 36346
1781.77/1788.24 c #Conflicts: 1501000 | #Constraints: 37448
1781.77/1788.24 c #Conflicts: 1502000 | #Constraints: 38555
1781.77/1788.24 c #Conflicts: 1503000 | #Constraints: 39662
1781.77/1788.24 c #Conflicts: 1504000 | #Constraints: 40790
1781.77/1788.24 c #Conflicts: 1505000 | #Constraints: 41912
1781.77/1788.24 c #Conflicts: 1506000 | #Constraints: 43019
1781.77/1788.24 c #Conflicts: 1507000 | #Constraints: 44131
1781.77/1788.24 c #Conflicts: 1508000 | #Constraints: 45245
1781.77/1788.24 c #Conflicts: 1509000 | #Constraints: 46361
1781.77/1788.24 c #Conflicts: 1510000 | #Constraints: 47490
1781.77/1788.24 c #Conflicts: 1511000 | #Constraints: 48636
1781.77/1788.24 c #Conflicts: 1512000 | #Constraints: 49755
1781.77/1788.24 c #Conflicts: 1513000 | #Constraints: 50873
1781.77/1788.24 c #Conflicts: 1514000 | #Constraints: 52033
1781.77/1788.24 c #Conflicts: 1515000 | #Constraints: 53130
1781.77/1788.24 c #Conflicts: 1516000 | #Constraints: 54222
1781.77/1788.24 c INPROCESSING
1781.77/1788.24 c GARBAGE COLLECT
1781.77/1788.24 c #Conflicts: 1517000 | #Constraints: 28133
1781.77/1788.24 c #Conflicts: 1518000 | #Constraints: 29251
1781.77/1788.24 c #Conflicts: 1519000 | #Constraints: 30348
1781.77/1788.24 c #Conflicts: 1520000 | #Constraints: 31455
1781.77/1788.24 c #Conflicts: 1521000 | #Constraints: 32571
1781.77/1788.24 c #Conflicts: 1522000 | #Constraints: 33718
1781.77/1788.24 c #Conflicts: 1523000 | #Constraints: 34813
1781.77/1788.24 c #Conflicts: 1524000 | #Constraints: 35926
1781.77/1788.24 c #Conflicts: 1525000 | #Constraints: 37025
1781.77/1788.24 c #Conflicts: 1526000 | #Constraints: 38129
1781.77/1788.24 c #Conflicts: 1527000 | #Constraints: 39259
1781.77/1788.24 c #Conflicts: 1528000 | #Constraints: 40391
1781.77/1788.24 c #Conflicts: 1529000 | #Constraints: 41511
1781.77/1788.24 c #Conflicts: 1530000 | #Constraints: 42637
1781.77/1788.24 c #Conflicts: 1531000 | #Constraints: 43794
1781.77/1788.24 c #Conflicts: 1532000 | #Constraints: 44957
1781.77/1788.24 c #Conflicts: 1533000 | #Constraints: 46090
1781.77/1788.24 c #Conflicts: 1534000 | #Constraints: 47199
1781.77/1788.24 c #Conflicts: 1535000 | #Constraints: 48311
1781.77/1788.24 c #Conflicts: 1536000 | #Constraints: 49404
1781.77/1788.24 c #Conflicts: 1537000 | #Constraints: 50546
1781.77/1788.24 c #Conflicts: 1538000 | #Constraints: 51675
1781.77/1788.24 c #Conflicts: 1539000 | #Constraints: 52806
1781.77/1788.24 c #Conflicts: 1540000 | #Constraints: 53923
1781.77/1788.24 c #Conflicts: 1541000 | #Constraints: 55025
1781.77/1788.24 c INPROCESSING
1781.77/1788.24 c GARBAGE COLLECT
1946.79/1953.83 c #Conflicts: 1542000 | #Constraints: 28704
1946.79/1953.83 c #Conflicts: 1543000 | #Constraints: 29863
1946.79/1953.83 c #Conflicts: 1544000 | #Constraints: 31016
1946.79/1953.83 c #Conflicts: 1545000 | #Constraints: 32140
1946.79/1953.83 c #Conflicts: 1546000 | #Constraints: 33240
1946.79/1953.83 c #Conflicts: 1547000 | #Constraints: 34334
1946.79/1953.83 c #Conflicts: 1548000 | #Constraints: 35430
1946.79/1953.83 c #Conflicts: 1549000 | #Constraints: 36514
1946.79/1953.83 c #Conflicts: 1550000 | #Constraints: 37614
1946.79/1953.83 c #Conflicts: 1551000 | #Constraints: 38715
1946.79/1953.83 c #Conflicts: 1552000 | #Constraints: 39803
1946.79/1953.83 c #Conflicts: 1553000 | #Constraints: 40893
1946.79/1953.83 c #Conflicts: 1554000 | #Constraints: 41986
1946.79/1953.83 c #Conflicts: 1555000 | #Constraints: 43057
1946.79/1953.83 c #Conflicts: 1556000 | #Constraints: 44144
1946.79/1953.83 c #Conflicts: 1557000 | #Constraints: 45257
1946.79/1953.83 c #Conflicts: 1558000 | #Constraints: 46358
1946.79/1953.83 c #Conflicts: 1559000 | #Constraints: 47451
1946.79/1953.83 c #Conflicts: 1560000 | #Constraints: 48551
1946.79/1953.83 c #Conflicts: 1561000 | #Constraints: 49664
1946.79/1953.83 c #Conflicts: 1562000 | #Constraints: 50755
1946.79/1953.83 c #Conflicts: 1563000 | #Constraints: 51851
1946.79/1953.83 c #Conflicts: 1564000 | #Constraints: 52948
1946.79/1953.83 c #Conflicts: 1565000 | #Constraints: 54064
1946.79/1953.83 c #Conflicts: 1566000 | #Constraints: 55160
1946.79/1953.83 c INPROCESSING
1946.79/1953.83 c GARBAGE COLLECT
1946.79/1953.83 c #Conflicts: 1567000 | #Constraints: 28703
1946.79/1953.83 c #Conflicts: 1568000 | #Constraints: 29846
1946.79/1953.83 c #Conflicts: 1569000 | #Constraints: 30979
1946.79/1953.83 c #Conflicts: 1570000 | #Constraints: 32119
1946.79/1953.83 c #Conflicts: 1571000 | #Constraints: 33278
1946.79/1953.83 c #Conflicts: 1572000 | #Constraints: 34413
1946.79/1953.83 c #Conflicts: 1573000 | #Constraints: 35561
1946.79/1953.83 c #Conflicts: 1574000 | #Constraints: 36695
1946.79/1953.83 c #Conflicts: 1575000 | #Constraints: 37876
1946.79/1953.83 c #Conflicts: 1576000 | #Constraints: 39011
1946.79/1953.83 c #Conflicts: 1577000 | #Constraints: 40139
1946.79/1953.83 c #Conflicts: 1578000 | #Constraints: 41302
1946.79/1953.83 c #Conflicts: 1579000 | #Constraints: 42444
1946.79/1953.83 c #Conflicts: 1580000 | #Constraints: 43578
1946.79/1953.83 c #Conflicts: 1581000 | #Constraints: 44709
1946.79/1953.83 c #Conflicts: 1582000 | #Constraints: 45857
1946.79/1953.83 c #Conflicts: 1583000 | #Constraints: 47006
1946.79/1953.83 c #Conflicts: 1584000 | #Constraints: 48151
1946.79/1953.83 c #Conflicts: 1585000 | #Constraints: 49313
1946.79/1953.83 c #Conflicts: 1586000 | #Constraints: 50493
1946.79/1953.83 c #Conflicts: 1587000 | #Constraints: 51639
1946.79/1953.83 c #Conflicts: 1588000 | #Constraints: 52811
1946.79/1953.83 c #Conflicts: 1589000 | #Constraints: 53952
1946.79/1953.83 c #Conflicts: 1590000 | #Constraints: 55066
1946.79/1953.83 c #Conflicts: 1591000 | #Constraints: 56175
1946.79/1953.83 c INPROCESSING
1946.79/1953.83 c GARBAGE COLLECT
1946.79/1953.83 c #Conflicts: 1592000 | #Constraints: 29128
1946.79/1953.83 c #Conflicts: 1593000 | #Constraints: 30289
1946.79/1953.83 c #Conflicts: 1594000 | #Constraints: 31501
1946.79/1953.83 c #Conflicts: 1595000 | #Constraints: 32686
1946.79/1953.83 c #Conflicts: 1596000 | #Constraints: 33854
1946.79/1953.83 c #Conflicts: 1597000 | #Constraints: 35025
1946.79/1953.83 c #Conflicts: 1598000 | #Constraints: 36186
1946.79/1953.83 c #Conflicts: 1599000 | #Constraints: 37339
1946.79/1953.83 c #Conflicts: 1600000 | #Constraints: 38506
1946.79/1953.83 c #Conflicts: 1601000 | #Constraints: 39673
1946.79/1953.83 c #Conflicts: 1602000 | #Constraints: 40862
1946.79/1953.83 c #Conflicts: 1603000 | #Constraints: 41996
1946.79/1953.83 c #Conflicts: 1604000 | #Constraints: 43164
1946.79/1953.83 c #Conflicts: 1605000 | #Constraints: 44320
1946.79/1953.83 c #Conflicts: 1606000 | #Constraints: 45519
1946.79/1953.83 c #Conflicts: 1607000 | #Constraints: 46686
1946.79/1953.83 c #Conflicts: 1608000 | #Constraints: 47861
1946.79/1953.83 c #Conflicts: 1609000 | #Constraints: 49036
1946.79/1953.83 c #Conflicts: 1610000 | #Constraints: 50237
1946.79/1953.83 c #Conflicts: 1611000 | #Constraints: 51396
1946.79/1953.83 c #Conflicts: 1612000 | #Constraints: 52521
1946.79/1953.83 c #Conflicts: 1613000 | #Constraints: 53672
1946.79/1953.83 c #Conflicts: 1614000 | #Constraints: 54839
1946.79/1953.83 c #Conflicts: 1615000 | #Constraints: 55971
1946.79/1953.83 c #Conflicts: 1616000 | #Constraints: 57153
1946.79/1953.83 c INPROCESSING
1946.79/1953.83 c GARBAGE COLLECT
1946.79/1953.83 c #Conflicts: 1617000 | #Constraints: 29376
1946.79/1953.83 c #Conflicts: 1618000 | #Constraints: 30492
2130.82/2138.58 c #Conflicts: 1619000 | #Constraints: 31596
2130.82/2138.58 c #Conflicts: 1620000 | #Constraints: 32712
2130.82/2138.58 c #Conflicts: 1621000 | #Constraints: 33836
2130.82/2138.58 c #Conflicts: 1622000 | #Constraints: 34961
2130.82/2138.58 c #Conflicts: 1623000 | #Constraints: 36070
2130.82/2138.58 c #Conflicts: 1624000 | #Constraints: 37167
2130.82/2138.58 c #Conflicts: 1625000 | #Constraints: 38283
2130.82/2138.58 c #Conflicts: 1626000 | #Constraints: 39389
2130.82/2138.58 c #Conflicts: 1627000 | #Constraints: 40503
2130.82/2138.58 c #Conflicts: 1628000 | #Constraints: 41603
2130.82/2138.58 c #Conflicts: 1629000 | #Constraints: 42691
2130.82/2138.58 c #Conflicts: 1630000 | #Constraints: 43800
2130.82/2138.58 c #Conflicts: 1631000 | #Constraints: 44911
2130.82/2138.58 c #Conflicts: 1632000 | #Constraints: 46013
2130.82/2138.58 c #Conflicts: 1633000 | #Constraints: 47110
2130.82/2138.58 c #Conflicts: 1634000 | #Constraints: 48217
2130.82/2138.58 c #Conflicts: 1635000 | #Constraints: 49327
2130.82/2138.58 c #Conflicts: 1636000 | #Constraints: 50450
2130.82/2138.58 c #Conflicts: 1637000 | #Constraints: 51549
2130.82/2138.58 c #Conflicts: 1638000 | #Constraints: 52649
2130.82/2138.58 c #Conflicts: 1639000 | #Constraints: 53754
2130.82/2138.58 c #Conflicts: 1640000 | #Constraints: 54856
2130.82/2138.58 c #Conflicts: 1641000 | #Constraints: 55992
2130.82/2138.58 c #Conflicts: 1642000 | #Constraints: 57087
2130.82/2138.58 c INPROCESSING
2130.82/2138.58 c GARBAGE COLLECT
2130.82/2138.58 c #Conflicts: 1643000 | #Constraints: 29640
2130.82/2138.58 c #Conflicts: 1644000 | #Constraints: 30782
2130.82/2138.58 c #Conflicts: 1645000 | #Constraints: 31895
2130.82/2138.58 c #Conflicts: 1646000 | #Constraints: 33014
2130.82/2138.58 c #Conflicts: 1647000 | #Constraints: 34129
2130.82/2138.58 c #Conflicts: 1648000 | #Constraints: 35223
2130.82/2138.58 c #Conflicts: 1649000 | #Constraints: 36318
2130.82/2138.58 c #Conflicts: 1650000 | #Constraints: 37422
2130.82/2138.58 c #Conflicts: 1651000 | #Constraints: 38586
2130.82/2138.58 c #Conflicts: 1652000 | #Constraints: 39698
2130.82/2138.58 c #Conflicts: 1653000 | #Constraints: 40778
2130.82/2138.58 c #Conflicts: 1654000 | #Constraints: 41893
2130.82/2138.58 c #Conflicts: 1655000 | #Constraints: 42994
2130.82/2138.58 c #Conflicts: 1656000 | #Constraints: 44076
2130.82/2138.58 c #Conflicts: 1657000 | #Constraints: 45176
2130.82/2138.58 c #Conflicts: 1658000 | #Constraints: 46273
2130.82/2138.58 c #Conflicts: 1659000 | #Constraints: 47384
2130.82/2138.58 c #Conflicts: 1660000 | #Constraints: 48488
2130.82/2138.58 c #Conflicts: 1661000 | #Constraints: 49602
2130.82/2138.58 c #Conflicts: 1662000 | #Constraints: 50729
2130.82/2138.58 c #Conflicts: 1663000 | #Constraints: 51849
2130.82/2138.58 c #Conflicts: 1664000 | #Constraints: 52956
2130.82/2138.58 c #Conflicts: 1665000 | #Constraints: 54105
2130.82/2138.58 c #Conflicts: 1666000 | #Constraints: 55233
2130.82/2138.58 c #Conflicts: 1667000 | #Constraints: 56336
2130.82/2138.58 c #Conflicts: 1668000 | #Constraints: 57453
2130.82/2138.58 c INPROCESSING
2130.82/2138.58 c GARBAGE COLLECT
2130.82/2138.58 c #Conflicts: 1669000 | #Constraints: 29850
2130.82/2138.58 c #Conflicts: 1670000 | #Constraints: 30950
2130.82/2138.58 c #Conflicts: 1671000 | #Constraints: 32085
2130.82/2138.58 c #Conflicts: 1672000 | #Constraints: 33217
2130.82/2138.58 c #Conflicts: 1673000 | #Constraints: 34334
2130.82/2138.58 c #Conflicts: 1674000 | #Constraints: 35433
2130.82/2138.58 c #Conflicts: 1675000 | #Constraints: 36532
2130.82/2138.58 c #Conflicts: 1676000 | #Constraints: 37666
2130.82/2138.58 c #Conflicts: 1677000 | #Constraints: 38760
2130.82/2138.58 c #Conflicts: 1678000 | #Constraints: 39846
2130.82/2138.58 c #Conflicts: 1679000 | #Constraints: 40958
2130.82/2138.58 c #Conflicts: 1680000 | #Constraints: 42095
2130.82/2138.58 c #Conflicts: 1681000 | #Constraints: 43217
2130.82/2138.58 c #Conflicts: 1682000 | #Constraints: 44367
2130.82/2138.58 c #Conflicts: 1683000 | #Constraints: 45505
2130.82/2138.58 c #Conflicts: 1684000 | #Constraints: 46630
2130.82/2138.58 c #Conflicts: 1685000 | #Constraints: 47758
2130.82/2138.58 c #Conflicts: 1686000 | #Constraints: 48913
2130.82/2138.58 c #Conflicts: 1687000 | #Constraints: 50001
2130.82/2138.58 c #Conflicts: 1688000 | #Constraints: 51105
2130.82/2138.58 c #Conflicts: 1689000 | #Constraints: 52224
2130.82/2138.58 c #Conflicts: 1690000 | #Constraints: 53353
2130.82/2138.58 c #Conflicts: 1691000 | #Constraints: 54471
2130.82/2138.58 c #Conflicts: 1692000 | #Constraints: 55593
2130.82/2138.58 c #Conflicts: 1693000 | #Constraints: 56709
2130.82/2138.58 c #Conflicts: 1694000 | #Constraints: 57841
2130.82/2138.58 c INPROCESSING
2130.82/2138.58 c GARBAGE COLLECT
2130.82/2138.58 c #Conflicts: 1695000 | #Constraints: 30072
2310.66/2319.10 c #Conflicts: 1696000 | #Constraints: 31155
2310.66/2319.10 c #Conflicts: 1697000 | #Constraints: 32282
2310.66/2319.10 c #Conflicts: 1698000 | #Constraints: 33392
2310.66/2319.10 c #Conflicts: 1699000 | #Constraints: 34490
2310.66/2319.10 c #Conflicts: 1700000 | #Constraints: 35603
2310.66/2319.10 c #Conflicts: 1701000 | #Constraints: 36728
2310.66/2319.10 c #Conflicts: 1702000 | #Constraints: 37900
2310.66/2319.10 c #Conflicts: 1703000 | #Constraints: 39039
2310.66/2319.10 c #Conflicts: 1704000 | #Constraints: 40190
2310.66/2319.10 c #Conflicts: 1705000 | #Constraints: 41286
2310.66/2319.10 c #Conflicts: 1706000 | #Constraints: 42394
2310.66/2319.10 c #Conflicts: 1707000 | #Constraints: 43524
2310.66/2319.10 c #Conflicts: 1708000 | #Constraints: 44632
2310.66/2319.10 c #Conflicts: 1709000 | #Constraints: 45747
2310.66/2319.10 c #Conflicts: 1710000 | #Constraints: 46848
2310.66/2319.10 c #Conflicts: 1711000 | #Constraints: 47961
2310.66/2319.10 c #Conflicts: 1712000 | #Constraints: 49039
2310.66/2319.10 c #Conflicts: 1713000 | #Constraints: 50105
2310.66/2319.10 c #Conflicts: 1714000 | #Constraints: 51161
2310.66/2319.10 c #Conflicts: 1715000 | #Constraints: 52283
2310.66/2319.10 c #Conflicts: 1716000 | #Constraints: 53374
2310.66/2319.10 c #Conflicts: 1717000 | #Constraints: 54498
2310.66/2319.10 c #Conflicts: 1718000 | #Constraints: 55632
2310.66/2319.10 c #Conflicts: 1719000 | #Constraints: 56739
2310.66/2319.10 c #Conflicts: 1720000 | #Constraints: 57902
2310.66/2319.10 c INPROCESSING
2310.66/2319.10 c GARBAGE COLLECT
2310.66/2319.10 c #Conflicts: 1721000 | #Constraints: 29982
2310.66/2319.10 c #Conflicts: 1722000 | #Constraints: 31150
2310.66/2319.10 c #Conflicts: 1723000 | #Constraints: 32328
2310.66/2319.10 c #Conflicts: 1724000 | #Constraints: 33439
2310.66/2319.10 c #Conflicts: 1725000 | #Constraints: 34528
2310.66/2319.10 c #Conflicts: 1726000 | #Constraints: 35632
2310.66/2319.10 c #Conflicts: 1727000 | #Constraints: 36728
2310.66/2319.10 c #Conflicts: 1728000 | #Constraints: 37820
2310.66/2319.10 c #Conflicts: 1729000 | #Constraints: 38905
2310.66/2319.10 c #Conflicts: 1730000 | #Constraints: 40005
2310.66/2319.10 c #Conflicts: 1731000 | #Constraints: 41114
2310.66/2319.10 c #Conflicts: 1732000 | #Constraints: 42224
2310.66/2319.10 c #Conflicts: 1733000 | #Constraints: 43325
2310.66/2319.10 c #Conflicts: 1734000 | #Constraints: 44428
2310.66/2319.10 c #Conflicts: 1735000 | #Constraints: 45555
2310.66/2319.10 c #Conflicts: 1736000 | #Constraints: 46683
2310.66/2319.10 c #Conflicts: 1737000 | #Constraints: 47806
2310.66/2319.10 c #Conflicts: 1738000 | #Constraints: 48914
2310.66/2319.10 c #Conflicts: 1739000 | #Constraints: 50041
2310.66/2319.10 c #Conflicts: 1740000 | #Constraints: 51166
2310.66/2319.10 c #Conflicts: 1741000 | #Constraints: 52286
2310.66/2319.10 c #Conflicts: 1742000 | #Constraints: 53424
2310.66/2319.10 c #Conflicts: 1743000 | #Constraints: 54534
2310.66/2319.10 c #Conflicts: 1744000 | #Constraints: 55664
2310.66/2319.10 c #Conflicts: 1745000 | #Constraints: 56772
2310.66/2319.10 c #Conflicts: 1746000 | #Constraints: 57887
2310.66/2319.10 c INPROCESSING
2310.66/2319.10 c GARBAGE COLLECT
2310.66/2319.10 c #Conflicts: 1747000 | #Constraints: 29711
2310.66/2319.10 c #Conflicts: 1748000 | #Constraints: 30872
2310.66/2319.10 c #Conflicts: 1749000 | #Constraints: 32037
2310.66/2319.10 c #Conflicts: 1750000 | #Constraints: 33132
2310.66/2319.10 c #Conflicts: 1751000 | #Constraints: 34228
2310.66/2319.10 c #Conflicts: 1752000 | #Constraints: 35381
2310.66/2319.10 c #Conflicts: 1753000 | #Constraints: 36572
2310.66/2319.10 c #Conflicts: 1754000 | #Constraints: 37691
2310.66/2319.10 c #Conflicts: 1755000 | #Constraints: 38805
2310.66/2319.10 c #Conflicts: 1756000 | #Constraints: 39925
2310.66/2319.10 c #Conflicts: 1757000 | #Constraints: 41069
2310.66/2319.10 c #Conflicts: 1758000 | #Constraints: 42195
2310.66/2319.10 c #Conflicts: 1759000 | #Constraints: 43306
2310.66/2319.10 c #Conflicts: 1760000 | #Constraints: 44458
2310.66/2319.10 c #Conflicts: 1761000 | #Constraints: 45609
2310.66/2319.10 c #Conflicts: 1762000 | #Constraints: 46723
2310.66/2319.10 c #Conflicts: 1763000 | #Constraints: 47862
2310.66/2319.10 c #Conflicts: 1764000 | #Constraints: 48972
2310.66/2319.10 c #Conflicts: 1765000 | #Constraints: 50102
2310.66/2319.10 c #Conflicts: 1766000 | #Constraints: 51210
2310.66/2319.10 c #Conflicts: 1767000 | #Constraints: 52304
2310.66/2319.10 c #Conflicts: 1768000 | #Constraints: 53412
2310.66/2319.10 c #Conflicts: 1769000 | #Constraints: 54558
2310.66/2319.10 c #Conflicts: 1770000 | #Constraints: 55704
2310.66/2319.10 c #Conflicts: 1771000 | #Constraints: 56804
2310.66/2319.10 c #Conflicts: 1772000 | #Constraints: 57921
2310.66/2319.10 c #Conflicts: 1773000 | #Constraints: 58958
2491.19/2500.22 c INPROCESSING
2491.19/2500.22 c GARBAGE COLLECT
2491.19/2500.22 c #Conflicts: 1774000 | #Constraints: 30491
2491.19/2500.22 c #Conflicts: 1775000 | #Constraints: 31654
2491.19/2500.22 c #Conflicts: 1776000 | #Constraints: 32764
2491.19/2500.22 c #Conflicts: 1777000 | #Constraints: 33874
2491.19/2500.22 c #Conflicts: 1778000 | #Constraints: 34974
2491.19/2500.22 c #Conflicts: 1779000 | #Constraints: 36076
2491.19/2500.22 c #Conflicts: 1780000 | #Constraints: 37181
2491.19/2500.22 c #Conflicts: 1781000 | #Constraints: 38313
2491.19/2500.22 c #Conflicts: 1782000 | #Constraints: 39415
2491.19/2500.22 c #Conflicts: 1783000 | #Constraints: 40503
2491.19/2500.22 c #Conflicts: 1784000 | #Constraints: 41619
2491.19/2500.22 c #Conflicts: 1785000 | #Constraints: 42728
2491.19/2500.22 c #Conflicts: 1786000 | #Constraints: 43841
2491.19/2500.22 c #Conflicts: 1787000 | #Constraints: 44957
2491.19/2500.22 c #Conflicts: 1788000 | #Constraints: 46089
2491.19/2500.22 c #Conflicts: 1789000 | #Constraints: 47190
2491.19/2500.22 c #Conflicts: 1790000 | #Constraints: 48307
2491.19/2500.22 c #Conflicts: 1791000 | #Constraints: 49427
2491.19/2500.22 c #Conflicts: 1792000 | #Constraints: 50541
2491.19/2500.22 c #Conflicts: 1793000 | #Constraints: 51650
2491.19/2500.22 c #Conflicts: 1794000 | #Constraints: 52835
2491.19/2500.22 c #Conflicts: 1795000 | #Constraints: 54008
2491.19/2500.22 c #Conflicts: 1796000 | #Constraints: 55131
2491.19/2500.22 c #Conflicts: 1797000 | #Constraints: 56236
2491.19/2500.22 c #Conflicts: 1798000 | #Constraints: 57340
2491.19/2500.22 c #Conflicts: 1799000 | #Constraints: 58472
2491.19/2500.22 c #Conflicts: 1800000 | #Constraints: 59585
2491.19/2500.22 c INPROCESSING
2491.19/2500.22 c GARBAGE COLLECT
2491.19/2500.22 c #Conflicts: 1801000 | #Constraints: 30915
2491.19/2500.22 c #Conflicts: 1802000 | #Constraints: 32040
2491.19/2500.22 c #Conflicts: 1803000 | #Constraints: 33162
2491.19/2500.22 c #Conflicts: 1804000 | #Constraints: 34303
2491.19/2500.22 c #Conflicts: 1805000 | #Constraints: 35446
2491.19/2500.22 c #Conflicts: 1806000 | #Constraints: 36592
2491.19/2500.22 c #Conflicts: 1807000 | #Constraints: 37735
2491.19/2500.22 c #Conflicts: 1808000 | #Constraints: 38862
2491.19/2500.22 c #Conflicts: 1809000 | #Constraints: 39985
2491.19/2500.22 c #Conflicts: 1810000 | #Constraints: 41116
2491.19/2500.22 c #Conflicts: 1811000 | #Constraints: 42232
2491.19/2500.22 c #Conflicts: 1812000 | #Constraints: 43357
2491.19/2500.22 c #Conflicts: 1813000 | #Constraints: 44476
2491.19/2500.22 c #Conflicts: 1814000 | #Constraints: 45597
2491.19/2500.22 c #Conflicts: 1815000 | #Constraints: 46715
2491.19/2500.22 c #Conflicts: 1816000 | #Constraints: 47854
2491.19/2500.22 c #Conflicts: 1817000 | #Constraints: 48990
2491.19/2500.22 c #Conflicts: 1818000 | #Constraints: 50080
2491.19/2500.22 c #Conflicts: 1819000 | #Constraints: 51176
2491.19/2500.22 c #Conflicts: 1820000 | #Constraints: 52262
2491.19/2500.22 c #Conflicts: 1821000 | #Constraints: 53373
2491.19/2500.22 c #Conflicts: 1822000 | #Constraints: 54484
2491.19/2500.22 c #Conflicts: 1823000 | #Constraints: 55601
2491.19/2500.22 c #Conflicts: 1824000 | #Constraints: 56713
2491.19/2500.22 c #Conflicts: 1825000 | #Constraints: 57811
2491.19/2500.22 c #Conflicts: 1826000 | #Constraints: 58936
2491.19/2500.22 c #Conflicts: 1827000 | #Constraints: 60066
2491.19/2500.22 c INPROCESSING
2491.19/2500.22 c GARBAGE COLLECT
2491.19/2500.22 c #Conflicts: 1828000 | #Constraints: 31144
2491.19/2500.22 c #Conflicts: 1829000 | #Constraints: 32246
2491.19/2500.22 c #Conflicts: 1830000 | #Constraints: 33350
2491.19/2500.22 c #Conflicts: 1831000 | #Constraints: 34432
2491.19/2500.22 c #Conflicts: 1832000 | #Constraints: 35495
2491.19/2500.22 c #Conflicts: 1833000 | #Constraints: 36617
2491.19/2500.22 c #Conflicts: 1834000 | #Constraints: 37723
2491.19/2500.22 c #Conflicts: 1835000 | #Constraints: 38844
2491.19/2500.22 c #Conflicts: 1836000 | #Constraints: 39937
2491.19/2500.22 c #Conflicts: 1837000 | #Constraints: 41023
2491.19/2500.22 c #Conflicts: 1838000 | #Constraints: 42130
2491.19/2500.22 c #Conflicts: 1839000 | #Constraints: 43235
2491.19/2500.22 c #Conflicts: 1840000 | #Constraints: 44338
2491.19/2500.22 c #Conflicts: 1841000 | #Constraints: 45446
2491.19/2500.22 c #Conflicts: 1842000 | #Constraints: 46544
2491.19/2500.22 c #Conflicts: 1843000 | #Constraints: 47657
2491.19/2500.22 c #Conflicts: 1844000 | #Constraints: 48762
2491.19/2500.22 c #Conflicts: 1845000 | #Constraints: 49883
2491.19/2500.22 c #Conflicts: 1846000 | #Constraints: 51001
2491.19/2500.22 c #Conflicts: 1847000 | #Constraints: 52106
2491.19/2500.22 c #Conflicts: 1848000 | #Constraints: 53223
2491.19/2500.22 c #Conflicts: 1849000 | #Constraints: 54352
2675.21/2684.96 c #Conflicts: 1850000 | #Constraints: 55478
2675.21/2684.96 c #Conflicts: 1851000 | #Constraints: 56623
2675.21/2684.96 c #Conflicts: 1852000 | #Constraints: 57758
2675.21/2684.96 c #Conflicts: 1853000 | #Constraints: 58930
2675.21/2684.96 c #Conflicts: 1854000 | #Constraints: 60065
2675.21/2684.96 c INPROCESSING
2675.21/2684.96 c GARBAGE COLLECT
2675.21/2684.96 c #Conflicts: 1855000 | #Constraints: 31046
2675.21/2684.96 c #Conflicts: 1856000 | #Constraints: 32156
2675.21/2684.96 c #Conflicts: 1857000 | #Constraints: 33259
2675.21/2684.96 c #Conflicts: 1858000 | #Constraints: 34384
2675.21/2684.96 c #Conflicts: 1859000 | #Constraints: 35481
2675.21/2684.96 c #Conflicts: 1860000 | #Constraints: 36572
2675.21/2684.96 c #Conflicts: 1861000 | #Constraints: 37681
2675.21/2684.96 c #Conflicts: 1862000 | #Constraints: 38779
2675.21/2684.96 c #Conflicts: 1863000 | #Constraints: 39915
2675.21/2684.96 c #Conflicts: 1864000 | #Constraints: 41036
2675.21/2684.96 c #Conflicts: 1865000 | #Constraints: 42173
2675.21/2684.96 c #Conflicts: 1866000 | #Constraints: 43308
2675.21/2684.96 c #Conflicts: 1867000 | #Constraints: 44405
2675.21/2684.96 c #Conflicts: 1868000 | #Constraints: 45513
2675.21/2684.96 c #Conflicts: 1869000 | #Constraints: 46589
2675.21/2684.96 c #Conflicts: 1870000 | #Constraints: 47703
2675.21/2684.96 c #Conflicts: 1871000 | #Constraints: 48806
2675.21/2684.96 c #Conflicts: 1872000 | #Constraints: 49925
2675.21/2684.96 c #Conflicts: 1873000 | #Constraints: 51029
2675.21/2684.96 c #Conflicts: 1874000 | #Constraints: 52137
2675.21/2684.96 c #Conflicts: 1875000 | #Constraints: 53263
2675.21/2684.96 c #Conflicts: 1876000 | #Constraints: 54379
2675.21/2684.96 c #Conflicts: 1877000 | #Constraints: 55475
2675.21/2684.96 c #Conflicts: 1878000 | #Constraints: 56608
2675.21/2684.96 c #Conflicts: 1879000 | #Constraints: 57731
2675.21/2684.96 c #Conflicts: 1880000 | #Constraints: 58825
2675.21/2684.96 c #Conflicts: 1881000 | #Constraints: 59965
2675.21/2684.96 c INPROCESSING
2675.21/2684.96 c GARBAGE COLLECT
2675.21/2684.96 c #Conflicts: 1882000 | #Constraints: 30765
2675.21/2684.96 c #Conflicts: 1883000 | #Constraints: 31857
2675.21/2684.96 c #Conflicts: 1884000 | #Constraints: 32954
2675.21/2684.96 c #Conflicts: 1885000 | #Constraints: 34148
2675.21/2684.96 c #Conflicts: 1886000 | #Constraints: 35247
2675.21/2684.96 c #Conflicts: 1887000 | #Constraints: 36346
2675.21/2684.96 c #Conflicts: 1888000 | #Constraints: 37443
2675.21/2684.96 c #Conflicts: 1889000 | #Constraints: 38559
2675.21/2684.96 c #Conflicts: 1890000 | #Constraints: 39671
2675.21/2684.96 c #Conflicts: 1891000 | #Constraints: 40782
2675.21/2684.96 c #Conflicts: 1892000 | #Constraints: 41891
2675.21/2684.96 c #Conflicts: 1893000 | #Constraints: 43000
2675.21/2684.96 c #Conflicts: 1894000 | #Constraints: 44124
2675.21/2684.96 c #Conflicts: 1895000 | #Constraints: 45261
2675.21/2684.96 c #Conflicts: 1896000 | #Constraints: 46365
2675.21/2684.96 c #Conflicts: 1897000 | #Constraints: 47464
2675.21/2684.96 c #Conflicts: 1898000 | #Constraints: 48565
2675.21/2684.96 c #Conflicts: 1899000 | #Constraints: 49676
2675.21/2684.96 c #Conflicts: 1900000 | #Constraints: 50778
2675.21/2684.96 c #Conflicts: 1901000 | #Constraints: 51911
2675.21/2684.96 c #Conflicts: 1902000 | #Constraints: 53050
2675.21/2684.96 c #Conflicts: 1903000 | #Constraints: 54154
2675.21/2684.96 c #Conflicts: 1904000 | #Constraints: 55242
2675.21/2684.96 c #Conflicts: 1905000 | #Constraints: 56382
2675.21/2684.96 c #Conflicts: 1906000 | #Constraints: 57552
2675.21/2684.96 c #Conflicts: 1907000 | #Constraints: 58712
2675.21/2684.96 c #Conflicts: 1908000 | #Constraints: 59880
2675.21/2684.96 c #Conflicts: 1909000 | #Constraints: 61017
2675.21/2684.96 c INPROCESSING
2675.21/2684.96 c GARBAGE COLLECT
2675.21/2684.96 c #Conflicts: 1910000 | #Constraints: 31611
2675.21/2684.96 c #Conflicts: 1911000 | #Constraints: 32776
2675.21/2684.96 c #Conflicts: 1912000 | #Constraints: 33945
2675.21/2684.96 c #Conflicts: 1913000 | #Constraints: 35069
2675.21/2684.96 c #Conflicts: 1914000 | #Constraints: 36216
2675.21/2684.96 c #Conflicts: 1915000 | #Constraints: 37436
2675.21/2684.96 c #Conflicts: 1916000 | #Constraints: 38598
2675.21/2684.96 c #Conflicts: 1917000 | #Constraints: 39714
2675.21/2684.96 c #Conflicts: 1918000 | #Constraints: 40823
2675.21/2684.96 c #Conflicts: 1919000 | #Constraints: 41908
2675.21/2684.96 c #Conflicts: 1920000 | #Constraints: 43009
2675.21/2684.96 c #Conflicts: 1921000 | #Constraints: 44136
2675.21/2684.96 c #Conflicts: 1922000 | #Constraints: 45304
2675.21/2684.96 c #Conflicts: 1923000 | #Constraints: 46395
2675.21/2684.96 c #Conflicts: 1924000 | #Constraints: 47516
2675.21/2684.96 c #Conflicts: 1925000 | #Constraints: 48640
2675.21/2684.96 c #Conflicts: 1926000 | #Constraints: 49770
2872.20/2882.62 c #Conflicts: 1927000 | #Constraints: 50888
2872.20/2882.62 c #Conflicts: 1928000 | #Constraints: 52001
2872.20/2882.62 c #Conflicts: 1929000 | #Constraints: 53114
2872.20/2882.62 c #Conflicts: 1930000 | #Constraints: 54218
2872.20/2882.62 c #Conflicts: 1931000 | #Constraints: 55334
2872.20/2882.62 c #Conflicts: 1932000 | #Constraints: 56454
2872.20/2882.62 c #Conflicts: 1933000 | #Constraints: 57559
2872.20/2882.62 c #Conflicts: 1934000 | #Constraints: 58672
2872.20/2882.62 c #Conflicts: 1935000 | #Constraints: 59791
2872.20/2882.62 c #Conflicts: 1936000 | #Constraints: 60926
2872.20/2882.62 c #Conflicts: 1937000 | #Constraints: 62061
2872.20/2882.62 c INPROCESSING
2872.20/2882.62 c GARBAGE COLLECT
2872.20/2882.62 c #Conflicts: 1938000 | #Constraints: 32170
2872.20/2882.62 c #Conflicts: 1939000 | #Constraints: 33282
2872.20/2882.62 c #Conflicts: 1940000 | #Constraints: 34404
2872.20/2882.62 c #Conflicts: 1941000 | #Constraints: 35554
2872.20/2882.62 c #Conflicts: 1942000 | #Constraints: 36646
2872.20/2882.62 c #Conflicts: 1943000 | #Constraints: 37745
2872.20/2882.62 c #Conflicts: 1944000 | #Constraints: 38871
2872.20/2882.62 c #Conflicts: 1945000 | #Constraints: 40024
2872.20/2882.62 c #Conflicts: 1946000 | #Constraints: 41211
2872.20/2882.62 c #Conflicts: 1947000 | #Constraints: 42328
2872.20/2882.62 c #Conflicts: 1948000 | #Constraints: 43433
2872.20/2882.62 c #Conflicts: 1949000 | #Constraints: 44542
2872.20/2882.62 c #Conflicts: 1950000 | #Constraints: 45634
2872.20/2882.62 c #Conflicts: 1951000 | #Constraints: 46717
2872.20/2882.62 c #Conflicts: 1952000 | #Constraints: 47816
2872.20/2882.62 c #Conflicts: 1953000 | #Constraints: 48956
2872.20/2882.62 c #Conflicts: 1954000 | #Constraints: 50120
2872.20/2882.62 c #Conflicts: 1955000 | #Constraints: 51229
2872.20/2882.62 c #Conflicts: 1956000 | #Constraints: 52353
2872.20/2882.62 c #Conflicts: 1957000 | #Constraints: 53459
2872.20/2882.62 c #Conflicts: 1958000 | #Constraints: 54555
2872.20/2882.62 c #Conflicts: 1959000 | #Constraints: 55654
2872.20/2882.62 c #Conflicts: 1960000 | #Constraints: 56744
2872.20/2882.62 c #Conflicts: 1961000 | #Constraints: 57860
2872.20/2882.62 c #Conflicts: 1962000 | #Constraints: 58982
2872.20/2882.62 c #Conflicts: 1963000 | #Constraints: 60087
2872.20/2882.62 c #Conflicts: 1964000 | #Constraints: 61211
2872.20/2882.62 c #Conflicts: 1965000 | #Constraints: 62336
2872.20/2882.62 c INPROCESSING
2872.20/2882.62 c GARBAGE COLLECT
2872.20/2882.62 c #Conflicts: 1966000 | #Constraints: 32263
2872.20/2882.62 c #Conflicts: 1967000 | #Constraints: 33368
2872.20/2882.62 c #Conflicts: 1968000 | #Constraints: 34485
2872.20/2882.62 c #Conflicts: 1969000 | #Constraints: 35586
2872.20/2882.62 c #Conflicts: 1970000 | #Constraints: 36684
2872.20/2882.62 c #Conflicts: 1971000 | #Constraints: 37808
2872.20/2882.62 c #Conflicts: 1972000 | #Constraints: 38934
2872.20/2882.62 c #Conflicts: 1973000 | #Constraints: 40034
2872.20/2882.62 c #Conflicts: 1974000 | #Constraints: 41139
2872.20/2882.62 c #Conflicts: 1975000 | #Constraints: 42264
2872.20/2882.62 c #Conflicts: 1976000 | #Constraints: 43385
2872.20/2882.62 c #Conflicts: 1977000 | #Constraints: 44532
2872.20/2882.62 c #Conflicts: 1978000 | #Constraints: 45661
2872.20/2882.62 c #Conflicts: 1979000 | #Constraints: 46770
2872.20/2882.62 c #Conflicts: 1980000 | #Constraints: 47922
2872.20/2882.62 c #Conflicts: 1981000 | #Constraints: 49099
2872.20/2882.62 c #Conflicts: 1982000 | #Constraints: 50212
2872.20/2882.62 c #Conflicts: 1983000 | #Constraints: 51315
2872.20/2882.62 c #Conflicts: 1984000 | #Constraints: 52426
2872.20/2882.62 c #Conflicts: 1985000 | #Constraints: 53506
2872.20/2882.62 c #Conflicts: 1986000 | #Constraints: 54615
2872.20/2882.62 c #Conflicts: 1987000 | #Constraints: 55718
2872.20/2882.62 c #Conflicts: 1988000 | #Constraints: 56834
2872.20/2882.62 c #Conflicts: 1989000 | #Constraints: 57947
2872.20/2882.62 c #Conflicts: 1990000 | #Constraints: 59106
2872.20/2882.62 c #Conflicts: 1991000 | #Constraints: 60272
2872.20/2882.62 c #Conflicts: 1992000 | #Constraints: 61453
2872.20/2882.62 c #Conflicts: 1993000 | #Constraints: 62605
2872.20/2882.62 c INPROCESSING
2872.20/2882.62 c GARBAGE COLLECT
2872.20/2882.62 c #Conflicts: 1994000 | #Constraints: 32312
2872.20/2882.62 c #Conflicts: 1995000 | #Constraints: 33425
2872.20/2882.62 c #Conflicts: 1996000 | #Constraints: 34542
2872.20/2882.62 c #Conflicts: 1997000 | #Constraints: 35645
2872.20/2882.62 c #Conflicts: 1998000 | #Constraints: 36739
2872.20/2882.62 c #Conflicts: 1999000 | #Constraints: 37858
2872.20/2882.62 c #Conflicts: 2000000 | #Constraints: 38977
2872.20/2882.62 c #Conflicts: 2001000 | #Constraints: 40078
2872.20/2882.62 c #Conflicts: 2002000 | #Constraints: 41235
2872.20/2882.62 c #Conflicts: 2003000 | #Constraints: 42349
3088.83/3100.06 c #Conflicts: 2004000 | #Constraints: 43448
3088.83/3100.06 c #Conflicts: 2005000 | #Constraints: 44566
3088.83/3100.06 c #Conflicts: 2006000 | #Constraints: 45651
3088.83/3100.06 c #Conflicts: 2007000 | #Constraints: 46793
3088.83/3100.06 c #Conflicts: 2008000 | #Constraints: 47907
3088.83/3100.06 c #Conflicts: 2009000 | #Constraints: 48991
3088.83/3100.06 c #Conflicts: 2010000 | #Constraints: 50109
3088.83/3100.06 c #Conflicts: 2011000 | #Constraints: 51225
3088.83/3100.06 c #Conflicts: 2012000 | #Constraints: 52344
3088.83/3100.06 c #Conflicts: 2013000 | #Constraints: 53464
3088.83/3100.06 c #Conflicts: 2014000 | #Constraints: 54610
3088.83/3100.06 c #Conflicts: 2015000 | #Constraints: 55783
3088.83/3100.06 c #Conflicts: 2016000 | #Constraints: 56944
3088.83/3100.06 c #Conflicts: 2017000 | #Constraints: 58099
3088.83/3100.06 c #Conflicts: 2018000 | #Constraints: 59274
3088.83/3100.06 c #Conflicts: 2019000 | #Constraints: 60407
3088.83/3100.06 c #Conflicts: 2020000 | #Constraints: 61518
3088.83/3100.06 c #Conflicts: 2021000 | #Constraints: 62620
3088.83/3100.06 c INPROCESSING
3088.83/3100.06 c GARBAGE COLLECT
3088.83/3100.06 c #Conflicts: 2022000 | #Constraints: 32105
3088.83/3100.06 c #Conflicts: 2023000 | #Constraints: 33215
3088.83/3100.06 c #Conflicts: 2024000 | #Constraints: 34339
3088.83/3100.06 c #Conflicts: 2025000 | #Constraints: 35443
3088.83/3100.06 c #Conflicts: 2026000 | #Constraints: 36548
3088.83/3100.06 c #Conflicts: 2027000 | #Constraints: 37645
3088.83/3100.06 c #Conflicts: 2028000 | #Constraints: 38747
3088.83/3100.06 c #Conflicts: 2029000 | #Constraints: 39854
3088.83/3100.06 c #Conflicts: 2030000 | #Constraints: 40996
3088.83/3100.06 c #Conflicts: 2031000 | #Constraints: 42110
3088.83/3100.06 c #Conflicts: 2032000 | #Constraints: 43249
3088.83/3100.06 c #Conflicts: 2033000 | #Constraints: 44364
3088.83/3100.06 c #Conflicts: 2034000 | #Constraints: 45491
3088.83/3100.06 c #Conflicts: 2035000 | #Constraints: 46610
3088.83/3100.06 c #Conflicts: 2036000 | #Constraints: 47728
3088.83/3100.06 c #Conflicts: 2037000 | #Constraints: 48858
3088.83/3100.06 c #Conflicts: 2038000 | #Constraints: 49980
3088.83/3100.06 c #Conflicts: 2039000 | #Constraints: 51103
3088.83/3100.06 c #Conflicts: 2040000 | #Constraints: 52245
3088.83/3100.06 c #Conflicts: 2041000 | #Constraints: 53415
3088.83/3100.06 c #Conflicts: 2042000 | #Constraints: 54541
3088.83/3100.06 c #Conflicts: 2043000 | #Constraints: 55646
3088.83/3100.06 c #Conflicts: 2044000 | #Constraints: 56779
3088.83/3100.06 c #Conflicts: 2045000 | #Constraints: 57884
3088.83/3100.06 c #Conflicts: 2046000 | #Constraints: 58996
3088.83/3100.06 c #Conflicts: 2047000 | #Constraints: 60112
3088.83/3100.06 c #Conflicts: 2048000 | #Constraints: 61224
3088.83/3100.06 c #Conflicts: 2049000 | #Constraints: 62359
3088.83/3100.06 c #Conflicts: 2050000 | #Constraints: 63451
3088.83/3100.06 c INPROCESSING
3088.83/3100.06 c GARBAGE COLLECT
3088.83/3100.06 c #Conflicts: 2051000 | #Constraints: 32729
3088.83/3100.06 c #Conflicts: 2052000 | #Constraints: 33845
3088.83/3100.06 c #Conflicts: 2053000 | #Constraints: 34947
3088.83/3100.06 c #Conflicts: 2054000 | #Constraints: 36043
3088.83/3100.06 c #Conflicts: 2055000 | #Constraints: 37163
3088.83/3100.06 c #Conflicts: 2056000 | #Constraints: 38298
3088.83/3100.06 c #Conflicts: 2057000 | #Constraints: 39424
3088.83/3100.06 c #Conflicts: 2058000 | #Constraints: 40577
3088.83/3100.06 c #Conflicts: 2059000 | #Constraints: 41734
3088.83/3100.06 c #Conflicts: 2060000 | #Constraints: 42883
3088.83/3100.06 c #Conflicts: 2061000 | #Constraints: 44019
3088.83/3100.06 c #Conflicts: 2062000 | #Constraints: 45177
3088.83/3100.06 c #Conflicts: 2063000 | #Constraints: 46324
3088.83/3100.06 c #Conflicts: 2064000 | #Constraints: 47421
3088.83/3100.06 c #Conflicts: 2065000 | #Constraints: 48531
3088.83/3100.06 c #Conflicts: 2066000 | #Constraints: 49650
3088.83/3100.06 c #Conflicts: 2067000 | #Constraints: 50776
3088.83/3100.06 c #Conflicts: 2068000 | #Constraints: 51881
3088.83/3100.06 c #Conflicts: 2069000 | #Constraints: 52991
3088.83/3100.06 c #Conflicts: 2070000 | #Constraints: 54100
3088.83/3100.06 c #Conflicts: 2071000 | #Constraints: 55226
3088.83/3100.06 c #Conflicts: 2072000 | #Constraints: 56364
3088.83/3100.06 c #Conflicts: 2073000 | #Constraints: 57481
3088.83/3100.06 c #Conflicts: 2074000 | #Constraints: 58594
3088.83/3100.06 c #Conflicts: 2075000 | #Constraints: 59700
3088.83/3100.06 c #Conflicts: 2076000 | #Constraints: 60790
3088.83/3100.06 c #Conflicts: 2077000 | #Constraints: 61893
3088.83/3100.06 c #Conflicts: 2078000 | #Constraints: 62993
3088.83/3100.06 c #Conflicts: 2079000 | #Constraints: 64110
3088.83/3100.06 c INPROCESSING
3088.83/3100.06 c GARBAGE COLLECT
3088.83/3100.06 c #Conflicts: 2080000 | #Constraints: 33164
3233.97/3245.68 c #Conflicts: 2081000 | #Constraints: 34268
3233.97/3245.68 c #Conflicts: 2082000 | #Constraints: 35378
3233.97/3245.68 c #Conflicts: 2083000 | #Constraints: 36498
3233.97/3245.68 c #Conflicts: 2084000 | #Constraints: 37610
3233.97/3245.68 c #Conflicts: 2085000 | #Constraints: 38742
3233.97/3245.68 c #Conflicts: 2086000 | #Constraints: 39910
3233.97/3245.68 c #Conflicts: 2087000 | #Constraints: 41063
3233.97/3245.68 c #Conflicts: 2088000 | #Constraints: 42211
3233.97/3245.68 c #Conflicts: 2089000 | #Constraints: 43335
3233.97/3245.68 c #Conflicts: 2090000 | #Constraints: 44450
3233.97/3245.68 c #Conflicts: 2091000 | #Constraints: 45605
3233.97/3245.68 c #Conflicts: 2092000 | #Constraints: 46739
3233.97/3245.68 c #Conflicts: 2093000 | #Constraints: 47882
3233.97/3245.68 c #Conflicts: 2094000 | #Constraints: 49015
3233.97/3245.68 c #Conflicts: 2095000 | #Constraints: 50172
3233.97/3245.68 c #Conflicts: 2096000 | #Constraints: 51339
3233.97/3245.68 c #Conflicts: 2097000 | #Constraints: 52502
3233.97/3245.68 c #Conflicts: 2098000 | #Constraints: 53656
3233.97/3245.68 c #Conflicts: 2099000 | #Constraints: 54843
3233.97/3245.68 c #Conflicts: 2100000 | #Constraints: 55983
3233.97/3245.68 c #Conflicts: 2101000 | #Constraints: 57103
3233.97/3245.68 c #Conflicts: 2102000 | #Constraints: 58239
3233.97/3245.68 c #Conflicts: 2103000 | #Constraints: 59397
3233.97/3245.68 c #Conflicts: 2104000 | #Constraints: 60548
3233.97/3245.68 c #Conflicts: 2105000 | #Constraints: 61684
3233.97/3245.68 c #Conflicts: 2106000 | #Constraints: 62822
3233.97/3245.68 c #Conflicts: 2107000 | #Constraints: 63953
3233.97/3245.68 c #Conflicts: 2108000 | #Constraints: 65094
3233.97/3245.68 c INPROCESSING
3233.97/3245.68 c GARBAGE COLLECT
3233.97/3245.68 c #Conflicts: 2109000 | #Constraints: 33698
3233.97/3245.68 c #Conflicts: 2110000 | #Constraints: 34814
3233.97/3245.68 c #Conflicts: 2111000 | #Constraints: 35968
3233.97/3245.68 c #Conflicts: 2112000 | #Constraints: 37113
3233.97/3245.68 c #Conflicts: 2113000 | #Constraints: 38239
3233.97/3245.68 c #Conflicts: 2114000 | #Constraints: 39366
3233.97/3245.68 c #Conflicts: 2115000 | #Constraints: 40526
3233.97/3245.68 c #Conflicts: 2116000 | #Constraints: 41699
3233.97/3245.68 c #Conflicts: 2117000 | #Constraints: 42843
3233.97/3245.68 c #Conflicts: 2118000 | #Constraints: 44005
3233.97/3245.68 c #Conflicts: 2119000 | #Constraints: 45161
3233.97/3245.68 c #Conflicts: 2120000 | #Constraints: 46291
3233.97/3245.68 c #Conflicts: 2121000 | #Constraints: 47451
3233.97/3245.68 c #Conflicts: 2122000 | #Constraints: 48559
3233.97/3245.68 c #Conflicts: 2123000 | #Constraints: 49651
3233.97/3245.68 c #Conflicts: 2124000 | #Constraints: 50761
3233.97/3245.68 c #Conflicts: 2125000 | #Constraints: 51885
3233.97/3245.68 c #Conflicts: 2126000 | #Constraints: 53028
3233.97/3245.68 c #Conflicts: 2127000 | #Constraints: 54170
3233.97/3245.68 c #Conflicts: 2128000 | #Constraints: 55288
3233.97/3245.68 c #Conflicts: 2129000 | #Constraints: 56420
3233.97/3245.68 c #Conflicts: 2130000 | #Constraints: 57543
3233.97/3245.68 c #Conflicts: 2131000 | #Constraints: 58662
3233.97/3245.68 c #Conflicts: 2132000 | #Constraints: 59825
3233.97/3245.68 c #Conflicts: 2133000 | #Constraints: 60950
3233.97/3245.68 c #Conflicts: 2134000 | #Constraints: 62113
3233.97/3245.68 c #Conflicts: 2135000 | #Constraints: 63251
3233.97/3245.68 c #Conflicts: 2136000 | #Constraints: 64380
3233.97/3245.68 c #Conflicts: 2137000 | #Constraints: 65523
3233.97/3245.68 c INPROCESSING
3233.97/3245.68 c GARBAGE COLLECT
3233.97/3245.68 c #Conflicts: 2138000 | #Constraints: 33765
3233.97/3245.68 c #Conflicts: 2139000 | #Constraints: 34898
3233.97/3245.68 c #Conflicts: 2140000 | #Constraints: 36010
3233.97/3245.68 c #Conflicts: 2141000 | #Constraints: 37127
3233.97/3245.68 c #Conflicts: 2142000 | #Constraints: 38248
3233.97/3245.68 c #Conflicts: 2143000 | #Constraints: 39371
3233.97/3245.68 c #Conflicts: 2144000 | #Constraints: 40518
3233.97/3245.68 c #Conflicts: 2145000 | #Constraints: 41655
3233.97/3245.68 c #Conflicts: 2146000 | #Constraints: 42805
3233.97/3245.68 c #Conflicts: 2147000 | #Constraints: 43967
3233.97/3245.68 c #Conflicts: 2148000 | #Constraints: 45146
3233.97/3245.68 c #Conflicts: 2149000 | #Constraints: 46282
3233.97/3245.68 c #Conflicts: 2150000 | #Constraints: 47435
3233.97/3245.68 c #Conflicts: 2151000 | #Constraints: 48583
3233.97/3245.68 c #Conflicts: 2152000 | #Constraints: 49728
3233.97/3245.68 c #Conflicts: 2153000 | #Constraints: 50921
3233.97/3245.68 c #Conflicts: 2154000 | #Constraints: 52029
3233.97/3245.68 c #Conflicts: 2155000 | #Constraints: 53179
3233.97/3245.68 c #Conflicts: 2156000 | #Constraints: 54288
3233.97/3245.68 c #Conflicts: 2157000 | #Constraints: 55389
3233.97/3245.68 c #Conflicts: 2158000 | #Constraints: 56519
3375.36/3387.47 c #Conflicts: 2159000 | #Constraints: 57644
3375.36/3387.47 c #Conflicts: 2160000 | #Constraints: 58760
3375.36/3387.47 c #Conflicts: 2161000 | #Constraints: 59860
3375.36/3387.47 c #Conflicts: 2162000 | #Constraints: 60954
3375.36/3387.47 c #Conflicts: 2163000 | #Constraints: 62045
3375.36/3387.47 c #Conflicts: 2164000 | #Constraints: 63142
3375.36/3387.47 c #Conflicts: 2165000 | #Constraints: 64242
3375.36/3387.47 c #Conflicts: 2166000 | #Constraints: 65369
3375.36/3387.47 c INPROCESSING
3375.36/3387.47 c GARBAGE COLLECT
3375.36/3387.47 c #Conflicts: 2167000 | #Constraints: 33457
3375.36/3387.47 c #Conflicts: 2168000 | #Constraints: 34565
3375.36/3387.47 c #Conflicts: 2169000 | #Constraints: 35694
3375.36/3387.47 c #Conflicts: 2170000 | #Constraints: 36802
3375.36/3387.47 c #Conflicts: 2171000 | #Constraints: 37927
3375.36/3387.47 c #Conflicts: 2172000 | #Constraints: 39065
3375.36/3387.47 c #Conflicts: 2173000 | #Constraints: 40191
3375.36/3387.47 c #Conflicts: 2174000 | #Constraints: 41314
3375.36/3387.47 c #Conflicts: 2175000 | #Constraints: 42452
3375.36/3387.47 c #Conflicts: 2176000 | #Constraints: 43569
3375.36/3387.47 c #Conflicts: 2177000 | #Constraints: 44679
3375.36/3387.47 c #Conflicts: 2178000 | #Constraints: 45705
3375.36/3387.47 c #Conflicts: 2179000 | #Constraints: 46852
3375.36/3387.47 c #Conflicts: 2180000 | #Constraints: 47970
3375.36/3387.47 c #Conflicts: 2181000 | #Constraints: 49081
3375.36/3387.47 c #Conflicts: 2182000 | #Constraints: 50219
3375.36/3387.47 c #Conflicts: 2183000 | #Constraints: 51338
3375.36/3387.47 c #Conflicts: 2184000 | #Constraints: 52464
3375.36/3387.47 c #Conflicts: 2185000 | #Constraints: 53616
3375.36/3387.47 c #Conflicts: 2186000 | #Constraints: 54744
3375.36/3387.47 c #Conflicts: 2187000 | #Constraints: 55861
3375.36/3387.47 c #Conflicts: 2188000 | #Constraints: 56982
3375.36/3387.47 c #Conflicts: 2189000 | #Constraints: 58109
3375.36/3387.47 c #Conflicts: 2190000 | #Constraints: 59212
3375.36/3387.47 c #Conflicts: 2191000 | #Constraints: 60331
3375.36/3387.47 c #Conflicts: 2192000 | #Constraints: 61437
3375.36/3387.47 c #Conflicts: 2193000 | #Constraints: 62538
3375.36/3387.47 c #Conflicts: 2194000 | #Constraints: 63629
3375.36/3387.47 c #Conflicts: 2195000 | #Constraints: 64741
3375.36/3387.47 c #Conflicts: 2196000 | #Constraints: 65868
3375.36/3387.47 c INPROCESSING
3375.36/3387.47 c GARBAGE COLLECT
3375.36/3387.47 c #Conflicts: 2197000 | #Constraints: 33961
3375.36/3387.47 c #Conflicts: 2198000 | #Constraints: 35136
3375.36/3387.47 c #Conflicts: 2199000 | #Constraints: 36267
3375.36/3387.47 c #Conflicts: 2200000 | #Constraints: 37440
3375.36/3387.47 c #Conflicts: 2201000 | #Constraints: 38573
3375.36/3387.47 c #Conflicts: 2202000 | #Constraints: 39711
3375.36/3387.47 c #Conflicts: 2203000 | #Constraints: 40828
3375.36/3387.47 c #Conflicts: 2204000 | #Constraints: 41974
3375.36/3387.47 c #Conflicts: 2205000 | #Constraints: 43107
3375.36/3387.47 c #Conflicts: 2206000 | #Constraints: 44230
3375.36/3387.47 c #Conflicts: 2207000 | #Constraints: 45385
3375.36/3387.47 c #Conflicts: 2208000 | #Constraints: 46570
3375.36/3387.47 c #Conflicts: 2209000 | #Constraints: 47727
3375.36/3387.47 c #Conflicts: 2210000 | #Constraints: 48867
3375.36/3387.47 c #Conflicts: 2211000 | #Constraints: 49997
3375.36/3387.47 c #Conflicts: 2212000 | #Constraints: 51136
3375.36/3387.47 c #Conflicts: 2213000 | #Constraints: 52279
3375.36/3387.47 c #Conflicts: 2214000 | #Constraints: 53421
3375.36/3387.47 c #Conflicts: 2215000 | #Constraints: 54580
3375.36/3387.47 c #Conflicts: 2216000 | #Constraints: 55718
3375.36/3387.47 c #Conflicts: 2217000 | #Constraints: 56857
3375.36/3387.47 c #Conflicts: 2218000 | #Constraints: 57997
3375.36/3387.47 c #Conflicts: 2219000 | #Constraints: 59123
3375.36/3387.47 c #Conflicts: 2220000 | #Constraints: 60268
3375.36/3387.47 c #Conflicts: 2221000 | #Constraints: 61399
3375.36/3387.47 c #Conflicts: 2222000 | #Constraints: 62528
3375.36/3387.47 c #Conflicts: 2223000 | #Constraints: 63678
3375.36/3387.47 c #Conflicts: 2224000 | #Constraints: 64829
3375.36/3387.47 c #Conflicts: 2225000 | #Constraints: 65979
3375.36/3387.47 c #Conflicts: 2226000 | #Constraints: 67125
3375.36/3387.47 c INPROCESSING
3375.36/3387.47 c GARBAGE COLLECT
3375.36/3387.47 c #Conflicts: 2227000 | #Constraints: 34684
3375.36/3387.47 c #Conflicts: 2228000 | #Constraints: 35792
3375.36/3387.47 c #Conflicts: 2229000 | #Constraints: 36888
3375.36/3387.47 c #Conflicts: 2230000 | #Constraints: 37973
3375.36/3387.47 c #Conflicts: 2231000 | #Constraints: 39077
3375.36/3387.47 c #Conflicts: 2232000 | #Constraints: 40171
3375.36/3387.47 c #Conflicts: 2233000 | #Constraints: 41281
3375.36/3387.47 c #Conflicts: 2234000 | #Constraints: 42369
3535.07/3547.68 c #Conflicts: 2235000 | #Constraints: 43474
3535.07/3547.68 c #Conflicts: 2236000 | #Constraints: 44572
3535.07/3547.68 c #Conflicts: 2237000 | #Constraints: 45704
3535.07/3547.68 c #Conflicts: 2238000 | #Constraints: 46808
3535.07/3547.68 c #Conflicts: 2239000 | #Constraints: 47911
3535.07/3547.68 c #Conflicts: 2240000 | #Constraints: 49020
3535.07/3547.68 c #Conflicts: 2241000 | #Constraints: 50116
3535.07/3547.68 c #Conflicts: 2242000 | #Constraints: 51203
3535.07/3547.68 c #Conflicts: 2243000 | #Constraints: 52303
3535.07/3547.68 c #Conflicts: 2244000 | #Constraints: 53417
3535.07/3547.68 c #Conflicts: 2245000 | #Constraints: 54533
3535.07/3547.68 c #Conflicts: 2246000 | #Constraints: 55631
3535.07/3547.68 c #Conflicts: 2247000 | #Constraints: 56740
3535.07/3547.68 c #Conflicts: 2248000 | #Constraints: 57827
3535.07/3547.68 c #Conflicts: 2249000 | #Constraints: 58923
3535.07/3547.68 c #Conflicts: 2250000 | #Constraints: 60046
3535.07/3547.68 c #Conflicts: 2251000 | #Constraints: 61164
3535.07/3547.68 c #Conflicts: 2252000 | #Constraints: 62278
3535.07/3547.68 c #Conflicts: 2253000 | #Constraints: 63367
3535.07/3547.68 c #Conflicts: 2254000 | #Constraints: 64466
3535.07/3547.68 c #Conflicts: 2255000 | #Constraints: 65570
3535.07/3547.68 c #Conflicts: 2256000 | #Constraints: 66663
3535.07/3547.68 c INPROCESSING
3535.07/3547.68 c GARBAGE COLLECT
3535.07/3547.68 c #Conflicts: 2257000 | #Constraints: 34448
3535.07/3547.68 c #Conflicts: 2258000 | #Constraints: 35551
3535.07/3547.68 c #Conflicts: 2259000 | #Constraints: 36666
3535.07/3547.68 c #Conflicts: 2260000 | #Constraints: 37771
3535.07/3547.68 c #Conflicts: 2261000 | #Constraints: 38868
3535.07/3547.68 c #Conflicts: 2262000 | #Constraints: 39979
3535.07/3547.68 c #Conflicts: 2263000 | #Constraints: 41082
3535.07/3547.68 c #Conflicts: 2264000 | #Constraints: 42170
3535.07/3547.68 c #Conflicts: 2265000 | #Constraints: 43264
3535.07/3547.68 c #Conflicts: 2266000 | #Constraints: 44368
3535.07/3547.68 c #Conflicts: 2267000 | #Constraints: 45470
3535.07/3547.68 c #Conflicts: 2268000 | #Constraints: 46580
3535.07/3547.68 c #Conflicts: 2269000 | #Constraints: 47688
3535.07/3547.68 c #Conflicts: 2270000 | #Constraints: 48794
3535.07/3547.68 c #Conflicts: 2271000 | #Constraints: 49909
3535.07/3547.68 c #Conflicts: 2272000 | #Constraints: 51013
3535.07/3547.68 c #Conflicts: 2273000 | #Constraints: 52124
3535.07/3547.68 c #Conflicts: 2274000 | #Constraints: 53229
3535.07/3547.68 c #Conflicts: 2275000 | #Constraints: 54369
3535.07/3547.68 c #Conflicts: 2276000 | #Constraints: 55479
3535.07/3547.68 c #Conflicts: 2277000 | #Constraints: 56575
3535.07/3547.68 c #Conflicts: 2278000 | #Constraints: 57693
3535.07/3547.68 c #Conflicts: 2279000 | #Constraints: 58823
3535.07/3547.68 c #Conflicts: 2280000 | #Constraints: 59919
3535.07/3547.68 c #Conflicts: 2281000 | #Constraints: 61049
3535.07/3547.68 c #Conflicts: 2282000 | #Constraints: 62153
3535.07/3547.68 c #Conflicts: 2283000 | #Constraints: 63253
3535.07/3547.68 c #Conflicts: 2284000 | #Constraints: 64369
3535.07/3547.68 c #Conflicts: 2285000 | #Constraints: 65481
3535.07/3547.68 c #Conflicts: 2286000 | #Constraints: 66593
3535.07/3547.68 c INPROCESSING
3535.07/3547.68 c GARBAGE COLLECT
3535.07/3547.68 c #Conflicts: 2287000 | #Constraints: 34276
3535.07/3547.68 c #Conflicts: 2288000 | #Constraints: 35401
3535.07/3547.68 c #Conflicts: 2289000 | #Constraints: 36502
3535.07/3547.68 c #Conflicts: 2290000 | #Constraints: 37585
3535.07/3547.68 c #Conflicts: 2291000 | #Constraints: 38683
3535.07/3547.68 c #Conflicts: 2292000 | #Constraints: 39787
3535.07/3547.68 c #Conflicts: 2293000 | #Constraints: 40885
3535.07/3547.68 c #Conflicts: 2294000 | #Constraints: 41984
3535.07/3547.68 c #Conflicts: 2295000 | #Constraints: 43099
3535.07/3547.68 c #Conflicts: 2296000 | #Constraints: 44217
3535.07/3547.68 c #Conflicts: 2297000 | #Constraints: 45312
3535.07/3547.68 c #Conflicts: 2298000 | #Constraints: 46424
3535.07/3547.68 c #Conflicts: 2299000 | #Constraints: 47550
3535.07/3547.68 c #Conflicts: 2300000 | #Constraints: 48650
3535.07/3547.68 c #Conflicts: 2301000 | #Constraints: 49801
3535.07/3547.68 c #Conflicts: 2302000 | #Constraints: 50943
3535.07/3547.68 c #Conflicts: 2303000 | #Constraints: 52060
3535.07/3547.68 c #Conflicts: 2304000 | #Constraints: 53194
3535.07/3547.68 c #Conflicts: 2305000 | #Constraints: 54295
3535.07/3547.68 c #Conflicts: 2306000 | #Constraints: 55422
3535.07/3547.68 c #Conflicts: 2307000 | #Constraints: 56546
3535.07/3547.68 c #Conflicts: 2308000 | #Constraints: 57669
3535.07/3547.68 c #Conflicts: 2309000 | #Constraints: 58767
3535.07/3547.68 c #Conflicts: 2310000 | #Constraints: 59881
3535.07/3547.68 c #Conflicts: 2311000 | #Constraints: 60998
3535.07/3547.68 c #Conflicts: 2312000 | #Constraints: 62100
3600.06/3612.80 c #Conflicts: 2313000 | #Constraints: 63215
3600.06/3612.80 c #Conflicts: 2314000 | #Constraints: 64333
3600.06/3612.80 c #Conflicts: 2315000 | #Constraints: 65453
3600.06/3612.80 c #Conflicts: 2316000 | #Constraints: 66571
3600.06/3612.80 c INPROCESSING
3600.06/3612.80 c GARBAGE COLLECT
3600.06/3612.80 c #Conflicts: 2317000 | #Constraints: 34092
3600.06/3612.80 c #Conflicts: 2318000 | #Constraints: 35265
3600.06/3612.80 c #Conflicts: 2319000 | #Constraints: 36435
3600.06/3612.80 c #Conflicts: 2320000 | #Constraints: 37629
3600.06/3612.80 c #Conflicts: 2321000 | #Constraints: 38816
3600.06/3612.80 c #Conflicts: 2322000 | #Constraints: 40010
3600.06/3612.80 c #Conflicts: 2323000 | #Constraints: 41213
3600.06/3612.80 c #Conflicts: 2324000 | #Constraints: 42383
3600.06/3612.80 c #Conflicts: 2325000 | #Constraints: 43568
3600.06/3612.80 c #Conflicts: 2326000 | #Constraints: 44738
3600.06/3612.80 c #Conflicts: 2327000 | #Constraints: 45878
3600.06/3612.80 c #Conflicts: 2328000 | #Constraints: 47036
3600.06/3612.80 c #Conflicts: 2329000 | #Constraints: 48152
3600.06/3612.80 c #Conflicts: 2330000 | #Constraints: 49274
3600.06/3612.80 c #Conflicts: 2331000 | #Constraints: 50404
3600.06/3612.80 c #Conflicts: 2332000 | #Constraints: 51547
3600.06/3612.80 c #Conflicts: 2333000 | #Constraints: 52702
3600.06/3612.80 c #Conflicts: 2334000 | #Constraints: 53870
3600.06/3612.80 c #Conflicts: 2335000 | #Constraints: 55015
3600.06/3612.80 c #Conflicts: 2336000 | #Constraints: 56167
3600.06/3612.80 c #Conflicts: 2337000 | #Constraints: 57306
3600.06/3612.80 c #Conflicts: 2338000 | #Constraints: 58455
3600.06/3612.80 c #Conflicts: 2339000 | #Constraints: 59605
3600.06/3612.80 c #Conflicts: 2340000 | #Constraints: 60770
3600.06/3612.80 c #Conflicts: 2341000 | #Constraints: 61939
3600.06/3612.80 c #Conflicts: 2342000 | #Constraints: 63087
3600.06/3612.80 c #Conflicts: 2343000 | #Constraints: 64202
3600.06/3612.80 c #Conflicts: 2344000 | #Constraints: 65337
3600.06/3612.80 c #Conflicts: 2345000 | #Constraints: 66483
3600.06/3612.80 c cpu time 3578.87 s
3600.06/3612.80 c deterministic time 509985448413 5.10e+11
3600.06/3612.80 c optimization time 53.3072 s
3600.06/3612.80 c total solve time 3525.56 s
3600.06/3612.80 c core-guided solve time 0 s
3600.06/3612.80 c propagation time 3280.97 s
3600.06/3612.80 c conflict analysis time 269.878 s
3600.06/3612.80 c propagations 14471738
3600.06/3612.80 c resolve steps 7445420
3600.06/3612.80 c decisions 3087579
3600.06/3612.80 c conflicts 2345943
3600.06/3612.80 c restarts 4094
3600.06/3612.80 c inprocessing phases 143
3600.06/3612.80 c garbage collections 143 ,( 100.00 )
3600.06/3612.80 c input clauses 0 ,( 0.00 )
3600.06/3612.80 c input cardinalities 0 ,( 0.00 )
3600.06/3612.80 c input general constraints 2 ,( 100.00 )
3600.06/3612.80 c input average constraint length 52.00
3600.06/3612.80 c input average constraint degree 36188387.00
3600.06/3612.80 c learned clauses 1496852 ,( 58.22 )
3600.06/3612.80 c learned cardinalities 210 ,( 0.01 )
3600.06/3612.80 c learned general constraints 1073896 ,( 41.77 )
3600.06/3612.80 c learned average constraint length 37.93
3600.06/3612.80 c learned average constraint degree 68763386.75
3600.06/3612.80 c watched CF 32, 64, 128, Arb: 634419 , 0 , 0 , 0
3600.06/3612.80 c counting CF 32, 64, 128, Arb: 439479 , 0 , 0 , 0
3600.06/3612.80 c watched constraints 634419 ,( 59.08 )
3600.06/3612.80 c counting constraints 439479 ,( 40.92 )
3600.06/3612.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 126217780 , 46796 , 68312445095 ,( 2300308406 , 66012136689 )
3600.06/3612.80 c gcd simplifications 1548387
3600.06/3612.80 c detected cardinalities 209
3600.06/3612.80 c weakened non-implied lits 7583805
3600.06/3612.80 c weakened non-implying lits 3558016
3600.06/3612.80 c original variables 52
3600.06/3612.80 c clausal propagations 461749
3600.06/3612.80 c cardinality propagations 3
3600.06/3612.80 c watched propagations 1320608
3600.06/3612.80 c counting propagations 10079965
3600.06/3612.80 c watch lookups 78799597103
3600.06/3612.80 c watch backjump lookups 0
3600.06/3612.80 c watch checks 16421142690
3600.06/3612.80 c propagation checks 414274300534
3600.06/3612.80 c constraint additions 452707485
3600.06/3612.80 c trail pops 19905212
3600.06/3612.80 c formula constraints 2
3600.06/3612.80 c learned constraints 2345943
3600.06/3612.80 c bound constraints 0
3600.06/3612.80 c core-guided constraints 0
3600.06/3612.80 c encountered formula constraints 6012489
3600.06/3612.80 c encountered learned constraints 3778401
3600.06/3612.80 c encountered bound constraints 0
3600.06/3612.80 c encountered core-guided constraints 0
3600.06/3612.80 c LP total time 28.7211 s
3600.06/3612.80 c LP solve time 12.73 s
3600.06/3612.80 c LP constraints added 135
3600.06/3612.80 c LP constraints removed 130
3600.06/3612.80 c LP pivots internal 234597
3600.06/3612.80 c LP pivots root 1474
3600.06/3612.80 c LP calls 250239
3600.06/3612.80 c LP optimalities 24457
3600.06/3612.80 c LP no pivot count 3165
3600.06/3612.80 c LP infeasibilities 225304
3600.06/3612.80 c LP valid Farkas constraints 224944
3600.06/3612.80 c LP learned Farkas constraints 0
3600.06/3612.80 c LP basis resets 478
3600.06/3612.80 c LP cycling count 471
3600.06/3612.80 c LP singular count 3
3600.06/3612.80 c LP no primal count 0
3600.06/3612.80 c LP no farkas count 0
3600.06/3612.80 c LP other issue count 4
3600.06/3612.80 c LP Gomory cuts 71
3600.06/3612.80 c LP learned cuts 62
3600.06/3612.80 c LP deleted cuts 130
3600.06/3612.80 c LP encountered Gomory constraints 2
3600.06/3612.80 c LP encountered Farkas constraints 471
3600.06/3612.80 c LP encountered learned Farkas constraints 0
3600.06/3612.80 c CG auxiliary variables introduced 0
3600.06/3612.80 c CG solutions found 0
3600.06/3612.80 c CG cores constructed 0
3600.06/3612.80 c CG core cardinality constraints returned 0
3600.06/3612.80 c CG unit cores 0
3600.06/3612.80 c CG single cores 0
3600.06/3612.80 c CG blocks removed during cardinality reduction 0
3600.06/3612.80 c CG first core best 0
3600.06/3612.80 c CG decision core best 0
3600.06/3612.80 c CG core reduction tie 0
3600.06/3612.80 c CG core degree average 0.00
3600.06/3612.80 c CG core slack average 0.00
3600.06/3612.80 c CG core upper bound improvements 0
3600.06/3612.80 c STR number of successful calls 0
3600.06/3612.80 c STR number of unsuccessful calls 0
3600.06/3612.80 c STR number of inconclusive calls 0
3600.06/3612.80 c STR number of successful attempts 0
3600.06/3612.80 c STR number of unsuccessful attempts 0
3600.06/3612.80 c STR number of inconclusive attempts 0
3600.06/3612.80 c STR average degree increase per successful call inf
3600.06/3612.80 c STR average degree increase per successful attempt inf
3600.06/3612.80 c STR total number of conflicts for successful attempts 0
3600.06/3612.80 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.80 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.80 c STR average number of conflicts per successful attempt inf
3600.06/3612.80 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.80 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.80 c AVG.sumWPerc 46.36
3600.06/3612.80 c bigint constraints 0
3600.06/3612.80 s UNKNOWN
3600.06/3612.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62326 MiB free)
memory of node 1: 64465 MiB (62352 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496075-1751154392/watcher-4496075-1751154392 -o /tmp/evaluation-result-4496075-1751154392/solver-4496075-1751154392 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14373 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4496075-1751154392.opb PROOFDIR/proof-4496075-1751154392
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18901, runsolver pid=18898
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127671724/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=56220 memory=12976 CPUtime=0.08 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 630 0 0 0 8 0 0 0 20 0 1 0 31116812 57569280 3244 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 14055 3244 2336 1147 0 1482 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60412 KiB
Current children cumulated memory: 15920 KiB
[startup+0.20559 s]*
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127671724/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=56644 memory=13488 CPUtime=0.18 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 752 0 0 0 17 1 0 0 20 0 1 0 31116812 58003456 3372 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 14161 3372 2336 1147 0 1588 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60836 KiB
Current children cumulated memory: 16432 KiB
[startup+0.305497 s]*
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127671444/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=56928 memory=13744 CPUtime=0.28 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 805 0 0 0 27 1 0 0 20 0 1 0 31116812 58294272 3436 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 14232 3436 2336 1147 0 1659 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 16688 KiB
[startup+0.700137 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127671444/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=57672 memory=14384 CPUtime=0.67 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 976 0 0 0 65 2 0 0 20 0 1 0 31116812 59056128 3596 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 14418 3596 2336 1147 0 1845 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 61864 KiB
Current children cumulated memory: 17328 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127667664/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=58824 memory=15280 CPUtime=1.47 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 1220 0 0 0 141 6 0 0 20 0 1 0 31116812 60235776 3820 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 14706 3820 2336 1147 0 2133 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63016 KiB
Current children cumulated memory: 18224 KiB
[startup+3.10538 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127654352/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=59736 memory=16176 CPUtime=3.07 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 1418 0 0 0 297 10 0 0 20 0 1 0 31116812 61169664 4044 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 14934 4044 2336 1147 0 2361 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 63928 KiB
Current children cumulated memory: 19120 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127624552/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=60640 memory=19176 CPUtime=6.25 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 1659 0 0 0 600 25 0 0 20 0 1 0 31116812 62095360 4794 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 15160 4794 2336 1147 0 2587 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 64832 KiB
Current children cumulated memory: 22120 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.07 4.08 5/271 18903
/proc/meminfo: memFree=127592552/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=63040 memory=20968 CPUtime=12.63 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 2114 0 0 0 1220 43 0 0 20 0 1 0 31116812 64552960 5242 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 15760 5242 2336 1147 0 3187 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 67232 KiB
Current children cumulated memory: 23912 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.07 4.08 5/271 18903
/proc/meminfo: memFree=127543560/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=64408 memory=22248 CPUtime=25.39 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 2449 0 0 0 2473 66 0 0 20 0 1 0 31116812 65953792 5562 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 16102 5562 2336 1147 0 3529 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 68600 KiB
Current children cumulated memory: 25192 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.08 4.09 5/271 18904
/proc/meminfo: memFree=127428652/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=70936 memory=25832 CPUtime=50.92 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 3678 0 0 0 4985 107 0 0 20 0 1 0 31116812 72638464 6458 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 17734 6458 2336 1147 0 5161 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 75128 KiB
Current children cumulated memory: 28776 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.08 4.09 5/272 18908
/proc/meminfo: memFree=127205872/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=80140 memory=32888 CPUtime=101.94 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 5991 0 0 0 10020 174 0 0 20 0 1 0 31116812 82063360 8222 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 20035 8222 2432 1147 0 7462 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 84332 KiB
Current children cumulated memory: 35832 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/274 18912
/proc/meminfo: memFree=126973344/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=80820 memory=33436 CPUtime=161.74 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 6528 0 0 0 15929 245 0 0 20 0 1 0 31116812 82759680 8359 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 20205 8359 2432 1147 0 7632 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 85012 KiB
Current children cumulated memory: 36380 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/274 18914
/proc/meminfo: memFree=126723852/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=81176 memory=34232 CPUtime=221.52 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 6943 0 0 0 21846 306 0 0 20 0 1 0 31116812 83124224 8558 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
################
# More data... #
################
/proc/18903/statm: 29216 17961 2464 1147 0 16643 0
Current children cumulated CPU time: 3031.33 s
Current children cumulated vsize: 121056 KiB
Current children cumulated memory: 74788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/273 19584
/proc/meminfo: memFree=111357512/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=116864 memory=71852 CPUtime=3091.13 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 24472 0 0 0 307215 1898 0 0 20 0 1 0 31116812 119668736 17963 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 29216 17963 2464 1147 0 16643 0
Current children cumulated CPU time: 3091.13 s
Current children cumulated vsize: 121056 KiB
Current children cumulated memory: 74796 KiB
[startup+3162.3 s]
/proc/loadavg: 3.80 4.03 4.07 4/268 19621
/proc/meminfo: memFree=112865828/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=131424 memory=74136 CPUtime=3150.92 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 25257 0 0 0 313166 1926 0 0 20 0 1 0 31116812 134578176 18534 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 32856 18534 2464 1147 0 20283 0
Current children cumulated CPU time: 3150.92 s
Current children cumulated vsize: 135616 KiB
Current children cumulated memory: 77080 KiB
[startup+3222.3 s]
/proc/loadavg: 3.35 3.86 4.00 4/268 19623
/proc/meminfo: memFree=112626388/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=133660 memory=75324 CPUtime=3210.74 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 25832 0 0 0 319115 1959 0 0 20 0 1 0 31116812 136867840 18831 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33415 18831 2464 1147 0 20842 0
Current children cumulated CPU time: 3210.74 s
Current children cumulated vsize: 137852 KiB
Current children cumulated memory: 78268 KiB
[startup+3282.3 s]
/proc/loadavg: 3.17 3.71 3.94 4/268 19625
/proc/meminfo: memFree=112127588/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=134176 memory=75964 CPUtime=3270.57 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 25965 0 0 0 325070 1987 0 0 20 0 1 0 31116812 137396224 18991 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33544 18991 2464 1147 0 20971 0
Current children cumulated CPU time: 3270.57 s
Current children cumulated vsize: 138368 KiB
Current children cumulated memory: 78908 KiB
[startup+3342.3 s]
/proc/loadavg: 3.17 3.61 3.89 4/268 19627
/proc/meminfo: memFree=111556512/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=134248 memory=78368 CPUtime=3330.39 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 26080 0 0 0 331025 2014 0 0 20 0 1 0 31116812 137469952 19592 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33562 19592 2464 1147 0 20989 0
Current children cumulated CPU time: 3330.39 s
Current children cumulated vsize: 138440 KiB
Current children cumulated memory: 81312 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.51 3.84 4/267 19631
/proc/meminfo: memFree=111040096/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=134504 memory=80644 CPUtime=3390.22 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 26276 0 0 0 336983 2039 0 0 20 0 1 0 31116812 137732096 20161 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33626 20161 2464 1147 0 21053 0
Current children cumulated CPU time: 3390.22 s
Current children cumulated vsize: 138696 KiB
Current children cumulated memory: 83588 KiB
[startup+3462.3 s]
/proc/loadavg: 3.15 3.45 3.79 4/266 19633
/proc/meminfo: memFree=110690980/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=134424 memory=80692 CPUtime=3450.05 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 26533 0 0 0 342944 2061 0 0 20 0 1 0 31116812 137650176 20173 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33606 20173 2464 1147 0 21033 0
Current children cumulated CPU time: 3450.05 s
Current children cumulated vsize: 138616 KiB
Current children cumulated memory: 83636 KiB
[startup+3522.3 s]
/proc/loadavg: 2.90 3.33 3.73 3/259 19666
/proc/meminfo: memFree=111850536/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=134936 memory=80976 CPUtime=3509.86 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 26916 0 0 0 348903 2083 0 0 20 0 1 0 31116812 138174464 20244 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33734 20244 2464 1147 0 21161 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 139128 KiB
Current children cumulated memory: 83920 KiB
[startup+3582.3 s]
/proc/loadavg: 2.45 3.12 3.63 3/261 19673
/proc/meminfo: memFree=111295504/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=135448 memory=81268 CPUtime=3569.66 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 27236 0 0 0 354858 2108 0 0 20 0 1 0 31116812 138698752 20317 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 33862 20317 2464 1147 0 21289 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 139640 KiB
Current children cumulated memory: 84212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 2.27 3.01 3.58 3/262 19675
/proc/meminfo: memFree=111121300/131249988 swapFree=33010684/33010684
[pid=18901] ppid=18898 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18901/stat : 18901 (run-dec-ls-log.) S 18898 18901 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31116811 4292608 736 18446744073709551615 94740296298496 94740297193029 140737277647968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94740297432080 94740297479824 94740304224256 140737277655323 140737277655521 140737277655521 140737277661123 0
/proc/18901/statm: 1048 736 672 219 0 110 0
[pid=18903] ppid=18901 vsize=136472 memory=81780 CPUtime=3600.06 cores=4,6
/proc/18903/stat : 18903 (roundingsat) R 18901 18901 14359 0 -1 4194304 27380 0 0 0 357887 2119 0 0 20 0 1 0 31116812 139747328 20445 18446744073709551615 4227072 8923433 140725085425376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140725085428048 140725085428264 140725085428264 140725085433834 0
/proc/18903/statm: 34118 20445 2464 1147 0 21545 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 140664 KiB
Current children cumulated memory: 84724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.8 s]
# the end of solver process 18901 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002051 s, system=0 s
[startup+3612.82 s]
# the end of solver process 18903 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.88 s, system=21.2005 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.82
CPU time (s): 3600.08
CPU user time (s): 3578.88
CPU system time (s): 21.2005
CPU usage (%): 99.6474
Max. virtual memory (cumulated for all children) (KiB): 140664
Max. memory (cumulated for all children) (KiB): 84724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.88
system time used= 21.2005
maximum resident set size= 82256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4348304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 429
involuntary context switches= 22933
# summary of solver processes directly reported to runsolver:
# pid: 18901,18903
# total CPU time (s): 3600.08
# total CPU user time (s): 3578.88
# total CPU system time (s): 21.2005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66823 second user time and 17.0939 second system time
The end
Begin job on nodeC020 at 2025-06-29 01:46:32
IDJOB=4496075
IDBENCH=148106
IDSOLVER=3354
FILE ID=nodeC020/4496075-1751154392
RUNJOBID= nodeC020-1751146607-14373
SLURM_JOB_ID= 9587464
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496075-1751154392/watcher-4496075-1751154392 -o /tmp/evaluation-result-4496075-1751154392/solver-4496075-1751154392 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14373 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4496075-1751154392.opb PROOFDIR/proof-4496075-1751154392
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=1690364242
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.883
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.899
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3599.893
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3328.471
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127671544 kB
MemAvailable: 129436044 kB
Buffers: 3280 kB
Cached: 2571444 kB
SwapCached: 0 kB
Active: 656964 kB
Inactive: 2314700 kB
Active(anon): 415064 kB
Inactive(anon): 0 kB
Active(file): 241900 kB
Inactive(file): 2314700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28184 kB
Writeback: 0 kB
AnonPages: 395688 kB
Mapped: 117120 kB
Shmem: 18056 kB
KReclaimable: 94280 kB
Slab: 180480 kB
SReclaimable: 94280 kB
SUnreclaim: 86200 kB
KernelStack: 4352 kB
PageTables: 3972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 785588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC020 at 2025-06-29 02:46:46