0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.06 c #variables 1264 #constraints 1090
0.00/0.06 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.018765
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.020659
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.023231
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.044954
0.07/0.14 c GLOBAL bounds - >= 0 @ 0.075254
0.07/0.20 c GLOBAL bounds - >= 0 @ 0.127097
0.18/0.23 c GLOBAL bounds - >= 0 @ 0.158061
0.18/0.30 c GLOBAL bounds - >= 0 @ 0.21672
0.27/0.35 c GLOBAL bounds - >= 0 @ 0.258015
0.27/0.39 c GLOBAL bounds - >= 0 @ 0.294425
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.336837
0.38/0.48 c GLOBAL bounds - >= 0 @ 0.375044
0.48/0.56 c GLOBAL bounds - >= 0 @ 0.446112
0.57/0.63 c GLOBAL bounds - >= 0 @ 0.508309
0.65/0.71 c GLOBAL bounds - >= 0 @ 0.576801
0.65/0.78 c GLOBAL bounds - >= 0 @ 0.643184
0.75/0.82 c #Conflicts: 1000 | #Constraints: 2118
0.75/0.82 c GLOBAL bounds - >= 0 @ 0.686338
0.75/0.88 c GLOBAL bounds - >= 0 @ 0.732959
0.85/0.96 c GLOBAL bounds - >= 0 @ 0.806579
0.96/1.06 c GLOBAL bounds - >= 0 @ 0.901038
1.06/1.13 c GLOBAL bounds - >= 0 @ 0.967196
1.06/1.19 c GLOBAL bounds - >= 0 @ 1.0178
1.96/2.07 c #Conflicts: 2000 | #Constraints: 3130
1.96/2.07 c INPROCESSING
1.96/2.07 c GARBAGE COLLECT
1.96/2.07 c #Conflicts: 3000 | #Constraints: 3169
1.96/2.07 c GLOBAL bounds - >= 0 @ 1.86944
2.06/2.11 c GLOBAL bounds - >= 0 @ 1.91364
2.06/2.18 c GLOBAL bounds - >= 0 @ 1.97118
2.24/2.30 c #Conflicts: 4000 | #Constraints: 4175
2.24/2.30 c GLOBAL bounds - >= 0 @ 2.09153
2.34/2.44 c INPROCESSING
2.34/2.44 c GARBAGE COLLECT
2.34/2.44 c GLOBAL bounds - >= 0 @ 2.22242
3.34/3.41 c #Conflicts: 5000 | #Constraints: 3607
3.34/3.41 c #Conflicts: 6000 | #Constraints: 4607
3.34/3.41 c INPROCESSING
3.34/3.41 c GARBAGE COLLECT
3.34/3.41 c GLOBAL bounds - >= 0 @ 3.16581
3.64/3.79 c #Conflicts: 7000 | #Constraints: 3632
3.64/3.79 c #Conflicts: 8000 | #Constraints: 4632
3.64/3.79 c GLOBAL bounds - >= 0 @ 3.53978
3.84/3.94 c GLOBAL bounds - >= 0 @ 3.69537
3.95/4.02 c GLOBAL bounds - >= 0 @ 3.76543
3.95/4.09 c GLOBAL bounds - >= 0 @ 3.83512
4.05/4.13 c #Conflicts: 9000 | #Constraints: 5640
4.05/4.13 c GLOBAL bounds - >= 0 @ 3.87355
4.05/4.19 c GLOBAL bounds - >= 0 @ 3.93738
4.24/4.30 c INPROCESSING
4.24/4.30 c GARBAGE COLLECT
4.24/4.30 c GLOBAL bounds - >= 0 @ 4.03958
4.24/4.37 c GLOBAL bounds - >= 0 @ 4.10554
5.44/5.53 c #Conflicts: 10000 | #Constraints: 4323
5.44/5.53 c #Conflicts: 11000 | #Constraints: 5323
5.44/5.53 c GLOBAL bounds - >= 0 @ 5.2379
5.64/5.75 c #Conflicts: 12000 | #Constraints: 6325
5.64/5.75 c INPROCESSING
5.64/5.75 c GARBAGE COLLECT
5.64/5.75 c GLOBAL bounds - >= 0 @ 5.45389
5.83/5.94 c GLOBAL bounds - >= 0 @ 5.63755
31.66/31.82 c #Conflicts: 13000 | #Constraints: 4790
31.66/31.82 c #Conflicts: 14000 | #Constraints: 5790
31.66/31.82 c #Conflicts: 15000 | #Constraints: 6790
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 16000 | #Constraints: 5022
31.66/31.82 c #Conflicts: 17000 | #Constraints: 6022
31.66/31.82 c #Conflicts: 18000 | #Constraints: 7022
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 19000 | #Constraints: 5050
31.66/31.82 c #Conflicts: 20000 | #Constraints: 6050
31.66/31.82 c #Conflicts: 21000 | #Constraints: 7050
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 22000 | #Constraints: 4863
31.66/31.82 c #Conflicts: 23000 | #Constraints: 5863
31.66/31.82 c #Conflicts: 24000 | #Constraints: 6863
31.66/31.82 c #Conflicts: 25000 | #Constraints: 7863
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 26000 | #Constraints: 5471
31.66/31.82 c #Conflicts: 27000 | #Constraints: 6471
31.66/31.82 c #Conflicts: 28000 | #Constraints: 7471
31.66/31.82 c #Conflicts: 29000 | #Constraints: 8471
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 30000 | #Constraints: 5871
31.66/31.82 c #Conflicts: 31000 | #Constraints: 6871
31.66/31.82 c #Conflicts: 32000 | #Constraints: 7871
31.66/31.82 c #Conflicts: 33000 | #Constraints: 8871
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 34000 | #Constraints: 6069
31.66/31.82 c #Conflicts: 35000 | #Constraints: 7069
31.66/31.82 c #Conflicts: 36000 | #Constraints: 8069
31.66/31.82 c #Conflicts: 37000 | #Constraints: 9069
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 38000 | #Constraints: 6073
31.66/31.82 c #Conflicts: 39000 | #Constraints: 7073
31.66/31.82 c #Conflicts: 40000 | #Constraints: 8073
31.66/31.82 c #Conflicts: 41000 | #Constraints: 9073
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 42000 | #Constraints: 5873
31.66/31.82 c #Conflicts: 43000 | #Constraints: 6873
31.66/31.82 c #Conflicts: 44000 | #Constraints: 7873
31.66/31.82 c #Conflicts: 45000 | #Constraints: 8873
31.66/31.82 c #Conflicts: 46000 | #Constraints: 9873
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 47000 | #Constraints: 6478
31.66/31.82 c #Conflicts: 48000 | #Constraints: 7478
31.66/31.82 c #Conflicts: 49000 | #Constraints: 8478
31.66/31.82 c #Conflicts: 50000 | #Constraints: 9478
31.66/31.82 c #Conflicts: 51000 | #Constraints: 10478
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 52000 | #Constraints: 6888
31.66/31.82 c #Conflicts: 53000 | #Constraints: 7888
31.66/31.82 c #Conflicts: 54000 | #Constraints: 8888
31.66/31.82 c #Conflicts: 55000 | #Constraints: 9888
31.66/31.82 c #Conflicts: 56000 | #Constraints: 10888
31.66/31.82 c INPROCESSING
31.66/31.82 c GARBAGE COLLECT
31.66/31.82 c #Conflicts: 57000 | #Constraints: 7086
31.66/31.82 c #Conflicts: 58000 | #Constraints: 8086
31.66/31.82 c GLOBAL bounds - >= 0 @ 31.1491
45.22/45.47 c #Conflicts: 59000 | #Constraints: 9088
45.22/45.47 c #Conflicts: 60000 | #Constraints: 10088
45.22/45.47 c #Conflicts: 61000 | #Constraints: 11088
45.22/45.47 c INPROCESSING
45.22/45.47 c GARBAGE COLLECT
45.22/45.47 c #Conflicts: 62000 | #Constraints: 7093
45.22/45.47 c #Conflicts: 63000 | #Constraints: 8093
45.22/45.47 c #Conflicts: 64000 | #Constraints: 9093
45.22/45.47 c #Conflicts: 65000 | #Constraints: 10093
45.22/45.47 c #Conflicts: 66000 | #Constraints: 11093
45.22/45.47 c INPROCESSING
45.22/45.47 c GARBAGE COLLECT
45.22/45.47 c #Conflicts: 67000 | #Constraints: 6897
45.22/45.47 c #Conflicts: 68000 | #Constraints: 7897
45.22/45.47 c #Conflicts: 69000 | #Constraints: 8897
45.22/45.47 c #Conflicts: 70000 | #Constraints: 9897
45.22/45.47 c #Conflicts: 71000 | #Constraints: 10897
45.22/45.47 c #Conflicts: 72000 | #Constraints: 11897
45.22/45.47 c INPROCESSING
45.22/45.47 c GARBAGE COLLECT
45.22/45.47 c #Conflicts: 73000 | #Constraints: 7497
45.22/45.47 c #Conflicts: 74000 | #Constraints: 8497
45.22/45.47 c #Conflicts: 75000 | #Constraints: 9497
45.22/45.47 c #Conflicts: 76000 | #Constraints: 10497
45.22/45.47 c #Conflicts: 77000 | #Constraints: 11497
45.22/45.47 c #Conflicts: 78000 | #Constraints: 12497
45.22/45.47 c INPROCESSING
45.22/45.47 c GARBAGE COLLECT
45.22/45.47 c #Conflicts: 79000 | #Constraints: 7902
45.22/45.47 c #Conflicts: 80000 | #Constraints: 8902
45.22/45.47 c GLOBAL bounds - >= 0 @ 44.5818
54.99/55.25 c #Conflicts: 81000 | #Constraints: 9904
54.99/55.25 c #Conflicts: 82000 | #Constraints: 10904
54.99/55.25 c #Conflicts: 83000 | #Constraints: 11904
54.99/55.25 c #Conflicts: 84000 | #Constraints: 12904
54.99/55.25 c INPROCESSING
54.99/55.25 c GARBAGE COLLECT
54.99/55.25 c #Conflicts: 85000 | #Constraints: 8114
54.99/55.25 c #Conflicts: 86000 | #Constraints: 9114
54.99/55.25 c #Conflicts: 87000 | #Constraints: 10114
54.99/55.25 c #Conflicts: 88000 | #Constraints: 11114
54.99/55.25 c #Conflicts: 89000 | #Constraints: 12114
54.99/55.25 c #Conflicts: 90000 | #Constraints: 13114
54.99/55.25 c INPROCESSING
54.99/55.25 c GARBAGE COLLECT
54.99/55.25 c #Conflicts: 91000 | #Constraints: 8108
54.99/55.25 c #Conflicts: 92000 | #Constraints: 9108
54.99/55.25 c #Conflicts: 93000 | #Constraints: 10108
54.99/55.25 c #Conflicts: 94000 | #Constraints: 11108
54.99/55.25 c #Conflicts: 95000 | #Constraints: 12108
54.99/55.25 c #Conflicts: 96000 | #Constraints: 13108
54.99/55.25 c INPROCESSING
54.99/55.25 c GARBAGE COLLECT
54.99/55.25 c #Conflicts: 97000 | #Constraints: 7915
54.99/55.25 c #Conflicts: 98000 | #Constraints: 8915
54.99/55.25 c GLOBAL bounds - >= 0 @ 54.24
67.86/68.13 c #Conflicts: 99000 | #Constraints: 9917
67.86/68.13 c #Conflicts: 100000 | #Constraints: 10917
67.86/68.13 c #Conflicts: 101000 | #Constraints: 11917
67.86/68.13 c #Conflicts: 102000 | #Constraints: 12917
67.86/68.13 c #Conflicts: 103000 | #Constraints: 13917
67.86/68.13 c INPROCESSING
67.86/68.13 c GARBAGE COLLECT
67.86/68.13 c #Conflicts: 104000 | #Constraints: 8515
67.86/68.13 c #Conflicts: 105000 | #Constraints: 9515
67.86/68.13 c #Conflicts: 106000 | #Constraints: 10515
67.86/68.13 c #Conflicts: 107000 | #Constraints: 11515
67.86/68.13 c #Conflicts: 108000 | #Constraints: 12515
67.86/68.13 c #Conflicts: 109000 | #Constraints: 13515
67.86/68.13 c #Conflicts: 110000 | #Constraints: 14515
67.86/68.13 c INPROCESSING
67.86/68.13 c GARBAGE COLLECT
67.86/68.13 c #Conflicts: 111000 | #Constraints: 8910
67.86/68.13 c #Conflicts: 112000 | #Constraints: 9910
67.86/68.13 c #Conflicts: 113000 | #Constraints: 10910
67.86/68.13 c #Conflicts: 114000 | #Constraints: 11910
67.86/68.13 c #Conflicts: 115000 | #Constraints: 12910
67.86/68.13 c #Conflicts: 116000 | #Constraints: 13910
67.86/68.13 c #Conflicts: 117000 | #Constraints: 14910
67.86/68.13 c INPROCESSING
67.86/68.13 c GARBAGE COLLECT
67.86/68.13 c GLOBAL bounds - >= 0 @ 66.949
70.54/70.88 c #Conflicts: 118000 | #Constraints: 9107
70.54/70.88 c #Conflicts: 119000 | #Constraints: 10107
70.54/70.88 c #Conflicts: 120000 | #Constraints: 11107
70.54/70.88 c #Conflicts: 121000 | #Constraints: 12107
70.54/70.88 c #Conflicts: 122000 | #Constraints: 13107
70.54/70.88 c GLOBAL bounds - >= 0 @ 69.6631
81.52/81.81 c #Conflicts: 123000 | #Constraints: 14109
81.52/81.81 c #Conflicts: 124000 | #Constraints: 15109
81.52/81.81 c INPROCESSING
81.52/81.81 c GARBAGE COLLECT
81.52/81.81 c #Conflicts: 125000 | #Constraints: 9100
81.52/81.81 c #Conflicts: 126000 | #Constraints: 10100
81.52/81.81 c #Conflicts: 127000 | #Constraints: 11100
81.52/81.81 c #Conflicts: 128000 | #Constraints: 12100
81.52/81.81 c #Conflicts: 129000 | #Constraints: 13100
81.52/81.81 c #Conflicts: 130000 | #Constraints: 14100
81.52/81.81 c #Conflicts: 131000 | #Constraints: 15100
81.52/81.81 c INPROCESSING
81.52/81.81 c GARBAGE COLLECT
81.52/81.81 c #Conflicts: 132000 | #Constraints: 8900
81.52/81.81 c #Conflicts: 133000 | #Constraints: 9900
81.52/81.81 c #Conflicts: 134000 | #Constraints: 10900
81.52/81.81 c #Conflicts: 135000 | #Constraints: 11900
81.52/81.81 c #Conflicts: 136000 | #Constraints: 12900
81.52/81.81 c #Conflicts: 137000 | #Constraints: 13900
81.52/81.81 c #Conflicts: 138000 | #Constraints: 14900
81.52/81.81 c #Conflicts: 139000 | #Constraints: 15900
81.52/81.81 c GLOBAL bounds - >= 0 @ 80.4302
82.51/82.84 c INPROCESSING
82.51/82.84 c GARBAGE COLLECT
82.51/82.84 c #Conflicts: 140000 | #Constraints: 9475
82.51/82.84 c GLOBAL bounds - >= 0 @ 81.4263
101.77/102.13 c #Conflicts: 141000 | #Constraints: 10477
101.77/102.13 c #Conflicts: 142000 | #Constraints: 11477
101.77/102.13 c #Conflicts: 143000 | #Constraints: 12477
101.77/102.13 c #Conflicts: 144000 | #Constraints: 13477
101.77/102.13 c #Conflicts: 145000 | #Constraints: 14477
101.77/102.13 c #Conflicts: 146000 | #Constraints: 15477
101.77/102.13 c #Conflicts: 147000 | #Constraints: 16477
101.77/102.13 c INPROCESSING
101.77/102.13 c GARBAGE COLLECT
101.77/102.13 c #Conflicts: 148000 | #Constraints: 9887
101.77/102.13 c #Conflicts: 149000 | #Constraints: 10887
101.77/102.13 c #Conflicts: 150000 | #Constraints: 11887
101.77/102.13 c #Conflicts: 151000 | #Constraints: 12887
101.77/102.13 c #Conflicts: 152000 | #Constraints: 13887
101.77/102.13 c #Conflicts: 153000 | #Constraints: 14887
101.77/102.13 c #Conflicts: 154000 | #Constraints: 15887
101.77/102.13 c #Conflicts: 155000 | #Constraints: 16887
101.77/102.13 c INPROCESSING
101.77/102.13 c GARBAGE COLLECT
101.77/102.13 c #Conflicts: 156000 | #Constraints: 10097
101.77/102.13 c #Conflicts: 157000 | #Constraints: 11097
101.77/102.13 c #Conflicts: 158000 | #Constraints: 12097
101.77/102.13 c #Conflicts: 159000 | #Constraints: 13097
101.77/102.13 c #Conflicts: 160000 | #Constraints: 14097
101.77/102.13 c #Conflicts: 161000 | #Constraints: 15097
101.77/102.13 c #Conflicts: 162000 | #Constraints: 16097
101.77/102.13 c #Conflicts: 163000 | #Constraints: 17097
101.77/102.13 c INPROCESSING
101.77/102.13 c GARBAGE COLLECT
101.77/102.13 c #Conflicts: 164000 | #Constraints: 10105
101.77/102.13 c #Conflicts: 165000 | #Constraints: 11105
101.77/102.13 c #Conflicts: 166000 | #Constraints: 12105
101.77/102.13 c #Conflicts: 167000 | #Constraints: 13105
101.77/102.13 c #Conflicts: 168000 | #Constraints: 14105
101.77/102.13 c #Conflicts: 169000 | #Constraints: 15105
101.77/102.13 c GLOBAL bounds - >= 0 @ 100.451
118.19/118.68 c #Conflicts: 170000 | #Constraints: 16107
118.19/118.68 c #Conflicts: 171000 | #Constraints: 17107
118.19/118.68 c INPROCESSING
118.19/118.68 c GARBAGE COLLECT
118.19/118.68 c #Conflicts: 172000 | #Constraints: 9912
118.19/118.68 c #Conflicts: 173000 | #Constraints: 10912
118.19/118.68 c #Conflicts: 174000 | #Constraints: 11912
118.19/118.68 c #Conflicts: 175000 | #Constraints: 12912
118.19/118.68 c #Conflicts: 176000 | #Constraints: 13912
118.19/118.68 c #Conflicts: 177000 | #Constraints: 14912
118.19/118.68 c #Conflicts: 178000 | #Constraints: 15912
118.19/118.68 c #Conflicts: 179000 | #Constraints: 16912
118.19/118.68 c #Conflicts: 180000 | #Constraints: 17912
118.19/118.68 c INPROCESSING
118.19/118.68 c GARBAGE COLLECT
118.19/118.68 c #Conflicts: 181000 | #Constraints: 10521
118.19/118.68 c #Conflicts: 182000 | #Constraints: 11521
118.19/118.68 c #Conflicts: 183000 | #Constraints: 12521
118.19/118.68 c #Conflicts: 184000 | #Constraints: 13521
118.19/118.68 c #Conflicts: 185000 | #Constraints: 14521
118.19/118.68 c #Conflicts: 186000 | #Constraints: 15521
118.19/118.68 c #Conflicts: 187000 | #Constraints: 16521
118.19/118.68 c #Conflicts: 188000 | #Constraints: 17521
118.19/118.68 c #Conflicts: 189000 | #Constraints: 18521
118.19/118.68 c INPROCESSING
118.19/118.68 c GARBAGE COLLECT
118.19/118.68 c GLOBAL bounds - >= 0 @ 116.806
152.59/153.13 c #Conflicts: 190000 | #Constraints: 10920
152.59/153.13 c #Conflicts: 191000 | #Constraints: 11920
152.59/153.13 c #Conflicts: 192000 | #Constraints: 12920
152.59/153.13 c #Conflicts: 193000 | #Constraints: 13920
152.59/153.13 c #Conflicts: 194000 | #Constraints: 14920
152.59/153.13 c #Conflicts: 195000 | #Constraints: 15920
152.59/153.13 c #Conflicts: 196000 | #Constraints: 16920
152.59/153.13 c #Conflicts: 197000 | #Constraints: 17920
152.59/153.13 c #Conflicts: 198000 | #Constraints: 18920
152.59/153.13 c INPROCESSING
152.59/153.13 c GARBAGE COLLECT
152.59/153.13 c #Conflicts: 199000 | #Constraints: 11123
152.59/153.13 c #Conflicts: 200000 | #Constraints: 12123
152.59/153.13 c #Conflicts: 201000 | #Constraints: 13123
152.59/153.13 c #Conflicts: 202000 | #Constraints: 14123
152.59/153.13 c #Conflicts: 203000 | #Constraints: 15123
152.59/153.13 c #Conflicts: 204000 | #Constraints: 16123
152.59/153.13 c #Conflicts: 205000 | #Constraints: 17123
152.59/153.13 c #Conflicts: 206000 | #Constraints: 18123
152.59/153.13 c #Conflicts: 207000 | #Constraints: 19123
152.59/153.13 c INPROCESSING
152.59/153.13 c GARBAGE COLLECT
152.59/153.13 c #Conflicts: 208000 | #Constraints: 11130
152.59/153.13 c #Conflicts: 209000 | #Constraints: 12130
152.59/153.13 c #Conflicts: 210000 | #Constraints: 13130
152.59/153.13 c #Conflicts: 211000 | #Constraints: 14130
152.59/153.13 c #Conflicts: 212000 | #Constraints: 15130
152.59/153.13 c #Conflicts: 213000 | #Constraints: 16130
152.59/153.13 c #Conflicts: 214000 | #Constraints: 17130
152.59/153.13 c #Conflicts: 215000 | #Constraints: 18130
152.59/153.13 c #Conflicts: 216000 | #Constraints: 19130
152.59/153.13 c INPROCESSING
152.59/153.13 c GARBAGE COLLECT
152.59/153.13 c #Conflicts: 217000 | #Constraints: 10931
152.59/153.13 c #Conflicts: 218000 | #Constraints: 11931
152.59/153.13 c #Conflicts: 219000 | #Constraints: 12931
152.59/153.13 c #Conflicts: 220000 | #Constraints: 13931
152.59/153.13 c #Conflicts: 221000 | #Constraints: 14931
152.59/153.13 c #Conflicts: 222000 | #Constraints: 15931
152.59/153.13 c #Conflicts: 223000 | #Constraints: 16931
152.59/153.13 c #Conflicts: 224000 | #Constraints: 17931
152.59/153.13 c #Conflicts: 225000 | #Constraints: 18931
152.59/153.13 c #Conflicts: 226000 | #Constraints: 19931
152.59/153.13 c INPROCESSING
152.59/153.13 c GARBAGE COLLECT
152.59/153.13 c #Conflicts: 227000 | #Constraints: 11526
152.59/153.13 c #Conflicts: 228000 | #Constraints: 12526
152.59/153.13 c #Conflicts: 229000 | #Constraints: 13526
152.59/153.13 c #Conflicts: 230000 | #Constraints: 14526
152.59/153.13 c #Conflicts: 231000 | #Constraints: 15526
152.59/153.13 c #Conflicts: 232000 | #Constraints: 16526
152.59/153.13 c GLOBAL bounds - >= 0 @ 150.889
187.26/187.99 c #Conflicts: 233000 | #Constraints: 17528
187.26/187.99 c #Conflicts: 234000 | #Constraints: 18528
187.26/187.99 c #Conflicts: 235000 | #Constraints: 19528
187.26/187.99 c #Conflicts: 236000 | #Constraints: 20528
187.26/187.99 c INPROCESSING
187.26/187.99 c GARBAGE COLLECT
187.26/187.99 c #Conflicts: 237000 | #Constraints: 11933
187.26/187.99 c #Conflicts: 238000 | #Constraints: 12933
187.26/187.99 c #Conflicts: 239000 | #Constraints: 13933
187.26/187.99 c #Conflicts: 240000 | #Constraints: 14933
187.26/187.99 c #Conflicts: 241000 | #Constraints: 15933
187.26/187.99 c #Conflicts: 242000 | #Constraints: 16933
187.26/187.99 c #Conflicts: 243000 | #Constraints: 17933
187.26/187.99 c #Conflicts: 244000 | #Constraints: 18933
187.26/187.99 c #Conflicts: 245000 | #Constraints: 19933
187.26/187.99 c #Conflicts: 246000 | #Constraints: 20933
187.26/187.99 c INPROCESSING
187.26/187.99 c GARBAGE COLLECT
187.26/187.99 c #Conflicts: 247000 | #Constraints: 12143
187.26/187.99 c #Conflicts: 248000 | #Constraints: 13143
187.26/187.99 c #Conflicts: 249000 | #Constraints: 14143
187.26/187.99 c #Conflicts: 250000 | #Constraints: 15143
187.26/187.99 c #Conflicts: 251000 | #Constraints: 16143
187.26/187.99 c #Conflicts: 252000 | #Constraints: 17143
187.26/187.99 c #Conflicts: 253000 | #Constraints: 18143
187.26/187.99 c #Conflicts: 254000 | #Constraints: 19143
187.26/187.99 c #Conflicts: 255000 | #Constraints: 20143
187.26/187.99 c #Conflicts: 256000 | #Constraints: 21143
187.26/187.99 c INPROCESSING
187.26/187.99 c GARBAGE COLLECT
187.26/187.99 c #Conflicts: 257000 | #Constraints: 12142
187.26/187.99 c #Conflicts: 258000 | #Constraints: 13142
187.26/187.99 c #Conflicts: 259000 | #Constraints: 14142
187.26/187.99 c #Conflicts: 260000 | #Constraints: 15142
187.26/187.99 c #Conflicts: 261000 | #Constraints: 16142
187.26/187.99 c #Conflicts: 262000 | #Constraints: 17142
187.26/187.99 c #Conflicts: 263000 | #Constraints: 18142
187.26/187.99 c #Conflicts: 264000 | #Constraints: 19142
187.26/187.99 c #Conflicts: 265000 | #Constraints: 20142
187.26/187.99 c #Conflicts: 266000 | #Constraints: 21142
187.26/187.99 c INPROCESSING
187.26/187.99 c GARBAGE COLLECT
187.26/187.99 c #Conflicts: 267000 | #Constraints: 11935
187.26/187.99 c #Conflicts: 268000 | #Constraints: 12935
187.26/187.99 c #Conflicts: 269000 | #Constraints: 13935
187.26/187.99 c #Conflicts: 270000 | #Constraints: 14935
187.26/187.99 c GLOBAL bounds - >= 0 @ 185.349
254.43/255.39 c #Conflicts: 271000 | #Constraints: 15937
254.43/255.39 c #Conflicts: 272000 | #Constraints: 16937
254.43/255.39 c #Conflicts: 273000 | #Constraints: 17937
254.43/255.39 c #Conflicts: 274000 | #Constraints: 18937
254.43/255.39 c #Conflicts: 275000 | #Constraints: 19937
254.43/255.39 c #Conflicts: 276000 | #Constraints: 20937
254.43/255.39 c #Conflicts: 277000 | #Constraints: 21937
254.43/255.39 c INPROCESSING
254.43/255.39 c GARBAGE COLLECT
254.43/255.39 c #Conflicts: 278000 | #Constraints: 12516
254.43/255.39 c #Conflicts: 279000 | #Constraints: 13516
254.43/255.39 c #Conflicts: 280000 | #Constraints: 14516
254.43/255.39 c #Conflicts: 281000 | #Constraints: 15516
254.43/255.39 c #Conflicts: 282000 | #Constraints: 16516
254.43/255.39 c #Conflicts: 283000 | #Constraints: 17516
254.43/255.39 c #Conflicts: 284000 | #Constraints: 18516
254.43/255.39 c #Conflicts: 285000 | #Constraints: 19516
254.43/255.39 c #Conflicts: 286000 | #Constraints: 20516
254.43/255.39 c #Conflicts: 287000 | #Constraints: 21516
254.43/255.39 c #Conflicts: 288000 | #Constraints: 22516
254.43/255.39 c INPROCESSING
254.43/255.39 c GARBAGE COLLECT
254.43/255.39 c #Conflicts: 289000 | #Constraints: 12919
254.43/255.39 c #Conflicts: 290000 | #Constraints: 13919
254.43/255.39 c #Conflicts: 291000 | #Constraints: 14919
254.43/255.39 c #Conflicts: 292000 | #Constraints: 15919
254.43/255.39 c #Conflicts: 293000 | #Constraints: 16919
254.43/255.39 c #Conflicts: 294000 | #Constraints: 17919
254.43/255.39 c #Conflicts: 295000 | #Constraints: 18919
254.43/255.39 c #Conflicts: 296000 | #Constraints: 19919
254.43/255.39 c #Conflicts: 297000 | #Constraints: 20919
254.43/255.39 c #Conflicts: 298000 | #Constraints: 21919
254.43/255.39 c #Conflicts: 299000 | #Constraints: 22919
254.43/255.39 c INPROCESSING
254.43/255.39 c GARBAGE COLLECT
254.43/255.39 c #Conflicts: 300000 | #Constraints: 13119
254.43/255.39 c #Conflicts: 301000 | #Constraints: 14119
254.43/255.39 c #Conflicts: 302000 | #Constraints: 15119
254.43/255.39 c #Conflicts: 303000 | #Constraints: 16119
254.43/255.39 c #Conflicts: 304000 | #Constraints: 17119
254.43/255.39 c #Conflicts: 305000 | #Constraints: 18119
254.43/255.39 c #Conflicts: 306000 | #Constraints: 19119
254.43/255.39 c #Conflicts: 307000 | #Constraints: 20119
254.43/255.39 c #Conflicts: 308000 | #Constraints: 21119
254.43/255.39 c #Conflicts: 309000 | #Constraints: 22119
254.43/255.39 c #Conflicts: 310000 | #Constraints: 23119
254.43/255.39 c INPROCESSING
254.43/255.39 c GARBAGE COLLECT
254.43/255.39 c #Conflicts: 311000 | #Constraints: 13127
254.43/255.39 c #Conflicts: 312000 | #Constraints: 14127
254.43/255.39 c #Conflicts: 313000 | #Constraints: 15127
254.43/255.39 c #Conflicts: 314000 | #Constraints: 16127
254.43/255.39 c #Conflicts: 315000 | #Constraints: 17127
254.43/255.39 c #Conflicts: 316000 | #Constraints: 18127
254.43/255.39 c #Conflicts: 317000 | #Constraints: 19127
254.43/255.39 c #Conflicts: 318000 | #Constraints: 20127
254.43/255.39 c #Conflicts: 319000 | #Constraints: 21127
254.43/255.39 c #Conflicts: 320000 | #Constraints: 22127
254.43/255.39 c #Conflicts: 321000 | #Constraints: 23127
254.43/255.39 c INPROCESSING
254.43/255.39 c GARBAGE COLLECT
254.43/255.39 c #Conflicts: 322000 | #Constraints: 12926
254.43/255.39 c #Conflicts: 323000 | #Constraints: 13926
254.43/255.39 c #Conflicts: 324000 | #Constraints: 14926
254.43/255.39 c #Conflicts: 325000 | #Constraints: 15926
254.43/255.39 c #Conflicts: 326000 | #Constraints: 16926
254.43/255.39 c #Conflicts: 327000 | #Constraints: 17926
254.43/255.39 c #Conflicts: 328000 | #Constraints: 18926
254.43/255.39 c #Conflicts: 329000 | #Constraints: 19926
254.43/255.39 c #Conflicts: 330000 | #Constraints: 20926
254.43/255.39 c #Conflicts: 331000 | #Constraints: 21926
254.43/255.39 c #Conflicts: 332000 | #Constraints: 22926
254.43/255.39 c #Conflicts: 333000 | #Constraints: 23926
254.43/255.39 c INPROCESSING
254.43/255.39 c GARBAGE COLLECT
254.43/255.39 c #Conflicts: 334000 | #Constraints: 13529
254.43/255.39 c #Conflicts: 335000 | #Constraints: 14529
254.43/255.39 c #Conflicts: 336000 | #Constraints: 15529
254.43/255.39 c #Conflicts: 337000 | #Constraints: 16529
254.43/255.39 c #Conflicts: 338000 | #Constraints: 17529
254.43/255.39 c #Conflicts: 339000 | #Constraints: 18529
254.43/255.39 c #Conflicts: 340000 | #Constraints: 19529
254.43/255.39 c #Conflicts: 341000 | #Constraints: 20529
254.43/255.39 c #Conflicts: 342000 | #Constraints: 21529
254.43/255.39 c #Conflicts: 343000 | #Constraints: 22529
254.43/255.39 c #Conflicts: 344000 | #Constraints: 23529
254.43/255.39 c #Conflicts: 345000 | #Constraints: 24529
350.62/351.87 c INPROCESSING
350.62/351.87 c GARBAGE COLLECT
350.62/351.87 c #Conflicts: 346000 | #Constraints: 13933
350.62/351.87 c #Conflicts: 347000 | #Constraints: 14933
350.62/351.87 c #Conflicts: 348000 | #Constraints: 15933
350.62/351.87 c #Conflicts: 349000 | #Constraints: 16933
350.62/351.87 c #Conflicts: 350000 | #Constraints: 17933
350.62/351.87 c #Conflicts: 351000 | #Constraints: 18933
350.62/351.87 c #Conflicts: 352000 | #Constraints: 19933
350.62/351.87 c #Conflicts: 353000 | #Constraints: 20933
350.62/351.87 c #Conflicts: 354000 | #Constraints: 21933
350.62/351.87 c #Conflicts: 355000 | #Constraints: 22933
350.62/351.87 c #Conflicts: 356000 | #Constraints: 23933
350.62/351.87 c #Conflicts: 357000 | #Constraints: 24933
350.62/351.87 c INPROCESSING
350.62/351.87 c GARBAGE COLLECT
350.62/351.87 c #Conflicts: 358000 | #Constraints: 14136
350.62/351.87 c #Conflicts: 359000 | #Constraints: 15136
350.62/351.87 c #Conflicts: 360000 | #Constraints: 16136
350.62/351.87 c #Conflicts: 361000 | #Constraints: 17136
350.62/351.87 c #Conflicts: 362000 | #Constraints: 18136
350.62/351.87 c #Conflicts: 363000 | #Constraints: 19136
350.62/351.87 c #Conflicts: 364000 | #Constraints: 20136
350.62/351.87 c #Conflicts: 365000 | #Constraints: 21136
350.62/351.87 c #Conflicts: 366000 | #Constraints: 22136
350.62/351.87 c #Conflicts: 367000 | #Constraints: 23136
350.62/351.87 c #Conflicts: 368000 | #Constraints: 24136
350.62/351.87 c #Conflicts: 369000 | #Constraints: 25136
350.62/351.87 c INPROCESSING
350.62/351.87 c GARBAGE COLLECT
350.62/351.87 c #Conflicts: 370000 | #Constraints: 14131
350.62/351.87 c #Conflicts: 371000 | #Constraints: 15131
350.62/351.87 c #Conflicts: 372000 | #Constraints: 16131
350.62/351.87 c #Conflicts: 373000 | #Constraints: 17131
350.62/351.87 c #Conflicts: 374000 | #Constraints: 18131
350.62/351.87 c #Conflicts: 375000 | #Constraints: 19131
350.62/351.87 c #Conflicts: 376000 | #Constraints: 20131
350.62/351.87 c #Conflicts: 377000 | #Constraints: 21131
350.62/351.87 c #Conflicts: 378000 | #Constraints: 22131
350.62/351.87 c #Conflicts: 379000 | #Constraints: 23131
350.62/351.87 c #Conflicts: 380000 | #Constraints: 24131
350.62/351.87 c #Conflicts: 381000 | #Constraints: 25131
350.62/351.87 c INPROCESSING
350.62/351.87 c GARBAGE COLLECT
350.62/351.87 c #Conflicts: 382000 | #Constraints: 13932
350.62/351.87 c #Conflicts: 383000 | #Constraints: 14932
350.62/351.87 c #Conflicts: 384000 | #Constraints: 15932
350.62/351.87 c #Conflicts: 385000 | #Constraints: 16932
350.62/351.87 c #Conflicts: 386000 | #Constraints: 17932
350.62/351.87 c #Conflicts: 387000 | #Constraints: 18932
350.62/351.87 c #Conflicts: 388000 | #Constraints: 19932
350.62/351.87 c #Conflicts: 389000 | #Constraints: 20932
350.62/351.87 c #Conflicts: 390000 | #Constraints: 21932
350.62/351.87 c #Conflicts: 391000 | #Constraints: 22932
350.62/351.87 c #Conflicts: 392000 | #Constraints: 23932
350.62/351.87 c #Conflicts: 393000 | #Constraints: 24932
350.62/351.87 c #Conflicts: 394000 | #Constraints: 25932
350.62/351.87 c INPROCESSING
350.62/351.87 c GARBAGE COLLECT
350.62/351.87 c #Conflicts: 395000 | #Constraints: 14540
350.62/351.87 c #Conflicts: 396000 | #Constraints: 15540
350.62/351.87 c #Conflicts: 397000 | #Constraints: 16540
350.62/351.87 c #Conflicts: 398000 | #Constraints: 17540
350.62/351.87 c #Conflicts: 399000 | #Constraints: 18540
350.62/351.87 c #Conflicts: 400000 | #Constraints: 19540
350.62/351.87 c #Conflicts: 401000 | #Constraints: 20540
350.62/351.87 c #Conflicts: 402000 | #Constraints: 21540
350.62/351.87 c #Conflicts: 403000 | #Constraints: 22540
350.62/351.87 c #Conflicts: 404000 | #Constraints: 23540
350.62/351.87 c #Conflicts: 405000 | #Constraints: 24540
350.62/351.87 c #Conflicts: 406000 | #Constraints: 25540
350.62/351.87 c #Conflicts: 407000 | #Constraints: 26540
350.62/351.87 c INPROCESSING
350.62/351.87 c GARBAGE COLLECT
350.62/351.87 c #Conflicts: 408000 | #Constraints: 14938
350.62/351.87 c #Conflicts: 409000 | #Constraints: 15938
350.62/351.87 c #Conflicts: 410000 | #Constraints: 16938
350.62/351.87 c #Conflicts: 411000 | #Constraints: 17938
350.62/351.87 c #Conflicts: 412000 | #Constraints: 18938
350.62/351.87 c #Conflicts: 413000 | #Constraints: 19938
350.62/351.87 c #Conflicts: 414000 | #Constraints: 20938
350.62/351.87 c #Conflicts: 415000 | #Constraints: 21938
350.62/351.87 c #Conflicts: 416000 | #Constraints: 22938
350.62/351.87 c #Conflicts: 417000 | #Constraints: 23938
350.62/351.87 c #Conflicts: 418000 | #Constraints: 24938
350.62/351.87 c #Conflicts: 419000 | #Constraints: 25938
350.62/351.87 c #Conflicts: 420000 | #Constraints: 26938
403.93/405.34 c INPROCESSING
403.93/405.34 c GARBAGE COLLECT
403.93/405.34 c #Conflicts: 421000 | #Constraints: 15142
403.93/405.34 c #Conflicts: 422000 | #Constraints: 16142
403.93/405.34 c #Conflicts: 423000 | #Constraints: 17142
403.93/405.34 c #Conflicts: 424000 | #Constraints: 18142
403.93/405.34 c #Conflicts: 425000 | #Constraints: 19142
403.93/405.34 c #Conflicts: 426000 | #Constraints: 20142
403.93/405.34 c #Conflicts: 427000 | #Constraints: 21142
403.93/405.34 c #Conflicts: 428000 | #Constraints: 22142
403.93/405.34 c #Conflicts: 429000 | #Constraints: 23142
403.93/405.34 c #Conflicts: 430000 | #Constraints: 24142
403.93/405.34 c #Conflicts: 431000 | #Constraints: 25142
403.93/405.34 c #Conflicts: 432000 | #Constraints: 26142
403.93/405.34 c #Conflicts: 433000 | #Constraints: 27142
403.93/405.34 c INPROCESSING
403.93/405.34 c GARBAGE COLLECT
403.93/405.34 c #Conflicts: 434000 | #Constraints: 15156
403.93/405.34 c #Conflicts: 435000 | #Constraints: 16156
403.93/405.34 c #Conflicts: 436000 | #Constraints: 17156
403.93/405.34 c #Conflicts: 437000 | #Constraints: 18156
403.93/405.34 c #Conflicts: 438000 | #Constraints: 19156
403.93/405.34 c #Conflicts: 439000 | #Constraints: 20156
403.93/405.34 c #Conflicts: 440000 | #Constraints: 21156
403.93/405.34 c #Conflicts: 441000 | #Constraints: 22156
403.93/405.34 c #Conflicts: 442000 | #Constraints: 23156
403.93/405.34 c #Conflicts: 443000 | #Constraints: 24156
403.93/405.34 c #Conflicts: 444000 | #Constraints: 25156
403.93/405.34 c #Conflicts: 445000 | #Constraints: 26156
403.93/405.34 c #Conflicts: 446000 | #Constraints: 27156
403.93/405.34 c INPROCESSING
403.93/405.34 c GARBAGE COLLECT
403.93/405.34 c #Conflicts: 447000 | #Constraints: 14958
403.93/405.34 c #Conflicts: 448000 | #Constraints: 15958
403.93/405.34 c #Conflicts: 449000 | #Constraints: 16958
403.93/405.34 c #Conflicts: 450000 | #Constraints: 17958
403.93/405.34 c #Conflicts: 451000 | #Constraints: 18958
403.93/405.34 c #Conflicts: 452000 | #Constraints: 19958
403.93/405.34 c #Conflicts: 453000 | #Constraints: 20958
403.93/405.34 c #Conflicts: 454000 | #Constraints: 21958
403.93/405.34 c #Conflicts: 455000 | #Constraints: 22958
403.93/405.34 c #Conflicts: 456000 | #Constraints: 23958
403.93/405.34 c #Conflicts: 457000 | #Constraints: 24958
403.93/405.34 c #Conflicts: 458000 | #Constraints: 25958
403.93/405.34 c #Conflicts: 459000 | #Constraints: 26958
403.93/405.34 c #Conflicts: 460000 | #Constraints: 27958
403.93/405.34 c INPROCESSING
403.93/405.34 c GARBAGE COLLECT
403.93/405.34 c #Conflicts: 461000 | #Constraints: 15547
403.93/405.34 c #Conflicts: 462000 | #Constraints: 16547
403.93/405.34 c GLOBAL bounds - >= 0 @ 400.734
490.61/492.26 c #Conflicts: 463000 | #Constraints: 17549
490.61/492.26 c #Conflicts: 464000 | #Constraints: 18549
490.61/492.26 c #Conflicts: 465000 | #Constraints: 19549
490.61/492.26 c #Conflicts: 466000 | #Constraints: 20549
490.61/492.26 c #Conflicts: 467000 | #Constraints: 21549
490.61/492.26 c #Conflicts: 468000 | #Constraints: 22549
490.61/492.26 c #Conflicts: 469000 | #Constraints: 23549
490.61/492.26 c #Conflicts: 470000 | #Constraints: 24549
490.61/492.26 c #Conflicts: 471000 | #Constraints: 25549
490.61/492.26 c #Conflicts: 472000 | #Constraints: 26549
490.61/492.26 c #Conflicts: 473000 | #Constraints: 27549
490.61/492.26 c #Conflicts: 474000 | #Constraints: 28549
490.61/492.26 c INPROCESSING
490.61/492.26 c GARBAGE COLLECT
490.61/492.26 c #Conflicts: 475000 | #Constraints: 15939
490.61/492.26 c #Conflicts: 476000 | #Constraints: 16939
490.61/492.26 c #Conflicts: 477000 | #Constraints: 17939
490.61/492.26 c #Conflicts: 478000 | #Constraints: 18939
490.61/492.26 c #Conflicts: 479000 | #Constraints: 19939
490.61/492.26 c #Conflicts: 480000 | #Constraints: 20939
490.61/492.26 c #Conflicts: 481000 | #Constraints: 21939
490.61/492.26 c #Conflicts: 482000 | #Constraints: 22939
490.61/492.26 c #Conflicts: 483000 | #Constraints: 23939
490.61/492.26 c #Conflicts: 484000 | #Constraints: 24939
490.61/492.26 c #Conflicts: 485000 | #Constraints: 25939
490.61/492.26 c #Conflicts: 486000 | #Constraints: 26939
490.61/492.26 c #Conflicts: 487000 | #Constraints: 27939
490.61/492.26 c #Conflicts: 488000 | #Constraints: 28939
490.61/492.26 c INPROCESSING
490.61/492.26 c GARBAGE COLLECT
490.61/492.26 c #Conflicts: 489000 | #Constraints: 16143
490.61/492.26 c #Conflicts: 490000 | #Constraints: 17143
490.61/492.26 c #Conflicts: 491000 | #Constraints: 18143
490.61/492.26 c #Conflicts: 492000 | #Constraints: 19143
490.61/492.26 c #Conflicts: 493000 | #Constraints: 20143
490.61/492.26 c #Conflicts: 494000 | #Constraints: 21143
490.61/492.26 c #Conflicts: 495000 | #Constraints: 22143
490.61/492.26 c #Conflicts: 496000 | #Constraints: 23143
490.61/492.26 c #Conflicts: 497000 | #Constraints: 24143
490.61/492.26 c #Conflicts: 498000 | #Constraints: 25143
490.61/492.26 c #Conflicts: 499000 | #Constraints: 26143
490.61/492.26 c #Conflicts: 500000 | #Constraints: 27143
490.61/492.26 c #Conflicts: 501000 | #Constraints: 28143
490.61/492.26 c #Conflicts: 502000 | #Constraints: 29143
490.61/492.26 c INPROCESSING
490.61/492.26 c GARBAGE COLLECT
490.61/492.26 c #Conflicts: 503000 | #Constraints: 16137
490.61/492.26 c #Conflicts: 504000 | #Constraints: 17137
490.61/492.26 c #Conflicts: 505000 | #Constraints: 18137
490.61/492.26 c #Conflicts: 506000 | #Constraints: 19137
490.61/492.26 c #Conflicts: 507000 | #Constraints: 20137
490.61/492.26 c #Conflicts: 508000 | #Constraints: 21137
490.61/492.26 c #Conflicts: 509000 | #Constraints: 22137
490.61/492.26 c #Conflicts: 510000 | #Constraints: 23137
490.61/492.26 c #Conflicts: 511000 | #Constraints: 24137
490.61/492.26 c #Conflicts: 512000 | #Constraints: 25137
490.61/492.26 c #Conflicts: 513000 | #Constraints: 26137
490.61/492.26 c #Conflicts: 514000 | #Constraints: 27137
490.61/492.26 c #Conflicts: 515000 | #Constraints: 28137
490.61/492.26 c #Conflicts: 516000 | #Constraints: 29137
490.61/492.26 c INPROCESSING
490.61/492.26 c GARBAGE COLLECT
490.61/492.26 c #Conflicts: 517000 | #Constraints: 15934
490.61/492.26 c #Conflicts: 518000 | #Constraints: 16934
490.61/492.26 c #Conflicts: 519000 | #Constraints: 17934
490.61/492.26 c #Conflicts: 520000 | #Constraints: 18934
490.61/492.26 c #Conflicts: 521000 | #Constraints: 19934
490.61/492.26 c #Conflicts: 522000 | #Constraints: 20934
490.61/492.26 c #Conflicts: 523000 | #Constraints: 21934
490.61/492.26 c #Conflicts: 524000 | #Constraints: 22934
490.61/492.26 c #Conflicts: 525000 | #Constraints: 23934
490.61/492.26 c #Conflicts: 526000 | #Constraints: 24934
490.61/492.26 c #Conflicts: 527000 | #Constraints: 25934
490.61/492.26 c #Conflicts: 528000 | #Constraints: 26934
490.61/492.26 c #Conflicts: 529000 | #Constraints: 27934
490.61/492.26 c #Conflicts: 530000 | #Constraints: 28934
490.61/492.26 c #Conflicts: 531000 | #Constraints: 29934
490.61/492.26 c INPROCESSING
490.61/492.26 c GARBAGE COLLECT
490.61/492.26 c #Conflicts: 532000 | #Constraints: 16526
490.61/492.26 c #Conflicts: 533000 | #Constraints: 17526
490.61/492.26 c #Conflicts: 534000 | #Constraints: 18526
490.61/492.26 c #Conflicts: 535000 | #Constraints: 19526
490.61/492.26 c #Conflicts: 536000 | #Constraints: 20526
490.61/492.26 c #Conflicts: 537000 | #Constraints: 21526
490.61/492.26 c #Conflicts: 538000 | #Constraints: 22526
545.38/547.14 c #Conflicts: 539000 | #Constraints: 23526
545.38/547.14 c #Conflicts: 540000 | #Constraints: 24526
545.38/547.14 c #Conflicts: 541000 | #Constraints: 25526
545.38/547.14 c #Conflicts: 542000 | #Constraints: 26526
545.38/547.14 c #Conflicts: 543000 | #Constraints: 27526
545.38/547.14 c #Conflicts: 544000 | #Constraints: 28526
545.38/547.14 c #Conflicts: 545000 | #Constraints: 29526
545.38/547.14 c #Conflicts: 546000 | #Constraints: 30526
545.38/547.14 c INPROCESSING
545.38/547.14 c GARBAGE COLLECT
545.38/547.14 c #Conflicts: 547000 | #Constraints: 16922
545.38/547.14 c #Conflicts: 548000 | #Constraints: 17922
545.38/547.14 c #Conflicts: 549000 | #Constraints: 18922
545.38/547.14 c #Conflicts: 550000 | #Constraints: 19922
545.38/547.14 c #Conflicts: 551000 | #Constraints: 20922
545.38/547.14 c #Conflicts: 552000 | #Constraints: 21922
545.38/547.14 c #Conflicts: 553000 | #Constraints: 22922
545.38/547.14 c #Conflicts: 554000 | #Constraints: 23922
545.38/547.14 c #Conflicts: 555000 | #Constraints: 24922
545.38/547.14 c #Conflicts: 556000 | #Constraints: 25922
545.38/547.14 c #Conflicts: 557000 | #Constraints: 26922
545.38/547.14 c #Conflicts: 558000 | #Constraints: 27922
545.38/547.14 c #Conflicts: 559000 | #Constraints: 28922
545.38/547.14 c #Conflicts: 560000 | #Constraints: 29922
545.38/547.14 c #Conflicts: 561000 | #Constraints: 30922
545.38/547.14 c INPROCESSING
545.38/547.14 c GARBAGE COLLECT
545.38/547.14 c #Conflicts: 562000 | #Constraints: 17136
545.38/547.14 c #Conflicts: 563000 | #Constraints: 18136
545.38/547.14 c #Conflicts: 564000 | #Constraints: 19136
545.38/547.14 c #Conflicts: 565000 | #Constraints: 20136
545.38/547.14 c #Conflicts: 566000 | #Constraints: 21136
545.38/547.14 c #Conflicts: 567000 | #Constraints: 22136
545.38/547.14 c #Conflicts: 568000 | #Constraints: 23136
545.38/547.14 c #Conflicts: 569000 | #Constraints: 24136
545.38/547.14 c #Conflicts: 570000 | #Constraints: 25136
545.38/547.14 c #Conflicts: 571000 | #Constraints: 26136
545.38/547.14 c #Conflicts: 572000 | #Constraints: 27136
545.38/547.14 c #Conflicts: 573000 | #Constraints: 28136
545.38/547.14 c #Conflicts: 574000 | #Constraints: 29136
545.38/547.14 c #Conflicts: 575000 | #Constraints: 30136
545.38/547.14 c #Conflicts: 576000 | #Constraints: 31136
545.38/547.14 c INPROCESSING
545.38/547.14 c GARBAGE COLLECT
545.38/547.14 c #Conflicts: 577000 | #Constraints: 17130
545.38/547.14 c #Conflicts: 578000 | #Constraints: 18130
545.38/547.14 c #Conflicts: 579000 | #Constraints: 19130
545.38/547.14 c #Conflicts: 580000 | #Constraints: 20130
545.38/547.14 c GLOBAL bounds - >= 0 @ 541.539
659.25/661.40 c #Conflicts: 581000 | #Constraints: 21132
659.25/661.40 c #Conflicts: 582000 | #Constraints: 22132
659.25/661.40 c #Conflicts: 583000 | #Constraints: 23132
659.25/661.40 c #Conflicts: 584000 | #Constraints: 24132
659.25/661.40 c #Conflicts: 585000 | #Constraints: 25132
659.25/661.40 c #Conflicts: 586000 | #Constraints: 26132
659.25/661.40 c #Conflicts: 587000 | #Constraints: 27132
659.25/661.40 c #Conflicts: 588000 | #Constraints: 28132
659.25/661.40 c #Conflicts: 589000 | #Constraints: 29132
659.25/661.40 c #Conflicts: 590000 | #Constraints: 30132
659.25/661.40 c #Conflicts: 591000 | #Constraints: 31132
659.25/661.40 c INPROCESSING
659.25/661.40 c GARBAGE COLLECT
659.25/661.40 c #Conflicts: 592000 | #Constraints: 16952
659.25/661.40 c #Conflicts: 593000 | #Constraints: 17952
659.25/661.40 c #Conflicts: 594000 | #Constraints: 18952
659.25/661.40 c #Conflicts: 595000 | #Constraints: 19952
659.25/661.40 c #Conflicts: 596000 | #Constraints: 20952
659.25/661.40 c #Conflicts: 597000 | #Constraints: 21952
659.25/661.40 c #Conflicts: 598000 | #Constraints: 22952
659.25/661.40 c #Conflicts: 599000 | #Constraints: 23952
659.25/661.40 c #Conflicts: 600000 | #Constraints: 24952
659.25/661.40 c #Conflicts: 601000 | #Constraints: 25952
659.25/661.40 c #Conflicts: 602000 | #Constraints: 26952
659.25/661.40 c #Conflicts: 603000 | #Constraints: 27952
659.25/661.40 c #Conflicts: 604000 | #Constraints: 28952
659.25/661.40 c #Conflicts: 605000 | #Constraints: 29952
659.25/661.40 c #Conflicts: 606000 | #Constraints: 30952
659.25/661.40 c #Conflicts: 607000 | #Constraints: 31952
659.25/661.40 c INPROCESSING
659.25/661.40 c GARBAGE COLLECT
659.25/661.40 c #Conflicts: 608000 | #Constraints: 17547
659.25/661.40 c #Conflicts: 609000 | #Constraints: 18547
659.25/661.40 c #Conflicts: 610000 | #Constraints: 19547
659.25/661.40 c #Conflicts: 611000 | #Constraints: 20547
659.25/661.40 c #Conflicts: 612000 | #Constraints: 21547
659.25/661.40 c #Conflicts: 613000 | #Constraints: 22547
659.25/661.40 c #Conflicts: 614000 | #Constraints: 23547
659.25/661.40 c #Conflicts: 615000 | #Constraints: 24547
659.25/661.40 c #Conflicts: 616000 | #Constraints: 25547
659.25/661.40 c #Conflicts: 617000 | #Constraints: 26547
659.25/661.40 c #Conflicts: 618000 | #Constraints: 27547
659.25/661.40 c #Conflicts: 619000 | #Constraints: 28547
659.25/661.40 c #Conflicts: 620000 | #Constraints: 29547
659.25/661.40 c #Conflicts: 621000 | #Constraints: 30547
659.25/661.40 c #Conflicts: 622000 | #Constraints: 31547
659.25/661.40 c #Conflicts: 623000 | #Constraints: 32547
659.25/661.40 c INPROCESSING
659.25/661.40 c GARBAGE COLLECT
659.25/661.40 c #Conflicts: 624000 | #Constraints: 17947
659.25/661.40 c #Conflicts: 625000 | #Constraints: 18947
659.25/661.40 c #Conflicts: 626000 | #Constraints: 19947
659.25/661.40 c #Conflicts: 627000 | #Constraints: 20947
659.25/661.40 c #Conflicts: 628000 | #Constraints: 21947
659.25/661.40 c #Conflicts: 629000 | #Constraints: 22947
659.25/661.40 c #Conflicts: 630000 | #Constraints: 23947
659.25/661.40 c #Conflicts: 631000 | #Constraints: 24947
659.25/661.40 c #Conflicts: 632000 | #Constraints: 25947
659.25/661.40 c #Conflicts: 633000 | #Constraints: 26947
659.25/661.40 c #Conflicts: 634000 | #Constraints: 27947
659.25/661.40 c #Conflicts: 635000 | #Constraints: 28947
659.25/661.40 c #Conflicts: 636000 | #Constraints: 29947
659.25/661.40 c #Conflicts: 637000 | #Constraints: 30947
659.25/661.40 c #Conflicts: 638000 | #Constraints: 31947
659.25/661.40 c #Conflicts: 639000 | #Constraints: 32947
659.25/661.40 c INPROCESSING
659.25/661.40 c GARBAGE COLLECT
659.25/661.40 c #Conflicts: 640000 | #Constraints: 18144
659.25/661.40 c #Conflicts: 641000 | #Constraints: 19144
659.25/661.40 c #Conflicts: 642000 | #Constraints: 20144
659.25/661.40 c #Conflicts: 643000 | #Constraints: 21144
659.25/661.40 c #Conflicts: 644000 | #Constraints: 22144
659.25/661.40 c #Conflicts: 645000 | #Constraints: 23144
659.25/661.40 c #Conflicts: 646000 | #Constraints: 24144
659.25/661.40 c #Conflicts: 647000 | #Constraints: 25144
659.25/661.40 c #Conflicts: 648000 | #Constraints: 26144
659.25/661.40 c #Conflicts: 649000 | #Constraints: 27144
659.25/661.40 c #Conflicts: 650000 | #Constraints: 28144
659.25/661.40 c #Conflicts: 651000 | #Constraints: 29144
659.25/661.40 c #Conflicts: 652000 | #Constraints: 30144
659.25/661.40 c #Conflicts: 653000 | #Constraints: 31144
659.25/661.40 c #Conflicts: 654000 | #Constraints: 32144
659.25/661.40 c #Conflicts: 655000 | #Constraints: 33144
659.25/661.40 c INPROCESSING
659.25/661.40 c GARBAGE COLLECT
659.25/661.40 c #Conflicts: 656000 | #Constraints: 18147
781.00/783.41 c #Conflicts: 657000 | #Constraints: 19147
781.00/783.41 c #Conflicts: 658000 | #Constraints: 20147
781.00/783.41 c #Conflicts: 659000 | #Constraints: 21147
781.00/783.41 c #Conflicts: 660000 | #Constraints: 22147
781.00/783.41 c #Conflicts: 661000 | #Constraints: 23147
781.00/783.41 c #Conflicts: 662000 | #Constraints: 24147
781.00/783.41 c #Conflicts: 663000 | #Constraints: 25147
781.00/783.41 c #Conflicts: 664000 | #Constraints: 26147
781.00/783.41 c #Conflicts: 665000 | #Constraints: 27147
781.00/783.41 c #Conflicts: 666000 | #Constraints: 28147
781.00/783.41 c #Conflicts: 667000 | #Constraints: 29147
781.00/783.41 c #Conflicts: 668000 | #Constraints: 30147
781.00/783.41 c #Conflicts: 669000 | #Constraints: 31147
781.00/783.41 c #Conflicts: 670000 | #Constraints: 32147
781.00/783.41 c #Conflicts: 671000 | #Constraints: 33147
781.00/783.41 c INPROCESSING
781.00/783.41 c GARBAGE COLLECT
781.00/783.41 c #Conflicts: 672000 | #Constraints: 17944
781.00/783.41 c #Conflicts: 673000 | #Constraints: 18944
781.00/783.41 c #Conflicts: 674000 | #Constraints: 19944
781.00/783.41 c #Conflicts: 675000 | #Constraints: 20944
781.00/783.41 c #Conflicts: 676000 | #Constraints: 21944
781.00/783.41 c #Conflicts: 677000 | #Constraints: 22944
781.00/783.41 c #Conflicts: 678000 | #Constraints: 23944
781.00/783.41 c #Conflicts: 679000 | #Constraints: 24944
781.00/783.41 c #Conflicts: 680000 | #Constraints: 25944
781.00/783.41 c #Conflicts: 681000 | #Constraints: 26944
781.00/783.41 c #Conflicts: 682000 | #Constraints: 27944
781.00/783.41 c #Conflicts: 683000 | #Constraints: 28944
781.00/783.41 c #Conflicts: 684000 | #Constraints: 29944
781.00/783.41 c #Conflicts: 685000 | #Constraints: 30944
781.00/783.41 c #Conflicts: 686000 | #Constraints: 31944
781.00/783.41 c #Conflicts: 687000 | #Constraints: 32944
781.00/783.41 c #Conflicts: 688000 | #Constraints: 33944
781.00/783.41 c INPROCESSING
781.00/783.41 c GARBAGE COLLECT
781.00/783.41 c #Conflicts: 689000 | #Constraints: 18542
781.00/783.41 c #Conflicts: 690000 | #Constraints: 19542
781.00/783.41 c #Conflicts: 691000 | #Constraints: 20542
781.00/783.41 c #Conflicts: 692000 | #Constraints: 21542
781.00/783.41 c #Conflicts: 693000 | #Constraints: 22542
781.00/783.41 c #Conflicts: 694000 | #Constraints: 23542
781.00/783.41 c #Conflicts: 695000 | #Constraints: 24542
781.00/783.41 c #Conflicts: 696000 | #Constraints: 25542
781.00/783.41 c #Conflicts: 697000 | #Constraints: 26542
781.00/783.41 c #Conflicts: 698000 | #Constraints: 27542
781.00/783.41 c #Conflicts: 699000 | #Constraints: 28542
781.00/783.41 c #Conflicts: 700000 | #Constraints: 29542
781.00/783.41 c #Conflicts: 701000 | #Constraints: 30542
781.00/783.41 c #Conflicts: 702000 | #Constraints: 31542
781.00/783.41 c #Conflicts: 703000 | #Constraints: 32542
781.00/783.41 c #Conflicts: 704000 | #Constraints: 33542
781.00/783.41 c #Conflicts: 705000 | #Constraints: 34542
781.00/783.41 c INPROCESSING
781.00/783.41 c GARBAGE COLLECT
781.00/783.41 c #Conflicts: 706000 | #Constraints: 18941
781.00/783.41 c #Conflicts: 707000 | #Constraints: 19941
781.00/783.41 c #Conflicts: 708000 | #Constraints: 20941
781.00/783.41 c #Conflicts: 709000 | #Constraints: 21941
781.00/783.41 c #Conflicts: 710000 | #Constraints: 22941
781.00/783.41 c #Conflicts: 711000 | #Constraints: 23941
781.00/783.41 c #Conflicts: 712000 | #Constraints: 24941
781.00/783.41 c #Conflicts: 713000 | #Constraints: 25941
781.00/783.41 c #Conflicts: 714000 | #Constraints: 26941
781.00/783.41 c #Conflicts: 715000 | #Constraints: 27941
781.00/783.41 c #Conflicts: 716000 | #Constraints: 28941
781.00/783.41 c #Conflicts: 717000 | #Constraints: 29941
781.00/783.41 c #Conflicts: 718000 | #Constraints: 30941
781.00/783.41 c #Conflicts: 719000 | #Constraints: 31941
781.00/783.41 c #Conflicts: 720000 | #Constraints: 32941
781.00/783.41 c #Conflicts: 721000 | #Constraints: 33941
781.00/783.41 c #Conflicts: 722000 | #Constraints: 34941
781.00/783.41 c INPROCESSING
781.00/783.41 c GARBAGE COLLECT
781.00/783.41 c #Conflicts: 723000 | #Constraints: 19145
781.00/783.41 c #Conflicts: 724000 | #Constraints: 20145
781.00/783.41 c #Conflicts: 725000 | #Constraints: 21145
781.00/783.41 c #Conflicts: 726000 | #Constraints: 22145
781.00/783.41 c #Conflicts: 727000 | #Constraints: 23145
781.00/783.41 c #Conflicts: 728000 | #Constraints: 24145
781.00/783.41 c #Conflicts: 729000 | #Constraints: 25145
781.00/783.41 c #Conflicts: 730000 | #Constraints: 26145
781.00/783.41 c #Conflicts: 731000 | #Constraints: 27145
781.00/783.41 c #Conflicts: 732000 | #Constraints: 28145
854.19/856.80 c #Conflicts: 733000 | #Constraints: 29145
854.19/856.80 c #Conflicts: 734000 | #Constraints: 30145
854.19/856.80 c #Conflicts: 735000 | #Constraints: 31145
854.19/856.80 c #Conflicts: 736000 | #Constraints: 32145
854.19/856.80 c #Conflicts: 737000 | #Constraints: 33145
854.19/856.80 c #Conflicts: 738000 | #Constraints: 34145
854.19/856.80 c #Conflicts: 739000 | #Constraints: 35145
854.19/856.80 c INPROCESSING
854.19/856.80 c GARBAGE COLLECT
854.19/856.80 c #Conflicts: 740000 | #Constraints: 19146
854.19/856.80 c #Conflicts: 741000 | #Constraints: 20146
854.19/856.80 c #Conflicts: 742000 | #Constraints: 21146
854.19/856.80 c #Conflicts: 743000 | #Constraints: 22146
854.19/856.80 c #Conflicts: 744000 | #Constraints: 23146
854.19/856.80 c #Conflicts: 745000 | #Constraints: 24146
854.19/856.80 c #Conflicts: 746000 | #Constraints: 25146
854.19/856.80 c #Conflicts: 747000 | #Constraints: 26146
854.19/856.80 c #Conflicts: 748000 | #Constraints: 27146
854.19/856.80 c #Conflicts: 749000 | #Constraints: 28146
854.19/856.80 c #Conflicts: 750000 | #Constraints: 29146
854.19/856.80 c #Conflicts: 751000 | #Constraints: 30146
854.19/856.80 c #Conflicts: 752000 | #Constraints: 31146
854.19/856.80 c #Conflicts: 753000 | #Constraints: 32146
854.19/856.80 c #Conflicts: 754000 | #Constraints: 33146
854.19/856.80 c #Conflicts: 755000 | #Constraints: 34146
854.19/856.80 c #Conflicts: 756000 | #Constraints: 35146
854.19/856.80 c INPROCESSING
854.19/856.80 c GARBAGE COLLECT
854.19/856.80 c #Conflicts: 757000 | #Constraints: 18946
854.19/856.80 c #Conflicts: 758000 | #Constraints: 19946
854.19/856.80 c #Conflicts: 759000 | #Constraints: 20946
854.19/856.80 c #Conflicts: 760000 | #Constraints: 21946
854.19/856.80 c #Conflicts: 761000 | #Constraints: 22946
854.19/856.80 c #Conflicts: 762000 | #Constraints: 23946
854.19/856.80 c #Conflicts: 763000 | #Constraints: 24946
854.19/856.80 c #Conflicts: 764000 | #Constraints: 25946
854.19/856.80 c #Conflicts: 765000 | #Constraints: 26946
854.19/856.80 c #Conflicts: 766000 | #Constraints: 27946
854.19/856.80 c #Conflicts: 767000 | #Constraints: 28946
854.19/856.80 c #Conflicts: 768000 | #Constraints: 29946
854.19/856.80 c #Conflicts: 769000 | #Constraints: 30946
854.19/856.80 c #Conflicts: 770000 | #Constraints: 31946
854.19/856.80 c #Conflicts: 771000 | #Constraints: 32946
854.19/856.80 c #Conflicts: 772000 | #Constraints: 33946
854.19/856.80 c #Conflicts: 773000 | #Constraints: 34946
854.19/856.80 c #Conflicts: 774000 | #Constraints: 35946
854.19/856.80 c INPROCESSING
854.19/856.80 c GARBAGE COLLECT
854.19/856.80 c GLOBAL bounds - >= 0 @ 849.002
979.73/982.76 c #Conflicts: 775000 | #Constraints: 19550
979.73/982.76 c #Conflicts: 776000 | #Constraints: 20550
979.73/982.76 c #Conflicts: 777000 | #Constraints: 21550
979.73/982.76 c #Conflicts: 778000 | #Constraints: 22550
979.73/982.76 c #Conflicts: 779000 | #Constraints: 23550
979.73/982.76 c #Conflicts: 780000 | #Constraints: 24550
979.73/982.76 c #Conflicts: 781000 | #Constraints: 25550
979.73/982.76 c #Conflicts: 782000 | #Constraints: 26550
979.73/982.76 c #Conflicts: 783000 | #Constraints: 27550
979.73/982.76 c #Conflicts: 784000 | #Constraints: 28550
979.73/982.76 c #Conflicts: 785000 | #Constraints: 29550
979.73/982.76 c #Conflicts: 786000 | #Constraints: 30550
979.73/982.76 c #Conflicts: 787000 | #Constraints: 31550
979.73/982.76 c #Conflicts: 788000 | #Constraints: 32550
979.73/982.76 c #Conflicts: 789000 | #Constraints: 33550
979.73/982.76 c #Conflicts: 790000 | #Constraints: 34550
979.73/982.76 c #Conflicts: 791000 | #Constraints: 35550
979.73/982.76 c #Conflicts: 792000 | #Constraints: 36550
979.73/982.76 c INPROCESSING
979.73/982.76 c GARBAGE COLLECT
979.73/982.76 c #Conflicts: 793000 | #Constraints: 19938
979.73/982.76 c #Conflicts: 794000 | #Constraints: 20938
979.73/982.76 c #Conflicts: 795000 | #Constraints: 21938
979.73/982.76 c #Conflicts: 796000 | #Constraints: 22938
979.73/982.76 c #Conflicts: 797000 | #Constraints: 23938
979.73/982.76 c #Conflicts: 798000 | #Constraints: 24938
979.73/982.76 c #Conflicts: 799000 | #Constraints: 25938
979.73/982.76 c #Conflicts: 800000 | #Constraints: 26938
979.73/982.76 c #Conflicts: 801000 | #Constraints: 27938
979.73/982.76 c #Conflicts: 802000 | #Constraints: 28938
979.73/982.76 c #Conflicts: 803000 | #Constraints: 29938
979.73/982.76 c #Conflicts: 804000 | #Constraints: 30938
979.73/982.76 c #Conflicts: 805000 | #Constraints: 31938
979.73/982.76 c #Conflicts: 806000 | #Constraints: 32938
979.73/982.76 c #Conflicts: 807000 | #Constraints: 33938
979.73/982.76 c #Conflicts: 808000 | #Constraints: 34938
979.73/982.76 c #Conflicts: 809000 | #Constraints: 35938
979.73/982.76 c #Conflicts: 810000 | #Constraints: 36938
979.73/982.76 c INPROCESSING
979.73/982.76 c GARBAGE COLLECT
979.73/982.76 c #Conflicts: 811000 | #Constraints: 20131
979.73/982.76 c #Conflicts: 812000 | #Constraints: 21131
979.73/982.76 c #Conflicts: 813000 | #Constraints: 22131
979.73/982.76 c #Conflicts: 814000 | #Constraints: 23131
979.73/982.76 c #Conflicts: 815000 | #Constraints: 24131
979.73/982.76 c #Conflicts: 816000 | #Constraints: 25131
979.73/982.76 c #Conflicts: 817000 | #Constraints: 26131
979.73/982.76 c #Conflicts: 818000 | #Constraints: 27131
979.73/982.76 c #Conflicts: 819000 | #Constraints: 28131
979.73/982.76 c #Conflicts: 820000 | #Constraints: 29131
979.73/982.76 c #Conflicts: 821000 | #Constraints: 30131
979.73/982.76 c #Conflicts: 822000 | #Constraints: 31131
979.73/982.76 c #Conflicts: 823000 | #Constraints: 32131
979.73/982.76 c #Conflicts: 824000 | #Constraints: 33131
979.73/982.76 c #Conflicts: 825000 | #Constraints: 34131
979.73/982.76 c #Conflicts: 826000 | #Constraints: 35131
979.73/982.76 c #Conflicts: 827000 | #Constraints: 36131
979.73/982.76 c #Conflicts: 828000 | #Constraints: 37131
979.73/982.76 c INPROCESSING
979.73/982.76 c GARBAGE COLLECT
979.73/982.76 c #Conflicts: 829000 | #Constraints: 20132
979.73/982.76 c #Conflicts: 830000 | #Constraints: 21132
979.73/982.76 c #Conflicts: 831000 | #Constraints: 22132
979.73/982.76 c #Conflicts: 832000 | #Constraints: 23132
979.73/982.76 c #Conflicts: 833000 | #Constraints: 24132
979.73/982.76 c #Conflicts: 834000 | #Constraints: 25132
979.73/982.76 c #Conflicts: 835000 | #Constraints: 26132
979.73/982.76 c #Conflicts: 836000 | #Constraints: 27132
979.73/982.76 c #Conflicts: 837000 | #Constraints: 28132
979.73/982.76 c #Conflicts: 838000 | #Constraints: 29132
979.73/982.76 c #Conflicts: 839000 | #Constraints: 30132
979.73/982.76 c #Conflicts: 840000 | #Constraints: 31132
979.73/982.76 c #Conflicts: 841000 | #Constraints: 32132
979.73/982.76 c #Conflicts: 842000 | #Constraints: 33132
979.73/982.76 c #Conflicts: 843000 | #Constraints: 34132
979.73/982.76 c #Conflicts: 844000 | #Constraints: 35132
979.73/982.76 c #Conflicts: 845000 | #Constraints: 36132
979.73/982.76 c #Conflicts: 846000 | #Constraints: 37132
979.73/982.76 c INPROCESSING
979.73/982.76 c GARBAGE COLLECT
979.73/982.76 c #Conflicts: 847000 | #Constraints: 19940
979.73/982.76 c #Conflicts: 848000 | #Constraints: 20940
979.73/982.76 c #Conflicts: 849000 | #Constraints: 21940
979.73/982.76 c #Conflicts: 850000 | #Constraints: 22940
979.73/982.76 c #Conflicts: 851000 | #Constraints: 23940
1132.79/1136.29 c #Conflicts: 852000 | #Constraints: 24940
1132.79/1136.29 c #Conflicts: 853000 | #Constraints: 25940
1132.79/1136.29 c #Conflicts: 854000 | #Constraints: 26940
1132.79/1136.29 c #Conflicts: 855000 | #Constraints: 27940
1132.79/1136.29 c #Conflicts: 856000 | #Constraints: 28940
1132.79/1136.29 c #Conflicts: 857000 | #Constraints: 29940
1132.79/1136.29 c #Conflicts: 858000 | #Constraints: 30940
1132.79/1136.29 c #Conflicts: 859000 | #Constraints: 31940
1132.79/1136.29 c #Conflicts: 860000 | #Constraints: 32940
1132.79/1136.29 c #Conflicts: 861000 | #Constraints: 33940
1132.79/1136.29 c #Conflicts: 862000 | #Constraints: 34940
1132.79/1136.29 c #Conflicts: 863000 | #Constraints: 35940
1132.79/1136.29 c #Conflicts: 864000 | #Constraints: 36940
1132.79/1136.29 c #Conflicts: 865000 | #Constraints: 37940
1132.79/1136.29 c INPROCESSING
1132.79/1136.29 c GARBAGE COLLECT
1132.79/1136.29 c #Conflicts: 866000 | #Constraints: 20543
1132.79/1136.29 c #Conflicts: 867000 | #Constraints: 21543
1132.79/1136.29 c #Conflicts: 868000 | #Constraints: 22543
1132.79/1136.29 c #Conflicts: 869000 | #Constraints: 23543
1132.79/1136.29 c #Conflicts: 870000 | #Constraints: 24543
1132.79/1136.29 c #Conflicts: 871000 | #Constraints: 25543
1132.79/1136.29 c #Conflicts: 872000 | #Constraints: 26543
1132.79/1136.29 c #Conflicts: 873000 | #Constraints: 27543
1132.79/1136.29 c #Conflicts: 874000 | #Constraints: 28543
1132.79/1136.29 c #Conflicts: 875000 | #Constraints: 29543
1132.79/1136.29 c #Conflicts: 876000 | #Constraints: 30543
1132.79/1136.29 c #Conflicts: 877000 | #Constraints: 31543
1132.79/1136.29 c #Conflicts: 878000 | #Constraints: 32543
1132.79/1136.29 c #Conflicts: 879000 | #Constraints: 33543
1132.79/1136.29 c #Conflicts: 880000 | #Constraints: 34543
1132.79/1136.29 c #Conflicts: 881000 | #Constraints: 35543
1132.79/1136.29 c #Conflicts: 882000 | #Constraints: 36543
1132.79/1136.29 c #Conflicts: 883000 | #Constraints: 37543
1132.79/1136.29 c #Conflicts: 884000 | #Constraints: 38543
1132.79/1136.29 c INPROCESSING
1132.79/1136.29 c GARBAGE COLLECT
1132.79/1136.29 c #Conflicts: 885000 | #Constraints: 20937
1132.79/1136.29 c #Conflicts: 886000 | #Constraints: 21937
1132.79/1136.29 c #Conflicts: 887000 | #Constraints: 22937
1132.79/1136.29 c #Conflicts: 888000 | #Constraints: 23937
1132.79/1136.29 c #Conflicts: 889000 | #Constraints: 24937
1132.79/1136.29 c #Conflicts: 890000 | #Constraints: 25937
1132.79/1136.29 c #Conflicts: 891000 | #Constraints: 26937
1132.79/1136.29 c #Conflicts: 892000 | #Constraints: 27937
1132.79/1136.29 c #Conflicts: 893000 | #Constraints: 28937
1132.79/1136.29 c #Conflicts: 894000 | #Constraints: 29937
1132.79/1136.29 c #Conflicts: 895000 | #Constraints: 30937
1132.79/1136.29 c #Conflicts: 896000 | #Constraints: 31937
1132.79/1136.29 c #Conflicts: 897000 | #Constraints: 32937
1132.79/1136.29 c #Conflicts: 898000 | #Constraints: 33937
1132.79/1136.29 c #Conflicts: 899000 | #Constraints: 34937
1132.79/1136.29 c #Conflicts: 900000 | #Constraints: 35937
1132.79/1136.29 c #Conflicts: 901000 | #Constraints: 36937
1132.79/1136.29 c #Conflicts: 902000 | #Constraints: 37937
1132.79/1136.29 c #Conflicts: 903000 | #Constraints: 38937
1132.79/1136.29 c INPROCESSING
1132.79/1136.29 c GARBAGE COLLECT
1132.79/1136.29 c #Conflicts: 904000 | #Constraints: 21141
1132.79/1136.29 c #Conflicts: 905000 | #Constraints: 22141
1132.79/1136.29 c #Conflicts: 906000 | #Constraints: 23141
1132.79/1136.29 c #Conflicts: 907000 | #Constraints: 24141
1132.79/1136.29 c #Conflicts: 908000 | #Constraints: 25141
1132.79/1136.29 c #Conflicts: 909000 | #Constraints: 26141
1132.79/1136.29 c #Conflicts: 910000 | #Constraints: 27141
1132.79/1136.29 c #Conflicts: 911000 | #Constraints: 28141
1132.79/1136.29 c #Conflicts: 912000 | #Constraints: 29141
1132.79/1136.29 c #Conflicts: 913000 | #Constraints: 30141
1132.79/1136.29 c #Conflicts: 914000 | #Constraints: 31141
1132.79/1136.29 c #Conflicts: 915000 | #Constraints: 32141
1132.79/1136.29 c #Conflicts: 916000 | #Constraints: 33141
1132.79/1136.29 c #Conflicts: 917000 | #Constraints: 34141
1132.79/1136.29 c #Conflicts: 918000 | #Constraints: 35141
1132.79/1136.29 c #Conflicts: 919000 | #Constraints: 36141
1132.79/1136.29 c #Conflicts: 920000 | #Constraints: 37141
1132.79/1136.29 c #Conflicts: 921000 | #Constraints: 38141
1132.79/1136.29 c #Conflicts: 922000 | #Constraints: 39141
1132.79/1136.29 c INPROCESSING
1132.79/1136.29 c GARBAGE COLLECT
1132.79/1136.29 c #Conflicts: 923000 | #Constraints: 21154
1132.79/1136.29 c #Conflicts: 924000 | #Constraints: 22154
1132.79/1136.29 c #Conflicts: 925000 | #Constraints: 23154
1132.79/1136.29 c #Conflicts: 926000 | #Constraints: 24154
1132.79/1136.29 c #Conflicts: 927000 | #Constraints: 25154
1308.85/1312.86 c #Conflicts: 928000 | #Constraints: 26154
1308.85/1312.86 c #Conflicts: 929000 | #Constraints: 27154
1308.85/1312.86 c #Conflicts: 930000 | #Constraints: 28154
1308.85/1312.86 c #Conflicts: 931000 | #Constraints: 29154
1308.85/1312.86 c #Conflicts: 932000 | #Constraints: 30154
1308.85/1312.86 c #Conflicts: 933000 | #Constraints: 31154
1308.85/1312.86 c #Conflicts: 934000 | #Constraints: 32154
1308.85/1312.86 c #Conflicts: 935000 | #Constraints: 33154
1308.85/1312.86 c #Conflicts: 936000 | #Constraints: 34154
1308.85/1312.86 c #Conflicts: 937000 | #Constraints: 35154
1308.85/1312.86 c #Conflicts: 938000 | #Constraints: 36154
1308.85/1312.86 c #Conflicts: 939000 | #Constraints: 37154
1308.85/1312.86 c #Conflicts: 940000 | #Constraints: 38154
1308.85/1312.86 c #Conflicts: 941000 | #Constraints: 39154
1308.85/1312.86 c INPROCESSING
1308.85/1312.86 c GARBAGE COLLECT
1308.85/1312.86 c #Conflicts: 942000 | #Constraints: 20955
1308.85/1312.86 c #Conflicts: 943000 | #Constraints: 21955
1308.85/1312.86 c #Conflicts: 944000 | #Constraints: 22955
1308.85/1312.86 c #Conflicts: 945000 | #Constraints: 23955
1308.85/1312.86 c #Conflicts: 946000 | #Constraints: 24955
1308.85/1312.86 c #Conflicts: 947000 | #Constraints: 25955
1308.85/1312.86 c #Conflicts: 948000 | #Constraints: 26955
1308.85/1312.86 c #Conflicts: 949000 | #Constraints: 27955
1308.85/1312.86 c #Conflicts: 950000 | #Constraints: 28955
1308.85/1312.86 c #Conflicts: 951000 | #Constraints: 29955
1308.85/1312.86 c #Conflicts: 952000 | #Constraints: 30955
1308.85/1312.86 c #Conflicts: 953000 | #Constraints: 31955
1308.85/1312.86 c #Conflicts: 954000 | #Constraints: 32955
1308.85/1312.86 c #Conflicts: 955000 | #Constraints: 33955
1308.85/1312.86 c #Conflicts: 956000 | #Constraints: 34955
1308.85/1312.86 c #Conflicts: 957000 | #Constraints: 35955
1308.85/1312.86 c #Conflicts: 958000 | #Constraints: 36955
1308.85/1312.86 c #Conflicts: 959000 | #Constraints: 37955
1308.85/1312.86 c #Conflicts: 960000 | #Constraints: 38955
1308.85/1312.86 c #Conflicts: 961000 | #Constraints: 39955
1308.85/1312.86 c INPROCESSING
1308.85/1312.86 c GARBAGE COLLECT
1308.85/1312.86 c #Conflicts: 962000 | #Constraints: 21550
1308.85/1312.86 c #Conflicts: 963000 | #Constraints: 22550
1308.85/1312.86 c #Conflicts: 964000 | #Constraints: 23550
1308.85/1312.86 c #Conflicts: 965000 | #Constraints: 24550
1308.85/1312.86 c #Conflicts: 966000 | #Constraints: 25550
1308.85/1312.86 c #Conflicts: 967000 | #Constraints: 26550
1308.85/1312.86 c #Conflicts: 968000 | #Constraints: 27550
1308.85/1312.86 c #Conflicts: 969000 | #Constraints: 28550
1308.85/1312.86 c #Conflicts: 970000 | #Constraints: 29550
1308.85/1312.86 c #Conflicts: 971000 | #Constraints: 30550
1308.85/1312.86 c #Conflicts: 972000 | #Constraints: 31550
1308.85/1312.86 c #Conflicts: 973000 | #Constraints: 32550
1308.85/1312.86 c #Conflicts: 974000 | #Constraints: 33550
1308.85/1312.86 c #Conflicts: 975000 | #Constraints: 34550
1308.85/1312.86 c #Conflicts: 976000 | #Constraints: 35550
1308.85/1312.86 c #Conflicts: 977000 | #Constraints: 36550
1308.85/1312.86 c #Conflicts: 978000 | #Constraints: 37550
1308.85/1312.86 c #Conflicts: 979000 | #Constraints: 38550
1308.85/1312.86 c #Conflicts: 980000 | #Constraints: 39550
1308.85/1312.86 c #Conflicts: 981000 | #Constraints: 40550
1308.85/1312.86 c INPROCESSING
1308.85/1312.86 c GARBAGE COLLECT
1308.85/1312.86 c #Conflicts: 982000 | #Constraints: 21953
1308.85/1312.86 c #Conflicts: 983000 | #Constraints: 22953
1308.85/1312.86 c #Conflicts: 984000 | #Constraints: 23953
1308.85/1312.86 c #Conflicts: 985000 | #Constraints: 24953
1308.85/1312.86 c #Conflicts: 986000 | #Constraints: 25953
1308.85/1312.86 c #Conflicts: 987000 | #Constraints: 26953
1308.85/1312.86 c #Conflicts: 988000 | #Constraints: 27953
1308.85/1312.86 c #Conflicts: 989000 | #Constraints: 28953
1308.85/1312.86 c #Conflicts: 990000 | #Constraints: 29953
1308.85/1312.86 c #Conflicts: 991000 | #Constraints: 30953
1308.85/1312.86 c #Conflicts: 992000 | #Constraints: 31953
1308.85/1312.86 c #Conflicts: 993000 | #Constraints: 32953
1308.85/1312.86 c #Conflicts: 994000 | #Constraints: 33953
1308.85/1312.86 c #Conflicts: 995000 | #Constraints: 34953
1308.85/1312.86 c #Conflicts: 996000 | #Constraints: 35953
1308.85/1312.86 c #Conflicts: 997000 | #Constraints: 36953
1308.85/1312.86 c #Conflicts: 998000 | #Constraints: 37953
1308.85/1312.86 c #Conflicts: 999000 | #Constraints: 38953
1308.85/1312.86 c #Conflicts: 1000000 | #Constraints: 39953
1308.85/1312.86 c #Conflicts: 1001000 | #Constraints: 40953
1308.85/1312.86 c INPROCESSING
1308.85/1312.86 c GARBAGE COLLECT
1308.85/1312.86 c #Conflicts: 1002000 | #Constraints: 22155
1308.85/1312.86 c #Conflicts: 1003000 | #Constraints: 23155
1475.86/1480.36 c #Conflicts: 1004000 | #Constraints: 24155
1475.86/1480.36 c #Conflicts: 1005000 | #Constraints: 25155
1475.86/1480.36 c #Conflicts: 1006000 | #Constraints: 26155
1475.86/1480.36 c #Conflicts: 1007000 | #Constraints: 27155
1475.86/1480.36 c #Conflicts: 1008000 | #Constraints: 28155
1475.86/1480.36 c #Conflicts: 1009000 | #Constraints: 29155
1475.86/1480.36 c #Conflicts: 1010000 | #Constraints: 30155
1475.86/1480.36 c #Conflicts: 1011000 | #Constraints: 31155
1475.86/1480.36 c #Conflicts: 1012000 | #Constraints: 32155
1475.86/1480.36 c #Conflicts: 1013000 | #Constraints: 33155
1475.86/1480.36 c #Conflicts: 1014000 | #Constraints: 34155
1475.86/1480.36 c #Conflicts: 1015000 | #Constraints: 35155
1475.86/1480.36 c #Conflicts: 1016000 | #Constraints: 36155
1475.86/1480.36 c #Conflicts: 1017000 | #Constraints: 37155
1475.86/1480.36 c #Conflicts: 1018000 | #Constraints: 38155
1475.86/1480.36 c #Conflicts: 1019000 | #Constraints: 39155
1475.86/1480.36 c #Conflicts: 1020000 | #Constraints: 40155
1475.86/1480.36 c #Conflicts: 1021000 | #Constraints: 41155
1475.86/1480.36 c INPROCESSING
1475.86/1480.36 c GARBAGE COLLECT
1475.86/1480.36 c #Conflicts: 1022000 | #Constraints: 22160
1475.86/1480.36 c #Conflicts: 1023000 | #Constraints: 23160
1475.86/1480.36 c #Conflicts: 1024000 | #Constraints: 24160
1475.86/1480.36 c #Conflicts: 1025000 | #Constraints: 25160
1475.86/1480.36 c #Conflicts: 1026000 | #Constraints: 26160
1475.86/1480.36 c #Conflicts: 1027000 | #Constraints: 27160
1475.86/1480.36 c #Conflicts: 1028000 | #Constraints: 28160
1475.86/1480.36 c #Conflicts: 1029000 | #Constraints: 29160
1475.86/1480.36 c #Conflicts: 1030000 | #Constraints: 30160
1475.86/1480.36 c #Conflicts: 1031000 | #Constraints: 31160
1475.86/1480.36 c #Conflicts: 1032000 | #Constraints: 32160
1475.86/1480.36 c #Conflicts: 1033000 | #Constraints: 33160
1475.86/1480.36 c #Conflicts: 1034000 | #Constraints: 34160
1475.86/1480.36 c #Conflicts: 1035000 | #Constraints: 35160
1475.86/1480.36 c #Conflicts: 1036000 | #Constraints: 36160
1475.86/1480.36 c #Conflicts: 1037000 | #Constraints: 37160
1475.86/1480.36 c #Conflicts: 1038000 | #Constraints: 38160
1475.86/1480.36 c #Conflicts: 1039000 | #Constraints: 39160
1475.86/1480.36 c #Conflicts: 1040000 | #Constraints: 40160
1475.86/1480.36 c #Conflicts: 1041000 | #Constraints: 41160
1475.86/1480.36 c INPROCESSING
1475.86/1480.36 c GARBAGE COLLECT
1475.86/1480.36 c #Conflicts: 1042000 | #Constraints: 21956
1475.86/1480.36 c #Conflicts: 1043000 | #Constraints: 22956
1475.86/1480.36 c #Conflicts: 1044000 | #Constraints: 23956
1475.86/1480.36 c #Conflicts: 1045000 | #Constraints: 24956
1475.86/1480.36 c #Conflicts: 1046000 | #Constraints: 25956
1475.86/1480.36 c #Conflicts: 1047000 | #Constraints: 26956
1475.86/1480.36 c #Conflicts: 1048000 | #Constraints: 27956
1475.86/1480.36 c #Conflicts: 1049000 | #Constraints: 28956
1475.86/1480.36 c #Conflicts: 1050000 | #Constraints: 29956
1475.86/1480.36 c #Conflicts: 1051000 | #Constraints: 30956
1475.86/1480.36 c #Conflicts: 1052000 | #Constraints: 31956
1475.86/1480.36 c #Conflicts: 1053000 | #Constraints: 32956
1475.86/1480.36 c #Conflicts: 1054000 | #Constraints: 33956
1475.86/1480.36 c #Conflicts: 1055000 | #Constraints: 34956
1475.86/1480.36 c #Conflicts: 1056000 | #Constraints: 35956
1475.86/1480.36 c #Conflicts: 1057000 | #Constraints: 36956
1475.86/1480.36 c #Conflicts: 1058000 | #Constraints: 37956
1475.86/1480.36 c #Conflicts: 1059000 | #Constraints: 38956
1475.86/1480.36 c #Conflicts: 1060000 | #Constraints: 39956
1475.86/1480.36 c #Conflicts: 1061000 | #Constraints: 40956
1475.86/1480.36 c #Conflicts: 1062000 | #Constraints: 41956
1475.86/1480.36 c INPROCESSING
1475.86/1480.36 c GARBAGE COLLECT
1475.86/1480.36 c #Conflicts: 1063000 | #Constraints: 22556
1475.86/1480.36 c #Conflicts: 1064000 | #Constraints: 23556
1475.86/1480.36 c #Conflicts: 1065000 | #Constraints: 24556
1475.86/1480.36 c #Conflicts: 1066000 | #Constraints: 25556
1475.86/1480.36 c #Conflicts: 1067000 | #Constraints: 26556
1475.86/1480.36 c #Conflicts: 1068000 | #Constraints: 27556
1475.86/1480.36 c #Conflicts: 1069000 | #Constraints: 28556
1475.86/1480.36 c #Conflicts: 1070000 | #Constraints: 29556
1475.86/1480.36 c #Conflicts: 1071000 | #Constraints: 30556
1475.86/1480.36 c #Conflicts: 1072000 | #Constraints: 31556
1475.86/1480.36 c #Conflicts: 1073000 | #Constraints: 32556
1475.86/1480.36 c #Conflicts: 1074000 | #Constraints: 33556
1475.86/1480.36 c #Conflicts: 1075000 | #Constraints: 34556
1475.86/1480.36 c #Conflicts: 1076000 | #Constraints: 35556
1475.86/1480.36 c #Conflicts: 1077000 | #Constraints: 36556
1475.86/1480.36 c #Conflicts: 1078000 | #Constraints: 37556
1475.86/1480.36 c #Conflicts: 1079000 | #Constraints: 38556
1475.86/1480.36 c #Conflicts: 1080000 | #Constraints: 39556
1634.01/1638.95 c #Conflicts: 1081000 | #Constraints: 40556
1634.01/1638.95 c #Conflicts: 1082000 | #Constraints: 41556
1634.01/1638.95 c #Conflicts: 1083000 | #Constraints: 42556
1634.01/1638.95 c INPROCESSING
1634.01/1638.95 c GARBAGE COLLECT
1634.01/1638.95 c #Conflicts: 1084000 | #Constraints: 22956
1634.01/1638.95 c #Conflicts: 1085000 | #Constraints: 23956
1634.01/1638.95 c #Conflicts: 1086000 | #Constraints: 24956
1634.01/1638.95 c #Conflicts: 1087000 | #Constraints: 25956
1634.01/1638.95 c #Conflicts: 1088000 | #Constraints: 26956
1634.01/1638.95 c #Conflicts: 1089000 | #Constraints: 27956
1634.01/1638.95 c #Conflicts: 1090000 | #Constraints: 28956
1634.01/1638.95 c #Conflicts: 1091000 | #Constraints: 29956
1634.01/1638.95 c #Conflicts: 1092000 | #Constraints: 30956
1634.01/1638.95 c #Conflicts: 1093000 | #Constraints: 31956
1634.01/1638.95 c #Conflicts: 1094000 | #Constraints: 32956
1634.01/1638.95 c #Conflicts: 1095000 | #Constraints: 33956
1634.01/1638.95 c #Conflicts: 1096000 | #Constraints: 34956
1634.01/1638.95 c #Conflicts: 1097000 | #Constraints: 35956
1634.01/1638.95 c #Conflicts: 1098000 | #Constraints: 36956
1634.01/1638.95 c #Conflicts: 1099000 | #Constraints: 37956
1634.01/1638.95 c #Conflicts: 1100000 | #Constraints: 38956
1634.01/1638.95 c #Conflicts: 1101000 | #Constraints: 39956
1634.01/1638.95 c #Conflicts: 1102000 | #Constraints: 40956
1634.01/1638.95 c #Conflicts: 1103000 | #Constraints: 41956
1634.01/1638.95 c #Conflicts: 1104000 | #Constraints: 42956
1634.01/1638.95 c INPROCESSING
1634.01/1638.95 c GARBAGE COLLECT
1634.01/1638.95 c #Conflicts: 1105000 | #Constraints: 23162
1634.01/1638.95 c #Conflicts: 1106000 | #Constraints: 24162
1634.01/1638.95 c #Conflicts: 1107000 | #Constraints: 25162
1634.01/1638.95 c #Conflicts: 1108000 | #Constraints: 26162
1634.01/1638.95 c #Conflicts: 1109000 | #Constraints: 27162
1634.01/1638.95 c #Conflicts: 1110000 | #Constraints: 28162
1634.01/1638.95 c #Conflicts: 1111000 | #Constraints: 29162
1634.01/1638.95 c #Conflicts: 1112000 | #Constraints: 30162
1634.01/1638.95 c #Conflicts: 1113000 | #Constraints: 31162
1634.01/1638.95 c #Conflicts: 1114000 | #Constraints: 32162
1634.01/1638.95 c #Conflicts: 1115000 | #Constraints: 33162
1634.01/1638.95 c #Conflicts: 1116000 | #Constraints: 34162
1634.01/1638.95 c #Conflicts: 1117000 | #Constraints: 35162
1634.01/1638.95 c #Conflicts: 1118000 | #Constraints: 36162
1634.01/1638.95 c #Conflicts: 1119000 | #Constraints: 37162
1634.01/1638.95 c #Conflicts: 1120000 | #Constraints: 38162
1634.01/1638.95 c #Conflicts: 1121000 | #Constraints: 39162
1634.01/1638.95 c #Conflicts: 1122000 | #Constraints: 40162
1634.01/1638.95 c #Conflicts: 1123000 | #Constraints: 41162
1634.01/1638.95 c #Conflicts: 1124000 | #Constraints: 42162
1634.01/1638.95 c #Conflicts: 1125000 | #Constraints: 43162
1634.01/1638.95 c INPROCESSING
1634.01/1638.95 c GARBAGE COLLECT
1634.01/1638.95 c #Conflicts: 1126000 | #Constraints: 23166
1634.01/1638.95 c #Conflicts: 1127000 | #Constraints: 24166
1634.01/1638.95 c #Conflicts: 1128000 | #Constraints: 25166
1634.01/1638.95 c #Conflicts: 1129000 | #Constraints: 26166
1634.01/1638.95 c #Conflicts: 1130000 | #Constraints: 27166
1634.01/1638.95 c #Conflicts: 1131000 | #Constraints: 28166
1634.01/1638.95 c #Conflicts: 1132000 | #Constraints: 29166
1634.01/1638.95 c #Conflicts: 1133000 | #Constraints: 30166
1634.01/1638.95 c #Conflicts: 1134000 | #Constraints: 31166
1634.01/1638.95 c #Conflicts: 1135000 | #Constraints: 32166
1634.01/1638.95 c #Conflicts: 1136000 | #Constraints: 33166
1634.01/1638.95 c #Conflicts: 1137000 | #Constraints: 34166
1634.01/1638.95 c #Conflicts: 1138000 | #Constraints: 35166
1634.01/1638.95 c #Conflicts: 1139000 | #Constraints: 36166
1634.01/1638.95 c #Conflicts: 1140000 | #Constraints: 37166
1634.01/1638.95 c #Conflicts: 1141000 | #Constraints: 38166
1634.01/1638.95 c #Conflicts: 1142000 | #Constraints: 39166
1634.01/1638.95 c #Conflicts: 1143000 | #Constraints: 40166
1634.01/1638.95 c #Conflicts: 1144000 | #Constraints: 41166
1634.01/1638.95 c #Conflicts: 1145000 | #Constraints: 42166
1634.01/1638.95 c #Conflicts: 1146000 | #Constraints: 43166
1634.01/1638.95 c INPROCESSING
1634.01/1638.95 c GARBAGE COLLECT
1634.01/1638.95 c #Conflicts: 1147000 | #Constraints: 22966
1634.01/1638.95 c #Conflicts: 1148000 | #Constraints: 23966
1634.01/1638.95 c #Conflicts: 1149000 | #Constraints: 24966
1634.01/1638.95 c #Conflicts: 1150000 | #Constraints: 25966
1634.01/1638.95 c #Conflicts: 1151000 | #Constraints: 26966
1634.01/1638.95 c #Conflicts: 1152000 | #Constraints: 27966
1634.01/1638.95 c #Conflicts: 1153000 | #Constraints: 28966
1634.01/1638.95 c #Conflicts: 1154000 | #Constraints: 29966
1634.01/1638.95 c #Conflicts: 1155000 | #Constraints: 30966
1634.01/1638.95 c #Conflicts: 1156000 | #Constraints: 31966
1821.49/1827.00 c #Conflicts: 1157000 | #Constraints: 32966
1821.49/1827.00 c #Conflicts: 1158000 | #Constraints: 33966
1821.49/1827.00 c #Conflicts: 1159000 | #Constraints: 34966
1821.49/1827.00 c #Conflicts: 1160000 | #Constraints: 35966
1821.49/1827.00 c #Conflicts: 1161000 | #Constraints: 36966
1821.49/1827.00 c #Conflicts: 1162000 | #Constraints: 37966
1821.49/1827.00 c #Conflicts: 1163000 | #Constraints: 38966
1821.49/1827.00 c #Conflicts: 1164000 | #Constraints: 39966
1821.49/1827.00 c #Conflicts: 1165000 | #Constraints: 40966
1821.49/1827.00 c #Conflicts: 1166000 | #Constraints: 41966
1821.49/1827.00 c #Conflicts: 1167000 | #Constraints: 42966
1821.49/1827.00 c #Conflicts: 1168000 | #Constraints: 43966
1821.49/1827.00 c INPROCESSING
1821.49/1827.00 c GARBAGE COLLECT
1821.49/1827.00 c #Conflicts: 1169000 | #Constraints: 23562
1821.49/1827.00 c #Conflicts: 1170000 | #Constraints: 24562
1821.49/1827.00 c #Conflicts: 1171000 | #Constraints: 25562
1821.49/1827.00 c #Conflicts: 1172000 | #Constraints: 26562
1821.49/1827.00 c #Conflicts: 1173000 | #Constraints: 27562
1821.49/1827.00 c #Conflicts: 1174000 | #Constraints: 28562
1821.49/1827.00 c #Conflicts: 1175000 | #Constraints: 29562
1821.49/1827.00 c #Conflicts: 1176000 | #Constraints: 30562
1821.49/1827.00 c #Conflicts: 1177000 | #Constraints: 31562
1821.49/1827.00 c #Conflicts: 1178000 | #Constraints: 32562
1821.49/1827.00 c #Conflicts: 1179000 | #Constraints: 33562
1821.49/1827.00 c #Conflicts: 1180000 | #Constraints: 34562
1821.49/1827.00 c #Conflicts: 1181000 | #Constraints: 35562
1821.49/1827.00 c #Conflicts: 1182000 | #Constraints: 36562
1821.49/1827.00 c #Conflicts: 1183000 | #Constraints: 37562
1821.49/1827.00 c #Conflicts: 1184000 | #Constraints: 38562
1821.49/1827.00 c #Conflicts: 1185000 | #Constraints: 39562
1821.49/1827.00 c #Conflicts: 1186000 | #Constraints: 40562
1821.49/1827.00 c #Conflicts: 1187000 | #Constraints: 41562
1821.49/1827.00 c #Conflicts: 1188000 | #Constraints: 42562
1821.49/1827.00 c #Conflicts: 1189000 | #Constraints: 43562
1821.49/1827.00 c #Conflicts: 1190000 | #Constraints: 44562
1821.49/1827.00 c INPROCESSING
1821.49/1827.00 c GARBAGE COLLECT
1821.49/1827.00 c #Conflicts: 1191000 | #Constraints: 23963
1821.49/1827.00 c #Conflicts: 1192000 | #Constraints: 24963
1821.49/1827.00 c #Conflicts: 1193000 | #Constraints: 25963
1821.49/1827.00 c #Conflicts: 1194000 | #Constraints: 26963
1821.49/1827.00 c #Conflicts: 1195000 | #Constraints: 27963
1821.49/1827.00 c #Conflicts: 1196000 | #Constraints: 28963
1821.49/1827.00 c #Conflicts: 1197000 | #Constraints: 29963
1821.49/1827.00 c #Conflicts: 1198000 | #Constraints: 30963
1821.49/1827.00 c #Conflicts: 1199000 | #Constraints: 31963
1821.49/1827.00 c #Conflicts: 1200000 | #Constraints: 32963
1821.49/1827.00 c #Conflicts: 1201000 | #Constraints: 33963
1821.49/1827.00 c #Conflicts: 1202000 | #Constraints: 34963
1821.49/1827.00 c #Conflicts: 1203000 | #Constraints: 35963
1821.49/1827.00 c #Conflicts: 1204000 | #Constraints: 36963
1821.49/1827.00 c #Conflicts: 1205000 | #Constraints: 37963
1821.49/1827.00 c #Conflicts: 1206000 | #Constraints: 38963
1821.49/1827.00 c #Conflicts: 1207000 | #Constraints: 39963
1821.49/1827.00 c #Conflicts: 1208000 | #Constraints: 40963
1821.49/1827.00 c #Conflicts: 1209000 | #Constraints: 41963
1821.49/1827.00 c #Conflicts: 1210000 | #Constraints: 42963
1821.49/1827.00 c #Conflicts: 1211000 | #Constraints: 43963
1821.49/1827.00 c #Conflicts: 1212000 | #Constraints: 44963
1821.49/1827.00 c INPROCESSING
1821.49/1827.00 c GARBAGE COLLECT
1821.49/1827.00 c #Conflicts: 1213000 | #Constraints: 24165
1821.49/1827.00 c #Conflicts: 1214000 | #Constraints: 25165
1821.49/1827.00 c #Conflicts: 1215000 | #Constraints: 26165
1821.49/1827.00 c #Conflicts: 1216000 | #Constraints: 27165
1821.49/1827.00 c #Conflicts: 1217000 | #Constraints: 28165
1821.49/1827.00 c #Conflicts: 1218000 | #Constraints: 29165
1821.49/1827.00 c #Conflicts: 1219000 | #Constraints: 30165
1821.49/1827.00 c #Conflicts: 1220000 | #Constraints: 31165
1821.49/1827.00 c #Conflicts: 1221000 | #Constraints: 32165
1821.49/1827.00 c #Conflicts: 1222000 | #Constraints: 33165
1821.49/1827.00 c #Conflicts: 1223000 | #Constraints: 34165
1821.49/1827.00 c #Conflicts: 1224000 | #Constraints: 35165
1821.49/1827.00 c #Conflicts: 1225000 | #Constraints: 36165
1821.49/1827.00 c #Conflicts: 1226000 | #Constraints: 37165
1821.49/1827.00 c #Conflicts: 1227000 | #Constraints: 38165
1821.49/1827.00 c #Conflicts: 1228000 | #Constraints: 39165
1821.49/1827.00 c #Conflicts: 1229000 | #Constraints: 40165
1821.49/1827.00 c #Conflicts: 1230000 | #Constraints: 41165
1821.49/1827.00 c #Conflicts: 1231000 | #Constraints: 42165
1821.49/1827.00 c #Conflicts: 1232000 | #Constraints: 43165
1821.49/1827.00 c #Conflicts: 1233000 | #Constraints: 44165
1998.51/2004.43 c #Conflicts: 1234000 | #Constraints: 45165
1998.51/2004.43 c INPROCESSING
1998.51/2004.43 c GARBAGE COLLECT
1998.51/2004.43 c #Conflicts: 1235000 | #Constraints: 24164
1998.51/2004.43 c #Conflicts: 1236000 | #Constraints: 25164
1998.51/2004.43 c #Conflicts: 1237000 | #Constraints: 26164
1998.51/2004.43 c #Conflicts: 1238000 | #Constraints: 27164
1998.51/2004.43 c #Conflicts: 1239000 | #Constraints: 28164
1998.51/2004.43 c #Conflicts: 1240000 | #Constraints: 29164
1998.51/2004.43 c #Conflicts: 1241000 | #Constraints: 30164
1998.51/2004.43 c #Conflicts: 1242000 | #Constraints: 31164
1998.51/2004.43 c #Conflicts: 1243000 | #Constraints: 32164
1998.51/2004.43 c #Conflicts: 1244000 | #Constraints: 33164
1998.51/2004.43 c #Conflicts: 1245000 | #Constraints: 34164
1998.51/2004.43 c #Conflicts: 1246000 | #Constraints: 35164
1998.51/2004.43 c #Conflicts: 1247000 | #Constraints: 36164
1998.51/2004.43 c #Conflicts: 1248000 | #Constraints: 37164
1998.51/2004.43 c #Conflicts: 1249000 | #Constraints: 38164
1998.51/2004.43 c #Conflicts: 1250000 | #Constraints: 39164
1998.51/2004.43 c #Conflicts: 1251000 | #Constraints: 40164
1998.51/2004.43 c #Conflicts: 1252000 | #Constraints: 41164
1998.51/2004.43 c #Conflicts: 1253000 | #Constraints: 42164
1998.51/2004.43 c #Conflicts: 1254000 | #Constraints: 43164
1998.51/2004.43 c #Conflicts: 1255000 | #Constraints: 44164
1998.51/2004.43 c #Conflicts: 1256000 | #Constraints: 45164
1998.51/2004.43 c INPROCESSING
1998.51/2004.43 c GARBAGE COLLECT
1998.51/2004.43 c #Conflicts: 1257000 | #Constraints: 23965
1998.51/2004.43 c #Conflicts: 1258000 | #Constraints: 24965
1998.51/2004.43 c #Conflicts: 1259000 | #Constraints: 25965
1998.51/2004.43 c #Conflicts: 1260000 | #Constraints: 26965
1998.51/2004.43 c #Conflicts: 1261000 | #Constraints: 27965
1998.51/2004.43 c #Conflicts: 1262000 | #Constraints: 28965
1998.51/2004.43 c #Conflicts: 1263000 | #Constraints: 29965
1998.51/2004.43 c #Conflicts: 1264000 | #Constraints: 30965
1998.51/2004.43 c #Conflicts: 1265000 | #Constraints: 31965
1998.51/2004.43 c #Conflicts: 1266000 | #Constraints: 32965
1998.51/2004.43 c #Conflicts: 1267000 | #Constraints: 33965
1998.51/2004.43 c #Conflicts: 1268000 | #Constraints: 34965
1998.51/2004.43 c #Conflicts: 1269000 | #Constraints: 35965
1998.51/2004.43 c #Conflicts: 1270000 | #Constraints: 36965
1998.51/2004.43 c #Conflicts: 1271000 | #Constraints: 37965
1998.51/2004.43 c #Conflicts: 1272000 | #Constraints: 38965
1998.51/2004.43 c #Conflicts: 1273000 | #Constraints: 39965
1998.51/2004.43 c #Conflicts: 1274000 | #Constraints: 40965
1998.51/2004.43 c #Conflicts: 1275000 | #Constraints: 41965
1998.51/2004.43 c #Conflicts: 1276000 | #Constraints: 42965
1998.51/2004.43 c #Conflicts: 1277000 | #Constraints: 43965
1998.51/2004.43 c #Conflicts: 1278000 | #Constraints: 44965
1998.51/2004.43 c #Conflicts: 1279000 | #Constraints: 45965
1998.51/2004.43 c INPROCESSING
1998.51/2004.43 c GARBAGE COLLECT
1998.51/2004.43 c #Conflicts: 1280000 | #Constraints: 24566
1998.51/2004.43 c #Conflicts: 1281000 | #Constraints: 25566
1998.51/2004.43 c #Conflicts: 1282000 | #Constraints: 26566
1998.51/2004.43 c #Conflicts: 1283000 | #Constraints: 27566
1998.51/2004.43 c #Conflicts: 1284000 | #Constraints: 28566
1998.51/2004.43 c #Conflicts: 1285000 | #Constraints: 29566
1998.51/2004.43 c #Conflicts: 1286000 | #Constraints: 30566
1998.51/2004.43 c #Conflicts: 1287000 | #Constraints: 31566
1998.51/2004.43 c #Conflicts: 1288000 | #Constraints: 32566
1998.51/2004.43 c #Conflicts: 1289000 | #Constraints: 33566
1998.51/2004.43 c #Conflicts: 1290000 | #Constraints: 34566
1998.51/2004.43 c #Conflicts: 1291000 | #Constraints: 35566
1998.51/2004.43 c #Conflicts: 1292000 | #Constraints: 36566
1998.51/2004.43 c #Conflicts: 1293000 | #Constraints: 37566
1998.51/2004.43 c #Conflicts: 1294000 | #Constraints: 38566
1998.51/2004.43 c #Conflicts: 1295000 | #Constraints: 39566
1998.51/2004.43 c #Conflicts: 1296000 | #Constraints: 40566
1998.51/2004.43 c #Conflicts: 1297000 | #Constraints: 41566
1998.51/2004.43 c #Conflicts: 1298000 | #Constraints: 42566
1998.51/2004.43 c #Conflicts: 1299000 | #Constraints: 43566
1998.51/2004.43 c #Conflicts: 1300000 | #Constraints: 44566
1998.51/2004.43 c #Conflicts: 1301000 | #Constraints: 45566
1998.51/2004.43 c #Conflicts: 1302000 | #Constraints: 46566
1998.51/2004.43 c INPROCESSING
1998.51/2004.43 c GARBAGE COLLECT
1998.51/2004.43 c #Conflicts: 1303000 | #Constraints: 24962
1998.51/2004.43 c #Conflicts: 1304000 | #Constraints: 25962
1998.51/2004.43 c #Conflicts: 1305000 | #Constraints: 26962
1998.51/2004.43 c #Conflicts: 1306000 | #Constraints: 27962
1998.51/2004.43 c #Conflicts: 1307000 | #Constraints: 28962
1998.51/2004.43 c #Conflicts: 1308000 | #Constraints: 29962
1998.51/2004.43 c #Conflicts: 1309000 | #Constraints: 30962
2180.21/2186.67 c #Conflicts: 1310000 | #Constraints: 31962
2180.21/2186.67 c #Conflicts: 1311000 | #Constraints: 32962
2180.21/2186.67 c #Conflicts: 1312000 | #Constraints: 33962
2180.21/2186.67 c #Conflicts: 1313000 | #Constraints: 34962
2180.21/2186.67 c #Conflicts: 1314000 | #Constraints: 35962
2180.21/2186.67 c #Conflicts: 1315000 | #Constraints: 36962
2180.21/2186.67 c #Conflicts: 1316000 | #Constraints: 37962
2180.21/2186.67 c #Conflicts: 1317000 | #Constraints: 38962
2180.21/2186.67 c #Conflicts: 1318000 | #Constraints: 39962
2180.21/2186.67 c #Conflicts: 1319000 | #Constraints: 40962
2180.21/2186.67 c #Conflicts: 1320000 | #Constraints: 41962
2180.21/2186.67 c #Conflicts: 1321000 | #Constraints: 42962
2180.21/2186.67 c #Conflicts: 1322000 | #Constraints: 43962
2180.21/2186.67 c #Conflicts: 1323000 | #Constraints: 44962
2180.21/2186.67 c #Conflicts: 1324000 | #Constraints: 45962
2180.21/2186.67 c #Conflicts: 1325000 | #Constraints: 46962
2180.21/2186.67 c INPROCESSING
2180.21/2186.67 c GARBAGE COLLECT
2180.21/2186.67 c #Conflicts: 1326000 | #Constraints: 25166
2180.21/2186.67 c #Conflicts: 1327000 | #Constraints: 26166
2180.21/2186.67 c #Conflicts: 1328000 | #Constraints: 27166
2180.21/2186.67 c #Conflicts: 1329000 | #Constraints: 28166
2180.21/2186.67 c #Conflicts: 1330000 | #Constraints: 29166
2180.21/2186.67 c #Conflicts: 1331000 | #Constraints: 30166
2180.21/2186.67 c #Conflicts: 1332000 | #Constraints: 31166
2180.21/2186.67 c #Conflicts: 1333000 | #Constraints: 32166
2180.21/2186.67 c #Conflicts: 1334000 | #Constraints: 33166
2180.21/2186.67 c #Conflicts: 1335000 | #Constraints: 34166
2180.21/2186.67 c #Conflicts: 1336000 | #Constraints: 35166
2180.21/2186.67 c #Conflicts: 1337000 | #Constraints: 36166
2180.21/2186.67 c #Conflicts: 1338000 | #Constraints: 37166
2180.21/2186.67 c #Conflicts: 1339000 | #Constraints: 38166
2180.21/2186.67 c #Conflicts: 1340000 | #Constraints: 39166
2180.21/2186.67 c #Conflicts: 1341000 | #Constraints: 40166
2180.21/2186.67 c #Conflicts: 1342000 | #Constraints: 41166
2180.21/2186.67 c #Conflicts: 1343000 | #Constraints: 42166
2180.21/2186.67 c #Conflicts: 1344000 | #Constraints: 43166
2180.21/2186.67 c #Conflicts: 1345000 | #Constraints: 44166
2180.21/2186.67 c #Conflicts: 1346000 | #Constraints: 45166
2180.21/2186.67 c #Conflicts: 1347000 | #Constraints: 46166
2180.21/2186.67 c #Conflicts: 1348000 | #Constraints: 47166
2180.21/2186.68 c INPROCESSING
2180.21/2186.68 c GARBAGE COLLECT
2180.21/2186.68 c #Conflicts: 1349000 | #Constraints: 25168
2180.21/2186.68 c #Conflicts: 1350000 | #Constraints: 26168
2180.21/2186.68 c #Conflicts: 1351000 | #Constraints: 27168
2180.21/2186.68 c #Conflicts: 1352000 | #Constraints: 28168
2180.21/2186.68 c #Conflicts: 1353000 | #Constraints: 29168
2180.21/2186.68 c #Conflicts: 1354000 | #Constraints: 30168
2180.21/2186.68 c #Conflicts: 1355000 | #Constraints: 31168
2180.21/2186.68 c #Conflicts: 1356000 | #Constraints: 32168
2180.21/2186.68 c #Conflicts: 1357000 | #Constraints: 33168
2180.21/2186.68 c #Conflicts: 1358000 | #Constraints: 34168
2180.21/2186.68 c #Conflicts: 1359000 | #Constraints: 35168
2180.21/2186.68 c #Conflicts: 1360000 | #Constraints: 36168
2180.21/2186.68 c #Conflicts: 1361000 | #Constraints: 37168
2180.21/2186.68 c #Conflicts: 1362000 | #Constraints: 38168
2180.21/2186.68 c #Conflicts: 1363000 | #Constraints: 39168
2180.21/2186.68 c #Conflicts: 1364000 | #Constraints: 40168
2180.21/2186.68 c #Conflicts: 1365000 | #Constraints: 41168
2180.21/2186.68 c #Conflicts: 1366000 | #Constraints: 42168
2180.21/2186.68 c #Conflicts: 1367000 | #Constraints: 43168
2180.21/2186.68 c #Conflicts: 1368000 | #Constraints: 44168
2180.21/2186.68 c #Conflicts: 1369000 | #Constraints: 45168
2180.21/2186.68 c #Conflicts: 1370000 | #Constraints: 46168
2180.21/2186.68 c #Conflicts: 1371000 | #Constraints: 47168
2180.21/2186.68 c INPROCESSING
2180.21/2186.68 c GARBAGE COLLECT
2180.21/2186.68 c #Conflicts: 1372000 | #Constraints: 24964
2180.21/2186.68 c #Conflicts: 1373000 | #Constraints: 25964
2180.21/2186.68 c #Conflicts: 1374000 | #Constraints: 26964
2180.21/2186.68 c #Conflicts: 1375000 | #Constraints: 27964
2180.21/2186.68 c #Conflicts: 1376000 | #Constraints: 28964
2180.21/2186.68 c #Conflicts: 1377000 | #Constraints: 29964
2180.21/2186.68 c #Conflicts: 1378000 | #Constraints: 30964
2180.21/2186.68 c #Conflicts: 1379000 | #Constraints: 31964
2180.21/2186.68 c #Conflicts: 1380000 | #Constraints: 32964
2180.21/2186.68 c #Conflicts: 1381000 | #Constraints: 33964
2180.21/2186.68 c #Conflicts: 1382000 | #Constraints: 34964
2180.21/2186.68 c #Conflicts: 1383000 | #Constraints: 35964
2180.21/2186.68 c #Conflicts: 1384000 | #Constraints: 36964
2180.21/2186.68 c #Conflicts: 1385000 | #Constraints: 37964
2180.21/2186.68 c #Conflicts: 1386000 | #Constraints: 38964
2286.33/2293.07 c #Conflicts: 1387000 | #Constraints: 39964
2286.33/2293.07 c #Conflicts: 1388000 | #Constraints: 40964
2286.33/2293.07 c #Conflicts: 1389000 | #Constraints: 41964
2286.33/2293.07 c #Conflicts: 1390000 | #Constraints: 42964
2286.33/2293.07 c #Conflicts: 1391000 | #Constraints: 43964
2286.33/2293.07 c #Conflicts: 1392000 | #Constraints: 44964
2286.33/2293.07 c #Conflicts: 1393000 | #Constraints: 45964
2286.33/2293.07 c #Conflicts: 1394000 | #Constraints: 46964
2286.33/2293.07 c #Conflicts: 1395000 | #Constraints: 47964
2286.33/2293.07 c INPROCESSING
2286.33/2293.07 c GARBAGE COLLECT
2286.33/2293.07 c #Conflicts: 1396000 | #Constraints: 25568
2286.33/2293.07 c #Conflicts: 1397000 | #Constraints: 26568
2286.33/2293.07 c #Conflicts: 1398000 | #Constraints: 27568
2286.33/2293.07 c #Conflicts: 1399000 | #Constraints: 28568
2286.33/2293.07 c #Conflicts: 1400000 | #Constraints: 29568
2286.33/2293.07 c #Conflicts: 1401000 | #Constraints: 30568
2286.33/2293.07 c #Conflicts: 1402000 | #Constraints: 31568
2286.33/2293.07 c #Conflicts: 1403000 | #Constraints: 32568
2286.33/2293.07 c #Conflicts: 1404000 | #Constraints: 33568
2286.33/2293.07 c #Conflicts: 1405000 | #Constraints: 34568
2286.33/2293.07 c #Conflicts: 1406000 | #Constraints: 35568
2286.33/2293.07 c #Conflicts: 1407000 | #Constraints: 36568
2286.33/2293.07 c #Conflicts: 1408000 | #Constraints: 37568
2286.33/2293.07 c #Conflicts: 1409000 | #Constraints: 38568
2286.33/2293.07 c #Conflicts: 1410000 | #Constraints: 39568
2286.33/2293.07 c #Conflicts: 1411000 | #Constraints: 40568
2286.33/2293.07 c #Conflicts: 1412000 | #Constraints: 41568
2286.33/2293.07 c #Conflicts: 1413000 | #Constraints: 42568
2286.33/2293.07 c #Conflicts: 1414000 | #Constraints: 43568
2286.33/2293.07 c #Conflicts: 1415000 | #Constraints: 44568
2286.33/2293.07 c #Conflicts: 1416000 | #Constraints: 45568
2286.33/2293.07 c #Conflicts: 1417000 | #Constraints: 46568
2286.33/2293.07 c #Conflicts: 1418000 | #Constraints: 47568
2286.33/2293.07 c #Conflicts: 1419000 | #Constraints: 48568
2286.33/2293.07 c INPROCESSING
2286.33/2293.07 c GARBAGE COLLECT
2286.33/2293.07 c #Conflicts: 1420000 | #Constraints: 25971
2286.33/2293.07 c #Conflicts: 1421000 | #Constraints: 26971
2286.33/2293.07 c #Conflicts: 1422000 | #Constraints: 27971
2286.33/2293.07 c #Conflicts: 1423000 | #Constraints: 28971
2286.33/2293.07 c #Conflicts: 1424000 | #Constraints: 29971
2286.33/2293.07 c #Conflicts: 1425000 | #Constraints: 30971
2286.33/2293.07 c GLOBAL bounds - >= 0 @ 2277.13
2466.61/2473.85 c #Conflicts: 1426000 | #Constraints: 31973
2466.61/2473.85 c #Conflicts: 1427000 | #Constraints: 32973
2466.61/2473.85 c #Conflicts: 1428000 | #Constraints: 33973
2466.61/2473.85 c #Conflicts: 1429000 | #Constraints: 34973
2466.61/2473.85 c #Conflicts: 1430000 | #Constraints: 35973
2466.61/2473.85 c #Conflicts: 1431000 | #Constraints: 36973
2466.61/2473.85 c #Conflicts: 1432000 | #Constraints: 37973
2466.61/2473.85 c #Conflicts: 1433000 | #Constraints: 38973
2466.61/2473.85 c #Conflicts: 1434000 | #Constraints: 39973
2466.61/2473.85 c #Conflicts: 1435000 | #Constraints: 40973
2466.61/2473.85 c #Conflicts: 1436000 | #Constraints: 41973
2466.61/2473.85 c #Conflicts: 1437000 | #Constraints: 42973
2466.61/2473.85 c #Conflicts: 1438000 | #Constraints: 43973
2466.61/2473.85 c #Conflicts: 1439000 | #Constraints: 44973
2466.61/2473.85 c #Conflicts: 1440000 | #Constraints: 45973
2466.61/2473.85 c #Conflicts: 1441000 | #Constraints: 46973
2466.61/2473.85 c #Conflicts: 1442000 | #Constraints: 47973
2466.61/2473.85 c #Conflicts: 1443000 | #Constraints: 48973
2466.61/2473.85 c INPROCESSING
2466.61/2473.85 c GARBAGE COLLECT
2466.61/2473.85 c #Conflicts: 1444000 | #Constraints: 26185
2466.61/2473.85 c #Conflicts: 1445000 | #Constraints: 27185
2466.61/2473.85 c #Conflicts: 1446000 | #Constraints: 28185
2466.61/2473.85 c #Conflicts: 1447000 | #Constraints: 29185
2466.61/2473.85 c #Conflicts: 1448000 | #Constraints: 30185
2466.61/2473.85 c #Conflicts: 1449000 | #Constraints: 31185
2466.61/2473.85 c #Conflicts: 1450000 | #Constraints: 32185
2466.61/2473.85 c #Conflicts: 1451000 | #Constraints: 33185
2466.61/2473.85 c #Conflicts: 1452000 | #Constraints: 34185
2466.61/2473.85 c #Conflicts: 1453000 | #Constraints: 35185
2466.61/2473.85 c #Conflicts: 1454000 | #Constraints: 36185
2466.61/2473.85 c #Conflicts: 1455000 | #Constraints: 37185
2466.61/2473.85 c #Conflicts: 1456000 | #Constraints: 38185
2466.61/2473.85 c #Conflicts: 1457000 | #Constraints: 39185
2466.61/2473.85 c #Conflicts: 1458000 | #Constraints: 40185
2466.61/2473.85 c #Conflicts: 1459000 | #Constraints: 41185
2466.61/2473.85 c #Conflicts: 1460000 | #Constraints: 42185
2466.61/2473.85 c #Conflicts: 1461000 | #Constraints: 43185
2466.61/2473.85 c #Conflicts: 1462000 | #Constraints: 44185
2466.61/2473.85 c #Conflicts: 1463000 | #Constraints: 45185
2466.61/2473.85 c #Conflicts: 1464000 | #Constraints: 46185
2466.61/2473.85 c #Conflicts: 1465000 | #Constraints: 47185
2466.61/2473.85 c #Conflicts: 1466000 | #Constraints: 48185
2466.61/2473.85 c #Conflicts: 1467000 | #Constraints: 49185
2466.61/2473.85 c INPROCESSING
2466.61/2473.85 c GARBAGE COLLECT
2466.61/2473.85 c #Conflicts: 1468000 | #Constraints: 26136
2466.61/2473.85 c #Conflicts: 1469000 | #Constraints: 27136
2466.61/2473.85 c #Conflicts: 1470000 | #Constraints: 28136
2466.61/2473.85 c #Conflicts: 1471000 | #Constraints: 29136
2466.61/2473.85 c #Conflicts: 1472000 | #Constraints: 30136
2466.61/2473.85 c #Conflicts: 1473000 | #Constraints: 31136
2466.61/2473.85 c #Conflicts: 1474000 | #Constraints: 32136
2466.61/2473.85 c #Conflicts: 1475000 | #Constraints: 33136
2466.61/2473.85 c #Conflicts: 1476000 | #Constraints: 34136
2466.61/2473.85 c #Conflicts: 1477000 | #Constraints: 35136
2466.61/2473.85 c #Conflicts: 1478000 | #Constraints: 36136
2466.61/2473.85 c #Conflicts: 1479000 | #Constraints: 37136
2466.61/2473.85 c #Conflicts: 1480000 | #Constraints: 38136
2466.61/2473.85 c #Conflicts: 1481000 | #Constraints: 39136
2466.61/2473.85 c #Conflicts: 1482000 | #Constraints: 40136
2466.61/2473.85 c #Conflicts: 1483000 | #Constraints: 41136
2466.61/2473.85 c #Conflicts: 1484000 | #Constraints: 42136
2466.61/2473.85 c #Conflicts: 1485000 | #Constraints: 43136
2466.61/2473.85 c #Conflicts: 1486000 | #Constraints: 44136
2466.61/2473.85 c #Conflicts: 1487000 | #Constraints: 45136
2466.61/2473.85 c #Conflicts: 1488000 | #Constraints: 46136
2466.61/2473.85 c #Conflicts: 1489000 | #Constraints: 47136
2466.61/2473.85 c #Conflicts: 1490000 | #Constraints: 48136
2466.61/2473.85 c #Conflicts: 1491000 | #Constraints: 49136
2466.61/2473.85 c INPROCESSING
2466.61/2473.85 c GARBAGE COLLECT
2466.61/2473.85 c #Conflicts: 1492000 | #Constraints: 25950
2466.61/2473.85 c #Conflicts: 1493000 | #Constraints: 26950
2466.61/2473.85 c #Conflicts: 1494000 | #Constraints: 27950
2466.61/2473.85 c #Conflicts: 1495000 | #Constraints: 28950
2466.61/2473.85 c #Conflicts: 1496000 | #Constraints: 29950
2466.61/2473.85 c #Conflicts: 1497000 | #Constraints: 30950
2466.61/2473.85 c #Conflicts: 1498000 | #Constraints: 31950
2466.61/2473.85 c #Conflicts: 1499000 | #Constraints: 32950
2466.61/2473.85 c #Conflicts: 1500000 | #Constraints: 33950
2466.61/2473.85 c #Conflicts: 1501000 | #Constraints: 34950
2466.61/2473.85 c #Conflicts: 1502000 | #Constraints: 35950
2666.28/2674.09 c #Conflicts: 1503000 | #Constraints: 36950
2666.28/2674.09 c #Conflicts: 1504000 | #Constraints: 37950
2666.28/2674.09 c #Conflicts: 1505000 | #Constraints: 38950
2666.28/2674.09 c #Conflicts: 1506000 | #Constraints: 39950
2666.28/2674.09 c #Conflicts: 1507000 | #Constraints: 40950
2666.28/2674.09 c #Conflicts: 1508000 | #Constraints: 41950
2666.28/2674.09 c #Conflicts: 1509000 | #Constraints: 42950
2666.28/2674.09 c #Conflicts: 1510000 | #Constraints: 43950
2666.28/2674.09 c #Conflicts: 1511000 | #Constraints: 44950
2666.28/2674.09 c #Conflicts: 1512000 | #Constraints: 45950
2666.28/2674.09 c #Conflicts: 1513000 | #Constraints: 46950
2666.28/2674.09 c #Conflicts: 1514000 | #Constraints: 47950
2666.28/2674.09 c #Conflicts: 1515000 | #Constraints: 48950
2666.28/2674.09 c #Conflicts: 1516000 | #Constraints: 49950
2666.28/2674.09 c INPROCESSING
2666.28/2674.09 c GARBAGE COLLECT
2666.28/2674.09 c #Conflicts: 1517000 | #Constraints: 26559
2666.28/2674.09 c #Conflicts: 1518000 | #Constraints: 27559
2666.28/2674.09 c #Conflicts: 1519000 | #Constraints: 28559
2666.28/2674.09 c #Conflicts: 1520000 | #Constraints: 29559
2666.28/2674.09 c #Conflicts: 1521000 | #Constraints: 30559
2666.28/2674.09 c #Conflicts: 1522000 | #Constraints: 31559
2666.28/2674.09 c #Conflicts: 1523000 | #Constraints: 32559
2666.28/2674.09 c #Conflicts: 1524000 | #Constraints: 33559
2666.28/2674.09 c #Conflicts: 1525000 | #Constraints: 34559
2666.28/2674.09 c #Conflicts: 1526000 | #Constraints: 35559
2666.28/2674.09 c #Conflicts: 1527000 | #Constraints: 36559
2666.28/2674.09 c #Conflicts: 1528000 | #Constraints: 37559
2666.28/2674.09 c #Conflicts: 1529000 | #Constraints: 38559
2666.28/2674.09 c #Conflicts: 1530000 | #Constraints: 39559
2666.28/2674.09 c #Conflicts: 1531000 | #Constraints: 40559
2666.28/2674.09 c #Conflicts: 1532000 | #Constraints: 41559
2666.28/2674.09 c #Conflicts: 1533000 | #Constraints: 42559
2666.28/2674.09 c #Conflicts: 1534000 | #Constraints: 43559
2666.28/2674.09 c #Conflicts: 1535000 | #Constraints: 44559
2666.28/2674.09 c #Conflicts: 1536000 | #Constraints: 45559
2666.28/2674.09 c #Conflicts: 1537000 | #Constraints: 46559
2666.28/2674.09 c #Conflicts: 1538000 | #Constraints: 47559
2666.28/2674.09 c #Conflicts: 1539000 | #Constraints: 48559
2666.28/2674.09 c #Conflicts: 1540000 | #Constraints: 49559
2666.28/2674.09 c #Conflicts: 1541000 | #Constraints: 50559
2666.28/2674.09 c INPROCESSING
2666.28/2674.09 c GARBAGE COLLECT
2666.28/2674.09 c #Conflicts: 1542000 | #Constraints: 26959
2666.28/2674.09 c #Conflicts: 1543000 | #Constraints: 27959
2666.28/2674.09 c #Conflicts: 1544000 | #Constraints: 28959
2666.28/2674.09 c #Conflicts: 1545000 | #Constraints: 29959
2666.28/2674.09 c #Conflicts: 1546000 | #Constraints: 30959
2666.28/2674.09 c #Conflicts: 1547000 | #Constraints: 31959
2666.28/2674.09 c #Conflicts: 1548000 | #Constraints: 32959
2666.28/2674.09 c #Conflicts: 1549000 | #Constraints: 33959
2666.28/2674.09 c #Conflicts: 1550000 | #Constraints: 34959
2666.28/2674.09 c #Conflicts: 1551000 | #Constraints: 35959
2666.28/2674.09 c #Conflicts: 1552000 | #Constraints: 36959
2666.28/2674.09 c #Conflicts: 1553000 | #Constraints: 37959
2666.28/2674.09 c #Conflicts: 1554000 | #Constraints: 38959
2666.28/2674.09 c #Conflicts: 1555000 | #Constraints: 39959
2666.28/2674.09 c #Conflicts: 1556000 | #Constraints: 40959
2666.28/2674.09 c #Conflicts: 1557000 | #Constraints: 41959
2666.28/2674.09 c #Conflicts: 1558000 | #Constraints: 42959
2666.28/2674.09 c #Conflicts: 1559000 | #Constraints: 43959
2666.28/2674.09 c #Conflicts: 1560000 | #Constraints: 44959
2666.28/2674.09 c #Conflicts: 1561000 | #Constraints: 45959
2666.28/2674.09 c #Conflicts: 1562000 | #Constraints: 46959
2666.28/2674.09 c #Conflicts: 1563000 | #Constraints: 47959
2666.28/2674.09 c #Conflicts: 1564000 | #Constraints: 48959
2666.28/2674.09 c #Conflicts: 1565000 | #Constraints: 49959
2666.28/2674.09 c #Conflicts: 1566000 | #Constraints: 50959
2666.28/2674.09 c INPROCESSING
2666.28/2674.09 c GARBAGE COLLECT
2666.28/2674.09 c #Conflicts: 1567000 | #Constraints: 27163
2666.28/2674.09 c #Conflicts: 1568000 | #Constraints: 28163
2666.28/2674.09 c #Conflicts: 1569000 | #Constraints: 29163
2666.28/2674.09 c #Conflicts: 1570000 | #Constraints: 30163
2666.28/2674.09 c #Conflicts: 1571000 | #Constraints: 31163
2666.28/2674.09 c #Conflicts: 1572000 | #Constraints: 32163
2666.28/2674.09 c #Conflicts: 1573000 | #Constraints: 33163
2666.28/2674.09 c #Conflicts: 1574000 | #Constraints: 34163
2666.28/2674.09 c #Conflicts: 1575000 | #Constraints: 35163
2666.28/2674.09 c #Conflicts: 1576000 | #Constraints: 36163
2666.28/2674.09 c #Conflicts: 1577000 | #Constraints: 37163
2666.28/2674.09 c #Conflicts: 1578000 | #Constraints: 38163
2666.28/2674.09 c #Conflicts: 1579000 | #Constraints: 39163
2866.70/2875.10 c #Conflicts: 1580000 | #Constraints: 40163
2866.70/2875.10 c #Conflicts: 1581000 | #Constraints: 41163
2866.70/2875.10 c #Conflicts: 1582000 | #Constraints: 42163
2866.70/2875.10 c #Conflicts: 1583000 | #Constraints: 43163
2866.70/2875.10 c #Conflicts: 1584000 | #Constraints: 44163
2866.70/2875.10 c #Conflicts: 1585000 | #Constraints: 45163
2866.70/2875.10 c #Conflicts: 1586000 | #Constraints: 46163
2866.70/2875.10 c #Conflicts: 1587000 | #Constraints: 47163
2866.70/2875.10 c #Conflicts: 1588000 | #Constraints: 48163
2866.70/2875.10 c #Conflicts: 1589000 | #Constraints: 49163
2866.70/2875.10 c #Conflicts: 1590000 | #Constraints: 50163
2866.70/2875.10 c #Conflicts: 1591000 | #Constraints: 51163
2866.70/2875.10 c INPROCESSING
2866.70/2875.10 c GARBAGE COLLECT
2866.70/2875.10 c #Conflicts: 1592000 | #Constraints: 27156
2866.70/2875.10 c #Conflicts: 1593000 | #Constraints: 28156
2866.70/2875.10 c #Conflicts: 1594000 | #Constraints: 29156
2866.70/2875.10 c #Conflicts: 1595000 | #Constraints: 30156
2866.70/2875.10 c #Conflicts: 1596000 | #Constraints: 31156
2866.70/2875.10 c #Conflicts: 1597000 | #Constraints: 32156
2866.70/2875.10 c #Conflicts: 1598000 | #Constraints: 33156
2866.70/2875.10 c #Conflicts: 1599000 | #Constraints: 34156
2866.70/2875.10 c #Conflicts: 1600000 | #Constraints: 35156
2866.70/2875.10 c #Conflicts: 1601000 | #Constraints: 36156
2866.70/2875.10 c #Conflicts: 1602000 | #Constraints: 37156
2866.70/2875.10 c #Conflicts: 1603000 | #Constraints: 38156
2866.70/2875.10 c #Conflicts: 1604000 | #Constraints: 39156
2866.70/2875.10 c #Conflicts: 1605000 | #Constraints: 40156
2866.70/2875.10 c #Conflicts: 1606000 | #Constraints: 41156
2866.70/2875.10 c #Conflicts: 1607000 | #Constraints: 42156
2866.70/2875.10 c #Conflicts: 1608000 | #Constraints: 43156
2866.70/2875.10 c #Conflicts: 1609000 | #Constraints: 44156
2866.70/2875.10 c #Conflicts: 1610000 | #Constraints: 45156
2866.70/2875.10 c #Conflicts: 1611000 | #Constraints: 46156
2866.70/2875.10 c #Conflicts: 1612000 | #Constraints: 47156
2866.70/2875.10 c #Conflicts: 1613000 | #Constraints: 48156
2866.70/2875.10 c #Conflicts: 1614000 | #Constraints: 49156
2866.70/2875.10 c #Conflicts: 1615000 | #Constraints: 50156
2866.70/2875.10 c #Conflicts: 1616000 | #Constraints: 51156
2866.70/2875.10 c INPROCESSING
2866.70/2875.10 c GARBAGE COLLECT
2866.70/2875.10 c #Conflicts: 1617000 | #Constraints: 26955
2866.70/2875.10 c #Conflicts: 1618000 | #Constraints: 27955
2866.70/2875.10 c #Conflicts: 1619000 | #Constraints: 28955
2866.70/2875.10 c #Conflicts: 1620000 | #Constraints: 29955
2866.70/2875.10 c #Conflicts: 1621000 | #Constraints: 30955
2866.70/2875.10 c #Conflicts: 1622000 | #Constraints: 31955
2866.70/2875.10 c #Conflicts: 1623000 | #Constraints: 32955
2866.70/2875.10 c #Conflicts: 1624000 | #Constraints: 33955
2866.70/2875.10 c #Conflicts: 1625000 | #Constraints: 34955
2866.70/2875.10 c #Conflicts: 1626000 | #Constraints: 35955
2866.70/2875.10 c #Conflicts: 1627000 | #Constraints: 36955
2866.70/2875.10 c #Conflicts: 1628000 | #Constraints: 37955
2866.70/2875.10 c #Conflicts: 1629000 | #Constraints: 38955
2866.70/2875.10 c #Conflicts: 1630000 | #Constraints: 39955
2866.70/2875.10 c #Conflicts: 1631000 | #Constraints: 40955
2866.70/2875.10 c #Conflicts: 1632000 | #Constraints: 41955
2866.70/2875.10 c #Conflicts: 1633000 | #Constraints: 42955
2866.70/2875.10 c #Conflicts: 1634000 | #Constraints: 43955
2866.70/2875.10 c #Conflicts: 1635000 | #Constraints: 44955
2866.70/2875.10 c #Conflicts: 1636000 | #Constraints: 45955
2866.70/2875.10 c #Conflicts: 1637000 | #Constraints: 46955
2866.70/2875.10 c #Conflicts: 1638000 | #Constraints: 47955
2866.70/2875.10 c #Conflicts: 1639000 | #Constraints: 48955
2866.70/2875.10 c #Conflicts: 1640000 | #Constraints: 49955
2866.70/2875.10 c #Conflicts: 1641000 | #Constraints: 50955
2866.70/2875.10 c #Conflicts: 1642000 | #Constraints: 51955
2866.70/2875.10 c INPROCESSING
2866.70/2875.10 c GARBAGE COLLECT
2866.70/2875.10 c #Conflicts: 1643000 | #Constraints: 27566
2866.70/2875.10 c #Conflicts: 1644000 | #Constraints: 28566
2866.70/2875.10 c #Conflicts: 1645000 | #Constraints: 29566
2866.70/2875.10 c #Conflicts: 1646000 | #Constraints: 30566
2866.70/2875.10 c #Conflicts: 1647000 | #Constraints: 31566
2866.70/2875.10 c #Conflicts: 1648000 | #Constraints: 32566
2866.70/2875.10 c #Conflicts: 1649000 | #Constraints: 33566
2866.70/2875.10 c #Conflicts: 1650000 | #Constraints: 34566
2866.70/2875.10 c #Conflicts: 1651000 | #Constraints: 35566
2866.70/2875.10 c #Conflicts: 1652000 | #Constraints: 36566
2866.70/2875.10 c #Conflicts: 1653000 | #Constraints: 37566
2866.70/2875.10 c #Conflicts: 1654000 | #Constraints: 38566
2866.70/2875.10 c #Conflicts: 1655000 | #Constraints: 39566
2866.70/2875.10 c #Conflicts: 1656000 | #Constraints: 40566
3087.98/3097.11 c #Conflicts: 1657000 | #Constraints: 41566
3087.98/3097.11 c #Conflicts: 1658000 | #Constraints: 42566
3087.98/3097.11 c #Conflicts: 1659000 | #Constraints: 43566
3087.98/3097.11 c #Conflicts: 1660000 | #Constraints: 44566
3087.98/3097.11 c #Conflicts: 1661000 | #Constraints: 45566
3087.98/3097.11 c #Conflicts: 1662000 | #Constraints: 46566
3087.98/3097.11 c #Conflicts: 1663000 | #Constraints: 47566
3087.98/3097.11 c #Conflicts: 1664000 | #Constraints: 48566
3087.98/3097.11 c #Conflicts: 1665000 | #Constraints: 49566
3087.98/3097.11 c #Conflicts: 1666000 | #Constraints: 50566
3087.98/3097.11 c #Conflicts: 1667000 | #Constraints: 51566
3087.98/3097.11 c #Conflicts: 1668000 | #Constraints: 52566
3087.98/3097.11 c INPROCESSING
3087.98/3097.11 c GARBAGE COLLECT
3087.98/3097.11 c #Conflicts: 1669000 | #Constraints: 27967
3087.98/3097.11 c #Conflicts: 1670000 | #Constraints: 28967
3087.98/3097.11 c #Conflicts: 1671000 | #Constraints: 29967
3087.98/3097.11 c #Conflicts: 1672000 | #Constraints: 30967
3087.98/3097.11 c #Conflicts: 1673000 | #Constraints: 31967
3087.98/3097.11 c #Conflicts: 1674000 | #Constraints: 32967
3087.98/3097.11 c #Conflicts: 1675000 | #Constraints: 33967
3087.98/3097.11 c #Conflicts: 1676000 | #Constraints: 34967
3087.98/3097.11 c #Conflicts: 1677000 | #Constraints: 35967
3087.98/3097.11 c #Conflicts: 1678000 | #Constraints: 36967
3087.98/3097.11 c #Conflicts: 1679000 | #Constraints: 37967
3087.98/3097.11 c #Conflicts: 1680000 | #Constraints: 38967
3087.98/3097.11 c #Conflicts: 1681000 | #Constraints: 39967
3087.98/3097.11 c #Conflicts: 1682000 | #Constraints: 40967
3087.98/3097.11 c #Conflicts: 1683000 | #Constraints: 41967
3087.98/3097.11 c #Conflicts: 1684000 | #Constraints: 42967
3087.98/3097.11 c #Conflicts: 1685000 | #Constraints: 43967
3087.98/3097.11 c #Conflicts: 1686000 | #Constraints: 44967
3087.98/3097.11 c #Conflicts: 1687000 | #Constraints: 45967
3087.98/3097.11 c #Conflicts: 1688000 | #Constraints: 46967
3087.98/3097.11 c #Conflicts: 1689000 | #Constraints: 47967
3087.98/3097.11 c #Conflicts: 1690000 | #Constraints: 48967
3087.98/3097.11 c #Conflicts: 1691000 | #Constraints: 49967
3087.98/3097.11 c #Conflicts: 1692000 | #Constraints: 50967
3087.98/3097.11 c #Conflicts: 1693000 | #Constraints: 51967
3087.98/3097.11 c #Conflicts: 1694000 | #Constraints: 52967
3087.98/3097.11 c INPROCESSING
3087.98/3097.11 c GARBAGE COLLECT
3087.98/3097.11 c #Conflicts: 1695000 | #Constraints: 28166
3087.98/3097.11 c #Conflicts: 1696000 | #Constraints: 29166
3087.98/3097.11 c #Conflicts: 1697000 | #Constraints: 30166
3087.98/3097.11 c #Conflicts: 1698000 | #Constraints: 31166
3087.98/3097.11 c #Conflicts: 1699000 | #Constraints: 32166
3087.98/3097.11 c #Conflicts: 1700000 | #Constraints: 33166
3087.98/3097.11 c #Conflicts: 1701000 | #Constraints: 34166
3087.98/3097.11 c #Conflicts: 1702000 | #Constraints: 35166
3087.98/3097.11 c #Conflicts: 1703000 | #Constraints: 36166
3087.98/3097.11 c #Conflicts: 1704000 | #Constraints: 37166
3087.98/3097.11 c #Conflicts: 1705000 | #Constraints: 38166
3087.98/3097.11 c #Conflicts: 1706000 | #Constraints: 39166
3087.98/3097.11 c #Conflicts: 1707000 | #Constraints: 40166
3087.98/3097.11 c #Conflicts: 1708000 | #Constraints: 41166
3087.98/3097.11 c #Conflicts: 1709000 | #Constraints: 42166
3087.98/3097.11 c #Conflicts: 1710000 | #Constraints: 43166
3087.98/3097.11 c #Conflicts: 1711000 | #Constraints: 44166
3087.98/3097.11 c #Conflicts: 1712000 | #Constraints: 45166
3087.98/3097.11 c #Conflicts: 1713000 | #Constraints: 46166
3087.98/3097.11 c #Conflicts: 1714000 | #Constraints: 47166
3087.98/3097.11 c #Conflicts: 1715000 | #Constraints: 48166
3087.98/3097.11 c #Conflicts: 1716000 | #Constraints: 49166
3087.98/3097.11 c #Conflicts: 1717000 | #Constraints: 50166
3087.98/3097.11 c #Conflicts: 1718000 | #Constraints: 51166
3087.98/3097.11 c #Conflicts: 1719000 | #Constraints: 52166
3087.98/3097.11 c #Conflicts: 1720000 | #Constraints: 53166
3087.98/3097.11 c INPROCESSING
3087.98/3097.11 c GARBAGE COLLECT
3087.98/3097.11 c #Conflicts: 1721000 | #Constraints: 28166
3087.98/3097.11 c #Conflicts: 1722000 | #Constraints: 29166
3087.98/3097.11 c #Conflicts: 1723000 | #Constraints: 30166
3087.98/3097.11 c #Conflicts: 1724000 | #Constraints: 31166
3087.98/3097.11 c #Conflicts: 1725000 | #Constraints: 32166
3087.98/3097.11 c #Conflicts: 1726000 | #Constraints: 33166
3087.98/3097.11 c #Conflicts: 1727000 | #Constraints: 34166
3087.98/3097.11 c #Conflicts: 1728000 | #Constraints: 35166
3087.98/3097.11 c #Conflicts: 1729000 | #Constraints: 36166
3087.98/3097.11 c #Conflicts: 1730000 | #Constraints: 37166
3087.98/3097.11 c #Conflicts: 1731000 | #Constraints: 38166
3087.98/3097.11 c #Conflicts: 1732000 | #Constraints: 39166
3087.98/3097.11 c #Conflicts: 1733000 | #Constraints: 40166
3301.30/3311.09 c #Conflicts: 1734000 | #Constraints: 41166
3301.30/3311.09 c #Conflicts: 1735000 | #Constraints: 42166
3301.30/3311.09 c #Conflicts: 1736000 | #Constraints: 43166
3301.30/3311.09 c #Conflicts: 1737000 | #Constraints: 44166
3301.30/3311.09 c #Conflicts: 1738000 | #Constraints: 45166
3301.30/3311.09 c #Conflicts: 1739000 | #Constraints: 46166
3301.30/3311.09 c #Conflicts: 1740000 | #Constraints: 47166
3301.30/3311.09 c #Conflicts: 1741000 | #Constraints: 48166
3301.30/3311.09 c #Conflicts: 1742000 | #Constraints: 49166
3301.30/3311.09 c #Conflicts: 1743000 | #Constraints: 50166
3301.30/3311.09 c #Conflicts: 1744000 | #Constraints: 51166
3301.30/3311.09 c #Conflicts: 1745000 | #Constraints: 52166
3301.30/3311.09 c #Conflicts: 1746000 | #Constraints: 53166
3301.30/3311.09 c INPROCESSING
3301.30/3311.09 c GARBAGE COLLECT
3301.30/3311.09 c #Conflicts: 1747000 | #Constraints: 27973
3301.30/3311.09 c #Conflicts: 1748000 | #Constraints: 28973
3301.30/3311.09 c #Conflicts: 1749000 | #Constraints: 29973
3301.30/3311.09 c #Conflicts: 1750000 | #Constraints: 30973
3301.30/3311.09 c #Conflicts: 1751000 | #Constraints: 31973
3301.30/3311.09 c #Conflicts: 1752000 | #Constraints: 32973
3301.30/3311.09 c #Conflicts: 1753000 | #Constraints: 33973
3301.30/3311.09 c #Conflicts: 1754000 | #Constraints: 34973
3301.30/3311.09 c #Conflicts: 1755000 | #Constraints: 35973
3301.30/3311.09 c #Conflicts: 1756000 | #Constraints: 36973
3301.30/3311.09 c #Conflicts: 1757000 | #Constraints: 37973
3301.30/3311.09 c #Conflicts: 1758000 | #Constraints: 38973
3301.30/3311.09 c #Conflicts: 1759000 | #Constraints: 39973
3301.30/3311.09 c #Conflicts: 1760000 | #Constraints: 40973
3301.30/3311.09 c #Conflicts: 1761000 | #Constraints: 41973
3301.30/3311.09 c #Conflicts: 1762000 | #Constraints: 42973
3301.30/3311.09 c #Conflicts: 1763000 | #Constraints: 43973
3301.30/3311.09 c #Conflicts: 1764000 | #Constraints: 44973
3301.30/3311.09 c #Conflicts: 1765000 | #Constraints: 45973
3301.30/3311.09 c #Conflicts: 1766000 | #Constraints: 46973
3301.30/3311.09 c #Conflicts: 1767000 | #Constraints: 47973
3301.30/3311.09 c #Conflicts: 1768000 | #Constraints: 48973
3301.30/3311.09 c #Conflicts: 1769000 | #Constraints: 49973
3301.30/3311.09 c #Conflicts: 1770000 | #Constraints: 50973
3301.30/3311.09 c #Conflicts: 1771000 | #Constraints: 51973
3301.30/3311.09 c #Conflicts: 1772000 | #Constraints: 52973
3301.30/3311.09 c #Conflicts: 1773000 | #Constraints: 53973
3301.30/3311.09 c INPROCESSING
3301.30/3311.09 c GARBAGE COLLECT
3301.30/3311.09 c #Conflicts: 1774000 | #Constraints: 28562
3301.30/3311.09 c #Conflicts: 1775000 | #Constraints: 29562
3301.30/3311.09 c #Conflicts: 1776000 | #Constraints: 30562
3301.30/3311.09 c #Conflicts: 1777000 | #Constraints: 31562
3301.30/3311.09 c #Conflicts: 1778000 | #Constraints: 32562
3301.30/3311.09 c #Conflicts: 1779000 | #Constraints: 33562
3301.30/3311.09 c #Conflicts: 1780000 | #Constraints: 34562
3301.30/3311.09 c #Conflicts: 1781000 | #Constraints: 35562
3301.30/3311.09 c #Conflicts: 1782000 | #Constraints: 36562
3301.30/3311.09 c #Conflicts: 1783000 | #Constraints: 37562
3301.30/3311.09 c #Conflicts: 1784000 | #Constraints: 38562
3301.30/3311.09 c #Conflicts: 1785000 | #Constraints: 39562
3301.30/3311.09 c #Conflicts: 1786000 | #Constraints: 40562
3301.30/3311.09 c #Conflicts: 1787000 | #Constraints: 41562
3301.30/3311.09 c #Conflicts: 1788000 | #Constraints: 42562
3301.30/3311.09 c #Conflicts: 1789000 | #Constraints: 43562
3301.30/3311.09 c #Conflicts: 1790000 | #Constraints: 44562
3301.30/3311.09 c #Conflicts: 1791000 | #Constraints: 45562
3301.30/3311.09 c #Conflicts: 1792000 | #Constraints: 46562
3301.30/3311.09 c #Conflicts: 1793000 | #Constraints: 47562
3301.30/3311.09 c #Conflicts: 1794000 | #Constraints: 48562
3301.30/3311.09 c #Conflicts: 1795000 | #Constraints: 49562
3301.30/3311.09 c #Conflicts: 1796000 | #Constraints: 50562
3301.30/3311.09 c #Conflicts: 1797000 | #Constraints: 51562
3301.30/3311.09 c #Conflicts: 1798000 | #Constraints: 52562
3301.30/3311.09 c #Conflicts: 1799000 | #Constraints: 53562
3301.30/3311.09 c #Conflicts: 1800000 | #Constraints: 54562
3301.30/3311.09 c INPROCESSING
3301.30/3311.09 c GARBAGE COLLECT
3301.30/3311.09 c #Conflicts: 1801000 | #Constraints: 28968
3301.30/3311.09 c #Conflicts: 1802000 | #Constraints: 29968
3301.30/3311.09 c #Conflicts: 1803000 | #Constraints: 30968
3301.30/3311.09 c #Conflicts: 1804000 | #Constraints: 31968
3301.30/3311.09 c #Conflicts: 1805000 | #Constraints: 32968
3301.30/3311.09 c #Conflicts: 1806000 | #Constraints: 33968
3301.30/3311.09 c #Conflicts: 1807000 | #Constraints: 34968
3301.30/3311.09 c #Conflicts: 1808000 | #Constraints: 35968
3301.30/3311.09 c #Conflicts: 1809000 | #Constraints: 36968
3301.30/3311.09 c #Conflicts: 1810000 | #Constraints: 37968
3524.88/3535.34 c #Conflicts: 1811000 | #Constraints: 38968
3524.88/3535.34 c #Conflicts: 1812000 | #Constraints: 39968
3524.88/3535.34 c #Conflicts: 1813000 | #Constraints: 40968
3524.88/3535.34 c #Conflicts: 1814000 | #Constraints: 41968
3524.88/3535.34 c #Conflicts: 1815000 | #Constraints: 42968
3524.88/3535.34 c #Conflicts: 1816000 | #Constraints: 43968
3524.88/3535.34 c #Conflicts: 1817000 | #Constraints: 44968
3524.88/3535.34 c #Conflicts: 1818000 | #Constraints: 45968
3524.88/3535.34 c #Conflicts: 1819000 | #Constraints: 46968
3524.88/3535.34 c #Conflicts: 1820000 | #Constraints: 47968
3524.88/3535.34 c #Conflicts: 1821000 | #Constraints: 48968
3524.88/3535.34 c #Conflicts: 1822000 | #Constraints: 49968
3524.88/3535.34 c #Conflicts: 1823000 | #Constraints: 50968
3524.88/3535.34 c #Conflicts: 1824000 | #Constraints: 51968
3524.88/3535.34 c #Conflicts: 1825000 | #Constraints: 52968
3524.88/3535.34 c #Conflicts: 1826000 | #Constraints: 53968
3524.88/3535.34 c #Conflicts: 1827000 | #Constraints: 54968
3524.88/3535.34 c INPROCESSING
3524.88/3535.34 c GARBAGE COLLECT
3524.88/3535.34 c #Conflicts: 1828000 | #Constraints: 29165
3524.88/3535.34 c #Conflicts: 1829000 | #Constraints: 30165
3524.88/3535.34 c #Conflicts: 1830000 | #Constraints: 31165
3524.88/3535.34 c #Conflicts: 1831000 | #Constraints: 32165
3524.88/3535.34 c #Conflicts: 1832000 | #Constraints: 33165
3524.88/3535.34 c #Conflicts: 1833000 | #Constraints: 34165
3524.88/3535.34 c #Conflicts: 1834000 | #Constraints: 35165
3524.88/3535.34 c #Conflicts: 1835000 | #Constraints: 36165
3524.88/3535.34 c #Conflicts: 1836000 | #Constraints: 37165
3524.88/3535.34 c #Conflicts: 1837000 | #Constraints: 38165
3524.88/3535.34 c #Conflicts: 1838000 | #Constraints: 39165
3524.88/3535.34 c #Conflicts: 1839000 | #Constraints: 40165
3524.88/3535.34 c #Conflicts: 1840000 | #Constraints: 41165
3524.88/3535.34 c #Conflicts: 1841000 | #Constraints: 42165
3524.88/3535.34 c #Conflicts: 1842000 | #Constraints: 43165
3524.88/3535.34 c #Conflicts: 1843000 | #Constraints: 44165
3524.88/3535.34 c #Conflicts: 1844000 | #Constraints: 45165
3524.88/3535.34 c #Conflicts: 1845000 | #Constraints: 46165
3524.88/3535.34 c #Conflicts: 1846000 | #Constraints: 47165
3524.88/3535.34 c #Conflicts: 1847000 | #Constraints: 48165
3524.88/3535.34 c #Conflicts: 1848000 | #Constraints: 49165
3524.88/3535.34 c #Conflicts: 1849000 | #Constraints: 50165
3524.88/3535.34 c #Conflicts: 1850000 | #Constraints: 51165
3524.88/3535.34 c #Conflicts: 1851000 | #Constraints: 52165
3524.88/3535.34 c #Conflicts: 1852000 | #Constraints: 53165
3524.88/3535.34 c #Conflicts: 1853000 | #Constraints: 54165
3524.88/3535.34 c #Conflicts: 1854000 | #Constraints: 55165
3524.88/3535.34 c INPROCESSING
3524.88/3535.34 c GARBAGE COLLECT
3524.88/3535.34 c #Conflicts: 1855000 | #Constraints: 29168
3524.88/3535.34 c #Conflicts: 1856000 | #Constraints: 30168
3524.88/3535.34 c #Conflicts: 1857000 | #Constraints: 31168
3524.88/3535.34 c #Conflicts: 1858000 | #Constraints: 32168
3524.88/3535.34 c #Conflicts: 1859000 | #Constraints: 33168
3524.88/3535.34 c #Conflicts: 1860000 | #Constraints: 34168
3524.88/3535.34 c #Conflicts: 1861000 | #Constraints: 35168
3524.88/3535.34 c #Conflicts: 1862000 | #Constraints: 36168
3524.88/3535.34 c #Conflicts: 1863000 | #Constraints: 37168
3524.88/3535.34 c #Conflicts: 1864000 | #Constraints: 38168
3524.88/3535.34 c #Conflicts: 1865000 | #Constraints: 39168
3524.88/3535.34 c #Conflicts: 1866000 | #Constraints: 40168
3524.88/3535.34 c #Conflicts: 1867000 | #Constraints: 41168
3524.88/3535.34 c #Conflicts: 1868000 | #Constraints: 42168
3524.88/3535.34 c #Conflicts: 1869000 | #Constraints: 43168
3524.88/3535.34 c #Conflicts: 1870000 | #Constraints: 44168
3524.88/3535.34 c #Conflicts: 1871000 | #Constraints: 45168
3524.88/3535.34 c #Conflicts: 1872000 | #Constraints: 46168
3524.88/3535.34 c #Conflicts: 1873000 | #Constraints: 47168
3524.88/3535.34 c #Conflicts: 1874000 | #Constraints: 48168
3524.88/3535.34 c #Conflicts: 1875000 | #Constraints: 49168
3524.88/3535.34 c #Conflicts: 1876000 | #Constraints: 50168
3524.88/3535.34 c #Conflicts: 1877000 | #Constraints: 51168
3524.88/3535.34 c #Conflicts: 1878000 | #Constraints: 52168
3524.88/3535.34 c #Conflicts: 1879000 | #Constraints: 53168
3524.88/3535.34 c #Conflicts: 1880000 | #Constraints: 54168
3524.88/3535.34 c #Conflicts: 1881000 | #Constraints: 55168
3524.88/3535.34 c INPROCESSING
3524.88/3535.34 c GARBAGE COLLECT
3524.88/3535.34 c #Conflicts: 1882000 | #Constraints: 28969
3524.88/3535.34 c #Conflicts: 1883000 | #Constraints: 29969
3524.88/3535.34 c #Conflicts: 1884000 | #Constraints: 30969
3524.88/3535.34 c #Conflicts: 1885000 | #Constraints: 31969
3524.88/3535.34 c #Conflicts: 1886000 | #Constraints: 32969
3524.88/3535.34 c #Conflicts: 1887000 | #Constraints: 33969
3600.03/3610.70 c #Conflicts: 1888000 | #Constraints: 34969
3600.03/3610.70 c #Conflicts: 1889000 | #Constraints: 35969
3600.03/3610.70 c #Conflicts: 1890000 | #Constraints: 36969
3600.03/3610.70 c #Conflicts: 1891000 | #Constraints: 37969
3600.03/3610.70 c #Conflicts: 1892000 | #Constraints: 38969
3600.03/3610.70 c #Conflicts: 1893000 | #Constraints: 39969
3600.03/3610.70 c #Conflicts: 1894000 | #Constraints: 40969
3600.03/3610.70 c #Conflicts: 1895000 | #Constraints: 41969
3600.03/3610.70 c #Conflicts: 1896000 | #Constraints: 42969
3600.03/3610.70 c #Conflicts: 1897000 | #Constraints: 43969
3600.03/3610.70 c #Conflicts: 1898000 | #Constraints: 44969
3600.03/3610.70 c #Conflicts: 1899000 | #Constraints: 45969
3600.03/3610.70 c #Conflicts: 1900000 | #Constraints: 46969
3600.03/3610.70 c #Conflicts: 1901000 | #Constraints: 47969
3600.03/3610.70 c #Conflicts: 1902000 | #Constraints: 48969
3600.03/3610.70 c #Conflicts: 1903000 | #Constraints: 49969
3600.03/3610.70 c #Conflicts: 1904000 | #Constraints: 50969
3600.03/3610.70 c #Conflicts: 1905000 | #Constraints: 51969
3600.03/3610.70 c #Conflicts: 1906000 | #Constraints: 52969
3600.03/3610.70 c #Conflicts: 1907000 | #Constraints: 53969
3600.03/3610.70 c cpu time 3587.95 s
3600.03/3610.70 c deterministic time 1 1.00e+00
3600.03/3610.70 c optimization time 3587.94 s
3600.03/3610.70 c total solve time 0 s
3600.03/3610.70 c core-guided solve time 0 s
3600.03/3610.70 c propagation time 0.000849 s
3600.03/3610.70 c conflict analysis time 0 s
3600.03/3610.70 c propagations 0
3600.03/3610.70 c resolve steps 0
3600.03/3610.70 c decisions 0
3600.03/3610.70 c conflicts 0
3600.03/3610.70 c restarts 0
3600.03/3610.70 c inprocessing phases 0
3600.03/3610.70 c garbage collections 0 ,( -nan )
3600.03/3610.70 c input clauses 1090 ,( 100.00 )
3600.03/3610.70 c input cardinalities 0 ,( 0.00 )
3600.03/3610.70 c input general constraints 0 ,( 0.00 )
3600.03/3610.70 c input average constraint length 6.62
3600.03/3610.70 c input average constraint degree 1.00
3600.03/3610.70 c learned clauses 0 ,( 0.00 )
3600.03/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.03/3610.70 c learned general constraints 0 ,( 0.00 )
3600.03/3610.70 c learned average constraint length 0.00
3600.03/3610.70 c learned average constraint degree 0.00
3600.03/3610.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3610.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3610.70 c watched constraints 0 ,( -nan )
3600.03/3610.70 c counting constraints 0 ,( -nan )
3600.03/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3610.70 c gcd simplifications 0
3600.03/3610.70 c detected cardinalities 0
3600.03/3610.70 c weakened non-implied lits 0
3600.03/3610.70 c weakened non-implying lits 0
3600.03/3610.70 c original variables 1264
3600.03/3610.70 c clausal propagations 0
3600.03/3610.70 c cardinality propagations 0
3600.03/3610.70 c watched propagations 0
3600.03/3610.70 c counting propagations 0
3600.03/3610.70 c watch lookups 0
3600.03/3610.70 c watch backjump lookups 0
3600.03/3610.70 c watch checks 0
3600.03/3610.70 c propagation checks 0
3600.03/3610.70 c constraint additions 0
3600.03/3610.70 c trail pops 0
3600.03/3610.70 c formula constraints 1090
3600.03/3610.70 c learned constraints 0
3600.03/3610.70 c bound constraints 0
3600.03/3610.70 c core-guided constraints 0
3600.03/3610.70 c encountered formula constraints 0
3600.03/3610.70 c encountered learned constraints 0
3600.03/3610.70 c encountered bound constraints 0
3600.03/3610.70 c encountered core-guided constraints 0
3600.03/3610.70 c LP total time 0 s
3600.03/3610.70 c LP solve time 0 s
3600.03/3610.70 c LP constraints added 0
3600.03/3610.70 c LP constraints removed 0
3600.03/3610.70 c LP pivots internal 0
3600.03/3610.70 c LP pivots root 0
3600.03/3610.70 c LP calls 0
3600.03/3610.70 c LP optimalities 0
3600.03/3610.70 c LP no pivot count 0
3600.03/3610.70 c LP infeasibilities 0
3600.03/3610.70 c LP valid Farkas constraints 0
3600.03/3610.70 c LP learned Farkas constraints 0
3600.03/3610.70 c LP basis resets 0
3600.03/3610.70 c LP cycling count 0
3600.03/3610.70 c LP singular count 0
3600.03/3610.70 c LP no primal count 0
3600.03/3610.70 c LP no farkas count 0
3600.03/3610.70 c LP other issue count 0
3600.03/3610.70 c LP Gomory cuts 0
3600.03/3610.70 c LP learned cuts 0
3600.03/3610.70 c LP deleted cuts 0
3600.03/3610.70 c LP encountered Gomory constraints 0
3600.03/3610.70 c LP encountered Farkas constraints 0
3600.03/3610.70 c LP encountered learned Farkas constraints 0
3600.03/3610.70 c CG auxiliary variables introduced 0
3600.03/3610.70 c CG solutions found 0
3600.03/3610.70 c CG cores constructed 0
3600.03/3610.70 c CG core cardinality constraints returned 0
3600.03/3610.70 c CG unit cores 0
3600.03/3610.70 c CG single cores 0
3600.03/3610.70 c CG blocks removed during cardinality reduction 0
3600.03/3610.70 c CG first core best 0
3600.03/3610.70 c CG decision core best 0
3600.03/3610.70 c CG core reduction tie 0
3600.03/3610.70 c CG core degree average 0.00
3600.03/3610.70 c CG core slack average 0.00
3600.03/3610.70 c CG core upper bound improvements 0
3600.03/3610.70 c STR number of successful calls 0
3600.03/3610.70 c STR number of unsuccessful calls 0
3600.03/3610.70 c STR number of inconclusive calls 0
3600.03/3610.70 c STR number of successful attempts 0
3600.03/3610.70 c STR number of unsuccessful attempts 0
3600.03/3610.70 c STR number of inconclusive attempts 0
3600.03/3610.70 c STR average degree increase per successful call inf
3600.03/3610.70 c STR average degree increase per successful attempt inf
3600.03/3610.70 c STR total number of conflicts for successful attempts 0
3600.03/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.70 c STR average number of conflicts per successful attempt inf
3600.03/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.70 c AVG.sumWPerc -nan
3600.03/3610.70 c bigint constraints 0
3600.03/3610.70 s UNKNOWN
3600.03/3610.70 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: 63837 MiB (59322 MiB free)
memory of node 1: 64465 MiB (63837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490932-1751385919/watcher-4490932-1751385919 -o /tmp/evaluation-result-4490932-1751385919/solver-4490932-1751385919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751385919-54988 --watchdog 3760 run-opt.sh HOME/instance-4490932-1751385919.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55034, runsolver pid=55028
[startup+0.100069 s]*
/proc/loadavg: 0.89 1.44 2.18 5/255 55051
/proc/meminfo: memFree=126098096/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=63404 memory=13492 CPUtime=0.07 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 1588 0 0 0 5 2 0 0 20 0 1 0 54271155 64925696 3373 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 15851 3373 2336 1147 0 3278 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67596 KiB
Current children cumulated memory: 16436 KiB
[startup+0.21423 s]*
/proc/loadavg: 0.89 1.44 2.18 4/252 55051
/proc/meminfo: memFree=126086524/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=67236 memory=19632 CPUtime=0.18 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 2562 0 0 0 15 3 0 0 20 0 1 0 54271155 68849664 4908 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 16809 4908 2368 1147 0 4236 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71428 KiB
Current children cumulated memory: 22576 KiB
[startup+0.313605 s]*
/proc/loadavg: 0.89 1.44 2.18 4/252 55055
/proc/meminfo: memFree=126070120/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=72260 memory=25008 CPUtime=0.27 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 3920 0 0 0 23 4 0 0 20 0 1 0 54271155 73994240 6252 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 18065 6252 2368 1147 0 5492 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76452 KiB
Current children cumulated memory: 27952 KiB
[startup+0.700397 s]
/proc/loadavg: 0.89 1.44 2.18 4/250 55059
/proc/meminfo: memFree=126058276/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=85008 memory=38960 CPUtime=0.65 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 7400 0 0 0 57 8 0 0 20 0 1 0 54271155 87048192 9740 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 21252 9740 2368 1147 0 8679 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 89200 KiB
Current children cumulated memory: 41904 KiB
[startup+1.50043 s]
/proc/loadavg: 0.89 1.44 2.18 4/250 55059
/proc/meminfo: memFree=126011592/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=116840 memory=69092 CPUtime=1.45 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 13385 0 0 0 132 13 0 0 20 0 1 0 54271155 119644160 17273 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 29210 17273 2368 1147 0 16637 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 121032 KiB
Current children cumulated memory: 72036 KiB
[startup+3.11315 s]
/proc/loadavg: 1.14 1.48 2.19 5/255 55098
/proc/meminfo: memFree=125913992/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=162896 memory=103812 CPUtime=3.05 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 21050 0 0 0 287 18 0 0 20 0 1 0 54271155 166805504 25953 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 40724 25953 2368 1147 0 28151 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 167088 KiB
Current children cumulated memory: 106756 KiB
[startup+6.3004 s]
/proc/loadavg: 1.14 1.48 2.19 5/255 55098
/proc/meminfo: memFree=125844436/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=202772 memory=135304 CPUtime=6.23 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 27902 0 0 0 598 25 0 0 20 0 1 0 54271155 207638528 33826 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 50693 33826 2368 1147 0 38120 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 206964 KiB
Current children cumulated memory: 138248 KiB
[startup+12.7004 s]
/proc/loadavg: 1.37 1.52 2.20 5/255 55098
/proc/meminfo: memFree=125780584/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=246832 memory=165652 CPUtime=12.62 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 33983 0 0 0 1228 34 0 0 20 0 1 0 54271155 252755968 41413 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 61708 41413 2368 1147 0 49135 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 251024 KiB
Current children cumulated memory: 168596 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.64 2.23 5/255 55098
/proc/meminfo: memFree=125740516/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=249136 memory=178468 CPUtime=25.38 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 36154 0 0 0 2491 47 0 0 20 0 1 0 54271155 255115264 44617 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 62284 44617 2368 1147 0 49711 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 253328 KiB
Current children cumulated memory: 181412 KiB
[startup+51.1132 s]
/proc/loadavg: 2.72 1.85 2.28 5/255 55098
/proc/meminfo: memFree=125603708/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=377880 memory=260496 CPUtime=50.92 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 53603 0 0 0 5014 78 0 0 20 0 1 0 54271155 386949120 65124 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 94470 65124 2368 1147 0 81897 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 382072 KiB
Current children cumulated memory: 263440 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.20 2.38 5/253 55100
/proc/meminfo: memFree=125483720/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=393752 memory=305480 CPUtime=101.95 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 60775 0 0 0 10061 134 0 0 20 0 1 0 54271155 403202048 76370 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 98438 76370 2368 1147 0 85865 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 397944 KiB
Current children cumulated memory: 308424 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.55 2.49 5/253 55102
/proc/meminfo: memFree=125405112/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=415004 memory=338500 CPUtime=161.75 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 67119 0 0 0 15993 182 0 0 20 0 1 0 54271155 424964096 84625 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 103751 84625 2368 1147 0 91178 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 419196 KiB
Current children cumulated memory: 341444 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.84 2.60 5/253 55104
/proc/meminfo: memFree=125279908/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=590024 memory=439076 CPUtime=221.54 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 87707 0 0 0 21923 231 0 0 20 0 1 0 54271155 604184576 109769 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 147506 109769 2368 1147 0 134933 0
Current children cumulated CPU time: 221.54 s
################
# More data... #
################
/proc/55046/statm: 271580 254933 2368 1147 0 259007 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 1090512 KiB
Current children cumulated memory: 1022676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/256 55243
/proc/meminfo: memFree=124172216/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1086320 memory=1019732 CPUtime=3153.06 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 155279 0 0 0 314190 1116 0 0 20 0 1 0 54271155 1112391680 254933 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 271580 254933 2368 1147 0 259007 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 1090512 KiB
Current children cumulated memory: 1022676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.25 4.12 5/256 55245
/proc/meminfo: memFree=124164640/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1088376 memory=1020884 CPUtime=3212.87 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 155822 0 0 0 320156 1131 0 0 20 0 1 0 54271155 1114497024 255221 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272094 255221 2368 1147 0 259521 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 1092568 KiB
Current children cumulated memory: 1023828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.25 4.12 5/253 55247
/proc/meminfo: memFree=124171172/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1088376 memory=1020884 CPUtime=3272.68 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156061 0 0 0 326125 1143 0 0 20 0 1 0 54271155 1114497024 255221 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272094 255221 2368 1147 0 259521 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 1092568 KiB
Current children cumulated memory: 1023828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.22 4.12 5/254 55261
/proc/meminfo: memFree=124178164/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025724 CPUtime=3332.49 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156227 0 0 0 332092 1157 0 0 20 0 1 0 54271155 1115549696 256431 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256431 2368 1147 0 259778 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.12 5/255 55266
/proc/meminfo: memFree=124180432/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025724 CPUtime=3392.31 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156244 0 0 0 338064 1167 0 0 20 0 1 0 54271155 1115549696 256431 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256431 2368 1147 0 259778 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.11 5/255 55268
/proc/meminfo: memFree=124178792/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025724 CPUtime=3452.11 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156256 0 0 0 344033 1178 0 0 20 0 1 0 54271155 1115549696 256431 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256431 2368 1147 0 259778 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.10 5/255 55270
/proc/meminfo: memFree=124187464/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025852 CPUtime=3511.92 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156263 0 0 0 350002 1190 0 0 20 0 1 0 54271155 1115549696 256463 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256463 2368 1147 0 259778 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/256 55277
/proc/meminfo: memFree=124187700/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025852 CPUtime=3571.73 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156266 0 0 0 355970 1203 0 0 20 0 1 0 54271155 1115549696 256463 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256463 2368 1147 0 259778 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.08 4.14 4.10 5/256 55278
/proc/meminfo: memFree=124186588/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025852 CPUtime=3600.03 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156519 0 0 0 358795 1208 0 0 20 0 1 0 54271155 1115549696 256463 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256463 2368 1147 0 259778 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028796 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 55034 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001133 s, system=0.004514 s
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 55046 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.96 s, system=12.1008 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.08 4.14 4.10 5/256 55278
/proc/meminfo: memFree=124186588/131382116 swapFree=33010160/33010684
[pid=55034] ppid=55028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/55034/stat : 55034 (run-opt.sh) S 55028 55034 54978 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 54271153 4292608 736 18446744073709551615 94085721288704 94085722183237 140721288885904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94085722422288 94085722470032 94085742891008 140721288894829 140721288894952 140721288894952 140721288900554 0
/proc/55034/statm: 1048 736 672 219 0 110 0
[pid=55046] ppid=55034 vsize=1089404 memory=1025852 CPUtime=3600.03 cores=0,2
/proc/55046/stat : 55046 (roundingsat) R 55034 55034 54978 0 -1 4194304 156519 0 0 0 358795 1208 0 0 20 0 1 0 54271155 1115549696 256463 18446744073709551615 4227072 8923433 140728179182464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43171840 140728179186082 140728179186216 140728179186216 140728179191786 0
/proc/55046/statm: 272351 256463 2368 1147 0 259778 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1093596 KiB
Current children cumulated memory: 1028796 KiB
Child status: 2
Real time (s): 3610.71
CPU time (s): 3600.06
CPU user time (s): 3587.96
CPU system time (s): 12.1008
CPU usage (%): 99.705
Max. virtual memory (cumulated for all children) (KiB): 1093596
Max. memory (cumulated for all children) (KiB): 1028796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.96
system time used= 12.1008
maximum resident set size= 1026236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156747
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= 483
involuntary context switches= 8282
# summary of solver processes directly reported to runsolver:
# pid: 55034,55046
# total CPU time (s): 3600.06
# total CPU user time (s): 3587.96
# total CPU system time (s): 12.1008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7914 second user time and 33.8979 second system time
The end
Begin job on nodeC004 at 2025-07-01 18:05:20
IDJOB=4490932
IDBENCH=147636
IDSOLVER=3350
FILE ID=nodeC004/4490932-1751385919
RUNJOBID= nodeC004-1751385919-54988
SLURM_JOB_ID= 9598241
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490932-1751385919/watcher-4490932-1751385919 -o /tmp/evaluation-result-4490932-1751385919/solver-4490932-1751385919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751385919-54988 --watchdog 3760 run-opt.sh HOME/instance-4490932-1751385919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=2061823929
nodeC004 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 : 0xb00001f
cpu MHz : 1197.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.215
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.816
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.319
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.419
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.215
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.525
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126100404 kB
MemAvailable: 129872476 kB
Buffers: 2720 kB
Cached: 4522892 kB
SwapCached: 20 kB
Active: 395328 kB
Inactive: 4197148 kB
Active(anon): 78632 kB
Inactive(anon): 6188 kB
Active(file): 316696 kB
Inactive(file): 4190960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30020 kB
Writeback: 0 kB
AnonPages: 69852 kB
Mapped: 103108 kB
Shmem: 17956 kB
KReclaimable: 208084 kB
Slab: 292992 kB
SReclaimable: 208084 kB
SUnreclaim: 84908 kB
KernelStack: 3908 kB
PageTables: 2836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-07-01 19:05:31