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.88/0.92 c #Conflicts: 7000 | #Constraints: 2652
0.88/0.92 c #Conflicts: 8000 | #Constraints: 3652
0.88/0.92 c #Conflicts: 9000 | #Constraints: 4652
0.88/0.92 c INPROCESSING
0.88/0.92 c GARBAGE COLLECT
0.88/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.68/1.78 c #Conflicts: 13000 | #Constraints: 3865
1.68/1.78 c #Conflicts: 14000 | #Constraints: 4953
1.68/1.78 c #Conflicts: 15000 | #Constraints: 6074
1.68/1.78 c INPROCESSING
1.68/1.78 c GARBAGE COLLECT
1.68/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.63 c #Conflicts: 22000 | #Constraints: 3913
3.57/3.63 c #Conflicts: 23000 | #Constraints: 4913
3.57/3.63 c #Conflicts: 24000 | #Constraints: 5913
3.57/3.63 c #Conflicts: 25000 | #Constraints: 6913
3.57/3.63 c INPROCESSING
3.57/3.63 c GARBAGE COLLECT
3.57/3.63 c rational objective 2
4.37/4.40 c #Conflicts: 26000 | #Constraints: 4362
4.37/4.40 c #Conflicts: 27000 | #Constraints: 5362
4.37/4.40 c #Conflicts: 28000 | #Constraints: 6362
4.37/4.40 c #Conflicts: 29000 | #Constraints: 7362
4.37/4.40 c INPROCESSING
4.37/4.40 c GARBAGE COLLECT
4.37/4.40 c rational objective 2
5.16/5.28 c #Conflicts: 30000 | #Constraints: 4687
5.16/5.28 c #Conflicts: 31000 | #Constraints: 5687
5.16/5.28 c #Conflicts: 32000 | #Constraints: 6687
5.16/5.28 c #Conflicts: 33000 | #Constraints: 7687
5.16/5.28 c INPROCESSING
5.16/5.28 c GARBAGE COLLECT
5.16/5.28 c rational objective 2
6.16/6.23 c #Conflicts: 34000 | #Constraints: 4849
6.16/6.23 c #Conflicts: 35000 | #Constraints: 5849
6.16/6.23 c #Conflicts: 36000 | #Constraints: 6849
6.16/6.23 c #Conflicts: 37000 | #Constraints: 7849
6.16/6.23 c INPROCESSING
6.16/6.23 c GARBAGE COLLECT
6.16/6.23 c rational objective 2
7.07/7.15 c #Conflicts: 38000 | #Constraints: 4830
7.07/7.15 c #Conflicts: 39000 | #Constraints: 5830
7.07/7.15 c #Conflicts: 40000 | #Constraints: 6830
7.07/7.15 c #Conflicts: 41000 | #Constraints: 7830
7.07/7.15 c INPROCESSING
7.07/7.15 c GARBAGE COLLECT
7.07/7.15 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.53 c #Conflicts: 47000 | #Constraints: 5319
9.46/9.53 c #Conflicts: 48000 | #Constraints: 6416
9.46/9.53 c #Conflicts: 49000 | #Constraints: 7546
9.46/9.53 c #Conflicts: 50000 | #Constraints: 8649
9.46/9.53 c #Conflicts: 51000 | #Constraints: 9784
9.46/9.53 c INPROCESSING
9.46/9.53 c GARBAGE COLLECT
9.46/9.53 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.14/14.27 c #Conflicts: 62000 | #Constraints: 6305
14.14/14.27 c #Conflicts: 63000 | #Constraints: 7431
14.14/14.27 c #Conflicts: 64000 | #Constraints: 8552
14.14/14.27 c #Conflicts: 65000 | #Constraints: 9671
14.14/14.27 c #Conflicts: 66000 | #Constraints: 10803
14.14/14.27 c INPROCESSING
14.14/14.27 c GARBAGE COLLECT
14.14/14.27 c rational objective 2
16.04/16.11 c #Conflicts: 67000 | #Constraints: 6144
16.04/16.11 c #Conflicts: 68000 | #Constraints: 7144
16.04/16.11 c #Conflicts: 69000 | #Constraints: 8144
16.04/16.11 c #Conflicts: 70000 | #Constraints: 9144
16.04/16.11 c #Conflicts: 71000 | #Constraints: 10144
16.04/16.11 c #Conflicts: 72000 | #Constraints: 11144
16.04/16.11 c INPROCESSING
16.04/16.11 c GARBAGE COLLECT
16.04/16.11 c rational objective 2
17.83/17.93 c #Conflicts: 73000 | #Constraints: 6507
17.83/17.93 c #Conflicts: 74000 | #Constraints: 7507
17.83/17.93 c #Conflicts: 75000 | #Constraints: 8507
17.83/17.93 c #Conflicts: 76000 | #Constraints: 9507
17.83/17.93 c #Conflicts: 77000 | #Constraints: 10507
17.83/17.93 c #Conflicts: 78000 | #Constraints: 11507
17.83/17.93 c INPROCESSING
17.83/17.93 c GARBAGE COLLECT
17.83/17.93 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.44 c #Conflicts: 91000 | #Constraints: 7433
25.31/25.44 c #Conflicts: 92000 | #Constraints: 8546
25.31/25.44 c #Conflicts: 93000 | #Constraints: 9668
25.31/25.44 c #Conflicts: 94000 | #Constraints: 10755
25.31/25.44 c #Conflicts: 95000 | #Constraints: 11871
25.31/25.44 c #Conflicts: 96000 | #Constraints: 12958
25.31/25.44 c INPROCESSING
25.31/25.44 c GARBAGE COLLECT
25.31/25.44 c rational objective 2
28.01/28.15 c #Conflicts: 97000 | #Constraints: 7226
28.01/28.15 c #Conflicts: 98000 | #Constraints: 8311
28.01/28.15 c #Conflicts: 99000 | #Constraints: 9380
28.01/28.15 c #Conflicts: 100000 | #Constraints: 10470
28.01/28.15 c #Conflicts: 101000 | #Constraints: 11578
28.01/28.15 c #Conflicts: 102000 | #Constraints: 12671
28.01/28.15 c #Conflicts: 103000 | #Constraints: 13773
28.01/28.15 c INPROCESSING
28.01/28.15 c GARBAGE COLLECT
28.01/28.15 c rational objective 2
30.50/30.64 c #Conflicts: 104000 | #Constraints: 7802
30.50/30.64 c #Conflicts: 105000 | #Constraints: 8802
30.50/30.64 c #Conflicts: 106000 | #Constraints: 9802
30.50/30.64 c #Conflicts: 107000 | #Constraints: 10802
30.50/30.64 c #Conflicts: 108000 | #Constraints: 11802
30.50/30.64 c #Conflicts: 109000 | #Constraints: 12802
30.50/30.64 c #Conflicts: 110000 | #Constraints: 13802
30.50/30.64 c INPROCESSING
30.50/30.64 c GARBAGE COLLECT
30.50/30.64 c rational objective 2
33.49/33.63 c #Conflicts: 111000 | #Constraints: 8001
33.49/33.63 c #Conflicts: 112000 | #Constraints: 9103
33.49/33.63 c #Conflicts: 113000 | #Constraints: 10215
33.49/33.63 c #Conflicts: 114000 | #Constraints: 11329
33.49/33.63 c #Conflicts: 115000 | #Constraints: 12429
33.49/33.63 c #Conflicts: 116000 | #Constraints: 13532
33.49/33.63 c #Conflicts: 117000 | #Constraints: 14646
33.49/33.63 c INPROCESSING
33.49/33.63 c GARBAGE COLLECT
33.49/33.63 c rational objective 2
36.59/36.72 c #Conflicts: 118000 | #Constraints: 8329
36.59/36.72 c #Conflicts: 119000 | #Constraints: 9365
36.59/36.72 c #Conflicts: 120000 | #Constraints: 10453
36.59/36.72 c #Conflicts: 121000 | #Constraints: 11568
36.59/36.72 c #Conflicts: 122000 | #Constraints: 12698
36.59/36.72 c #Conflicts: 123000 | #Constraints: 13847
36.59/36.72 c #Conflicts: 124000 | #Constraints: 14976
36.59/36.72 c INPROCESSING
36.59/36.72 c GARBAGE COLLECT
36.59/36.72 c rational objective 2
39.77/39.93 c #Conflicts: 125000 | #Constraints: 8404
39.77/39.93 c #Conflicts: 126000 | #Constraints: 9404
39.77/39.93 c #Conflicts: 127000 | #Constraints: 10470
39.77/39.93 c #Conflicts: 128000 | #Constraints: 11527
39.77/39.93 c #Conflicts: 129000 | #Constraints: 12602
39.77/39.93 c #Conflicts: 130000 | #Constraints: 13738
39.77/39.93 c #Conflicts: 131000 | #Constraints: 14875
39.77/39.93 c INPROCESSING
39.77/39.93 c GARBAGE COLLECT
39.77/39.93 c rational objective 2
42.97/43.18 c #Conflicts: 132000 | #Constraints: 8209
42.97/43.18 c #Conflicts: 133000 | #Constraints: 9262
42.97/43.18 c #Conflicts: 134000 | #Constraints: 10337
42.97/43.18 c #Conflicts: 135000 | #Constraints: 11398
42.97/43.18 c #Conflicts: 136000 | #Constraints: 12459
42.97/43.18 c #Conflicts: 137000 | #Constraints: 13547
42.97/43.18 c #Conflicts: 138000 | #Constraints: 14627
42.97/43.18 c #Conflicts: 139000 | #Constraints: 15691
42.97/43.18 c INPROCESSING
42.97/43.18 c GARBAGE COLLECT
42.97/43.18 c rational objective 2
79.17/79.43 c #Conflicts: 140000 | #Constraints: 8823
79.17/79.43 c #Conflicts: 141000 | #Constraints: 9910
79.17/79.43 c #Conflicts: 142000 | #Constraints: 11008
79.17/79.43 c #Conflicts: 143000 | #Constraints: 12288
79.17/79.43 c #Conflicts: 144000 | #Constraints: 13845
79.17/79.43 c #Conflicts: 145000 | #Constraints: 15400
79.17/79.43 c #Conflicts: 146000 | #Constraints: 16963
79.17/79.43 c #Conflicts: 147000 | #Constraints: 18532
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 148000 | #Constraints: 10854
79.17/79.43 c #Conflicts: 149000 | #Constraints: 11964
79.17/79.43 c #Conflicts: 150000 | #Constraints: 13037
79.17/79.43 c #Conflicts: 151000 | #Constraints: 14110
79.17/79.43 c #Conflicts: 152000 | #Constraints: 15182
79.17/79.43 c #Conflicts: 153000 | #Constraints: 16253
79.17/79.43 c #Conflicts: 154000 | #Constraints: 17307
79.17/79.43 c #Conflicts: 155000 | #Constraints: 18364
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 156000 | #Constraints: 10237
79.17/79.43 c #Conflicts: 157000 | #Constraints: 11334
79.17/79.43 c #Conflicts: 158000 | #Constraints: 12401
79.17/79.43 c #Conflicts: 159000 | #Constraints: 13472
79.17/79.43 c #Conflicts: 160000 | #Constraints: 14556
79.17/79.43 c #Conflicts: 161000 | #Constraints: 15647
79.17/79.43 c #Conflicts: 162000 | #Constraints: 16737
79.17/79.43 c #Conflicts: 163000 | #Constraints: 17805
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 164000 | #Constraints: 9858
79.17/79.43 c #Conflicts: 165000 | #Constraints: 10866
79.17/79.43 c #Conflicts: 166000 | #Constraints: 11912
79.17/79.43 c #Conflicts: 167000 | #Constraints: 12986
79.17/79.43 c #Conflicts: 168000 | #Constraints: 14045
79.17/79.43 c #Conflicts: 169000 | #Constraints: 15113
79.17/79.43 c #Conflicts: 170000 | #Constraints: 16177
79.17/79.43 c #Conflicts: 171000 | #Constraints: 17182
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 172000 | #Constraints: 9332
79.17/79.43 c #Conflicts: 173000 | #Constraints: 10425
79.17/79.43 c #Conflicts: 174000 | #Constraints: 11542
79.17/79.43 c #Conflicts: 175000 | #Constraints: 12639
79.17/79.43 c #Conflicts: 176000 | #Constraints: 13708
79.17/79.43 c #Conflicts: 177000 | #Constraints: 14785
79.17/79.43 c #Conflicts: 178000 | #Constraints: 15835
79.17/79.43 c #Conflicts: 179000 | #Constraints: 16918
79.17/79.43 c #Conflicts: 180000 | #Constraints: 18006
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 181000 | #Constraints: 9977
79.17/79.43 c #Conflicts: 182000 | #Constraints: 11054
79.17/79.43 c #Conflicts: 183000 | #Constraints: 12114
79.17/79.43 c #Conflicts: 184000 | #Constraints: 13213
79.17/79.43 c #Conflicts: 185000 | #Constraints: 14297
79.17/79.43 c #Conflicts: 186000 | #Constraints: 15396
79.17/79.43 c #Conflicts: 187000 | #Constraints: 16471
79.17/79.43 c #Conflicts: 188000 | #Constraints: 17547
79.17/79.43 c #Conflicts: 189000 | #Constraints: 18650
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 190000 | #Constraints: 10473
79.17/79.43 c #Conflicts: 191000 | #Constraints: 11649
79.17/79.43 c #Conflicts: 192000 | #Constraints: 12753
79.17/79.43 c #Conflicts: 193000 | #Constraints: 13852
79.17/79.43 c #Conflicts: 194000 | #Constraints: 14942
79.17/79.43 c #Conflicts: 195000 | #Constraints: 16015
79.17/79.43 c #Conflicts: 196000 | #Constraints: 17104
79.17/79.43 c #Conflicts: 197000 | #Constraints: 18232
79.17/79.43 c #Conflicts: 198000 | #Constraints: 19303
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 199000 | #Constraints: 10752
79.17/79.43 c #Conflicts: 200000 | #Constraints: 12024
79.17/79.43 c #Conflicts: 201000 | #Constraints: 13142
79.17/79.43 c #Conflicts: 202000 | #Constraints: 14272
79.17/79.43 c #Conflicts: 203000 | #Constraints: 15417
79.17/79.43 c #Conflicts: 204000 | #Constraints: 16531
79.17/79.43 c #Conflicts: 205000 | #Constraints: 17673
79.17/79.43 c #Conflicts: 206000 | #Constraints: 18765
79.17/79.43 c #Conflicts: 207000 | #Constraints: 19886
79.17/79.43 c INPROCESSING
79.17/79.43 c GARBAGE COLLECT
79.17/79.43 c #Conflicts: 208000 | #Constraints: 10946
79.17/79.43 c #Conflicts: 209000 | #Constraints: 12451
79.17/79.43 c #Conflicts: 210000 | #Constraints: 13978
79.17/79.43 c #Conflicts: 211000 | #Constraints: 15521
79.17/79.43 c #Conflicts: 212000 | #Constraints: 17073
79.17/79.43 c #Conflicts: 213000 | #Constraints: 18608
124.03/124.44 c #Conflicts: 214000 | #Constraints: 20154
124.03/124.44 c #Conflicts: 215000 | #Constraints: 21722
124.03/124.44 c #Conflicts: 216000 | #Constraints: 23271
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 217000 | #Constraints: 12744
124.03/124.44 c #Conflicts: 218000 | #Constraints: 14322
124.03/124.44 c #Conflicts: 219000 | #Constraints: 15594
124.03/124.44 c #Conflicts: 220000 | #Constraints: 16654
124.03/124.44 c #Conflicts: 221000 | #Constraints: 17764
124.03/124.44 c #Conflicts: 222000 | #Constraints: 18846
124.03/124.44 c #Conflicts: 223000 | #Constraints: 19962
124.03/124.44 c #Conflicts: 224000 | #Constraints: 21038
124.03/124.44 c #Conflicts: 225000 | #Constraints: 22106
124.03/124.44 c #Conflicts: 226000 | #Constraints: 23168
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 227000 | #Constraints: 12634
124.03/124.44 c #Conflicts: 228000 | #Constraints: 13695
124.03/124.44 c #Conflicts: 229000 | #Constraints: 14814
124.03/124.44 c #Conflicts: 230000 | #Constraints: 15901
124.03/124.44 c #Conflicts: 231000 | #Constraints: 16984
124.03/124.44 c #Conflicts: 232000 | #Constraints: 17984
124.03/124.44 c #Conflicts: 233000 | #Constraints: 19107
124.03/124.44 c #Conflicts: 234000 | #Constraints: 20218
124.03/124.44 c #Conflicts: 235000 | #Constraints: 21285
124.03/124.44 c #Conflicts: 236000 | #Constraints: 22368
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 237000 | #Constraints: 12264
124.03/124.44 c #Conflicts: 238000 | #Constraints: 13404
124.03/124.44 c #Conflicts: 239000 | #Constraints: 14488
124.03/124.44 c #Conflicts: 240000 | #Constraints: 15549
124.03/124.44 c #Conflicts: 241000 | #Constraints: 16617
124.03/124.44 c #Conflicts: 242000 | #Constraints: 17706
124.03/124.44 c #Conflicts: 243000 | #Constraints: 18825
124.03/124.44 c #Conflicts: 244000 | #Constraints: 19940
124.03/124.44 c #Conflicts: 245000 | #Constraints: 21084
124.03/124.44 c #Conflicts: 246000 | #Constraints: 22190
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 247000 | #Constraints: 12166
124.03/124.44 c #Conflicts: 248000 | #Constraints: 13250
124.03/124.44 c #Conflicts: 249000 | #Constraints: 14334
124.03/124.44 c #Conflicts: 250000 | #Constraints: 15425
124.03/124.44 c #Conflicts: 251000 | #Constraints: 16493
124.03/124.44 c #Conflicts: 252000 | #Constraints: 17558
124.03/124.44 c #Conflicts: 253000 | #Constraints: 18614
124.03/124.44 c #Conflicts: 254000 | #Constraints: 19707
124.03/124.44 c #Conflicts: 255000 | #Constraints: 20810
124.03/124.44 c #Conflicts: 256000 | #Constraints: 21978
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 257000 | #Constraints: 11976
124.03/124.44 c #Conflicts: 258000 | #Constraints: 13026
124.03/124.44 c #Conflicts: 259000 | #Constraints: 14096
124.03/124.44 c #Conflicts: 260000 | #Constraints: 15177
124.03/124.44 c #Conflicts: 261000 | #Constraints: 16260
124.03/124.44 c #Conflicts: 262000 | #Constraints: 17314
124.03/124.44 c #Conflicts: 263000 | #Constraints: 18430
124.03/124.44 c #Conflicts: 264000 | #Constraints: 19549
124.03/124.44 c #Conflicts: 265000 | #Constraints: 20675
124.03/124.44 c #Conflicts: 266000 | #Constraints: 21770
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 267000 | #Constraints: 11609
124.03/124.44 c #Conflicts: 268000 | #Constraints: 12674
124.03/124.44 c #Conflicts: 269000 | #Constraints: 13767
124.03/124.44 c #Conflicts: 270000 | #Constraints: 14836
124.03/124.44 c #Conflicts: 271000 | #Constraints: 15897
124.03/124.44 c #Conflicts: 272000 | #Constraints: 16981
124.03/124.44 c #Conflicts: 273000 | #Constraints: 18072
124.03/124.44 c #Conflicts: 274000 | #Constraints: 19160
124.03/124.44 c #Conflicts: 275000 | #Constraints: 20226
124.03/124.44 c #Conflicts: 276000 | #Constraints: 21311
124.03/124.44 c #Conflicts: 277000 | #Constraints: 22404
124.03/124.44 c INPROCESSING
124.03/124.44 c GARBAGE COLLECT
124.03/124.44 c #Conflicts: 278000 | #Constraints: 12159
124.03/124.44 c #Conflicts: 279000 | #Constraints: 13223
124.03/124.44 c #Conflicts: 280000 | #Constraints: 14297
124.03/124.44 c #Conflicts: 281000 | #Constraints: 15399
124.03/124.44 c #Conflicts: 282000 | #Constraints: 16462
124.03/124.44 c #Conflicts: 283000 | #Constraints: 17523
124.03/124.44 c #Conflicts: 284000 | #Constraints: 18626
124.03/124.44 c #Conflicts: 285000 | #Constraints: 19710
124.03/124.44 c #Conflicts: 286000 | #Constraints: 20804
124.03/124.44 c #Conflicts: 287000 | #Constraints: 21911
124.03/124.44 c #Conflicts: 288000 | #Constraints: 23007
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 289000 | #Constraints: 12620
170.21/170.70 c #Conflicts: 290000 | #Constraints: 13712
170.21/170.70 c #Conflicts: 291000 | #Constraints: 14768
170.21/170.70 c #Conflicts: 292000 | #Constraints: 15848
170.21/170.70 c #Conflicts: 293000 | #Constraints: 16946
170.21/170.70 c #Conflicts: 294000 | #Constraints: 18106
170.21/170.70 c #Conflicts: 295000 | #Constraints: 19292
170.21/170.70 c #Conflicts: 296000 | #Constraints: 20368
170.21/170.70 c #Conflicts: 297000 | #Constraints: 21417
170.21/170.70 c #Conflicts: 298000 | #Constraints: 22497
170.21/170.70 c #Conflicts: 299000 | #Constraints: 23595
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 300000 | #Constraints: 12890
170.21/170.70 c #Conflicts: 301000 | #Constraints: 13994
170.21/170.70 c #Conflicts: 302000 | #Constraints: 15088
170.21/170.70 c #Conflicts: 303000 | #Constraints: 16167
170.21/170.70 c #Conflicts: 304000 | #Constraints: 17247
170.21/170.70 c #Conflicts: 305000 | #Constraints: 18352
170.21/170.70 c #Conflicts: 306000 | #Constraints: 19674
170.21/170.70 c #Conflicts: 307000 | #Constraints: 20784
170.21/170.70 c #Conflicts: 308000 | #Constraints: 21866
170.21/170.70 c #Conflicts: 309000 | #Constraints: 22973
170.21/170.70 c #Conflicts: 310000 | #Constraints: 24072
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 311000 | #Constraints: 13002
170.21/170.70 c #Conflicts: 312000 | #Constraints: 14094
170.21/170.70 c #Conflicts: 313000 | #Constraints: 15227
170.21/170.70 c #Conflicts: 314000 | #Constraints: 16374
170.21/170.70 c #Conflicts: 315000 | #Constraints: 17451
170.21/170.70 c #Conflicts: 316000 | #Constraints: 18550
170.21/170.70 c #Conflicts: 317000 | #Constraints: 19630
170.21/170.70 c #Conflicts: 318000 | #Constraints: 20729
170.21/170.70 c #Conflicts: 319000 | #Constraints: 21852
170.21/170.70 c #Conflicts: 320000 | #Constraints: 22972
170.21/170.70 c #Conflicts: 321000 | #Constraints: 24069
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 322000 | #Constraints: 12790
170.21/170.70 c #Conflicts: 323000 | #Constraints: 13868
170.21/170.70 c #Conflicts: 324000 | #Constraints: 14952
170.21/170.70 c #Conflicts: 325000 | #Constraints: 16024
170.21/170.70 c #Conflicts: 326000 | #Constraints: 17091
170.21/170.70 c #Conflicts: 327000 | #Constraints: 18145
170.21/170.70 c #Conflicts: 328000 | #Constraints: 19206
170.21/170.70 c #Conflicts: 329000 | #Constraints: 20247
170.21/170.70 c #Conflicts: 330000 | #Constraints: 21337
170.21/170.70 c #Conflicts: 331000 | #Constraints: 22416
170.21/170.70 c #Conflicts: 332000 | #Constraints: 23466
170.21/170.70 c #Conflicts: 333000 | #Constraints: 24536
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 334000 | #Constraints: 13235
170.21/170.70 c #Conflicts: 335000 | #Constraints: 14331
170.21/170.70 c #Conflicts: 336000 | #Constraints: 15419
170.21/170.70 c #Conflicts: 337000 | #Constraints: 16551
170.21/170.70 c #Conflicts: 338000 | #Constraints: 17621
170.21/170.70 c #Conflicts: 339000 | #Constraints: 18724
170.21/170.70 c #Conflicts: 340000 | #Constraints: 19818
170.21/170.70 c #Conflicts: 341000 | #Constraints: 20915
170.21/170.70 c #Conflicts: 342000 | #Constraints: 21991
170.21/170.70 c #Conflicts: 343000 | #Constraints: 23076
170.21/170.70 c #Conflicts: 344000 | #Constraints: 24161
170.21/170.70 c #Conflicts: 345000 | #Constraints: 25231
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 346000 | #Constraints: 13726
170.21/170.70 c #Conflicts: 347000 | #Constraints: 14870
170.21/170.70 c #Conflicts: 348000 | #Constraints: 15935
170.21/170.70 c #Conflicts: 349000 | #Constraints: 17014
170.21/170.70 c #Conflicts: 350000 | #Constraints: 18091
170.21/170.70 c #Conflicts: 351000 | #Constraints: 19225
170.21/170.70 c #Conflicts: 352000 | #Constraints: 20331
170.21/170.70 c #Conflicts: 353000 | #Constraints: 21395
170.21/170.70 c #Conflicts: 354000 | #Constraints: 22466
170.21/170.70 c #Conflicts: 355000 | #Constraints: 23530
170.21/170.70 c #Conflicts: 356000 | #Constraints: 24613
170.21/170.70 c #Conflicts: 357000 | #Constraints: 25673
170.21/170.70 c INPROCESSING
170.21/170.70 c GARBAGE COLLECT
170.21/170.70 c #Conflicts: 358000 | #Constraints: 13896
170.21/170.70 c #Conflicts: 359000 | #Constraints: 14986
170.21/170.70 c #Conflicts: 360000 | #Constraints: 16104
170.21/170.70 c #Conflicts: 361000 | #Constraints: 17207
170.21/170.70 c #Conflicts: 362000 | #Constraints: 18277
220.56/221.27 c #Conflicts: 363000 | #Constraints: 19351
220.56/221.27 c #Conflicts: 364000 | #Constraints: 20399
220.56/221.27 c #Conflicts: 365000 | #Constraints: 21499
220.56/221.27 c #Conflicts: 366000 | #Constraints: 22573
220.56/221.27 c #Conflicts: 367000 | #Constraints: 23711
220.56/221.27 c #Conflicts: 368000 | #Constraints: 24785
220.56/221.27 c #Conflicts: 369000 | #Constraints: 25869
220.56/221.27 c INPROCESSING
220.56/221.27 c GARBAGE COLLECT
220.56/221.27 c #Conflicts: 370000 | #Constraints: 13910
220.56/221.27 c #Conflicts: 371000 | #Constraints: 14987
220.56/221.27 c #Conflicts: 372000 | #Constraints: 16041
220.56/221.27 c #Conflicts: 373000 | #Constraints: 17112
220.56/221.27 c #Conflicts: 374000 | #Constraints: 18174
220.56/221.27 c #Conflicts: 375000 | #Constraints: 19236
220.56/221.27 c #Conflicts: 376000 | #Constraints: 20296
220.56/221.27 c #Conflicts: 377000 | #Constraints: 21347
220.56/221.27 c #Conflicts: 378000 | #Constraints: 22408
220.56/221.27 c #Conflicts: 379000 | #Constraints: 23494
220.56/221.27 c #Conflicts: 380000 | #Constraints: 24569
220.56/221.27 c #Conflicts: 381000 | #Constraints: 25676
220.56/221.27 c INPROCESSING
220.56/221.27 c GARBAGE COLLECT
220.56/221.27 c #Conflicts: 382000 | #Constraints: 13594
220.56/221.27 c #Conflicts: 383000 | #Constraints: 14671
220.56/221.27 c #Conflicts: 384000 | #Constraints: 15740
220.56/221.27 c #Conflicts: 385000 | #Constraints: 16848
220.56/221.27 c #Conflicts: 386000 | #Constraints: 17920
220.56/221.27 c #Conflicts: 387000 | #Constraints: 18982
220.56/221.27 c #Conflicts: 388000 | #Constraints: 20048
220.56/221.27 c #Conflicts: 389000 | #Constraints: 21174
220.56/221.27 c #Conflicts: 390000 | #Constraints: 22232
220.56/221.27 c #Conflicts: 391000 | #Constraints: 23291
220.56/221.27 c #Conflicts: 392000 | #Constraints: 24407
220.56/221.27 c #Conflicts: 393000 | #Constraints: 25484
220.56/221.27 c #Conflicts: 394000 | #Constraints: 26545
220.56/221.27 c INPROCESSING
220.56/221.27 c GARBAGE COLLECT
220.56/221.27 c #Conflicts: 395000 | #Constraints: 14235
220.56/221.27 c #Conflicts: 396000 | #Constraints: 15354
220.56/221.27 c #Conflicts: 397000 | #Constraints: 16455
220.56/221.27 c #Conflicts: 398000 | #Constraints: 17517
220.56/221.27 c #Conflicts: 399000 | #Constraints: 18577
220.56/221.27 c #Conflicts: 400000 | #Constraints: 19640
220.56/221.27 c #Conflicts: 401000 | #Constraints: 20724
220.56/221.27 c #Conflicts: 402000 | #Constraints: 21818
220.56/221.27 c #Conflicts: 403000 | #Constraints: 22905
220.56/221.27 c #Conflicts: 404000 | #Constraints: 23990
220.56/221.27 c #Conflicts: 405000 | #Constraints: 25067
220.56/221.27 c #Conflicts: 406000 | #Constraints: 26157
220.56/221.27 c #Conflicts: 407000 | #Constraints: 27229
220.56/221.27 c INPROCESSING
220.56/221.27 c GARBAGE COLLECT
220.56/221.27 c #Conflicts: 408000 | #Constraints: 14687
220.56/221.27 c #Conflicts: 409000 | #Constraints: 15801
220.56/221.27 c #Conflicts: 410000 | #Constraints: 16879
220.56/221.27 c #Conflicts: 411000 | #Constraints: 17943
220.56/221.27 c #Conflicts: 412000 | #Constraints: 19002
220.56/221.27 c #Conflicts: 413000 | #Constraints: 20092
220.56/221.27 c #Conflicts: 414000 | #Constraints: 21197
220.56/221.27 c #Conflicts: 415000 | #Constraints: 22254
220.56/221.27 c #Conflicts: 416000 | #Constraints: 23400
220.56/221.27 c #Conflicts: 417000 | #Constraints: 24479
220.56/221.27 c #Conflicts: 418000 | #Constraints: 25526
220.56/221.27 c #Conflicts: 419000 | #Constraints: 26587
220.56/221.27 c #Conflicts: 420000 | #Constraints: 27652
220.56/221.27 c INPROCESSING
220.56/221.27 c GARBAGE COLLECT
220.56/221.27 c #Conflicts: 421000 | #Constraints: 14931
220.56/221.27 c #Conflicts: 422000 | #Constraints: 15977
220.56/221.27 c #Conflicts: 423000 | #Constraints: 17032
220.56/221.27 c #Conflicts: 424000 | #Constraints: 18102
220.56/221.27 c #Conflicts: 425000 | #Constraints: 19184
220.56/221.27 c #Conflicts: 426000 | #Constraints: 20275
220.56/221.27 c #Conflicts: 427000 | #Constraints: 21355
220.56/221.27 c #Conflicts: 428000 | #Constraints: 22461
220.56/221.27 c #Conflicts: 429000 | #Constraints: 23527
220.56/221.27 c #Conflicts: 430000 | #Constraints: 24619
220.56/221.27 c #Conflicts: 431000 | #Constraints: 25678
220.56/221.27 c #Conflicts: 432000 | #Constraints: 26766
220.56/221.27 c #Conflicts: 433000 | #Constraints: 27826
220.56/221.27 c INPROCESSING
220.56/221.27 c GARBAGE COLLECT
220.56/221.27 c rational objective 2
238.93/239.61 c #Conflicts: 434000 | #Constraints: 14855
238.93/239.61 c #Conflicts: 435000 | #Constraints: 15966
238.93/239.61 c #Conflicts: 436000 | #Constraints: 17083
238.93/239.61 c #Conflicts: 437000 | #Constraints: 18150
238.93/239.61 c #Conflicts: 438000 | #Constraints: 19228
238.93/239.61 c #Conflicts: 439000 | #Constraints: 20341
238.93/239.61 c #Conflicts: 440000 | #Constraints: 21446
238.93/239.61 c #Conflicts: 441000 | #Constraints: 22557
238.93/239.61 c #Conflicts: 442000 | #Constraints: 23628
238.93/239.61 c #Conflicts: 443000 | #Constraints: 24739
238.93/239.61 c #Conflicts: 444000 | #Constraints: 25949
238.93/239.61 c #Conflicts: 445000 | #Constraints: 27085
238.93/239.61 c #Conflicts: 446000 | #Constraints: 28203
238.93/239.61 c INPROCESSING
238.93/239.61 c GARBAGE COLLECT
238.93/239.61 c #Conflicts: 447000 | #Constraints: 14905
238.93/239.61 c #Conflicts: 448000 | #Constraints: 16014
238.93/239.61 c #Conflicts: 449000 | #Constraints: 17091
238.93/239.61 c #Conflicts: 450000 | #Constraints: 18218
238.93/239.61 c #Conflicts: 451000 | #Constraints: 19218
238.93/239.61 c #Conflicts: 452000 | #Constraints: 20227
238.93/239.61 c #Conflicts: 453000 | #Constraints: 21324
238.93/239.61 c #Conflicts: 454000 | #Constraints: 22324
238.93/239.61 c #Conflicts: 455000 | #Constraints: 23324
238.93/239.61 c #Conflicts: 456000 | #Constraints: 24324
238.93/239.61 c #Conflicts: 457000 | #Constraints: 25324
238.93/239.61 c #Conflicts: 458000 | #Constraints: 26324
238.93/239.61 c #Conflicts: 459000 | #Constraints: 27324
238.93/239.61 c #Conflicts: 460000 | #Constraints: 28324
238.93/239.61 c INPROCESSING
238.93/239.61 c GARBAGE COLLECT
238.93/239.61 c rational objective 2
249.69/250.48 c #Conflicts: 461000 | #Constraints: 15141
249.69/250.48 c #Conflicts: 462000 | #Constraints: 16221
249.69/250.48 c #Conflicts: 463000 | #Constraints: 17299
249.69/250.48 c #Conflicts: 464000 | #Constraints: 18300
249.69/250.48 c #Conflicts: 465000 | #Constraints: 19354
249.69/250.48 c #Conflicts: 466000 | #Constraints: 20432
249.69/250.48 c #Conflicts: 467000 | #Constraints: 21513
249.69/250.48 c #Conflicts: 468000 | #Constraints: 22613
249.69/250.48 c #Conflicts: 469000 | #Constraints: 23666
249.69/250.48 c #Conflicts: 470000 | #Constraints: 24707
249.69/250.48 c #Conflicts: 471000 | #Constraints: 25785
249.69/250.48 c #Conflicts: 472000 | #Constraints: 26855
249.69/250.48 c #Conflicts: 473000 | #Constraints: 27906
249.69/250.48 c #Conflicts: 474000 | #Constraints: 28968
249.69/250.48 c INPROCESSING
249.69/250.48 c GARBAGE COLLECT
249.69/250.48 c rational objective 2
261.96/262.79 c #Conflicts: 475000 | #Constraints: 15456
261.96/262.79 c #Conflicts: 476000 | #Constraints: 16456
261.96/262.79 c #Conflicts: 477000 | #Constraints: 17499
261.96/262.79 c #Conflicts: 478000 | #Constraints: 18599
261.96/262.79 c #Conflicts: 479000 | #Constraints: 19674
261.96/262.79 c #Conflicts: 480000 | #Constraints: 20776
261.96/262.79 c #Conflicts: 481000 | #Constraints: 21849
261.96/262.79 c #Conflicts: 482000 | #Constraints: 22948
261.96/262.79 c #Conflicts: 483000 | #Constraints: 24033
261.96/262.79 c #Conflicts: 484000 | #Constraints: 25121
261.96/262.79 c #Conflicts: 485000 | #Constraints: 26201
261.96/262.79 c #Conflicts: 486000 | #Constraints: 27308
261.96/262.79 c #Conflicts: 487000 | #Constraints: 28402
261.96/262.79 c #Conflicts: 488000 | #Constraints: 29508
261.96/262.79 c INPROCESSING
261.96/262.79 c GARBAGE COLLECT
261.96/262.79 c rational objective 2
273.93/274.71 c #Conflicts: 489000 | #Constraints: 15763
273.93/274.71 c #Conflicts: 490000 | #Constraints: 16763
273.93/274.71 c #Conflicts: 491000 | #Constraints: 17763
273.93/274.71 c #Conflicts: 492000 | #Constraints: 18763
273.93/274.71 c #Conflicts: 493000 | #Constraints: 19763
273.93/274.71 c #Conflicts: 494000 | #Constraints: 20763
273.93/274.71 c #Conflicts: 495000 | #Constraints: 21763
273.93/274.71 c #Conflicts: 496000 | #Constraints: 22763
273.93/274.71 c #Conflicts: 497000 | #Constraints: 23763
273.93/274.71 c #Conflicts: 498000 | #Constraints: 24763
273.93/274.71 c #Conflicts: 499000 | #Constraints: 25763
273.93/274.71 c #Conflicts: 500000 | #Constraints: 26763
273.93/274.71 c #Conflicts: 501000 | #Constraints: 27844
273.93/274.71 c #Conflicts: 502000 | #Constraints: 28944
273.93/274.71 c INPROCESSING
273.93/274.71 c GARBAGE COLLECT
273.93/274.71 c rational objective 2
284.80/285.65 c #Conflicts: 503000 | #Constraints: 15513
284.80/285.65 c #Conflicts: 504000 | #Constraints: 16576
284.80/285.65 c #Conflicts: 505000 | #Constraints: 17576
284.80/285.65 c #Conflicts: 506000 | #Constraints: 18576
284.80/285.65 c #Conflicts: 507000 | #Constraints: 19576
284.80/285.65 c #Conflicts: 508000 | #Constraints: 20576
284.80/285.65 c #Conflicts: 509000 | #Constraints: 21576
284.80/285.65 c #Conflicts: 510000 | #Constraints: 22576
284.80/285.65 c #Conflicts: 511000 | #Constraints: 23576
284.80/285.65 c #Conflicts: 512000 | #Constraints: 24576
284.80/285.65 c #Conflicts: 513000 | #Constraints: 25576
284.80/285.65 c #Conflicts: 514000 | #Constraints: 26576
284.80/285.65 c #Conflicts: 515000 | #Constraints: 27576
284.80/285.65 c #Conflicts: 516000 | #Constraints: 28576
284.80/285.65 c INPROCESSING
284.80/285.65 c GARBAGE COLLECT
284.80/285.65 c rational objective 2
295.66/296.57 c #Conflicts: 517000 | #Constraints: 14999
295.66/296.57 c #Conflicts: 518000 | #Constraints: 16040
295.66/296.57 c #Conflicts: 519000 | #Constraints: 17040
295.66/296.57 c #Conflicts: 520000 | #Constraints: 18040
295.66/296.57 c #Conflicts: 521000 | #Constraints: 19040
295.66/296.57 c #Conflicts: 522000 | #Constraints: 20040
295.66/296.57 c #Conflicts: 523000 | #Constraints: 21040
295.66/296.57 c #Conflicts: 524000 | #Constraints: 22040
295.66/296.57 c #Conflicts: 525000 | #Constraints: 23040
295.66/296.57 c #Conflicts: 526000 | #Constraints: 24040
295.66/296.57 c #Conflicts: 527000 | #Constraints: 25040
295.66/296.57 c #Conflicts: 528000 | #Constraints: 26040
295.66/296.57 c #Conflicts: 529000 | #Constraints: 27040
295.66/296.57 c #Conflicts: 530000 | #Constraints: 28071
295.66/296.57 c #Conflicts: 531000 | #Constraints: 29157
295.66/296.57 c INPROCESSING
295.66/296.57 c GARBAGE COLLECT
295.66/296.57 c rational objective 2
306.74/307.67 c #Conflicts: 532000 | #Constraints: 15562
306.74/307.67 c #Conflicts: 533000 | #Constraints: 16562
306.74/307.67 c #Conflicts: 534000 | #Constraints: 17562
306.74/307.67 c #Conflicts: 535000 | #Constraints: 18562
306.74/307.67 c #Conflicts: 536000 | #Constraints: 19562
306.74/307.67 c #Conflicts: 537000 | #Constraints: 20562
306.74/307.67 c #Conflicts: 538000 | #Constraints: 21562
306.74/307.67 c #Conflicts: 539000 | #Constraints: 22562
306.74/307.67 c #Conflicts: 540000 | #Constraints: 23562
306.74/307.67 c #Conflicts: 541000 | #Constraints: 24562
306.74/307.67 c #Conflicts: 542000 | #Constraints: 25562
306.74/307.67 c #Conflicts: 543000 | #Constraints: 26562
306.74/307.67 c #Conflicts: 544000 | #Constraints: 27562
306.74/307.67 c #Conflicts: 545000 | #Constraints: 28562
306.74/307.67 c #Conflicts: 546000 | #Constraints: 29562
306.74/307.67 c INPROCESSING
306.74/307.67 c GARBAGE COLLECT
306.74/307.67 c rational objective 2
317.90/318.88 c #Conflicts: 547000 | #Constraints: 15786
317.90/318.88 c #Conflicts: 548000 | #Constraints: 16786
317.90/318.88 c #Conflicts: 549000 | #Constraints: 17786
317.90/318.88 c #Conflicts: 550000 | #Constraints: 18786
317.90/318.88 c #Conflicts: 551000 | #Constraints: 19786
317.90/318.88 c #Conflicts: 552000 | #Constraints: 20786
317.90/318.88 c #Conflicts: 553000 | #Constraints: 21786
317.90/318.88 c #Conflicts: 554000 | #Constraints: 22786
317.90/318.88 c #Conflicts: 555000 | #Constraints: 23786
317.90/318.88 c #Conflicts: 556000 | #Constraints: 24786
317.90/318.88 c #Conflicts: 557000 | #Constraints: 25786
317.90/318.88 c #Conflicts: 558000 | #Constraints: 26786
317.90/318.88 c #Conflicts: 559000 | #Constraints: 27786
317.90/318.88 c #Conflicts: 560000 | #Constraints: 28786
317.90/318.88 c #Conflicts: 561000 | #Constraints: 29786
317.90/318.88 c INPROCESSING
317.90/318.88 c GARBAGE COLLECT
317.90/318.88 c rational objective 2
330.18/331.13 c #Conflicts: 562000 | #Constraints: 15897
330.18/331.13 c #Conflicts: 563000 | #Constraints: 16897
330.18/331.13 c #Conflicts: 564000 | #Constraints: 17897
330.18/331.13 c #Conflicts: 565000 | #Constraints: 18897
330.18/331.13 c #Conflicts: 566000 | #Constraints: 19897
330.18/331.13 c #Conflicts: 567000 | #Constraints: 20897
330.18/331.13 c #Conflicts: 568000 | #Constraints: 21897
330.18/331.13 c #Conflicts: 569000 | #Constraints: 22897
330.18/331.13 c #Conflicts: 570000 | #Constraints: 23897
330.18/331.13 c #Conflicts: 571000 | #Constraints: 24897
330.18/331.13 c #Conflicts: 572000 | #Constraints: 25897
330.18/331.13 c #Conflicts: 573000 | #Constraints: 26897
330.18/331.13 c #Conflicts: 574000 | #Constraints: 27897
330.18/331.13 c #Conflicts: 575000 | #Constraints: 28897
330.18/331.13 c #Conflicts: 576000 | #Constraints: 29897
330.18/331.13 c INPROCESSING
330.18/331.13 c GARBAGE COLLECT
330.18/331.13 c rational objective 2
343.23/344.24 c #Conflicts: 577000 | #Constraints: 15913
343.23/344.24 c #Conflicts: 578000 | #Constraints: 17196
343.23/344.24 c #Conflicts: 579000 | #Constraints: 18254
343.23/344.24 c #Conflicts: 580000 | #Constraints: 19315
343.23/344.24 c #Conflicts: 581000 | #Constraints: 20398
343.23/344.24 c #Conflicts: 582000 | #Constraints: 21477
343.23/344.24 c #Conflicts: 583000 | #Constraints: 22569
343.23/344.24 c #Conflicts: 584000 | #Constraints: 23636
343.23/344.24 c #Conflicts: 585000 | #Constraints: 24720
343.23/344.24 c #Conflicts: 586000 | #Constraints: 25819
343.23/344.24 c #Conflicts: 587000 | #Constraints: 26929
343.23/344.24 c #Conflicts: 588000 | #Constraints: 28028
343.23/344.24 c #Conflicts: 589000 | #Constraints: 29109
343.23/344.24 c #Conflicts: 590000 | #Constraints: 30192
343.23/344.24 c #Conflicts: 591000 | #Constraints: 31292
343.23/344.24 c INPROCESSING
343.23/344.24 c GARBAGE COLLECT
343.23/344.24 c rational objective 2
356.79/357.88 c #Conflicts: 592000 | #Constraints: 16384
356.79/357.88 c #Conflicts: 593000 | #Constraints: 17384
356.79/357.88 c #Conflicts: 594000 | #Constraints: 18384
356.79/357.88 c #Conflicts: 595000 | #Constraints: 19384
356.79/357.88 c #Conflicts: 596000 | #Constraints: 20384
356.79/357.88 c #Conflicts: 597000 | #Constraints: 21384
356.79/357.88 c #Conflicts: 598000 | #Constraints: 22384
356.79/357.88 c #Conflicts: 599000 | #Constraints: 23384
356.79/357.88 c #Conflicts: 600000 | #Constraints: 24384
356.79/357.88 c #Conflicts: 601000 | #Constraints: 25384
356.79/357.88 c #Conflicts: 602000 | #Constraints: 26384
356.79/357.88 c #Conflicts: 603000 | #Constraints: 27384
356.79/357.88 c #Conflicts: 604000 | #Constraints: 28384
356.79/357.88 c #Conflicts: 605000 | #Constraints: 29384
356.79/357.88 c #Conflicts: 606000 | #Constraints: 30384
356.79/357.88 c #Conflicts: 607000 | #Constraints: 31384
356.79/357.88 c INPROCESSING
356.79/357.88 c GARBAGE COLLECT
356.79/357.88 c rational objective 2
370.15/371.29 c #Conflicts: 608000 | #Constraints: 16599
370.15/371.29 c #Conflicts: 609000 | #Constraints: 17599
370.15/371.29 c #Conflicts: 610000 | #Constraints: 18599
370.15/371.29 c #Conflicts: 611000 | #Constraints: 19599
370.15/371.29 c #Conflicts: 612000 | #Constraints: 20599
370.15/371.29 c #Conflicts: 613000 | #Constraints: 21599
370.15/371.29 c #Conflicts: 614000 | #Constraints: 22599
370.15/371.29 c #Conflicts: 615000 | #Constraints: 23599
370.15/371.29 c #Conflicts: 616000 | #Constraints: 24646
370.15/371.29 c #Conflicts: 617000 | #Constraints: 25741
370.15/371.29 c #Conflicts: 618000 | #Constraints: 26849
370.15/371.29 c #Conflicts: 619000 | #Constraints: 27989
370.15/371.29 c #Conflicts: 620000 | #Constraints: 29131
370.15/371.29 c #Conflicts: 621000 | #Constraints: 30305
370.15/371.29 c #Conflicts: 622000 | #Constraints: 31421
370.15/371.29 c #Conflicts: 623000 | #Constraints: 32556
370.15/371.29 c INPROCESSING
370.15/371.29 c GARBAGE COLLECT
370.15/371.29 c rational objective 2
384.61/385.74 c #Conflicts: 624000 | #Constraints: 17282
384.61/385.74 c #Conflicts: 625000 | #Constraints: 18282
384.61/385.74 c #Conflicts: 626000 | #Constraints: 19282
384.61/385.74 c #Conflicts: 627000 | #Constraints: 20282
384.61/385.74 c #Conflicts: 628000 | #Constraints: 21282
384.61/385.74 c #Conflicts: 629000 | #Constraints: 22282
384.61/385.74 c #Conflicts: 630000 | #Constraints: 23282
384.61/385.74 c #Conflicts: 631000 | #Constraints: 24282
384.61/385.74 c #Conflicts: 632000 | #Constraints: 25282
384.61/385.74 c #Conflicts: 633000 | #Constraints: 26282
384.61/385.74 c #Conflicts: 634000 | #Constraints: 27282
384.61/385.74 c #Conflicts: 635000 | #Constraints: 28282
384.61/385.74 c #Conflicts: 636000 | #Constraints: 29282
384.61/385.74 c #Conflicts: 637000 | #Constraints: 30348
384.61/385.74 c #Conflicts: 638000 | #Constraints: 31470
384.61/385.74 c #Conflicts: 639000 | #Constraints: 32657
384.61/385.74 c INPROCESSING
384.61/385.74 c GARBAGE COLLECT
384.61/385.74 c rational objective 2
400.55/401.73 c #Conflicts: 640000 | #Constraints: 17394
400.55/401.73 c #Conflicts: 641000 | #Constraints: 18495
400.55/401.73 c #Conflicts: 642000 | #Constraints: 19590
400.55/401.73 c #Conflicts: 643000 | #Constraints: 20679
400.55/401.73 c #Conflicts: 644000 | #Constraints: 21753
400.55/401.73 c #Conflicts: 645000 | #Constraints: 22821
400.55/401.73 c #Conflicts: 646000 | #Constraints: 23896
400.55/401.73 c #Conflicts: 647000 | #Constraints: 24984
400.55/401.73 c #Conflicts: 648000 | #Constraints: 26053
400.55/401.73 c #Conflicts: 649000 | #Constraints: 27122
400.55/401.73 c #Conflicts: 650000 | #Constraints: 28180
400.55/401.73 c #Conflicts: 651000 | #Constraints: 29256
400.55/401.73 c #Conflicts: 652000 | #Constraints: 30352
400.55/401.73 c #Conflicts: 653000 | #Constraints: 31477
400.55/401.73 c #Conflicts: 654000 | #Constraints: 32553
400.55/401.73 c #Conflicts: 655000 | #Constraints: 33623
400.55/401.73 c INPROCESSING
400.55/401.73 c GARBAGE COLLECT
400.55/401.73 c rational objective 2
416.81/418.08 c #Conflicts: 656000 | #Constraints: 17721
416.81/418.08 c #Conflicts: 657000 | #Constraints: 18721
416.81/418.08 c #Conflicts: 658000 | #Constraints: 19721
416.81/418.08 c #Conflicts: 659000 | #Constraints: 20721
416.81/418.08 c #Conflicts: 660000 | #Constraints: 21721
416.81/418.08 c #Conflicts: 661000 | #Constraints: 22721
416.81/418.08 c #Conflicts: 662000 | #Constraints: 23721
416.81/418.08 c #Conflicts: 663000 | #Constraints: 24721
416.81/418.08 c #Conflicts: 664000 | #Constraints: 25721
416.81/418.08 c #Conflicts: 665000 | #Constraints: 26721
416.81/418.08 c #Conflicts: 666000 | #Constraints: 27721
416.81/418.08 c #Conflicts: 667000 | #Constraints: 28728
416.81/418.08 c #Conflicts: 668000 | #Constraints: 29819
416.81/418.08 c #Conflicts: 669000 | #Constraints: 30978
416.81/418.08 c #Conflicts: 670000 | #Constraints: 32108
416.81/418.08 c #Conflicts: 671000 | #Constraints: 33198
416.81/418.08 c INPROCESSING
416.81/418.08 c GARBAGE COLLECT
416.81/418.08 c rational objective 2
432.15/433.49 c #Conflicts: 672000 | #Constraints: 17337
432.15/433.49 c #Conflicts: 673000 | #Constraints: 18337
432.15/433.49 c #Conflicts: 674000 | #Constraints: 19337
432.15/433.49 c #Conflicts: 675000 | #Constraints: 20337
432.15/433.49 c #Conflicts: 676000 | #Constraints: 21337
432.15/433.49 c #Conflicts: 677000 | #Constraints: 22337
432.15/433.49 c #Conflicts: 678000 | #Constraints: 23337
432.15/433.49 c #Conflicts: 679000 | #Constraints: 24337
432.15/433.49 c #Conflicts: 680000 | #Constraints: 25337
432.15/433.49 c #Conflicts: 681000 | #Constraints: 26337
432.15/433.49 c #Conflicts: 682000 | #Constraints: 27337
432.15/433.49 c #Conflicts: 683000 | #Constraints: 28337
432.15/433.49 c #Conflicts: 684000 | #Constraints: 29337
432.15/433.49 c #Conflicts: 685000 | #Constraints: 30337
432.15/433.49 c #Conflicts: 686000 | #Constraints: 31337
432.15/433.49 c #Conflicts: 687000 | #Constraints: 32367
432.15/433.49 c #Conflicts: 688000 | #Constraints: 33437
432.15/433.49 c INPROCESSING
432.15/433.49 c GARBAGE COLLECT
432.15/433.49 c rational objective 2
447.20/448.50 c #Conflicts: 689000 | #Constraints: 17631
447.20/448.50 c #Conflicts: 690000 | #Constraints: 18631
447.20/448.50 c #Conflicts: 691000 | #Constraints: 19631
447.20/448.50 c #Conflicts: 692000 | #Constraints: 20631
447.20/448.50 c #Conflicts: 693000 | #Constraints: 21631
447.20/448.50 c #Conflicts: 694000 | #Constraints: 22631
447.20/448.50 c #Conflicts: 695000 | #Constraints: 23631
447.20/448.50 c #Conflicts: 696000 | #Constraints: 24631
447.20/448.50 c #Conflicts: 697000 | #Constraints: 25631
447.20/448.50 c #Conflicts: 698000 | #Constraints: 26631
447.20/448.50 c #Conflicts: 699000 | #Constraints: 27631
447.20/448.50 c #Conflicts: 700000 | #Constraints: 28631
447.20/448.50 c #Conflicts: 701000 | #Constraints: 29631
447.20/448.50 c #Conflicts: 702000 | #Constraints: 30631
447.20/448.50 c #Conflicts: 703000 | #Constraints: 31631
447.20/448.50 c #Conflicts: 704000 | #Constraints: 32633
447.20/448.50 c #Conflicts: 705000 | #Constraints: 33747
447.20/448.50 c INPROCESSING
447.20/448.50 c GARBAGE COLLECT
447.20/448.50 c rational objective 2
462.95/464.30 c #Conflicts: 706000 | #Constraints: 18007
462.95/464.30 c #Conflicts: 707000 | #Constraints: 19141
462.95/464.30 c #Conflicts: 708000 | #Constraints: 20303
462.95/464.30 c #Conflicts: 709000 | #Constraints: 21468
462.95/464.30 c #Conflicts: 710000 | #Constraints: 22643
462.95/464.30 c #Conflicts: 711000 | #Constraints: 23803
462.95/464.30 c #Conflicts: 712000 | #Constraints: 24967
462.95/464.30 c #Conflicts: 713000 | #Constraints: 26109
462.95/464.30 c #Conflicts: 714000 | #Constraints: 27263
462.95/464.30 c #Conflicts: 715000 | #Constraints: 28455
462.95/464.30 c #Conflicts: 716000 | #Constraints: 29642
462.95/464.30 c #Conflicts: 717000 | #Constraints: 30790
462.95/464.30 c #Conflicts: 718000 | #Constraints: 31944
462.95/464.30 c #Conflicts: 719000 | #Constraints: 33042
462.95/464.30 c #Conflicts: 720000 | #Constraints: 34153
462.95/464.30 c #Conflicts: 721000 | #Constraints: 35271
462.95/464.30 c #Conflicts: 722000 | #Constraints: 36396
462.95/464.30 c INPROCESSING
462.95/464.30 c GARBAGE COLLECT
462.95/464.30 c rational objective 2
481.89/483.30 c #Conflicts: 723000 | #Constraints: 19292
481.89/483.30 c #Conflicts: 724000 | #Constraints: 20386
481.89/483.30 c #Conflicts: 725000 | #Constraints: 21478
481.89/483.30 c #Conflicts: 726000 | #Constraints: 22563
481.89/483.30 c #Conflicts: 727000 | #Constraints: 23662
481.89/483.30 c #Conflicts: 728000 | #Constraints: 24768
481.89/483.30 c #Conflicts: 729000 | #Constraints: 25860
481.89/483.30 c #Conflicts: 730000 | #Constraints: 26956
481.89/483.30 c #Conflicts: 731000 | #Constraints: 28040
481.89/483.30 c #Conflicts: 732000 | #Constraints: 29133
481.89/483.30 c #Conflicts: 733000 | #Constraints: 30240
481.89/483.30 c #Conflicts: 734000 | #Constraints: 31349
481.89/483.30 c #Conflicts: 735000 | #Constraints: 32473
481.89/483.30 c #Conflicts: 736000 | #Constraints: 33602
481.89/483.30 c #Conflicts: 737000 | #Constraints: 34712
481.89/483.30 c #Conflicts: 738000 | #Constraints: 35828
481.89/483.30 c #Conflicts: 739000 | #Constraints: 36938
481.89/483.30 c INPROCESSING
481.89/483.30 c GARBAGE COLLECT
481.89/483.30 c rational objective 2
501.03/502.59 c #Conflicts: 740000 | #Constraints: 19450
501.03/502.59 c #Conflicts: 741000 | #Constraints: 20521
501.03/502.59 c #Conflicts: 742000 | #Constraints: 21634
501.03/502.59 c #Conflicts: 743000 | #Constraints: 22745
501.03/502.59 c #Conflicts: 744000 | #Constraints: 23833
501.03/502.59 c #Conflicts: 745000 | #Constraints: 24933
501.03/502.59 c #Conflicts: 746000 | #Constraints: 26039
501.03/502.59 c #Conflicts: 747000 | #Constraints: 27145
501.03/502.59 c #Conflicts: 748000 | #Constraints: 28243
501.03/502.59 c #Conflicts: 749000 | #Constraints: 29325
501.03/502.59 c #Conflicts: 750000 | #Constraints: 30400
501.03/502.59 c #Conflicts: 751000 | #Constraints: 31491
501.03/502.59 c #Conflicts: 752000 | #Constraints: 32605
501.03/502.59 c #Conflicts: 753000 | #Constraints: 33697
501.03/502.59 c #Conflicts: 754000 | #Constraints: 34811
501.03/502.59 c #Conflicts: 755000 | #Constraints: 35922
501.03/502.59 c #Conflicts: 756000 | #Constraints: 37092
501.03/502.59 c INPROCESSING
501.03/502.59 c GARBAGE COLLECT
501.03/502.59 c rational objective 2
520.86/522.42 c #Conflicts: 757000 | #Constraints: 19294
520.86/522.42 c #Conflicts: 758000 | #Constraints: 20294
520.86/522.42 c #Conflicts: 759000 | #Constraints: 21294
520.86/522.42 c #Conflicts: 760000 | #Constraints: 22294
520.86/522.42 c #Conflicts: 761000 | #Constraints: 23294
520.86/522.42 c #Conflicts: 762000 | #Constraints: 24294
520.86/522.42 c #Conflicts: 763000 | #Constraints: 25302
520.86/522.42 c #Conflicts: 764000 | #Constraints: 26405
520.86/522.42 c #Conflicts: 765000 | #Constraints: 27526
520.86/522.42 c #Conflicts: 766000 | #Constraints: 28645
520.86/522.42 c #Conflicts: 767000 | #Constraints: 29757
520.86/522.42 c #Conflicts: 768000 | #Constraints: 30897
520.86/522.42 c #Conflicts: 769000 | #Constraints: 32070
520.86/522.42 c #Conflicts: 770000 | #Constraints: 33162
520.86/522.42 c #Conflicts: 771000 | #Constraints: 34275
520.86/522.42 c #Conflicts: 772000 | #Constraints: 35421
520.86/522.42 c #Conflicts: 773000 | #Constraints: 36531
520.86/522.42 c #Conflicts: 774000 | #Constraints: 37652
520.86/522.42 c INPROCESSING
520.86/522.42 c GARBAGE COLLECT
520.86/522.42 c rational objective 2
540.58/542.27 c #Conflicts: 775000 | #Constraints: 19744
540.58/542.27 c #Conflicts: 776000 | #Constraints: 20744
540.58/542.27 c #Conflicts: 777000 | #Constraints: 21744
540.58/542.27 c #Conflicts: 778000 | #Constraints: 22744
540.58/542.27 c #Conflicts: 779000 | #Constraints: 23744
540.58/542.27 c #Conflicts: 780000 | #Constraints: 24744
540.58/542.27 c #Conflicts: 781000 | #Constraints: 25744
540.58/542.27 c #Conflicts: 782000 | #Constraints: 26744
540.58/542.27 c #Conflicts: 783000 | #Constraints: 27744
540.58/542.27 c #Conflicts: 784000 | #Constraints: 28744
540.58/542.27 c #Conflicts: 785000 | #Constraints: 29744
540.58/542.27 c #Conflicts: 786000 | #Constraints: 30744
540.58/542.27 c #Conflicts: 787000 | #Constraints: 31744
540.58/542.27 c #Conflicts: 788000 | #Constraints: 32744
540.58/542.27 c #Conflicts: 789000 | #Constraints: 33744
540.58/542.27 c #Conflicts: 790000 | #Constraints: 34744
540.58/542.27 c #Conflicts: 791000 | #Constraints: 35744
540.58/542.27 c #Conflicts: 792000 | #Constraints: 36744
540.58/542.27 c INPROCESSING
540.58/542.27 c GARBAGE COLLECT
540.58/542.27 c rational objective 2
561.82/563.59 c #Conflicts: 793000 | #Constraints: 19479
561.82/563.59 c #Conflicts: 794000 | #Constraints: 20633
561.82/563.59 c #Conflicts: 795000 | #Constraints: 21799
561.82/563.59 c #Conflicts: 796000 | #Constraints: 22918
561.82/563.59 c #Conflicts: 797000 | #Constraints: 24051
561.82/563.59 c #Conflicts: 798000 | #Constraints: 25171
561.82/563.59 c #Conflicts: 799000 | #Constraints: 26279
561.82/563.59 c #Conflicts: 800000 | #Constraints: 27422
561.82/563.59 c #Conflicts: 801000 | #Constraints: 28548
561.82/563.59 c #Conflicts: 802000 | #Constraints: 29697
561.82/563.59 c #Conflicts: 803000 | #Constraints: 30795
561.82/563.59 c #Conflicts: 804000 | #Constraints: 31892
561.82/563.59 c #Conflicts: 805000 | #Constraints: 33037
561.82/563.59 c #Conflicts: 806000 | #Constraints: 34173
561.82/563.59 c #Conflicts: 807000 | #Constraints: 35309
561.82/563.59 c #Conflicts: 808000 | #Constraints: 36409
561.82/563.59 c #Conflicts: 809000 | #Constraints: 37517
561.82/563.59 c #Conflicts: 810000 | #Constraints: 38626
561.82/563.59 c INPROCESSING
561.82/563.59 c GARBAGE COLLECT
561.82/563.59 c rational objective 2
582.64/584.45 c #Conflicts: 811000 | #Constraints: 20376
582.64/584.45 c #Conflicts: 812000 | #Constraints: 21475
582.64/584.45 c #Conflicts: 813000 | #Constraints: 22583
582.64/584.45 c #Conflicts: 814000 | #Constraints: 23698
582.64/584.45 c #Conflicts: 815000 | #Constraints: 24795
582.64/584.45 c #Conflicts: 816000 | #Constraints: 25891
582.64/584.45 c #Conflicts: 817000 | #Constraints: 26992
582.64/584.45 c #Conflicts: 818000 | #Constraints: 28094
582.64/584.45 c #Conflicts: 819000 | #Constraints: 29192
582.64/584.45 c #Conflicts: 820000 | #Constraints: 30314
582.64/584.45 c #Conflicts: 821000 | #Constraints: 31409
582.64/584.45 c #Conflicts: 822000 | #Constraints: 32546
582.64/584.45 c #Conflicts: 823000 | #Constraints: 33678
582.64/584.45 c #Conflicts: 824000 | #Constraints: 34876
582.64/584.45 c #Conflicts: 825000 | #Constraints: 36029
582.64/584.45 c #Conflicts: 826000 | #Constraints: 37163
582.64/584.45 c #Conflicts: 827000 | #Constraints: 38270
582.64/584.45 c #Conflicts: 828000 | #Constraints: 39372
582.64/584.45 c INPROCESSING
582.64/584.45 c GARBAGE COLLECT
582.64/584.45 c rational objective 2
607.55/609.49 c #Conflicts: 829000 | #Constraints: 20663
607.55/609.49 c #Conflicts: 830000 | #Constraints: 21695
607.55/609.49 c #Conflicts: 831000 | #Constraints: 22740
607.55/609.49 c #Conflicts: 832000 | #Constraints: 23804
607.55/609.49 c #Conflicts: 833000 | #Constraints: 24865
607.55/609.49 c #Conflicts: 834000 | #Constraints: 25912
607.55/609.49 c #Conflicts: 835000 | #Constraints: 26974
607.55/609.49 c #Conflicts: 836000 | #Constraints: 28031
607.55/609.49 c #Conflicts: 837000 | #Constraints: 29100
607.55/609.49 c #Conflicts: 838000 | #Constraints: 30175
607.55/609.49 c #Conflicts: 839000 | #Constraints: 31260
607.55/609.49 c #Conflicts: 840000 | #Constraints: 32319
607.55/609.49 c #Conflicts: 841000 | #Constraints: 33382
607.55/609.49 c #Conflicts: 842000 | #Constraints: 34445
607.55/609.49 c #Conflicts: 843000 | #Constraints: 35445
607.55/609.49 c #Conflicts: 844000 | #Constraints: 36495
607.55/609.49 c #Conflicts: 845000 | #Constraints: 37544
607.55/609.49 c #Conflicts: 846000 | #Constraints: 38583
607.55/609.49 c INPROCESSING
607.55/609.49 c GARBAGE COLLECT
607.55/609.49 c rational objective 2
630.37/632.38 c #Conflicts: 847000 | #Constraints: 20012
630.37/632.38 c #Conflicts: 848000 | #Constraints: 21090
630.37/632.38 c #Conflicts: 849000 | #Constraints: 22240
630.37/632.38 c #Conflicts: 850000 | #Constraints: 23308
630.37/632.38 c #Conflicts: 851000 | #Constraints: 24371
630.37/632.38 c #Conflicts: 852000 | #Constraints: 25446
630.37/632.38 c #Conflicts: 853000 | #Constraints: 26613
630.37/632.38 c #Conflicts: 854000 | #Constraints: 27709
630.37/632.38 c #Conflicts: 855000 | #Constraints: 28792
630.37/632.38 c #Conflicts: 856000 | #Constraints: 29910
630.37/632.38 c #Conflicts: 857000 | #Constraints: 31012
630.37/632.38 c #Conflicts: 858000 | #Constraints: 32086
630.37/632.38 c #Conflicts: 859000 | #Constraints: 33187
630.37/632.38 c #Conflicts: 860000 | #Constraints: 34296
630.37/632.38 c #Conflicts: 861000 | #Constraints: 35396
630.37/632.38 c #Conflicts: 862000 | #Constraints: 36456
630.37/632.38 c #Conflicts: 863000 | #Constraints: 37557
630.37/632.38 c #Conflicts: 864000 | #Constraints: 38637
630.37/632.38 c #Conflicts: 865000 | #Constraints: 39731
630.37/632.38 c INPROCESSING
630.37/632.38 c GARBAGE COLLECT
630.37/632.38 c rational objective 2
654.69/656.77 c #Conflicts: 866000 | #Constraints: 20790
654.69/656.77 c #Conflicts: 867000 | #Constraints: 21791
654.69/656.77 c #Conflicts: 868000 | #Constraints: 22901
654.69/656.77 c #Conflicts: 869000 | #Constraints: 24053
654.69/656.77 c #Conflicts: 870000 | #Constraints: 25154
654.69/656.77 c #Conflicts: 871000 | #Constraints: 26308
654.69/656.77 c #Conflicts: 872000 | #Constraints: 27452
654.69/656.77 c #Conflicts: 873000 | #Constraints: 28620
654.69/656.77 c #Conflicts: 874000 | #Constraints: 29755
654.69/656.77 c #Conflicts: 875000 | #Constraints: 30894
654.69/656.77 c #Conflicts: 876000 | #Constraints: 32069
654.69/656.77 c #Conflicts: 877000 | #Constraints: 33199
654.69/656.77 c #Conflicts: 878000 | #Constraints: 34307
654.69/656.77 c #Conflicts: 879000 | #Constraints: 35407
654.69/656.77 c #Conflicts: 880000 | #Constraints: 36527
654.69/656.77 c #Conflicts: 881000 | #Constraints: 37641
654.69/656.77 c #Conflicts: 882000 | #Constraints: 38754
654.69/656.77 c #Conflicts: 883000 | #Constraints: 39857
654.69/656.77 c #Conflicts: 884000 | #Constraints: 41008
654.69/656.77 c INPROCESSING
654.69/656.77 c GARBAGE COLLECT
654.69/656.77 c rational objective 2
680.01/682.14 c #Conflicts: 885000 | #Constraints: 21513
680.01/682.14 c #Conflicts: 886000 | #Constraints: 22513
680.01/682.14 c #Conflicts: 887000 | #Constraints: 23517
680.01/682.14 c #Conflicts: 888000 | #Constraints: 24602
680.01/682.14 c #Conflicts: 889000 | #Constraints: 25717
680.01/682.14 c #Conflicts: 890000 | #Constraints: 26821
680.01/682.14 c #Conflicts: 891000 | #Constraints: 27915
680.01/682.14 c #Conflicts: 892000 | #Constraints: 29090
680.01/682.14 c #Conflicts: 893000 | #Constraints: 30183
680.01/682.14 c #Conflicts: 894000 | #Constraints: 31294
680.01/682.14 c #Conflicts: 895000 | #Constraints: 32392
680.01/682.14 c #Conflicts: 896000 | #Constraints: 33508
680.01/682.14 c #Conflicts: 897000 | #Constraints: 34584
680.01/682.14 c #Conflicts: 898000 | #Constraints: 35693
680.01/682.14 c #Conflicts: 899000 | #Constraints: 36836
680.01/682.14 c #Conflicts: 900000 | #Constraints: 37974
680.01/682.14 c #Conflicts: 901000 | #Constraints: 39053
680.01/682.14 c #Conflicts: 902000 | #Constraints: 40165
680.01/682.14 c #Conflicts: 903000 | #Constraints: 41346
680.01/682.14 c INPROCESSING
680.01/682.14 c GARBAGE COLLECT
680.01/682.14 c rational objective 2
703.52/705.75 c #Conflicts: 904000 | #Constraints: 21757
703.52/705.75 c #Conflicts: 905000 | #Constraints: 22899
703.52/705.75 c #Conflicts: 906000 | #Constraints: 23998
703.52/705.75 c #Conflicts: 907000 | #Constraints: 25123
703.52/705.75 c #Conflicts: 908000 | #Constraints: 26227
703.52/705.75 c #Conflicts: 909000 | #Constraints: 27352
703.52/705.75 c #Conflicts: 910000 | #Constraints: 28449
703.52/705.75 c #Conflicts: 911000 | #Constraints: 29540
703.52/705.75 c #Conflicts: 912000 | #Constraints: 30673
703.52/705.75 c #Conflicts: 913000 | #Constraints: 31822
703.52/705.75 c #Conflicts: 914000 | #Constraints: 32938
703.52/705.75 c #Conflicts: 915000 | #Constraints: 34060
703.52/705.75 c #Conflicts: 916000 | #Constraints: 35143
703.52/705.75 c #Conflicts: 917000 | #Constraints: 36246
703.52/705.75 c #Conflicts: 918000 | #Constraints: 37335
703.52/705.75 c #Conflicts: 919000 | #Constraints: 38482
703.52/705.75 c #Conflicts: 920000 | #Constraints: 39617
703.52/705.75 c #Conflicts: 921000 | #Constraints: 40738
703.52/705.75 c #Conflicts: 922000 | #Constraints: 41879
703.52/705.75 c INPROCESSING
703.52/705.75 c GARBAGE COLLECT
703.52/705.75 c rational objective 2
727.75/730.07 c #Conflicts: 923000 | #Constraints: 21853
727.75/730.07 c #Conflicts: 924000 | #Constraints: 22853
727.75/730.07 c #Conflicts: 925000 | #Constraints: 23853
727.75/730.07 c #Conflicts: 926000 | #Constraints: 24853
727.75/730.07 c #Conflicts: 927000 | #Constraints: 25853
727.75/730.07 c #Conflicts: 928000 | #Constraints: 26853
727.75/730.07 c #Conflicts: 929000 | #Constraints: 27853
727.75/730.07 c #Conflicts: 930000 | #Constraints: 28853
727.75/730.07 c #Conflicts: 931000 | #Constraints: 29853
727.75/730.07 c #Conflicts: 932000 | #Constraints: 30853
727.75/730.07 c #Conflicts: 933000 | #Constraints: 31853
727.75/730.07 c #Conflicts: 934000 | #Constraints: 32853
727.75/730.07 c #Conflicts: 935000 | #Constraints: 33853
727.75/730.07 c #Conflicts: 936000 | #Constraints: 34853
727.75/730.07 c #Conflicts: 937000 | #Constraints: 35853
727.75/730.07 c #Conflicts: 938000 | #Constraints: 36853
727.75/730.07 c #Conflicts: 939000 | #Constraints: 37853
727.75/730.07 c #Conflicts: 940000 | #Constraints: 38853
727.75/730.07 c #Conflicts: 941000 | #Constraints: 39853
727.75/730.07 c INPROCESSING
727.75/730.07 c GARBAGE COLLECT
727.75/730.07 c rational objective 2
751.57/753.91 c #Conflicts: 942000 | #Constraints: 20671
751.57/753.91 c #Conflicts: 943000 | #Constraints: 21775
751.57/753.91 c #Conflicts: 944000 | #Constraints: 22881
751.57/753.91 c #Conflicts: 945000 | #Constraints: 23990
751.57/753.91 c #Conflicts: 946000 | #Constraints: 25098
751.57/753.91 c #Conflicts: 947000 | #Constraints: 26188
751.57/753.91 c #Conflicts: 948000 | #Constraints: 27318
751.57/753.91 c #Conflicts: 949000 | #Constraints: 28417
751.57/753.91 c #Conflicts: 950000 | #Constraints: 29531
751.57/753.91 c #Conflicts: 951000 | #Constraints: 30640
751.57/753.91 c #Conflicts: 952000 | #Constraints: 31769
751.57/753.91 c #Conflicts: 953000 | #Constraints: 32908
751.57/753.91 c #Conflicts: 954000 | #Constraints: 34044
751.57/753.91 c #Conflicts: 955000 | #Constraints: 35196
751.57/753.91 c #Conflicts: 956000 | #Constraints: 36340
751.57/753.91 c #Conflicts: 957000 | #Constraints: 37448
751.57/753.91 c #Conflicts: 958000 | #Constraints: 38618
751.57/753.91 c #Conflicts: 959000 | #Constraints: 39633
751.57/753.91 c #Conflicts: 960000 | #Constraints: 40699
751.57/753.91 c #Conflicts: 961000 | #Constraints: 41827
751.57/753.91 c INPROCESSING
751.57/753.91 c GARBAGE COLLECT
751.57/753.91 c rational objective 2
786.75/789.20 c #Conflicts: 962000 | #Constraints: 22128
786.75/789.20 c #Conflicts: 963000 | #Constraints: 23284
786.75/789.20 c #Conflicts: 964000 | #Constraints: 24466
786.75/789.20 c #Conflicts: 965000 | #Constraints: 25643
786.75/789.20 c #Conflicts: 966000 | #Constraints: 26877
786.75/789.20 c #Conflicts: 967000 | #Constraints: 27990
786.75/789.20 c #Conflicts: 968000 | #Constraints: 29110
786.75/789.20 c #Conflicts: 969000 | #Constraints: 30215
786.75/789.20 c #Conflicts: 970000 | #Constraints: 31282
786.75/789.20 c #Conflicts: 971000 | #Constraints: 32363
786.75/789.20 c #Conflicts: 972000 | #Constraints: 33434
786.75/789.20 c #Conflicts: 973000 | #Constraints: 34545
786.75/789.20 c #Conflicts: 974000 | #Constraints: 35635
786.75/789.20 c #Conflicts: 975000 | #Constraints: 36718
786.75/789.20 c #Conflicts: 976000 | #Constraints: 37777
786.75/789.20 c #Conflicts: 977000 | #Constraints: 38791
786.75/789.20 c #Conflicts: 978000 | #Constraints: 39791
786.75/789.20 c #Conflicts: 979000 | #Constraints: 40861
786.75/789.20 c #Conflicts: 980000 | #Constraints: 41934
786.75/789.20 c #Conflicts: 981000 | #Constraints: 43053
786.75/789.20 c INPROCESSING
786.75/789.20 c GARBAGE COLLECT
786.75/789.20 c rational objective 2
817.46/820.07 c #Conflicts: 982000 | #Constraints: 22581
817.46/820.07 c #Conflicts: 983000 | #Constraints: 23684
817.46/820.07 c #Conflicts: 984000 | #Constraints: 24688
817.46/820.07 c #Conflicts: 985000 | #Constraints: 25811
817.46/820.07 c #Conflicts: 986000 | #Constraints: 26937
817.46/820.07 c #Conflicts: 987000 | #Constraints: 28033
817.46/820.07 c #Conflicts: 988000 | #Constraints: 29187
817.46/820.07 c #Conflicts: 989000 | #Constraints: 30258
817.46/820.07 c #Conflicts: 990000 | #Constraints: 31360
817.46/820.07 c #Conflicts: 991000 | #Constraints: 32480
817.46/820.07 c #Conflicts: 992000 | #Constraints: 33556
817.46/820.07 c #Conflicts: 993000 | #Constraints: 34629
817.46/820.07 c #Conflicts: 994000 | #Constraints: 35700
817.46/820.07 c #Conflicts: 995000 | #Constraints: 36768
817.46/820.07 c #Conflicts: 996000 | #Constraints: 37816
817.46/820.07 c #Conflicts: 997000 | #Constraints: 38817
817.46/820.07 c #Conflicts: 998000 | #Constraints: 39817
817.46/820.07 c #Conflicts: 999000 | #Constraints: 40817
817.46/820.07 c #Conflicts: 1000000 | #Constraints: 41817
817.46/820.07 c #Conflicts: 1001000 | #Constraints: 42869
817.46/820.07 c INPROCESSING
817.46/820.07 c GARBAGE COLLECT
817.46/820.07 c rational objective 2
844.86/847.52 c #Conflicts: 1002000 | #Constraints: 22540
844.86/847.52 c #Conflicts: 1003000 | #Constraints: 23609
844.86/847.52 c #Conflicts: 1004000 | #Constraints: 24712
844.86/847.52 c #Conflicts: 1005000 | #Constraints: 25811
844.86/847.52 c #Conflicts: 1006000 | #Constraints: 26929
844.86/847.52 c #Conflicts: 1007000 | #Constraints: 27988
844.86/847.52 c #Conflicts: 1008000 | #Constraints: 28988
844.86/847.52 c #Conflicts: 1009000 | #Constraints: 30002
844.86/847.52 c #Conflicts: 1010000 | #Constraints: 31053
844.86/847.52 c #Conflicts: 1011000 | #Constraints: 32113
844.86/847.52 c #Conflicts: 1012000 | #Constraints: 33188
844.86/847.52 c #Conflicts: 1013000 | #Constraints: 34188
844.86/847.52 c #Conflicts: 1014000 | #Constraints: 35280
844.86/847.52 c #Conflicts: 1015000 | #Constraints: 36321
844.86/847.52 c #Conflicts: 1016000 | #Constraints: 37321
844.86/847.52 c #Conflicts: 1017000 | #Constraints: 38359
844.86/847.52 c #Conflicts: 1018000 | #Constraints: 39365
844.86/847.52 c #Conflicts: 1019000 | #Constraints: 40377
844.86/847.52 c #Conflicts: 1020000 | #Constraints: 41377
844.86/847.52 c #Conflicts: 1021000 | #Constraints: 42385
844.86/847.52 c INPROCESSING
844.86/847.52 c GARBAGE COLLECT
844.86/847.52 c rational objective 2
873.17/875.97 c #Conflicts: 1022000 | #Constraints: 22113
873.17/875.97 c #Conflicts: 1023000 | #Constraints: 23205
873.17/875.97 c #Conflicts: 1024000 | #Constraints: 24321
873.17/875.97 c #Conflicts: 1025000 | #Constraints: 25435
873.17/875.97 c #Conflicts: 1026000 | #Constraints: 26444
873.17/875.97 c #Conflicts: 1027000 | #Constraints: 27450
873.17/875.97 c #Conflicts: 1028000 | #Constraints: 28450
873.17/875.97 c #Conflicts: 1029000 | #Constraints: 29457
873.17/875.97 c #Conflicts: 1030000 | #Constraints: 30457
873.17/875.97 c #Conflicts: 1031000 | #Constraints: 31461
873.17/875.97 c #Conflicts: 1032000 | #Constraints: 32461
873.17/875.97 c #Conflicts: 1033000 | #Constraints: 33480
873.17/875.97 c #Conflicts: 1034000 | #Constraints: 34480
873.17/875.97 c #Conflicts: 1035000 | #Constraints: 35545
873.17/875.97 c #Conflicts: 1036000 | #Constraints: 36616
873.17/875.97 c #Conflicts: 1037000 | #Constraints: 37687
873.17/875.97 c #Conflicts: 1038000 | #Constraints: 38743
873.17/875.97 c #Conflicts: 1039000 | #Constraints: 39762
873.17/875.97 c #Conflicts: 1040000 | #Constraints: 40762
873.17/875.97 c #Conflicts: 1041000 | #Constraints: 41799
873.17/875.97 c INPROCESSING
873.17/875.97 c GARBAGE COLLECT
873.17/875.97 c rational objective 2
908.05/910.98 c #Conflicts: 1042000 | #Constraints: 21631
908.05/910.98 c #Conflicts: 1043000 | #Constraints: 22668
908.05/910.98 c #Conflicts: 1044000 | #Constraints: 23754
908.05/910.98 c #Conflicts: 1045000 | #Constraints: 24855
908.05/910.98 c #Conflicts: 1046000 | #Constraints: 25962
908.05/910.98 c #Conflicts: 1047000 | #Constraints: 27039
908.05/910.98 c #Conflicts: 1048000 | #Constraints: 28127
908.05/910.98 c #Conflicts: 1049000 | #Constraints: 29230
908.05/910.98 c #Conflicts: 1050000 | #Constraints: 30325
908.05/910.98 c #Conflicts: 1051000 | #Constraints: 31405
908.05/910.98 c #Conflicts: 1052000 | #Constraints: 32484
908.05/910.98 c #Conflicts: 1053000 | #Constraints: 33575
908.05/910.98 c #Conflicts: 1054000 | #Constraints: 34690
908.05/910.98 c #Conflicts: 1055000 | #Constraints: 35792
908.05/910.98 c #Conflicts: 1056000 | #Constraints: 36888
908.05/910.98 c #Conflicts: 1057000 | #Constraints: 38001
908.05/910.98 c #Conflicts: 1058000 | #Constraints: 39037
908.05/910.98 c #Conflicts: 1059000 | #Constraints: 40133
908.05/910.98 c #Conflicts: 1060000 | #Constraints: 41212
908.05/910.98 c #Conflicts: 1061000 | #Constraints: 42299
908.05/910.98 c #Conflicts: 1062000 | #Constraints: 43375
908.05/910.98 c INPROCESSING
908.05/910.98 c GARBAGE COLLECT
908.05/910.98 c rational objective 2
939.94/942.90 c #Conflicts: 1063000 | #Constraints: 22643
939.94/942.90 c #Conflicts: 1064000 | #Constraints: 23743
939.94/942.90 c #Conflicts: 1065000 | #Constraints: 24799
939.94/942.90 c #Conflicts: 1066000 | #Constraints: 25869
939.94/942.90 c #Conflicts: 1067000 | #Constraints: 26933
939.94/942.90 c #Conflicts: 1068000 | #Constraints: 28010
939.94/942.90 c #Conflicts: 1069000 | #Constraints: 29115
939.94/942.90 c #Conflicts: 1070000 | #Constraints: 30208
939.94/942.90 c #Conflicts: 1071000 | #Constraints: 31279
939.94/942.90 c #Conflicts: 1072000 | #Constraints: 32338
939.94/942.90 c #Conflicts: 1073000 | #Constraints: 33401
939.94/942.90 c #Conflicts: 1074000 | #Constraints: 34462
939.94/942.90 c #Conflicts: 1075000 | #Constraints: 35548
939.94/942.90 c #Conflicts: 1076000 | #Constraints: 36616
939.94/942.90 c #Conflicts: 1077000 | #Constraints: 37710
939.94/942.90 c #Conflicts: 1078000 | #Constraints: 38779
939.94/942.90 c #Conflicts: 1079000 | #Constraints: 39903
939.94/942.90 c #Conflicts: 1080000 | #Constraints: 40984
939.94/942.90 c #Conflicts: 1081000 | #Constraints: 42062
939.94/942.90 c #Conflicts: 1082000 | #Constraints: 43139
939.94/942.90 c #Conflicts: 1083000 | #Constraints: 44197
939.94/942.90 c INPROCESSING
939.94/942.90 c GARBAGE COLLECT
939.94/942.90 c rational objective 2
970.73/973.87 c #Conflicts: 1084000 | #Constraints: 23105
970.73/973.87 c #Conflicts: 1085000 | #Constraints: 24105
970.73/973.87 c #Conflicts: 1086000 | #Constraints: 25105
970.73/973.87 c #Conflicts: 1087000 | #Constraints: 26105
970.73/973.87 c #Conflicts: 1088000 | #Constraints: 27105
970.73/973.87 c #Conflicts: 1089000 | #Constraints: 28105
970.73/973.87 c #Conflicts: 1090000 | #Constraints: 29105
970.73/973.87 c #Conflicts: 1091000 | #Constraints: 30105
970.73/973.87 c #Conflicts: 1092000 | #Constraints: 31105
970.73/973.87 c #Conflicts: 1093000 | #Constraints: 32105
970.73/973.87 c #Conflicts: 1094000 | #Constraints: 33105
970.73/973.87 c #Conflicts: 1095000 | #Constraints: 34105
970.73/973.87 c #Conflicts: 1096000 | #Constraints: 35105
970.73/973.87 c #Conflicts: 1097000 | #Constraints: 36105
970.73/973.87 c #Conflicts: 1098000 | #Constraints: 37105
970.73/973.87 c #Conflicts: 1099000 | #Constraints: 38105
970.73/973.87 c #Conflicts: 1100000 | #Constraints: 39105
970.73/973.87 c #Conflicts: 1101000 | #Constraints: 40105
970.73/973.87 c #Conflicts: 1102000 | #Constraints: 41105
970.73/973.87 c #Conflicts: 1103000 | #Constraints: 42105
970.73/973.87 c #Conflicts: 1104000 | #Constraints: 43105
970.73/973.87 c INPROCESSING
970.73/973.87 c GARBAGE COLLECT
970.73/973.87 c rational objective 2
1000.62/1003.84 c #Conflicts: 1105000 | #Constraints: 22560
1000.62/1003.84 c #Conflicts: 1106000 | #Constraints: 23560
1000.62/1003.84 c #Conflicts: 1107000 | #Constraints: 24560
1000.62/1003.84 c #Conflicts: 1108000 | #Constraints: 25560
1000.62/1003.84 c #Conflicts: 1109000 | #Constraints: 26560
1000.62/1003.84 c #Conflicts: 1110000 | #Constraints: 27560
1000.62/1003.84 c #Conflicts: 1111000 | #Constraints: 28560
1000.62/1003.84 c #Conflicts: 1112000 | #Constraints: 29560
1000.62/1003.84 c #Conflicts: 1113000 | #Constraints: 30560
1000.62/1003.84 c #Conflicts: 1114000 | #Constraints: 31560
1000.62/1003.84 c #Conflicts: 1115000 | #Constraints: 32560
1000.62/1003.84 c #Conflicts: 1116000 | #Constraints: 33560
1000.62/1003.84 c #Conflicts: 1117000 | #Constraints: 34560
1000.62/1003.84 c #Conflicts: 1118000 | #Constraints: 35560
1000.62/1003.84 c #Conflicts: 1119000 | #Constraints: 36560
1000.62/1003.84 c #Conflicts: 1120000 | #Constraints: 37560
1000.62/1003.84 c #Conflicts: 1121000 | #Constraints: 38560
1000.62/1003.84 c #Conflicts: 1122000 | #Constraints: 39560
1000.62/1003.84 c #Conflicts: 1123000 | #Constraints: 40560
1000.62/1003.84 c #Conflicts: 1124000 | #Constraints: 41560
1000.62/1003.84 c #Conflicts: 1125000 | #Constraints: 42560
1000.62/1003.84 c INPROCESSING
1000.62/1003.84 c GARBAGE COLLECT
1000.62/1003.84 c rational objective 2
1032.21/1035.54 c #Conflicts: 1126000 | #Constraints: 22259
1032.21/1035.54 c #Conflicts: 1127000 | #Constraints: 23357
1032.21/1035.54 c #Conflicts: 1128000 | #Constraints: 24439
1032.21/1035.54 c #Conflicts: 1129000 | #Constraints: 25570
1032.21/1035.54 c #Conflicts: 1130000 | #Constraints: 26745
1032.21/1035.54 c #Conflicts: 1131000 | #Constraints: 27824
1032.21/1035.54 c #Conflicts: 1132000 | #Constraints: 28954
1032.21/1035.54 c #Conflicts: 1133000 | #Constraints: 30063
1032.21/1035.54 c #Conflicts: 1134000 | #Constraints: 31173
1032.21/1035.54 c #Conflicts: 1135000 | #Constraints: 32275
1032.21/1035.54 c #Conflicts: 1136000 | #Constraints: 33368
1032.21/1035.54 c #Conflicts: 1137000 | #Constraints: 34490
1032.21/1035.54 c #Conflicts: 1138000 | #Constraints: 35571
1032.21/1035.54 c #Conflicts: 1139000 | #Constraints: 36651
1032.21/1035.54 c #Conflicts: 1140000 | #Constraints: 37734
1032.21/1035.54 c #Conflicts: 1141000 | #Constraints: 38825
1032.21/1035.54 c #Conflicts: 1142000 | #Constraints: 39958
1032.21/1035.54 c #Conflicts: 1143000 | #Constraints: 41041
1032.21/1035.54 c #Conflicts: 1144000 | #Constraints: 42092
1032.21/1035.54 c #Conflicts: 1145000 | #Constraints: 43165
1032.21/1035.54 c #Conflicts: 1146000 | #Constraints: 44251
1032.21/1035.54 c INPROCESSING
1032.21/1035.54 c GARBAGE COLLECT
1032.21/1035.54 c rational objective 2
1064.49/1067.98 c #Conflicts: 1147000 | #Constraints: 22879
1064.49/1067.98 c #Conflicts: 1148000 | #Constraints: 23983
1064.49/1067.98 c #Conflicts: 1149000 | #Constraints: 25092
1064.49/1067.98 c #Conflicts: 1150000 | #Constraints: 26208
1064.49/1067.98 c #Conflicts: 1151000 | #Constraints: 27305
1064.49/1067.98 c #Conflicts: 1152000 | #Constraints: 28415
1064.49/1067.98 c #Conflicts: 1153000 | #Constraints: 29519
1064.49/1067.98 c #Conflicts: 1154000 | #Constraints: 30618
1064.49/1067.98 c #Conflicts: 1155000 | #Constraints: 31817
1064.49/1067.98 c #Conflicts: 1156000 | #Constraints: 32968
1064.49/1067.98 c #Conflicts: 1157000 | #Constraints: 34070
1064.49/1067.98 c #Conflicts: 1158000 | #Constraints: 35157
1064.49/1067.98 c #Conflicts: 1159000 | #Constraints: 36266
1064.49/1067.98 c #Conflicts: 1160000 | #Constraints: 37472
1064.49/1067.98 c #Conflicts: 1161000 | #Constraints: 38554
1064.49/1067.98 c #Conflicts: 1162000 | #Constraints: 39663
1064.49/1067.98 c #Conflicts: 1163000 | #Constraints: 40781
1064.49/1067.98 c #Conflicts: 1164000 | #Constraints: 41900
1064.49/1067.98 c #Conflicts: 1165000 | #Constraints: 43049
1064.49/1067.98 c #Conflicts: 1166000 | #Constraints: 44217
1064.49/1067.98 c #Conflicts: 1167000 | #Constraints: 45321
1064.49/1067.98 c #Conflicts: 1168000 | #Constraints: 46426
1064.49/1067.98 c INPROCESSING
1064.49/1067.98 c GARBAGE COLLECT
1064.49/1067.98 c rational objective 2
1096.08/1099.67 c #Conflicts: 1169000 | #Constraints: 24130
1096.08/1099.67 c #Conflicts: 1170000 | #Constraints: 25130
1096.08/1099.67 c #Conflicts: 1171000 | #Constraints: 26130
1096.08/1099.67 c #Conflicts: 1172000 | #Constraints: 27130
1096.08/1099.67 c #Conflicts: 1173000 | #Constraints: 28130
1096.08/1099.67 c #Conflicts: 1174000 | #Constraints: 29130
1096.08/1099.67 c #Conflicts: 1175000 | #Constraints: 30174
1096.08/1099.67 c #Conflicts: 1176000 | #Constraints: 31262
1096.08/1099.67 c #Conflicts: 1177000 | #Constraints: 32346
1096.08/1099.67 c #Conflicts: 1178000 | #Constraints: 33426
1096.08/1099.67 c #Conflicts: 1179000 | #Constraints: 34530
1096.08/1099.67 c #Conflicts: 1180000 | #Constraints: 35616
1096.08/1099.67 c #Conflicts: 1181000 | #Constraints: 36704
1096.08/1099.67 c #Conflicts: 1182000 | #Constraints: 37797
1096.08/1099.67 c #Conflicts: 1183000 | #Constraints: 38871
1096.08/1099.67 c #Conflicts: 1184000 | #Constraints: 39952
1096.08/1099.67 c #Conflicts: 1185000 | #Constraints: 41067
1096.08/1099.67 c #Conflicts: 1186000 | #Constraints: 42151
1096.08/1099.67 c #Conflicts: 1187000 | #Constraints: 43257
1096.08/1099.67 c #Conflicts: 1188000 | #Constraints: 44341
1096.08/1099.67 c #Conflicts: 1189000 | #Constraints: 45429
1096.08/1099.67 c #Conflicts: 1190000 | #Constraints: 46535
1096.08/1099.67 c INPROCESSING
1096.08/1099.67 c GARBAGE COLLECT
1096.08/1099.67 c rational objective 2
1127.58/1131.27 c #Conflicts: 1191000 | #Constraints: 24336
1127.58/1131.27 c #Conflicts: 1192000 | #Constraints: 25407
1127.58/1131.27 c #Conflicts: 1193000 | #Constraints: 26420
1127.58/1131.27 c #Conflicts: 1194000 | #Constraints: 27488
1127.58/1131.27 c #Conflicts: 1195000 | #Constraints: 28509
1127.58/1131.27 c #Conflicts: 1196000 | #Constraints: 29509
1127.58/1131.27 c #Conflicts: 1197000 | #Constraints: 30509
1127.58/1131.27 c #Conflicts: 1198000 | #Constraints: 31509
1127.58/1131.27 c #Conflicts: 1199000 | #Constraints: 32509
1127.58/1131.27 c #Conflicts: 1200000 | #Constraints: 33509
1127.58/1131.27 c #Conflicts: 1201000 | #Constraints: 34509
1127.58/1131.27 c #Conflicts: 1202000 | #Constraints: 35509
1127.58/1131.27 c #Conflicts: 1203000 | #Constraints: 36509
1127.58/1131.27 c #Conflicts: 1204000 | #Constraints: 37509
1127.58/1131.27 c #Conflicts: 1205000 | #Constraints: 38509
1127.58/1131.27 c #Conflicts: 1206000 | #Constraints: 39509
1127.58/1131.27 c #Conflicts: 1207000 | #Constraints: 40509
1127.58/1131.27 c #Conflicts: 1208000 | #Constraints: 41509
1127.58/1131.27 c #Conflicts: 1209000 | #Constraints: 42509
1127.58/1131.27 c #Conflicts: 1210000 | #Constraints: 43509
1127.58/1131.27 c #Conflicts: 1211000 | #Constraints: 44509
1127.58/1131.27 c #Conflicts: 1212000 | #Constraints: 45509
1127.58/1131.27 c INPROCESSING
1127.58/1131.27 c GARBAGE COLLECT
1127.58/1131.27 c rational objective 2
1155.30/1159.01 c #Conflicts: 1213000 | #Constraints: 23759
1155.30/1159.01 c #Conflicts: 1214000 | #Constraints: 24759
1155.30/1159.01 c #Conflicts: 1215000 | #Constraints: 25759
1155.30/1159.01 c #Conflicts: 1216000 | #Constraints: 26759
1155.30/1159.01 c #Conflicts: 1217000 | #Constraints: 27759
1155.30/1159.01 c #Conflicts: 1218000 | #Constraints: 28759
1155.30/1159.01 c #Conflicts: 1219000 | #Constraints: 29759
1155.30/1159.01 c #Conflicts: 1220000 | #Constraints: 30759
1155.30/1159.01 c #Conflicts: 1221000 | #Constraints: 31759
1155.30/1159.01 c #Conflicts: 1222000 | #Constraints: 32759
1155.30/1159.01 c #Conflicts: 1223000 | #Constraints: 33759
1155.30/1159.01 c #Conflicts: 1224000 | #Constraints: 34759
1155.30/1159.01 c #Conflicts: 1225000 | #Constraints: 35759
1155.30/1159.01 c #Conflicts: 1226000 | #Constraints: 36759
1155.30/1159.01 c #Conflicts: 1227000 | #Constraints: 37759
1155.30/1159.01 c #Conflicts: 1228000 | #Constraints: 38759
1155.30/1159.01 c #Conflicts: 1229000 | #Constraints: 39759
1155.30/1159.01 c #Conflicts: 1230000 | #Constraints: 40759
1155.30/1159.01 c #Conflicts: 1231000 | #Constraints: 41759
1155.30/1159.01 c #Conflicts: 1232000 | #Constraints: 42759
1155.30/1159.01 c #Conflicts: 1233000 | #Constraints: 43759
1155.30/1159.01 c #Conflicts: 1234000 | #Constraints: 44759
1155.30/1159.01 c INPROCESSING
1155.30/1159.01 c GARBAGE COLLECT
1155.30/1159.01 c rational objective 2
1282.48/1286.62 c #Conflicts: 1235000 | #Constraints: 23345
1282.48/1286.62 c #Conflicts: 1236000 | #Constraints: 24485
1282.48/1286.62 c #Conflicts: 1237000 | #Constraints: 25603
1282.48/1286.62 c #Conflicts: 1238000 | #Constraints: 26744
1282.48/1286.62 c #Conflicts: 1239000 | #Constraints: 27881
1282.48/1286.62 c #Conflicts: 1240000 | #Constraints: 29014
1282.48/1286.62 c #Conflicts: 1241000 | #Constraints: 30138
1282.48/1286.62 c #Conflicts: 1242000 | #Constraints: 31250
1282.48/1286.62 c #Conflicts: 1243000 | #Constraints: 32354
1282.48/1286.62 c #Conflicts: 1244000 | #Constraints: 33458
1282.48/1286.62 c #Conflicts: 1245000 | #Constraints: 34560
1282.48/1286.62 c #Conflicts: 1246000 | #Constraints: 35689
1282.48/1286.62 c #Conflicts: 1247000 | #Constraints: 36776
1282.48/1286.62 c #Conflicts: 1248000 | #Constraints: 37878
1282.48/1286.62 c #Conflicts: 1249000 | #Constraints: 38963
1282.48/1286.62 c #Conflicts: 1250000 | #Constraints: 40065
1282.48/1286.62 c #Conflicts: 1251000 | #Constraints: 41186
1282.48/1286.62 c #Conflicts: 1252000 | #Constraints: 42288
1282.48/1286.62 c #Conflicts: 1253000 | #Constraints: 43415
1282.48/1286.62 c #Conflicts: 1254000 | #Constraints: 44536
1282.48/1286.62 c #Conflicts: 1255000 | #Constraints: 45652
1282.48/1286.62 c #Conflicts: 1256000 | #Constraints: 46757
1282.48/1286.62 c INPROCESSING
1282.48/1286.62 c GARBAGE COLLECT
1282.48/1286.62 c #Conflicts: 1257000 | #Constraints: 24182
1282.48/1286.62 c #Conflicts: 1258000 | #Constraints: 25301
1282.48/1286.62 c #Conflicts: 1259000 | #Constraints: 26444
1282.48/1286.62 c #Conflicts: 1260000 | #Constraints: 27557
1282.48/1286.62 c #Conflicts: 1261000 | #Constraints: 28695
1282.48/1286.62 c #Conflicts: 1262000 | #Constraints: 29816
1282.48/1286.62 c #Conflicts: 1263000 | #Constraints: 30963
1282.48/1286.62 c #Conflicts: 1264000 | #Constraints: 32066
1282.48/1286.62 c #Conflicts: 1265000 | #Constraints: 33177
1282.48/1286.62 c #Conflicts: 1266000 | #Constraints: 34292
1282.48/1286.62 c #Conflicts: 1267000 | #Constraints: 35474
1282.48/1286.62 c #Conflicts: 1268000 | #Constraints: 36655
1282.48/1286.62 c #Conflicts: 1269000 | #Constraints: 37782
1282.48/1286.62 c #Conflicts: 1270000 | #Constraints: 38869
1282.48/1286.62 c #Conflicts: 1271000 | #Constraints: 39972
1282.48/1286.62 c #Conflicts: 1272000 | #Constraints: 41071
1282.48/1286.62 c #Conflicts: 1273000 | #Constraints: 42208
1282.48/1286.62 c #Conflicts: 1274000 | #Constraints: 43293
1282.48/1286.62 c #Conflicts: 1275000 | #Constraints: 44388
1282.48/1286.62 c #Conflicts: 1276000 | #Constraints: 45526
1282.48/1286.62 c #Conflicts: 1277000 | #Constraints: 46626
1282.48/1286.62 c #Conflicts: 1278000 | #Constraints: 47753
1282.48/1286.62 c #Conflicts: 1279000 | #Constraints: 48903
1282.48/1286.62 c INPROCESSING
1282.48/1286.62 c GARBAGE COLLECT
1282.48/1286.62 c #Conflicts: 1280000 | #Constraints: 25464
1282.48/1286.62 c #Conflicts: 1281000 | #Constraints: 26602
1282.48/1286.62 c #Conflicts: 1282000 | #Constraints: 27735
1282.48/1286.62 c #Conflicts: 1283000 | #Constraints: 28902
1282.48/1286.62 c #Conflicts: 1284000 | #Constraints: 30027
1282.48/1286.62 c #Conflicts: 1285000 | #Constraints: 31160
1282.48/1286.62 c #Conflicts: 1286000 | #Constraints: 32253
1282.48/1286.62 c #Conflicts: 1287000 | #Constraints: 33342
1282.48/1286.62 c #Conflicts: 1288000 | #Constraints: 34445
1282.48/1286.62 c #Conflicts: 1289000 | #Constraints: 35536
1282.48/1286.62 c #Conflicts: 1290000 | #Constraints: 36719
1282.48/1286.62 c #Conflicts: 1291000 | #Constraints: 37912
1282.48/1286.62 c #Conflicts: 1292000 | #Constraints: 39040
1282.48/1286.63 c #Conflicts: 1293000 | #Constraints: 40136
1282.48/1286.63 c #Conflicts: 1294000 | #Constraints: 41242
1282.48/1286.63 c #Conflicts: 1295000 | #Constraints: 42341
1282.48/1286.63 c #Conflicts: 1296000 | #Constraints: 43441
1282.48/1286.63 c #Conflicts: 1297000 | #Constraints: 44547
1282.48/1286.63 c #Conflicts: 1298000 | #Constraints: 45663
1282.48/1286.63 c #Conflicts: 1299000 | #Constraints: 46752
1282.48/1286.63 c #Conflicts: 1300000 | #Constraints: 47847
1282.48/1286.63 c #Conflicts: 1301000 | #Constraints: 48916
1282.48/1286.63 c #Conflicts: 1302000 | #Constraints: 49988
1282.48/1286.63 c INPROCESSING
1282.48/1286.63 c GARBAGE COLLECT
1282.48/1286.63 c #Conflicts: 1303000 | #Constraints: 26107
1282.48/1286.63 c #Conflicts: 1304000 | #Constraints: 27275
1282.48/1286.63 c #Conflicts: 1305000 | #Constraints: 28391
1282.48/1286.63 c #Conflicts: 1306000 | #Constraints: 29510
1282.48/1286.63 c #Conflicts: 1307000 | #Constraints: 30634
1282.48/1286.63 c #Conflicts: 1308000 | #Constraints: 31754
1282.48/1286.63 c #Conflicts: 1309000 | #Constraints: 32898
1282.48/1286.63 c #Conflicts: 1310000 | #Constraints: 34020
1282.48/1286.63 c #Conflicts: 1311000 | #Constraints: 35165
1431.44/1436.14 c #Conflicts: 1312000 | #Constraints: 36286
1431.44/1436.14 c #Conflicts: 1313000 | #Constraints: 37437
1431.44/1436.14 c #Conflicts: 1314000 | #Constraints: 38533
1431.44/1436.14 c #Conflicts: 1315000 | #Constraints: 39632
1431.44/1436.14 c #Conflicts: 1316000 | #Constraints: 40709
1431.44/1436.14 c #Conflicts: 1317000 | #Constraints: 41823
1431.44/1436.14 c #Conflicts: 1318000 | #Constraints: 42939
1431.44/1436.14 c #Conflicts: 1319000 | #Constraints: 44035
1431.44/1436.14 c #Conflicts: 1320000 | #Constraints: 45142
1431.44/1436.14 c #Conflicts: 1321000 | #Constraints: 46245
1431.44/1436.14 c #Conflicts: 1322000 | #Constraints: 47369
1431.44/1436.14 c #Conflicts: 1323000 | #Constraints: 48476
1431.44/1436.14 c #Conflicts: 1324000 | #Constraints: 49607
1431.44/1436.14 c #Conflicts: 1325000 | #Constraints: 50736
1431.44/1436.14 c INPROCESSING
1431.44/1436.14 c GARBAGE COLLECT
1431.44/1436.14 c #Conflicts: 1326000 | #Constraints: 26506
1431.44/1436.14 c #Conflicts: 1327000 | #Constraints: 27634
1431.44/1436.14 c #Conflicts: 1328000 | #Constraints: 28771
1431.44/1436.14 c #Conflicts: 1329000 | #Constraints: 29917
1431.44/1436.14 c #Conflicts: 1330000 | #Constraints: 31034
1431.44/1436.14 c #Conflicts: 1331000 | #Constraints: 32168
1431.44/1436.14 c #Conflicts: 1332000 | #Constraints: 33322
1431.44/1436.14 c #Conflicts: 1333000 | #Constraints: 34455
1431.44/1436.14 c #Conflicts: 1334000 | #Constraints: 35563
1431.44/1436.14 c #Conflicts: 1335000 | #Constraints: 36676
1431.44/1436.14 c #Conflicts: 1336000 | #Constraints: 37763
1431.44/1436.14 c #Conflicts: 1337000 | #Constraints: 38882
1431.44/1436.14 c #Conflicts: 1338000 | #Constraints: 39987
1431.44/1436.14 c #Conflicts: 1339000 | #Constraints: 41090
1431.44/1436.14 c #Conflicts: 1340000 | #Constraints: 42191
1431.44/1436.14 c #Conflicts: 1341000 | #Constraints: 43291
1431.44/1436.14 c #Conflicts: 1342000 | #Constraints: 44418
1431.44/1436.14 c #Conflicts: 1343000 | #Constraints: 45555
1431.44/1436.14 c #Conflicts: 1344000 | #Constraints: 46638
1431.44/1436.14 c #Conflicts: 1345000 | #Constraints: 47754
1431.44/1436.14 c #Conflicts: 1346000 | #Constraints: 48860
1431.44/1436.14 c #Conflicts: 1347000 | #Constraints: 49979
1431.44/1436.14 c #Conflicts: 1348000 | #Constraints: 51093
1431.44/1436.14 c INPROCESSING
1431.44/1436.14 c GARBAGE COLLECT
1431.44/1436.14 c #Conflicts: 1349000 | #Constraints: 26574
1431.44/1436.14 c #Conflicts: 1350000 | #Constraints: 27724
1431.44/1436.14 c #Conflicts: 1351000 | #Constraints: 28845
1431.44/1436.14 c #Conflicts: 1352000 | #Constraints: 29965
1431.44/1436.14 c #Conflicts: 1353000 | #Constraints: 31072
1431.44/1436.14 c #Conflicts: 1354000 | #Constraints: 32183
1431.44/1436.14 c #Conflicts: 1355000 | #Constraints: 33316
1431.44/1436.14 c #Conflicts: 1356000 | #Constraints: 34451
1431.44/1436.14 c #Conflicts: 1357000 | #Constraints: 35584
1431.44/1436.14 c #Conflicts: 1358000 | #Constraints: 36696
1431.44/1436.14 c #Conflicts: 1359000 | #Constraints: 37858
1431.44/1436.14 c #Conflicts: 1360000 | #Constraints: 38939
1431.44/1436.14 c #Conflicts: 1361000 | #Constraints: 40055
1431.44/1436.14 c #Conflicts: 1362000 | #Constraints: 41179
1431.44/1436.14 c #Conflicts: 1363000 | #Constraints: 42293
1431.44/1436.14 c #Conflicts: 1364000 | #Constraints: 43427
1431.44/1436.14 c #Conflicts: 1365000 | #Constraints: 44534
1431.44/1436.14 c #Conflicts: 1366000 | #Constraints: 45699
1431.44/1436.14 c #Conflicts: 1367000 | #Constraints: 46819
1431.44/1436.14 c #Conflicts: 1368000 | #Constraints: 47920
1431.44/1436.14 c #Conflicts: 1369000 | #Constraints: 49043
1431.44/1436.14 c #Conflicts: 1370000 | #Constraints: 50168
1431.44/1436.14 c #Conflicts: 1371000 | #Constraints: 51293
1431.44/1436.14 c INPROCESSING
1431.44/1436.14 c GARBAGE COLLECT
1431.44/1436.14 c #Conflicts: 1372000 | #Constraints: 26474
1431.44/1436.14 c #Conflicts: 1373000 | #Constraints: 27654
1431.44/1436.14 c #Conflicts: 1374000 | #Constraints: 28753
1431.44/1436.14 c #Conflicts: 1375000 | #Constraints: 29841
1431.44/1436.14 c #Conflicts: 1376000 | #Constraints: 30950
1431.44/1436.14 c #Conflicts: 1377000 | #Constraints: 32058
1431.44/1436.14 c #Conflicts: 1378000 | #Constraints: 33175
1431.44/1436.14 c #Conflicts: 1379000 | #Constraints: 34258
1431.44/1436.14 c #Conflicts: 1380000 | #Constraints: 35394
1431.44/1436.14 c #Conflicts: 1381000 | #Constraints: 36502
1431.44/1436.14 c #Conflicts: 1382000 | #Constraints: 37627
1431.44/1436.14 c #Conflicts: 1383000 | #Constraints: 38735
1431.44/1436.14 c #Conflicts: 1384000 | #Constraints: 39836
1431.44/1436.14 c #Conflicts: 1385000 | #Constraints: 40934
1431.44/1436.14 c #Conflicts: 1386000 | #Constraints: 42039
1431.44/1436.14 c #Conflicts: 1387000 | #Constraints: 43196
1431.44/1436.14 c #Conflicts: 1388000 | #Constraints: 44287
1591.48/1596.83 c #Conflicts: 1389000 | #Constraints: 45398
1591.48/1596.83 c #Conflicts: 1390000 | #Constraints: 46527
1591.48/1596.83 c #Conflicts: 1391000 | #Constraints: 47627
1591.48/1596.83 c #Conflicts: 1392000 | #Constraints: 48711
1591.48/1596.83 c #Conflicts: 1393000 | #Constraints: 49814
1591.48/1596.83 c #Conflicts: 1394000 | #Constraints: 50928
1591.48/1596.83 c #Conflicts: 1395000 | #Constraints: 52040
1591.48/1596.83 c INPROCESSING
1591.48/1596.83 c GARBAGE COLLECT
1591.48/1596.83 c #Conflicts: 1396000 | #Constraints: 27036
1591.48/1596.83 c #Conflicts: 1397000 | #Constraints: 28114
1591.48/1596.83 c #Conflicts: 1398000 | #Constraints: 29150
1591.48/1596.83 c #Conflicts: 1399000 | #Constraints: 30267
1591.48/1596.83 c #Conflicts: 1400000 | #Constraints: 31397
1591.48/1596.83 c #Conflicts: 1401000 | #Constraints: 32530
1591.48/1596.83 c #Conflicts: 1402000 | #Constraints: 33674
1591.48/1596.83 c #Conflicts: 1403000 | #Constraints: 34787
1591.48/1596.83 c #Conflicts: 1404000 | #Constraints: 35901
1591.48/1596.83 c #Conflicts: 1405000 | #Constraints: 37027
1591.48/1596.83 c #Conflicts: 1406000 | #Constraints: 38097
1591.48/1596.83 c #Conflicts: 1407000 | #Constraints: 39227
1591.48/1596.83 c #Conflicts: 1408000 | #Constraints: 40304
1591.48/1596.83 c #Conflicts: 1409000 | #Constraints: 41399
1591.48/1596.83 c #Conflicts: 1410000 | #Constraints: 42543
1591.48/1596.83 c #Conflicts: 1411000 | #Constraints: 43658
1591.48/1596.83 c #Conflicts: 1412000 | #Constraints: 44764
1591.48/1596.83 c #Conflicts: 1413000 | #Constraints: 45883
1591.48/1596.83 c #Conflicts: 1414000 | #Constraints: 47002
1591.48/1596.83 c #Conflicts: 1415000 | #Constraints: 48148
1591.48/1596.83 c #Conflicts: 1416000 | #Constraints: 49300
1591.48/1596.83 c #Conflicts: 1417000 | #Constraints: 50469
1591.48/1596.83 c #Conflicts: 1418000 | #Constraints: 51600
1591.48/1596.83 c #Conflicts: 1419000 | #Constraints: 52728
1591.48/1596.83 c INPROCESSING
1591.48/1596.83 c GARBAGE COLLECT
1591.48/1596.83 c #Conflicts: 1420000 | #Constraints: 27529
1591.48/1596.83 c #Conflicts: 1421000 | #Constraints: 28626
1591.48/1596.83 c #Conflicts: 1422000 | #Constraints: 29739
1591.48/1596.83 c #Conflicts: 1423000 | #Constraints: 30869
1591.48/1596.83 c #Conflicts: 1424000 | #Constraints: 31964
1591.48/1596.83 c #Conflicts: 1425000 | #Constraints: 33064
1591.48/1596.83 c #Conflicts: 1426000 | #Constraints: 34181
1591.48/1596.83 c #Conflicts: 1427000 | #Constraints: 35305
1591.48/1596.83 c #Conflicts: 1428000 | #Constraints: 36437
1591.48/1596.83 c #Conflicts: 1429000 | #Constraints: 37559
1591.48/1596.83 c #Conflicts: 1430000 | #Constraints: 38670
1591.48/1596.83 c #Conflicts: 1431000 | #Constraints: 39828
1591.48/1596.83 c #Conflicts: 1432000 | #Constraints: 40959
1591.48/1596.83 c #Conflicts: 1433000 | #Constraints: 42107
1591.48/1596.83 c #Conflicts: 1434000 | #Constraints: 43223
1591.48/1596.83 c #Conflicts: 1435000 | #Constraints: 44330
1591.48/1596.83 c #Conflicts: 1436000 | #Constraints: 45467
1591.48/1596.83 c #Conflicts: 1437000 | #Constraints: 46594
1591.48/1596.83 c #Conflicts: 1438000 | #Constraints: 47720
1591.48/1596.83 c #Conflicts: 1439000 | #Constraints: 48826
1591.48/1596.83 c #Conflicts: 1440000 | #Constraints: 49925
1591.48/1596.83 c #Conflicts: 1441000 | #Constraints: 51037
1591.48/1596.83 c #Conflicts: 1442000 | #Constraints: 52147
1591.48/1596.83 c #Conflicts: 1443000 | #Constraints: 53251
1591.48/1596.83 c INPROCESSING
1591.48/1596.83 c GARBAGE COLLECT
1591.48/1596.83 c #Conflicts: 1444000 | #Constraints: 27735
1591.48/1596.83 c #Conflicts: 1445000 | #Constraints: 28854
1591.48/1596.83 c #Conflicts: 1446000 | #Constraints: 29971
1591.48/1596.83 c #Conflicts: 1447000 | #Constraints: 31079
1591.48/1596.83 c #Conflicts: 1448000 | #Constraints: 32186
1591.48/1596.83 c #Conflicts: 1449000 | #Constraints: 33309
1591.48/1596.83 c #Conflicts: 1450000 | #Constraints: 34419
1591.48/1596.83 c #Conflicts: 1451000 | #Constraints: 35500
1591.48/1596.83 c #Conflicts: 1452000 | #Constraints: 36599
1591.48/1596.83 c #Conflicts: 1453000 | #Constraints: 37688
1591.48/1596.83 c #Conflicts: 1454000 | #Constraints: 38782
1591.48/1596.83 c #Conflicts: 1455000 | #Constraints: 39874
1591.48/1596.83 c #Conflicts: 1456000 | #Constraints: 40975
1591.48/1596.83 c #Conflicts: 1457000 | #Constraints: 42052
1591.48/1596.83 c #Conflicts: 1458000 | #Constraints: 43135
1591.48/1596.83 c #Conflicts: 1459000 | #Constraints: 44217
1591.48/1596.83 c #Conflicts: 1460000 | #Constraints: 45320
1591.48/1596.83 c #Conflicts: 1461000 | #Constraints: 46422
1591.48/1596.83 c #Conflicts: 1462000 | #Constraints: 47533
1591.48/1596.83 c #Conflicts: 1463000 | #Constraints: 48669
1591.48/1596.83 c #Conflicts: 1464000 | #Constraints: 49748
1591.48/1596.83 c #Conflicts: 1465000 | #Constraints: 50883
1753.61/1759.69 c #Conflicts: 1466000 | #Constraints: 52011
1753.61/1759.69 c #Conflicts: 1467000 | #Constraints: 53124
1753.61/1759.69 c INPROCESSING
1753.61/1759.69 c GARBAGE COLLECT
1753.61/1759.69 c #Conflicts: 1468000 | #Constraints: 27573
1753.61/1759.69 c #Conflicts: 1469000 | #Constraints: 28716
1753.61/1759.69 c #Conflicts: 1470000 | #Constraints: 29830
1753.61/1759.69 c #Conflicts: 1471000 | #Constraints: 30933
1753.61/1759.69 c #Conflicts: 1472000 | #Constraints: 32107
1753.61/1759.69 c #Conflicts: 1473000 | #Constraints: 33204
1753.61/1759.69 c #Conflicts: 1474000 | #Constraints: 34281
1753.61/1759.69 c #Conflicts: 1475000 | #Constraints: 35394
1753.61/1759.69 c #Conflicts: 1476000 | #Constraints: 36495
1753.61/1759.69 c #Conflicts: 1477000 | #Constraints: 37595
1753.61/1759.69 c #Conflicts: 1478000 | #Constraints: 38688
1753.61/1759.69 c #Conflicts: 1479000 | #Constraints: 39781
1753.61/1759.69 c #Conflicts: 1480000 | #Constraints: 40878
1753.61/1759.69 c #Conflicts: 1481000 | #Constraints: 41991
1753.61/1759.69 c #Conflicts: 1482000 | #Constraints: 43096
1753.61/1759.69 c #Conflicts: 1483000 | #Constraints: 44265
1753.61/1759.69 c #Conflicts: 1484000 | #Constraints: 45415
1753.61/1759.69 c #Conflicts: 1485000 | #Constraints: 46514
1753.61/1759.69 c #Conflicts: 1486000 | #Constraints: 47639
1753.61/1759.69 c #Conflicts: 1487000 | #Constraints: 48757
1753.61/1759.69 c #Conflicts: 1488000 | #Constraints: 49891
1753.61/1759.69 c #Conflicts: 1489000 | #Constraints: 51038
1753.61/1759.69 c #Conflicts: 1490000 | #Constraints: 52164
1753.61/1759.69 c #Conflicts: 1491000 | #Constraints: 53278
1753.61/1759.69 c INPROCESSING
1753.61/1759.69 c GARBAGE COLLECT
1753.61/1759.69 c #Conflicts: 1492000 | #Constraints: 27430
1753.61/1759.69 c #Conflicts: 1493000 | #Constraints: 28586
1753.61/1759.69 c #Conflicts: 1494000 | #Constraints: 29704
1753.61/1759.69 c #Conflicts: 1495000 | #Constraints: 30833
1753.61/1759.69 c #Conflicts: 1496000 | #Constraints: 31953
1753.61/1759.69 c #Conflicts: 1497000 | #Constraints: 33058
1753.61/1759.69 c #Conflicts: 1498000 | #Constraints: 34130
1753.61/1759.69 c #Conflicts: 1499000 | #Constraints: 35226
1753.61/1759.69 c #Conflicts: 1500000 | #Constraints: 36346
1753.61/1759.69 c #Conflicts: 1501000 | #Constraints: 37448
1753.61/1759.69 c #Conflicts: 1502000 | #Constraints: 38555
1753.61/1759.69 c #Conflicts: 1503000 | #Constraints: 39662
1753.61/1759.69 c #Conflicts: 1504000 | #Constraints: 40790
1753.61/1759.69 c #Conflicts: 1505000 | #Constraints: 41912
1753.61/1759.69 c #Conflicts: 1506000 | #Constraints: 43019
1753.61/1759.69 c #Conflicts: 1507000 | #Constraints: 44131
1753.61/1759.69 c #Conflicts: 1508000 | #Constraints: 45245
1753.61/1759.69 c #Conflicts: 1509000 | #Constraints: 46361
1753.61/1759.69 c #Conflicts: 1510000 | #Constraints: 47490
1753.61/1759.69 c #Conflicts: 1511000 | #Constraints: 48636
1753.61/1759.69 c #Conflicts: 1512000 | #Constraints: 49755
1753.61/1759.69 c #Conflicts: 1513000 | #Constraints: 50873
1753.61/1759.69 c #Conflicts: 1514000 | #Constraints: 52033
1753.61/1759.69 c #Conflicts: 1515000 | #Constraints: 53130
1753.61/1759.69 c #Conflicts: 1516000 | #Constraints: 54222
1753.61/1759.69 c INPROCESSING
1753.61/1759.69 c GARBAGE COLLECT
1753.61/1759.69 c #Conflicts: 1517000 | #Constraints: 28133
1753.61/1759.69 c #Conflicts: 1518000 | #Constraints: 29251
1753.61/1759.69 c #Conflicts: 1519000 | #Constraints: 30348
1753.61/1759.69 c #Conflicts: 1520000 | #Constraints: 31455
1753.61/1759.69 c #Conflicts: 1521000 | #Constraints: 32571
1753.61/1759.69 c #Conflicts: 1522000 | #Constraints: 33718
1753.61/1759.69 c #Conflicts: 1523000 | #Constraints: 34813
1753.61/1759.69 c #Conflicts: 1524000 | #Constraints: 35926
1753.61/1759.69 c #Conflicts: 1525000 | #Constraints: 37025
1753.61/1759.69 c #Conflicts: 1526000 | #Constraints: 38129
1753.61/1759.69 c #Conflicts: 1527000 | #Constraints: 39259
1753.61/1759.69 c #Conflicts: 1528000 | #Constraints: 40391
1753.61/1759.69 c #Conflicts: 1529000 | #Constraints: 41511
1753.61/1759.69 c #Conflicts: 1530000 | #Constraints: 42637
1753.61/1759.69 c #Conflicts: 1531000 | #Constraints: 43794
1753.61/1759.69 c #Conflicts: 1532000 | #Constraints: 44957
1753.61/1759.69 c #Conflicts: 1533000 | #Constraints: 46090
1753.61/1759.69 c #Conflicts: 1534000 | #Constraints: 47199
1753.61/1759.69 c #Conflicts: 1535000 | #Constraints: 48311
1753.61/1759.69 c #Conflicts: 1536000 | #Constraints: 49404
1753.61/1759.69 c #Conflicts: 1537000 | #Constraints: 50546
1753.61/1759.69 c #Conflicts: 1538000 | #Constraints: 51675
1753.61/1759.69 c #Conflicts: 1539000 | #Constraints: 52806
1753.61/1759.69 c #Conflicts: 1540000 | #Constraints: 53923
1753.61/1759.69 c #Conflicts: 1541000 | #Constraints: 55025
1753.61/1759.69 c INPROCESSING
1753.61/1759.69 c GARBAGE COLLECT
1919.61/1926.20 c #Conflicts: 1542000 | #Constraints: 28704
1919.61/1926.20 c #Conflicts: 1543000 | #Constraints: 29863
1919.61/1926.20 c #Conflicts: 1544000 | #Constraints: 31016
1919.61/1926.20 c #Conflicts: 1545000 | #Constraints: 32140
1919.61/1926.20 c #Conflicts: 1546000 | #Constraints: 33240
1919.61/1926.20 c #Conflicts: 1547000 | #Constraints: 34334
1919.61/1926.20 c #Conflicts: 1548000 | #Constraints: 35430
1919.61/1926.20 c #Conflicts: 1549000 | #Constraints: 36514
1919.61/1926.20 c #Conflicts: 1550000 | #Constraints: 37614
1919.61/1926.20 c #Conflicts: 1551000 | #Constraints: 38715
1919.61/1926.20 c #Conflicts: 1552000 | #Constraints: 39803
1919.61/1926.20 c #Conflicts: 1553000 | #Constraints: 40893
1919.61/1926.20 c #Conflicts: 1554000 | #Constraints: 41986
1919.61/1926.20 c #Conflicts: 1555000 | #Constraints: 43057
1919.61/1926.20 c #Conflicts: 1556000 | #Constraints: 44144
1919.61/1926.20 c #Conflicts: 1557000 | #Constraints: 45257
1919.61/1926.20 c #Conflicts: 1558000 | #Constraints: 46358
1919.61/1926.20 c #Conflicts: 1559000 | #Constraints: 47451
1919.61/1926.20 c #Conflicts: 1560000 | #Constraints: 48551
1919.61/1926.20 c #Conflicts: 1561000 | #Constraints: 49664
1919.61/1926.20 c #Conflicts: 1562000 | #Constraints: 50755
1919.61/1926.20 c #Conflicts: 1563000 | #Constraints: 51851
1919.61/1926.20 c #Conflicts: 1564000 | #Constraints: 52948
1919.61/1926.20 c #Conflicts: 1565000 | #Constraints: 54064
1919.61/1926.20 c #Conflicts: 1566000 | #Constraints: 55160
1919.61/1926.20 c INPROCESSING
1919.61/1926.20 c GARBAGE COLLECT
1919.61/1926.20 c #Conflicts: 1567000 | #Constraints: 28703
1919.61/1926.20 c #Conflicts: 1568000 | #Constraints: 29846
1919.61/1926.20 c #Conflicts: 1569000 | #Constraints: 30979
1919.61/1926.20 c #Conflicts: 1570000 | #Constraints: 32119
1919.61/1926.20 c #Conflicts: 1571000 | #Constraints: 33278
1919.61/1926.20 c #Conflicts: 1572000 | #Constraints: 34413
1919.61/1926.20 c #Conflicts: 1573000 | #Constraints: 35561
1919.61/1926.20 c #Conflicts: 1574000 | #Constraints: 36695
1919.61/1926.20 c #Conflicts: 1575000 | #Constraints: 37876
1919.61/1926.20 c #Conflicts: 1576000 | #Constraints: 39011
1919.61/1926.20 c #Conflicts: 1577000 | #Constraints: 40139
1919.61/1926.20 c #Conflicts: 1578000 | #Constraints: 41302
1919.61/1926.20 c #Conflicts: 1579000 | #Constraints: 42444
1919.61/1926.20 c #Conflicts: 1580000 | #Constraints: 43578
1919.61/1926.20 c #Conflicts: 1581000 | #Constraints: 44709
1919.61/1926.20 c #Conflicts: 1582000 | #Constraints: 45857
1919.61/1926.20 c #Conflicts: 1583000 | #Constraints: 47006
1919.61/1926.20 c #Conflicts: 1584000 | #Constraints: 48151
1919.61/1926.20 c #Conflicts: 1585000 | #Constraints: 49313
1919.61/1926.20 c #Conflicts: 1586000 | #Constraints: 50493
1919.61/1926.20 c #Conflicts: 1587000 | #Constraints: 51639
1919.61/1926.20 c #Conflicts: 1588000 | #Constraints: 52811
1919.61/1926.20 c #Conflicts: 1589000 | #Constraints: 53952
1919.61/1926.20 c #Conflicts: 1590000 | #Constraints: 55066
1919.61/1926.20 c #Conflicts: 1591000 | #Constraints: 56175
1919.61/1926.20 c INPROCESSING
1919.61/1926.20 c GARBAGE COLLECT
1919.61/1926.20 c #Conflicts: 1592000 | #Constraints: 29128
1919.61/1926.20 c #Conflicts: 1593000 | #Constraints: 30289
1919.61/1926.20 c #Conflicts: 1594000 | #Constraints: 31501
1919.61/1926.20 c #Conflicts: 1595000 | #Constraints: 32686
1919.61/1926.20 c #Conflicts: 1596000 | #Constraints: 33854
1919.61/1926.20 c #Conflicts: 1597000 | #Constraints: 35025
1919.61/1926.20 c #Conflicts: 1598000 | #Constraints: 36186
1919.61/1926.20 c #Conflicts: 1599000 | #Constraints: 37339
1919.61/1926.20 c #Conflicts: 1600000 | #Constraints: 38506
1919.61/1926.20 c #Conflicts: 1601000 | #Constraints: 39673
1919.61/1926.20 c #Conflicts: 1602000 | #Constraints: 40862
1919.61/1926.20 c #Conflicts: 1603000 | #Constraints: 41996
1919.61/1926.20 c #Conflicts: 1604000 | #Constraints: 43164
1919.61/1926.20 c #Conflicts: 1605000 | #Constraints: 44320
1919.61/1926.20 c #Conflicts: 1606000 | #Constraints: 45519
1919.61/1926.20 c #Conflicts: 1607000 | #Constraints: 46686
1919.61/1926.20 c #Conflicts: 1608000 | #Constraints: 47861
1919.61/1926.20 c #Conflicts: 1609000 | #Constraints: 49036
1919.61/1926.20 c #Conflicts: 1610000 | #Constraints: 50237
1919.61/1926.20 c #Conflicts: 1611000 | #Constraints: 51396
1919.61/1926.20 c #Conflicts: 1612000 | #Constraints: 52521
1919.61/1926.20 c #Conflicts: 1613000 | #Constraints: 53672
1919.61/1926.20 c #Conflicts: 1614000 | #Constraints: 54839
1919.61/1926.20 c #Conflicts: 1615000 | #Constraints: 55971
1919.61/1926.20 c #Conflicts: 1616000 | #Constraints: 57153
1919.61/1926.20 c INPROCESSING
1919.61/1926.20 c GARBAGE COLLECT
1919.61/1926.20 c #Conflicts: 1617000 | #Constraints: 29376
1919.61/1926.20 c #Conflicts: 1618000 | #Constraints: 30492
2114.96/2122.22 c #Conflicts: 1619000 | #Constraints: 31596
2114.96/2122.22 c #Conflicts: 1620000 | #Constraints: 32712
2114.96/2122.22 c #Conflicts: 1621000 | #Constraints: 33836
2114.96/2122.22 c #Conflicts: 1622000 | #Constraints: 34961
2114.96/2122.22 c #Conflicts: 1623000 | #Constraints: 36070
2114.96/2122.22 c #Conflicts: 1624000 | #Constraints: 37167
2114.96/2122.22 c #Conflicts: 1625000 | #Constraints: 38283
2114.96/2122.22 c #Conflicts: 1626000 | #Constraints: 39389
2114.96/2122.22 c #Conflicts: 1627000 | #Constraints: 40503
2114.96/2122.22 c #Conflicts: 1628000 | #Constraints: 41603
2114.96/2122.22 c #Conflicts: 1629000 | #Constraints: 42691
2114.96/2122.22 c #Conflicts: 1630000 | #Constraints: 43800
2114.96/2122.22 c #Conflicts: 1631000 | #Constraints: 44911
2114.96/2122.22 c #Conflicts: 1632000 | #Constraints: 46013
2114.96/2122.22 c #Conflicts: 1633000 | #Constraints: 47110
2114.96/2122.22 c #Conflicts: 1634000 | #Constraints: 48217
2114.96/2122.22 c #Conflicts: 1635000 | #Constraints: 49327
2114.96/2122.22 c #Conflicts: 1636000 | #Constraints: 50450
2114.96/2122.22 c #Conflicts: 1637000 | #Constraints: 51549
2114.96/2122.22 c #Conflicts: 1638000 | #Constraints: 52649
2114.96/2122.22 c #Conflicts: 1639000 | #Constraints: 53754
2114.96/2122.22 c #Conflicts: 1640000 | #Constraints: 54856
2114.96/2122.22 c #Conflicts: 1641000 | #Constraints: 55992
2114.96/2122.22 c #Conflicts: 1642000 | #Constraints: 57087
2114.96/2122.22 c INPROCESSING
2114.96/2122.22 c GARBAGE COLLECT
2114.96/2122.22 c #Conflicts: 1643000 | #Constraints: 29640
2114.96/2122.22 c #Conflicts: 1644000 | #Constraints: 30782
2114.96/2122.22 c #Conflicts: 1645000 | #Constraints: 31895
2114.96/2122.22 c #Conflicts: 1646000 | #Constraints: 33014
2114.96/2122.22 c #Conflicts: 1647000 | #Constraints: 34129
2114.96/2122.22 c #Conflicts: 1648000 | #Constraints: 35223
2114.96/2122.22 c #Conflicts: 1649000 | #Constraints: 36318
2114.96/2122.22 c #Conflicts: 1650000 | #Constraints: 37422
2114.96/2122.22 c #Conflicts: 1651000 | #Constraints: 38586
2114.96/2122.22 c #Conflicts: 1652000 | #Constraints: 39698
2114.96/2122.22 c #Conflicts: 1653000 | #Constraints: 40778
2114.96/2122.22 c #Conflicts: 1654000 | #Constraints: 41893
2114.96/2122.22 c #Conflicts: 1655000 | #Constraints: 42994
2114.96/2122.22 c #Conflicts: 1656000 | #Constraints: 44076
2114.96/2122.22 c #Conflicts: 1657000 | #Constraints: 45176
2114.96/2122.22 c #Conflicts: 1658000 | #Constraints: 46273
2114.96/2122.22 c #Conflicts: 1659000 | #Constraints: 47384
2114.96/2122.22 c #Conflicts: 1660000 | #Constraints: 48488
2114.96/2122.22 c #Conflicts: 1661000 | #Constraints: 49602
2114.96/2122.22 c #Conflicts: 1662000 | #Constraints: 50729
2114.96/2122.22 c #Conflicts: 1663000 | #Constraints: 51849
2114.96/2122.22 c #Conflicts: 1664000 | #Constraints: 52956
2114.96/2122.22 c #Conflicts: 1665000 | #Constraints: 54105
2114.96/2122.22 c #Conflicts: 1666000 | #Constraints: 55233
2114.96/2122.22 c #Conflicts: 1667000 | #Constraints: 56336
2114.96/2122.22 c #Conflicts: 1668000 | #Constraints: 57453
2114.96/2122.22 c INPROCESSING
2114.96/2122.22 c GARBAGE COLLECT
2114.96/2122.22 c #Conflicts: 1669000 | #Constraints: 29850
2114.96/2122.22 c #Conflicts: 1670000 | #Constraints: 30950
2114.96/2122.22 c #Conflicts: 1671000 | #Constraints: 32085
2114.96/2122.22 c #Conflicts: 1672000 | #Constraints: 33217
2114.96/2122.22 c #Conflicts: 1673000 | #Constraints: 34334
2114.96/2122.22 c #Conflicts: 1674000 | #Constraints: 35433
2114.96/2122.22 c #Conflicts: 1675000 | #Constraints: 36532
2114.96/2122.22 c #Conflicts: 1676000 | #Constraints: 37666
2114.96/2122.22 c #Conflicts: 1677000 | #Constraints: 38760
2114.96/2122.22 c #Conflicts: 1678000 | #Constraints: 39846
2114.96/2122.22 c #Conflicts: 1679000 | #Constraints: 40958
2114.96/2122.22 c #Conflicts: 1680000 | #Constraints: 42095
2114.96/2122.22 c #Conflicts: 1681000 | #Constraints: 43217
2114.96/2122.22 c #Conflicts: 1682000 | #Constraints: 44367
2114.96/2122.22 c #Conflicts: 1683000 | #Constraints: 45505
2114.96/2122.22 c #Conflicts: 1684000 | #Constraints: 46630
2114.96/2122.22 c #Conflicts: 1685000 | #Constraints: 47758
2114.96/2122.22 c #Conflicts: 1686000 | #Constraints: 48913
2114.96/2122.22 c #Conflicts: 1687000 | #Constraints: 50001
2114.96/2122.22 c #Conflicts: 1688000 | #Constraints: 51105
2114.96/2122.22 c #Conflicts: 1689000 | #Constraints: 52224
2114.96/2122.22 c #Conflicts: 1690000 | #Constraints: 53353
2114.96/2122.22 c #Conflicts: 1691000 | #Constraints: 54471
2114.96/2122.22 c #Conflicts: 1692000 | #Constraints: 55593
2114.96/2122.22 c #Conflicts: 1693000 | #Constraints: 56709
2114.96/2122.22 c #Conflicts: 1694000 | #Constraints: 57841
2114.96/2122.22 c INPROCESSING
2114.96/2122.22 c GARBAGE COLLECT
2114.96/2122.22 c #Conflicts: 1695000 | #Constraints: 30072
2296.38/2304.25 c #Conflicts: 1696000 | #Constraints: 31155
2296.38/2304.25 c #Conflicts: 1697000 | #Constraints: 32282
2296.38/2304.25 c #Conflicts: 1698000 | #Constraints: 33392
2296.38/2304.25 c #Conflicts: 1699000 | #Constraints: 34490
2296.38/2304.25 c #Conflicts: 1700000 | #Constraints: 35603
2296.38/2304.25 c #Conflicts: 1701000 | #Constraints: 36728
2296.38/2304.25 c #Conflicts: 1702000 | #Constraints: 37900
2296.38/2304.25 c #Conflicts: 1703000 | #Constraints: 39039
2296.38/2304.25 c #Conflicts: 1704000 | #Constraints: 40190
2296.38/2304.25 c #Conflicts: 1705000 | #Constraints: 41286
2296.38/2304.25 c #Conflicts: 1706000 | #Constraints: 42394
2296.38/2304.25 c #Conflicts: 1707000 | #Constraints: 43524
2296.38/2304.25 c #Conflicts: 1708000 | #Constraints: 44632
2296.38/2304.25 c #Conflicts: 1709000 | #Constraints: 45747
2296.38/2304.25 c #Conflicts: 1710000 | #Constraints: 46848
2296.38/2304.25 c #Conflicts: 1711000 | #Constraints: 47961
2296.38/2304.25 c #Conflicts: 1712000 | #Constraints: 49039
2296.38/2304.25 c #Conflicts: 1713000 | #Constraints: 50105
2296.38/2304.25 c #Conflicts: 1714000 | #Constraints: 51161
2296.38/2304.25 c #Conflicts: 1715000 | #Constraints: 52283
2296.38/2304.25 c #Conflicts: 1716000 | #Constraints: 53374
2296.38/2304.25 c #Conflicts: 1717000 | #Constraints: 54498
2296.38/2304.25 c #Conflicts: 1718000 | #Constraints: 55632
2296.38/2304.25 c #Conflicts: 1719000 | #Constraints: 56739
2296.38/2304.25 c #Conflicts: 1720000 | #Constraints: 57902
2296.38/2304.25 c INPROCESSING
2296.38/2304.25 c GARBAGE COLLECT
2296.38/2304.25 c #Conflicts: 1721000 | #Constraints: 29982
2296.38/2304.25 c #Conflicts: 1722000 | #Constraints: 31150
2296.38/2304.25 c #Conflicts: 1723000 | #Constraints: 32328
2296.38/2304.25 c #Conflicts: 1724000 | #Constraints: 33439
2296.38/2304.25 c #Conflicts: 1725000 | #Constraints: 34528
2296.38/2304.25 c #Conflicts: 1726000 | #Constraints: 35632
2296.38/2304.25 c #Conflicts: 1727000 | #Constraints: 36728
2296.38/2304.25 c #Conflicts: 1728000 | #Constraints: 37820
2296.38/2304.25 c #Conflicts: 1729000 | #Constraints: 38905
2296.38/2304.25 c #Conflicts: 1730000 | #Constraints: 40005
2296.38/2304.25 c #Conflicts: 1731000 | #Constraints: 41114
2296.38/2304.25 c #Conflicts: 1732000 | #Constraints: 42224
2296.38/2304.25 c #Conflicts: 1733000 | #Constraints: 43325
2296.38/2304.25 c #Conflicts: 1734000 | #Constraints: 44428
2296.38/2304.25 c #Conflicts: 1735000 | #Constraints: 45555
2296.38/2304.25 c #Conflicts: 1736000 | #Constraints: 46683
2296.38/2304.25 c #Conflicts: 1737000 | #Constraints: 47806
2296.38/2304.25 c #Conflicts: 1738000 | #Constraints: 48914
2296.38/2304.25 c #Conflicts: 1739000 | #Constraints: 50041
2296.38/2304.25 c #Conflicts: 1740000 | #Constraints: 51166
2296.38/2304.25 c #Conflicts: 1741000 | #Constraints: 52286
2296.38/2304.25 c #Conflicts: 1742000 | #Constraints: 53424
2296.38/2304.25 c #Conflicts: 1743000 | #Constraints: 54534
2296.38/2304.25 c #Conflicts: 1744000 | #Constraints: 55664
2296.38/2304.25 c #Conflicts: 1745000 | #Constraints: 56772
2296.38/2304.25 c #Conflicts: 1746000 | #Constraints: 57887
2296.38/2304.25 c INPROCESSING
2296.38/2304.25 c GARBAGE COLLECT
2296.38/2304.25 c #Conflicts: 1747000 | #Constraints: 29711
2296.38/2304.25 c #Conflicts: 1748000 | #Constraints: 30872
2296.38/2304.25 c #Conflicts: 1749000 | #Constraints: 32037
2296.38/2304.25 c #Conflicts: 1750000 | #Constraints: 33132
2296.38/2304.25 c #Conflicts: 1751000 | #Constraints: 34228
2296.38/2304.25 c #Conflicts: 1752000 | #Constraints: 35381
2296.38/2304.25 c #Conflicts: 1753000 | #Constraints: 36572
2296.38/2304.25 c #Conflicts: 1754000 | #Constraints: 37691
2296.38/2304.25 c #Conflicts: 1755000 | #Constraints: 38805
2296.38/2304.25 c #Conflicts: 1756000 | #Constraints: 39925
2296.38/2304.25 c #Conflicts: 1757000 | #Constraints: 41069
2296.38/2304.25 c #Conflicts: 1758000 | #Constraints: 42195
2296.38/2304.25 c #Conflicts: 1759000 | #Constraints: 43306
2296.38/2304.25 c #Conflicts: 1760000 | #Constraints: 44458
2296.38/2304.25 c #Conflicts: 1761000 | #Constraints: 45609
2296.38/2304.25 c #Conflicts: 1762000 | #Constraints: 46723
2296.38/2304.25 c #Conflicts: 1763000 | #Constraints: 47862
2296.38/2304.25 c #Conflicts: 1764000 | #Constraints: 48972
2296.38/2304.25 c #Conflicts: 1765000 | #Constraints: 50102
2296.38/2304.25 c #Conflicts: 1766000 | #Constraints: 51210
2296.38/2304.25 c #Conflicts: 1767000 | #Constraints: 52304
2296.38/2304.25 c #Conflicts: 1768000 | #Constraints: 53412
2296.38/2304.25 c #Conflicts: 1769000 | #Constraints: 54558
2296.38/2304.25 c #Conflicts: 1770000 | #Constraints: 55704
2296.38/2304.25 c #Conflicts: 1771000 | #Constraints: 56804
2296.38/2304.25 c #Conflicts: 1772000 | #Constraints: 57921
2296.38/2304.25 c #Conflicts: 1773000 | #Constraints: 58958
2479.68/2488.12 c INPROCESSING
2479.68/2488.12 c GARBAGE COLLECT
2479.68/2488.12 c #Conflicts: 1774000 | #Constraints: 30491
2479.68/2488.12 c #Conflicts: 1775000 | #Constraints: 31654
2479.68/2488.12 c #Conflicts: 1776000 | #Constraints: 32764
2479.68/2488.12 c #Conflicts: 1777000 | #Constraints: 33874
2479.68/2488.12 c #Conflicts: 1778000 | #Constraints: 34974
2479.68/2488.12 c #Conflicts: 1779000 | #Constraints: 36076
2479.68/2488.12 c #Conflicts: 1780000 | #Constraints: 37181
2479.68/2488.12 c #Conflicts: 1781000 | #Constraints: 38313
2479.68/2488.12 c #Conflicts: 1782000 | #Constraints: 39415
2479.68/2488.12 c #Conflicts: 1783000 | #Constraints: 40503
2479.68/2488.12 c #Conflicts: 1784000 | #Constraints: 41619
2479.68/2488.12 c #Conflicts: 1785000 | #Constraints: 42728
2479.68/2488.12 c #Conflicts: 1786000 | #Constraints: 43841
2479.68/2488.12 c #Conflicts: 1787000 | #Constraints: 44957
2479.68/2488.12 c #Conflicts: 1788000 | #Constraints: 46089
2479.68/2488.12 c #Conflicts: 1789000 | #Constraints: 47190
2479.68/2488.12 c #Conflicts: 1790000 | #Constraints: 48307
2479.68/2488.12 c #Conflicts: 1791000 | #Constraints: 49427
2479.68/2488.12 c #Conflicts: 1792000 | #Constraints: 50541
2479.68/2488.12 c #Conflicts: 1793000 | #Constraints: 51650
2479.68/2488.12 c #Conflicts: 1794000 | #Constraints: 52835
2479.68/2488.12 c #Conflicts: 1795000 | #Constraints: 54008
2479.68/2488.12 c #Conflicts: 1796000 | #Constraints: 55131
2479.68/2488.12 c #Conflicts: 1797000 | #Constraints: 56236
2479.68/2488.12 c #Conflicts: 1798000 | #Constraints: 57340
2479.68/2488.12 c #Conflicts: 1799000 | #Constraints: 58472
2479.68/2488.12 c #Conflicts: 1800000 | #Constraints: 59585
2479.68/2488.12 c INPROCESSING
2479.68/2488.12 c GARBAGE COLLECT
2479.68/2488.12 c #Conflicts: 1801000 | #Constraints: 30915
2479.68/2488.12 c #Conflicts: 1802000 | #Constraints: 32040
2479.68/2488.12 c #Conflicts: 1803000 | #Constraints: 33162
2479.68/2488.12 c #Conflicts: 1804000 | #Constraints: 34303
2479.68/2488.12 c #Conflicts: 1805000 | #Constraints: 35446
2479.68/2488.12 c #Conflicts: 1806000 | #Constraints: 36592
2479.68/2488.12 c #Conflicts: 1807000 | #Constraints: 37735
2479.68/2488.12 c #Conflicts: 1808000 | #Constraints: 38862
2479.68/2488.12 c #Conflicts: 1809000 | #Constraints: 39985
2479.68/2488.12 c #Conflicts: 1810000 | #Constraints: 41116
2479.68/2488.12 c #Conflicts: 1811000 | #Constraints: 42232
2479.68/2488.12 c #Conflicts: 1812000 | #Constraints: 43357
2479.68/2488.12 c #Conflicts: 1813000 | #Constraints: 44476
2479.68/2488.12 c #Conflicts: 1814000 | #Constraints: 45597
2479.68/2488.12 c #Conflicts: 1815000 | #Constraints: 46715
2479.68/2488.12 c #Conflicts: 1816000 | #Constraints: 47854
2479.68/2488.12 c #Conflicts: 1817000 | #Constraints: 48990
2479.68/2488.12 c #Conflicts: 1818000 | #Constraints: 50080
2479.68/2488.12 c #Conflicts: 1819000 | #Constraints: 51176
2479.68/2488.12 c #Conflicts: 1820000 | #Constraints: 52262
2479.68/2488.12 c #Conflicts: 1821000 | #Constraints: 53373
2479.68/2488.12 c #Conflicts: 1822000 | #Constraints: 54484
2479.68/2488.12 c #Conflicts: 1823000 | #Constraints: 55601
2479.68/2488.12 c #Conflicts: 1824000 | #Constraints: 56713
2479.68/2488.12 c #Conflicts: 1825000 | #Constraints: 57811
2479.68/2488.12 c #Conflicts: 1826000 | #Constraints: 58936
2479.68/2488.12 c #Conflicts: 1827000 | #Constraints: 60066
2479.68/2488.12 c INPROCESSING
2479.68/2488.12 c GARBAGE COLLECT
2479.68/2488.12 c #Conflicts: 1828000 | #Constraints: 31144
2479.68/2488.12 c #Conflicts: 1829000 | #Constraints: 32246
2479.68/2488.12 c #Conflicts: 1830000 | #Constraints: 33350
2479.68/2488.12 c #Conflicts: 1831000 | #Constraints: 34432
2479.68/2488.12 c #Conflicts: 1832000 | #Constraints: 35495
2479.68/2488.12 c #Conflicts: 1833000 | #Constraints: 36617
2479.68/2488.12 c #Conflicts: 1834000 | #Constraints: 37723
2479.68/2488.12 c #Conflicts: 1835000 | #Constraints: 38844
2479.68/2488.12 c #Conflicts: 1836000 | #Constraints: 39937
2479.68/2488.12 c #Conflicts: 1837000 | #Constraints: 41023
2479.68/2488.12 c #Conflicts: 1838000 | #Constraints: 42130
2479.68/2488.12 c #Conflicts: 1839000 | #Constraints: 43235
2479.68/2488.12 c #Conflicts: 1840000 | #Constraints: 44338
2479.68/2488.12 c #Conflicts: 1841000 | #Constraints: 45446
2479.68/2488.12 c #Conflicts: 1842000 | #Constraints: 46544
2479.68/2488.12 c #Conflicts: 1843000 | #Constraints: 47657
2479.68/2488.12 c #Conflicts: 1844000 | #Constraints: 48762
2479.68/2488.12 c #Conflicts: 1845000 | #Constraints: 49883
2479.68/2488.12 c #Conflicts: 1846000 | #Constraints: 51001
2479.68/2488.12 c #Conflicts: 1847000 | #Constraints: 52106
2479.68/2488.12 c #Conflicts: 1848000 | #Constraints: 53223
2479.68/2488.12 c #Conflicts: 1849000 | #Constraints: 54352
2669.63/2678.70 c #Conflicts: 1850000 | #Constraints: 55478
2669.63/2678.70 c #Conflicts: 1851000 | #Constraints: 56623
2669.63/2678.70 c #Conflicts: 1852000 | #Constraints: 57758
2669.63/2678.70 c #Conflicts: 1853000 | #Constraints: 58930
2669.63/2678.70 c #Conflicts: 1854000 | #Constraints: 60065
2669.63/2678.70 c INPROCESSING
2669.63/2678.70 c GARBAGE COLLECT
2669.63/2678.70 c #Conflicts: 1855000 | #Constraints: 31046
2669.63/2678.70 c #Conflicts: 1856000 | #Constraints: 32156
2669.63/2678.70 c #Conflicts: 1857000 | #Constraints: 33259
2669.63/2678.70 c #Conflicts: 1858000 | #Constraints: 34384
2669.63/2678.70 c #Conflicts: 1859000 | #Constraints: 35481
2669.63/2678.70 c #Conflicts: 1860000 | #Constraints: 36572
2669.63/2678.70 c #Conflicts: 1861000 | #Constraints: 37681
2669.63/2678.70 c #Conflicts: 1862000 | #Constraints: 38779
2669.63/2678.70 c #Conflicts: 1863000 | #Constraints: 39915
2669.63/2678.70 c #Conflicts: 1864000 | #Constraints: 41036
2669.63/2678.70 c #Conflicts: 1865000 | #Constraints: 42173
2669.63/2678.70 c #Conflicts: 1866000 | #Constraints: 43308
2669.63/2678.70 c #Conflicts: 1867000 | #Constraints: 44405
2669.63/2678.70 c #Conflicts: 1868000 | #Constraints: 45513
2669.63/2678.70 c #Conflicts: 1869000 | #Constraints: 46589
2669.63/2678.70 c #Conflicts: 1870000 | #Constraints: 47703
2669.63/2678.70 c #Conflicts: 1871000 | #Constraints: 48806
2669.63/2678.70 c #Conflicts: 1872000 | #Constraints: 49925
2669.63/2678.70 c #Conflicts: 1873000 | #Constraints: 51029
2669.63/2678.70 c #Conflicts: 1874000 | #Constraints: 52137
2669.63/2678.70 c #Conflicts: 1875000 | #Constraints: 53263
2669.63/2678.70 c #Conflicts: 1876000 | #Constraints: 54379
2669.63/2678.70 c #Conflicts: 1877000 | #Constraints: 55475
2669.63/2678.70 c #Conflicts: 1878000 | #Constraints: 56608
2669.63/2678.70 c #Conflicts: 1879000 | #Constraints: 57731
2669.63/2678.70 c #Conflicts: 1880000 | #Constraints: 58825
2669.63/2678.70 c #Conflicts: 1881000 | #Constraints: 59965
2669.63/2678.70 c INPROCESSING
2669.63/2678.70 c GARBAGE COLLECT
2669.63/2678.70 c #Conflicts: 1882000 | #Constraints: 30765
2669.63/2678.70 c #Conflicts: 1883000 | #Constraints: 31857
2669.63/2678.70 c #Conflicts: 1884000 | #Constraints: 32954
2669.63/2678.70 c #Conflicts: 1885000 | #Constraints: 34148
2669.63/2678.70 c #Conflicts: 1886000 | #Constraints: 35247
2669.63/2678.70 c #Conflicts: 1887000 | #Constraints: 36346
2669.63/2678.70 c #Conflicts: 1888000 | #Constraints: 37443
2669.63/2678.70 c #Conflicts: 1889000 | #Constraints: 38559
2669.63/2678.70 c #Conflicts: 1890000 | #Constraints: 39671
2669.63/2678.70 c #Conflicts: 1891000 | #Constraints: 40782
2669.63/2678.70 c #Conflicts: 1892000 | #Constraints: 41891
2669.63/2678.70 c #Conflicts: 1893000 | #Constraints: 43000
2669.63/2678.70 c #Conflicts: 1894000 | #Constraints: 44124
2669.63/2678.70 c #Conflicts: 1895000 | #Constraints: 45261
2669.63/2678.70 c #Conflicts: 1896000 | #Constraints: 46365
2669.63/2678.70 c #Conflicts: 1897000 | #Constraints: 47464
2669.63/2678.70 c #Conflicts: 1898000 | #Constraints: 48565
2669.63/2678.70 c #Conflicts: 1899000 | #Constraints: 49676
2669.63/2678.70 c #Conflicts: 1900000 | #Constraints: 50778
2669.63/2678.70 c #Conflicts: 1901000 | #Constraints: 51911
2669.63/2678.70 c #Conflicts: 1902000 | #Constraints: 53050
2669.63/2678.70 c #Conflicts: 1903000 | #Constraints: 54154
2669.63/2678.70 c #Conflicts: 1904000 | #Constraints: 55242
2669.63/2678.70 c #Conflicts: 1905000 | #Constraints: 56382
2669.63/2678.70 c #Conflicts: 1906000 | #Constraints: 57552
2669.63/2678.70 c #Conflicts: 1907000 | #Constraints: 58712
2669.63/2678.70 c #Conflicts: 1908000 | #Constraints: 59880
2669.63/2678.70 c #Conflicts: 1909000 | #Constraints: 61017
2669.63/2678.70 c INPROCESSING
2669.63/2678.70 c GARBAGE COLLECT
2669.63/2678.70 c #Conflicts: 1910000 | #Constraints: 31611
2669.63/2678.70 c #Conflicts: 1911000 | #Constraints: 32776
2669.63/2678.70 c #Conflicts: 1912000 | #Constraints: 33945
2669.63/2678.70 c #Conflicts: 1913000 | #Constraints: 35069
2669.63/2678.70 c #Conflicts: 1914000 | #Constraints: 36216
2669.63/2678.70 c #Conflicts: 1915000 | #Constraints: 37436
2669.63/2678.70 c #Conflicts: 1916000 | #Constraints: 38598
2669.63/2678.70 c #Conflicts: 1917000 | #Constraints: 39714
2669.63/2678.70 c #Conflicts: 1918000 | #Constraints: 40823
2669.63/2678.70 c #Conflicts: 1919000 | #Constraints: 41908
2669.63/2678.70 c #Conflicts: 1920000 | #Constraints: 43009
2669.63/2678.70 c #Conflicts: 1921000 | #Constraints: 44136
2669.63/2678.70 c #Conflicts: 1922000 | #Constraints: 45304
2669.63/2678.70 c #Conflicts: 1923000 | #Constraints: 46395
2669.63/2678.70 c #Conflicts: 1924000 | #Constraints: 47516
2669.63/2678.70 c #Conflicts: 1925000 | #Constraints: 48640
2669.63/2678.70 c #Conflicts: 1926000 | #Constraints: 49770
2870.28/2880.07 c #Conflicts: 1927000 | #Constraints: 50888
2870.28/2880.07 c #Conflicts: 1928000 | #Constraints: 52001
2870.28/2880.07 c #Conflicts: 1929000 | #Constraints: 53114
2870.28/2880.07 c #Conflicts: 1930000 | #Constraints: 54218
2870.28/2880.07 c #Conflicts: 1931000 | #Constraints: 55334
2870.28/2880.07 c #Conflicts: 1932000 | #Constraints: 56454
2870.28/2880.07 c #Conflicts: 1933000 | #Constraints: 57559
2870.28/2880.07 c #Conflicts: 1934000 | #Constraints: 58672
2870.28/2880.07 c #Conflicts: 1935000 | #Constraints: 59791
2870.28/2880.07 c #Conflicts: 1936000 | #Constraints: 60926
2870.28/2880.07 c #Conflicts: 1937000 | #Constraints: 62061
2870.28/2880.07 c INPROCESSING
2870.28/2880.07 c GARBAGE COLLECT
2870.28/2880.07 c #Conflicts: 1938000 | #Constraints: 32170
2870.28/2880.07 c #Conflicts: 1939000 | #Constraints: 33282
2870.28/2880.07 c #Conflicts: 1940000 | #Constraints: 34404
2870.28/2880.07 c #Conflicts: 1941000 | #Constraints: 35554
2870.28/2880.07 c #Conflicts: 1942000 | #Constraints: 36646
2870.28/2880.07 c #Conflicts: 1943000 | #Constraints: 37745
2870.28/2880.07 c #Conflicts: 1944000 | #Constraints: 38871
2870.28/2880.07 c #Conflicts: 1945000 | #Constraints: 40024
2870.28/2880.07 c #Conflicts: 1946000 | #Constraints: 41211
2870.28/2880.07 c #Conflicts: 1947000 | #Constraints: 42328
2870.28/2880.07 c #Conflicts: 1948000 | #Constraints: 43433
2870.28/2880.07 c #Conflicts: 1949000 | #Constraints: 44542
2870.28/2880.07 c #Conflicts: 1950000 | #Constraints: 45634
2870.28/2880.07 c #Conflicts: 1951000 | #Constraints: 46717
2870.28/2880.07 c #Conflicts: 1952000 | #Constraints: 47816
2870.28/2880.07 c #Conflicts: 1953000 | #Constraints: 48956
2870.28/2880.07 c #Conflicts: 1954000 | #Constraints: 50120
2870.28/2880.07 c #Conflicts: 1955000 | #Constraints: 51229
2870.28/2880.07 c #Conflicts: 1956000 | #Constraints: 52353
2870.28/2880.07 c #Conflicts: 1957000 | #Constraints: 53459
2870.28/2880.07 c #Conflicts: 1958000 | #Constraints: 54555
2870.28/2880.07 c #Conflicts: 1959000 | #Constraints: 55654
2870.28/2880.07 c #Conflicts: 1960000 | #Constraints: 56744
2870.28/2880.07 c #Conflicts: 1961000 | #Constraints: 57860
2870.28/2880.07 c #Conflicts: 1962000 | #Constraints: 58982
2870.28/2880.07 c #Conflicts: 1963000 | #Constraints: 60087
2870.28/2880.07 c #Conflicts: 1964000 | #Constraints: 61211
2870.28/2880.07 c #Conflicts: 1965000 | #Constraints: 62336
2870.28/2880.07 c INPROCESSING
2870.28/2880.07 c GARBAGE COLLECT
2870.28/2880.07 c #Conflicts: 1966000 | #Constraints: 32263
2870.28/2880.07 c #Conflicts: 1967000 | #Constraints: 33368
2870.28/2880.07 c #Conflicts: 1968000 | #Constraints: 34485
2870.28/2880.07 c #Conflicts: 1969000 | #Constraints: 35586
2870.28/2880.07 c #Conflicts: 1970000 | #Constraints: 36684
2870.28/2880.07 c #Conflicts: 1971000 | #Constraints: 37808
2870.28/2880.07 c #Conflicts: 1972000 | #Constraints: 38934
2870.28/2880.07 c #Conflicts: 1973000 | #Constraints: 40034
2870.28/2880.07 c #Conflicts: 1974000 | #Constraints: 41139
2870.28/2880.07 c #Conflicts: 1975000 | #Constraints: 42264
2870.28/2880.07 c #Conflicts: 1976000 | #Constraints: 43385
2870.28/2880.07 c #Conflicts: 1977000 | #Constraints: 44532
2870.28/2880.07 c #Conflicts: 1978000 | #Constraints: 45661
2870.28/2880.07 c #Conflicts: 1979000 | #Constraints: 46770
2870.28/2880.07 c #Conflicts: 1980000 | #Constraints: 47922
2870.28/2880.07 c #Conflicts: 1981000 | #Constraints: 49099
2870.28/2880.07 c #Conflicts: 1982000 | #Constraints: 50212
2870.28/2880.07 c #Conflicts: 1983000 | #Constraints: 51315
2870.28/2880.07 c #Conflicts: 1984000 | #Constraints: 52426
2870.28/2880.07 c #Conflicts: 1985000 | #Constraints: 53506
2870.28/2880.07 c #Conflicts: 1986000 | #Constraints: 54615
2870.28/2880.07 c #Conflicts: 1987000 | #Constraints: 55718
2870.28/2880.07 c #Conflicts: 1988000 | #Constraints: 56834
2870.28/2880.07 c #Conflicts: 1989000 | #Constraints: 57947
2870.28/2880.07 c #Conflicts: 1990000 | #Constraints: 59106
2870.28/2880.07 c #Conflicts: 1991000 | #Constraints: 60272
2870.28/2880.07 c #Conflicts: 1992000 | #Constraints: 61453
2870.28/2880.07 c #Conflicts: 1993000 | #Constraints: 62605
2870.28/2880.07 c INPROCESSING
2870.28/2880.07 c GARBAGE COLLECT
2870.28/2880.07 c #Conflicts: 1994000 | #Constraints: 32312
2870.28/2880.07 c #Conflicts: 1995000 | #Constraints: 33425
2870.28/2880.07 c #Conflicts: 1996000 | #Constraints: 34542
2870.28/2880.07 c #Conflicts: 1997000 | #Constraints: 35645
2870.28/2880.07 c #Conflicts: 1998000 | #Constraints: 36739
2870.28/2880.07 c #Conflicts: 1999000 | #Constraints: 37858
2870.28/2880.07 c #Conflicts: 2000000 | #Constraints: 38977
2870.28/2880.07 c #Conflicts: 2001000 | #Constraints: 40078
2870.28/2880.07 c #Conflicts: 2002000 | #Constraints: 41235
2870.28/2880.07 c #Conflicts: 2003000 | #Constraints: 42349
3091.94/3102.41 c #Conflicts: 2004000 | #Constraints: 43448
3091.94/3102.41 c #Conflicts: 2005000 | #Constraints: 44566
3091.94/3102.41 c #Conflicts: 2006000 | #Constraints: 45651
3091.94/3102.41 c #Conflicts: 2007000 | #Constraints: 46793
3091.94/3102.41 c #Conflicts: 2008000 | #Constraints: 47907
3091.94/3102.41 c #Conflicts: 2009000 | #Constraints: 48991
3091.94/3102.41 c #Conflicts: 2010000 | #Constraints: 50109
3091.94/3102.41 c #Conflicts: 2011000 | #Constraints: 51225
3091.94/3102.41 c #Conflicts: 2012000 | #Constraints: 52344
3091.94/3102.41 c #Conflicts: 2013000 | #Constraints: 53464
3091.94/3102.41 c #Conflicts: 2014000 | #Constraints: 54610
3091.94/3102.41 c #Conflicts: 2015000 | #Constraints: 55783
3091.94/3102.41 c #Conflicts: 2016000 | #Constraints: 56944
3091.94/3102.41 c #Conflicts: 2017000 | #Constraints: 58099
3091.94/3102.41 c #Conflicts: 2018000 | #Constraints: 59274
3091.94/3102.41 c #Conflicts: 2019000 | #Constraints: 60407
3091.94/3102.41 c #Conflicts: 2020000 | #Constraints: 61518
3091.94/3102.41 c #Conflicts: 2021000 | #Constraints: 62620
3091.94/3102.41 c INPROCESSING
3091.94/3102.41 c GARBAGE COLLECT
3091.94/3102.41 c #Conflicts: 2022000 | #Constraints: 32105
3091.94/3102.41 c #Conflicts: 2023000 | #Constraints: 33215
3091.94/3102.41 c #Conflicts: 2024000 | #Constraints: 34339
3091.94/3102.41 c #Conflicts: 2025000 | #Constraints: 35443
3091.94/3102.41 c #Conflicts: 2026000 | #Constraints: 36548
3091.94/3102.41 c #Conflicts: 2027000 | #Constraints: 37645
3091.94/3102.41 c #Conflicts: 2028000 | #Constraints: 38747
3091.94/3102.41 c #Conflicts: 2029000 | #Constraints: 39854
3091.94/3102.41 c #Conflicts: 2030000 | #Constraints: 40996
3091.94/3102.41 c #Conflicts: 2031000 | #Constraints: 42110
3091.94/3102.41 c #Conflicts: 2032000 | #Constraints: 43249
3091.94/3102.41 c #Conflicts: 2033000 | #Constraints: 44364
3091.94/3102.41 c #Conflicts: 2034000 | #Constraints: 45491
3091.94/3102.41 c #Conflicts: 2035000 | #Constraints: 46610
3091.94/3102.41 c #Conflicts: 2036000 | #Constraints: 47728
3091.94/3102.41 c #Conflicts: 2037000 | #Constraints: 48858
3091.94/3102.41 c #Conflicts: 2038000 | #Constraints: 49980
3091.94/3102.41 c #Conflicts: 2039000 | #Constraints: 51103
3091.94/3102.41 c #Conflicts: 2040000 | #Constraints: 52245
3091.94/3102.41 c #Conflicts: 2041000 | #Constraints: 53415
3091.94/3102.41 c #Conflicts: 2042000 | #Constraints: 54541
3091.94/3102.41 c #Conflicts: 2043000 | #Constraints: 55646
3091.94/3102.41 c #Conflicts: 2044000 | #Constraints: 56779
3091.94/3102.41 c #Conflicts: 2045000 | #Constraints: 57884
3091.94/3102.41 c #Conflicts: 2046000 | #Constraints: 58996
3091.94/3102.41 c #Conflicts: 2047000 | #Constraints: 60112
3091.94/3102.41 c #Conflicts: 2048000 | #Constraints: 61224
3091.94/3102.41 c #Conflicts: 2049000 | #Constraints: 62359
3091.94/3102.41 c #Conflicts: 2050000 | #Constraints: 63451
3091.94/3102.41 c INPROCESSING
3091.94/3102.41 c GARBAGE COLLECT
3091.94/3102.41 c #Conflicts: 2051000 | #Constraints: 32729
3091.94/3102.41 c #Conflicts: 2052000 | #Constraints: 33845
3091.94/3102.41 c #Conflicts: 2053000 | #Constraints: 34947
3091.94/3102.41 c #Conflicts: 2054000 | #Constraints: 36043
3091.94/3102.41 c #Conflicts: 2055000 | #Constraints: 37163
3091.94/3102.41 c #Conflicts: 2056000 | #Constraints: 38298
3091.94/3102.41 c #Conflicts: 2057000 | #Constraints: 39424
3091.94/3102.41 c #Conflicts: 2058000 | #Constraints: 40577
3091.94/3102.41 c #Conflicts: 2059000 | #Constraints: 41734
3091.94/3102.41 c #Conflicts: 2060000 | #Constraints: 42883
3091.94/3102.41 c #Conflicts: 2061000 | #Constraints: 44019
3091.94/3102.41 c #Conflicts: 2062000 | #Constraints: 45177
3091.94/3102.41 c #Conflicts: 2063000 | #Constraints: 46324
3091.94/3102.41 c #Conflicts: 2064000 | #Constraints: 47421
3091.94/3102.41 c #Conflicts: 2065000 | #Constraints: 48531
3091.94/3102.41 c #Conflicts: 2066000 | #Constraints: 49650
3091.94/3102.41 c #Conflicts: 2067000 | #Constraints: 50776
3091.94/3102.41 c #Conflicts: 2068000 | #Constraints: 51881
3091.94/3102.41 c #Conflicts: 2069000 | #Constraints: 52991
3091.94/3102.41 c #Conflicts: 2070000 | #Constraints: 54100
3091.94/3102.41 c #Conflicts: 2071000 | #Constraints: 55226
3091.94/3102.41 c #Conflicts: 2072000 | #Constraints: 56364
3091.94/3102.41 c #Conflicts: 2073000 | #Constraints: 57481
3091.94/3102.41 c #Conflicts: 2074000 | #Constraints: 58594
3091.94/3102.41 c #Conflicts: 2075000 | #Constraints: 59700
3091.94/3102.41 c #Conflicts: 2076000 | #Constraints: 60790
3091.94/3102.41 c #Conflicts: 2077000 | #Constraints: 61893
3091.94/3102.41 c #Conflicts: 2078000 | #Constraints: 62993
3091.94/3102.41 c #Conflicts: 2079000 | #Constraints: 64110
3091.94/3102.41 c INPROCESSING
3091.94/3102.41 c GARBAGE COLLECT
3091.94/3102.41 c #Conflicts: 2080000 | #Constraints: 33164
3294.88/3306.10 c #Conflicts: 2081000 | #Constraints: 34268
3294.88/3306.10 c #Conflicts: 2082000 | #Constraints: 35378
3294.88/3306.10 c #Conflicts: 2083000 | #Constraints: 36498
3294.88/3306.10 c #Conflicts: 2084000 | #Constraints: 37610
3294.88/3306.10 c #Conflicts: 2085000 | #Constraints: 38742
3294.88/3306.10 c #Conflicts: 2086000 | #Constraints: 39910
3294.88/3306.10 c #Conflicts: 2087000 | #Constraints: 41063
3294.88/3306.10 c #Conflicts: 2088000 | #Constraints: 42211
3294.88/3306.10 c #Conflicts: 2089000 | #Constraints: 43335
3294.88/3306.10 c #Conflicts: 2090000 | #Constraints: 44450
3294.88/3306.10 c #Conflicts: 2091000 | #Constraints: 45605
3294.88/3306.10 c #Conflicts: 2092000 | #Constraints: 46739
3294.88/3306.10 c #Conflicts: 2093000 | #Constraints: 47882
3294.88/3306.10 c #Conflicts: 2094000 | #Constraints: 49015
3294.88/3306.10 c #Conflicts: 2095000 | #Constraints: 50172
3294.88/3306.10 c #Conflicts: 2096000 | #Constraints: 51339
3294.88/3306.10 c #Conflicts: 2097000 | #Constraints: 52502
3294.88/3306.10 c #Conflicts: 2098000 | #Constraints: 53656
3294.88/3306.10 c #Conflicts: 2099000 | #Constraints: 54843
3294.88/3306.10 c #Conflicts: 2100000 | #Constraints: 55983
3294.88/3306.10 c #Conflicts: 2101000 | #Constraints: 57103
3294.88/3306.10 c #Conflicts: 2102000 | #Constraints: 58239
3294.88/3306.10 c #Conflicts: 2103000 | #Constraints: 59397
3294.88/3306.10 c #Conflicts: 2104000 | #Constraints: 60548
3294.88/3306.10 c #Conflicts: 2105000 | #Constraints: 61684
3294.88/3306.10 c #Conflicts: 2106000 | #Constraints: 62822
3294.88/3306.10 c #Conflicts: 2107000 | #Constraints: 63953
3294.88/3306.10 c #Conflicts: 2108000 | #Constraints: 65094
3294.88/3306.10 c INPROCESSING
3294.88/3306.10 c GARBAGE COLLECT
3294.88/3306.10 c #Conflicts: 2109000 | #Constraints: 33698
3294.88/3306.10 c #Conflicts: 2110000 | #Constraints: 34814
3294.88/3306.10 c #Conflicts: 2111000 | #Constraints: 35968
3294.88/3306.10 c #Conflicts: 2112000 | #Constraints: 37113
3294.88/3306.10 c #Conflicts: 2113000 | #Constraints: 38239
3294.88/3306.10 c #Conflicts: 2114000 | #Constraints: 39366
3294.88/3306.10 c #Conflicts: 2115000 | #Constraints: 40526
3294.88/3306.10 c #Conflicts: 2116000 | #Constraints: 41699
3294.88/3306.10 c #Conflicts: 2117000 | #Constraints: 42843
3294.88/3306.10 c #Conflicts: 2118000 | #Constraints: 44005
3294.88/3306.10 c #Conflicts: 2119000 | #Constraints: 45161
3294.88/3306.10 c #Conflicts: 2120000 | #Constraints: 46291
3294.88/3306.10 c #Conflicts: 2121000 | #Constraints: 47451
3294.88/3306.10 c #Conflicts: 2122000 | #Constraints: 48559
3294.88/3306.10 c #Conflicts: 2123000 | #Constraints: 49651
3294.88/3306.10 c #Conflicts: 2124000 | #Constraints: 50761
3294.88/3306.10 c #Conflicts: 2125000 | #Constraints: 51885
3294.88/3306.10 c #Conflicts: 2126000 | #Constraints: 53028
3294.88/3306.10 c #Conflicts: 2127000 | #Constraints: 54170
3294.88/3306.10 c #Conflicts: 2128000 | #Constraints: 55288
3294.88/3306.10 c #Conflicts: 2129000 | #Constraints: 56420
3294.88/3306.10 c #Conflicts: 2130000 | #Constraints: 57543
3294.88/3306.10 c #Conflicts: 2131000 | #Constraints: 58662
3294.88/3306.10 c #Conflicts: 2132000 | #Constraints: 59825
3294.88/3306.10 c #Conflicts: 2133000 | #Constraints: 60950
3294.88/3306.10 c #Conflicts: 2134000 | #Constraints: 62113
3294.88/3306.10 c #Conflicts: 2135000 | #Constraints: 63251
3294.88/3306.10 c #Conflicts: 2136000 | #Constraints: 64380
3294.88/3306.10 c #Conflicts: 2137000 | #Constraints: 65523
3294.88/3306.10 c INPROCESSING
3294.88/3306.10 c GARBAGE COLLECT
3294.88/3306.10 c #Conflicts: 2138000 | #Constraints: 33765
3294.88/3306.10 c #Conflicts: 2139000 | #Constraints: 34898
3294.88/3306.10 c #Conflicts: 2140000 | #Constraints: 36010
3294.88/3306.10 c #Conflicts: 2141000 | #Constraints: 37127
3294.88/3306.10 c #Conflicts: 2142000 | #Constraints: 38248
3294.88/3306.10 c #Conflicts: 2143000 | #Constraints: 39371
3294.88/3306.10 c #Conflicts: 2144000 | #Constraints: 40518
3294.88/3306.10 c #Conflicts: 2145000 | #Constraints: 41655
3294.88/3306.10 c #Conflicts: 2146000 | #Constraints: 42805
3294.88/3306.10 c #Conflicts: 2147000 | #Constraints: 43967
3294.88/3306.10 c #Conflicts: 2148000 | #Constraints: 45146
3294.88/3306.10 c #Conflicts: 2149000 | #Constraints: 46282
3294.88/3306.10 c #Conflicts: 2150000 | #Constraints: 47435
3294.88/3306.10 c #Conflicts: 2151000 | #Constraints: 48583
3294.88/3306.10 c #Conflicts: 2152000 | #Constraints: 49728
3294.88/3306.10 c #Conflicts: 2153000 | #Constraints: 50921
3294.88/3306.10 c #Conflicts: 2154000 | #Constraints: 52029
3294.88/3306.10 c #Conflicts: 2155000 | #Constraints: 53179
3294.88/3306.10 c #Conflicts: 2156000 | #Constraints: 54288
3294.88/3306.10 c #Conflicts: 2157000 | #Constraints: 55389
3294.88/3306.10 c #Conflicts: 2158000 | #Constraints: 56519
3515.26/3527.28 c #Conflicts: 2159000 | #Constraints: 57644
3515.26/3527.28 c #Conflicts: 2160000 | #Constraints: 58760
3515.26/3527.28 c #Conflicts: 2161000 | #Constraints: 59860
3515.26/3527.28 c #Conflicts: 2162000 | #Constraints: 60954
3515.26/3527.28 c #Conflicts: 2163000 | #Constraints: 62045
3515.26/3527.28 c #Conflicts: 2164000 | #Constraints: 63142
3515.26/3527.28 c #Conflicts: 2165000 | #Constraints: 64242
3515.26/3527.28 c #Conflicts: 2166000 | #Constraints: 65369
3515.26/3527.28 c INPROCESSING
3515.26/3527.28 c GARBAGE COLLECT
3515.26/3527.28 c #Conflicts: 2167000 | #Constraints: 33457
3515.26/3527.28 c #Conflicts: 2168000 | #Constraints: 34565
3515.26/3527.28 c #Conflicts: 2169000 | #Constraints: 35694
3515.26/3527.28 c #Conflicts: 2170000 | #Constraints: 36802
3515.26/3527.28 c #Conflicts: 2171000 | #Constraints: 37927
3515.26/3527.28 c #Conflicts: 2172000 | #Constraints: 39065
3515.26/3527.28 c #Conflicts: 2173000 | #Constraints: 40191
3515.26/3527.28 c #Conflicts: 2174000 | #Constraints: 41314
3515.26/3527.28 c #Conflicts: 2175000 | #Constraints: 42452
3515.26/3527.28 c #Conflicts: 2176000 | #Constraints: 43569
3515.26/3527.28 c #Conflicts: 2177000 | #Constraints: 44679
3515.26/3527.28 c #Conflicts: 2178000 | #Constraints: 45705
3515.26/3527.28 c #Conflicts: 2179000 | #Constraints: 46852
3515.26/3527.28 c #Conflicts: 2180000 | #Constraints: 47970
3515.26/3527.28 c #Conflicts: 2181000 | #Constraints: 49081
3515.26/3527.28 c #Conflicts: 2182000 | #Constraints: 50219
3515.26/3527.28 c #Conflicts: 2183000 | #Constraints: 51338
3515.26/3527.28 c #Conflicts: 2184000 | #Constraints: 52464
3515.26/3527.28 c #Conflicts: 2185000 | #Constraints: 53616
3515.26/3527.28 c #Conflicts: 2186000 | #Constraints: 54744
3515.26/3527.28 c #Conflicts: 2187000 | #Constraints: 55861
3515.26/3527.28 c #Conflicts: 2188000 | #Constraints: 56982
3515.26/3527.28 c #Conflicts: 2189000 | #Constraints: 58109
3515.26/3527.28 c #Conflicts: 2190000 | #Constraints: 59212
3515.26/3527.28 c #Conflicts: 2191000 | #Constraints: 60331
3515.26/3527.28 c #Conflicts: 2192000 | #Constraints: 61437
3515.26/3527.28 c #Conflicts: 2193000 | #Constraints: 62538
3515.26/3527.28 c #Conflicts: 2194000 | #Constraints: 63629
3515.26/3527.28 c #Conflicts: 2195000 | #Constraints: 64741
3515.26/3527.28 c #Conflicts: 2196000 | #Constraints: 65868
3515.26/3527.28 c INPROCESSING
3515.26/3527.28 c GARBAGE COLLECT
3515.26/3527.28 c #Conflicts: 2197000 | #Constraints: 33961
3515.26/3527.28 c #Conflicts: 2198000 | #Constraints: 35136
3515.26/3527.28 c #Conflicts: 2199000 | #Constraints: 36267
3515.26/3527.28 c #Conflicts: 2200000 | #Constraints: 37440
3515.26/3527.28 c #Conflicts: 2201000 | #Constraints: 38573
3515.26/3527.28 c #Conflicts: 2202000 | #Constraints: 39711
3515.26/3527.28 c #Conflicts: 2203000 | #Constraints: 40828
3515.26/3527.28 c #Conflicts: 2204000 | #Constraints: 41974
3515.26/3527.28 c #Conflicts: 2205000 | #Constraints: 43107
3515.26/3527.28 c #Conflicts: 2206000 | #Constraints: 44230
3515.26/3527.28 c #Conflicts: 2207000 | #Constraints: 45385
3515.26/3527.28 c #Conflicts: 2208000 | #Constraints: 46570
3515.26/3527.28 c #Conflicts: 2209000 | #Constraints: 47727
3515.26/3527.28 c #Conflicts: 2210000 | #Constraints: 48867
3515.26/3527.28 c #Conflicts: 2211000 | #Constraints: 49997
3515.26/3527.28 c #Conflicts: 2212000 | #Constraints: 51136
3515.26/3527.28 c #Conflicts: 2213000 | #Constraints: 52279
3515.26/3527.28 c #Conflicts: 2214000 | #Constraints: 53421
3515.26/3527.28 c #Conflicts: 2215000 | #Constraints: 54580
3515.26/3527.28 c #Conflicts: 2216000 | #Constraints: 55718
3515.26/3527.28 c #Conflicts: 2217000 | #Constraints: 56857
3515.26/3527.28 c #Conflicts: 2218000 | #Constraints: 57997
3515.26/3527.28 c #Conflicts: 2219000 | #Constraints: 59123
3515.26/3527.28 c #Conflicts: 2220000 | #Constraints: 60268
3515.26/3527.28 c #Conflicts: 2221000 | #Constraints: 61399
3515.26/3527.28 c #Conflicts: 2222000 | #Constraints: 62528
3515.26/3527.28 c #Conflicts: 2223000 | #Constraints: 63678
3515.26/3527.28 c #Conflicts: 2224000 | #Constraints: 64829
3515.26/3527.28 c #Conflicts: 2225000 | #Constraints: 65979
3515.26/3527.28 c #Conflicts: 2226000 | #Constraints: 67125
3515.26/3527.28 c INPROCESSING
3515.26/3527.28 c GARBAGE COLLECT
3515.26/3527.28 c #Conflicts: 2227000 | #Constraints: 34684
3515.26/3527.28 c #Conflicts: 2228000 | #Constraints: 35792
3515.26/3527.28 c #Conflicts: 2229000 | #Constraints: 36888
3515.26/3527.28 c #Conflicts: 2230000 | #Constraints: 37973
3515.26/3527.28 c #Conflicts: 2231000 | #Constraints: 39077
3515.26/3527.28 c #Conflicts: 2232000 | #Constraints: 40171
3515.26/3527.28 c #Conflicts: 2233000 | #Constraints: 41281
3515.26/3527.28 c #Conflicts: 2234000 | #Constraints: 42369
3600.08/3612.30 c #Conflicts: 2235000 | #Constraints: 43474
3600.08/3612.30 c #Conflicts: 2236000 | #Constraints: 44572
3600.08/3612.30 c #Conflicts: 2237000 | #Constraints: 45704
3600.08/3612.30 c #Conflicts: 2238000 | #Constraints: 46808
3600.08/3612.30 c #Conflicts: 2239000 | #Constraints: 47911
3600.08/3612.30 c #Conflicts: 2240000 | #Constraints: 49020
3600.08/3612.30 c #Conflicts: 2241000 | #Constraints: 50116
3600.08/3612.30 c #Conflicts: 2242000 | #Constraints: 51203
3600.08/3612.30 c #Conflicts: 2243000 | #Constraints: 52303
3600.08/3612.30 c #Conflicts: 2244000 | #Constraints: 53417
3600.08/3612.30 c #Conflicts: 2245000 | #Constraints: 54533
3600.08/3612.30 c #Conflicts: 2246000 | #Constraints: 55631
3600.08/3612.30 c #Conflicts: 2247000 | #Constraints: 56740
3600.08/3612.30 c #Conflicts: 2248000 | #Constraints: 57827
3600.08/3612.30 c #Conflicts: 2249000 | #Constraints: 58923
3600.08/3612.30 c #Conflicts: 2250000 | #Constraints: 60046
3600.08/3612.30 c #Conflicts: 2251000 | #Constraints: 61164
3600.08/3612.30 c #Conflicts: 2252000 | #Constraints: 62278
3600.08/3612.30 c #Conflicts: 2253000 | #Constraints: 63367
3600.08/3612.30 c #Conflicts: 2254000 | #Constraints: 64466
3600.08/3612.30 c #Conflicts: 2255000 | #Constraints: 65570
3600.08/3612.30 c #Conflicts: 2256000 | #Constraints: 66663
3600.08/3612.30 c INPROCESSING
3600.08/3612.30 c GARBAGE COLLECT
3600.08/3612.30 c #Conflicts: 2257000 | #Constraints: 34448
3600.08/3612.30 c #Conflicts: 2258000 | #Constraints: 35551
3600.08/3612.30 c #Conflicts: 2259000 | #Constraints: 36666
3600.08/3612.30 c #Conflicts: 2260000 | #Constraints: 37771
3600.08/3612.30 c cpu time 3585.77 s
3600.08/3612.30 c deterministic time 479278065183 4.79e+11
3600.08/3612.30 c optimization time 9.42517 s
3600.08/3612.30 c total solve time 3576.34 s
3600.08/3612.30 c core-guided solve time 0 s
3600.08/3612.30 c propagation time 3345.65 s
3600.08/3612.30 c conflict analysis time 216.662 s
3600.08/3612.30 c propagations 13927496
3600.08/3612.30 c resolve steps 7157838
3600.08/3612.30 c decisions 2983096
3600.08/3612.30 c conflicts 2260693
3600.08/3612.30 c restarts 4094
3600.08/3612.30 c inprocessing phases 141
3600.08/3612.30 c garbage collections 141 ,( 100.00 )
3600.08/3612.30 c input clauses 0 ,( 0.00 )
3600.08/3612.30 c input cardinalities 0 ,( 0.00 )
3600.08/3612.30 c input general constraints 2 ,( 100.00 )
3600.08/3612.30 c input average constraint length 52.00
3600.08/3612.30 c input average constraint degree 36188387.00
3600.08/3612.30 c learned clauses 1439249 ,( 58.15 )
3600.08/3612.30 c learned cardinalities 202 ,( 0.01 )
3600.08/3612.30 c learned general constraints 1035449 ,( 41.84 )
3600.08/3612.30 c learned average constraint length 37.93
3600.08/3612.30 c learned average constraint degree 68365644.60
3600.08/3612.30 c watched CF 32, 64, 128, Arb: 613486 , 0 , 0 , 0
3600.08/3612.30 c counting CF 32, 64, 128, Arb: 421965 , 0 , 0 , 0
3600.08/3612.30 c watched constraints 613486 ,( 59.25 )
3600.08/3612.30 c counting constraints 421965 ,( 40.75 )
3600.08/3612.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 119297119 , 43641 , 64284806713 ,( 2144906413 , 62139900300 )
3600.08/3612.30 c gcd simplifications 1489600
3600.08/3612.30 c detected cardinalities 201
3600.08/3612.30 c weakened non-implied lits 7318061
3600.08/3612.30 c weakened non-implying lits 3436883
3600.08/3612.30 c original variables 52
3600.08/3612.30 c clausal propagations 444035
3600.08/3612.30 c cardinality propagations 3
3600.08/3612.30 c watched propagations 1253646
3600.08/3612.30 c counting propagations 9714494
3600.08/3612.30 c watch lookups 74250525410
3600.08/3612.30 c watch backjump lookups 0
3600.08/3612.30 c watch checks 15170628888
3600.08/3612.30 c propagation checks 389384898995
3600.08/3612.30 c constraint additions 435702543
3600.08/3612.30 c trail pops 19171233
3600.08/3612.30 c formula constraints 2
3600.08/3612.30 c learned constraints 2260692
3600.08/3612.30 c bound constraints 0
3600.08/3612.30 c core-guided constraints 0
3600.08/3612.30 c encountered formula constraints 5798256
3600.08/3612.30 c encountered learned constraints 3619803
3600.08/3612.30 c encountered bound constraints 0
3600.08/3612.30 c encountered core-guided constraints 0
3600.08/3612.30 c LP total time 23.6177 s
3600.08/3612.30 c LP solve time 11.87 s
3600.08/3612.30 c LP constraints added 135
3600.08/3612.30 c LP constraints removed 130
3600.08/3612.30 c LP pivots internal 226071
3600.08/3612.30 c LP pivots root 1450
3600.08/3612.30 c LP calls 239432
3600.08/3612.30 c LP optimalities 24457
3600.08/3612.30 c LP no pivot count 3165
3600.08/3612.30 c LP infeasibilities 214497
3600.08/3612.30 c LP valid Farkas constraints 214137
3600.08/3612.30 c LP learned Farkas constraints 0
3600.08/3612.30 c LP basis resets 478
3600.08/3612.30 c LP cycling count 471
3600.08/3612.30 c LP singular count 3
3600.08/3612.30 c LP no primal count 0
3600.08/3612.30 c LP no farkas count 0
3600.08/3612.30 c LP other issue count 4
3600.08/3612.30 c LP Gomory cuts 71
3600.08/3612.30 c LP learned cuts 62
3600.08/3612.30 c LP deleted cuts 130
3600.08/3612.30 c LP encountered Gomory constraints 2
3600.08/3612.30 c LP encountered Farkas constraints 470
3600.08/3612.30 c LP encountered learned Farkas constraints 0
3600.08/3612.30 c CG auxiliary variables introduced 0
3600.08/3612.30 c CG solutions found 0
3600.08/3612.30 c CG cores constructed 0
3600.08/3612.30 c CG core cardinality constraints returned 0
3600.08/3612.30 c CG unit cores 0
3600.08/3612.30 c CG single cores 0
3600.08/3612.30 c CG blocks removed during cardinality reduction 0
3600.08/3612.30 c CG first core best 0
3600.08/3612.30 c CG decision core best 0
3600.08/3612.30 c CG core reduction tie 0
3600.08/3612.30 c CG core degree average 0.00
3600.08/3612.30 c CG core slack average 0.00
3600.08/3612.30 c CG core upper bound improvements 0
3600.08/3612.30 c STR number of successful calls 0
3600.08/3612.30 c STR number of unsuccessful calls 0
3600.08/3612.30 c STR number of inconclusive calls 0
3600.08/3612.30 c STR number of successful attempts 0
3600.08/3612.30 c STR number of unsuccessful attempts 0
3600.08/3612.30 c STR number of inconclusive attempts 0
3600.08/3612.30 c STR average degree increase per successful call inf
3600.08/3612.30 c STR average degree increase per successful attempt inf
3600.08/3612.30 c STR total number of conflicts for successful attempts 0
3600.08/3612.30 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3612.30 c STR total number of conflicts for inconclusive attempts 0
3600.08/3612.30 c STR average number of conflicts per successful attempt inf
3600.08/3612.30 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3612.30 c STR average number of conflicts per inconclusive attempt inf
3600.08/3612.30 c AVG.sumWPerc 46.33
3600.08/3612.30 c bigint constraints 0
3600.08/3612.30 s UNKNOWN
3600.08/3612.30 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 (63136 MiB free)
memory of node 1: 64465 MiB (63917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496072-1751159808/watcher-4496072-1751159808 -o /tmp/evaluation-result-4496072-1751159808/solver-4496072-1751159808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16843 --watchdog 3760 run-dec.sh HOME/instance-4496072-1751159808.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16995, runsolver pid=16991
[startup+0.100056 s]*
/proc/loadavg: 0.82 1.03 1.29 6/269 16997
/proc/meminfo: memFree=130102192/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=56228 memory=13096 CPUtime=0.08 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 628 0 0 0 8 0 0 0 20 0 1 0 31658709 57577472 3274 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 14057 3274 2368 1147 0 1484 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60420 KiB
Current children cumulated memory: 16168 KiB
[startup+0.204647 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130100936/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=56660 memory=13608 CPUtime=0.18 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 758 0 0 0 18 0 0 0 20 0 1 0 31658709 58019840 3402 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 14165 3402 2368 1147 0 1592 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60852 KiB
Current children cumulated memory: 16680 KiB
[startup+0.304645 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130100684/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=56964 memory=13864 CPUtime=0.29 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 824 0 0 0 28 1 0 0 20 0 1 0 31658709 58331136 3466 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 14241 3466 2368 1147 0 1668 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61156 KiB
Current children cumulated memory: 16936 KiB
[startup+0.700124 s]
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130098668/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=57704 memory=14504 CPUtime=0.68 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 986 0 0 0 65 3 0 0 20 0 1 0 31658709 59088896 3626 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 14426 3626 2368 1147 0 1853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 17576 KiB
[startup+1.50013 s]
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130094452/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=58824 memory=15272 CPUtime=1.48 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 1187 0 0 0 142 6 0 0 20 0 1 0 31658709 60235776 3818 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 14706 3818 2368 1147 0 2133 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63016 KiB
Current children cumulated memory: 18344 KiB
[startup+3.10491 s]
/proc/loadavg: 1.08 1.08 1.31 5/269 16997
/proc/meminfo: memFree=130090312/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=59656 memory=16168 CPUtime=3.07 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 1396 0 0 0 298 9 0 0 20 0 1 0 31658709 61087744 4042 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 14914 4042 2368 1147 0 2341 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 63848 KiB
Current children cumulated memory: 19240 KiB
[startup+6.30013 s]
/proc/loadavg: 1.08 1.08 1.31 5/269 16997
/proc/meminfo: memFree=130080780/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=61224 memory=19436 CPUtime=6.26 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 1718 0 0 0 603 23 0 0 20 0 1 0 31658709 62693376 4859 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 15306 4859 2368 1147 0 2733 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65416 KiB
Current children cumulated memory: 22508 KiB
[startup+12.7001 s]
/proc/loadavg: 1.60 1.19 1.34 5/269 16997
/proc/meminfo: memFree=130073220/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=62672 memory=20716 CPUtime=12.64 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 2025 0 0 0 1225 39 0 0 20 0 1 0 31658709 64176128 5179 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 15668 5179 2368 1147 0 3095 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66864 KiB
Current children cumulated memory: 23788 KiB
[startup+25.5001 s]
/proc/loadavg: 1.97 1.28 1.37 5/269 16997
/proc/meminfo: memFree=130069212/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=63988 memory=21868 CPUtime=25.42 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 2339 0 0 0 2483 59 0 0 20 0 1 0 31658709 65523712 5467 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 15997 5467 2368 1147 0 3424 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 68180 KiB
Current children cumulated memory: 24940 KiB
[startup+51.1054 s]
/proc/loadavg: 2.66 1.50 1.44 5/271 17000
/proc/meminfo: memFree=130053092/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=71288 memory=25964 CPUtime=50.95 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 3875 0 0 0 5002 93 0 0 20 0 1 0 31658709 72998912 6491 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 17822 6491 2368 1147 0 5249 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 75480 KiB
Current children cumulated memory: 29036 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 1.97 1.61 5/271 17002
/proc/meminfo: memFree=130004576/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=79036 memory=31936 CPUtime=102 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 5835 0 0 0 10057 143 0 0 20 0 1 0 31658709 80932864 7984 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 19759 7984 2432 1147 0 7186 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 83228 KiB
Current children cumulated memory: 35008 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.36 1.77 5/270 17006
/proc/meminfo: memFree=129964952/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=79612 memory=32336 CPUtime=161.83 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 6277 0 0 0 15991 192 0 0 20 0 1 0 31658709 81522688 8084 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 19903 8084 2432 1147 0 7330 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 83804 KiB
Current children cumulated memory: 35408 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964664/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=80388 memory=35084 CPUtime=221.67 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 6660 0 0 0 21931 236 0 0 20 0 1 0 31658709 82317312 8771 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 20097 8771 2432 1147 0 7524 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.02 5/268 17672
/proc/meminfo: memFree=129404988/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=116240 memory=69572 CPUtime=3091.84 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 19980 0 0 0 307882 1302 0 0 20 0 1 0 31658709 119029760 17393 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 29060 17393 2464 1147 0 16487 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 120432 KiB
Current children cumulated memory: 72644 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/268 17676
/proc/meminfo: memFree=129402872/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=116492 memory=69544 CPUtime=3151.65 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 20165 0 0 0 313849 1316 0 0 20 0 1 0 31658709 119287808 17386 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 29123 17386 2464 1147 0 16550 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 120684 KiB
Current children cumulated memory: 72616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/268 17683
/proc/meminfo: memFree=129401120/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=129208 memory=70904 CPUtime=3211.46 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 20628 0 0 0 319813 1333 0 0 20 0 1 0 31658709 132308992 17726 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32302 17726 2464 1147 0 19729 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 133400 KiB
Current children cumulated memory: 73976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/268 17685
/proc/meminfo: memFree=129400044/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=130420 memory=71272 CPUtime=3271.26 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 21212 0 0 0 325775 1351 0 0 20 0 1 0 31658709 133550080 17818 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32605 17818 2464 1147 0 20032 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 134612 KiB
Current children cumulated memory: 74344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/267 17687
/proc/meminfo: memFree=129394380/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=130420 memory=71328 CPUtime=3331.04 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 21534 0 0 0 331737 1367 0 0 20 0 1 0 31658709 133550080 17832 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32605 17832 2464 1147 0 20032 0
Current children cumulated CPU time: 3331.04 s
Current children cumulated vsize: 134612 KiB
Current children cumulated memory: 74400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/267 17689
/proc/meminfo: memFree=129394032/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=130420 memory=71328 CPUtime=3390.81 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 21550 0 0 0 337696 1385 0 0 20 0 1 0 31658709 133550080 17832 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32605 17832 2464 1147 0 20032 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 134612 KiB
Current children cumulated memory: 74400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 17691
/proc/meminfo: memFree=129389192/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=131260 memory=71968 CPUtime=3450.61 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 21887 0 0 0 343659 1402 0 0 20 0 1 0 31658709 134410240 17992 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32815 17992 2464 1147 0 20242 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 135452 KiB
Current children cumulated memory: 75040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.17 4.06 5/267 17693
/proc/meminfo: memFree=129380864/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=131516 memory=72976 CPUtime=3510.38 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 22249 0 0 0 349620 1418 0 0 20 0 1 0 31658709 134672384 18244 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32879 18244 2464 1147 0 20306 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 135708 KiB
Current children cumulated memory: 76048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.24 4.09 5/266 17695
/proc/meminfo: memFree=129382228/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=131516 memory=75024 CPUtime=3570.18 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 22254 0 0 0 355591 1427 0 0 20 0 1 0 31658709 134672384 18756 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32879 18756 2464 1147 0 20306 0
Current children cumulated CPU time: 3570.18 s
Current children cumulated vsize: 135708 KiB
Current children cumulated memory: 78096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.60 4.29 4.12 5/267 17789
/proc/meminfo: memFree=129561188/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=131436 memory=75124 CPUtime=3600.08 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 22520 0 0 0 358577 1431 0 0 20 0 1 0 31658709 134590464 18781 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32859 18781 2464 1147 0 20286 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 135628 KiB
Current children cumulated memory: 78196 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.3 s]
# the end of solver process 16995 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.77 s, system=14.3171 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.60 4.29 4.12 5/267 17789
/proc/meminfo: memFree=129561188/131249996 swapFree=33010684/33010684
[pid=16995] ppid=16991 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16995/stat : 16995 (run-dec.sh) S 16991 16995 16831 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31658709 4292608 768 18446744073709551615 94590337294336 94590338188869 140726017458192 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94590338427920 94590338475664 94590355910656 140726017460589 140726017460712 140726017460712 140726017466314 0
/proc/16995/statm: 1048 768 704 219 0 110 0
[pid=16997] ppid=16995 vsize=131436 memory=75124 CPUtime=3600.08 cores=1,3
/proc/16997/stat : 16997 (roundingsat) R 16995 16995 16831 0 -1 4194304 22520 0 0 0 358577 1431 0 0 20 0 1 0 31658709 134590464 18781 18446744073709551615 4227072 8923433 140725112641648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37933056 140725112646071 140725112646184 140725112646184 140725112651754 0
/proc/16997/statm: 32859 18781 2464 1147 0 20286 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 135628 KiB
Current children cumulated memory: 78196 KiB
Child status: 2
Real time (s): 3612.3
CPU time (s): 3600.09
CPU user time (s): 3585.77
CPU system time (s): 14.3171
CPU usage (%): 99.6619
Max. virtual memory (cumulated for all children) (KiB): 136408
Max. memory (cumulated for all children) (KiB): 78736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.77
system time used= 14.3171
maximum resident set size= 76048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22754
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= 169
involuntary context switches= 4956
# summary of solver processes directly reported to runsolver:
# pid: 16995
# total CPU time (s): 3600.09
# total CPU user time (s): 3585.77
# total CPU system time (s): 14.3171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85758 second user time and 16.4455 second system time
The end
Begin job on nodeC023 at 2025-06-29 03:16:48
IDJOB=4496072
IDBENCH=148106
IDSOLVER=3349
FILE ID=nodeC023/4496072-1751159808
RUNJOBID= nodeC023-1751159806-16843
SLURM_JOB_ID= 9587505
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496072-1751159808/watcher-4496072-1751159808 -o /tmp/evaluation-result-4496072-1751159808/solver-4496072-1751159808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16843 --watchdog 3760 run-dec.sh HOME/instance-4496072-1751159808.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=249063942
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.946
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.891
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.853
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.191
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130106708 kB
MemAvailable: 129766260 kB
Buffers: 3280 kB
Cached: 470596 kB
SwapCached: 0 kB
Active: 322544 kB
Inactive: 251524 kB
Active(anon): 118256 kB
Inactive(anon): 0 kB
Active(file): 204288 kB
Inactive(file): 251524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29160 kB
Writeback: 0 kB
AnonPages: 103332 kB
Mapped: 112144 kB
Shmem: 18064 kB
KReclaimable: 85956 kB
Slab: 171388 kB
SReclaimable: 85956 kB
SUnreclaim: 85432 kB
KernelStack: 4252 kB
PageTables: 3276 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 412540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 04:17:01