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.08/0.16 c #Conflicts: 1000 | #Constraints: 1144
0.08/0.16 c #Conflicts: 2000 | #Constraints: 2306
0.08/0.16 c INPROCESSING
0.08/0.16 c GARBAGE COLLECT
0.08/0.16 c rational objective 2
0.29/0.36 c #Conflicts: 3000 | #Constraints: 2277
0.29/0.36 c #Conflicts: 4000 | #Constraints: 3373
0.29/0.36 c INPROCESSING
0.29/0.36 c GARBAGE COLLECT
0.29/0.36 c rational objective 2
0.49/0.60 c #Conflicts: 5000 | #Constraints: 2651
0.49/0.60 c #Conflicts: 6000 | #Constraints: 3787
0.49/0.60 c INPROCESSING
0.49/0.60 c GARBAGE COLLECT
0.49/0.60 c rational objective 2
0.87/0.92 c #Conflicts: 7000 | #Constraints: 2652
0.87/0.92 c #Conflicts: 8000 | #Constraints: 3652
0.87/0.92 c #Conflicts: 9000 | #Constraints: 4652
0.87/0.92 c INPROCESSING
0.87/0.92 c GARBAGE COLLECT
0.87/0.92 c rational objective 2
1.28/1.32 c #Conflicts: 10000 | #Constraints: 3287
1.28/1.32 c #Conflicts: 11000 | #Constraints: 4368
1.28/1.32 c #Conflicts: 12000 | #Constraints: 5522
1.28/1.32 c INPROCESSING
1.28/1.32 c GARBAGE COLLECT
1.28/1.32 c rational objective 2
1.67/1.78 c #Conflicts: 13000 | #Constraints: 3865
1.67/1.78 c #Conflicts: 14000 | #Constraints: 4953
1.67/1.78 c #Conflicts: 15000 | #Constraints: 6074
1.67/1.78 c INPROCESSING
1.67/1.78 c GARBAGE COLLECT
1.67/1.78 c rational objective 2
2.27/2.32 c #Conflicts: 16000 | #Constraints: 4151
2.27/2.32 c #Conflicts: 17000 | #Constraints: 5249
2.27/2.32 c #Conflicts: 18000 | #Constraints: 6365
2.27/2.32 c INPROCESSING
2.27/2.32 c GARBAGE COLLECT
2.27/2.32 c rational objective 2
2.87/2.96 c #Conflicts: 19000 | #Constraints: 4147
2.87/2.96 c #Conflicts: 20000 | #Constraints: 5254
2.87/2.96 c #Conflicts: 21000 | #Constraints: 6345
2.87/2.96 c INPROCESSING
2.87/2.96 c GARBAGE COLLECT
2.87/2.96 c rational objective 2
3.57/3.64 c #Conflicts: 22000 | #Constraints: 3913
3.57/3.64 c #Conflicts: 23000 | #Constraints: 4913
3.57/3.64 c #Conflicts: 24000 | #Constraints: 5913
3.57/3.64 c #Conflicts: 25000 | #Constraints: 6913
3.57/3.64 c INPROCESSING
3.57/3.64 c GARBAGE COLLECT
3.57/3.64 c rational objective 2
4.37/4.41 c #Conflicts: 26000 | #Constraints: 4362
4.37/4.41 c #Conflicts: 27000 | #Constraints: 5362
4.37/4.41 c #Conflicts: 28000 | #Constraints: 6362
4.37/4.41 c #Conflicts: 29000 | #Constraints: 7362
4.37/4.41 c INPROCESSING
4.37/4.41 c GARBAGE COLLECT
4.37/4.41 c rational objective 2
5.17/5.28 c #Conflicts: 30000 | #Constraints: 4687
5.17/5.28 c #Conflicts: 31000 | #Constraints: 5687
5.17/5.28 c #Conflicts: 32000 | #Constraints: 6687
5.17/5.28 c #Conflicts: 33000 | #Constraints: 7687
5.17/5.28 c INPROCESSING
5.17/5.28 c GARBAGE COLLECT
5.17/5.28 c rational objective 2
6.17/6.23 c #Conflicts: 34000 | #Constraints: 4849
6.17/6.23 c #Conflicts: 35000 | #Constraints: 5849
6.17/6.23 c #Conflicts: 36000 | #Constraints: 6849
6.17/6.23 c #Conflicts: 37000 | #Constraints: 7849
6.17/6.23 c INPROCESSING
6.17/6.23 c GARBAGE COLLECT
6.17/6.23 c rational objective 2
7.07/7.16 c #Conflicts: 38000 | #Constraints: 4830
7.07/7.16 c #Conflicts: 39000 | #Constraints: 5830
7.07/7.16 c #Conflicts: 40000 | #Constraints: 6830
7.07/7.16 c #Conflicts: 41000 | #Constraints: 7830
7.07/7.16 c INPROCESSING
7.07/7.16 c GARBAGE COLLECT
7.07/7.16 c rational objective 2
8.16/8.28 c #Conflicts: 42000 | #Constraints: 4621
8.16/8.28 c #Conflicts: 43000 | #Constraints: 5621
8.16/8.28 c #Conflicts: 44000 | #Constraints: 6621
8.16/8.28 c #Conflicts: 45000 | #Constraints: 7621
8.16/8.28 c #Conflicts: 46000 | #Constraints: 8621
8.16/8.28 c INPROCESSING
8.16/8.28 c GARBAGE COLLECT
8.16/8.28 c rational objective 2
9.46/9.54 c #Conflicts: 47000 | #Constraints: 5319
9.46/9.54 c #Conflicts: 48000 | #Constraints: 6416
9.46/9.54 c #Conflicts: 49000 | #Constraints: 7546
9.46/9.54 c #Conflicts: 50000 | #Constraints: 8649
9.46/9.54 c #Conflicts: 51000 | #Constraints: 9784
9.46/9.54 c INPROCESSING
9.46/9.54 c GARBAGE COLLECT
9.46/9.54 c rational objective 2
12.45/12.59 c #Conflicts: 52000 | #Constraints: 5988
12.45/12.59 c #Conflicts: 53000 | #Constraints: 7089
12.45/12.59 c #Conflicts: 54000 | #Constraints: 8190
12.45/12.59 c #Conflicts: 55000 | #Constraints: 9266
12.45/12.59 c #Conflicts: 56000 | #Constraints: 10403
12.45/12.59 c INPROCESSING
12.45/12.59 c GARBAGE COLLECT
12.45/12.59 c #Conflicts: 57000 | #Constraints: 6207
12.45/12.59 c #Conflicts: 58000 | #Constraints: 7283
12.45/12.59 c #Conflicts: 59000 | #Constraints: 8376
12.45/12.59 c #Conflicts: 60000 | #Constraints: 9465
12.45/12.59 c #Conflicts: 61000 | #Constraints: 10580
12.45/12.59 c INPROCESSING
12.45/12.59 c GARBAGE COLLECT
12.45/12.59 c rational objective 2
14.15/14.28 c #Conflicts: 62000 | #Constraints: 6305
14.15/14.28 c #Conflicts: 63000 | #Constraints: 7431
14.15/14.28 c #Conflicts: 64000 | #Constraints: 8552
14.15/14.28 c #Conflicts: 65000 | #Constraints: 9671
14.15/14.28 c #Conflicts: 66000 | #Constraints: 10803
14.15/14.28 c INPROCESSING
14.15/14.28 c GARBAGE COLLECT
14.15/14.28 c rational objective 2
16.04/16.12 c #Conflicts: 67000 | #Constraints: 6144
16.04/16.12 c #Conflicts: 68000 | #Constraints: 7144
16.04/16.12 c #Conflicts: 69000 | #Constraints: 8144
16.04/16.12 c #Conflicts: 70000 | #Constraints: 9144
16.04/16.12 c #Conflicts: 71000 | #Constraints: 10144
16.04/16.12 c #Conflicts: 72000 | #Constraints: 11144
16.04/16.12 c INPROCESSING
16.04/16.12 c GARBAGE COLLECT
16.04/16.12 c rational objective 2
17.84/17.94 c #Conflicts: 73000 | #Constraints: 6507
17.84/17.94 c #Conflicts: 74000 | #Constraints: 7507
17.84/17.94 c #Conflicts: 75000 | #Constraints: 8507
17.84/17.94 c #Conflicts: 76000 | #Constraints: 9507
17.84/17.94 c #Conflicts: 77000 | #Constraints: 10507
17.84/17.94 c #Conflicts: 78000 | #Constraints: 11507
17.84/17.94 c INPROCESSING
17.84/17.94 c GARBAGE COLLECT
17.84/17.94 c rational objective 2
20.23/20.32 c #Conflicts: 79000 | #Constraints: 6941
20.23/20.32 c #Conflicts: 80000 | #Constraints: 8122
20.23/20.32 c #Conflicts: 81000 | #Constraints: 9215
20.23/20.32 c #Conflicts: 82000 | #Constraints: 10276
20.23/20.32 c #Conflicts: 83000 | #Constraints: 11365
20.23/20.32 c #Conflicts: 84000 | #Constraints: 12432
20.23/20.32 c INPROCESSING
20.23/20.32 c GARBAGE COLLECT
20.23/20.32 c rational objective 2
22.62/22.71 c #Conflicts: 85000 | #Constraints: 7305
22.62/22.71 c #Conflicts: 86000 | #Constraints: 8425
22.62/22.71 c #Conflicts: 87000 | #Constraints: 9532
22.62/22.71 c #Conflicts: 88000 | #Constraints: 10668
22.62/22.71 c #Conflicts: 89000 | #Constraints: 11772
22.62/22.71 c #Conflicts: 90000 | #Constraints: 12887
22.62/22.71 c INPROCESSING
22.62/22.71 c GARBAGE COLLECT
22.62/22.71 c rational objective 2
25.31/25.46 c #Conflicts: 91000 | #Constraints: 7433
25.31/25.46 c #Conflicts: 92000 | #Constraints: 8546
25.31/25.46 c #Conflicts: 93000 | #Constraints: 9668
25.31/25.46 c #Conflicts: 94000 | #Constraints: 10755
25.31/25.46 c #Conflicts: 95000 | #Constraints: 11871
25.31/25.46 c #Conflicts: 96000 | #Constraints: 12958
25.31/25.46 c INPROCESSING
25.31/25.46 c GARBAGE COLLECT
25.31/25.46 c rational objective 2
28.01/28.19 c #Conflicts: 97000 | #Constraints: 7226
28.01/28.19 c #Conflicts: 98000 | #Constraints: 8311
28.01/28.19 c #Conflicts: 99000 | #Constraints: 9380
28.01/28.19 c #Conflicts: 100000 | #Constraints: 10470
28.01/28.19 c #Conflicts: 101000 | #Constraints: 11578
28.01/28.19 c #Conflicts: 102000 | #Constraints: 12671
28.01/28.19 c #Conflicts: 103000 | #Constraints: 13773
28.01/28.19 c INPROCESSING
28.01/28.19 c GARBAGE COLLECT
28.01/28.19 c rational objective 2
30.50/30.68 c #Conflicts: 104000 | #Constraints: 7802
30.50/30.68 c #Conflicts: 105000 | #Constraints: 8802
30.50/30.68 c #Conflicts: 106000 | #Constraints: 9802
30.50/30.68 c #Conflicts: 107000 | #Constraints: 10802
30.50/30.68 c #Conflicts: 108000 | #Constraints: 11802
30.50/30.68 c #Conflicts: 109000 | #Constraints: 12802
30.50/30.68 c #Conflicts: 110000 | #Constraints: 13802
30.50/30.68 c INPROCESSING
30.50/30.68 c GARBAGE COLLECT
30.50/30.68 c rational objective 2
33.49/33.68 c #Conflicts: 111000 | #Constraints: 8001
33.49/33.68 c #Conflicts: 112000 | #Constraints: 9103
33.49/33.68 c #Conflicts: 113000 | #Constraints: 10215
33.49/33.68 c #Conflicts: 114000 | #Constraints: 11329
33.49/33.68 c #Conflicts: 115000 | #Constraints: 12429
33.49/33.68 c #Conflicts: 116000 | #Constraints: 13532
33.49/33.68 c #Conflicts: 117000 | #Constraints: 14646
33.49/33.68 c INPROCESSING
33.49/33.68 c GARBAGE COLLECT
33.49/33.68 c rational objective 2
36.59/36.78 c #Conflicts: 118000 | #Constraints: 8329
36.59/36.78 c #Conflicts: 119000 | #Constraints: 9365
36.59/36.78 c #Conflicts: 120000 | #Constraints: 10453
36.59/36.78 c #Conflicts: 121000 | #Constraints: 11568
36.59/36.78 c #Conflicts: 122000 | #Constraints: 12698
36.59/36.78 c #Conflicts: 123000 | #Constraints: 13847
36.59/36.78 c #Conflicts: 124000 | #Constraints: 14976
36.59/36.78 c INPROCESSING
36.59/36.78 c GARBAGE COLLECT
36.59/36.78 c rational objective 2
39.78/40.00 c #Conflicts: 125000 | #Constraints: 8404
39.78/40.00 c #Conflicts: 126000 | #Constraints: 9404
39.78/40.00 c #Conflicts: 127000 | #Constraints: 10470
39.78/40.00 c #Conflicts: 128000 | #Constraints: 11527
39.78/40.00 c #Conflicts: 129000 | #Constraints: 12602
39.78/40.00 c #Conflicts: 130000 | #Constraints: 13738
39.78/40.00 c #Conflicts: 131000 | #Constraints: 14875
39.78/40.00 c INPROCESSING
39.78/40.00 c GARBAGE COLLECT
39.78/40.00 c rational objective 2
43.07/43.26 c #Conflicts: 132000 | #Constraints: 8209
43.07/43.26 c #Conflicts: 133000 | #Constraints: 9262
43.07/43.26 c #Conflicts: 134000 | #Constraints: 10337
43.07/43.26 c #Conflicts: 135000 | #Constraints: 11398
43.07/43.26 c #Conflicts: 136000 | #Constraints: 12459
43.07/43.26 c #Conflicts: 137000 | #Constraints: 13547
43.07/43.26 c #Conflicts: 138000 | #Constraints: 14627
43.07/43.26 c #Conflicts: 139000 | #Constraints: 15691
43.07/43.26 c INPROCESSING
43.07/43.26 c GARBAGE COLLECT
43.07/43.26 c rational objective 2
79.47/79.72 c #Conflicts: 140000 | #Constraints: 8823
79.47/79.72 c #Conflicts: 141000 | #Constraints: 9910
79.47/79.72 c #Conflicts: 142000 | #Constraints: 11008
79.47/79.72 c #Conflicts: 143000 | #Constraints: 12288
79.47/79.72 c #Conflicts: 144000 | #Constraints: 13845
79.47/79.72 c #Conflicts: 145000 | #Constraints: 15400
79.47/79.72 c #Conflicts: 146000 | #Constraints: 16963
79.47/79.72 c #Conflicts: 147000 | #Constraints: 18532
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 148000 | #Constraints: 10854
79.47/79.72 c #Conflicts: 149000 | #Constraints: 11964
79.47/79.72 c #Conflicts: 150000 | #Constraints: 13037
79.47/79.72 c #Conflicts: 151000 | #Constraints: 14110
79.47/79.72 c #Conflicts: 152000 | #Constraints: 15182
79.47/79.72 c #Conflicts: 153000 | #Constraints: 16253
79.47/79.72 c #Conflicts: 154000 | #Constraints: 17307
79.47/79.72 c #Conflicts: 155000 | #Constraints: 18364
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 156000 | #Constraints: 10237
79.47/79.72 c #Conflicts: 157000 | #Constraints: 11334
79.47/79.72 c #Conflicts: 158000 | #Constraints: 12401
79.47/79.72 c #Conflicts: 159000 | #Constraints: 13472
79.47/79.72 c #Conflicts: 160000 | #Constraints: 14556
79.47/79.72 c #Conflicts: 161000 | #Constraints: 15647
79.47/79.72 c #Conflicts: 162000 | #Constraints: 16737
79.47/79.72 c #Conflicts: 163000 | #Constraints: 17805
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 164000 | #Constraints: 9858
79.47/79.72 c #Conflicts: 165000 | #Constraints: 10866
79.47/79.72 c #Conflicts: 166000 | #Constraints: 11912
79.47/79.72 c #Conflicts: 167000 | #Constraints: 12986
79.47/79.72 c #Conflicts: 168000 | #Constraints: 14045
79.47/79.72 c #Conflicts: 169000 | #Constraints: 15113
79.47/79.72 c #Conflicts: 170000 | #Constraints: 16177
79.47/79.72 c #Conflicts: 171000 | #Constraints: 17182
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 172000 | #Constraints: 9332
79.47/79.72 c #Conflicts: 173000 | #Constraints: 10425
79.47/79.72 c #Conflicts: 174000 | #Constraints: 11542
79.47/79.72 c #Conflicts: 175000 | #Constraints: 12639
79.47/79.72 c #Conflicts: 176000 | #Constraints: 13708
79.47/79.72 c #Conflicts: 177000 | #Constraints: 14785
79.47/79.72 c #Conflicts: 178000 | #Constraints: 15835
79.47/79.72 c #Conflicts: 179000 | #Constraints: 16918
79.47/79.72 c #Conflicts: 180000 | #Constraints: 18006
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 181000 | #Constraints: 9977
79.47/79.72 c #Conflicts: 182000 | #Constraints: 11054
79.47/79.72 c #Conflicts: 183000 | #Constraints: 12114
79.47/79.72 c #Conflicts: 184000 | #Constraints: 13213
79.47/79.72 c #Conflicts: 185000 | #Constraints: 14297
79.47/79.72 c #Conflicts: 186000 | #Constraints: 15396
79.47/79.72 c #Conflicts: 187000 | #Constraints: 16471
79.47/79.72 c #Conflicts: 188000 | #Constraints: 17547
79.47/79.72 c #Conflicts: 189000 | #Constraints: 18650
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 190000 | #Constraints: 10473
79.47/79.72 c #Conflicts: 191000 | #Constraints: 11649
79.47/79.72 c #Conflicts: 192000 | #Constraints: 12753
79.47/79.72 c #Conflicts: 193000 | #Constraints: 13852
79.47/79.72 c #Conflicts: 194000 | #Constraints: 14942
79.47/79.72 c #Conflicts: 195000 | #Constraints: 16015
79.47/79.72 c #Conflicts: 196000 | #Constraints: 17104
79.47/79.72 c #Conflicts: 197000 | #Constraints: 18232
79.47/79.72 c #Conflicts: 198000 | #Constraints: 19303
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 199000 | #Constraints: 10752
79.47/79.72 c #Conflicts: 200000 | #Constraints: 12024
79.47/79.72 c #Conflicts: 201000 | #Constraints: 13142
79.47/79.72 c #Conflicts: 202000 | #Constraints: 14272
79.47/79.72 c #Conflicts: 203000 | #Constraints: 15417
79.47/79.72 c #Conflicts: 204000 | #Constraints: 16531
79.47/79.72 c #Conflicts: 205000 | #Constraints: 17673
79.47/79.72 c #Conflicts: 206000 | #Constraints: 18765
79.47/79.72 c #Conflicts: 207000 | #Constraints: 19886
79.47/79.72 c INPROCESSING
79.47/79.72 c GARBAGE COLLECT
79.47/79.72 c #Conflicts: 208000 | #Constraints: 10946
79.47/79.72 c #Conflicts: 209000 | #Constraints: 12451
79.47/79.72 c #Conflicts: 210000 | #Constraints: 13978
79.47/79.72 c #Conflicts: 211000 | #Constraints: 15521
79.47/79.72 c #Conflicts: 212000 | #Constraints: 17073
79.47/79.72 c #Conflicts: 213000 | #Constraints: 18608
124.94/125.32 c #Conflicts: 214000 | #Constraints: 20154
124.94/125.32 c #Conflicts: 215000 | #Constraints: 21722
124.94/125.32 c #Conflicts: 216000 | #Constraints: 23271
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 217000 | #Constraints: 12744
124.94/125.32 c #Conflicts: 218000 | #Constraints: 14322
124.94/125.32 c #Conflicts: 219000 | #Constraints: 15594
124.94/125.32 c #Conflicts: 220000 | #Constraints: 16654
124.94/125.32 c #Conflicts: 221000 | #Constraints: 17764
124.94/125.32 c #Conflicts: 222000 | #Constraints: 18846
124.94/125.32 c #Conflicts: 223000 | #Constraints: 19962
124.94/125.32 c #Conflicts: 224000 | #Constraints: 21038
124.94/125.32 c #Conflicts: 225000 | #Constraints: 22106
124.94/125.32 c #Conflicts: 226000 | #Constraints: 23168
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 227000 | #Constraints: 12634
124.94/125.32 c #Conflicts: 228000 | #Constraints: 13695
124.94/125.32 c #Conflicts: 229000 | #Constraints: 14814
124.94/125.32 c #Conflicts: 230000 | #Constraints: 15901
124.94/125.32 c #Conflicts: 231000 | #Constraints: 16984
124.94/125.32 c #Conflicts: 232000 | #Constraints: 17984
124.94/125.32 c #Conflicts: 233000 | #Constraints: 19107
124.94/125.32 c #Conflicts: 234000 | #Constraints: 20218
124.94/125.32 c #Conflicts: 235000 | #Constraints: 21285
124.94/125.32 c #Conflicts: 236000 | #Constraints: 22368
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 237000 | #Constraints: 12264
124.94/125.32 c #Conflicts: 238000 | #Constraints: 13404
124.94/125.32 c #Conflicts: 239000 | #Constraints: 14488
124.94/125.32 c #Conflicts: 240000 | #Constraints: 15549
124.94/125.32 c #Conflicts: 241000 | #Constraints: 16617
124.94/125.32 c #Conflicts: 242000 | #Constraints: 17706
124.94/125.32 c #Conflicts: 243000 | #Constraints: 18825
124.94/125.32 c #Conflicts: 244000 | #Constraints: 19940
124.94/125.32 c #Conflicts: 245000 | #Constraints: 21084
124.94/125.32 c #Conflicts: 246000 | #Constraints: 22190
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 247000 | #Constraints: 12166
124.94/125.32 c #Conflicts: 248000 | #Constraints: 13250
124.94/125.32 c #Conflicts: 249000 | #Constraints: 14334
124.94/125.32 c #Conflicts: 250000 | #Constraints: 15425
124.94/125.32 c #Conflicts: 251000 | #Constraints: 16493
124.94/125.32 c #Conflicts: 252000 | #Constraints: 17558
124.94/125.32 c #Conflicts: 253000 | #Constraints: 18614
124.94/125.32 c #Conflicts: 254000 | #Constraints: 19707
124.94/125.32 c #Conflicts: 255000 | #Constraints: 20810
124.94/125.32 c #Conflicts: 256000 | #Constraints: 21978
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 257000 | #Constraints: 11976
124.94/125.32 c #Conflicts: 258000 | #Constraints: 13026
124.94/125.32 c #Conflicts: 259000 | #Constraints: 14096
124.94/125.32 c #Conflicts: 260000 | #Constraints: 15177
124.94/125.32 c #Conflicts: 261000 | #Constraints: 16260
124.94/125.32 c #Conflicts: 262000 | #Constraints: 17314
124.94/125.32 c #Conflicts: 263000 | #Constraints: 18430
124.94/125.32 c #Conflicts: 264000 | #Constraints: 19549
124.94/125.32 c #Conflicts: 265000 | #Constraints: 20675
124.94/125.32 c #Conflicts: 266000 | #Constraints: 21770
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 267000 | #Constraints: 11609
124.94/125.32 c #Conflicts: 268000 | #Constraints: 12674
124.94/125.32 c #Conflicts: 269000 | #Constraints: 13767
124.94/125.32 c #Conflicts: 270000 | #Constraints: 14836
124.94/125.32 c #Conflicts: 271000 | #Constraints: 15897
124.94/125.32 c #Conflicts: 272000 | #Constraints: 16981
124.94/125.32 c #Conflicts: 273000 | #Constraints: 18072
124.94/125.32 c #Conflicts: 274000 | #Constraints: 19160
124.94/125.32 c #Conflicts: 275000 | #Constraints: 20226
124.94/125.32 c #Conflicts: 276000 | #Constraints: 21311
124.94/125.32 c #Conflicts: 277000 | #Constraints: 22404
124.94/125.32 c INPROCESSING
124.94/125.32 c GARBAGE COLLECT
124.94/125.32 c #Conflicts: 278000 | #Constraints: 12159
124.94/125.32 c #Conflicts: 279000 | #Constraints: 13223
124.94/125.32 c #Conflicts: 280000 | #Constraints: 14297
124.94/125.32 c #Conflicts: 281000 | #Constraints: 15399
124.94/125.32 c #Conflicts: 282000 | #Constraints: 16462
124.94/125.32 c #Conflicts: 283000 | #Constraints: 17523
124.94/125.32 c #Conflicts: 284000 | #Constraints: 18626
124.94/125.32 c #Conflicts: 285000 | #Constraints: 19710
124.94/125.32 c #Conflicts: 286000 | #Constraints: 20804
124.94/125.32 c #Conflicts: 287000 | #Constraints: 21911
124.94/125.32 c #Conflicts: 288000 | #Constraints: 23007
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 289000 | #Constraints: 12620
171.79/172.33 c #Conflicts: 290000 | #Constraints: 13712
171.79/172.33 c #Conflicts: 291000 | #Constraints: 14768
171.79/172.33 c #Conflicts: 292000 | #Constraints: 15848
171.79/172.33 c #Conflicts: 293000 | #Constraints: 16946
171.79/172.33 c #Conflicts: 294000 | #Constraints: 18106
171.79/172.33 c #Conflicts: 295000 | #Constraints: 19292
171.79/172.33 c #Conflicts: 296000 | #Constraints: 20368
171.79/172.33 c #Conflicts: 297000 | #Constraints: 21417
171.79/172.33 c #Conflicts: 298000 | #Constraints: 22497
171.79/172.33 c #Conflicts: 299000 | #Constraints: 23595
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 300000 | #Constraints: 12890
171.79/172.33 c #Conflicts: 301000 | #Constraints: 13994
171.79/172.33 c #Conflicts: 302000 | #Constraints: 15088
171.79/172.33 c #Conflicts: 303000 | #Constraints: 16167
171.79/172.33 c #Conflicts: 304000 | #Constraints: 17247
171.79/172.33 c #Conflicts: 305000 | #Constraints: 18352
171.79/172.33 c #Conflicts: 306000 | #Constraints: 19674
171.79/172.33 c #Conflicts: 307000 | #Constraints: 20784
171.79/172.33 c #Conflicts: 308000 | #Constraints: 21866
171.79/172.33 c #Conflicts: 309000 | #Constraints: 22973
171.79/172.33 c #Conflicts: 310000 | #Constraints: 24072
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 311000 | #Constraints: 13002
171.79/172.33 c #Conflicts: 312000 | #Constraints: 14094
171.79/172.33 c #Conflicts: 313000 | #Constraints: 15227
171.79/172.33 c #Conflicts: 314000 | #Constraints: 16374
171.79/172.33 c #Conflicts: 315000 | #Constraints: 17451
171.79/172.33 c #Conflicts: 316000 | #Constraints: 18550
171.79/172.33 c #Conflicts: 317000 | #Constraints: 19630
171.79/172.33 c #Conflicts: 318000 | #Constraints: 20729
171.79/172.33 c #Conflicts: 319000 | #Constraints: 21852
171.79/172.33 c #Conflicts: 320000 | #Constraints: 22972
171.79/172.33 c #Conflicts: 321000 | #Constraints: 24069
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 322000 | #Constraints: 12790
171.79/172.33 c #Conflicts: 323000 | #Constraints: 13868
171.79/172.33 c #Conflicts: 324000 | #Constraints: 14952
171.79/172.33 c #Conflicts: 325000 | #Constraints: 16024
171.79/172.33 c #Conflicts: 326000 | #Constraints: 17091
171.79/172.33 c #Conflicts: 327000 | #Constraints: 18145
171.79/172.33 c #Conflicts: 328000 | #Constraints: 19206
171.79/172.33 c #Conflicts: 329000 | #Constraints: 20247
171.79/172.33 c #Conflicts: 330000 | #Constraints: 21337
171.79/172.33 c #Conflicts: 331000 | #Constraints: 22416
171.79/172.33 c #Conflicts: 332000 | #Constraints: 23466
171.79/172.33 c #Conflicts: 333000 | #Constraints: 24536
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 334000 | #Constraints: 13235
171.79/172.33 c #Conflicts: 335000 | #Constraints: 14331
171.79/172.33 c #Conflicts: 336000 | #Constraints: 15419
171.79/172.33 c #Conflicts: 337000 | #Constraints: 16551
171.79/172.33 c #Conflicts: 338000 | #Constraints: 17621
171.79/172.33 c #Conflicts: 339000 | #Constraints: 18724
171.79/172.33 c #Conflicts: 340000 | #Constraints: 19818
171.79/172.33 c #Conflicts: 341000 | #Constraints: 20915
171.79/172.33 c #Conflicts: 342000 | #Constraints: 21991
171.79/172.33 c #Conflicts: 343000 | #Constraints: 23076
171.79/172.33 c #Conflicts: 344000 | #Constraints: 24161
171.79/172.33 c #Conflicts: 345000 | #Constraints: 25231
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 346000 | #Constraints: 13726
171.79/172.33 c #Conflicts: 347000 | #Constraints: 14870
171.79/172.33 c #Conflicts: 348000 | #Constraints: 15935
171.79/172.33 c #Conflicts: 349000 | #Constraints: 17014
171.79/172.33 c #Conflicts: 350000 | #Constraints: 18091
171.79/172.33 c #Conflicts: 351000 | #Constraints: 19225
171.79/172.33 c #Conflicts: 352000 | #Constraints: 20331
171.79/172.33 c #Conflicts: 353000 | #Constraints: 21395
171.79/172.33 c #Conflicts: 354000 | #Constraints: 22466
171.79/172.33 c #Conflicts: 355000 | #Constraints: 23530
171.79/172.33 c #Conflicts: 356000 | #Constraints: 24613
171.79/172.33 c #Conflicts: 357000 | #Constraints: 25673
171.79/172.33 c INPROCESSING
171.79/172.33 c GARBAGE COLLECT
171.79/172.33 c #Conflicts: 358000 | #Constraints: 13896
171.79/172.33 c #Conflicts: 359000 | #Constraints: 14986
171.79/172.33 c #Conflicts: 360000 | #Constraints: 16104
171.79/172.33 c #Conflicts: 361000 | #Constraints: 17207
171.79/172.33 c #Conflicts: 362000 | #Constraints: 18277
224.82/225.60 c #Conflicts: 363000 | #Constraints: 19351
224.82/225.60 c #Conflicts: 364000 | #Constraints: 20399
224.82/225.60 c #Conflicts: 365000 | #Constraints: 21499
224.82/225.60 c #Conflicts: 366000 | #Constraints: 22573
224.82/225.60 c #Conflicts: 367000 | #Constraints: 23711
224.82/225.60 c #Conflicts: 368000 | #Constraints: 24785
224.82/225.60 c #Conflicts: 369000 | #Constraints: 25869
224.82/225.60 c INPROCESSING
224.82/225.60 c GARBAGE COLLECT
224.82/225.60 c #Conflicts: 370000 | #Constraints: 13910
224.82/225.60 c #Conflicts: 371000 | #Constraints: 14987
224.82/225.60 c #Conflicts: 372000 | #Constraints: 16041
224.82/225.60 c #Conflicts: 373000 | #Constraints: 17112
224.82/225.60 c #Conflicts: 374000 | #Constraints: 18174
224.82/225.60 c #Conflicts: 375000 | #Constraints: 19236
224.82/225.60 c #Conflicts: 376000 | #Constraints: 20296
224.82/225.60 c #Conflicts: 377000 | #Constraints: 21347
224.82/225.60 c #Conflicts: 378000 | #Constraints: 22408
224.82/225.60 c #Conflicts: 379000 | #Constraints: 23494
224.82/225.60 c #Conflicts: 380000 | #Constraints: 24569
224.82/225.60 c #Conflicts: 381000 | #Constraints: 25676
224.92/225.60 c INPROCESSING
224.92/225.60 c GARBAGE COLLECT
224.92/225.60 c #Conflicts: 382000 | #Constraints: 13594
224.92/225.60 c #Conflicts: 383000 | #Constraints: 14671
224.92/225.60 c #Conflicts: 384000 | #Constraints: 15740
224.92/225.60 c #Conflicts: 385000 | #Constraints: 16848
224.92/225.60 c #Conflicts: 386000 | #Constraints: 17920
224.92/225.60 c #Conflicts: 387000 | #Constraints: 18982
224.92/225.60 c #Conflicts: 388000 | #Constraints: 20048
224.92/225.60 c #Conflicts: 389000 | #Constraints: 21174
224.92/225.60 c #Conflicts: 390000 | #Constraints: 22232
224.92/225.60 c #Conflicts: 391000 | #Constraints: 23291
224.92/225.60 c #Conflicts: 392000 | #Constraints: 24407
224.92/225.60 c #Conflicts: 393000 | #Constraints: 25484
224.92/225.60 c #Conflicts: 394000 | #Constraints: 26545
224.92/225.60 c INPROCESSING
224.92/225.60 c GARBAGE COLLECT
224.92/225.60 c #Conflicts: 395000 | #Constraints: 14235
224.92/225.60 c #Conflicts: 396000 | #Constraints: 15354
224.92/225.60 c #Conflicts: 397000 | #Constraints: 16455
224.92/225.60 c #Conflicts: 398000 | #Constraints: 17517
224.92/225.60 c #Conflicts: 399000 | #Constraints: 18577
224.92/225.60 c #Conflicts: 400000 | #Constraints: 19640
224.92/225.60 c #Conflicts: 401000 | #Constraints: 20724
224.92/225.60 c #Conflicts: 402000 | #Constraints: 21818
224.92/225.60 c #Conflicts: 403000 | #Constraints: 22905
224.92/225.60 c #Conflicts: 404000 | #Constraints: 23990
224.92/225.60 c #Conflicts: 405000 | #Constraints: 25067
224.92/225.60 c #Conflicts: 406000 | #Constraints: 26157
224.92/225.60 c #Conflicts: 407000 | #Constraints: 27229
224.92/225.60 c INPROCESSING
224.92/225.60 c GARBAGE COLLECT
224.92/225.60 c #Conflicts: 408000 | #Constraints: 14687
224.92/225.60 c #Conflicts: 409000 | #Constraints: 15801
224.92/225.60 c #Conflicts: 410000 | #Constraints: 16879
224.92/225.60 c #Conflicts: 411000 | #Constraints: 17943
224.92/225.60 c #Conflicts: 412000 | #Constraints: 19002
224.92/225.60 c #Conflicts: 413000 | #Constraints: 20092
224.92/225.60 c #Conflicts: 414000 | #Constraints: 21197
224.92/225.60 c #Conflicts: 415000 | #Constraints: 22254
224.92/225.60 c #Conflicts: 416000 | #Constraints: 23400
224.92/225.60 c #Conflicts: 417000 | #Constraints: 24479
224.92/225.60 c #Conflicts: 418000 | #Constraints: 25526
224.92/225.60 c #Conflicts: 419000 | #Constraints: 26587
224.92/225.60 c #Conflicts: 420000 | #Constraints: 27652
224.92/225.60 c INPROCESSING
224.92/225.60 c GARBAGE COLLECT
224.92/225.60 c #Conflicts: 421000 | #Constraints: 14931
224.92/225.60 c #Conflicts: 422000 | #Constraints: 15977
224.92/225.60 c #Conflicts: 423000 | #Constraints: 17032
224.92/225.60 c #Conflicts: 424000 | #Constraints: 18102
224.92/225.60 c #Conflicts: 425000 | #Constraints: 19184
224.92/225.60 c #Conflicts: 426000 | #Constraints: 20275
224.92/225.60 c #Conflicts: 427000 | #Constraints: 21355
224.92/225.60 c #Conflicts: 428000 | #Constraints: 22461
224.92/225.60 c #Conflicts: 429000 | #Constraints: 23527
224.92/225.60 c #Conflicts: 430000 | #Constraints: 24619
224.92/225.60 c #Conflicts: 431000 | #Constraints: 25678
224.92/225.60 c #Conflicts: 432000 | #Constraints: 26766
224.92/225.60 c #Conflicts: 433000 | #Constraints: 27826
224.92/225.60 c INPROCESSING
224.92/225.60 c GARBAGE COLLECT
224.92/225.60 c rational objective 2
244.45/245.27 c #Conflicts: 434000 | #Constraints: 14855
244.45/245.27 c #Conflicts: 435000 | #Constraints: 15966
244.45/245.27 c #Conflicts: 436000 | #Constraints: 17083
244.45/245.27 c #Conflicts: 437000 | #Constraints: 18150
244.45/245.27 c #Conflicts: 438000 | #Constraints: 19228
244.45/245.27 c #Conflicts: 439000 | #Constraints: 20341
244.45/245.27 c #Conflicts: 440000 | #Constraints: 21446
244.45/245.27 c #Conflicts: 441000 | #Constraints: 22557
244.45/245.27 c #Conflicts: 442000 | #Constraints: 23628
244.45/245.27 c #Conflicts: 443000 | #Constraints: 24739
244.45/245.27 c #Conflicts: 444000 | #Constraints: 25949
244.45/245.27 c #Conflicts: 445000 | #Constraints: 27085
244.45/245.27 c #Conflicts: 446000 | #Constraints: 28203
244.45/245.27 c INPROCESSING
244.45/245.27 c GARBAGE COLLECT
244.45/245.27 c #Conflicts: 447000 | #Constraints: 14905
244.45/245.27 c #Conflicts: 448000 | #Constraints: 16014
244.45/245.27 c #Conflicts: 449000 | #Constraints: 17091
244.45/245.27 c #Conflicts: 450000 | #Constraints: 18218
244.45/245.27 c #Conflicts: 451000 | #Constraints: 19218
244.45/245.27 c #Conflicts: 452000 | #Constraints: 20227
244.45/245.27 c #Conflicts: 453000 | #Constraints: 21324
244.45/245.27 c #Conflicts: 454000 | #Constraints: 22324
244.45/245.27 c #Conflicts: 455000 | #Constraints: 23324
244.45/245.27 c #Conflicts: 456000 | #Constraints: 24324
244.45/245.27 c #Conflicts: 457000 | #Constraints: 25324
244.45/245.27 c #Conflicts: 458000 | #Constraints: 26324
244.45/245.27 c #Conflicts: 459000 | #Constraints: 27324
244.45/245.27 c #Conflicts: 460000 | #Constraints: 28324
244.45/245.27 c INPROCESSING
244.45/245.27 c GARBAGE COLLECT
244.45/245.27 c rational objective 2
256.12/256.95 c #Conflicts: 461000 | #Constraints: 15141
256.12/256.95 c #Conflicts: 462000 | #Constraints: 16221
256.12/256.95 c #Conflicts: 463000 | #Constraints: 17299
256.12/256.95 c #Conflicts: 464000 | #Constraints: 18300
256.12/256.95 c #Conflicts: 465000 | #Constraints: 19354
256.12/256.95 c #Conflicts: 466000 | #Constraints: 20432
256.12/256.95 c #Conflicts: 467000 | #Constraints: 21513
256.12/256.95 c #Conflicts: 468000 | #Constraints: 22613
256.12/256.95 c #Conflicts: 469000 | #Constraints: 23666
256.12/256.95 c #Conflicts: 470000 | #Constraints: 24707
256.12/256.95 c #Conflicts: 471000 | #Constraints: 25785
256.12/256.95 c #Conflicts: 472000 | #Constraints: 26855
256.12/256.95 c #Conflicts: 473000 | #Constraints: 27906
256.12/256.95 c #Conflicts: 474000 | #Constraints: 28968
256.12/256.95 c INPROCESSING
256.12/256.95 c GARBAGE COLLECT
256.12/256.95 c rational objective 2
269.38/270.28 c #Conflicts: 475000 | #Constraints: 15456
269.38/270.28 c #Conflicts: 476000 | #Constraints: 16456
269.38/270.28 c #Conflicts: 477000 | #Constraints: 17499
269.38/270.28 c #Conflicts: 478000 | #Constraints: 18599
269.38/270.28 c #Conflicts: 479000 | #Constraints: 19674
269.38/270.28 c #Conflicts: 480000 | #Constraints: 20776
269.38/270.28 c #Conflicts: 481000 | #Constraints: 21849
269.38/270.28 c #Conflicts: 482000 | #Constraints: 22948
269.38/270.28 c #Conflicts: 483000 | #Constraints: 24033
269.38/270.28 c #Conflicts: 484000 | #Constraints: 25121
269.38/270.28 c #Conflicts: 485000 | #Constraints: 26201
269.38/270.28 c #Conflicts: 486000 | #Constraints: 27308
269.38/270.28 c #Conflicts: 487000 | #Constraints: 28402
269.38/270.28 c #Conflicts: 488000 | #Constraints: 29508
269.38/270.28 c INPROCESSING
269.38/270.28 c GARBAGE COLLECT
269.38/270.28 c rational objective 2
282.02/282.93 c #Conflicts: 489000 | #Constraints: 15763
282.02/282.93 c #Conflicts: 490000 | #Constraints: 16763
282.02/282.93 c #Conflicts: 491000 | #Constraints: 17763
282.02/282.93 c #Conflicts: 492000 | #Constraints: 18763
282.02/282.93 c #Conflicts: 493000 | #Constraints: 19763
282.02/282.93 c #Conflicts: 494000 | #Constraints: 20763
282.02/282.93 c #Conflicts: 495000 | #Constraints: 21763
282.02/282.93 c #Conflicts: 496000 | #Constraints: 22763
282.02/282.93 c #Conflicts: 497000 | #Constraints: 23763
282.02/282.93 c #Conflicts: 498000 | #Constraints: 24763
282.02/282.93 c #Conflicts: 499000 | #Constraints: 25763
282.02/282.93 c #Conflicts: 500000 | #Constraints: 26763
282.02/282.93 c #Conflicts: 501000 | #Constraints: 27844
282.02/282.93 c #Conflicts: 502000 | #Constraints: 28944
282.02/282.93 c INPROCESSING
282.02/282.93 c GARBAGE COLLECT
282.02/282.93 c rational objective 2
293.69/294.68 c #Conflicts: 503000 | #Constraints: 15513
293.69/294.68 c #Conflicts: 504000 | #Constraints: 16576
293.69/294.68 c #Conflicts: 505000 | #Constraints: 17576
293.69/294.68 c #Conflicts: 506000 | #Constraints: 18576
293.69/294.68 c #Conflicts: 507000 | #Constraints: 19576
293.69/294.68 c #Conflicts: 508000 | #Constraints: 20576
293.69/294.68 c #Conflicts: 509000 | #Constraints: 21576
293.69/294.68 c #Conflicts: 510000 | #Constraints: 22576
293.69/294.68 c #Conflicts: 511000 | #Constraints: 23576
293.69/294.68 c #Conflicts: 512000 | #Constraints: 24576
293.69/294.68 c #Conflicts: 513000 | #Constraints: 25576
293.69/294.68 c #Conflicts: 514000 | #Constraints: 26576
293.69/294.68 c #Conflicts: 515000 | #Constraints: 27576
293.69/294.68 c #Conflicts: 516000 | #Constraints: 28576
293.69/294.68 c INPROCESSING
293.69/294.68 c GARBAGE COLLECT
293.69/294.68 c rational objective 2
305.35/306.33 c #Conflicts: 517000 | #Constraints: 14999
305.35/306.33 c #Conflicts: 518000 | #Constraints: 16040
305.35/306.33 c #Conflicts: 519000 | #Constraints: 17040
305.35/306.33 c #Conflicts: 520000 | #Constraints: 18040
305.35/306.33 c #Conflicts: 521000 | #Constraints: 19040
305.35/306.33 c #Conflicts: 522000 | #Constraints: 20040
305.35/306.33 c #Conflicts: 523000 | #Constraints: 21040
305.35/306.33 c #Conflicts: 524000 | #Constraints: 22040
305.35/306.33 c #Conflicts: 525000 | #Constraints: 23040
305.35/306.33 c #Conflicts: 526000 | #Constraints: 24040
305.35/306.33 c #Conflicts: 527000 | #Constraints: 25040
305.35/306.33 c #Conflicts: 528000 | #Constraints: 26040
305.35/306.33 c #Conflicts: 529000 | #Constraints: 27040
305.35/306.33 c #Conflicts: 530000 | #Constraints: 28071
305.35/306.33 c #Conflicts: 531000 | #Constraints: 29157
305.35/306.33 c INPROCESSING
305.35/306.33 c GARBAGE COLLECT
305.35/306.33 c rational objective 2
316.91/317.99 c #Conflicts: 532000 | #Constraints: 15562
316.91/317.99 c #Conflicts: 533000 | #Constraints: 16562
316.91/317.99 c #Conflicts: 534000 | #Constraints: 17562
316.91/317.99 c #Conflicts: 535000 | #Constraints: 18562
316.91/317.99 c #Conflicts: 536000 | #Constraints: 19562
316.91/317.99 c #Conflicts: 537000 | #Constraints: 20562
316.91/317.99 c #Conflicts: 538000 | #Constraints: 21562
316.91/317.99 c #Conflicts: 539000 | #Constraints: 22562
316.91/317.99 c #Conflicts: 540000 | #Constraints: 23562
316.91/317.99 c #Conflicts: 541000 | #Constraints: 24562
316.91/317.99 c #Conflicts: 542000 | #Constraints: 25562
316.91/317.99 c #Conflicts: 543000 | #Constraints: 26562
316.91/317.99 c #Conflicts: 544000 | #Constraints: 27562
316.91/317.99 c #Conflicts: 545000 | #Constraints: 28562
316.91/317.99 c #Conflicts: 546000 | #Constraints: 29562
316.91/317.99 c INPROCESSING
316.91/317.99 c GARBAGE COLLECT
316.91/317.99 c rational objective 2
328.37/329.49 c #Conflicts: 547000 | #Constraints: 15786
328.37/329.49 c #Conflicts: 548000 | #Constraints: 16786
328.37/329.49 c #Conflicts: 549000 | #Constraints: 17786
328.37/329.49 c #Conflicts: 550000 | #Constraints: 18786
328.37/329.49 c #Conflicts: 551000 | #Constraints: 19786
328.37/329.49 c #Conflicts: 552000 | #Constraints: 20786
328.37/329.49 c #Conflicts: 553000 | #Constraints: 21786
328.37/329.49 c #Conflicts: 554000 | #Constraints: 22786
328.37/329.49 c #Conflicts: 555000 | #Constraints: 23786
328.37/329.49 c #Conflicts: 556000 | #Constraints: 24786
328.37/329.49 c #Conflicts: 557000 | #Constraints: 25786
328.37/329.49 c #Conflicts: 558000 | #Constraints: 26786
328.37/329.49 c #Conflicts: 559000 | #Constraints: 27786
328.37/329.49 c #Conflicts: 560000 | #Constraints: 28786
328.37/329.49 c #Conflicts: 561000 | #Constraints: 29786
328.37/329.49 c INPROCESSING
328.37/329.49 c GARBAGE COLLECT
328.37/329.49 c rational objective 2
340.83/341.91 c #Conflicts: 562000 | #Constraints: 15897
340.83/341.91 c #Conflicts: 563000 | #Constraints: 16897
340.83/341.91 c #Conflicts: 564000 | #Constraints: 17897
340.83/341.91 c #Conflicts: 565000 | #Constraints: 18897
340.83/341.91 c #Conflicts: 566000 | #Constraints: 19897
340.83/341.91 c #Conflicts: 567000 | #Constraints: 20897
340.83/341.91 c #Conflicts: 568000 | #Constraints: 21897
340.83/341.91 c #Conflicts: 569000 | #Constraints: 22897
340.83/341.91 c #Conflicts: 570000 | #Constraints: 23897
340.83/341.91 c #Conflicts: 571000 | #Constraints: 24897
340.83/341.91 c #Conflicts: 572000 | #Constraints: 25897
340.83/341.91 c #Conflicts: 573000 | #Constraints: 26897
340.83/341.91 c #Conflicts: 574000 | #Constraints: 27897
340.83/341.91 c #Conflicts: 575000 | #Constraints: 28897
340.83/341.91 c #Conflicts: 576000 | #Constraints: 29897
340.83/341.91 c INPROCESSING
340.83/341.91 c GARBAGE COLLECT
340.83/341.91 c rational objective 2
353.79/354.98 c #Conflicts: 577000 | #Constraints: 15913
353.79/354.98 c #Conflicts: 578000 | #Constraints: 17196
353.79/354.98 c #Conflicts: 579000 | #Constraints: 18254
353.79/354.98 c #Conflicts: 580000 | #Constraints: 19315
353.79/354.98 c #Conflicts: 581000 | #Constraints: 20398
353.79/354.98 c #Conflicts: 582000 | #Constraints: 21477
353.79/354.98 c #Conflicts: 583000 | #Constraints: 22569
353.79/354.98 c #Conflicts: 584000 | #Constraints: 23636
353.79/354.98 c #Conflicts: 585000 | #Constraints: 24720
353.79/354.98 c #Conflicts: 586000 | #Constraints: 25819
353.79/354.98 c #Conflicts: 587000 | #Constraints: 26929
353.79/354.98 c #Conflicts: 588000 | #Constraints: 28028
353.79/354.98 c #Conflicts: 589000 | #Constraints: 29109
353.79/354.98 c #Conflicts: 590000 | #Constraints: 30192
353.79/354.98 c #Conflicts: 591000 | #Constraints: 31292
353.79/354.98 c INPROCESSING
353.79/354.98 c GARBAGE COLLECT
353.79/354.98 c rational objective 2
367.45/368.60 c #Conflicts: 592000 | #Constraints: 16384
367.45/368.60 c #Conflicts: 593000 | #Constraints: 17384
367.45/368.60 c #Conflicts: 594000 | #Constraints: 18384
367.45/368.60 c #Conflicts: 595000 | #Constraints: 19384
367.45/368.60 c #Conflicts: 596000 | #Constraints: 20384
367.45/368.60 c #Conflicts: 597000 | #Constraints: 21384
367.45/368.60 c #Conflicts: 598000 | #Constraints: 22384
367.45/368.60 c #Conflicts: 599000 | #Constraints: 23384
367.45/368.60 c #Conflicts: 600000 | #Constraints: 24384
367.45/368.60 c #Conflicts: 601000 | #Constraints: 25384
367.45/368.60 c #Conflicts: 602000 | #Constraints: 26384
367.45/368.60 c #Conflicts: 603000 | #Constraints: 27384
367.45/368.60 c #Conflicts: 604000 | #Constraints: 28384
367.45/368.60 c #Conflicts: 605000 | #Constraints: 29384
367.45/368.60 c #Conflicts: 606000 | #Constraints: 30384
367.45/368.60 c #Conflicts: 607000 | #Constraints: 31384
367.45/368.60 c INPROCESSING
367.45/368.60 c GARBAGE COLLECT
367.45/368.60 c rational objective 2
381.01/382.29 c #Conflicts: 608000 | #Constraints: 16599
381.01/382.29 c #Conflicts: 609000 | #Constraints: 17599
381.01/382.29 c #Conflicts: 610000 | #Constraints: 18599
381.01/382.29 c #Conflicts: 611000 | #Constraints: 19599
381.01/382.29 c #Conflicts: 612000 | #Constraints: 20599
381.01/382.29 c #Conflicts: 613000 | #Constraints: 21599
381.01/382.29 c #Conflicts: 614000 | #Constraints: 22599
381.01/382.29 c #Conflicts: 615000 | #Constraints: 23599
381.01/382.29 c #Conflicts: 616000 | #Constraints: 24646
381.01/382.29 c #Conflicts: 617000 | #Constraints: 25741
381.01/382.29 c #Conflicts: 618000 | #Constraints: 26849
381.01/382.29 c #Conflicts: 619000 | #Constraints: 27989
381.01/382.29 c #Conflicts: 620000 | #Constraints: 29131
381.01/382.29 c #Conflicts: 621000 | #Constraints: 30305
381.01/382.29 c #Conflicts: 622000 | #Constraints: 31421
381.01/382.29 c #Conflicts: 623000 | #Constraints: 32556
381.01/382.29 c INPROCESSING
381.01/382.29 c GARBAGE COLLECT
381.01/382.29 c rational objective 2
395.57/396.84 c #Conflicts: 624000 | #Constraints: 17282
395.57/396.84 c #Conflicts: 625000 | #Constraints: 18282
395.57/396.84 c #Conflicts: 626000 | #Constraints: 19282
395.57/396.84 c #Conflicts: 627000 | #Constraints: 20282
395.57/396.84 c #Conflicts: 628000 | #Constraints: 21282
395.57/396.84 c #Conflicts: 629000 | #Constraints: 22282
395.57/396.84 c #Conflicts: 630000 | #Constraints: 23282
395.57/396.84 c #Conflicts: 631000 | #Constraints: 24282
395.57/396.84 c #Conflicts: 632000 | #Constraints: 25282
395.57/396.84 c #Conflicts: 633000 | #Constraints: 26282
395.57/396.84 c #Conflicts: 634000 | #Constraints: 27282
395.57/396.84 c #Conflicts: 635000 | #Constraints: 28282
395.57/396.84 c #Conflicts: 636000 | #Constraints: 29282
395.57/396.84 c #Conflicts: 637000 | #Constraints: 30348
395.57/396.84 c #Conflicts: 638000 | #Constraints: 31470
395.57/396.84 c #Conflicts: 639000 | #Constraints: 32657
395.57/396.84 c INPROCESSING
395.57/396.84 c GARBAGE COLLECT
395.57/396.84 c rational objective 2
411.01/412.35 c #Conflicts: 640000 | #Constraints: 17394
411.01/412.35 c #Conflicts: 641000 | #Constraints: 18495
411.01/412.35 c #Conflicts: 642000 | #Constraints: 19590
411.01/412.35 c #Conflicts: 643000 | #Constraints: 20679
411.01/412.35 c #Conflicts: 644000 | #Constraints: 21753
411.01/412.35 c #Conflicts: 645000 | #Constraints: 22821
411.01/412.35 c #Conflicts: 646000 | #Constraints: 23896
411.01/412.35 c #Conflicts: 647000 | #Constraints: 24984
411.01/412.35 c #Conflicts: 648000 | #Constraints: 26053
411.01/412.35 c #Conflicts: 649000 | #Constraints: 27122
411.01/412.35 c #Conflicts: 650000 | #Constraints: 28180
411.01/412.35 c #Conflicts: 651000 | #Constraints: 29256
411.01/412.35 c #Conflicts: 652000 | #Constraints: 30352
411.01/412.35 c #Conflicts: 653000 | #Constraints: 31477
411.01/412.35 c #Conflicts: 654000 | #Constraints: 32553
411.01/412.35 c #Conflicts: 655000 | #Constraints: 33623
411.01/412.35 c INPROCESSING
411.01/412.35 c GARBAGE COLLECT
411.01/412.35 c rational objective 2
426.36/427.77 c #Conflicts: 656000 | #Constraints: 17721
426.36/427.77 c #Conflicts: 657000 | #Constraints: 18721
426.36/427.77 c #Conflicts: 658000 | #Constraints: 19721
426.36/427.77 c #Conflicts: 659000 | #Constraints: 20721
426.36/427.77 c #Conflicts: 660000 | #Constraints: 21721
426.36/427.77 c #Conflicts: 661000 | #Constraints: 22721
426.36/427.77 c #Conflicts: 662000 | #Constraints: 23721
426.36/427.77 c #Conflicts: 663000 | #Constraints: 24721
426.36/427.77 c #Conflicts: 664000 | #Constraints: 25721
426.36/427.77 c #Conflicts: 665000 | #Constraints: 26721
426.36/427.77 c #Conflicts: 666000 | #Constraints: 27721
426.36/427.77 c #Conflicts: 667000 | #Constraints: 28728
426.36/427.77 c #Conflicts: 668000 | #Constraints: 29819
426.36/427.77 c #Conflicts: 669000 | #Constraints: 30978
426.36/427.77 c #Conflicts: 670000 | #Constraints: 32108
426.36/427.77 c #Conflicts: 671000 | #Constraints: 33198
426.36/427.77 c INPROCESSING
426.36/427.77 c GARBAGE COLLECT
426.36/427.77 c rational objective 2
441.31/442.78 c #Conflicts: 672000 | #Constraints: 17337
441.31/442.78 c #Conflicts: 673000 | #Constraints: 18337
441.31/442.78 c #Conflicts: 674000 | #Constraints: 19337
441.31/442.78 c #Conflicts: 675000 | #Constraints: 20337
441.31/442.78 c #Conflicts: 676000 | #Constraints: 21337
441.31/442.78 c #Conflicts: 677000 | #Constraints: 22337
441.31/442.78 c #Conflicts: 678000 | #Constraints: 23337
441.31/442.78 c #Conflicts: 679000 | #Constraints: 24337
441.31/442.78 c #Conflicts: 680000 | #Constraints: 25337
441.31/442.78 c #Conflicts: 681000 | #Constraints: 26337
441.31/442.78 c #Conflicts: 682000 | #Constraints: 27337
441.31/442.78 c #Conflicts: 683000 | #Constraints: 28337
441.31/442.78 c #Conflicts: 684000 | #Constraints: 29337
441.31/442.78 c #Conflicts: 685000 | #Constraints: 30337
441.31/442.78 c #Conflicts: 686000 | #Constraints: 31337
441.31/442.78 c #Conflicts: 687000 | #Constraints: 32367
441.31/442.78 c #Conflicts: 688000 | #Constraints: 33437
441.31/442.78 c INPROCESSING
441.31/442.78 c GARBAGE COLLECT
441.31/442.78 c rational objective 2
455.77/457.28 c #Conflicts: 689000 | #Constraints: 17631
455.77/457.28 c #Conflicts: 690000 | #Constraints: 18631
455.77/457.28 c #Conflicts: 691000 | #Constraints: 19631
455.77/457.28 c #Conflicts: 692000 | #Constraints: 20631
455.77/457.28 c #Conflicts: 693000 | #Constraints: 21631
455.77/457.28 c #Conflicts: 694000 | #Constraints: 22631
455.77/457.28 c #Conflicts: 695000 | #Constraints: 23631
455.77/457.28 c #Conflicts: 696000 | #Constraints: 24631
455.77/457.28 c #Conflicts: 697000 | #Constraints: 25631
455.77/457.28 c #Conflicts: 698000 | #Constraints: 26631
455.77/457.28 c #Conflicts: 699000 | #Constraints: 27631
455.77/457.28 c #Conflicts: 700000 | #Constraints: 28631
455.77/457.28 c #Conflicts: 701000 | #Constraints: 29631
455.77/457.28 c #Conflicts: 702000 | #Constraints: 30631
455.77/457.28 c #Conflicts: 703000 | #Constraints: 31631
455.77/457.28 c #Conflicts: 704000 | #Constraints: 32633
455.77/457.28 c #Conflicts: 705000 | #Constraints: 33747
455.77/457.28 c INPROCESSING
455.77/457.28 c GARBAGE COLLECT
455.77/457.28 c rational objective 2
471.12/472.64 c #Conflicts: 706000 | #Constraints: 18007
471.12/472.64 c #Conflicts: 707000 | #Constraints: 19141
471.12/472.64 c #Conflicts: 708000 | #Constraints: 20303
471.12/472.64 c #Conflicts: 709000 | #Constraints: 21468
471.12/472.64 c #Conflicts: 710000 | #Constraints: 22643
471.12/472.64 c #Conflicts: 711000 | #Constraints: 23803
471.12/472.64 c #Conflicts: 712000 | #Constraints: 24967
471.12/472.64 c #Conflicts: 713000 | #Constraints: 26109
471.12/472.64 c #Conflicts: 714000 | #Constraints: 27263
471.12/472.64 c #Conflicts: 715000 | #Constraints: 28455
471.12/472.64 c #Conflicts: 716000 | #Constraints: 29642
471.12/472.64 c #Conflicts: 717000 | #Constraints: 30790
471.12/472.64 c #Conflicts: 718000 | #Constraints: 31944
471.12/472.64 c #Conflicts: 719000 | #Constraints: 33042
471.12/472.64 c #Conflicts: 720000 | #Constraints: 34153
471.12/472.64 c #Conflicts: 721000 | #Constraints: 35271
471.12/472.64 c #Conflicts: 722000 | #Constraints: 36396
471.12/472.64 c INPROCESSING
471.12/472.64 c GARBAGE COLLECT
471.12/472.64 c rational objective 2
489.27/490.83 c #Conflicts: 723000 | #Constraints: 19292
489.27/490.83 c #Conflicts: 724000 | #Constraints: 20386
489.27/490.83 c #Conflicts: 725000 | #Constraints: 21478
489.27/490.83 c #Conflicts: 726000 | #Constraints: 22563
489.27/490.83 c #Conflicts: 727000 | #Constraints: 23662
489.27/490.83 c #Conflicts: 728000 | #Constraints: 24768
489.27/490.83 c #Conflicts: 729000 | #Constraints: 25860
489.27/490.83 c #Conflicts: 730000 | #Constraints: 26956
489.27/490.83 c #Conflicts: 731000 | #Constraints: 28040
489.27/490.83 c #Conflicts: 732000 | #Constraints: 29133
489.27/490.83 c #Conflicts: 733000 | #Constraints: 30240
489.27/490.83 c #Conflicts: 734000 | #Constraints: 31349
489.27/490.83 c #Conflicts: 735000 | #Constraints: 32473
489.27/490.83 c #Conflicts: 736000 | #Constraints: 33602
489.27/490.83 c #Conflicts: 737000 | #Constraints: 34712
489.27/490.83 c #Conflicts: 738000 | #Constraints: 35828
489.27/490.83 c #Conflicts: 739000 | #Constraints: 36938
489.27/490.83 c INPROCESSING
489.27/490.83 c GARBAGE COLLECT
489.27/490.83 c rational objective 2
507.71/509.33 c #Conflicts: 740000 | #Constraints: 19450
507.71/509.33 c #Conflicts: 741000 | #Constraints: 20521
507.71/509.33 c #Conflicts: 742000 | #Constraints: 21634
507.71/509.33 c #Conflicts: 743000 | #Constraints: 22745
507.71/509.33 c #Conflicts: 744000 | #Constraints: 23833
507.71/509.33 c #Conflicts: 745000 | #Constraints: 24933
507.71/509.33 c #Conflicts: 746000 | #Constraints: 26039
507.71/509.33 c #Conflicts: 747000 | #Constraints: 27145
507.71/509.33 c #Conflicts: 748000 | #Constraints: 28243
507.71/509.33 c #Conflicts: 749000 | #Constraints: 29325
507.71/509.33 c #Conflicts: 750000 | #Constraints: 30400
507.71/509.33 c #Conflicts: 751000 | #Constraints: 31491
507.71/509.33 c #Conflicts: 752000 | #Constraints: 32605
507.71/509.33 c #Conflicts: 753000 | #Constraints: 33697
507.71/509.33 c #Conflicts: 754000 | #Constraints: 34811
507.71/509.33 c #Conflicts: 755000 | #Constraints: 35922
507.71/509.33 c #Conflicts: 756000 | #Constraints: 37092
507.71/509.33 c INPROCESSING
507.71/509.33 c GARBAGE COLLECT
507.71/509.33 c rational objective 2
525.95/527.65 c #Conflicts: 757000 | #Constraints: 19294
525.95/527.65 c #Conflicts: 758000 | #Constraints: 20294
525.95/527.65 c #Conflicts: 759000 | #Constraints: 21294
525.95/527.65 c #Conflicts: 760000 | #Constraints: 22294
525.95/527.65 c #Conflicts: 761000 | #Constraints: 23294
525.95/527.65 c #Conflicts: 762000 | #Constraints: 24294
525.95/527.65 c #Conflicts: 763000 | #Constraints: 25302
525.95/527.65 c #Conflicts: 764000 | #Constraints: 26405
525.95/527.65 c #Conflicts: 765000 | #Constraints: 27526
525.95/527.65 c #Conflicts: 766000 | #Constraints: 28645
525.95/527.65 c #Conflicts: 767000 | #Constraints: 29757
525.95/527.65 c #Conflicts: 768000 | #Constraints: 30897
525.95/527.65 c #Conflicts: 769000 | #Constraints: 32070
525.95/527.65 c #Conflicts: 770000 | #Constraints: 33162
525.95/527.65 c #Conflicts: 771000 | #Constraints: 34275
525.95/527.65 c #Conflicts: 772000 | #Constraints: 35421
525.95/527.65 c #Conflicts: 773000 | #Constraints: 36531
525.95/527.65 c #Conflicts: 774000 | #Constraints: 37652
525.95/527.65 c INPROCESSING
525.95/527.65 c GARBAGE COLLECT
525.95/527.65 c rational objective 2
544.69/546.40 c #Conflicts: 775000 | #Constraints: 19744
544.69/546.40 c #Conflicts: 776000 | #Constraints: 20744
544.69/546.40 c #Conflicts: 777000 | #Constraints: 21744
544.69/546.40 c #Conflicts: 778000 | #Constraints: 22744
544.69/546.40 c #Conflicts: 779000 | #Constraints: 23744
544.69/546.40 c #Conflicts: 780000 | #Constraints: 24744
544.69/546.40 c #Conflicts: 781000 | #Constraints: 25744
544.69/546.40 c #Conflicts: 782000 | #Constraints: 26744
544.69/546.40 c #Conflicts: 783000 | #Constraints: 27744
544.69/546.40 c #Conflicts: 784000 | #Constraints: 28744
544.69/546.40 c #Conflicts: 785000 | #Constraints: 29744
544.69/546.40 c #Conflicts: 786000 | #Constraints: 30744
544.69/546.40 c #Conflicts: 787000 | #Constraints: 31744
544.69/546.40 c #Conflicts: 788000 | #Constraints: 32744
544.69/546.40 c #Conflicts: 789000 | #Constraints: 33744
544.69/546.40 c #Conflicts: 790000 | #Constraints: 34744
544.69/546.40 c #Conflicts: 791000 | #Constraints: 35744
544.69/546.40 c #Conflicts: 792000 | #Constraints: 36744
544.69/546.40 c INPROCESSING
544.69/546.40 c GARBAGE COLLECT
544.69/546.40 c rational objective 2
564.82/566.65 c #Conflicts: 793000 | #Constraints: 19479
564.82/566.65 c #Conflicts: 794000 | #Constraints: 20633
564.82/566.65 c #Conflicts: 795000 | #Constraints: 21799
564.82/566.65 c #Conflicts: 796000 | #Constraints: 22918
564.82/566.65 c #Conflicts: 797000 | #Constraints: 24051
564.82/566.65 c #Conflicts: 798000 | #Constraints: 25171
564.82/566.65 c #Conflicts: 799000 | #Constraints: 26279
564.82/566.65 c #Conflicts: 800000 | #Constraints: 27422
564.82/566.65 c #Conflicts: 801000 | #Constraints: 28548
564.82/566.65 c #Conflicts: 802000 | #Constraints: 29697
564.82/566.65 c #Conflicts: 803000 | #Constraints: 30795
564.82/566.65 c #Conflicts: 804000 | #Constraints: 31892
564.82/566.65 c #Conflicts: 805000 | #Constraints: 33037
564.82/566.65 c #Conflicts: 806000 | #Constraints: 34173
564.82/566.65 c #Conflicts: 807000 | #Constraints: 35309
564.82/566.65 c #Conflicts: 808000 | #Constraints: 36409
564.82/566.65 c #Conflicts: 809000 | #Constraints: 37517
564.82/566.65 c #Conflicts: 810000 | #Constraints: 38626
564.82/566.65 c INPROCESSING
564.82/566.65 c GARBAGE COLLECT
564.82/566.65 c rational objective 2
583.86/585.78 c #Conflicts: 811000 | #Constraints: 20376
583.86/585.78 c #Conflicts: 812000 | #Constraints: 21475
583.86/585.78 c #Conflicts: 813000 | #Constraints: 22583
583.86/585.78 c #Conflicts: 814000 | #Constraints: 23698
583.86/585.78 c #Conflicts: 815000 | #Constraints: 24795
583.86/585.78 c #Conflicts: 816000 | #Constraints: 25891
583.86/585.78 c #Conflicts: 817000 | #Constraints: 26992
583.86/585.78 c #Conflicts: 818000 | #Constraints: 28094
583.86/585.78 c #Conflicts: 819000 | #Constraints: 29192
583.86/585.78 c #Conflicts: 820000 | #Constraints: 30314
583.86/585.78 c #Conflicts: 821000 | #Constraints: 31409
583.86/585.78 c #Conflicts: 822000 | #Constraints: 32546
583.86/585.78 c #Conflicts: 823000 | #Constraints: 33678
583.86/585.78 c #Conflicts: 824000 | #Constraints: 34876
583.86/585.78 c #Conflicts: 825000 | #Constraints: 36029
583.86/585.78 c #Conflicts: 826000 | #Constraints: 37163
583.86/585.78 c #Conflicts: 827000 | #Constraints: 38270
583.86/585.78 c #Conflicts: 828000 | #Constraints: 39372
583.86/585.78 c INPROCESSING
583.86/585.78 c GARBAGE COLLECT
583.86/585.78 c rational objective 2
607.57/609.51 c #Conflicts: 829000 | #Constraints: 20663
607.57/609.51 c #Conflicts: 830000 | #Constraints: 21695
607.57/609.51 c #Conflicts: 831000 | #Constraints: 22740
607.57/609.51 c #Conflicts: 832000 | #Constraints: 23804
607.57/609.51 c #Conflicts: 833000 | #Constraints: 24865
607.57/609.51 c #Conflicts: 834000 | #Constraints: 25912
607.57/609.51 c #Conflicts: 835000 | #Constraints: 26974
607.57/609.51 c #Conflicts: 836000 | #Constraints: 28031
607.57/609.51 c #Conflicts: 837000 | #Constraints: 29100
607.57/609.51 c #Conflicts: 838000 | #Constraints: 30175
607.57/609.51 c #Conflicts: 839000 | #Constraints: 31260
607.57/609.51 c #Conflicts: 840000 | #Constraints: 32319
607.57/609.51 c #Conflicts: 841000 | #Constraints: 33382
607.57/609.51 c #Conflicts: 842000 | #Constraints: 34445
607.57/609.51 c #Conflicts: 843000 | #Constraints: 35445
607.57/609.51 c #Conflicts: 844000 | #Constraints: 36495
607.57/609.51 c #Conflicts: 845000 | #Constraints: 37544
607.57/609.51 c #Conflicts: 846000 | #Constraints: 38583
607.57/609.51 c INPROCESSING
607.57/609.51 c GARBAGE COLLECT
607.57/609.51 c rational objective 2
628.50/630.58 c #Conflicts: 847000 | #Constraints: 20012
628.50/630.58 c #Conflicts: 848000 | #Constraints: 21090
628.50/630.58 c #Conflicts: 849000 | #Constraints: 22240
628.50/630.58 c #Conflicts: 850000 | #Constraints: 23308
628.50/630.58 c #Conflicts: 851000 | #Constraints: 24371
628.50/630.58 c #Conflicts: 852000 | #Constraints: 25446
628.50/630.58 c #Conflicts: 853000 | #Constraints: 26613
628.50/630.58 c #Conflicts: 854000 | #Constraints: 27709
628.50/630.58 c #Conflicts: 855000 | #Constraints: 28792
628.50/630.58 c #Conflicts: 856000 | #Constraints: 29910
628.50/630.58 c #Conflicts: 857000 | #Constraints: 31012
628.50/630.58 c #Conflicts: 858000 | #Constraints: 32086
628.50/630.58 c #Conflicts: 859000 | #Constraints: 33187
628.50/630.58 c #Conflicts: 860000 | #Constraints: 34296
628.50/630.58 c #Conflicts: 861000 | #Constraints: 35396
628.50/630.58 c #Conflicts: 862000 | #Constraints: 36456
628.50/630.58 c #Conflicts: 863000 | #Constraints: 37557
628.50/630.58 c #Conflicts: 864000 | #Constraints: 38637
628.50/630.58 c #Conflicts: 865000 | #Constraints: 39731
628.50/630.58 c INPROCESSING
628.50/630.58 c GARBAGE COLLECT
628.50/630.58 c rational objective 2
651.71/653.80 c #Conflicts: 866000 | #Constraints: 20790
651.71/653.80 c #Conflicts: 867000 | #Constraints: 21791
651.71/653.80 c #Conflicts: 868000 | #Constraints: 22901
651.71/653.80 c #Conflicts: 869000 | #Constraints: 24053
651.71/653.80 c #Conflicts: 870000 | #Constraints: 25154
651.71/653.80 c #Conflicts: 871000 | #Constraints: 26308
651.71/653.80 c #Conflicts: 872000 | #Constraints: 27452
651.71/653.80 c #Conflicts: 873000 | #Constraints: 28620
651.71/653.80 c #Conflicts: 874000 | #Constraints: 29755
651.71/653.80 c #Conflicts: 875000 | #Constraints: 30894
651.71/653.80 c #Conflicts: 876000 | #Constraints: 32069
651.71/653.80 c #Conflicts: 877000 | #Constraints: 33199
651.71/653.80 c #Conflicts: 878000 | #Constraints: 34307
651.71/653.80 c #Conflicts: 879000 | #Constraints: 35407
651.71/653.80 c #Conflicts: 880000 | #Constraints: 36527
651.71/653.80 c #Conflicts: 881000 | #Constraints: 37641
651.71/653.80 c #Conflicts: 882000 | #Constraints: 38754
651.71/653.80 c #Conflicts: 883000 | #Constraints: 39857
651.71/653.80 c #Conflicts: 884000 | #Constraints: 41008
651.71/653.80 c INPROCESSING
651.71/653.80 c GARBAGE COLLECT
651.71/653.80 c rational objective 2
676.83/679.08 c #Conflicts: 885000 | #Constraints: 21513
676.83/679.08 c #Conflicts: 886000 | #Constraints: 22513
676.83/679.08 c #Conflicts: 887000 | #Constraints: 23517
676.83/679.08 c #Conflicts: 888000 | #Constraints: 24602
676.83/679.08 c #Conflicts: 889000 | #Constraints: 25717
676.83/679.08 c #Conflicts: 890000 | #Constraints: 26821
676.83/679.08 c #Conflicts: 891000 | #Constraints: 27915
676.83/679.08 c #Conflicts: 892000 | #Constraints: 29090
676.83/679.08 c #Conflicts: 893000 | #Constraints: 30183
676.83/679.08 c #Conflicts: 894000 | #Constraints: 31294
676.83/679.08 c #Conflicts: 895000 | #Constraints: 32392
676.83/679.08 c #Conflicts: 896000 | #Constraints: 33508
676.83/679.08 c #Conflicts: 897000 | #Constraints: 34584
676.83/679.08 c #Conflicts: 898000 | #Constraints: 35693
676.83/679.08 c #Conflicts: 899000 | #Constraints: 36836
676.83/679.08 c #Conflicts: 900000 | #Constraints: 37974
676.83/679.08 c #Conflicts: 901000 | #Constraints: 39053
676.83/679.08 c #Conflicts: 902000 | #Constraints: 40165
676.83/679.08 c #Conflicts: 903000 | #Constraints: 41346
676.83/679.08 c INPROCESSING
676.83/679.08 c GARBAGE COLLECT
676.83/679.08 c rational objective 2
700.04/702.37 c #Conflicts: 904000 | #Constraints: 21757
700.04/702.37 c #Conflicts: 905000 | #Constraints: 22899
700.04/702.37 c #Conflicts: 906000 | #Constraints: 23998
700.04/702.37 c #Conflicts: 907000 | #Constraints: 25123
700.04/702.37 c #Conflicts: 908000 | #Constraints: 26227
700.04/702.37 c #Conflicts: 909000 | #Constraints: 27352
700.04/702.37 c #Conflicts: 910000 | #Constraints: 28449
700.04/702.37 c #Conflicts: 911000 | #Constraints: 29540
700.04/702.37 c #Conflicts: 912000 | #Constraints: 30673
700.04/702.37 c #Conflicts: 913000 | #Constraints: 31822
700.04/702.37 c #Conflicts: 914000 | #Constraints: 32938
700.04/702.37 c #Conflicts: 915000 | #Constraints: 34060
700.04/702.37 c #Conflicts: 916000 | #Constraints: 35143
700.04/702.37 c #Conflicts: 917000 | #Constraints: 36246
700.04/702.37 c #Conflicts: 918000 | #Constraints: 37335
700.04/702.37 c #Conflicts: 919000 | #Constraints: 38482
700.04/702.37 c #Conflicts: 920000 | #Constraints: 39617
700.04/702.37 c #Conflicts: 921000 | #Constraints: 40738
700.04/702.37 c #Conflicts: 922000 | #Constraints: 41879
700.04/702.37 c INPROCESSING
700.04/702.37 c GARBAGE COLLECT
700.04/702.37 c rational objective 2
724.75/727.14 c #Conflicts: 923000 | #Constraints: 21853
724.75/727.14 c #Conflicts: 924000 | #Constraints: 22853
724.75/727.14 c #Conflicts: 925000 | #Constraints: 23853
724.75/727.14 c #Conflicts: 926000 | #Constraints: 24853
724.75/727.14 c #Conflicts: 927000 | #Constraints: 25853
724.75/727.14 c #Conflicts: 928000 | #Constraints: 26853
724.75/727.14 c #Conflicts: 929000 | #Constraints: 27853
724.75/727.14 c #Conflicts: 930000 | #Constraints: 28853
724.75/727.14 c #Conflicts: 931000 | #Constraints: 29853
724.75/727.14 c #Conflicts: 932000 | #Constraints: 30853
724.75/727.14 c #Conflicts: 933000 | #Constraints: 31853
724.75/727.14 c #Conflicts: 934000 | #Constraints: 32853
724.75/727.14 c #Conflicts: 935000 | #Constraints: 33853
724.75/727.14 c #Conflicts: 936000 | #Constraints: 34853
724.75/727.14 c #Conflicts: 937000 | #Constraints: 35853
724.75/727.14 c #Conflicts: 938000 | #Constraints: 36853
724.75/727.14 c #Conflicts: 939000 | #Constraints: 37853
724.75/727.14 c #Conflicts: 940000 | #Constraints: 38853
724.75/727.14 c #Conflicts: 941000 | #Constraints: 39853
724.75/727.14 c INPROCESSING
724.75/727.14 c GARBAGE COLLECT
724.75/727.14 c rational objective 2
749.17/751.60 c #Conflicts: 942000 | #Constraints: 20671
749.17/751.60 c #Conflicts: 943000 | #Constraints: 21775
749.17/751.60 c #Conflicts: 944000 | #Constraints: 22881
749.17/751.60 c #Conflicts: 945000 | #Constraints: 23990
749.17/751.60 c #Conflicts: 946000 | #Constraints: 25098
749.17/751.60 c #Conflicts: 947000 | #Constraints: 26188
749.17/751.60 c #Conflicts: 948000 | #Constraints: 27318
749.17/751.60 c #Conflicts: 949000 | #Constraints: 28417
749.17/751.60 c #Conflicts: 950000 | #Constraints: 29531
749.17/751.60 c #Conflicts: 951000 | #Constraints: 30640
749.17/751.60 c #Conflicts: 952000 | #Constraints: 31769
749.17/751.60 c #Conflicts: 953000 | #Constraints: 32908
749.17/751.60 c #Conflicts: 954000 | #Constraints: 34044
749.17/751.60 c #Conflicts: 955000 | #Constraints: 35196
749.17/751.60 c #Conflicts: 956000 | #Constraints: 36340
749.17/751.60 c #Conflicts: 957000 | #Constraints: 37448
749.17/751.60 c #Conflicts: 958000 | #Constraints: 38618
749.17/751.60 c #Conflicts: 959000 | #Constraints: 39633
749.17/751.60 c #Conflicts: 960000 | #Constraints: 40699
749.17/751.60 c #Conflicts: 961000 | #Constraints: 41827
749.17/751.60 c INPROCESSING
749.17/751.60 c GARBAGE COLLECT
749.17/751.60 c rational objective 2
784.14/786.73 c #Conflicts: 962000 | #Constraints: 22128
784.14/786.73 c #Conflicts: 963000 | #Constraints: 23284
784.14/786.73 c #Conflicts: 964000 | #Constraints: 24466
784.14/786.73 c #Conflicts: 965000 | #Constraints: 25643
784.14/786.73 c #Conflicts: 966000 | #Constraints: 26877
784.14/786.73 c #Conflicts: 967000 | #Constraints: 27990
784.14/786.73 c #Conflicts: 968000 | #Constraints: 29110
784.14/786.73 c #Conflicts: 969000 | #Constraints: 30215
784.14/786.73 c #Conflicts: 970000 | #Constraints: 31282
784.14/786.73 c #Conflicts: 971000 | #Constraints: 32363
784.14/786.73 c #Conflicts: 972000 | #Constraints: 33434
784.14/786.73 c #Conflicts: 973000 | #Constraints: 34545
784.14/786.73 c #Conflicts: 974000 | #Constraints: 35635
784.14/786.73 c #Conflicts: 975000 | #Constraints: 36718
784.14/786.73 c #Conflicts: 976000 | #Constraints: 37777
784.14/786.73 c #Conflicts: 977000 | #Constraints: 38791
784.14/786.73 c #Conflicts: 978000 | #Constraints: 39791
784.14/786.73 c #Conflicts: 979000 | #Constraints: 40861
784.14/786.73 c #Conflicts: 980000 | #Constraints: 41934
784.14/786.73 c #Conflicts: 981000 | #Constraints: 43053
784.14/786.73 c INPROCESSING
784.14/786.73 c GARBAGE COLLECT
784.14/786.73 c rational objective 2
815.44/818.13 c #Conflicts: 982000 | #Constraints: 22581
815.44/818.13 c #Conflicts: 983000 | #Constraints: 23684
815.44/818.13 c #Conflicts: 984000 | #Constraints: 24688
815.44/818.13 c #Conflicts: 985000 | #Constraints: 25811
815.44/818.13 c #Conflicts: 986000 | #Constraints: 26937
815.44/818.13 c #Conflicts: 987000 | #Constraints: 28033
815.44/818.13 c #Conflicts: 988000 | #Constraints: 29187
815.44/818.13 c #Conflicts: 989000 | #Constraints: 30258
815.44/818.13 c #Conflicts: 990000 | #Constraints: 31360
815.44/818.13 c #Conflicts: 991000 | #Constraints: 32480
815.44/818.13 c #Conflicts: 992000 | #Constraints: 33556
815.44/818.13 c #Conflicts: 993000 | #Constraints: 34629
815.44/818.13 c #Conflicts: 994000 | #Constraints: 35700
815.44/818.13 c #Conflicts: 995000 | #Constraints: 36768
815.44/818.13 c #Conflicts: 996000 | #Constraints: 37816
815.44/818.13 c #Conflicts: 997000 | #Constraints: 38817
815.44/818.13 c #Conflicts: 998000 | #Constraints: 39817
815.44/818.13 c #Conflicts: 999000 | #Constraints: 40817
815.44/818.13 c #Conflicts: 1000000 | #Constraints: 41817
815.44/818.13 c #Conflicts: 1001000 | #Constraints: 42869
815.44/818.13 c INPROCESSING
815.44/818.13 c GARBAGE COLLECT
815.44/818.13 c rational objective 2
843.54/846.31 c #Conflicts: 1002000 | #Constraints: 22540
843.54/846.31 c #Conflicts: 1003000 | #Constraints: 23609
843.54/846.31 c #Conflicts: 1004000 | #Constraints: 24712
843.54/846.31 c #Conflicts: 1005000 | #Constraints: 25811
843.54/846.31 c #Conflicts: 1006000 | #Constraints: 26929
843.54/846.31 c #Conflicts: 1007000 | #Constraints: 27988
843.54/846.31 c #Conflicts: 1008000 | #Constraints: 28988
843.54/846.31 c #Conflicts: 1009000 | #Constraints: 30002
843.54/846.31 c #Conflicts: 1010000 | #Constraints: 31053
843.54/846.31 c #Conflicts: 1011000 | #Constraints: 32113
843.54/846.31 c #Conflicts: 1012000 | #Constraints: 33188
843.54/846.31 c #Conflicts: 1013000 | #Constraints: 34188
843.54/846.31 c #Conflicts: 1014000 | #Constraints: 35280
843.54/846.31 c #Conflicts: 1015000 | #Constraints: 36321
843.54/846.31 c #Conflicts: 1016000 | #Constraints: 37321
843.54/846.31 c #Conflicts: 1017000 | #Constraints: 38359
843.54/846.31 c #Conflicts: 1018000 | #Constraints: 39365
843.54/846.31 c #Conflicts: 1019000 | #Constraints: 40377
843.54/846.31 c #Conflicts: 1020000 | #Constraints: 41377
843.54/846.31 c #Conflicts: 1021000 | #Constraints: 42385
843.54/846.31 c INPROCESSING
843.54/846.31 c GARBAGE COLLECT
843.54/846.31 c rational objective 2
872.84/875.77 c #Conflicts: 1022000 | #Constraints: 22113
872.84/875.77 c #Conflicts: 1023000 | #Constraints: 23205
872.84/875.77 c #Conflicts: 1024000 | #Constraints: 24321
872.84/875.77 c #Conflicts: 1025000 | #Constraints: 25435
872.84/875.77 c #Conflicts: 1026000 | #Constraints: 26444
872.84/875.77 c #Conflicts: 1027000 | #Constraints: 27450
872.84/875.77 c #Conflicts: 1028000 | #Constraints: 28450
872.84/875.77 c #Conflicts: 1029000 | #Constraints: 29457
872.84/875.77 c #Conflicts: 1030000 | #Constraints: 30457
872.84/875.77 c #Conflicts: 1031000 | #Constraints: 31461
872.84/875.77 c #Conflicts: 1032000 | #Constraints: 32461
872.84/875.77 c #Conflicts: 1033000 | #Constraints: 33480
872.84/875.77 c #Conflicts: 1034000 | #Constraints: 34480
872.84/875.77 c #Conflicts: 1035000 | #Constraints: 35545
872.84/875.77 c #Conflicts: 1036000 | #Constraints: 36616
872.84/875.77 c #Conflicts: 1037000 | #Constraints: 37687
872.84/875.77 c #Conflicts: 1038000 | #Constraints: 38743
872.84/875.77 c #Conflicts: 1039000 | #Constraints: 39762
872.84/875.77 c #Conflicts: 1040000 | #Constraints: 40762
872.84/875.77 c #Conflicts: 1041000 | #Constraints: 41799
872.84/875.77 c INPROCESSING
872.84/875.77 c GARBAGE COLLECT
872.84/875.77 c rational objective 2
906.61/909.67 c #Conflicts: 1042000 | #Constraints: 21631
906.61/909.67 c #Conflicts: 1043000 | #Constraints: 22668
906.61/909.67 c #Conflicts: 1044000 | #Constraints: 23754
906.61/909.67 c #Conflicts: 1045000 | #Constraints: 24855
906.61/909.67 c #Conflicts: 1046000 | #Constraints: 25962
906.61/909.67 c #Conflicts: 1047000 | #Constraints: 27039
906.61/909.67 c #Conflicts: 1048000 | #Constraints: 28127
906.61/909.67 c #Conflicts: 1049000 | #Constraints: 29230
906.61/909.67 c #Conflicts: 1050000 | #Constraints: 30325
906.61/909.67 c #Conflicts: 1051000 | #Constraints: 31405
906.61/909.67 c #Conflicts: 1052000 | #Constraints: 32484
906.61/909.67 c #Conflicts: 1053000 | #Constraints: 33575
906.61/909.67 c #Conflicts: 1054000 | #Constraints: 34690
906.61/909.67 c #Conflicts: 1055000 | #Constraints: 35792
906.61/909.67 c #Conflicts: 1056000 | #Constraints: 36888
906.61/909.67 c #Conflicts: 1057000 | #Constraints: 38001
906.61/909.67 c #Conflicts: 1058000 | #Constraints: 39037
906.61/909.67 c #Conflicts: 1059000 | #Constraints: 40133
906.61/909.67 c #Conflicts: 1060000 | #Constraints: 41212
906.61/909.67 c #Conflicts: 1061000 | #Constraints: 42299
906.61/909.67 c #Conflicts: 1062000 | #Constraints: 43375
906.61/909.67 c INPROCESSING
906.61/909.67 c GARBAGE COLLECT
906.61/909.67 c rational objective 2
937.92/941.05 c #Conflicts: 1063000 | #Constraints: 22643
937.92/941.05 c #Conflicts: 1064000 | #Constraints: 23743
937.92/941.05 c #Conflicts: 1065000 | #Constraints: 24799
937.92/941.05 c #Conflicts: 1066000 | #Constraints: 25869
937.92/941.05 c #Conflicts: 1067000 | #Constraints: 26933
937.92/941.05 c #Conflicts: 1068000 | #Constraints: 28010
937.92/941.05 c #Conflicts: 1069000 | #Constraints: 29115
937.92/941.05 c #Conflicts: 1070000 | #Constraints: 30208
937.92/941.05 c #Conflicts: 1071000 | #Constraints: 31279
937.92/941.05 c #Conflicts: 1072000 | #Constraints: 32338
937.92/941.05 c #Conflicts: 1073000 | #Constraints: 33401
937.92/941.05 c #Conflicts: 1074000 | #Constraints: 34462
937.92/941.05 c #Conflicts: 1075000 | #Constraints: 35548
937.92/941.05 c #Conflicts: 1076000 | #Constraints: 36616
937.92/941.05 c #Conflicts: 1077000 | #Constraints: 37710
937.92/941.05 c #Conflicts: 1078000 | #Constraints: 38779
937.92/941.05 c #Conflicts: 1079000 | #Constraints: 39903
937.92/941.05 c #Conflicts: 1080000 | #Constraints: 40984
937.92/941.05 c #Conflicts: 1081000 | #Constraints: 42062
937.92/941.05 c #Conflicts: 1082000 | #Constraints: 43139
937.92/941.05 c #Conflicts: 1083000 | #Constraints: 44197
937.92/941.05 c INPROCESSING
937.92/941.05 c GARBAGE COLLECT
937.92/941.05 c rational objective 2
967.91/971.17 c #Conflicts: 1084000 | #Constraints: 23105
967.91/971.17 c #Conflicts: 1085000 | #Constraints: 24105
967.91/971.17 c #Conflicts: 1086000 | #Constraints: 25105
967.91/971.17 c #Conflicts: 1087000 | #Constraints: 26105
967.91/971.17 c #Conflicts: 1088000 | #Constraints: 27105
967.91/971.17 c #Conflicts: 1089000 | #Constraints: 28105
967.91/971.17 c #Conflicts: 1090000 | #Constraints: 29105
967.91/971.17 c #Conflicts: 1091000 | #Constraints: 30105
967.91/971.17 c #Conflicts: 1092000 | #Constraints: 31105
967.91/971.17 c #Conflicts: 1093000 | #Constraints: 32105
967.91/971.17 c #Conflicts: 1094000 | #Constraints: 33105
967.91/971.17 c #Conflicts: 1095000 | #Constraints: 34105
967.91/971.17 c #Conflicts: 1096000 | #Constraints: 35105
967.91/971.17 c #Conflicts: 1097000 | #Constraints: 36105
967.91/971.17 c #Conflicts: 1098000 | #Constraints: 37105
967.91/971.17 c #Conflicts: 1099000 | #Constraints: 38105
967.91/971.17 c #Conflicts: 1100000 | #Constraints: 39105
967.91/971.17 c #Conflicts: 1101000 | #Constraints: 40105
967.91/971.17 c #Conflicts: 1102000 | #Constraints: 41105
967.91/971.17 c #Conflicts: 1103000 | #Constraints: 42105
967.91/971.17 c #Conflicts: 1104000 | #Constraints: 43105
967.91/971.17 c INPROCESSING
967.91/971.17 c GARBAGE COLLECT
967.91/971.17 c rational objective 2
997.01/1000.32 c #Conflicts: 1105000 | #Constraints: 22560
997.01/1000.32 c #Conflicts: 1106000 | #Constraints: 23560
997.01/1000.32 c #Conflicts: 1107000 | #Constraints: 24560
997.01/1000.32 c #Conflicts: 1108000 | #Constraints: 25560
997.01/1000.32 c #Conflicts: 1109000 | #Constraints: 26560
997.01/1000.32 c #Conflicts: 1110000 | #Constraints: 27560
997.01/1000.32 c #Conflicts: 1111000 | #Constraints: 28560
997.01/1000.32 c #Conflicts: 1112000 | #Constraints: 29560
997.01/1000.32 c #Conflicts: 1113000 | #Constraints: 30560
997.01/1000.32 c #Conflicts: 1114000 | #Constraints: 31560
997.01/1000.32 c #Conflicts: 1115000 | #Constraints: 32560
997.01/1000.32 c #Conflicts: 1116000 | #Constraints: 33560
997.01/1000.32 c #Conflicts: 1117000 | #Constraints: 34560
997.01/1000.32 c #Conflicts: 1118000 | #Constraints: 35560
997.01/1000.32 c #Conflicts: 1119000 | #Constraints: 36560
997.01/1000.32 c #Conflicts: 1120000 | #Constraints: 37560
997.01/1000.32 c #Conflicts: 1121000 | #Constraints: 38560
997.01/1000.32 c #Conflicts: 1122000 | #Constraints: 39560
997.01/1000.32 c #Conflicts: 1123000 | #Constraints: 40560
997.01/1000.32 c #Conflicts: 1124000 | #Constraints: 41560
997.01/1000.32 c #Conflicts: 1125000 | #Constraints: 42560
997.01/1000.32 c INPROCESSING
997.01/1000.32 c GARBAGE COLLECT
997.01/1000.32 c rational objective 2
1026.61/1030.04 c #Conflicts: 1126000 | #Constraints: 22259
1026.61/1030.04 c #Conflicts: 1127000 | #Constraints: 23357
1026.61/1030.04 c #Conflicts: 1128000 | #Constraints: 24439
1026.61/1030.04 c #Conflicts: 1129000 | #Constraints: 25570
1026.61/1030.04 c #Conflicts: 1130000 | #Constraints: 26745
1026.61/1030.04 c #Conflicts: 1131000 | #Constraints: 27824
1026.61/1030.04 c #Conflicts: 1132000 | #Constraints: 28954
1026.61/1030.04 c #Conflicts: 1133000 | #Constraints: 30063
1026.61/1030.04 c #Conflicts: 1134000 | #Constraints: 31173
1026.61/1030.04 c #Conflicts: 1135000 | #Constraints: 32275
1026.61/1030.04 c #Conflicts: 1136000 | #Constraints: 33368
1026.61/1030.04 c #Conflicts: 1137000 | #Constraints: 34490
1026.61/1030.04 c #Conflicts: 1138000 | #Constraints: 35571
1026.61/1030.04 c #Conflicts: 1139000 | #Constraints: 36651
1026.61/1030.04 c #Conflicts: 1140000 | #Constraints: 37734
1026.61/1030.04 c #Conflicts: 1141000 | #Constraints: 38825
1026.61/1030.04 c #Conflicts: 1142000 | #Constraints: 39958
1026.61/1030.04 c #Conflicts: 1143000 | #Constraints: 41041
1026.61/1030.04 c #Conflicts: 1144000 | #Constraints: 42092
1026.61/1030.04 c #Conflicts: 1145000 | #Constraints: 43165
1026.61/1030.04 c #Conflicts: 1146000 | #Constraints: 44251
1026.61/1030.04 c INPROCESSING
1026.61/1030.04 c GARBAGE COLLECT
1026.61/1030.04 c rational objective 2
1059.30/1062.80 c #Conflicts: 1147000 | #Constraints: 22879
1059.30/1062.80 c #Conflicts: 1148000 | #Constraints: 23983
1059.30/1062.80 c #Conflicts: 1149000 | #Constraints: 25092
1059.30/1062.80 c #Conflicts: 1150000 | #Constraints: 26208
1059.30/1062.80 c #Conflicts: 1151000 | #Constraints: 27305
1059.30/1062.80 c #Conflicts: 1152000 | #Constraints: 28415
1059.30/1062.80 c #Conflicts: 1153000 | #Constraints: 29519
1059.30/1062.80 c #Conflicts: 1154000 | #Constraints: 30618
1059.30/1062.80 c #Conflicts: 1155000 | #Constraints: 31817
1059.30/1062.80 c #Conflicts: 1156000 | #Constraints: 32968
1059.30/1062.80 c #Conflicts: 1157000 | #Constraints: 34070
1059.30/1062.80 c #Conflicts: 1158000 | #Constraints: 35157
1059.30/1062.80 c #Conflicts: 1159000 | #Constraints: 36266
1059.30/1062.80 c #Conflicts: 1160000 | #Constraints: 37472
1059.30/1062.80 c #Conflicts: 1161000 | #Constraints: 38554
1059.30/1062.80 c #Conflicts: 1162000 | #Constraints: 39663
1059.30/1062.80 c #Conflicts: 1163000 | #Constraints: 40781
1059.30/1062.80 c #Conflicts: 1164000 | #Constraints: 41900
1059.30/1062.80 c #Conflicts: 1165000 | #Constraints: 43049
1059.30/1062.80 c #Conflicts: 1166000 | #Constraints: 44217
1059.30/1062.80 c #Conflicts: 1167000 | #Constraints: 45321
1059.30/1062.80 c #Conflicts: 1168000 | #Constraints: 46426
1059.30/1062.80 c INPROCESSING
1059.30/1062.80 c GARBAGE COLLECT
1059.30/1062.80 c rational objective 2
1090.49/1094.17 c #Conflicts: 1169000 | #Constraints: 24130
1090.49/1094.17 c #Conflicts: 1170000 | #Constraints: 25130
1090.49/1094.17 c #Conflicts: 1171000 | #Constraints: 26130
1090.49/1094.17 c #Conflicts: 1172000 | #Constraints: 27130
1090.49/1094.17 c #Conflicts: 1173000 | #Constraints: 28130
1090.49/1094.17 c #Conflicts: 1174000 | #Constraints: 29130
1090.49/1094.17 c #Conflicts: 1175000 | #Constraints: 30174
1090.49/1094.17 c #Conflicts: 1176000 | #Constraints: 31262
1090.49/1094.17 c #Conflicts: 1177000 | #Constraints: 32346
1090.49/1094.17 c #Conflicts: 1178000 | #Constraints: 33426
1090.49/1094.17 c #Conflicts: 1179000 | #Constraints: 34530
1090.49/1094.17 c #Conflicts: 1180000 | #Constraints: 35616
1090.49/1094.17 c #Conflicts: 1181000 | #Constraints: 36704
1090.49/1094.17 c #Conflicts: 1182000 | #Constraints: 37797
1090.49/1094.17 c #Conflicts: 1183000 | #Constraints: 38871
1090.49/1094.17 c #Conflicts: 1184000 | #Constraints: 39952
1090.49/1094.17 c #Conflicts: 1185000 | #Constraints: 41067
1090.49/1094.17 c #Conflicts: 1186000 | #Constraints: 42151
1090.49/1094.17 c #Conflicts: 1187000 | #Constraints: 43257
1090.49/1094.17 c #Conflicts: 1188000 | #Constraints: 44341
1090.49/1094.17 c #Conflicts: 1189000 | #Constraints: 45429
1090.49/1094.17 c #Conflicts: 1190000 | #Constraints: 46535
1090.49/1094.17 c INPROCESSING
1090.49/1094.17 c GARBAGE COLLECT
1090.49/1094.17 c rational objective 2
1122.67/1126.41 c #Conflicts: 1191000 | #Constraints: 24336
1122.67/1126.41 c #Conflicts: 1192000 | #Constraints: 25407
1122.67/1126.41 c #Conflicts: 1193000 | #Constraints: 26420
1122.67/1126.41 c #Conflicts: 1194000 | #Constraints: 27488
1122.67/1126.41 c #Conflicts: 1195000 | #Constraints: 28509
1122.67/1126.41 c #Conflicts: 1196000 | #Constraints: 29509
1122.67/1126.41 c #Conflicts: 1197000 | #Constraints: 30509
1122.67/1126.41 c #Conflicts: 1198000 | #Constraints: 31509
1122.67/1126.41 c #Conflicts: 1199000 | #Constraints: 32509
1122.67/1126.41 c #Conflicts: 1200000 | #Constraints: 33509
1122.67/1126.41 c #Conflicts: 1201000 | #Constraints: 34509
1122.67/1126.41 c #Conflicts: 1202000 | #Constraints: 35509
1122.67/1126.41 c #Conflicts: 1203000 | #Constraints: 36509
1122.67/1126.41 c #Conflicts: 1204000 | #Constraints: 37509
1122.67/1126.41 c #Conflicts: 1205000 | #Constraints: 38509
1122.67/1126.41 c #Conflicts: 1206000 | #Constraints: 39509
1122.67/1126.41 c #Conflicts: 1207000 | #Constraints: 40509
1122.67/1126.41 c #Conflicts: 1208000 | #Constraints: 41509
1122.67/1126.41 c #Conflicts: 1209000 | #Constraints: 42509
1122.67/1126.41 c #Conflicts: 1210000 | #Constraints: 43509
1122.67/1126.41 c #Conflicts: 1211000 | #Constraints: 44509
1122.67/1126.41 c #Conflicts: 1212000 | #Constraints: 45509
1122.67/1126.41 c INPROCESSING
1122.67/1126.41 c GARBAGE COLLECT
1122.67/1126.41 c rational objective 2
1151.19/1155.06 c #Conflicts: 1213000 | #Constraints: 23759
1151.19/1155.06 c #Conflicts: 1214000 | #Constraints: 24759
1151.19/1155.06 c #Conflicts: 1215000 | #Constraints: 25759
1151.19/1155.06 c #Conflicts: 1216000 | #Constraints: 26759
1151.19/1155.06 c #Conflicts: 1217000 | #Constraints: 27759
1151.19/1155.06 c #Conflicts: 1218000 | #Constraints: 28759
1151.19/1155.06 c #Conflicts: 1219000 | #Constraints: 29759
1151.19/1155.06 c #Conflicts: 1220000 | #Constraints: 30759
1151.19/1155.06 c #Conflicts: 1221000 | #Constraints: 31759
1151.19/1155.06 c #Conflicts: 1222000 | #Constraints: 32759
1151.19/1155.06 c #Conflicts: 1223000 | #Constraints: 33759
1151.19/1155.06 c #Conflicts: 1224000 | #Constraints: 34759
1151.19/1155.06 c #Conflicts: 1225000 | #Constraints: 35759
1151.19/1155.06 c #Conflicts: 1226000 | #Constraints: 36759
1151.19/1155.06 c #Conflicts: 1227000 | #Constraints: 37759
1151.19/1155.06 c #Conflicts: 1228000 | #Constraints: 38759
1151.19/1155.06 c #Conflicts: 1229000 | #Constraints: 39759
1151.19/1155.06 c #Conflicts: 1230000 | #Constraints: 40759
1151.19/1155.06 c #Conflicts: 1231000 | #Constraints: 41759
1151.19/1155.06 c #Conflicts: 1232000 | #Constraints: 42759
1151.19/1155.06 c #Conflicts: 1233000 | #Constraints: 43759
1151.19/1155.06 c #Conflicts: 1234000 | #Constraints: 44759
1151.19/1155.06 c INPROCESSING
1151.19/1155.06 c GARBAGE COLLECT
1151.19/1155.06 c rational objective 2
1275.84/1280.17 c #Conflicts: 1235000 | #Constraints: 23345
1275.84/1280.17 c #Conflicts: 1236000 | #Constraints: 24485
1275.84/1280.17 c #Conflicts: 1237000 | #Constraints: 25603
1275.84/1280.17 c #Conflicts: 1238000 | #Constraints: 26744
1275.84/1280.17 c #Conflicts: 1239000 | #Constraints: 27881
1275.84/1280.17 c #Conflicts: 1240000 | #Constraints: 29014
1275.84/1280.17 c #Conflicts: 1241000 | #Constraints: 30138
1275.84/1280.17 c #Conflicts: 1242000 | #Constraints: 31250
1275.84/1280.17 c #Conflicts: 1243000 | #Constraints: 32354
1275.84/1280.17 c #Conflicts: 1244000 | #Constraints: 33458
1275.84/1280.17 c #Conflicts: 1245000 | #Constraints: 34560
1275.84/1280.17 c #Conflicts: 1246000 | #Constraints: 35689
1275.84/1280.17 c #Conflicts: 1247000 | #Constraints: 36776
1275.84/1280.17 c #Conflicts: 1248000 | #Constraints: 37878
1275.84/1280.17 c #Conflicts: 1249000 | #Constraints: 38963
1275.84/1280.17 c #Conflicts: 1250000 | #Constraints: 40065
1275.84/1280.17 c #Conflicts: 1251000 | #Constraints: 41186
1275.84/1280.17 c #Conflicts: 1252000 | #Constraints: 42288
1275.84/1280.17 c #Conflicts: 1253000 | #Constraints: 43415
1275.84/1280.17 c #Conflicts: 1254000 | #Constraints: 44536
1275.84/1280.17 c #Conflicts: 1255000 | #Constraints: 45652
1275.84/1280.17 c #Conflicts: 1256000 | #Constraints: 46757
1275.84/1280.17 c INPROCESSING
1275.84/1280.17 c GARBAGE COLLECT
1275.84/1280.17 c #Conflicts: 1257000 | #Constraints: 24182
1275.84/1280.17 c #Conflicts: 1258000 | #Constraints: 25301
1275.84/1280.17 c #Conflicts: 1259000 | #Constraints: 26444
1275.84/1280.17 c #Conflicts: 1260000 | #Constraints: 27557
1275.84/1280.17 c #Conflicts: 1261000 | #Constraints: 28695
1275.84/1280.17 c #Conflicts: 1262000 | #Constraints: 29816
1275.84/1280.17 c #Conflicts: 1263000 | #Constraints: 30963
1275.84/1280.17 c #Conflicts: 1264000 | #Constraints: 32066
1275.84/1280.17 c #Conflicts: 1265000 | #Constraints: 33177
1275.84/1280.17 c #Conflicts: 1266000 | #Constraints: 34292
1275.84/1280.17 c #Conflicts: 1267000 | #Constraints: 35474
1275.84/1280.17 c #Conflicts: 1268000 | #Constraints: 36655
1275.84/1280.17 c #Conflicts: 1269000 | #Constraints: 37782
1275.84/1280.17 c #Conflicts: 1270000 | #Constraints: 38869
1275.84/1280.17 c #Conflicts: 1271000 | #Constraints: 39972
1275.84/1280.17 c #Conflicts: 1272000 | #Constraints: 41071
1275.84/1280.17 c #Conflicts: 1273000 | #Constraints: 42208
1275.84/1280.17 c #Conflicts: 1274000 | #Constraints: 43293
1275.84/1280.17 c #Conflicts: 1275000 | #Constraints: 44388
1275.84/1280.17 c #Conflicts: 1276000 | #Constraints: 45526
1275.84/1280.17 c #Conflicts: 1277000 | #Constraints: 46626
1275.84/1280.17 c #Conflicts: 1278000 | #Constraints: 47753
1275.84/1280.17 c #Conflicts: 1279000 | #Constraints: 48903
1275.84/1280.17 c INPROCESSING
1275.84/1280.17 c GARBAGE COLLECT
1275.84/1280.17 c #Conflicts: 1280000 | #Constraints: 25464
1275.84/1280.17 c #Conflicts: 1281000 | #Constraints: 26602
1275.84/1280.17 c #Conflicts: 1282000 | #Constraints: 27735
1275.84/1280.17 c #Conflicts: 1283000 | #Constraints: 28902
1275.84/1280.17 c #Conflicts: 1284000 | #Constraints: 30027
1275.84/1280.17 c #Conflicts: 1285000 | #Constraints: 31160
1275.84/1280.17 c #Conflicts: 1286000 | #Constraints: 32253
1275.84/1280.17 c #Conflicts: 1287000 | #Constraints: 33342
1275.84/1280.17 c #Conflicts: 1288000 | #Constraints: 34445
1275.84/1280.17 c #Conflicts: 1289000 | #Constraints: 35536
1275.84/1280.17 c #Conflicts: 1290000 | #Constraints: 36719
1275.84/1280.17 c #Conflicts: 1291000 | #Constraints: 37912
1275.84/1280.17 c #Conflicts: 1292000 | #Constraints: 39040
1275.84/1280.17 c #Conflicts: 1293000 | #Constraints: 40136
1275.84/1280.17 c #Conflicts: 1294000 | #Constraints: 41242
1275.84/1280.17 c #Conflicts: 1295000 | #Constraints: 42341
1275.84/1280.17 c #Conflicts: 1296000 | #Constraints: 43441
1275.84/1280.17 c #Conflicts: 1297000 | #Constraints: 44547
1275.84/1280.17 c #Conflicts: 1298000 | #Constraints: 45663
1275.84/1280.17 c #Conflicts: 1299000 | #Constraints: 46752
1275.84/1280.17 c #Conflicts: 1300000 | #Constraints: 47847
1275.84/1280.17 c #Conflicts: 1301000 | #Constraints: 48916
1275.84/1280.17 c #Conflicts: 1302000 | #Constraints: 49988
1275.84/1280.17 c INPROCESSING
1275.84/1280.17 c GARBAGE COLLECT
1275.84/1280.17 c #Conflicts: 1303000 | #Constraints: 26107
1275.84/1280.17 c #Conflicts: 1304000 | #Constraints: 27275
1275.84/1280.17 c #Conflicts: 1305000 | #Constraints: 28391
1275.84/1280.17 c #Conflicts: 1306000 | #Constraints: 29510
1275.84/1280.17 c #Conflicts: 1307000 | #Constraints: 30634
1275.84/1280.17 c #Conflicts: 1308000 | #Constraints: 31754
1275.84/1280.17 c #Conflicts: 1309000 | #Constraints: 32898
1275.84/1280.17 c #Conflicts: 1310000 | #Constraints: 34020
1275.84/1280.17 c #Conflicts: 1311000 | #Constraints: 35165
1426.29/1431.16 c #Conflicts: 1312000 | #Constraints: 36286
1426.29/1431.16 c #Conflicts: 1313000 | #Constraints: 37437
1426.29/1431.16 c #Conflicts: 1314000 | #Constraints: 38533
1426.29/1431.16 c #Conflicts: 1315000 | #Constraints: 39632
1426.29/1431.16 c #Conflicts: 1316000 | #Constraints: 40709
1426.29/1431.16 c #Conflicts: 1317000 | #Constraints: 41823
1426.29/1431.16 c #Conflicts: 1318000 | #Constraints: 42939
1426.29/1431.16 c #Conflicts: 1319000 | #Constraints: 44035
1426.29/1431.16 c #Conflicts: 1320000 | #Constraints: 45142
1426.29/1431.16 c #Conflicts: 1321000 | #Constraints: 46245
1426.29/1431.16 c #Conflicts: 1322000 | #Constraints: 47369
1426.29/1431.16 c #Conflicts: 1323000 | #Constraints: 48476
1426.29/1431.16 c #Conflicts: 1324000 | #Constraints: 49607
1426.29/1431.16 c #Conflicts: 1325000 | #Constraints: 50736
1426.29/1431.16 c INPROCESSING
1426.29/1431.16 c GARBAGE COLLECT
1426.29/1431.16 c #Conflicts: 1326000 | #Constraints: 26506
1426.29/1431.16 c #Conflicts: 1327000 | #Constraints: 27634
1426.29/1431.16 c #Conflicts: 1328000 | #Constraints: 28771
1426.29/1431.16 c #Conflicts: 1329000 | #Constraints: 29917
1426.29/1431.16 c #Conflicts: 1330000 | #Constraints: 31034
1426.29/1431.16 c #Conflicts: 1331000 | #Constraints: 32168
1426.29/1431.16 c #Conflicts: 1332000 | #Constraints: 33322
1426.29/1431.16 c #Conflicts: 1333000 | #Constraints: 34455
1426.29/1431.16 c #Conflicts: 1334000 | #Constraints: 35563
1426.29/1431.16 c #Conflicts: 1335000 | #Constraints: 36676
1426.29/1431.16 c #Conflicts: 1336000 | #Constraints: 37763
1426.29/1431.16 c #Conflicts: 1337000 | #Constraints: 38882
1426.29/1431.16 c #Conflicts: 1338000 | #Constraints: 39987
1426.29/1431.16 c #Conflicts: 1339000 | #Constraints: 41090
1426.29/1431.16 c #Conflicts: 1340000 | #Constraints: 42191
1426.29/1431.16 c #Conflicts: 1341000 | #Constraints: 43291
1426.29/1431.16 c #Conflicts: 1342000 | #Constraints: 44418
1426.29/1431.16 c #Conflicts: 1343000 | #Constraints: 45555
1426.29/1431.16 c #Conflicts: 1344000 | #Constraints: 46638
1426.29/1431.16 c #Conflicts: 1345000 | #Constraints: 47754
1426.29/1431.16 c #Conflicts: 1346000 | #Constraints: 48860
1426.29/1431.16 c #Conflicts: 1347000 | #Constraints: 49979
1426.29/1431.16 c #Conflicts: 1348000 | #Constraints: 51093
1426.29/1431.16 c INPROCESSING
1426.29/1431.16 c GARBAGE COLLECT
1426.29/1431.16 c #Conflicts: 1349000 | #Constraints: 26574
1426.29/1431.16 c #Conflicts: 1350000 | #Constraints: 27724
1426.29/1431.16 c #Conflicts: 1351000 | #Constraints: 28845
1426.29/1431.16 c #Conflicts: 1352000 | #Constraints: 29965
1426.29/1431.16 c #Conflicts: 1353000 | #Constraints: 31072
1426.29/1431.16 c #Conflicts: 1354000 | #Constraints: 32183
1426.29/1431.16 c #Conflicts: 1355000 | #Constraints: 33316
1426.29/1431.16 c #Conflicts: 1356000 | #Constraints: 34451
1426.29/1431.16 c #Conflicts: 1357000 | #Constraints: 35584
1426.29/1431.16 c #Conflicts: 1358000 | #Constraints: 36696
1426.29/1431.16 c #Conflicts: 1359000 | #Constraints: 37858
1426.29/1431.16 c #Conflicts: 1360000 | #Constraints: 38939
1426.29/1431.16 c #Conflicts: 1361000 | #Constraints: 40055
1426.29/1431.16 c #Conflicts: 1362000 | #Constraints: 41179
1426.29/1431.16 c #Conflicts: 1363000 | #Constraints: 42293
1426.29/1431.16 c #Conflicts: 1364000 | #Constraints: 43427
1426.29/1431.16 c #Conflicts: 1365000 | #Constraints: 44534
1426.29/1431.16 c #Conflicts: 1366000 | #Constraints: 45699
1426.29/1431.16 c #Conflicts: 1367000 | #Constraints: 46819
1426.29/1431.16 c #Conflicts: 1368000 | #Constraints: 47920
1426.29/1431.16 c #Conflicts: 1369000 | #Constraints: 49043
1426.29/1431.16 c #Conflicts: 1370000 | #Constraints: 50168
1426.29/1431.16 c #Conflicts: 1371000 | #Constraints: 51293
1426.29/1431.16 c INPROCESSING
1426.29/1431.16 c GARBAGE COLLECT
1426.29/1431.16 c #Conflicts: 1372000 | #Constraints: 26474
1426.29/1431.16 c #Conflicts: 1373000 | #Constraints: 27654
1426.29/1431.16 c #Conflicts: 1374000 | #Constraints: 28753
1426.29/1431.16 c #Conflicts: 1375000 | #Constraints: 29841
1426.29/1431.16 c #Conflicts: 1376000 | #Constraints: 30950
1426.29/1431.16 c #Conflicts: 1377000 | #Constraints: 32058
1426.29/1431.16 c #Conflicts: 1378000 | #Constraints: 33175
1426.29/1431.16 c #Conflicts: 1379000 | #Constraints: 34258
1426.29/1431.16 c #Conflicts: 1380000 | #Constraints: 35394
1426.29/1431.16 c #Conflicts: 1381000 | #Constraints: 36502
1426.29/1431.16 c #Conflicts: 1382000 | #Constraints: 37627
1426.29/1431.16 c #Conflicts: 1383000 | #Constraints: 38735
1426.29/1431.16 c #Conflicts: 1384000 | #Constraints: 39836
1426.29/1431.16 c #Conflicts: 1385000 | #Constraints: 40934
1426.29/1431.16 c #Conflicts: 1386000 | #Constraints: 42039
1426.29/1431.16 c #Conflicts: 1387000 | #Constraints: 43196
1426.29/1431.16 c #Conflicts: 1388000 | #Constraints: 44287
1575.65/1581.05 c #Conflicts: 1389000 | #Constraints: 45398
1575.65/1581.05 c #Conflicts: 1390000 | #Constraints: 46527
1575.65/1581.05 c #Conflicts: 1391000 | #Constraints: 47627
1575.65/1581.05 c #Conflicts: 1392000 | #Constraints: 48711
1575.65/1581.05 c #Conflicts: 1393000 | #Constraints: 49814
1575.65/1581.05 c #Conflicts: 1394000 | #Constraints: 50928
1575.65/1581.05 c #Conflicts: 1395000 | #Constraints: 52040
1575.65/1581.05 c INPROCESSING
1575.65/1581.05 c GARBAGE COLLECT
1575.65/1581.05 c #Conflicts: 1396000 | #Constraints: 27036
1575.65/1581.05 c #Conflicts: 1397000 | #Constraints: 28114
1575.65/1581.05 c #Conflicts: 1398000 | #Constraints: 29150
1575.65/1581.05 c #Conflicts: 1399000 | #Constraints: 30267
1575.65/1581.05 c #Conflicts: 1400000 | #Constraints: 31397
1575.65/1581.05 c #Conflicts: 1401000 | #Constraints: 32530
1575.65/1581.05 c #Conflicts: 1402000 | #Constraints: 33674
1575.65/1581.05 c #Conflicts: 1403000 | #Constraints: 34787
1575.65/1581.05 c #Conflicts: 1404000 | #Constraints: 35901
1575.65/1581.05 c #Conflicts: 1405000 | #Constraints: 37027
1575.65/1581.05 c #Conflicts: 1406000 | #Constraints: 38097
1575.65/1581.05 c #Conflicts: 1407000 | #Constraints: 39227
1575.65/1581.05 c #Conflicts: 1408000 | #Constraints: 40304
1575.65/1581.05 c #Conflicts: 1409000 | #Constraints: 41399
1575.65/1581.05 c #Conflicts: 1410000 | #Constraints: 42543
1575.65/1581.05 c #Conflicts: 1411000 | #Constraints: 43658
1575.65/1581.05 c #Conflicts: 1412000 | #Constraints: 44764
1575.65/1581.05 c #Conflicts: 1413000 | #Constraints: 45883
1575.65/1581.05 c #Conflicts: 1414000 | #Constraints: 47002
1575.65/1581.05 c #Conflicts: 1415000 | #Constraints: 48148
1575.65/1581.05 c #Conflicts: 1416000 | #Constraints: 49300
1575.65/1581.05 c #Conflicts: 1417000 | #Constraints: 50469
1575.65/1581.05 c #Conflicts: 1418000 | #Constraints: 51600
1575.65/1581.05 c #Conflicts: 1419000 | #Constraints: 52728
1575.65/1581.05 c INPROCESSING
1575.65/1581.05 c GARBAGE COLLECT
1575.65/1581.05 c #Conflicts: 1420000 | #Constraints: 27529
1575.65/1581.05 c #Conflicts: 1421000 | #Constraints: 28626
1575.65/1581.05 c #Conflicts: 1422000 | #Constraints: 29739
1575.65/1581.05 c #Conflicts: 1423000 | #Constraints: 30869
1575.65/1581.05 c #Conflicts: 1424000 | #Constraints: 31964
1575.65/1581.05 c #Conflicts: 1425000 | #Constraints: 33064
1575.65/1581.05 c #Conflicts: 1426000 | #Constraints: 34181
1575.65/1581.05 c #Conflicts: 1427000 | #Constraints: 35305
1575.65/1581.05 c #Conflicts: 1428000 | #Constraints: 36437
1575.65/1581.05 c #Conflicts: 1429000 | #Constraints: 37559
1575.65/1581.05 c #Conflicts: 1430000 | #Constraints: 38670
1575.65/1581.05 c #Conflicts: 1431000 | #Constraints: 39828
1575.65/1581.05 c #Conflicts: 1432000 | #Constraints: 40959
1575.65/1581.05 c #Conflicts: 1433000 | #Constraints: 42107
1575.65/1581.05 c #Conflicts: 1434000 | #Constraints: 43223
1575.65/1581.05 c #Conflicts: 1435000 | #Constraints: 44330
1575.65/1581.05 c #Conflicts: 1436000 | #Constraints: 45467
1575.65/1581.05 c #Conflicts: 1437000 | #Constraints: 46594
1575.65/1581.05 c #Conflicts: 1438000 | #Constraints: 47720
1575.65/1581.05 c #Conflicts: 1439000 | #Constraints: 48826
1575.65/1581.05 c #Conflicts: 1440000 | #Constraints: 49925
1575.65/1581.05 c #Conflicts: 1441000 | #Constraints: 51037
1575.65/1581.05 c #Conflicts: 1442000 | #Constraints: 52147
1575.65/1581.05 c #Conflicts: 1443000 | #Constraints: 53251
1575.65/1581.05 c INPROCESSING
1575.65/1581.05 c GARBAGE COLLECT
1575.65/1581.05 c #Conflicts: 1444000 | #Constraints: 27735
1575.65/1581.05 c #Conflicts: 1445000 | #Constraints: 28854
1575.65/1581.05 c #Conflicts: 1446000 | #Constraints: 29971
1575.65/1581.05 c #Conflicts: 1447000 | #Constraints: 31079
1575.65/1581.05 c #Conflicts: 1448000 | #Constraints: 32186
1575.65/1581.05 c #Conflicts: 1449000 | #Constraints: 33309
1575.65/1581.05 c #Conflicts: 1450000 | #Constraints: 34419
1575.65/1581.05 c #Conflicts: 1451000 | #Constraints: 35500
1575.65/1581.05 c #Conflicts: 1452000 | #Constraints: 36599
1575.65/1581.05 c #Conflicts: 1453000 | #Constraints: 37688
1575.65/1581.05 c #Conflicts: 1454000 | #Constraints: 38782
1575.65/1581.05 c #Conflicts: 1455000 | #Constraints: 39874
1575.65/1581.05 c #Conflicts: 1456000 | #Constraints: 40975
1575.65/1581.05 c #Conflicts: 1457000 | #Constraints: 42052
1575.65/1581.05 c #Conflicts: 1458000 | #Constraints: 43135
1575.65/1581.05 c #Conflicts: 1459000 | #Constraints: 44217
1575.65/1581.05 c #Conflicts: 1460000 | #Constraints: 45320
1575.65/1581.05 c #Conflicts: 1461000 | #Constraints: 46422
1575.65/1581.05 c #Conflicts: 1462000 | #Constraints: 47533
1575.65/1581.05 c #Conflicts: 1463000 | #Constraints: 48669
1575.65/1581.05 c #Conflicts: 1464000 | #Constraints: 49748
1575.65/1581.05 c #Conflicts: 1465000 | #Constraints: 50883
1727.51/1733.42 c #Conflicts: 1466000 | #Constraints: 52011
1727.51/1733.42 c #Conflicts: 1467000 | #Constraints: 53124
1727.51/1733.42 c INPROCESSING
1727.51/1733.42 c GARBAGE COLLECT
1727.51/1733.42 c #Conflicts: 1468000 | #Constraints: 27573
1727.51/1733.42 c #Conflicts: 1469000 | #Constraints: 28716
1727.51/1733.42 c #Conflicts: 1470000 | #Constraints: 29830
1727.51/1733.42 c #Conflicts: 1471000 | #Constraints: 30933
1727.51/1733.42 c #Conflicts: 1472000 | #Constraints: 32107
1727.51/1733.42 c #Conflicts: 1473000 | #Constraints: 33204
1727.51/1733.42 c #Conflicts: 1474000 | #Constraints: 34281
1727.51/1733.42 c #Conflicts: 1475000 | #Constraints: 35394
1727.51/1733.42 c #Conflicts: 1476000 | #Constraints: 36495
1727.51/1733.42 c #Conflicts: 1477000 | #Constraints: 37595
1727.51/1733.42 c #Conflicts: 1478000 | #Constraints: 38688
1727.51/1733.42 c #Conflicts: 1479000 | #Constraints: 39781
1727.51/1733.42 c #Conflicts: 1480000 | #Constraints: 40878
1727.51/1733.42 c #Conflicts: 1481000 | #Constraints: 41991
1727.51/1733.42 c #Conflicts: 1482000 | #Constraints: 43096
1727.51/1733.42 c #Conflicts: 1483000 | #Constraints: 44265
1727.51/1733.42 c #Conflicts: 1484000 | #Constraints: 45415
1727.51/1733.42 c #Conflicts: 1485000 | #Constraints: 46514
1727.51/1733.42 c #Conflicts: 1486000 | #Constraints: 47639
1727.51/1733.42 c #Conflicts: 1487000 | #Constraints: 48757
1727.51/1733.42 c #Conflicts: 1488000 | #Constraints: 49891
1727.51/1733.42 c #Conflicts: 1489000 | #Constraints: 51038
1727.51/1733.42 c #Conflicts: 1490000 | #Constraints: 52164
1727.51/1733.42 c #Conflicts: 1491000 | #Constraints: 53278
1727.51/1733.42 c INPROCESSING
1727.51/1733.42 c GARBAGE COLLECT
1727.51/1733.42 c #Conflicts: 1492000 | #Constraints: 27430
1727.51/1733.42 c #Conflicts: 1493000 | #Constraints: 28586
1727.51/1733.42 c #Conflicts: 1494000 | #Constraints: 29704
1727.51/1733.42 c #Conflicts: 1495000 | #Constraints: 30833
1727.51/1733.42 c #Conflicts: 1496000 | #Constraints: 31953
1727.51/1733.42 c #Conflicts: 1497000 | #Constraints: 33058
1727.51/1733.42 c #Conflicts: 1498000 | #Constraints: 34130
1727.51/1733.42 c #Conflicts: 1499000 | #Constraints: 35226
1727.51/1733.42 c #Conflicts: 1500000 | #Constraints: 36346
1727.51/1733.42 c #Conflicts: 1501000 | #Constraints: 37448
1727.51/1733.42 c #Conflicts: 1502000 | #Constraints: 38555
1727.51/1733.42 c #Conflicts: 1503000 | #Constraints: 39662
1727.51/1733.42 c #Conflicts: 1504000 | #Constraints: 40790
1727.51/1733.42 c #Conflicts: 1505000 | #Constraints: 41912
1727.51/1733.42 c #Conflicts: 1506000 | #Constraints: 43019
1727.51/1733.42 c #Conflicts: 1507000 | #Constraints: 44131
1727.51/1733.42 c #Conflicts: 1508000 | #Constraints: 45245
1727.51/1733.42 c #Conflicts: 1509000 | #Constraints: 46361
1727.51/1733.42 c #Conflicts: 1510000 | #Constraints: 47490
1727.51/1733.42 c #Conflicts: 1511000 | #Constraints: 48636
1727.51/1733.42 c #Conflicts: 1512000 | #Constraints: 49755
1727.51/1733.42 c #Conflicts: 1513000 | #Constraints: 50873
1727.51/1733.42 c #Conflicts: 1514000 | #Constraints: 52033
1727.51/1733.42 c #Conflicts: 1515000 | #Constraints: 53130
1727.51/1733.42 c #Conflicts: 1516000 | #Constraints: 54222
1727.51/1733.42 c INPROCESSING
1727.51/1733.42 c GARBAGE COLLECT
1727.51/1733.42 c #Conflicts: 1517000 | #Constraints: 28133
1727.51/1733.42 c #Conflicts: 1518000 | #Constraints: 29251
1727.51/1733.42 c #Conflicts: 1519000 | #Constraints: 30348
1727.51/1733.42 c #Conflicts: 1520000 | #Constraints: 31455
1727.51/1733.42 c #Conflicts: 1521000 | #Constraints: 32571
1727.51/1733.42 c #Conflicts: 1522000 | #Constraints: 33718
1727.51/1733.42 c #Conflicts: 1523000 | #Constraints: 34813
1727.51/1733.42 c #Conflicts: 1524000 | #Constraints: 35926
1727.51/1733.42 c #Conflicts: 1525000 | #Constraints: 37025
1727.51/1733.42 c #Conflicts: 1526000 | #Constraints: 38129
1727.51/1733.42 c #Conflicts: 1527000 | #Constraints: 39259
1727.51/1733.42 c #Conflicts: 1528000 | #Constraints: 40391
1727.51/1733.42 c #Conflicts: 1529000 | #Constraints: 41511
1727.51/1733.42 c #Conflicts: 1530000 | #Constraints: 42637
1727.51/1733.42 c #Conflicts: 1531000 | #Constraints: 43794
1727.51/1733.42 c #Conflicts: 1532000 | #Constraints: 44957
1727.51/1733.42 c #Conflicts: 1533000 | #Constraints: 46090
1727.51/1733.42 c #Conflicts: 1534000 | #Constraints: 47199
1727.51/1733.42 c #Conflicts: 1535000 | #Constraints: 48311
1727.51/1733.42 c #Conflicts: 1536000 | #Constraints: 49404
1727.51/1733.42 c #Conflicts: 1537000 | #Constraints: 50546
1727.51/1733.42 c #Conflicts: 1538000 | #Constraints: 51675
1727.51/1733.42 c #Conflicts: 1539000 | #Constraints: 52806
1727.51/1733.42 c #Conflicts: 1540000 | #Constraints: 53923
1727.51/1733.42 c #Conflicts: 1541000 | #Constraints: 55025
1727.51/1733.42 c INPROCESSING
1727.51/1733.42 c GARBAGE COLLECT
1889.54/1896.07 c #Conflicts: 1542000 | #Constraints: 28704
1889.54/1896.07 c #Conflicts: 1543000 | #Constraints: 29863
1889.54/1896.07 c #Conflicts: 1544000 | #Constraints: 31016
1889.54/1896.07 c #Conflicts: 1545000 | #Constraints: 32140
1889.54/1896.07 c #Conflicts: 1546000 | #Constraints: 33240
1889.54/1896.07 c #Conflicts: 1547000 | #Constraints: 34334
1889.54/1896.07 c #Conflicts: 1548000 | #Constraints: 35430
1889.54/1896.07 c #Conflicts: 1549000 | #Constraints: 36514
1889.54/1896.07 c #Conflicts: 1550000 | #Constraints: 37614
1889.54/1896.07 c #Conflicts: 1551000 | #Constraints: 38715
1889.54/1896.07 c #Conflicts: 1552000 | #Constraints: 39803
1889.54/1896.07 c #Conflicts: 1553000 | #Constraints: 40893
1889.54/1896.07 c #Conflicts: 1554000 | #Constraints: 41986
1889.54/1896.07 c #Conflicts: 1555000 | #Constraints: 43057
1889.54/1896.07 c #Conflicts: 1556000 | #Constraints: 44144
1889.54/1896.07 c #Conflicts: 1557000 | #Constraints: 45257
1889.54/1896.07 c #Conflicts: 1558000 | #Constraints: 46358
1889.54/1896.07 c #Conflicts: 1559000 | #Constraints: 47451
1889.54/1896.07 c #Conflicts: 1560000 | #Constraints: 48551
1889.54/1896.07 c #Conflicts: 1561000 | #Constraints: 49664
1889.54/1896.07 c #Conflicts: 1562000 | #Constraints: 50755
1889.54/1896.07 c #Conflicts: 1563000 | #Constraints: 51851
1889.54/1896.07 c #Conflicts: 1564000 | #Constraints: 52948
1889.54/1896.07 c #Conflicts: 1565000 | #Constraints: 54064
1889.54/1896.07 c #Conflicts: 1566000 | #Constraints: 55160
1889.54/1896.07 c INPROCESSING
1889.54/1896.07 c GARBAGE COLLECT
1889.54/1896.07 c #Conflicts: 1567000 | #Constraints: 28703
1889.54/1896.07 c #Conflicts: 1568000 | #Constraints: 29846
1889.54/1896.07 c #Conflicts: 1569000 | #Constraints: 30979
1889.54/1896.07 c #Conflicts: 1570000 | #Constraints: 32119
1889.54/1896.07 c #Conflicts: 1571000 | #Constraints: 33278
1889.54/1896.07 c #Conflicts: 1572000 | #Constraints: 34413
1889.54/1896.07 c #Conflicts: 1573000 | #Constraints: 35561
1889.54/1896.07 c #Conflicts: 1574000 | #Constraints: 36695
1889.54/1896.07 c #Conflicts: 1575000 | #Constraints: 37876
1889.54/1896.07 c #Conflicts: 1576000 | #Constraints: 39011
1889.54/1896.07 c #Conflicts: 1577000 | #Constraints: 40139
1889.54/1896.07 c #Conflicts: 1578000 | #Constraints: 41302
1889.54/1896.07 c #Conflicts: 1579000 | #Constraints: 42444
1889.54/1896.07 c #Conflicts: 1580000 | #Constraints: 43578
1889.54/1896.07 c #Conflicts: 1581000 | #Constraints: 44709
1889.54/1896.07 c #Conflicts: 1582000 | #Constraints: 45857
1889.54/1896.07 c #Conflicts: 1583000 | #Constraints: 47006
1889.54/1896.07 c #Conflicts: 1584000 | #Constraints: 48151
1889.54/1896.07 c #Conflicts: 1585000 | #Constraints: 49313
1889.54/1896.07 c #Conflicts: 1586000 | #Constraints: 50493
1889.54/1896.07 c #Conflicts: 1587000 | #Constraints: 51639
1889.54/1896.07 c #Conflicts: 1588000 | #Constraints: 52811
1889.54/1896.07 c #Conflicts: 1589000 | #Constraints: 53952
1889.54/1896.07 c #Conflicts: 1590000 | #Constraints: 55066
1889.54/1896.07 c #Conflicts: 1591000 | #Constraints: 56175
1889.54/1896.07 c INPROCESSING
1889.54/1896.07 c GARBAGE COLLECT
1889.54/1896.07 c #Conflicts: 1592000 | #Constraints: 29128
1889.54/1896.07 c #Conflicts: 1593000 | #Constraints: 30289
1889.54/1896.07 c #Conflicts: 1594000 | #Constraints: 31501
1889.54/1896.07 c #Conflicts: 1595000 | #Constraints: 32686
1889.54/1896.07 c #Conflicts: 1596000 | #Constraints: 33854
1889.54/1896.07 c #Conflicts: 1597000 | #Constraints: 35025
1889.54/1896.07 c #Conflicts: 1598000 | #Constraints: 36186
1889.54/1896.07 c #Conflicts: 1599000 | #Constraints: 37339
1889.54/1896.07 c #Conflicts: 1600000 | #Constraints: 38506
1889.54/1896.07 c #Conflicts: 1601000 | #Constraints: 39673
1889.54/1896.07 c #Conflicts: 1602000 | #Constraints: 40862
1889.54/1896.07 c #Conflicts: 1603000 | #Constraints: 41996
1889.54/1896.07 c #Conflicts: 1604000 | #Constraints: 43164
1889.54/1896.07 c #Conflicts: 1605000 | #Constraints: 44320
1889.54/1896.07 c #Conflicts: 1606000 | #Constraints: 45519
1889.54/1896.07 c #Conflicts: 1607000 | #Constraints: 46686
1889.54/1896.07 c #Conflicts: 1608000 | #Constraints: 47861
1889.54/1896.07 c #Conflicts: 1609000 | #Constraints: 49036
1889.54/1896.07 c #Conflicts: 1610000 | #Constraints: 50237
1889.54/1896.07 c #Conflicts: 1611000 | #Constraints: 51396
1889.54/1896.07 c #Conflicts: 1612000 | #Constraints: 52521
1889.54/1896.07 c #Conflicts: 1613000 | #Constraints: 53672
1889.54/1896.07 c #Conflicts: 1614000 | #Constraints: 54839
1889.54/1896.07 c #Conflicts: 1615000 | #Constraints: 55971
1889.54/1896.07 c #Conflicts: 1616000 | #Constraints: 57153
1889.54/1896.07 c INPROCESSING
1889.54/1896.07 c GARBAGE COLLECT
1889.54/1896.07 c #Conflicts: 1617000 | #Constraints: 29376
1889.54/1896.07 c #Conflicts: 1618000 | #Constraints: 30492
2069.27/2076.44 c #Conflicts: 1619000 | #Constraints: 31596
2069.27/2076.44 c #Conflicts: 1620000 | #Constraints: 32712
2069.27/2076.44 c #Conflicts: 1621000 | #Constraints: 33836
2069.27/2076.44 c #Conflicts: 1622000 | #Constraints: 34961
2069.27/2076.44 c #Conflicts: 1623000 | #Constraints: 36070
2069.27/2076.44 c #Conflicts: 1624000 | #Constraints: 37167
2069.27/2076.44 c #Conflicts: 1625000 | #Constraints: 38283
2069.27/2076.44 c #Conflicts: 1626000 | #Constraints: 39389
2069.27/2076.44 c #Conflicts: 1627000 | #Constraints: 40503
2069.27/2076.44 c #Conflicts: 1628000 | #Constraints: 41603
2069.27/2076.44 c #Conflicts: 1629000 | #Constraints: 42691
2069.27/2076.44 c #Conflicts: 1630000 | #Constraints: 43800
2069.27/2076.44 c #Conflicts: 1631000 | #Constraints: 44911
2069.27/2076.44 c #Conflicts: 1632000 | #Constraints: 46013
2069.27/2076.44 c #Conflicts: 1633000 | #Constraints: 47110
2069.27/2076.44 c #Conflicts: 1634000 | #Constraints: 48217
2069.27/2076.44 c #Conflicts: 1635000 | #Constraints: 49327
2069.27/2076.44 c #Conflicts: 1636000 | #Constraints: 50450
2069.27/2076.44 c #Conflicts: 1637000 | #Constraints: 51549
2069.27/2076.44 c #Conflicts: 1638000 | #Constraints: 52649
2069.27/2076.44 c #Conflicts: 1639000 | #Constraints: 53754
2069.27/2076.44 c #Conflicts: 1640000 | #Constraints: 54856
2069.27/2076.44 c #Conflicts: 1641000 | #Constraints: 55992
2069.27/2076.44 c #Conflicts: 1642000 | #Constraints: 57087
2069.27/2076.44 c INPROCESSING
2069.27/2076.44 c GARBAGE COLLECT
2069.27/2076.44 c #Conflicts: 1643000 | #Constraints: 29640
2069.27/2076.44 c #Conflicts: 1644000 | #Constraints: 30782
2069.27/2076.44 c #Conflicts: 1645000 | #Constraints: 31895
2069.27/2076.44 c #Conflicts: 1646000 | #Constraints: 33014
2069.27/2076.44 c #Conflicts: 1647000 | #Constraints: 34129
2069.27/2076.44 c #Conflicts: 1648000 | #Constraints: 35223
2069.27/2076.44 c #Conflicts: 1649000 | #Constraints: 36318
2069.27/2076.44 c #Conflicts: 1650000 | #Constraints: 37422
2069.27/2076.44 c #Conflicts: 1651000 | #Constraints: 38586
2069.27/2076.44 c #Conflicts: 1652000 | #Constraints: 39698
2069.27/2076.44 c #Conflicts: 1653000 | #Constraints: 40778
2069.27/2076.44 c #Conflicts: 1654000 | #Constraints: 41893
2069.27/2076.44 c #Conflicts: 1655000 | #Constraints: 42994
2069.27/2076.44 c #Conflicts: 1656000 | #Constraints: 44076
2069.27/2076.44 c #Conflicts: 1657000 | #Constraints: 45176
2069.27/2076.44 c #Conflicts: 1658000 | #Constraints: 46273
2069.27/2076.44 c #Conflicts: 1659000 | #Constraints: 47384
2069.27/2076.44 c #Conflicts: 1660000 | #Constraints: 48488
2069.27/2076.44 c #Conflicts: 1661000 | #Constraints: 49602
2069.27/2076.44 c #Conflicts: 1662000 | #Constraints: 50729
2069.27/2076.44 c #Conflicts: 1663000 | #Constraints: 51849
2069.27/2076.44 c #Conflicts: 1664000 | #Constraints: 52956
2069.27/2076.44 c #Conflicts: 1665000 | #Constraints: 54105
2069.27/2076.44 c #Conflicts: 1666000 | #Constraints: 55233
2069.27/2076.44 c #Conflicts: 1667000 | #Constraints: 56336
2069.27/2076.44 c #Conflicts: 1668000 | #Constraints: 57453
2069.27/2076.44 c INPROCESSING
2069.27/2076.44 c GARBAGE COLLECT
2069.27/2076.44 c #Conflicts: 1669000 | #Constraints: 29850
2069.27/2076.44 c #Conflicts: 1670000 | #Constraints: 30950
2069.27/2076.44 c #Conflicts: 1671000 | #Constraints: 32085
2069.27/2076.44 c #Conflicts: 1672000 | #Constraints: 33217
2069.27/2076.44 c #Conflicts: 1673000 | #Constraints: 34334
2069.27/2076.44 c #Conflicts: 1674000 | #Constraints: 35433
2069.27/2076.44 c #Conflicts: 1675000 | #Constraints: 36532
2069.27/2076.44 c #Conflicts: 1676000 | #Constraints: 37666
2069.27/2076.44 c #Conflicts: 1677000 | #Constraints: 38760
2069.27/2076.44 c #Conflicts: 1678000 | #Constraints: 39846
2069.27/2076.44 c #Conflicts: 1679000 | #Constraints: 40958
2069.27/2076.44 c #Conflicts: 1680000 | #Constraints: 42095
2069.27/2076.44 c #Conflicts: 1681000 | #Constraints: 43217
2069.27/2076.44 c #Conflicts: 1682000 | #Constraints: 44367
2069.27/2076.44 c #Conflicts: 1683000 | #Constraints: 45505
2069.27/2076.44 c #Conflicts: 1684000 | #Constraints: 46630
2069.27/2076.44 c #Conflicts: 1685000 | #Constraints: 47758
2069.27/2076.44 c #Conflicts: 1686000 | #Constraints: 48913
2069.27/2076.44 c #Conflicts: 1687000 | #Constraints: 50001
2069.27/2076.44 c #Conflicts: 1688000 | #Constraints: 51105
2069.27/2076.44 c #Conflicts: 1689000 | #Constraints: 52224
2069.27/2076.44 c #Conflicts: 1690000 | #Constraints: 53353
2069.27/2076.44 c #Conflicts: 1691000 | #Constraints: 54471
2069.27/2076.44 c #Conflicts: 1692000 | #Constraints: 55593
2069.27/2076.44 c #Conflicts: 1693000 | #Constraints: 56709
2069.27/2076.44 c #Conflicts: 1694000 | #Constraints: 57841
2069.27/2076.44 c INPROCESSING
2069.27/2076.44 c GARBAGE COLLECT
2069.27/2076.44 c #Conflicts: 1695000 | #Constraints: 30072
2245.22/2253.07 c #Conflicts: 1696000 | #Constraints: 31155
2245.22/2253.07 c #Conflicts: 1697000 | #Constraints: 32282
2245.22/2253.07 c #Conflicts: 1698000 | #Constraints: 33392
2245.22/2253.07 c #Conflicts: 1699000 | #Constraints: 34490
2245.22/2253.07 c #Conflicts: 1700000 | #Constraints: 35603
2245.22/2253.07 c #Conflicts: 1701000 | #Constraints: 36728
2245.22/2253.07 c #Conflicts: 1702000 | #Constraints: 37900
2245.22/2253.07 c #Conflicts: 1703000 | #Constraints: 39039
2245.22/2253.07 c #Conflicts: 1704000 | #Constraints: 40190
2245.22/2253.07 c #Conflicts: 1705000 | #Constraints: 41286
2245.22/2253.07 c #Conflicts: 1706000 | #Constraints: 42394
2245.22/2253.07 c #Conflicts: 1707000 | #Constraints: 43524
2245.22/2253.07 c #Conflicts: 1708000 | #Constraints: 44632
2245.22/2253.07 c #Conflicts: 1709000 | #Constraints: 45747
2245.22/2253.07 c #Conflicts: 1710000 | #Constraints: 46848
2245.22/2253.07 c #Conflicts: 1711000 | #Constraints: 47961
2245.22/2253.07 c #Conflicts: 1712000 | #Constraints: 49039
2245.22/2253.07 c #Conflicts: 1713000 | #Constraints: 50105
2245.22/2253.07 c #Conflicts: 1714000 | #Constraints: 51161
2245.22/2253.07 c #Conflicts: 1715000 | #Constraints: 52283
2245.22/2253.07 c #Conflicts: 1716000 | #Constraints: 53374
2245.22/2253.07 c #Conflicts: 1717000 | #Constraints: 54498
2245.22/2253.07 c #Conflicts: 1718000 | #Constraints: 55632
2245.22/2253.07 c #Conflicts: 1719000 | #Constraints: 56739
2245.22/2253.07 c #Conflicts: 1720000 | #Constraints: 57902
2245.22/2253.07 c INPROCESSING
2245.22/2253.07 c GARBAGE COLLECT
2245.22/2253.07 c #Conflicts: 1721000 | #Constraints: 29982
2245.22/2253.07 c #Conflicts: 1722000 | #Constraints: 31150
2245.22/2253.07 c #Conflicts: 1723000 | #Constraints: 32328
2245.22/2253.07 c #Conflicts: 1724000 | #Constraints: 33439
2245.22/2253.07 c #Conflicts: 1725000 | #Constraints: 34528
2245.22/2253.07 c #Conflicts: 1726000 | #Constraints: 35632
2245.22/2253.07 c #Conflicts: 1727000 | #Constraints: 36728
2245.22/2253.07 c #Conflicts: 1728000 | #Constraints: 37820
2245.22/2253.07 c #Conflicts: 1729000 | #Constraints: 38905
2245.22/2253.07 c #Conflicts: 1730000 | #Constraints: 40005
2245.22/2253.07 c #Conflicts: 1731000 | #Constraints: 41114
2245.22/2253.07 c #Conflicts: 1732000 | #Constraints: 42224
2245.22/2253.07 c #Conflicts: 1733000 | #Constraints: 43325
2245.22/2253.07 c #Conflicts: 1734000 | #Constraints: 44428
2245.22/2253.07 c #Conflicts: 1735000 | #Constraints: 45555
2245.22/2253.07 c #Conflicts: 1736000 | #Constraints: 46683
2245.22/2253.07 c #Conflicts: 1737000 | #Constraints: 47806
2245.22/2253.07 c #Conflicts: 1738000 | #Constraints: 48914
2245.22/2253.07 c #Conflicts: 1739000 | #Constraints: 50041
2245.22/2253.07 c #Conflicts: 1740000 | #Constraints: 51166
2245.22/2253.07 c #Conflicts: 1741000 | #Constraints: 52286
2245.22/2253.07 c #Conflicts: 1742000 | #Constraints: 53424
2245.22/2253.07 c #Conflicts: 1743000 | #Constraints: 54534
2245.22/2253.07 c #Conflicts: 1744000 | #Constraints: 55664
2245.22/2253.07 c #Conflicts: 1745000 | #Constraints: 56772
2245.22/2253.07 c #Conflicts: 1746000 | #Constraints: 57887
2245.22/2253.07 c INPROCESSING
2245.22/2253.07 c GARBAGE COLLECT
2245.22/2253.07 c #Conflicts: 1747000 | #Constraints: 29711
2245.22/2253.07 c #Conflicts: 1748000 | #Constraints: 30872
2245.22/2253.07 c #Conflicts: 1749000 | #Constraints: 32037
2245.22/2253.07 c #Conflicts: 1750000 | #Constraints: 33132
2245.22/2253.07 c #Conflicts: 1751000 | #Constraints: 34228
2245.22/2253.07 c #Conflicts: 1752000 | #Constraints: 35381
2245.22/2253.07 c #Conflicts: 1753000 | #Constraints: 36572
2245.22/2253.07 c #Conflicts: 1754000 | #Constraints: 37691
2245.22/2253.07 c #Conflicts: 1755000 | #Constraints: 38805
2245.22/2253.07 c #Conflicts: 1756000 | #Constraints: 39925
2245.22/2253.07 c #Conflicts: 1757000 | #Constraints: 41069
2245.22/2253.07 c #Conflicts: 1758000 | #Constraints: 42195
2245.22/2253.07 c #Conflicts: 1759000 | #Constraints: 43306
2245.22/2253.07 c #Conflicts: 1760000 | #Constraints: 44458
2245.22/2253.07 c #Conflicts: 1761000 | #Constraints: 45609
2245.22/2253.07 c #Conflicts: 1762000 | #Constraints: 46723
2245.22/2253.07 c #Conflicts: 1763000 | #Constraints: 47862
2245.22/2253.07 c #Conflicts: 1764000 | #Constraints: 48972
2245.22/2253.07 c #Conflicts: 1765000 | #Constraints: 50102
2245.22/2253.07 c #Conflicts: 1766000 | #Constraints: 51210
2245.22/2253.07 c #Conflicts: 1767000 | #Constraints: 52304
2245.22/2253.07 c #Conflicts: 1768000 | #Constraints: 53412
2245.22/2253.07 c #Conflicts: 1769000 | #Constraints: 54558
2245.22/2253.07 c #Conflicts: 1770000 | #Constraints: 55704
2245.22/2253.07 c #Conflicts: 1771000 | #Constraints: 56804
2245.22/2253.07 c #Conflicts: 1772000 | #Constraints: 57921
2245.22/2253.07 c #Conflicts: 1773000 | #Constraints: 58958
2422.27/2430.70 c INPROCESSING
2422.27/2430.70 c GARBAGE COLLECT
2422.27/2430.70 c #Conflicts: 1774000 | #Constraints: 30491
2422.27/2430.70 c #Conflicts: 1775000 | #Constraints: 31654
2422.27/2430.70 c #Conflicts: 1776000 | #Constraints: 32764
2422.27/2430.70 c #Conflicts: 1777000 | #Constraints: 33874
2422.27/2430.70 c #Conflicts: 1778000 | #Constraints: 34974
2422.27/2430.70 c #Conflicts: 1779000 | #Constraints: 36076
2422.27/2430.70 c #Conflicts: 1780000 | #Constraints: 37181
2422.27/2430.70 c #Conflicts: 1781000 | #Constraints: 38313
2422.27/2430.70 c #Conflicts: 1782000 | #Constraints: 39415
2422.27/2430.70 c #Conflicts: 1783000 | #Constraints: 40503
2422.27/2430.70 c #Conflicts: 1784000 | #Constraints: 41619
2422.27/2430.70 c #Conflicts: 1785000 | #Constraints: 42728
2422.27/2430.70 c #Conflicts: 1786000 | #Constraints: 43841
2422.27/2430.70 c #Conflicts: 1787000 | #Constraints: 44957
2422.27/2430.70 c #Conflicts: 1788000 | #Constraints: 46089
2422.27/2430.70 c #Conflicts: 1789000 | #Constraints: 47190
2422.27/2430.70 c #Conflicts: 1790000 | #Constraints: 48307
2422.27/2430.70 c #Conflicts: 1791000 | #Constraints: 49427
2422.27/2430.70 c #Conflicts: 1792000 | #Constraints: 50541
2422.27/2430.70 c #Conflicts: 1793000 | #Constraints: 51650
2422.27/2430.70 c #Conflicts: 1794000 | #Constraints: 52835
2422.27/2430.70 c #Conflicts: 1795000 | #Constraints: 54008
2422.27/2430.70 c #Conflicts: 1796000 | #Constraints: 55131
2422.27/2430.70 c #Conflicts: 1797000 | #Constraints: 56236
2422.27/2430.70 c #Conflicts: 1798000 | #Constraints: 57340
2422.27/2430.70 c #Conflicts: 1799000 | #Constraints: 58472
2422.27/2430.70 c #Conflicts: 1800000 | #Constraints: 59585
2422.27/2430.70 c INPROCESSING
2422.27/2430.70 c GARBAGE COLLECT
2422.27/2430.70 c #Conflicts: 1801000 | #Constraints: 30915
2422.27/2430.70 c #Conflicts: 1802000 | #Constraints: 32040
2422.27/2430.70 c #Conflicts: 1803000 | #Constraints: 33162
2422.27/2430.70 c #Conflicts: 1804000 | #Constraints: 34303
2422.27/2430.70 c #Conflicts: 1805000 | #Constraints: 35446
2422.27/2430.70 c #Conflicts: 1806000 | #Constraints: 36592
2422.27/2430.70 c #Conflicts: 1807000 | #Constraints: 37735
2422.27/2430.70 c #Conflicts: 1808000 | #Constraints: 38862
2422.27/2430.70 c #Conflicts: 1809000 | #Constraints: 39985
2422.27/2430.70 c #Conflicts: 1810000 | #Constraints: 41116
2422.27/2430.70 c #Conflicts: 1811000 | #Constraints: 42232
2422.27/2430.70 c #Conflicts: 1812000 | #Constraints: 43357
2422.27/2430.70 c #Conflicts: 1813000 | #Constraints: 44476
2422.27/2430.70 c #Conflicts: 1814000 | #Constraints: 45597
2422.27/2430.70 c #Conflicts: 1815000 | #Constraints: 46715
2422.27/2430.70 c #Conflicts: 1816000 | #Constraints: 47854
2422.27/2430.70 c #Conflicts: 1817000 | #Constraints: 48990
2422.27/2430.70 c #Conflicts: 1818000 | #Constraints: 50080
2422.27/2430.70 c #Conflicts: 1819000 | #Constraints: 51176
2422.27/2430.70 c #Conflicts: 1820000 | #Constraints: 52262
2422.27/2430.70 c #Conflicts: 1821000 | #Constraints: 53373
2422.27/2430.70 c #Conflicts: 1822000 | #Constraints: 54484
2422.27/2430.70 c #Conflicts: 1823000 | #Constraints: 55601
2422.27/2430.70 c #Conflicts: 1824000 | #Constraints: 56713
2422.27/2430.70 c #Conflicts: 1825000 | #Constraints: 57811
2422.27/2430.70 c #Conflicts: 1826000 | #Constraints: 58936
2422.27/2430.70 c #Conflicts: 1827000 | #Constraints: 60066
2422.27/2430.70 c INPROCESSING
2422.27/2430.70 c GARBAGE COLLECT
2422.27/2430.70 c #Conflicts: 1828000 | #Constraints: 31144
2422.27/2430.70 c #Conflicts: 1829000 | #Constraints: 32246
2422.27/2430.70 c #Conflicts: 1830000 | #Constraints: 33350
2422.27/2430.70 c #Conflicts: 1831000 | #Constraints: 34432
2422.27/2430.70 c #Conflicts: 1832000 | #Constraints: 35495
2422.27/2430.70 c #Conflicts: 1833000 | #Constraints: 36617
2422.27/2430.70 c #Conflicts: 1834000 | #Constraints: 37723
2422.27/2430.70 c #Conflicts: 1835000 | #Constraints: 38844
2422.27/2430.70 c #Conflicts: 1836000 | #Constraints: 39937
2422.27/2430.70 c #Conflicts: 1837000 | #Constraints: 41023
2422.27/2430.70 c #Conflicts: 1838000 | #Constraints: 42130
2422.27/2430.70 c #Conflicts: 1839000 | #Constraints: 43235
2422.27/2430.70 c #Conflicts: 1840000 | #Constraints: 44338
2422.27/2430.70 c #Conflicts: 1841000 | #Constraints: 45446
2422.27/2430.70 c #Conflicts: 1842000 | #Constraints: 46544
2422.27/2430.70 c #Conflicts: 1843000 | #Constraints: 47657
2422.27/2430.70 c #Conflicts: 1844000 | #Constraints: 48762
2422.27/2430.70 c #Conflicts: 1845000 | #Constraints: 49883
2422.27/2430.70 c #Conflicts: 1846000 | #Constraints: 51001
2422.27/2430.70 c #Conflicts: 1847000 | #Constraints: 52106
2422.27/2430.70 c #Conflicts: 1848000 | #Constraints: 53223
2422.27/2430.70 c #Conflicts: 1849000 | #Constraints: 54352
2604.23/2613.30 c #Conflicts: 1850000 | #Constraints: 55478
2604.23/2613.30 c #Conflicts: 1851000 | #Constraints: 56623
2604.23/2613.30 c #Conflicts: 1852000 | #Constraints: 57758
2604.23/2613.30 c #Conflicts: 1853000 | #Constraints: 58930
2604.23/2613.30 c #Conflicts: 1854000 | #Constraints: 60065
2604.23/2613.30 c INPROCESSING
2604.23/2613.30 c GARBAGE COLLECT
2604.23/2613.30 c #Conflicts: 1855000 | #Constraints: 31046
2604.23/2613.30 c #Conflicts: 1856000 | #Constraints: 32156
2604.23/2613.30 c #Conflicts: 1857000 | #Constraints: 33259
2604.23/2613.30 c #Conflicts: 1858000 | #Constraints: 34384
2604.23/2613.30 c #Conflicts: 1859000 | #Constraints: 35481
2604.23/2613.30 c #Conflicts: 1860000 | #Constraints: 36572
2604.23/2613.30 c #Conflicts: 1861000 | #Constraints: 37681
2604.23/2613.30 c #Conflicts: 1862000 | #Constraints: 38779
2604.23/2613.30 c #Conflicts: 1863000 | #Constraints: 39915
2604.23/2613.30 c #Conflicts: 1864000 | #Constraints: 41036
2604.23/2613.30 c #Conflicts: 1865000 | #Constraints: 42173
2604.23/2613.30 c #Conflicts: 1866000 | #Constraints: 43308
2604.23/2613.30 c #Conflicts: 1867000 | #Constraints: 44405
2604.23/2613.30 c #Conflicts: 1868000 | #Constraints: 45513
2604.23/2613.30 c #Conflicts: 1869000 | #Constraints: 46589
2604.23/2613.30 c #Conflicts: 1870000 | #Constraints: 47703
2604.23/2613.30 c #Conflicts: 1871000 | #Constraints: 48806
2604.23/2613.30 c #Conflicts: 1872000 | #Constraints: 49925
2604.23/2613.30 c #Conflicts: 1873000 | #Constraints: 51029
2604.23/2613.30 c #Conflicts: 1874000 | #Constraints: 52137
2604.23/2613.30 c #Conflicts: 1875000 | #Constraints: 53263
2604.23/2613.30 c #Conflicts: 1876000 | #Constraints: 54379
2604.23/2613.30 c #Conflicts: 1877000 | #Constraints: 55475
2604.23/2613.30 c #Conflicts: 1878000 | #Constraints: 56608
2604.23/2613.30 c #Conflicts: 1879000 | #Constraints: 57731
2604.23/2613.30 c #Conflicts: 1880000 | #Constraints: 58825
2604.23/2613.30 c #Conflicts: 1881000 | #Constraints: 59965
2604.23/2613.30 c INPROCESSING
2604.23/2613.30 c GARBAGE COLLECT
2604.23/2613.30 c #Conflicts: 1882000 | #Constraints: 30765
2604.23/2613.30 c #Conflicts: 1883000 | #Constraints: 31857
2604.23/2613.30 c #Conflicts: 1884000 | #Constraints: 32954
2604.23/2613.30 c #Conflicts: 1885000 | #Constraints: 34148
2604.23/2613.30 c #Conflicts: 1886000 | #Constraints: 35247
2604.23/2613.30 c #Conflicts: 1887000 | #Constraints: 36346
2604.23/2613.30 c #Conflicts: 1888000 | #Constraints: 37443
2604.23/2613.30 c #Conflicts: 1889000 | #Constraints: 38559
2604.23/2613.30 c #Conflicts: 1890000 | #Constraints: 39671
2604.23/2613.30 c #Conflicts: 1891000 | #Constraints: 40782
2604.23/2613.30 c #Conflicts: 1892000 | #Constraints: 41891
2604.23/2613.30 c #Conflicts: 1893000 | #Constraints: 43000
2604.23/2613.30 c #Conflicts: 1894000 | #Constraints: 44124
2604.23/2613.30 c #Conflicts: 1895000 | #Constraints: 45261
2604.23/2613.30 c #Conflicts: 1896000 | #Constraints: 46365
2604.23/2613.30 c #Conflicts: 1897000 | #Constraints: 47464
2604.23/2613.30 c #Conflicts: 1898000 | #Constraints: 48565
2604.23/2613.30 c #Conflicts: 1899000 | #Constraints: 49676
2604.23/2613.30 c #Conflicts: 1900000 | #Constraints: 50778
2604.23/2613.30 c #Conflicts: 1901000 | #Constraints: 51911
2604.23/2613.30 c #Conflicts: 1902000 | #Constraints: 53050
2604.23/2613.30 c #Conflicts: 1903000 | #Constraints: 54154
2604.23/2613.30 c #Conflicts: 1904000 | #Constraints: 55242
2604.23/2613.30 c #Conflicts: 1905000 | #Constraints: 56382
2604.23/2613.30 c #Conflicts: 1906000 | #Constraints: 57552
2604.23/2613.30 c #Conflicts: 1907000 | #Constraints: 58712
2604.23/2613.30 c #Conflicts: 1908000 | #Constraints: 59880
2604.23/2613.30 c #Conflicts: 1909000 | #Constraints: 61017
2604.23/2613.30 c INPROCESSING
2604.23/2613.30 c GARBAGE COLLECT
2604.23/2613.30 c #Conflicts: 1910000 | #Constraints: 31611
2604.23/2613.30 c #Conflicts: 1911000 | #Constraints: 32776
2604.23/2613.30 c #Conflicts: 1912000 | #Constraints: 33945
2604.23/2613.30 c #Conflicts: 1913000 | #Constraints: 35069
2604.23/2613.30 c #Conflicts: 1914000 | #Constraints: 36216
2604.23/2613.30 c #Conflicts: 1915000 | #Constraints: 37436
2604.23/2613.30 c #Conflicts: 1916000 | #Constraints: 38598
2604.23/2613.30 c #Conflicts: 1917000 | #Constraints: 39714
2604.23/2613.30 c #Conflicts: 1918000 | #Constraints: 40823
2604.23/2613.30 c #Conflicts: 1919000 | #Constraints: 41908
2604.23/2613.30 c #Conflicts: 1920000 | #Constraints: 43009
2604.23/2613.30 c #Conflicts: 1921000 | #Constraints: 44136
2604.23/2613.30 c #Conflicts: 1922000 | #Constraints: 45304
2604.23/2613.30 c #Conflicts: 1923000 | #Constraints: 46395
2604.23/2613.30 c #Conflicts: 1924000 | #Constraints: 47516
2604.23/2613.30 c #Conflicts: 1925000 | #Constraints: 48640
2604.23/2613.30 c #Conflicts: 1926000 | #Constraints: 49770
2796.95/2806.75 c #Conflicts: 1927000 | #Constraints: 50888
2796.95/2806.75 c #Conflicts: 1928000 | #Constraints: 52001
2796.95/2806.75 c #Conflicts: 1929000 | #Constraints: 53114
2796.95/2806.75 c #Conflicts: 1930000 | #Constraints: 54218
2796.95/2806.75 c #Conflicts: 1931000 | #Constraints: 55334
2796.95/2806.75 c #Conflicts: 1932000 | #Constraints: 56454
2796.95/2806.75 c #Conflicts: 1933000 | #Constraints: 57559
2796.95/2806.75 c #Conflicts: 1934000 | #Constraints: 58672
2796.95/2806.75 c #Conflicts: 1935000 | #Constraints: 59791
2796.95/2806.75 c #Conflicts: 1936000 | #Constraints: 60926
2796.95/2806.75 c #Conflicts: 1937000 | #Constraints: 62061
2796.95/2806.75 c INPROCESSING
2796.95/2806.75 c GARBAGE COLLECT
2796.95/2806.75 c #Conflicts: 1938000 | #Constraints: 32170
2796.95/2806.75 c #Conflicts: 1939000 | #Constraints: 33282
2796.95/2806.75 c #Conflicts: 1940000 | #Constraints: 34404
2796.95/2806.75 c #Conflicts: 1941000 | #Constraints: 35554
2796.95/2806.75 c #Conflicts: 1942000 | #Constraints: 36646
2796.95/2806.75 c #Conflicts: 1943000 | #Constraints: 37745
2796.95/2806.75 c #Conflicts: 1944000 | #Constraints: 38871
2796.95/2806.75 c #Conflicts: 1945000 | #Constraints: 40024
2796.95/2806.75 c #Conflicts: 1946000 | #Constraints: 41211
2796.95/2806.75 c #Conflicts: 1947000 | #Constraints: 42328
2796.95/2806.75 c #Conflicts: 1948000 | #Constraints: 43433
2796.95/2806.75 c #Conflicts: 1949000 | #Constraints: 44542
2796.95/2806.75 c #Conflicts: 1950000 | #Constraints: 45634
2796.95/2806.75 c #Conflicts: 1951000 | #Constraints: 46717
2796.95/2806.75 c #Conflicts: 1952000 | #Constraints: 47816
2796.95/2806.75 c #Conflicts: 1953000 | #Constraints: 48956
2796.95/2806.75 c #Conflicts: 1954000 | #Constraints: 50120
2796.95/2806.75 c #Conflicts: 1955000 | #Constraints: 51229
2796.95/2806.75 c #Conflicts: 1956000 | #Constraints: 52353
2796.95/2806.75 c #Conflicts: 1957000 | #Constraints: 53459
2796.95/2806.75 c #Conflicts: 1958000 | #Constraints: 54555
2796.95/2806.75 c #Conflicts: 1959000 | #Constraints: 55654
2796.95/2806.75 c #Conflicts: 1960000 | #Constraints: 56744
2796.95/2806.75 c #Conflicts: 1961000 | #Constraints: 57860
2796.95/2806.75 c #Conflicts: 1962000 | #Constraints: 58982
2796.95/2806.75 c #Conflicts: 1963000 | #Constraints: 60087
2796.95/2806.75 c #Conflicts: 1964000 | #Constraints: 61211
2796.95/2806.75 c #Conflicts: 1965000 | #Constraints: 62336
2796.95/2806.75 c INPROCESSING
2796.95/2806.75 c GARBAGE COLLECT
2796.95/2806.75 c #Conflicts: 1966000 | #Constraints: 32263
2796.95/2806.75 c #Conflicts: 1967000 | #Constraints: 33368
2796.95/2806.75 c #Conflicts: 1968000 | #Constraints: 34485
2796.95/2806.75 c #Conflicts: 1969000 | #Constraints: 35586
2796.95/2806.75 c #Conflicts: 1970000 | #Constraints: 36684
2796.95/2806.75 c #Conflicts: 1971000 | #Constraints: 37808
2796.95/2806.75 c #Conflicts: 1972000 | #Constraints: 38934
2796.95/2806.75 c #Conflicts: 1973000 | #Constraints: 40034
2796.95/2806.75 c #Conflicts: 1974000 | #Constraints: 41139
2796.95/2806.75 c #Conflicts: 1975000 | #Constraints: 42264
2796.95/2806.75 c #Conflicts: 1976000 | #Constraints: 43385
2796.95/2806.75 c #Conflicts: 1977000 | #Constraints: 44532
2796.95/2806.75 c #Conflicts: 1978000 | #Constraints: 45661
2796.95/2806.75 c #Conflicts: 1979000 | #Constraints: 46770
2796.95/2806.75 c #Conflicts: 1980000 | #Constraints: 47922
2796.95/2806.75 c #Conflicts: 1981000 | #Constraints: 49099
2796.95/2806.75 c #Conflicts: 1982000 | #Constraints: 50212
2796.95/2806.75 c #Conflicts: 1983000 | #Constraints: 51315
2796.95/2806.75 c #Conflicts: 1984000 | #Constraints: 52426
2796.95/2806.75 c #Conflicts: 1985000 | #Constraints: 53506
2796.95/2806.75 c #Conflicts: 1986000 | #Constraints: 54615
2796.95/2806.75 c #Conflicts: 1987000 | #Constraints: 55718
2796.95/2806.75 c #Conflicts: 1988000 | #Constraints: 56834
2796.95/2806.75 c #Conflicts: 1989000 | #Constraints: 57947
2796.95/2806.75 c #Conflicts: 1990000 | #Constraints: 59106
2796.95/2806.75 c #Conflicts: 1991000 | #Constraints: 60272
2796.95/2806.75 c #Conflicts: 1992000 | #Constraints: 61453
2796.95/2806.75 c #Conflicts: 1993000 | #Constraints: 62605
2796.95/2806.75 c INPROCESSING
2796.95/2806.75 c GARBAGE COLLECT
2796.95/2806.75 c #Conflicts: 1994000 | #Constraints: 32312
2796.95/2806.75 c #Conflicts: 1995000 | #Constraints: 33425
2796.95/2806.75 c #Conflicts: 1996000 | #Constraints: 34542
2796.95/2806.75 c #Conflicts: 1997000 | #Constraints: 35645
2796.95/2806.75 c #Conflicts: 1998000 | #Constraints: 36739
2796.95/2806.75 c #Conflicts: 1999000 | #Constraints: 37858
2796.95/2806.75 c #Conflicts: 2000000 | #Constraints: 38977
2796.95/2806.75 c #Conflicts: 2001000 | #Constraints: 40078
2796.95/2806.75 c #Conflicts: 2002000 | #Constraints: 41235
2796.95/2806.75 c #Conflicts: 2003000 | #Constraints: 42349
3007.79/3018.32 c #Conflicts: 2004000 | #Constraints: 43448
3007.79/3018.32 c #Conflicts: 2005000 | #Constraints: 44566
3007.79/3018.32 c #Conflicts: 2006000 | #Constraints: 45651
3007.79/3018.32 c #Conflicts: 2007000 | #Constraints: 46793
3007.79/3018.32 c #Conflicts: 2008000 | #Constraints: 47907
3007.79/3018.32 c #Conflicts: 2009000 | #Constraints: 48991
3007.79/3018.32 c #Conflicts: 2010000 | #Constraints: 50109
3007.79/3018.32 c #Conflicts: 2011000 | #Constraints: 51225
3007.79/3018.32 c #Conflicts: 2012000 | #Constraints: 52344
3007.79/3018.32 c #Conflicts: 2013000 | #Constraints: 53464
3007.79/3018.32 c #Conflicts: 2014000 | #Constraints: 54610
3007.79/3018.32 c #Conflicts: 2015000 | #Constraints: 55783
3007.79/3018.32 c #Conflicts: 2016000 | #Constraints: 56944
3007.79/3018.32 c #Conflicts: 2017000 | #Constraints: 58099
3007.79/3018.32 c #Conflicts: 2018000 | #Constraints: 59274
3007.79/3018.32 c #Conflicts: 2019000 | #Constraints: 60407
3007.79/3018.32 c #Conflicts: 2020000 | #Constraints: 61518
3007.79/3018.32 c #Conflicts: 2021000 | #Constraints: 62620
3007.79/3018.32 c INPROCESSING
3007.79/3018.32 c GARBAGE COLLECT
3007.79/3018.32 c #Conflicts: 2022000 | #Constraints: 32105
3007.79/3018.32 c #Conflicts: 2023000 | #Constraints: 33215
3007.79/3018.32 c #Conflicts: 2024000 | #Constraints: 34339
3007.79/3018.32 c #Conflicts: 2025000 | #Constraints: 35443
3007.79/3018.32 c #Conflicts: 2026000 | #Constraints: 36548
3007.79/3018.32 c #Conflicts: 2027000 | #Constraints: 37645
3007.79/3018.32 c #Conflicts: 2028000 | #Constraints: 38747
3007.79/3018.32 c #Conflicts: 2029000 | #Constraints: 39854
3007.79/3018.32 c #Conflicts: 2030000 | #Constraints: 40996
3007.79/3018.32 c #Conflicts: 2031000 | #Constraints: 42110
3007.79/3018.32 c #Conflicts: 2032000 | #Constraints: 43249
3007.79/3018.32 c #Conflicts: 2033000 | #Constraints: 44364
3007.79/3018.32 c #Conflicts: 2034000 | #Constraints: 45491
3007.79/3018.32 c #Conflicts: 2035000 | #Constraints: 46610
3007.79/3018.32 c #Conflicts: 2036000 | #Constraints: 47728
3007.79/3018.32 c #Conflicts: 2037000 | #Constraints: 48858
3007.79/3018.32 c #Conflicts: 2038000 | #Constraints: 49980
3007.79/3018.32 c #Conflicts: 2039000 | #Constraints: 51103
3007.79/3018.32 c #Conflicts: 2040000 | #Constraints: 52245
3007.79/3018.32 c #Conflicts: 2041000 | #Constraints: 53415
3007.79/3018.32 c #Conflicts: 2042000 | #Constraints: 54541
3007.79/3018.32 c #Conflicts: 2043000 | #Constraints: 55646
3007.79/3018.32 c #Conflicts: 2044000 | #Constraints: 56779
3007.79/3018.32 c #Conflicts: 2045000 | #Constraints: 57884
3007.79/3018.32 c #Conflicts: 2046000 | #Constraints: 58996
3007.79/3018.32 c #Conflicts: 2047000 | #Constraints: 60112
3007.79/3018.32 c #Conflicts: 2048000 | #Constraints: 61224
3007.79/3018.32 c #Conflicts: 2049000 | #Constraints: 62359
3007.79/3018.32 c #Conflicts: 2050000 | #Constraints: 63451
3007.79/3018.32 c INPROCESSING
3007.79/3018.32 c GARBAGE COLLECT
3007.79/3018.32 c #Conflicts: 2051000 | #Constraints: 32729
3007.79/3018.32 c #Conflicts: 2052000 | #Constraints: 33845
3007.79/3018.32 c #Conflicts: 2053000 | #Constraints: 34947
3007.79/3018.32 c #Conflicts: 2054000 | #Constraints: 36043
3007.79/3018.32 c #Conflicts: 2055000 | #Constraints: 37163
3007.79/3018.32 c #Conflicts: 2056000 | #Constraints: 38298
3007.79/3018.32 c #Conflicts: 2057000 | #Constraints: 39424
3007.79/3018.32 c #Conflicts: 2058000 | #Constraints: 40577
3007.79/3018.32 c #Conflicts: 2059000 | #Constraints: 41734
3007.79/3018.32 c #Conflicts: 2060000 | #Constraints: 42883
3007.79/3018.32 c #Conflicts: 2061000 | #Constraints: 44019
3007.79/3018.32 c #Conflicts: 2062000 | #Constraints: 45177
3007.79/3018.32 c #Conflicts: 2063000 | #Constraints: 46324
3007.79/3018.32 c #Conflicts: 2064000 | #Constraints: 47421
3007.79/3018.32 c #Conflicts: 2065000 | #Constraints: 48531
3007.79/3018.32 c #Conflicts: 2066000 | #Constraints: 49650
3007.79/3018.32 c #Conflicts: 2067000 | #Constraints: 50776
3007.79/3018.32 c #Conflicts: 2068000 | #Constraints: 51881
3007.79/3018.32 c #Conflicts: 2069000 | #Constraints: 52991
3007.79/3018.32 c #Conflicts: 2070000 | #Constraints: 54100
3007.79/3018.32 c #Conflicts: 2071000 | #Constraints: 55226
3007.79/3018.32 c #Conflicts: 2072000 | #Constraints: 56364
3007.79/3018.32 c #Conflicts: 2073000 | #Constraints: 57481
3007.79/3018.32 c #Conflicts: 2074000 | #Constraints: 58594
3007.79/3018.32 c #Conflicts: 2075000 | #Constraints: 59700
3007.79/3018.32 c #Conflicts: 2076000 | #Constraints: 60790
3007.79/3018.32 c #Conflicts: 2077000 | #Constraints: 61893
3007.79/3018.32 c #Conflicts: 2078000 | #Constraints: 62993
3007.79/3018.32 c #Conflicts: 2079000 | #Constraints: 64110
3007.79/3018.32 c INPROCESSING
3007.79/3018.32 c GARBAGE COLLECT
3007.79/3018.32 c #Conflicts: 2080000 | #Constraints: 33164
3186.22/3197.43 c #Conflicts: 2081000 | #Constraints: 34268
3186.22/3197.43 c #Conflicts: 2082000 | #Constraints: 35378
3186.22/3197.43 c #Conflicts: 2083000 | #Constraints: 36498
3186.22/3197.43 c #Conflicts: 2084000 | #Constraints: 37610
3186.22/3197.43 c #Conflicts: 2085000 | #Constraints: 38742
3186.22/3197.43 c #Conflicts: 2086000 | #Constraints: 39910
3186.22/3197.43 c #Conflicts: 2087000 | #Constraints: 41063
3186.22/3197.43 c #Conflicts: 2088000 | #Constraints: 42211
3186.22/3197.43 c #Conflicts: 2089000 | #Constraints: 43335
3186.22/3197.43 c #Conflicts: 2090000 | #Constraints: 44450
3186.22/3197.43 c #Conflicts: 2091000 | #Constraints: 45605
3186.22/3197.43 c #Conflicts: 2092000 | #Constraints: 46739
3186.22/3197.43 c #Conflicts: 2093000 | #Constraints: 47882
3186.22/3197.43 c #Conflicts: 2094000 | #Constraints: 49015
3186.22/3197.43 c #Conflicts: 2095000 | #Constraints: 50172
3186.22/3197.43 c #Conflicts: 2096000 | #Constraints: 51339
3186.22/3197.43 c #Conflicts: 2097000 | #Constraints: 52502
3186.22/3197.43 c #Conflicts: 2098000 | #Constraints: 53656
3186.22/3197.43 c #Conflicts: 2099000 | #Constraints: 54843
3186.22/3197.43 c #Conflicts: 2100000 | #Constraints: 55983
3186.22/3197.43 c #Conflicts: 2101000 | #Constraints: 57103
3186.22/3197.43 c #Conflicts: 2102000 | #Constraints: 58239
3186.22/3197.43 c #Conflicts: 2103000 | #Constraints: 59397
3186.22/3197.43 c #Conflicts: 2104000 | #Constraints: 60548
3186.22/3197.43 c #Conflicts: 2105000 | #Constraints: 61684
3186.22/3197.43 c #Conflicts: 2106000 | #Constraints: 62822
3186.22/3197.43 c #Conflicts: 2107000 | #Constraints: 63953
3186.22/3197.43 c #Conflicts: 2108000 | #Constraints: 65094
3186.22/3197.43 c INPROCESSING
3186.22/3197.43 c GARBAGE COLLECT
3186.22/3197.43 c #Conflicts: 2109000 | #Constraints: 33698
3186.22/3197.43 c #Conflicts: 2110000 | #Constraints: 34814
3186.22/3197.43 c #Conflicts: 2111000 | #Constraints: 35968
3186.22/3197.43 c #Conflicts: 2112000 | #Constraints: 37113
3186.22/3197.43 c #Conflicts: 2113000 | #Constraints: 38239
3186.22/3197.43 c #Conflicts: 2114000 | #Constraints: 39366
3186.22/3197.43 c #Conflicts: 2115000 | #Constraints: 40526
3186.22/3197.43 c #Conflicts: 2116000 | #Constraints: 41699
3186.22/3197.43 c #Conflicts: 2117000 | #Constraints: 42843
3186.22/3197.43 c #Conflicts: 2118000 | #Constraints: 44005
3186.22/3197.43 c #Conflicts: 2119000 | #Constraints: 45161
3186.22/3197.43 c #Conflicts: 2120000 | #Constraints: 46291
3186.22/3197.43 c #Conflicts: 2121000 | #Constraints: 47451
3186.22/3197.43 c #Conflicts: 2122000 | #Constraints: 48559
3186.22/3197.43 c #Conflicts: 2123000 | #Constraints: 49651
3186.22/3197.43 c #Conflicts: 2124000 | #Constraints: 50761
3186.22/3197.43 c #Conflicts: 2125000 | #Constraints: 51885
3186.22/3197.43 c #Conflicts: 2126000 | #Constraints: 53028
3186.22/3197.43 c #Conflicts: 2127000 | #Constraints: 54170
3186.22/3197.43 c #Conflicts: 2128000 | #Constraints: 55288
3186.22/3197.43 c #Conflicts: 2129000 | #Constraints: 56420
3186.22/3197.43 c #Conflicts: 2130000 | #Constraints: 57543
3186.22/3197.43 c #Conflicts: 2131000 | #Constraints: 58662
3186.22/3197.43 c #Conflicts: 2132000 | #Constraints: 59825
3186.22/3197.43 c #Conflicts: 2133000 | #Constraints: 60950
3186.22/3197.43 c #Conflicts: 2134000 | #Constraints: 62113
3186.22/3197.43 c #Conflicts: 2135000 | #Constraints: 63251
3186.22/3197.43 c #Conflicts: 2136000 | #Constraints: 64380
3186.22/3197.43 c #Conflicts: 2137000 | #Constraints: 65523
3186.22/3197.43 c INPROCESSING
3186.22/3197.43 c GARBAGE COLLECT
3186.22/3197.43 c #Conflicts: 2138000 | #Constraints: 33765
3186.22/3197.43 c #Conflicts: 2139000 | #Constraints: 34898
3186.22/3197.43 c #Conflicts: 2140000 | #Constraints: 36010
3186.22/3197.43 c #Conflicts: 2141000 | #Constraints: 37127
3186.22/3197.43 c #Conflicts: 2142000 | #Constraints: 38248
3186.22/3197.43 c #Conflicts: 2143000 | #Constraints: 39371
3186.22/3197.43 c #Conflicts: 2144000 | #Constraints: 40518
3186.22/3197.43 c #Conflicts: 2145000 | #Constraints: 41655
3186.22/3197.43 c #Conflicts: 2146000 | #Constraints: 42805
3186.22/3197.43 c #Conflicts: 2147000 | #Constraints: 43967
3186.22/3197.43 c #Conflicts: 2148000 | #Constraints: 45146
3186.22/3197.43 c #Conflicts: 2149000 | #Constraints: 46282
3186.22/3197.43 c #Conflicts: 2150000 | #Constraints: 47435
3186.22/3197.43 c #Conflicts: 2151000 | #Constraints: 48583
3186.22/3197.43 c #Conflicts: 2152000 | #Constraints: 49728
3186.22/3197.43 c #Conflicts: 2153000 | #Constraints: 50921
3186.22/3197.43 c #Conflicts: 2154000 | #Constraints: 52029
3186.22/3197.43 c #Conflicts: 2155000 | #Constraints: 53179
3186.22/3197.43 c #Conflicts: 2156000 | #Constraints: 54288
3186.22/3197.43 c #Conflicts: 2157000 | #Constraints: 55389
3186.22/3197.43 c #Conflicts: 2158000 | #Constraints: 56519
3324.68/3336.38 c #Conflicts: 2159000 | #Constraints: 57644
3324.68/3336.38 c #Conflicts: 2160000 | #Constraints: 58760
3324.68/3336.38 c #Conflicts: 2161000 | #Constraints: 59860
3324.68/3336.38 c #Conflicts: 2162000 | #Constraints: 60954
3324.68/3336.38 c #Conflicts: 2163000 | #Constraints: 62045
3324.68/3336.38 c #Conflicts: 2164000 | #Constraints: 63142
3324.68/3336.38 c #Conflicts: 2165000 | #Constraints: 64242
3324.68/3336.38 c #Conflicts: 2166000 | #Constraints: 65369
3324.68/3336.38 c INPROCESSING
3324.68/3336.38 c GARBAGE COLLECT
3324.68/3336.38 c #Conflicts: 2167000 | #Constraints: 33457
3324.68/3336.38 c #Conflicts: 2168000 | #Constraints: 34565
3324.68/3336.38 c #Conflicts: 2169000 | #Constraints: 35694
3324.68/3336.38 c #Conflicts: 2170000 | #Constraints: 36802
3324.68/3336.38 c #Conflicts: 2171000 | #Constraints: 37927
3324.68/3336.38 c #Conflicts: 2172000 | #Constraints: 39065
3324.68/3336.38 c #Conflicts: 2173000 | #Constraints: 40191
3324.68/3336.38 c #Conflicts: 2174000 | #Constraints: 41314
3324.68/3336.38 c #Conflicts: 2175000 | #Constraints: 42452
3324.68/3336.38 c #Conflicts: 2176000 | #Constraints: 43569
3324.68/3336.38 c #Conflicts: 2177000 | #Constraints: 44679
3324.68/3336.38 c #Conflicts: 2178000 | #Constraints: 45705
3324.68/3336.38 c #Conflicts: 2179000 | #Constraints: 46852
3324.68/3336.38 c #Conflicts: 2180000 | #Constraints: 47970
3324.68/3336.38 c #Conflicts: 2181000 | #Constraints: 49081
3324.68/3336.38 c #Conflicts: 2182000 | #Constraints: 50219
3324.68/3336.38 c #Conflicts: 2183000 | #Constraints: 51338
3324.68/3336.38 c #Conflicts: 2184000 | #Constraints: 52464
3324.68/3336.38 c #Conflicts: 2185000 | #Constraints: 53616
3324.68/3336.38 c #Conflicts: 2186000 | #Constraints: 54744
3324.68/3336.38 c #Conflicts: 2187000 | #Constraints: 55861
3324.68/3336.38 c #Conflicts: 2188000 | #Constraints: 56982
3324.68/3336.38 c #Conflicts: 2189000 | #Constraints: 58109
3324.68/3336.38 c #Conflicts: 2190000 | #Constraints: 59212
3324.68/3336.38 c #Conflicts: 2191000 | #Constraints: 60331
3324.68/3336.38 c #Conflicts: 2192000 | #Constraints: 61437
3324.68/3336.38 c #Conflicts: 2193000 | #Constraints: 62538
3324.68/3336.38 c #Conflicts: 2194000 | #Constraints: 63629
3324.68/3336.38 c #Conflicts: 2195000 | #Constraints: 64741
3324.68/3336.38 c #Conflicts: 2196000 | #Constraints: 65868
3324.68/3336.38 c INPROCESSING
3324.68/3336.38 c GARBAGE COLLECT
3324.68/3336.38 c #Conflicts: 2197000 | #Constraints: 33961
3324.68/3336.38 c #Conflicts: 2198000 | #Constraints: 35136
3324.68/3336.38 c #Conflicts: 2199000 | #Constraints: 36267
3324.68/3336.38 c #Conflicts: 2200000 | #Constraints: 37440
3324.68/3336.38 c #Conflicts: 2201000 | #Constraints: 38573
3324.68/3336.38 c #Conflicts: 2202000 | #Constraints: 39711
3324.68/3336.38 c #Conflicts: 2203000 | #Constraints: 40828
3324.68/3336.38 c #Conflicts: 2204000 | #Constraints: 41974
3324.68/3336.38 c #Conflicts: 2205000 | #Constraints: 43107
3324.68/3336.38 c #Conflicts: 2206000 | #Constraints: 44230
3324.68/3336.38 c #Conflicts: 2207000 | #Constraints: 45385
3324.68/3336.38 c #Conflicts: 2208000 | #Constraints: 46570
3324.68/3336.38 c #Conflicts: 2209000 | #Constraints: 47727
3324.68/3336.38 c #Conflicts: 2210000 | #Constraints: 48867
3324.68/3336.38 c #Conflicts: 2211000 | #Constraints: 49997
3324.68/3336.38 c #Conflicts: 2212000 | #Constraints: 51136
3324.68/3336.38 c #Conflicts: 2213000 | #Constraints: 52279
3324.68/3336.38 c #Conflicts: 2214000 | #Constraints: 53421
3324.68/3336.38 c #Conflicts: 2215000 | #Constraints: 54580
3324.68/3336.38 c #Conflicts: 2216000 | #Constraints: 55718
3324.68/3336.38 c #Conflicts: 2217000 | #Constraints: 56857
3324.68/3336.38 c #Conflicts: 2218000 | #Constraints: 57997
3324.68/3336.38 c #Conflicts: 2219000 | #Constraints: 59123
3324.68/3336.38 c #Conflicts: 2220000 | #Constraints: 60268
3324.68/3336.38 c #Conflicts: 2221000 | #Constraints: 61399
3324.68/3336.38 c #Conflicts: 2222000 | #Constraints: 62528
3324.68/3336.38 c #Conflicts: 2223000 | #Constraints: 63678
3324.68/3336.38 c #Conflicts: 2224000 | #Constraints: 64829
3324.68/3336.38 c #Conflicts: 2225000 | #Constraints: 65979
3324.68/3336.38 c #Conflicts: 2226000 | #Constraints: 67125
3324.68/3336.38 c INPROCESSING
3324.68/3336.38 c GARBAGE COLLECT
3324.68/3336.38 c #Conflicts: 2227000 | #Constraints: 34684
3324.68/3336.38 c #Conflicts: 2228000 | #Constraints: 35792
3324.68/3336.38 c #Conflicts: 2229000 | #Constraints: 36888
3324.68/3336.38 c #Conflicts: 2230000 | #Constraints: 37973
3324.68/3336.38 c #Conflicts: 2231000 | #Constraints: 39077
3324.68/3336.38 c #Conflicts: 2232000 | #Constraints: 40171
3324.68/3336.38 c #Conflicts: 2233000 | #Constraints: 41281
3324.68/3336.38 c #Conflicts: 2234000 | #Constraints: 42369
3478.39/3490.47 c #Conflicts: 2235000 | #Constraints: 43474
3478.39/3490.47 c #Conflicts: 2236000 | #Constraints: 44572
3478.39/3490.47 c #Conflicts: 2237000 | #Constraints: 45704
3478.39/3490.47 c #Conflicts: 2238000 | #Constraints: 46808
3478.39/3490.47 c #Conflicts: 2239000 | #Constraints: 47911
3478.39/3490.47 c #Conflicts: 2240000 | #Constraints: 49020
3478.39/3490.47 c #Conflicts: 2241000 | #Constraints: 50116
3478.39/3490.47 c #Conflicts: 2242000 | #Constraints: 51203
3478.39/3490.47 c #Conflicts: 2243000 | #Constraints: 52303
3478.39/3490.47 c #Conflicts: 2244000 | #Constraints: 53417
3478.39/3490.47 c #Conflicts: 2245000 | #Constraints: 54533
3478.39/3490.47 c #Conflicts: 2246000 | #Constraints: 55631
3478.39/3490.47 c #Conflicts: 2247000 | #Constraints: 56740
3478.39/3490.47 c #Conflicts: 2248000 | #Constraints: 57827
3478.39/3490.47 c #Conflicts: 2249000 | #Constraints: 58923
3478.39/3490.47 c #Conflicts: 2250000 | #Constraints: 60046
3478.39/3490.47 c #Conflicts: 2251000 | #Constraints: 61164
3478.39/3490.47 c #Conflicts: 2252000 | #Constraints: 62278
3478.39/3490.47 c #Conflicts: 2253000 | #Constraints: 63367
3478.39/3490.47 c #Conflicts: 2254000 | #Constraints: 64466
3478.39/3490.47 c #Conflicts: 2255000 | #Constraints: 65570
3478.39/3490.47 c #Conflicts: 2256000 | #Constraints: 66663
3478.39/3490.47 c INPROCESSING
3478.39/3490.47 c GARBAGE COLLECT
3478.39/3490.47 c #Conflicts: 2257000 | #Constraints: 34448
3478.39/3490.47 c #Conflicts: 2258000 | #Constraints: 35551
3478.39/3490.47 c #Conflicts: 2259000 | #Constraints: 36666
3478.39/3490.47 c #Conflicts: 2260000 | #Constraints: 37771
3478.39/3490.47 c #Conflicts: 2261000 | #Constraints: 38868
3478.39/3490.47 c #Conflicts: 2262000 | #Constraints: 39979
3478.39/3490.47 c #Conflicts: 2263000 | #Constraints: 41082
3478.39/3490.47 c #Conflicts: 2264000 | #Constraints: 42170
3478.39/3490.47 c #Conflicts: 2265000 | #Constraints: 43264
3478.39/3490.47 c #Conflicts: 2266000 | #Constraints: 44368
3478.39/3490.47 c #Conflicts: 2267000 | #Constraints: 45470
3478.39/3490.47 c #Conflicts: 2268000 | #Constraints: 46580
3478.39/3490.47 c #Conflicts: 2269000 | #Constraints: 47688
3478.39/3490.47 c #Conflicts: 2270000 | #Constraints: 48794
3478.39/3490.47 c #Conflicts: 2271000 | #Constraints: 49909
3478.39/3490.47 c #Conflicts: 2272000 | #Constraints: 51013
3478.39/3490.47 c #Conflicts: 2273000 | #Constraints: 52124
3478.39/3490.47 c #Conflicts: 2274000 | #Constraints: 53229
3478.39/3490.47 c #Conflicts: 2275000 | #Constraints: 54369
3478.39/3490.47 c #Conflicts: 2276000 | #Constraints: 55479
3478.39/3490.47 c #Conflicts: 2277000 | #Constraints: 56575
3478.39/3490.47 c #Conflicts: 2278000 | #Constraints: 57693
3478.39/3490.47 c #Conflicts: 2279000 | #Constraints: 58823
3478.39/3490.47 c #Conflicts: 2280000 | #Constraints: 59919
3478.39/3490.47 c #Conflicts: 2281000 | #Constraints: 61049
3478.39/3490.47 c #Conflicts: 2282000 | #Constraints: 62153
3478.39/3490.47 c #Conflicts: 2283000 | #Constraints: 63253
3478.39/3490.47 c #Conflicts: 2284000 | #Constraints: 64369
3478.39/3490.47 c #Conflicts: 2285000 | #Constraints: 65481
3478.39/3490.47 c #Conflicts: 2286000 | #Constraints: 66593
3478.39/3490.47 c INPROCESSING
3478.39/3490.47 c GARBAGE COLLECT
3478.39/3490.47 c #Conflicts: 2287000 | #Constraints: 34276
3478.39/3490.47 c #Conflicts: 2288000 | #Constraints: 35401
3478.39/3490.47 c #Conflicts: 2289000 | #Constraints: 36502
3478.39/3490.47 c #Conflicts: 2290000 | #Constraints: 37585
3478.39/3490.47 c #Conflicts: 2291000 | #Constraints: 38683
3478.39/3490.47 c #Conflicts: 2292000 | #Constraints: 39787
3478.39/3490.47 c #Conflicts: 2293000 | #Constraints: 40885
3478.39/3490.47 c #Conflicts: 2294000 | #Constraints: 41984
3478.39/3490.47 c #Conflicts: 2295000 | #Constraints: 43099
3478.39/3490.47 c #Conflicts: 2296000 | #Constraints: 44217
3478.39/3490.47 c #Conflicts: 2297000 | #Constraints: 45312
3478.39/3490.47 c #Conflicts: 2298000 | #Constraints: 46424
3478.39/3490.47 c #Conflicts: 2299000 | #Constraints: 47550
3478.39/3490.47 c #Conflicts: 2300000 | #Constraints: 48650
3478.39/3490.47 c #Conflicts: 2301000 | #Constraints: 49801
3478.39/3490.47 c #Conflicts: 2302000 | #Constraints: 50943
3478.39/3490.47 c #Conflicts: 2303000 | #Constraints: 52060
3478.39/3490.47 c #Conflicts: 2304000 | #Constraints: 53194
3478.39/3490.47 c #Conflicts: 2305000 | #Constraints: 54295
3478.39/3490.47 c #Conflicts: 2306000 | #Constraints: 55422
3478.39/3490.47 c #Conflicts: 2307000 | #Constraints: 56546
3478.39/3490.47 c #Conflicts: 2308000 | #Constraints: 57669
3478.39/3490.47 c #Conflicts: 2309000 | #Constraints: 58767
3478.39/3490.47 c #Conflicts: 2310000 | #Constraints: 59881
3478.39/3490.47 c #Conflicts: 2311000 | #Constraints: 60998
3478.39/3490.47 c #Conflicts: 2312000 | #Constraints: 62100
3600.02/3612.40 c #Conflicts: 2313000 | #Constraints: 63215
3600.02/3612.40 c #Conflicts: 2314000 | #Constraints: 64333
3600.02/3612.40 c #Conflicts: 2315000 | #Constraints: 65453
3600.02/3612.40 c #Conflicts: 2316000 | #Constraints: 66571
3600.02/3612.40 c INPROCESSING
3600.02/3612.40 c GARBAGE COLLECT
3600.02/3612.40 c #Conflicts: 2317000 | #Constraints: 34092
3600.02/3612.40 c #Conflicts: 2318000 | #Constraints: 35265
3600.02/3612.40 c #Conflicts: 2319000 | #Constraints: 36435
3600.02/3612.40 c #Conflicts: 2320000 | #Constraints: 37629
3600.02/3612.40 c #Conflicts: 2321000 | #Constraints: 38816
3600.02/3612.40 c #Conflicts: 2322000 | #Constraints: 40010
3600.02/3612.40 c #Conflicts: 2323000 | #Constraints: 41213
3600.02/3612.40 c #Conflicts: 2324000 | #Constraints: 42383
3600.02/3612.40 c #Conflicts: 2325000 | #Constraints: 43568
3600.02/3612.40 c #Conflicts: 2326000 | #Constraints: 44738
3600.02/3612.40 c #Conflicts: 2327000 | #Constraints: 45878
3600.02/3612.40 c #Conflicts: 2328000 | #Constraints: 47036
3600.02/3612.40 c #Conflicts: 2329000 | #Constraints: 48152
3600.02/3612.40 c #Conflicts: 2330000 | #Constraints: 49274
3600.02/3612.40 c #Conflicts: 2331000 | #Constraints: 50404
3600.02/3612.40 c #Conflicts: 2332000 | #Constraints: 51547
3600.02/3612.40 c #Conflicts: 2333000 | #Constraints: 52702
3600.02/3612.40 c #Conflicts: 2334000 | #Constraints: 53870
3600.02/3612.40 c #Conflicts: 2335000 | #Constraints: 55015
3600.02/3612.40 c #Conflicts: 2336000 | #Constraints: 56167
3600.02/3612.40 c #Conflicts: 2337000 | #Constraints: 57306
3600.02/3612.40 c #Conflicts: 2338000 | #Constraints: 58455
3600.02/3612.40 c #Conflicts: 2339000 | #Constraints: 59605
3600.02/3612.40 c #Conflicts: 2340000 | #Constraints: 60770
3600.02/3612.40 c #Conflicts: 2341000 | #Constraints: 61939
3600.02/3612.40 c #Conflicts: 2342000 | #Constraints: 63087
3600.02/3612.40 c #Conflicts: 2343000 | #Constraints: 64202
3600.02/3612.40 c #Conflicts: 2344000 | #Constraints: 65337
3600.02/3612.40 c #Conflicts: 2345000 | #Constraints: 66483
3600.02/3612.40 c #Conflicts: 2346000 | #Constraints: 67636
3600.02/3612.40 c #Conflicts: 2347000 | #Constraints: 68774
3600.02/3612.40 c INPROCESSING
3600.02/3612.40 c GARBAGE COLLECT
3600.02/3612.40 c #Conflicts: 2348000 | #Constraints: 35392
3600.02/3612.40 c #Conflicts: 2349000 | #Constraints: 36506
3600.02/3612.40 c #Conflicts: 2350000 | #Constraints: 37624
3600.02/3612.40 c #Conflicts: 2351000 | #Constraints: 38723
3600.02/3612.40 c #Conflicts: 2352000 | #Constraints: 39829
3600.02/3612.40 c #Conflicts: 2353000 | #Constraints: 40945
3600.02/3612.40 c #Conflicts: 2354000 | #Constraints: 42040
3600.02/3612.40 c #Conflicts: 2355000 | #Constraints: 43177
3600.02/3612.40 c #Conflicts: 2356000 | #Constraints: 44268
3600.02/3612.40 c #Conflicts: 2357000 | #Constraints: 45352
3600.02/3612.40 c #Conflicts: 2358000 | #Constraints: 46482
3600.02/3612.40 c #Conflicts: 2359000 | #Constraints: 47628
3600.02/3612.40 c #Conflicts: 2360000 | #Constraints: 48746
3600.02/3612.40 c #Conflicts: 2361000 | #Constraints: 49876
3600.02/3612.40 c #Conflicts: 2362000 | #Constraints: 50992
3600.02/3612.40 c #Conflicts: 2363000 | #Constraints: 52089
3600.02/3612.40 c #Conflicts: 2364000 | #Constraints: 53184
3600.02/3612.40 c #Conflicts: 2365000 | #Constraints: 54305
3600.02/3612.40 c #Conflicts: 2366000 | #Constraints: 55429
3600.02/3612.40 c #Conflicts: 2367000 | #Constraints: 56568
3600.02/3612.40 c #Conflicts: 2368000 | #Constraints: 57703
3600.02/3612.40 c #Conflicts: 2369000 | #Constraints: 58855
3600.02/3612.40 c #Conflicts: 2370000 | #Constraints: 59985
3600.02/3612.40 c #Conflicts: 2371000 | #Constraints: 61111
3600.02/3612.40 c #Conflicts: 2372000 | #Constraints: 62224
3600.02/3612.40 c #Conflicts: 2373000 | #Constraints: 63347
3600.02/3612.40 c #Conflicts: 2374000 | #Constraints: 64465
3600.02/3612.40 c #Conflicts: 2375000 | #Constraints: 65592
3600.02/3612.40 c #Conflicts: 2376000 | #Constraints: 66725
3600.02/3612.40 c #Conflicts: 2377000 | #Constraints: 67835
3600.02/3612.40 c cpu time 3584.87 s
3600.02/3612.40 c deterministic time 519461396457 5.19e+11
3600.02/3612.40 c optimization time 55.6025 s
3600.02/3612.40 c total solve time 3529.27 s
3600.02/3612.40 c core-guided solve time 0 s
3600.02/3612.40 c propagation time 3332.66 s
3600.02/3612.40 c conflict analysis time 229.533 s
3600.02/3612.40 c propagations 14673471
3600.02/3612.40 c resolve steps 7554589
3600.02/3612.40 c decisions 3125065
3600.02/3612.40 c conflicts 2377687
3600.02/3612.40 c restarts 4094
3600.02/3612.40 c inprocessing phases 144
3600.02/3612.40 c garbage collections 144 ,( 100.00 )
3600.02/3612.40 c input clauses 0 ,( 0.00 )
3600.02/3612.40 c input cardinalities 0 ,( 0.00 )
3600.02/3612.40 c input general constraints 2 ,( 100.00 )
3600.02/3612.40 c input average constraint length 52.00
3600.02/3612.40 c input average constraint degree 36188387.00
3600.02/3612.40 c learned clauses 1518075 ,( 58.24 )
3600.02/3612.40 c learned cardinalities 216 ,( 0.01 )
3600.02/3612.40 c learned general constraints 1088183 ,( 41.75 )
3600.02/3612.40 c learned average constraint length 37.93
3600.02/3612.40 c learned average constraint degree 68876518.43
3600.02/3612.40 c watched CF 32, 64, 128, Arb: 640819 , 0 , 0 , 0
3600.02/3612.40 c counting CF 32, 64, 128, Arb: 447366 , 0 , 0 , 0
3600.02/3612.40 c watched constraints 640819 ,( 58.89 )
3600.02/3612.40 c counting constraints 447366 ,( 41.11 )
3600.02/3612.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 129376186 , 49023 , 69823725973 ,( 2317302668 , 67506423305 )
3600.02/3612.40 c gcd simplifications 1569856
3600.02/3612.40 c detected cardinalities 215
3600.02/3612.40 c weakened non-implied lits 7679178
3600.02/3612.40 c weakened non-implying lits 3599558
3600.02/3612.40 c original variables 52
3600.02/3612.40 c clausal propagations 470003
3600.02/3612.40 c cardinality propagations 3
3600.02/3612.40 c watched propagations 1348876
3600.02/3612.40 c counting propagations 10210060
3600.02/3612.40 c watch lookups 80527447176
3600.02/3612.40 c watch backjump lookups 0
3600.02/3612.40 c watch checks 16552259037
3600.02/3612.40 c propagation checks 421884409858
3600.02/3612.40 c constraint additions 459066429
3600.02/3612.40 c trail pops 20176171
3600.02/3612.40 c formula constraints 2
3600.02/3612.40 c learned constraints 2377686
3600.02/3612.40 c bound constraints 0
3600.02/3612.40 c core-guided constraints 0
3600.02/3612.40 c encountered formula constraints 6088965
3600.02/3612.40 c encountered learned constraints 3842838
3600.02/3612.40 c encountered bound constraints 0
3600.02/3612.40 c encountered core-guided constraints 0
3600.02/3612.40 c LP total time 23.369 s
3600.02/3612.40 c LP solve time 12.31 s
3600.02/3612.40 c LP constraints added 135
3600.02/3612.40 c LP constraints removed 130
3600.02/3612.40 c LP pivots internal 237770
3600.02/3612.40 c LP pivots root 1479
3600.02/3612.40 c LP calls 254012
3600.02/3612.40 c LP optimalities 24457
3600.02/3612.40 c LP no pivot count 3165
3600.02/3612.40 c LP infeasibilities 229077
3600.02/3612.40 c LP valid Farkas constraints 228717
3600.02/3612.40 c LP learned Farkas constraints 0
3600.02/3612.40 c LP basis resets 478
3600.02/3612.40 c LP cycling count 471
3600.02/3612.40 c LP singular count 3
3600.02/3612.40 c LP no primal count 0
3600.02/3612.40 c LP no farkas count 0
3600.02/3612.40 c LP other issue count 4
3600.02/3612.40 c LP Gomory cuts 71
3600.02/3612.40 c LP learned cuts 62
3600.02/3612.40 c LP deleted cuts 130
3600.02/3612.40 c LP encountered Gomory constraints 2
3600.02/3612.40 c LP encountered Farkas constraints 471
3600.02/3612.40 c LP encountered learned Farkas constraints 0
3600.02/3612.40 c CG auxiliary variables introduced 0
3600.02/3612.40 c CG solutions found 0
3600.02/3612.40 c CG cores constructed 0
3600.02/3612.40 c CG core cardinality constraints returned 0
3600.02/3612.40 c CG unit cores 0
3600.02/3612.40 c CG single cores 0
3600.02/3612.40 c CG blocks removed during cardinality reduction 0
3600.02/3612.40 c CG first core best 0
3600.02/3612.40 c CG decision core best 0
3600.02/3612.40 c CG core reduction tie 0
3600.02/3612.40 c CG core degree average 0.00
3600.02/3612.40 c CG core slack average 0.00
3600.02/3612.40 c CG core upper bound improvements 0
3600.02/3612.40 c STR number of successful calls 0
3600.02/3612.40 c STR number of unsuccessful calls 0
3600.02/3612.40 c STR number of inconclusive calls 0
3600.02/3612.40 c STR number of successful attempts 0
3600.02/3612.40 c STR number of unsuccessful attempts 0
3600.02/3612.40 c STR number of inconclusive attempts 0
3600.02/3612.40 c STR average degree increase per successful call inf
3600.02/3612.40 c STR average degree increase per successful attempt inf
3600.02/3612.40 c STR total number of conflicts for successful attempts 0
3600.02/3612.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3612.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3612.40 c STR average number of conflicts per successful attempt inf
3600.02/3612.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3612.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3612.40 c AVG.sumWPerc 46.35
3600.02/3612.40 c bigint constraints 0
3600.02/3612.40 s UNKNOWN
3600.02/3612.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63018 MiB free)
memory of node 1: 64465 MiB (63770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496074-1751154350/watcher-4496074-1751154350 -o /tmp/evaluation-result-4496074-1751154350/solver-4496074-1751154350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16318 --watchdog 3760 run-dec-ls.sh HOME/instance-4496074-1751154350.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20803, runsolver pid=20800
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.16 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831408/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=56216 memory=13064 CPUtime=0.08 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 630 0 0 0 8 0 0 0 20 0 1 0 31113472 57565184 3266 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 14054 3266 2368 1147 0 1481 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60408 KiB
Current children cumulated memory: 16136 KiB
[startup+0.205819 s]*
/proc/loadavg: 4.16 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831660/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=56736 memory=13448 CPUtime=0.19 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 737 0 0 0 18 1 0 0 20 0 1 0 31113472 58097664 3362 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 14184 3362 2368 1147 0 1611 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60928 KiB
Current children cumulated memory: 16520 KiB
[startup+0.305146 s]*
/proc/loadavg: 4.16 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831660/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=56880 memory=13704 CPUtime=0.29 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 795 0 0 0 28 1 0 0 20 0 1 0 31113472 58245120 3426 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 14220 3426 2368 1147 0 1647 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61072 KiB
Current children cumulated memory: 16776 KiB
[startup+0.700142 s]
/proc/loadavg: 4.16 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831660/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=57824 memory=14472 CPUtime=0.67 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 977 0 0 0 64 3 0 0 20 0 1 0 31113472 59211776 3618 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 14456 3618 2368 1147 0 1883 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62016 KiB
Current children cumulated memory: 17544 KiB
[startup+1.50014 s]
/proc/loadavg: 4.16 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831660/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=58560 memory=15240 CPUtime=1.48 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 1163 0 0 0 142 6 0 0 20 0 1 0 31113472 59965440 3810 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 14640 3810 2368 1147 0 2067 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62752 KiB
Current children cumulated memory: 18312 KiB
[startup+3.1054 s]
/proc/loadavg: 4.15 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831664/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=59584 memory=16136 CPUtime=3.08 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 1383 0 0 0 297 11 0 0 20 0 1 0 31113472 61014016 4034 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 14896 4034 2368 1147 0 2323 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63776 KiB
Current children cumulated memory: 19208 KiB
[startup+6.30015 s]
/proc/loadavg: 4.15 4.19 4.14 5/269 20805
/proc/meminfo: memFree=129831468/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=61284 memory=19448 CPUtime=6.26 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 1720 0 0 0 603 23 0 0 20 0 1 0 31113472 62754816 4862 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 15321 4862 2368 1147 0 2748 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65476 KiB
Current children cumulated memory: 22520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.18 4.14 5/269 20805
/proc/meminfo: memFree=129831216/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=62728 memory=20600 CPUtime=12.65 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 2019 0 0 0 1229 36 0 0 20 0 1 0 31113472 64233472 5150 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 15682 5150 2368 1147 0 3109 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 66920 KiB
Current children cumulated memory: 23672 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.17 4.14 5/269 20806
/proc/meminfo: memFree=129831984/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=64032 memory=22008 CPUtime=25.42 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 2347 0 0 0 2486 56 0 0 20 0 1 0 31113472 65568768 5502 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 16008 5502 2368 1147 0 3435 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 68224 KiB
Current children cumulated memory: 25080 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.17 4.14 5/268 20806
/proc/meminfo: memFree=129819320/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=71584 memory=26104 CPUtime=50.95 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 3848 0 0 0 5009 86 0 0 20 0 1 0 31113472 73302016 6526 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 17896 6526 2368 1147 0 5323 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 75776 KiB
Current children cumulated memory: 29176 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/267 20812
/proc/meminfo: memFree=129811108/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=79380 memory=33496 CPUtime=102 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 5490 0 0 0 10063 137 0 0 20 0 1 0 31113472 81285120 8374 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 19845 8374 2432 1147 0 7272 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 83572 KiB
Current children cumulated memory: 36568 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/268 20815
/proc/meminfo: memFree=129820088/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=79764 memory=34008 CPUtime=161.83 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 5654 0 0 0 15994 189 0 0 20 0 1 0 31113472 81678336 8502 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 19941 8502 2432 1147 0 7368 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 83956 KiB
Current children cumulated memory: 37080 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/267 20817
/proc/meminfo: memFree=129812100/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=80800 memory=35128 CPUtime=221.63 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 5993 0 0 0 21933 230 0 0 20 0 1 0 31113472 82739200 8782 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 20200 8782 2432 1147 0 7627 0
################
# More data... #
################
/proc/loadavg: 4.12 4.12 4.09 5/269 21470
/proc/meminfo: memFree=129531076/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=114832 memory=69644 CPUtime=3031.71 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 23018 0 0 0 301821 1350 0 0 20 0 1 0 31113472 117587968 17411 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 28708 17411 2464 1147 0 16135 0
Current children cumulated CPU time: 3031.71 s
Current children cumulated vsize: 119024 KiB
Current children cumulated memory: 72716 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/268 21472
/proc/meminfo: memFree=129529412/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=128044 memory=70928 CPUtime=3091.48 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 23905 0 0 0 307783 1365 0 0 20 0 1 0 31113472 131117056 17732 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32011 17732 2464 1147 0 19438 0
Current children cumulated CPU time: 3091.48 s
Current children cumulated vsize: 132236 KiB
Current children cumulated memory: 74000 KiB
[startup+3162.3 s]
/proc/loadavg: 3.94 4.08 4.08 4/261 21510
/proc/meminfo: memFree=129601368/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=129324 memory=71244 CPUtime=3151.23 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 24135 0 0 0 313739 1384 0 0 20 0 1 0 31113472 132427776 17811 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32331 17811 2464 1147 0 19758 0
Current children cumulated CPU time: 3151.23 s
Current children cumulated vsize: 133516 KiB
Current children cumulated memory: 74316 KiB
[startup+3222.3 s]
/proc/loadavg: 3.46 3.91 4.02 4/261 21512
/proc/meminfo: memFree=129581388/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=130348 memory=71932 CPUtime=3211.03 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 24966 0 0 0 319697 1406 0 0 20 0 1 0 31113472 133476352 17983 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32587 17983 2464 1147 0 20014 0
Current children cumulated CPU time: 3211.03 s
Current children cumulated vsize: 134540 KiB
Current children cumulated memory: 75004 KiB
[startup+3282.3 s]
/proc/loadavg: 3.23 3.76 3.96 4/262 21515
/proc/meminfo: memFree=129578768/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=131188 memory=72556 CPUtime=3270.84 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 25315 0 0 0 325658 1426 0 0 20 0 1 0 31113472 134336512 18139 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32797 18139 2464 1147 0 20224 0
Current children cumulated CPU time: 3270.84 s
Current children cumulated vsize: 135380 KiB
Current children cumulated memory: 75628 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.64 3.90 4/262 21517
/proc/meminfo: memFree=129573228/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=131444 memory=75164 CPUtime=3330.67 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 25594 0 0 0 331620 1447 0 0 20 0 1 0 31113472 134598656 18791 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32861 18791 2464 1147 0 20288 0
Current children cumulated CPU time: 3330.67 s
Current children cumulated vsize: 135636 KiB
Current children cumulated memory: 78236 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.55 3.85 4/262 21519
/proc/meminfo: memFree=129572228/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=131368 memory=75268 CPUtime=3390.52 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 25865 0 0 0 337591 1461 0 0 20 0 1 0 31113472 134520832 18817 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32842 18817 2464 1147 0 20269 0
Current children cumulated CPU time: 3390.52 s
Current children cumulated vsize: 135560 KiB
Current children cumulated memory: 78340 KiB
[startup+3462.3 s]
/proc/loadavg: 3.10 3.46 3.80 4/263 21524
/proc/meminfo: memFree=129572072/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=131880 memory=75548 CPUtime=3450.36 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 26246 0 0 0 343559 1477 0 0 20 0 1 0 31113472 135045120 18887 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 32970 18887 2464 1147 0 20397 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 136072 KiB
Current children cumulated memory: 78620 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.40 3.76 3/256 21558
/proc/meminfo: memFree=129654708/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=132392 memory=75824 CPUtime=3510.2 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 26561 0 0 0 349528 1492 0 0 20 0 1 0 31113472 135569408 18956 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 33098 18956 2464 1147 0 20525 0
Current children cumulated CPU time: 3510.2 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 78896 KiB
[startup+3582.3 s]
/proc/loadavg: 2.47 3.16 3.65 3/256 21559
/proc/meminfo: memFree=129654900/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=133744 memory=76904 CPUtime=3570.01 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 26976 0 0 0 355493 1508 0 0 20 0 1 0 31113472 136953856 19226 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 33436 19226 2464 1147 0 20863 0
Current children cumulated CPU time: 3570.01 s
Current children cumulated vsize: 137936 KiB
Current children cumulated memory: 79976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 2.36 3.07 3.61 3/255 21560
/proc/meminfo: memFree=129655708/131249996 swapFree=33010684/33010684
[pid=20803] ppid=20800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20803/stat : 20803 (run-dec-ls.sh) S 20800 20803 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31113471 4292608 768 18446744073709551615 93979059671040 93979060565573 140726071246848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93979060804624 93979060852368 93979091935232 140726071249255 140726071249381 140726071249381 140726071254983 0
/proc/20803/statm: 1048 768 704 219 0 110 0
[pid=20805] ppid=20803 vsize=133928 memory=76904 CPUtime=3600.02 cores=0,2
/proc/20805/stat : 20805 (roundingsat) R 20803 20803 16308 0 -1 4194304 26990 0 0 0 358487 1515 0 0 20 0 1 0 31113472 137142272 19226 18446744073709551615 4227072 8923433 140723489891488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33247232 140723489892768 140723489892904 140723489892904 140723489898474 0
/proc/20805/statm: 33482 19226 2464 1147 0 20909 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 138120 KiB
Current children cumulated memory: 79976 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.4 s]
# the end of solver process 20803 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.87 s, system=15.1559 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.4
CPU time (s): 3600.03
CPU user time (s): 3584.87
CPU system time (s): 15.1559
CPU usage (%): 99.6574
Max. virtual memory (cumulated for all children) (KiB): 138120
Max. memory (cumulated for all children) (KiB): 79976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.87
system time used= 15.156
maximum resident set size= 77360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166
involuntary context switches= 7981
# summary of solver processes directly reported to runsolver:
# pid: 20803
# total CPU time (s): 3600.03
# total CPU user time (s): 3584.87
# total CPU system time (s): 15.1559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4938 second user time and 19.1951 second system time
The end
Begin job on nodeC029 at 2025-06-29 01:45:50
IDJOB=4496074
IDBENCH=148106
IDSOLVER=3353
FILE ID=nodeC029/4496074-1751154350
RUNJOBID= nodeC029-1751146607-16318
SLURM_JOB_ID= 9587465
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496074-1751154350/watcher-4496074-1751154350 -o /tmp/evaluation-result-4496074-1751154350/solver-4496074-1751154350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16318 --watchdog 3760 run-dec-ls.sh HOME/instance-4496074-1751154350.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=1796770400
nodeC029 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.697
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.46
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.677
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.46
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 : 3605.255
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.46
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 : 3594.418
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.46
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.721
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.46
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.725
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.46
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.136
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.46
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 : 3587.933
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129831408 kB
MemAvailable: 129469852 kB
Buffers: 3280 kB
Cached: 440624 kB
SwapCached: 0 kB
Active: 610052 kB
Inactive: 221716 kB
Active(anon): 405924 kB
Inactive(anon): 0 kB
Active(file): 204128 kB
Inactive(file): 221716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7216 kB
Writeback: 8 kB
AnonPages: 386468 kB
Mapped: 117004 kB
Shmem: 18060 kB
KReclaimable: 86400 kB
Slab: 169360 kB
SReclaimable: 86400 kB
SUnreclaim: 82960 kB
KernelStack: 4352 kB
PageTables: 4040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 769492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC029 at 2025-06-29 02:46:03