0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 476 #constraints 476
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 473 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.011569
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.012349
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.014453
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.020398
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.027097
0.07/0.20 c GLOBAL bounds - >= 0 @ 0.14503
0.18/0.26 c GLOBAL bounds - >= 0 @ 0.20613
0.18/0.27 c GLOBAL bounds - >= 0 @ 0.213857
0.28/0.36 c GLOBAL bounds - >= 0 @ 0.304587
0.28/0.41 c GLOBAL bounds - >= 0 @ 0.34574
0.38/0.48 c GLOBAL bounds - >= 0 @ 0.420817
0.38/0.50 c GLOBAL bounds - >= 0 @ 0.439032
1.35/1.46 c #Conflicts: 1000 | #Constraints: 1496
1.35/1.46 c #Conflicts: 2000 | #Constraints: 2496
1.35/1.46 c INPROCESSING
1.35/1.46 c GARBAGE COLLECT
1.35/1.46 c #Conflicts: 3000 | #Constraints: 2515
1.35/1.46 c GLOBAL bounds - >= 0 @ 1.36645
1.45/1.55 c GLOBAL bounds - >= 0 @ 1.44981
1.96/2.09 c #Conflicts: 4000 | #Constraints: 3519
1.96/2.09 c INPROCESSING
1.96/2.09 c GARBAGE COLLECT
1.96/2.09 c GLOBAL bounds - >= 0 @ 1.9742
2.35/2.44 c #Conflicts: 5000 | #Constraints: 2932
2.35/2.44 c #Conflicts: 6000 | #Constraints: 3932
2.35/2.44 c GLOBAL bounds - >= 0 @ 2.32015
2.85/2.98 c INPROCESSING
2.85/2.98 c GARBAGE COLLECT
2.85/2.98 c #Conflicts: 7000 | #Constraints: 2937
2.85/2.98 c #Conflicts: 8000 | #Constraints: 3937
2.85/2.98 c GLOBAL bounds - >= 0 @ 2.85408
3.14/3.20 c GLOBAL bounds - >= 0 @ 3.06379
3.64/3.75 c #Conflicts: 9000 | #Constraints: 4941
3.64/3.75 c INPROCESSING
3.64/3.75 c GARBAGE COLLECT
3.64/3.75 c #Conflicts: 10000 | #Constraints: 3641
3.64/3.75 c GLOBAL bounds - >= 0 @ 3.59389
3.64/3.79 c GLOBAL bounds - >= 0 @ 3.63717
4.05/4.19 c #Conflicts: 11000 | #Constraints: 4645
4.05/4.19 c GLOBAL bounds - >= 0 @ 4.02993
4.24/4.33 c #Conflicts: 12000 | #Constraints: 5647
4.24/4.33 c INPROCESSING
4.24/4.33 c GARBAGE COLLECT
4.24/4.33 c GLOBAL bounds - >= 0 @ 4.16382
5.34/5.45 c #Conflicts: 13000 | #Constraints: 4096
5.34/5.45 c #Conflicts: 14000 | #Constraints: 5096
5.34/5.45 c #Conflicts: 15000 | #Constraints: 6096
5.34/5.45 c INPROCESSING
5.34/5.45 c GARBAGE COLLECT
5.34/5.45 c GLOBAL bounds - >= 0 @ 5.26645
6.04/6.14 c #Conflicts: 16000 | #Constraints: 4328
6.04/6.14 c #Conflicts: 17000 | #Constraints: 5328
6.04/6.14 c GLOBAL bounds - >= 0 @ 5.94532
6.33/6.44 c #Conflicts: 18000 | #Constraints: 6330
6.33/6.44 c INPROCESSING
6.33/6.44 c GARBAGE COLLECT
6.33/6.44 c GLOBAL bounds - >= 0 @ 6.2355
8.05/8.18 c #Conflicts: 19000 | #Constraints: 4345
8.05/8.18 c #Conflicts: 20000 | #Constraints: 5345
8.05/8.18 c #Conflicts: 21000 | #Constraints: 6345
8.05/8.18 c INPROCESSING
8.05/8.18 c GARBAGE COLLECT
8.05/8.18 c #Conflicts: 22000 | #Constraints: 4157
8.05/8.18 c #Conflicts: 23000 | #Constraints: 5157
8.05/8.18 c GLOBAL bounds - >= 0 @ 7.94323
8.13/8.30 c GLOBAL bounds - >= 0 @ 8.06079
8.63/8.74 c #Conflicts: 24000 | #Constraints: 6161
8.63/8.74 c GLOBAL bounds - >= 0 @ 8.49797
10.04/10.19 c #Conflicts: 25000 | #Constraints: 7163
10.04/10.19 c INPROCESSING
10.04/10.19 c GARBAGE COLLECT
10.04/10.19 c #Conflicts: 26000 | #Constraints: 4755
10.04/10.19 c #Conflicts: 27000 | #Constraints: 5755
10.04/10.19 c #Conflicts: 28000 | #Constraints: 6755
10.04/10.19 c GLOBAL bounds - >= 0 @ 9.92184
10.53/10.63 c #Conflicts: 29000 | #Constraints: 7757
10.53/10.63 c INPROCESSING
10.53/10.63 c GARBAGE COLLECT
10.53/10.63 c GLOBAL bounds - >= 0 @ 10.35
16.71/16.87 c #Conflicts: 30000 | #Constraints: 5162
16.71/16.87 c #Conflicts: 31000 | #Constraints: 6162
16.71/16.87 c #Conflicts: 32000 | #Constraints: 7162
16.71/16.87 c #Conflicts: 33000 | #Constraints: 8162
16.71/16.87 c INPROCESSING
16.71/16.87 c GARBAGE COLLECT
16.71/16.87 c #Conflicts: 34000 | #Constraints: 5370
16.71/16.87 c #Conflicts: 35000 | #Constraints: 6370
16.71/16.87 c #Conflicts: 36000 | #Constraints: 7370
16.71/16.87 c #Conflicts: 37000 | #Constraints: 8370
16.71/16.87 c INPROCESSING
16.71/16.87 c GARBAGE COLLECT
16.71/16.87 c #Conflicts: 38000 | #Constraints: 5370
16.71/16.87 c #Conflicts: 39000 | #Constraints: 6370
16.71/16.87 c #Conflicts: 40000 | #Constraints: 7370
16.71/16.87 c #Conflicts: 41000 | #Constraints: 8370
16.71/16.87 c INPROCESSING
16.71/16.87 c GARBAGE COLLECT
16.71/16.87 c #Conflicts: 42000 | #Constraints: 5174
16.71/16.87 c #Conflicts: 43000 | #Constraints: 6174
16.71/16.87 c GLOBAL bounds - >= 0 @ 16.5035
18.80/18.90 c #Conflicts: 44000 | #Constraints: 7176
18.80/18.90 c #Conflicts: 45000 | #Constraints: 8176
18.80/18.90 c #Conflicts: 46000 | #Constraints: 9176
18.80/18.90 c INPROCESSING
18.80/18.90 c GARBAGE COLLECT
18.80/18.90 c GLOBAL bounds - >= 0 @ 18.5052
20.70/20.88 c #Conflicts: 47000 | #Constraints: 5777
20.70/20.88 c #Conflicts: 48000 | #Constraints: 6777
20.70/20.88 c #Conflicts: 49000 | #Constraints: 7777
20.70/20.88 c GLOBAL bounds - >= 0 @ 20.4503
66.68/66.91 c #Conflicts: 50000 | #Constraints: 8779
66.68/66.91 c #Conflicts: 51000 | #Constraints: 9779
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 52000 | #Constraints: 6179
66.68/66.91 c #Conflicts: 53000 | #Constraints: 7179
66.68/66.91 c #Conflicts: 54000 | #Constraints: 8179
66.68/66.91 c #Conflicts: 55000 | #Constraints: 9179
66.68/66.91 c #Conflicts: 56000 | #Constraints: 10179
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 57000 | #Constraints: 6378
66.68/66.91 c #Conflicts: 58000 | #Constraints: 7378
66.68/66.91 c #Conflicts: 59000 | #Constraints: 8378
66.68/66.91 c #Conflicts: 60000 | #Constraints: 9378
66.68/66.91 c #Conflicts: 61000 | #Constraints: 10378
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 62000 | #Constraints: 6376
66.68/66.91 c #Conflicts: 63000 | #Constraints: 7376
66.68/66.91 c #Conflicts: 64000 | #Constraints: 8376
66.68/66.91 c #Conflicts: 65000 | #Constraints: 9376
66.68/66.91 c #Conflicts: 66000 | #Constraints: 10376
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 67000 | #Constraints: 6174
66.68/66.91 c #Conflicts: 68000 | #Constraints: 7174
66.68/66.91 c #Conflicts: 69000 | #Constraints: 8174
66.68/66.91 c #Conflicts: 70000 | #Constraints: 9174
66.68/66.91 c #Conflicts: 71000 | #Constraints: 10174
66.68/66.91 c #Conflicts: 72000 | #Constraints: 11174
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 73000 | #Constraints: 6780
66.68/66.91 c #Conflicts: 74000 | #Constraints: 7780
66.68/66.91 c #Conflicts: 75000 | #Constraints: 8780
66.68/66.91 c #Conflicts: 76000 | #Constraints: 9780
66.68/66.91 c #Conflicts: 77000 | #Constraints: 10780
66.68/66.91 c #Conflicts: 78000 | #Constraints: 11780
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 79000 | #Constraints: 7177
66.68/66.91 c #Conflicts: 80000 | #Constraints: 8177
66.68/66.91 c #Conflicts: 81000 | #Constraints: 9177
66.68/66.91 c #Conflicts: 82000 | #Constraints: 10177
66.68/66.91 c #Conflicts: 83000 | #Constraints: 11177
66.68/66.91 c #Conflicts: 84000 | #Constraints: 12177
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 85000 | #Constraints: 7381
66.68/66.91 c #Conflicts: 86000 | #Constraints: 8381
66.68/66.91 c #Conflicts: 87000 | #Constraints: 9381
66.68/66.91 c #Conflicts: 88000 | #Constraints: 10381
66.68/66.91 c #Conflicts: 89000 | #Constraints: 11381
66.68/66.91 c #Conflicts: 90000 | #Constraints: 12381
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 91000 | #Constraints: 7384
66.68/66.91 c #Conflicts: 92000 | #Constraints: 8384
66.68/66.91 c #Conflicts: 93000 | #Constraints: 9384
66.68/66.91 c #Conflicts: 94000 | #Constraints: 10384
66.68/66.91 c #Conflicts: 95000 | #Constraints: 11384
66.68/66.91 c #Conflicts: 96000 | #Constraints: 12384
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 97000 | #Constraints: 7187
66.68/66.91 c #Conflicts: 98000 | #Constraints: 8187
66.68/66.91 c #Conflicts: 99000 | #Constraints: 9187
66.68/66.91 c #Conflicts: 100000 | #Constraints: 10187
66.68/66.91 c #Conflicts: 101000 | #Constraints: 11187
66.68/66.91 c #Conflicts: 102000 | #Constraints: 12187
66.68/66.91 c #Conflicts: 103000 | #Constraints: 13187
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 104000 | #Constraints: 7782
66.68/66.91 c #Conflicts: 105000 | #Constraints: 8782
66.68/66.91 c #Conflicts: 106000 | #Constraints: 9782
66.68/66.91 c #Conflicts: 107000 | #Constraints: 10782
66.68/66.91 c #Conflicts: 108000 | #Constraints: 11782
66.68/66.91 c #Conflicts: 109000 | #Constraints: 12782
66.68/66.91 c #Conflicts: 110000 | #Constraints: 13782
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 111000 | #Constraints: 8187
66.68/66.91 c #Conflicts: 112000 | #Constraints: 9187
66.68/66.91 c #Conflicts: 113000 | #Constraints: 10187
66.68/66.91 c #Conflicts: 114000 | #Constraints: 11187
66.68/66.91 c #Conflicts: 115000 | #Constraints: 12187
66.68/66.91 c #Conflicts: 116000 | #Constraints: 13187
66.68/66.91 c #Conflicts: 117000 | #Constraints: 14187
66.68/66.91 c INPROCESSING
66.68/66.91 c GARBAGE COLLECT
66.68/66.91 c #Conflicts: 118000 | #Constraints: 8389
66.68/66.91 c #Conflicts: 119000 | #Constraints: 9389
66.68/66.91 c #Conflicts: 120000 | #Constraints: 10389
66.68/66.91 c #Conflicts: 121000 | #Constraints: 11389
136.49/136.94 c #Conflicts: 122000 | #Constraints: 12389
136.49/136.94 c #Conflicts: 123000 | #Constraints: 13389
136.49/136.94 c #Conflicts: 124000 | #Constraints: 14389
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 125000 | #Constraints: 8381
136.49/136.94 c #Conflicts: 126000 | #Constraints: 9381
136.49/136.94 c #Conflicts: 127000 | #Constraints: 10381
136.49/136.94 c #Conflicts: 128000 | #Constraints: 11381
136.49/136.94 c #Conflicts: 129000 | #Constraints: 12381
136.49/136.94 c #Conflicts: 130000 | #Constraints: 13381
136.49/136.94 c #Conflicts: 131000 | #Constraints: 14381
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 132000 | #Constraints: 8182
136.49/136.94 c #Conflicts: 133000 | #Constraints: 9182
136.49/136.94 c #Conflicts: 134000 | #Constraints: 10182
136.49/136.94 c #Conflicts: 135000 | #Constraints: 11182
136.49/136.94 c #Conflicts: 136000 | #Constraints: 12182
136.49/136.94 c #Conflicts: 137000 | #Constraints: 13182
136.49/136.94 c #Conflicts: 138000 | #Constraints: 14182
136.49/136.94 c #Conflicts: 139000 | #Constraints: 15182
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 140000 | #Constraints: 8784
136.49/136.94 c #Conflicts: 141000 | #Constraints: 9784
136.49/136.94 c #Conflicts: 142000 | #Constraints: 10784
136.49/136.94 c #Conflicts: 143000 | #Constraints: 11784
136.49/136.94 c #Conflicts: 144000 | #Constraints: 12784
136.49/136.94 c #Conflicts: 145000 | #Constraints: 13784
136.49/136.94 c #Conflicts: 146000 | #Constraints: 14784
136.49/136.94 c #Conflicts: 147000 | #Constraints: 15784
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 148000 | #Constraints: 9185
136.49/136.94 c #Conflicts: 149000 | #Constraints: 10185
136.49/136.94 c #Conflicts: 150000 | #Constraints: 11185
136.49/136.94 c #Conflicts: 151000 | #Constraints: 12185
136.49/136.94 c #Conflicts: 152000 | #Constraints: 13185
136.49/136.94 c #Conflicts: 153000 | #Constraints: 14185
136.49/136.94 c #Conflicts: 154000 | #Constraints: 15185
136.49/136.94 c #Conflicts: 155000 | #Constraints: 16185
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 156000 | #Constraints: 9394
136.49/136.94 c #Conflicts: 157000 | #Constraints: 10394
136.49/136.94 c #Conflicts: 158000 | #Constraints: 11394
136.49/136.94 c #Conflicts: 159000 | #Constraints: 12394
136.49/136.94 c #Conflicts: 160000 | #Constraints: 13394
136.49/136.94 c #Conflicts: 161000 | #Constraints: 14394
136.49/136.94 c #Conflicts: 162000 | #Constraints: 15394
136.49/136.94 c #Conflicts: 163000 | #Constraints: 16394
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 164000 | #Constraints: 9395
136.49/136.94 c #Conflicts: 165000 | #Constraints: 10395
136.49/136.94 c #Conflicts: 166000 | #Constraints: 11395
136.49/136.94 c #Conflicts: 167000 | #Constraints: 12395
136.49/136.94 c #Conflicts: 168000 | #Constraints: 13395
136.49/136.94 c #Conflicts: 169000 | #Constraints: 14395
136.49/136.94 c #Conflicts: 170000 | #Constraints: 15395
136.49/136.94 c #Conflicts: 171000 | #Constraints: 16395
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 172000 | #Constraints: 9189
136.49/136.94 c #Conflicts: 173000 | #Constraints: 10189
136.49/136.94 c #Conflicts: 174000 | #Constraints: 11189
136.49/136.94 c #Conflicts: 175000 | #Constraints: 12189
136.49/136.94 c #Conflicts: 176000 | #Constraints: 13189
136.49/136.94 c #Conflicts: 177000 | #Constraints: 14189
136.49/136.94 c #Conflicts: 178000 | #Constraints: 15189
136.49/136.94 c #Conflicts: 179000 | #Constraints: 16189
136.49/136.94 c #Conflicts: 180000 | #Constraints: 17189
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 181000 | #Constraints: 9794
136.49/136.94 c #Conflicts: 182000 | #Constraints: 10794
136.49/136.94 c #Conflicts: 183000 | #Constraints: 11794
136.49/136.94 c #Conflicts: 184000 | #Constraints: 12794
136.49/136.94 c #Conflicts: 185000 | #Constraints: 13794
136.49/136.94 c #Conflicts: 186000 | #Constraints: 14794
136.49/136.94 c #Conflicts: 187000 | #Constraints: 15794
136.49/136.94 c #Conflicts: 188000 | #Constraints: 16794
136.49/136.94 c #Conflicts: 189000 | #Constraints: 17794
136.49/136.94 c INPROCESSING
136.49/136.94 c GARBAGE COLLECT
136.49/136.94 c #Conflicts: 190000 | #Constraints: 10194
136.49/136.94 c #Conflicts: 191000 | #Constraints: 11194
136.49/136.94 c #Conflicts: 192000 | #Constraints: 12194
136.49/136.94 c #Conflicts: 193000 | #Constraints: 13194
136.49/136.94 c #Conflicts: 194000 | #Constraints: 14194
147.06/147.51 c #Conflicts: 195000 | #Constraints: 15194
147.06/147.51 c #Conflicts: 196000 | #Constraints: 16194
147.06/147.51 c #Conflicts: 197000 | #Constraints: 17194
147.06/147.51 c #Conflicts: 198000 | #Constraints: 18194
147.06/147.51 c INPROCESSING
147.06/147.51 c GARBAGE COLLECT
147.06/147.51 c #Conflicts: 199000 | #Constraints: 10394
147.06/147.51 c #Conflicts: 200000 | #Constraints: 11394
147.06/147.51 c #Conflicts: 201000 | #Constraints: 12394
147.06/147.51 c #Conflicts: 202000 | #Constraints: 13394
147.06/147.51 c #Conflicts: 203000 | #Constraints: 14394
147.06/147.51 c #Conflicts: 204000 | #Constraints: 15394
147.06/147.51 c #Conflicts: 205000 | #Constraints: 16394
147.06/147.51 c GLOBAL bounds - >= 0 @ 145.771
180.76/181.31 c #Conflicts: 206000 | #Constraints: 17396
180.76/181.31 c #Conflicts: 207000 | #Constraints: 18396
180.76/181.31 c INPROCESSING
180.76/181.31 c GARBAGE COLLECT
180.76/181.31 c #Conflicts: 208000 | #Constraints: 10397
180.76/181.31 c #Conflicts: 209000 | #Constraints: 11397
180.76/181.31 c #Conflicts: 210000 | #Constraints: 12397
180.76/181.31 c #Conflicts: 211000 | #Constraints: 13397
180.76/181.31 c #Conflicts: 212000 | #Constraints: 14397
180.76/181.31 c #Conflicts: 213000 | #Constraints: 15397
180.76/181.31 c #Conflicts: 214000 | #Constraints: 16397
180.76/181.31 c #Conflicts: 215000 | #Constraints: 17397
180.76/181.31 c #Conflicts: 216000 | #Constraints: 18397
180.76/181.31 c INPROCESSING
180.76/181.31 c GARBAGE COLLECT
180.76/181.31 c #Conflicts: 217000 | #Constraints: 10197
180.76/181.31 c #Conflicts: 218000 | #Constraints: 11197
180.76/181.31 c #Conflicts: 219000 | #Constraints: 12197
180.76/181.31 c #Conflicts: 220000 | #Constraints: 13197
180.76/181.31 c #Conflicts: 221000 | #Constraints: 14197
180.76/181.31 c #Conflicts: 222000 | #Constraints: 15197
180.76/181.31 c #Conflicts: 223000 | #Constraints: 16197
180.76/181.31 c #Conflicts: 224000 | #Constraints: 17197
180.76/181.31 c #Conflicts: 225000 | #Constraints: 18197
180.76/181.31 c #Conflicts: 226000 | #Constraints: 19197
180.76/181.31 c INPROCESSING
180.76/181.31 c GARBAGE COLLECT
180.76/181.31 c #Conflicts: 227000 | #Constraints: 10801
180.76/181.31 c #Conflicts: 228000 | #Constraints: 11801
180.76/181.31 c #Conflicts: 229000 | #Constraints: 12801
180.76/181.31 c #Conflicts: 230000 | #Constraints: 13801
180.76/181.31 c #Conflicts: 231000 | #Constraints: 14801
180.76/181.31 c #Conflicts: 232000 | #Constraints: 15801
180.76/181.31 c #Conflicts: 233000 | #Constraints: 16801
180.76/181.31 c #Conflicts: 234000 | #Constraints: 17801
180.76/181.31 c #Conflicts: 235000 | #Constraints: 18801
180.76/181.31 c #Conflicts: 236000 | #Constraints: 19801
180.76/181.31 c INPROCESSING
180.76/181.31 c GARBAGE COLLECT
180.76/181.31 c #Conflicts: 237000 | #Constraints: 11206
180.76/181.31 c #Conflicts: 238000 | #Constraints: 12206
180.76/181.31 c #Conflicts: 239000 | #Constraints: 13206
180.76/181.31 c GLOBAL bounds - >= 0 @ 179.287
195.53/196.14 c #Conflicts: 240000 | #Constraints: 14208
195.53/196.14 c #Conflicts: 241000 | #Constraints: 15208
195.53/196.14 c #Conflicts: 242000 | #Constraints: 16208
195.53/196.14 c #Conflicts: 243000 | #Constraints: 17208
195.53/196.14 c #Conflicts: 244000 | #Constraints: 18208
195.53/196.14 c #Conflicts: 245000 | #Constraints: 19208
195.53/196.14 c #Conflicts: 246000 | #Constraints: 20208
195.53/196.14 c INPROCESSING
195.53/196.14 c GARBAGE COLLECT
195.53/196.14 c #Conflicts: 247000 | #Constraints: 11402
195.53/196.14 c #Conflicts: 248000 | #Constraints: 12402
195.53/196.14 c #Conflicts: 249000 | #Constraints: 13402
195.53/196.14 c #Conflicts: 250000 | #Constraints: 14402
195.53/196.14 c #Conflicts: 251000 | #Constraints: 15402
195.53/196.14 c #Conflicts: 252000 | #Constraints: 16402
195.53/196.14 c #Conflicts: 253000 | #Constraints: 17402
195.53/196.14 c GLOBAL bounds - >= 0 @ 193.983
274.50/275.38 c #Conflicts: 254000 | #Constraints: 18404
274.50/275.38 c #Conflicts: 255000 | #Constraints: 19404
274.50/275.38 c #Conflicts: 256000 | #Constraints: 20404
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 257000 | #Constraints: 11408
274.50/275.38 c #Conflicts: 258000 | #Constraints: 12408
274.50/275.38 c #Conflicts: 259000 | #Constraints: 13408
274.50/275.38 c #Conflicts: 260000 | #Constraints: 14408
274.50/275.38 c #Conflicts: 261000 | #Constraints: 15408
274.50/275.38 c #Conflicts: 262000 | #Constraints: 16408
274.50/275.38 c #Conflicts: 263000 | #Constraints: 17408
274.50/275.38 c #Conflicts: 264000 | #Constraints: 18408
274.50/275.38 c #Conflicts: 265000 | #Constraints: 19408
274.50/275.38 c #Conflicts: 266000 | #Constraints: 20408
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 267000 | #Constraints: 11204
274.50/275.38 c #Conflicts: 268000 | #Constraints: 12204
274.50/275.38 c #Conflicts: 269000 | #Constraints: 13204
274.50/275.38 c #Conflicts: 270000 | #Constraints: 14204
274.50/275.38 c #Conflicts: 271000 | #Constraints: 15204
274.50/275.38 c #Conflicts: 272000 | #Constraints: 16204
274.50/275.38 c #Conflicts: 273000 | #Constraints: 17204
274.50/275.38 c #Conflicts: 274000 | #Constraints: 18204
274.50/275.38 c #Conflicts: 275000 | #Constraints: 19204
274.50/275.38 c #Conflicts: 276000 | #Constraints: 20204
274.50/275.38 c #Conflicts: 277000 | #Constraints: 21204
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 278000 | #Constraints: 11801
274.50/275.38 c #Conflicts: 279000 | #Constraints: 12801
274.50/275.38 c #Conflicts: 280000 | #Constraints: 13801
274.50/275.38 c #Conflicts: 281000 | #Constraints: 14801
274.50/275.38 c #Conflicts: 282000 | #Constraints: 15801
274.50/275.38 c #Conflicts: 283000 | #Constraints: 16801
274.50/275.38 c #Conflicts: 284000 | #Constraints: 17801
274.50/275.38 c #Conflicts: 285000 | #Constraints: 18801
274.50/275.38 c #Conflicts: 286000 | #Constraints: 19801
274.50/275.38 c #Conflicts: 287000 | #Constraints: 20801
274.50/275.38 c #Conflicts: 288000 | #Constraints: 21801
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 289000 | #Constraints: 12197
274.50/275.38 c #Conflicts: 290000 | #Constraints: 13197
274.50/275.38 c #Conflicts: 291000 | #Constraints: 14197
274.50/275.38 c #Conflicts: 292000 | #Constraints: 15197
274.50/275.38 c #Conflicts: 293000 | #Constraints: 16197
274.50/275.38 c #Conflicts: 294000 | #Constraints: 17197
274.50/275.38 c #Conflicts: 295000 | #Constraints: 18197
274.50/275.38 c #Conflicts: 296000 | #Constraints: 19197
274.50/275.38 c #Conflicts: 297000 | #Constraints: 20197
274.50/275.38 c #Conflicts: 298000 | #Constraints: 21197
274.50/275.38 c #Conflicts: 299000 | #Constraints: 22197
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 300000 | #Constraints: 12401
274.50/275.38 c #Conflicts: 301000 | #Constraints: 13401
274.50/275.38 c #Conflicts: 302000 | #Constraints: 14401
274.50/275.38 c #Conflicts: 303000 | #Constraints: 15401
274.50/275.38 c #Conflicts: 304000 | #Constraints: 16401
274.50/275.38 c #Conflicts: 305000 | #Constraints: 17401
274.50/275.38 c #Conflicts: 306000 | #Constraints: 18401
274.50/275.38 c #Conflicts: 307000 | #Constraints: 19401
274.50/275.38 c #Conflicts: 308000 | #Constraints: 20401
274.50/275.38 c #Conflicts: 309000 | #Constraints: 21401
274.50/275.38 c #Conflicts: 310000 | #Constraints: 22401
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 311000 | #Constraints: 12397
274.50/275.38 c #Conflicts: 312000 | #Constraints: 13397
274.50/275.38 c #Conflicts: 313000 | #Constraints: 14397
274.50/275.38 c #Conflicts: 314000 | #Constraints: 15397
274.50/275.38 c #Conflicts: 315000 | #Constraints: 16397
274.50/275.38 c #Conflicts: 316000 | #Constraints: 17397
274.50/275.38 c #Conflicts: 317000 | #Constraints: 18397
274.50/275.38 c #Conflicts: 318000 | #Constraints: 19397
274.50/275.38 c #Conflicts: 319000 | #Constraints: 20397
274.50/275.38 c #Conflicts: 320000 | #Constraints: 21397
274.50/275.38 c #Conflicts: 321000 | #Constraints: 22397
274.50/275.38 c INPROCESSING
274.50/275.38 c GARBAGE COLLECT
274.50/275.38 c #Conflicts: 322000 | #Constraints: 12197
274.50/275.38 c #Conflicts: 323000 | #Constraints: 13197
274.50/275.38 c #Conflicts: 324000 | #Constraints: 14197
274.50/275.38 c #Conflicts: 325000 | #Constraints: 15197
274.50/275.38 c #Conflicts: 326000 | #Constraints: 16197
274.50/275.38 c #Conflicts: 327000 | #Constraints: 17197
274.50/275.38 c #Conflicts: 328000 | #Constraints: 18197
293.46/294.38 c #Conflicts: 329000 | #Constraints: 19197
293.46/294.38 c #Conflicts: 330000 | #Constraints: 20197
293.46/294.38 c #Conflicts: 331000 | #Constraints: 21197
293.46/294.38 c #Conflicts: 332000 | #Constraints: 22197
293.46/294.38 c #Conflicts: 333000 | #Constraints: 23197
293.46/294.38 c INPROCESSING
293.46/294.38 c GARBAGE COLLECT
293.46/294.38 c #Conflicts: 334000 | #Constraints: 12803
293.46/294.38 c #Conflicts: 335000 | #Constraints: 13803
293.46/294.38 c #Conflicts: 336000 | #Constraints: 14803
293.46/294.38 c #Conflicts: 337000 | #Constraints: 15803
293.46/294.38 c #Conflicts: 338000 | #Constraints: 16803
293.46/294.38 c #Conflicts: 339000 | #Constraints: 17803
293.46/294.38 c #Conflicts: 340000 | #Constraints: 18803
293.46/294.38 c #Conflicts: 341000 | #Constraints: 19803
293.46/294.38 c #Conflicts: 342000 | #Constraints: 20803
293.46/294.38 c #Conflicts: 343000 | #Constraints: 21803
293.46/294.38 c GLOBAL bounds - >= 0 @ 291.514
375.25/376.31 c #Conflicts: 344000 | #Constraints: 22805
375.25/376.31 c #Conflicts: 345000 | #Constraints: 23805
375.25/376.31 c INPROCESSING
375.25/376.31 c GARBAGE COLLECT
375.25/376.31 c #Conflicts: 346000 | #Constraints: 13193
375.25/376.31 c #Conflicts: 347000 | #Constraints: 14193
375.25/376.31 c #Conflicts: 348000 | #Constraints: 15193
375.25/376.31 c #Conflicts: 349000 | #Constraints: 16193
375.25/376.31 c #Conflicts: 350000 | #Constraints: 17193
375.25/376.31 c #Conflicts: 351000 | #Constraints: 18193
375.25/376.31 c #Conflicts: 352000 | #Constraints: 19193
375.25/376.31 c #Conflicts: 353000 | #Constraints: 20193
375.25/376.31 c #Conflicts: 354000 | #Constraints: 21193
375.25/376.31 c #Conflicts: 355000 | #Constraints: 22193
375.25/376.31 c #Conflicts: 356000 | #Constraints: 23193
375.25/376.31 c #Conflicts: 357000 | #Constraints: 24193
375.25/376.31 c INPROCESSING
375.25/376.31 c GARBAGE COLLECT
375.25/376.31 c #Conflicts: 358000 | #Constraints: 13400
375.25/376.31 c #Conflicts: 359000 | #Constraints: 14400
375.25/376.31 c #Conflicts: 360000 | #Constraints: 15400
375.25/376.31 c #Conflicts: 361000 | #Constraints: 16400
375.25/376.31 c #Conflicts: 362000 | #Constraints: 17400
375.25/376.31 c #Conflicts: 363000 | #Constraints: 18400
375.25/376.31 c #Conflicts: 364000 | #Constraints: 19400
375.25/376.31 c #Conflicts: 365000 | #Constraints: 20400
375.25/376.31 c #Conflicts: 366000 | #Constraints: 21400
375.25/376.31 c #Conflicts: 367000 | #Constraints: 22400
375.25/376.31 c #Conflicts: 368000 | #Constraints: 23400
375.25/376.31 c #Conflicts: 369000 | #Constraints: 24400
375.25/376.31 c INPROCESSING
375.25/376.31 c GARBAGE COLLECT
375.25/376.31 c #Conflicts: 370000 | #Constraints: 13398
375.25/376.31 c #Conflicts: 371000 | #Constraints: 14398
375.25/376.31 c #Conflicts: 372000 | #Constraints: 15398
375.25/376.31 c #Conflicts: 373000 | #Constraints: 16398
375.25/376.31 c #Conflicts: 374000 | #Constraints: 17398
375.25/376.31 c #Conflicts: 375000 | #Constraints: 18398
375.25/376.31 c #Conflicts: 376000 | #Constraints: 19398
375.25/376.31 c #Conflicts: 377000 | #Constraints: 20398
375.25/376.31 c #Conflicts: 378000 | #Constraints: 21398
375.25/376.31 c #Conflicts: 379000 | #Constraints: 22398
375.25/376.31 c #Conflicts: 380000 | #Constraints: 23398
375.25/376.31 c #Conflicts: 381000 | #Constraints: 24398
375.25/376.31 c INPROCESSING
375.25/376.31 c GARBAGE COLLECT
375.25/376.31 c #Conflicts: 382000 | #Constraints: 13197
375.25/376.31 c #Conflicts: 383000 | #Constraints: 14197
375.25/376.31 c #Conflicts: 384000 | #Constraints: 15197
375.25/376.31 c #Conflicts: 385000 | #Constraints: 16197
375.25/376.31 c #Conflicts: 386000 | #Constraints: 17197
375.25/376.31 c #Conflicts: 387000 | #Constraints: 18197
375.25/376.31 c #Conflicts: 388000 | #Constraints: 19197
375.25/376.31 c #Conflicts: 389000 | #Constraints: 20197
375.25/376.31 c #Conflicts: 390000 | #Constraints: 21197
375.25/376.31 c #Conflicts: 391000 | #Constraints: 22197
375.25/376.31 c #Conflicts: 392000 | #Constraints: 23197
375.25/376.31 c #Conflicts: 393000 | #Constraints: 24197
375.25/376.31 c #Conflicts: 394000 | #Constraints: 25197
375.25/376.31 c INPROCESSING
375.25/376.31 c GARBAGE COLLECT
375.25/376.31 c #Conflicts: 395000 | #Constraints: 13795
375.25/376.31 c #Conflicts: 396000 | #Constraints: 14795
375.25/376.31 c #Conflicts: 397000 | #Constraints: 15795
375.25/376.31 c #Conflicts: 398000 | #Constraints: 16795
375.25/376.31 c #Conflicts: 399000 | #Constraints: 17795
375.25/376.31 c #Conflicts: 400000 | #Constraints: 18795
375.25/376.31 c #Conflicts: 401000 | #Constraints: 19795
375.25/376.31 c #Conflicts: 402000 | #Constraints: 20795
375.25/376.31 c #Conflicts: 403000 | #Constraints: 21795
375.25/376.31 c #Conflicts: 404000 | #Constraints: 22795
375.25/376.31 c #Conflicts: 405000 | #Constraints: 23795
375.25/376.31 c #Conflicts: 406000 | #Constraints: 24795
375.25/376.31 c #Conflicts: 407000 | #Constraints: 25795
375.25/376.31 c INPROCESSING
375.25/376.31 c GARBAGE COLLECT
375.25/376.31 c #Conflicts: 408000 | #Constraints: 14198
375.25/376.31 c #Conflicts: 409000 | #Constraints: 15198
375.25/376.31 c #Conflicts: 410000 | #Constraints: 16198
375.25/376.31 c #Conflicts: 411000 | #Constraints: 17198
375.25/376.31 c #Conflicts: 412000 | #Constraints: 18198
375.25/376.31 c #Conflicts: 413000 | #Constraints: 19198
375.25/376.31 c #Conflicts: 414000 | #Constraints: 20198
375.25/376.31 c #Conflicts: 415000 | #Constraints: 21198
375.25/376.31 c #Conflicts: 416000 | #Constraints: 22198
375.25/376.31 c #Conflicts: 417000 | #Constraints: 23198
375.25/376.31 c #Conflicts: 418000 | #Constraints: 24198
466.62/467.99 c #Conflicts: 419000 | #Constraints: 25198
466.62/467.99 c #Conflicts: 420000 | #Constraints: 26198
466.62/467.99 c INPROCESSING
466.62/467.99 c GARBAGE COLLECT
466.62/467.99 c #Conflicts: 421000 | #Constraints: 14392
466.62/467.99 c #Conflicts: 422000 | #Constraints: 15392
466.62/467.99 c #Conflicts: 423000 | #Constraints: 16392
466.62/467.99 c #Conflicts: 424000 | #Constraints: 17392
466.62/467.99 c #Conflicts: 425000 | #Constraints: 18392
466.62/467.99 c #Conflicts: 426000 | #Constraints: 19392
466.62/467.99 c #Conflicts: 427000 | #Constraints: 20392
466.62/467.99 c #Conflicts: 428000 | #Constraints: 21392
466.62/467.99 c #Conflicts: 429000 | #Constraints: 22392
466.62/467.99 c #Conflicts: 430000 | #Constraints: 23392
466.62/467.99 c #Conflicts: 431000 | #Constraints: 24392
466.62/467.99 c #Conflicts: 432000 | #Constraints: 25392
466.62/467.99 c #Conflicts: 433000 | #Constraints: 26392
466.62/467.99 c INPROCESSING
466.62/467.99 c GARBAGE COLLECT
466.62/467.99 c #Conflicts: 434000 | #Constraints: 14398
466.62/467.99 c #Conflicts: 435000 | #Constraints: 15398
466.62/467.99 c #Conflicts: 436000 | #Constraints: 16398
466.62/467.99 c #Conflicts: 437000 | #Constraints: 17398
466.62/467.99 c #Conflicts: 438000 | #Constraints: 18398
466.62/467.99 c #Conflicts: 439000 | #Constraints: 19398
466.62/467.99 c #Conflicts: 440000 | #Constraints: 20398
466.62/467.99 c #Conflicts: 441000 | #Constraints: 21398
466.62/467.99 c #Conflicts: 442000 | #Constraints: 22398
466.62/467.99 c #Conflicts: 443000 | #Constraints: 23398
466.62/467.99 c #Conflicts: 444000 | #Constraints: 24398
466.62/467.99 c #Conflicts: 445000 | #Constraints: 25398
466.62/467.99 c #Conflicts: 446000 | #Constraints: 26398
466.62/467.99 c INPROCESSING
466.62/467.99 c GARBAGE COLLECT
466.62/467.99 c #Conflicts: 447000 | #Constraints: 14199
466.62/467.99 c #Conflicts: 448000 | #Constraints: 15199
466.62/467.99 c #Conflicts: 449000 | #Constraints: 16199
466.62/467.99 c #Conflicts: 450000 | #Constraints: 17199
466.62/467.99 c #Conflicts: 451000 | #Constraints: 18199
466.62/467.99 c #Conflicts: 452000 | #Constraints: 19199
466.62/467.99 c #Conflicts: 453000 | #Constraints: 20199
466.62/467.99 c #Conflicts: 454000 | #Constraints: 21199
466.62/467.99 c #Conflicts: 455000 | #Constraints: 22199
466.62/467.99 c #Conflicts: 456000 | #Constraints: 23199
466.62/467.99 c #Conflicts: 457000 | #Constraints: 24199
466.62/467.99 c #Conflicts: 458000 | #Constraints: 25199
466.62/467.99 c #Conflicts: 459000 | #Constraints: 26199
466.62/467.99 c #Conflicts: 460000 | #Constraints: 27199
466.62/467.99 c INPROCESSING
466.62/467.99 c GARBAGE COLLECT
466.62/467.99 c #Conflicts: 461000 | #Constraints: 14793
466.62/467.99 c #Conflicts: 462000 | #Constraints: 15793
466.62/467.99 c #Conflicts: 463000 | #Constraints: 16793
466.62/467.99 c #Conflicts: 464000 | #Constraints: 17793
466.62/467.99 c #Conflicts: 465000 | #Constraints: 18793
466.62/467.99 c #Conflicts: 466000 | #Constraints: 19793
466.62/467.99 c #Conflicts: 467000 | #Constraints: 20793
466.62/467.99 c #Conflicts: 468000 | #Constraints: 21793
466.62/467.99 c #Conflicts: 469000 | #Constraints: 22793
466.62/467.99 c #Conflicts: 470000 | #Constraints: 23793
466.62/467.99 c #Conflicts: 471000 | #Constraints: 24793
466.62/467.99 c #Conflicts: 472000 | #Constraints: 25793
466.62/467.99 c #Conflicts: 473000 | #Constraints: 26793
466.62/467.99 c #Conflicts: 474000 | #Constraints: 27793
466.62/467.99 c INPROCESSING
466.62/467.99 c GARBAGE COLLECT
466.62/467.99 c #Conflicts: 475000 | #Constraints: 15188
466.62/467.99 c #Conflicts: 476000 | #Constraints: 16188
466.62/467.99 c #Conflicts: 477000 | #Constraints: 17188
466.62/467.99 c #Conflicts: 478000 | #Constraints: 18188
466.62/467.99 c #Conflicts: 479000 | #Constraints: 19188
466.62/467.99 c #Conflicts: 480000 | #Constraints: 20188
466.62/467.99 c #Conflicts: 481000 | #Constraints: 21188
466.62/467.99 c #Conflicts: 482000 | #Constraints: 22188
466.62/467.99 c #Conflicts: 483000 | #Constraints: 23188
466.62/467.99 c #Conflicts: 484000 | #Constraints: 24188
466.62/467.99 c #Conflicts: 485000 | #Constraints: 25188
466.62/467.99 c #Conflicts: 486000 | #Constraints: 26188
466.62/467.99 c #Conflicts: 487000 | #Constraints: 27188
466.62/467.99 c #Conflicts: 488000 | #Constraints: 28188
466.62/467.99 c INPROCESSING
466.62/467.99 c GARBAGE COLLECT
466.62/467.99 c #Conflicts: 489000 | #Constraints: 15399
466.62/467.99 c #Conflicts: 490000 | #Constraints: 16399
466.62/467.99 c #Conflicts: 491000 | #Constraints: 17399
466.62/467.99 c #Conflicts: 492000 | #Constraints: 18399
466.62/467.99 c #Conflicts: 493000 | #Constraints: 19399
563.88/565.41 c #Conflicts: 494000 | #Constraints: 20399
563.88/565.41 c #Conflicts: 495000 | #Constraints: 21399
563.88/565.41 c #Conflicts: 496000 | #Constraints: 22399
563.88/565.41 c #Conflicts: 497000 | #Constraints: 23399
563.88/565.41 c #Conflicts: 498000 | #Constraints: 24399
563.88/565.41 c #Conflicts: 499000 | #Constraints: 25399
563.88/565.41 c #Conflicts: 500000 | #Constraints: 26399
563.88/565.41 c #Conflicts: 501000 | #Constraints: 27399
563.88/565.41 c #Conflicts: 502000 | #Constraints: 28399
563.88/565.41 c INPROCESSING
563.88/565.41 c GARBAGE COLLECT
563.88/565.41 c #Conflicts: 503000 | #Constraints: 15396
563.88/565.41 c #Conflicts: 504000 | #Constraints: 16396
563.88/565.41 c #Conflicts: 505000 | #Constraints: 17396
563.88/565.41 c #Conflicts: 506000 | #Constraints: 18396
563.88/565.41 c #Conflicts: 507000 | #Constraints: 19396
563.88/565.41 c #Conflicts: 508000 | #Constraints: 20396
563.88/565.41 c #Conflicts: 509000 | #Constraints: 21396
563.88/565.41 c #Conflicts: 510000 | #Constraints: 22396
563.88/565.41 c #Conflicts: 511000 | #Constraints: 23396
563.88/565.41 c #Conflicts: 512000 | #Constraints: 24396
563.88/565.41 c #Conflicts: 513000 | #Constraints: 25396
563.88/565.41 c #Conflicts: 514000 | #Constraints: 26396
563.88/565.41 c #Conflicts: 515000 | #Constraints: 27396
563.88/565.41 c #Conflicts: 516000 | #Constraints: 28396
563.88/565.41 c INPROCESSING
563.88/565.41 c GARBAGE COLLECT
563.88/565.41 c #Conflicts: 517000 | #Constraints: 15202
563.88/565.41 c #Conflicts: 518000 | #Constraints: 16202
563.88/565.41 c #Conflicts: 519000 | #Constraints: 17202
563.88/565.41 c #Conflicts: 520000 | #Constraints: 18202
563.88/565.41 c #Conflicts: 521000 | #Constraints: 19202
563.88/565.41 c #Conflicts: 522000 | #Constraints: 20202
563.88/565.41 c #Conflicts: 523000 | #Constraints: 21202
563.88/565.41 c #Conflicts: 524000 | #Constraints: 22202
563.88/565.41 c #Conflicts: 525000 | #Constraints: 23202
563.88/565.41 c #Conflicts: 526000 | #Constraints: 24202
563.88/565.41 c #Conflicts: 527000 | #Constraints: 25202
563.88/565.41 c #Conflicts: 528000 | #Constraints: 26202
563.88/565.41 c #Conflicts: 529000 | #Constraints: 27202
563.88/565.41 c #Conflicts: 530000 | #Constraints: 28202
563.88/565.41 c #Conflicts: 531000 | #Constraints: 29202
563.88/565.41 c INPROCESSING
563.88/565.41 c GARBAGE COLLECT
563.88/565.41 c #Conflicts: 532000 | #Constraints: 15800
563.88/565.41 c #Conflicts: 533000 | #Constraints: 16800
563.88/565.41 c #Conflicts: 534000 | #Constraints: 17800
563.88/565.41 c #Conflicts: 535000 | #Constraints: 18800
563.88/565.41 c #Conflicts: 536000 | #Constraints: 19800
563.88/565.41 c #Conflicts: 537000 | #Constraints: 20800
563.88/565.41 c #Conflicts: 538000 | #Constraints: 21800
563.88/565.41 c #Conflicts: 539000 | #Constraints: 22800
563.88/565.41 c #Conflicts: 540000 | #Constraints: 23800
563.88/565.41 c #Conflicts: 541000 | #Constraints: 24800
563.88/565.41 c #Conflicts: 542000 | #Constraints: 25800
563.88/565.41 c #Conflicts: 543000 | #Constraints: 26800
563.88/565.41 c #Conflicts: 544000 | #Constraints: 27800
563.88/565.41 c #Conflicts: 545000 | #Constraints: 28800
563.88/565.41 c #Conflicts: 546000 | #Constraints: 29800
563.88/565.41 c INPROCESSING
563.88/565.41 c GARBAGE COLLECT
563.88/565.41 c #Conflicts: 547000 | #Constraints: 16206
563.88/565.41 c #Conflicts: 548000 | #Constraints: 17206
563.88/565.41 c #Conflicts: 549000 | #Constraints: 18206
563.88/565.41 c #Conflicts: 550000 | #Constraints: 19206
563.88/565.41 c #Conflicts: 551000 | #Constraints: 20206
563.88/565.41 c #Conflicts: 552000 | #Constraints: 21206
563.88/565.41 c #Conflicts: 553000 | #Constraints: 22206
563.88/565.41 c #Conflicts: 554000 | #Constraints: 23206
563.88/565.41 c #Conflicts: 555000 | #Constraints: 24206
563.88/565.41 c #Conflicts: 556000 | #Constraints: 25206
563.88/565.41 c #Conflicts: 557000 | #Constraints: 26206
563.88/565.41 c #Conflicts: 558000 | #Constraints: 27206
563.88/565.41 c #Conflicts: 559000 | #Constraints: 28206
563.88/565.41 c #Conflicts: 560000 | #Constraints: 29206
563.88/565.41 c #Conflicts: 561000 | #Constraints: 30206
563.88/565.41 c INPROCESSING
563.88/565.41 c GARBAGE COLLECT
563.88/565.41 c #Conflicts: 562000 | #Constraints: 16407
563.88/565.41 c #Conflicts: 563000 | #Constraints: 17407
563.88/565.41 c #Conflicts: 564000 | #Constraints: 18407
563.88/565.41 c #Conflicts: 565000 | #Constraints: 19407
563.88/565.41 c #Conflicts: 566000 | #Constraints: 20407
563.88/565.41 c #Conflicts: 567000 | #Constraints: 21407
563.88/565.41 c #Conflicts: 568000 | #Constraints: 22407
563.88/565.41 c #Conflicts: 569000 | #Constraints: 23407
674.10/675.97 c #Conflicts: 570000 | #Constraints: 24407
674.10/675.97 c #Conflicts: 571000 | #Constraints: 25407
674.10/675.97 c #Conflicts: 572000 | #Constraints: 26407
674.10/675.97 c #Conflicts: 573000 | #Constraints: 27407
674.10/675.97 c #Conflicts: 574000 | #Constraints: 28407
674.10/675.97 c #Conflicts: 575000 | #Constraints: 29407
674.10/675.97 c #Conflicts: 576000 | #Constraints: 30407
674.10/675.97 c INPROCESSING
674.10/675.97 c GARBAGE COLLECT
674.10/675.97 c #Conflicts: 577000 | #Constraints: 16402
674.10/675.97 c #Conflicts: 578000 | #Constraints: 17402
674.10/675.97 c #Conflicts: 579000 | #Constraints: 18402
674.10/675.97 c #Conflicts: 580000 | #Constraints: 19402
674.10/675.97 c #Conflicts: 581000 | #Constraints: 20402
674.10/675.97 c #Conflicts: 582000 | #Constraints: 21402
674.10/675.97 c #Conflicts: 583000 | #Constraints: 22402
674.10/675.97 c #Conflicts: 584000 | #Constraints: 23402
674.10/675.97 c #Conflicts: 585000 | #Constraints: 24402
674.10/675.97 c #Conflicts: 586000 | #Constraints: 25402
674.10/675.97 c #Conflicts: 587000 | #Constraints: 26402
674.10/675.97 c #Conflicts: 588000 | #Constraints: 27402
674.10/675.97 c #Conflicts: 589000 | #Constraints: 28402
674.10/675.97 c #Conflicts: 590000 | #Constraints: 29402
674.10/675.97 c #Conflicts: 591000 | #Constraints: 30402
674.10/675.97 c INPROCESSING
674.10/675.97 c GARBAGE COLLECT
674.10/675.97 c #Conflicts: 592000 | #Constraints: 16201
674.10/675.97 c #Conflicts: 593000 | #Constraints: 17201
674.10/675.97 c #Conflicts: 594000 | #Constraints: 18201
674.10/675.97 c #Conflicts: 595000 | #Constraints: 19201
674.10/675.97 c #Conflicts: 596000 | #Constraints: 20201
674.10/675.97 c #Conflicts: 597000 | #Constraints: 21201
674.10/675.97 c #Conflicts: 598000 | #Constraints: 22201
674.10/675.97 c #Conflicts: 599000 | #Constraints: 23201
674.10/675.97 c #Conflicts: 600000 | #Constraints: 24201
674.10/675.97 c #Conflicts: 601000 | #Constraints: 25201
674.10/675.97 c #Conflicts: 602000 | #Constraints: 26201
674.10/675.97 c #Conflicts: 603000 | #Constraints: 27201
674.10/675.97 c #Conflicts: 604000 | #Constraints: 28201
674.10/675.97 c #Conflicts: 605000 | #Constraints: 29201
674.10/675.97 c #Conflicts: 606000 | #Constraints: 30201
674.10/675.97 c #Conflicts: 607000 | #Constraints: 31201
674.10/675.97 c INPROCESSING
674.10/675.97 c GARBAGE COLLECT
674.10/675.97 c #Conflicts: 608000 | #Constraints: 16799
674.10/675.97 c #Conflicts: 609000 | #Constraints: 17799
674.10/675.97 c #Conflicts: 610000 | #Constraints: 18799
674.10/675.97 c #Conflicts: 611000 | #Constraints: 19799
674.10/675.97 c #Conflicts: 612000 | #Constraints: 20799
674.10/675.97 c #Conflicts: 613000 | #Constraints: 21799
674.10/675.97 c #Conflicts: 614000 | #Constraints: 22799
674.10/675.97 c #Conflicts: 615000 | #Constraints: 23799
674.10/675.97 c #Conflicts: 616000 | #Constraints: 24799
674.10/675.97 c #Conflicts: 617000 | #Constraints: 25799
674.10/675.97 c #Conflicts: 618000 | #Constraints: 26799
674.10/675.97 c #Conflicts: 619000 | #Constraints: 27799
674.10/675.97 c #Conflicts: 620000 | #Constraints: 28799
674.10/675.97 c #Conflicts: 621000 | #Constraints: 29799
674.10/675.97 c #Conflicts: 622000 | #Constraints: 30799
674.10/675.97 c #Conflicts: 623000 | #Constraints: 31799
674.10/675.97 c INPROCESSING
674.10/675.97 c GARBAGE COLLECT
674.10/675.97 c #Conflicts: 624000 | #Constraints: 17204
674.10/675.97 c #Conflicts: 625000 | #Constraints: 18204
674.10/675.97 c #Conflicts: 626000 | #Constraints: 19204
674.10/675.97 c #Conflicts: 627000 | #Constraints: 20204
674.10/675.97 c #Conflicts: 628000 | #Constraints: 21204
674.10/675.97 c #Conflicts: 629000 | #Constraints: 22204
674.10/675.97 c #Conflicts: 630000 | #Constraints: 23204
674.10/675.97 c #Conflicts: 631000 | #Constraints: 24204
674.10/675.97 c #Conflicts: 632000 | #Constraints: 25204
674.10/675.97 c #Conflicts: 633000 | #Constraints: 26204
674.10/675.97 c #Conflicts: 634000 | #Constraints: 27204
674.10/675.97 c #Conflicts: 635000 | #Constraints: 28204
674.10/675.97 c #Conflicts: 636000 | #Constraints: 29204
674.10/675.97 c #Conflicts: 637000 | #Constraints: 30204
674.10/675.97 c #Conflicts: 638000 | #Constraints: 31204
674.10/675.97 c #Conflicts: 639000 | #Constraints: 32204
674.10/675.97 c INPROCESSING
674.10/675.97 c GARBAGE COLLECT
674.10/675.97 c #Conflicts: 640000 | #Constraints: 17396
674.10/675.97 c #Conflicts: 641000 | #Constraints: 18396
674.10/675.97 c #Conflicts: 642000 | #Constraints: 19396
674.10/675.97 c #Conflicts: 643000 | #Constraints: 20396
674.10/675.97 c #Conflicts: 644000 | #Constraints: 21396
674.10/675.97 c #Conflicts: 645000 | #Constraints: 22396
802.94/805.14 c #Conflicts: 646000 | #Constraints: 23396
802.94/805.14 c #Conflicts: 647000 | #Constraints: 24396
802.94/805.14 c #Conflicts: 648000 | #Constraints: 25396
802.94/805.14 c #Conflicts: 649000 | #Constraints: 26396
802.94/805.14 c #Conflicts: 650000 | #Constraints: 27396
802.94/805.14 c #Conflicts: 651000 | #Constraints: 28396
802.94/805.14 c #Conflicts: 652000 | #Constraints: 29396
802.94/805.14 c #Conflicts: 653000 | #Constraints: 30396
802.94/805.14 c #Conflicts: 654000 | #Constraints: 31396
802.94/805.14 c #Conflicts: 655000 | #Constraints: 32396
802.94/805.14 c INPROCESSING
802.94/805.14 c GARBAGE COLLECT
802.94/805.14 c #Conflicts: 656000 | #Constraints: 17394
802.94/805.14 c #Conflicts: 657000 | #Constraints: 18394
802.94/805.14 c #Conflicts: 658000 | #Constraints: 19394
802.94/805.14 c #Conflicts: 659000 | #Constraints: 20394
802.94/805.14 c #Conflicts: 660000 | #Constraints: 21394
802.94/805.14 c #Conflicts: 661000 | #Constraints: 22394
802.94/805.14 c #Conflicts: 662000 | #Constraints: 23394
802.94/805.14 c #Conflicts: 663000 | #Constraints: 24394
802.94/805.14 c #Conflicts: 664000 | #Constraints: 25394
802.94/805.14 c #Conflicts: 665000 | #Constraints: 26394
802.94/805.14 c #Conflicts: 666000 | #Constraints: 27394
802.94/805.14 c #Conflicts: 667000 | #Constraints: 28394
802.94/805.14 c #Conflicts: 668000 | #Constraints: 29394
802.94/805.14 c #Conflicts: 669000 | #Constraints: 30394
802.94/805.14 c #Conflicts: 670000 | #Constraints: 31394
802.94/805.14 c #Conflicts: 671000 | #Constraints: 32394
802.94/805.14 c INPROCESSING
802.94/805.14 c GARBAGE COLLECT
802.94/805.14 c #Conflicts: 672000 | #Constraints: 17202
802.94/805.14 c #Conflicts: 673000 | #Constraints: 18202
802.94/805.14 c #Conflicts: 674000 | #Constraints: 19202
802.94/805.14 c #Conflicts: 675000 | #Constraints: 20202
802.94/805.14 c #Conflicts: 676000 | #Constraints: 21202
802.94/805.14 c #Conflicts: 677000 | #Constraints: 22202
802.94/805.14 c #Conflicts: 678000 | #Constraints: 23202
802.94/805.14 c #Conflicts: 679000 | #Constraints: 24202
802.94/805.14 c #Conflicts: 680000 | #Constraints: 25202
802.94/805.14 c #Conflicts: 681000 | #Constraints: 26202
802.94/805.14 c #Conflicts: 682000 | #Constraints: 27202
802.94/805.14 c #Conflicts: 683000 | #Constraints: 28202
802.94/805.14 c #Conflicts: 684000 | #Constraints: 29202
802.94/805.14 c #Conflicts: 685000 | #Constraints: 30202
802.94/805.14 c #Conflicts: 686000 | #Constraints: 31202
802.94/805.14 c #Conflicts: 687000 | #Constraints: 32202
802.94/805.14 c #Conflicts: 688000 | #Constraints: 33202
802.94/805.14 c INPROCESSING
802.94/805.14 c GARBAGE COLLECT
802.94/805.14 c #Conflicts: 689000 | #Constraints: 17798
802.94/805.14 c #Conflicts: 690000 | #Constraints: 18798
802.94/805.14 c #Conflicts: 691000 | #Constraints: 19798
802.94/805.14 c #Conflicts: 692000 | #Constraints: 20798
802.94/805.14 c #Conflicts: 693000 | #Constraints: 21798
802.94/805.14 c #Conflicts: 694000 | #Constraints: 22798
802.94/805.14 c #Conflicts: 695000 | #Constraints: 23798
802.94/805.14 c #Conflicts: 696000 | #Constraints: 24798
802.94/805.14 c #Conflicts: 697000 | #Constraints: 25798
802.94/805.14 c #Conflicts: 698000 | #Constraints: 26798
802.94/805.14 c #Conflicts: 699000 | #Constraints: 27798
802.94/805.14 c #Conflicts: 700000 | #Constraints: 28798
802.94/805.14 c #Conflicts: 701000 | #Constraints: 29798
802.94/805.14 c #Conflicts: 702000 | #Constraints: 30798
802.94/805.14 c #Conflicts: 703000 | #Constraints: 31798
802.94/805.14 c #Conflicts: 704000 | #Constraints: 32798
802.94/805.14 c #Conflicts: 705000 | #Constraints: 33798
802.94/805.14 c INPROCESSING
802.94/805.14 c GARBAGE COLLECT
802.94/805.14 c #Conflicts: 706000 | #Constraints: 18201
802.94/805.14 c #Conflicts: 707000 | #Constraints: 19201
802.94/805.14 c #Conflicts: 708000 | #Constraints: 20201
802.94/805.14 c #Conflicts: 709000 | #Constraints: 21201
802.94/805.14 c #Conflicts: 710000 | #Constraints: 22201
802.94/805.14 c #Conflicts: 711000 | #Constraints: 23201
802.94/805.14 c #Conflicts: 712000 | #Constraints: 24201
802.94/805.14 c #Conflicts: 713000 | #Constraints: 25201
802.94/805.14 c #Conflicts: 714000 | #Constraints: 26201
802.94/805.14 c #Conflicts: 715000 | #Constraints: 27201
802.94/805.14 c #Conflicts: 716000 | #Constraints: 28201
802.94/805.14 c #Conflicts: 717000 | #Constraints: 29201
802.94/805.14 c #Conflicts: 718000 | #Constraints: 30201
802.94/805.14 c #Conflicts: 719000 | #Constraints: 31201
802.94/805.14 c #Conflicts: 720000 | #Constraints: 32201
802.94/805.14 c #Conflicts: 721000 | #Constraints: 33201
937.25/939.89 c #Conflicts: 722000 | #Constraints: 34201
937.25/939.89 c INPROCESSING
937.25/939.89 c GARBAGE COLLECT
937.25/939.89 c #Conflicts: 723000 | #Constraints: 18408
937.25/939.89 c #Conflicts: 724000 | #Constraints: 19408
937.25/939.89 c #Conflicts: 725000 | #Constraints: 20408
937.25/939.89 c #Conflicts: 726000 | #Constraints: 21408
937.25/939.89 c #Conflicts: 727000 | #Constraints: 22408
937.25/939.89 c #Conflicts: 728000 | #Constraints: 23408
937.25/939.89 c #Conflicts: 729000 | #Constraints: 24408
937.25/939.89 c #Conflicts: 730000 | #Constraints: 25408
937.25/939.89 c #Conflicts: 731000 | #Constraints: 26408
937.25/939.89 c #Conflicts: 732000 | #Constraints: 27408
937.25/939.89 c #Conflicts: 733000 | #Constraints: 28408
937.25/939.89 c #Conflicts: 734000 | #Constraints: 29408
937.25/939.89 c #Conflicts: 735000 | #Constraints: 30408
937.25/939.89 c #Conflicts: 736000 | #Constraints: 31408
937.25/939.89 c #Conflicts: 737000 | #Constraints: 32408
937.25/939.89 c #Conflicts: 738000 | #Constraints: 33408
937.25/939.89 c #Conflicts: 739000 | #Constraints: 34408
937.25/939.89 c INPROCESSING
937.25/939.89 c GARBAGE COLLECT
937.25/939.89 c #Conflicts: 740000 | #Constraints: 18403
937.25/939.89 c #Conflicts: 741000 | #Constraints: 19403
937.25/939.89 c #Conflicts: 742000 | #Constraints: 20403
937.25/939.89 c #Conflicts: 743000 | #Constraints: 21403
937.25/939.89 c #Conflicts: 744000 | #Constraints: 22403
937.25/939.89 c #Conflicts: 745000 | #Constraints: 23403
937.25/939.89 c #Conflicts: 746000 | #Constraints: 24403
937.25/939.89 c #Conflicts: 747000 | #Constraints: 25403
937.25/939.89 c #Conflicts: 748000 | #Constraints: 26403
937.25/939.89 c #Conflicts: 749000 | #Constraints: 27403
937.25/939.89 c #Conflicts: 750000 | #Constraints: 28403
937.25/939.89 c #Conflicts: 751000 | #Constraints: 29403
937.25/939.89 c #Conflicts: 752000 | #Constraints: 30403
937.25/939.89 c #Conflicts: 753000 | #Constraints: 31403
937.25/939.89 c #Conflicts: 754000 | #Constraints: 32403
937.25/939.89 c #Conflicts: 755000 | #Constraints: 33403
937.25/939.89 c #Conflicts: 756000 | #Constraints: 34403
937.25/939.89 c INPROCESSING
937.25/939.89 c GARBAGE COLLECT
937.25/939.89 c #Conflicts: 757000 | #Constraints: 18198
937.25/939.89 c #Conflicts: 758000 | #Constraints: 19198
937.25/939.89 c #Conflicts: 759000 | #Constraints: 20198
937.25/939.89 c #Conflicts: 760000 | #Constraints: 21198
937.25/939.89 c #Conflicts: 761000 | #Constraints: 22198
937.25/939.89 c #Conflicts: 762000 | #Constraints: 23198
937.25/939.89 c #Conflicts: 763000 | #Constraints: 24198
937.25/939.89 c #Conflicts: 764000 | #Constraints: 25198
937.25/939.89 c #Conflicts: 765000 | #Constraints: 26198
937.25/939.89 c #Conflicts: 766000 | #Constraints: 27198
937.25/939.89 c #Conflicts: 767000 | #Constraints: 28198
937.25/939.89 c #Conflicts: 768000 | #Constraints: 29198
937.25/939.89 c #Conflicts: 769000 | #Constraints: 30198
937.25/939.89 c #Conflicts: 770000 | #Constraints: 31198
937.25/939.89 c #Conflicts: 771000 | #Constraints: 32198
937.25/939.89 c #Conflicts: 772000 | #Constraints: 33198
937.25/939.89 c #Conflicts: 773000 | #Constraints: 34198
937.25/939.89 c #Conflicts: 774000 | #Constraints: 35198
937.25/939.89 c INPROCESSING
937.25/939.89 c GARBAGE COLLECT
937.25/939.89 c #Conflicts: 775000 | #Constraints: 18805
937.25/939.89 c #Conflicts: 776000 | #Constraints: 19805
937.25/939.89 c #Conflicts: 777000 | #Constraints: 20805
937.25/939.89 c #Conflicts: 778000 | #Constraints: 21805
937.25/939.89 c #Conflicts: 779000 | #Constraints: 22805
937.25/939.89 c #Conflicts: 780000 | #Constraints: 23805
937.25/939.89 c #Conflicts: 781000 | #Constraints: 24805
937.25/939.89 c #Conflicts: 782000 | #Constraints: 25805
937.25/939.89 c #Conflicts: 783000 | #Constraints: 26805
937.25/939.89 c #Conflicts: 784000 | #Constraints: 27805
937.25/939.89 c #Conflicts: 785000 | #Constraints: 28805
937.25/939.89 c #Conflicts: 786000 | #Constraints: 29805
937.25/939.89 c #Conflicts: 787000 | #Constraints: 30805
937.25/939.89 c #Conflicts: 788000 | #Constraints: 31805
937.25/939.89 c #Conflicts: 789000 | #Constraints: 32805
937.25/939.89 c #Conflicts: 790000 | #Constraints: 33805
937.25/939.89 c #Conflicts: 791000 | #Constraints: 34805
937.25/939.89 c #Conflicts: 792000 | #Constraints: 35805
937.25/939.89 c INPROCESSING
937.25/939.89 c GARBAGE COLLECT
937.25/939.89 c #Conflicts: 793000 | #Constraints: 19201
937.25/939.89 c #Conflicts: 794000 | #Constraints: 20201
937.25/939.89 c #Conflicts: 795000 | #Constraints: 21201
937.25/939.89 c #Conflicts: 796000 | #Constraints: 22201
1087.60/1090.65 c #Conflicts: 797000 | #Constraints: 23201
1087.60/1090.65 c #Conflicts: 798000 | #Constraints: 24201
1087.60/1090.65 c #Conflicts: 799000 | #Constraints: 25201
1087.60/1090.65 c #Conflicts: 800000 | #Constraints: 26201
1087.60/1090.65 c #Conflicts: 801000 | #Constraints: 27201
1087.60/1090.65 c #Conflicts: 802000 | #Constraints: 28201
1087.60/1090.65 c #Conflicts: 803000 | #Constraints: 29201
1087.60/1090.65 c #Conflicts: 804000 | #Constraints: 30201
1087.60/1090.65 c #Conflicts: 805000 | #Constraints: 31201
1087.60/1090.65 c #Conflicts: 806000 | #Constraints: 32201
1087.60/1090.65 c #Conflicts: 807000 | #Constraints: 33201
1087.60/1090.65 c #Conflicts: 808000 | #Constraints: 34201
1087.60/1090.65 c #Conflicts: 809000 | #Constraints: 35201
1087.60/1090.65 c #Conflicts: 810000 | #Constraints: 36201
1087.60/1090.65 c INPROCESSING
1087.60/1090.65 c GARBAGE COLLECT
1087.60/1090.65 c #Conflicts: 811000 | #Constraints: 19406
1087.60/1090.65 c #Conflicts: 812000 | #Constraints: 20406
1087.60/1090.65 c #Conflicts: 813000 | #Constraints: 21406
1087.60/1090.65 c #Conflicts: 814000 | #Constraints: 22406
1087.60/1090.65 c #Conflicts: 815000 | #Constraints: 23406
1087.60/1090.65 c #Conflicts: 816000 | #Constraints: 24406
1087.60/1090.65 c #Conflicts: 817000 | #Constraints: 25406
1087.60/1090.65 c #Conflicts: 818000 | #Constraints: 26406
1087.60/1090.65 c #Conflicts: 819000 | #Constraints: 27406
1087.60/1090.65 c #Conflicts: 820000 | #Constraints: 28406
1087.60/1090.65 c #Conflicts: 821000 | #Constraints: 29406
1087.60/1090.65 c #Conflicts: 822000 | #Constraints: 30406
1087.60/1090.65 c #Conflicts: 823000 | #Constraints: 31406
1087.60/1090.65 c #Conflicts: 824000 | #Constraints: 32406
1087.60/1090.65 c #Conflicts: 825000 | #Constraints: 33406
1087.60/1090.65 c #Conflicts: 826000 | #Constraints: 34406
1087.60/1090.65 c #Conflicts: 827000 | #Constraints: 35406
1087.60/1090.65 c #Conflicts: 828000 | #Constraints: 36406
1087.60/1090.65 c INPROCESSING
1087.60/1090.65 c GARBAGE COLLECT
1087.60/1090.65 c #Conflicts: 829000 | #Constraints: 19409
1087.60/1090.65 c #Conflicts: 830000 | #Constraints: 20409
1087.60/1090.65 c #Conflicts: 831000 | #Constraints: 21409
1087.60/1090.65 c #Conflicts: 832000 | #Constraints: 22409
1087.60/1090.65 c #Conflicts: 833000 | #Constraints: 23409
1087.60/1090.65 c #Conflicts: 834000 | #Constraints: 24409
1087.60/1090.65 c #Conflicts: 835000 | #Constraints: 25409
1087.60/1090.65 c #Conflicts: 836000 | #Constraints: 26409
1087.60/1090.65 c #Conflicts: 837000 | #Constraints: 27409
1087.60/1090.65 c #Conflicts: 838000 | #Constraints: 28409
1087.60/1090.65 c #Conflicts: 839000 | #Constraints: 29409
1087.60/1090.65 c #Conflicts: 840000 | #Constraints: 30409
1087.60/1090.65 c #Conflicts: 841000 | #Constraints: 31409
1087.60/1090.65 c #Conflicts: 842000 | #Constraints: 32409
1087.60/1090.65 c #Conflicts: 843000 | #Constraints: 33409
1087.60/1090.65 c #Conflicts: 844000 | #Constraints: 34409
1087.60/1090.65 c #Conflicts: 845000 | #Constraints: 35409
1087.60/1090.65 c #Conflicts: 846000 | #Constraints: 36409
1087.60/1090.65 c INPROCESSING
1087.60/1090.65 c GARBAGE COLLECT
1087.60/1090.65 c #Conflicts: 847000 | #Constraints: 19210
1087.60/1090.65 c #Conflicts: 848000 | #Constraints: 20210
1087.60/1090.65 c #Conflicts: 849000 | #Constraints: 21210
1087.60/1090.65 c #Conflicts: 850000 | #Constraints: 22210
1087.60/1090.65 c #Conflicts: 851000 | #Constraints: 23210
1087.60/1090.65 c #Conflicts: 852000 | #Constraints: 24210
1087.60/1090.65 c #Conflicts: 853000 | #Constraints: 25210
1087.60/1090.65 c #Conflicts: 854000 | #Constraints: 26210
1087.60/1090.65 c #Conflicts: 855000 | #Constraints: 27210
1087.60/1090.65 c #Conflicts: 856000 | #Constraints: 28210
1087.60/1090.65 c #Conflicts: 857000 | #Constraints: 29210
1087.60/1090.65 c #Conflicts: 858000 | #Constraints: 30210
1087.60/1090.65 c #Conflicts: 859000 | #Constraints: 31210
1087.60/1090.65 c #Conflicts: 860000 | #Constraints: 32210
1087.60/1090.65 c #Conflicts: 861000 | #Constraints: 33210
1087.60/1090.65 c #Conflicts: 862000 | #Constraints: 34210
1087.60/1090.65 c #Conflicts: 863000 | #Constraints: 35210
1087.60/1090.65 c #Conflicts: 864000 | #Constraints: 36210
1087.60/1090.65 c #Conflicts: 865000 | #Constraints: 37210
1087.60/1090.65 c INPROCESSING
1087.60/1090.65 c GARBAGE COLLECT
1087.60/1090.65 c #Conflicts: 866000 | #Constraints: 19805
1087.60/1090.65 c #Conflicts: 867000 | #Constraints: 20805
1087.60/1090.65 c #Conflicts: 868000 | #Constraints: 21805
1087.60/1090.65 c #Conflicts: 869000 | #Constraints: 22805
1087.60/1090.65 c #Conflicts: 870000 | #Constraints: 23805
1087.60/1090.65 c #Conflicts: 871000 | #Constraints: 24805
1087.60/1090.65 c #Conflicts: 872000 | #Constraints: 25805
1087.60/1090.65 c #Conflicts: 873000 | #Constraints: 26805
1261.00/1264.56 c #Conflicts: 874000 | #Constraints: 27805
1261.00/1264.56 c #Conflicts: 875000 | #Constraints: 28805
1261.00/1264.56 c #Conflicts: 876000 | #Constraints: 29805
1261.00/1264.56 c #Conflicts: 877000 | #Constraints: 30805
1261.00/1264.56 c #Conflicts: 878000 | #Constraints: 31805
1261.00/1264.56 c #Conflicts: 879000 | #Constraints: 32805
1261.00/1264.56 c #Conflicts: 880000 | #Constraints: 33805
1261.00/1264.56 c #Conflicts: 881000 | #Constraints: 34805
1261.00/1264.56 c #Conflicts: 882000 | #Constraints: 35805
1261.00/1264.56 c #Conflicts: 883000 | #Constraints: 36805
1261.00/1264.56 c #Conflicts: 884000 | #Constraints: 37805
1261.00/1264.56 c INPROCESSING
1261.00/1264.56 c GARBAGE COLLECT
1261.00/1264.56 c #Conflicts: 885000 | #Constraints: 20206
1261.00/1264.56 c #Conflicts: 886000 | #Constraints: 21206
1261.00/1264.56 c #Conflicts: 887000 | #Constraints: 22206
1261.00/1264.56 c #Conflicts: 888000 | #Constraints: 23206
1261.00/1264.56 c #Conflicts: 889000 | #Constraints: 24206
1261.00/1264.56 c #Conflicts: 890000 | #Constraints: 25206
1261.00/1264.56 c #Conflicts: 891000 | #Constraints: 26206
1261.00/1264.56 c #Conflicts: 892000 | #Constraints: 27206
1261.00/1264.56 c #Conflicts: 893000 | #Constraints: 28206
1261.00/1264.56 c #Conflicts: 894000 | #Constraints: 29206
1261.00/1264.56 c #Conflicts: 895000 | #Constraints: 30206
1261.00/1264.56 c #Conflicts: 896000 | #Constraints: 31206
1261.00/1264.56 c #Conflicts: 897000 | #Constraints: 32206
1261.00/1264.56 c #Conflicts: 898000 | #Constraints: 33206
1261.00/1264.56 c #Conflicts: 899000 | #Constraints: 34206
1261.00/1264.56 c #Conflicts: 900000 | #Constraints: 35206
1261.00/1264.56 c #Conflicts: 901000 | #Constraints: 36206
1261.00/1264.56 c #Conflicts: 902000 | #Constraints: 37206
1261.00/1264.56 c #Conflicts: 903000 | #Constraints: 38206
1261.00/1264.56 c INPROCESSING
1261.00/1264.56 c GARBAGE COLLECT
1261.00/1264.56 c #Conflicts: 904000 | #Constraints: 20404
1261.00/1264.56 c #Conflicts: 905000 | #Constraints: 21404
1261.00/1264.56 c #Conflicts: 906000 | #Constraints: 22404
1261.00/1264.56 c #Conflicts: 907000 | #Constraints: 23404
1261.00/1264.56 c #Conflicts: 908000 | #Constraints: 24404
1261.00/1264.56 c #Conflicts: 909000 | #Constraints: 25404
1261.00/1264.56 c #Conflicts: 910000 | #Constraints: 26404
1261.00/1264.56 c #Conflicts: 911000 | #Constraints: 27404
1261.00/1264.56 c #Conflicts: 912000 | #Constraints: 28404
1261.00/1264.56 c #Conflicts: 913000 | #Constraints: 29404
1261.00/1264.56 c #Conflicts: 914000 | #Constraints: 30404
1261.00/1264.56 c #Conflicts: 915000 | #Constraints: 31404
1261.00/1264.56 c #Conflicts: 916000 | #Constraints: 32404
1261.00/1264.56 c #Conflicts: 917000 | #Constraints: 33404
1261.00/1264.56 c #Conflicts: 918000 | #Constraints: 34404
1261.00/1264.56 c #Conflicts: 919000 | #Constraints: 35404
1261.00/1264.56 c #Conflicts: 920000 | #Constraints: 36404
1261.00/1264.56 c #Conflicts: 921000 | #Constraints: 37404
1261.00/1264.56 c #Conflicts: 922000 | #Constraints: 38404
1261.00/1264.56 c INPROCESSING
1261.00/1264.56 c GARBAGE COLLECT
1261.00/1264.56 c #Conflicts: 923000 | #Constraints: 20408
1261.00/1264.56 c #Conflicts: 924000 | #Constraints: 21408
1261.00/1264.56 c #Conflicts: 925000 | #Constraints: 22408
1261.00/1264.56 c #Conflicts: 926000 | #Constraints: 23408
1261.00/1264.56 c #Conflicts: 927000 | #Constraints: 24408
1261.00/1264.56 c #Conflicts: 928000 | #Constraints: 25408
1261.00/1264.56 c #Conflicts: 929000 | #Constraints: 26408
1261.00/1264.56 c #Conflicts: 930000 | #Constraints: 27408
1261.00/1264.56 c #Conflicts: 931000 | #Constraints: 28408
1261.00/1264.56 c #Conflicts: 932000 | #Constraints: 29408
1261.00/1264.56 c #Conflicts: 933000 | #Constraints: 30408
1261.00/1264.56 c #Conflicts: 934000 | #Constraints: 31408
1261.00/1264.56 c #Conflicts: 935000 | #Constraints: 32408
1261.00/1264.56 c #Conflicts: 936000 | #Constraints: 33408
1261.00/1264.56 c #Conflicts: 937000 | #Constraints: 34408
1261.00/1264.56 c #Conflicts: 938000 | #Constraints: 35408
1261.00/1264.56 c #Conflicts: 939000 | #Constraints: 36408
1261.00/1264.56 c #Conflicts: 940000 | #Constraints: 37408
1261.00/1264.56 c #Conflicts: 941000 | #Constraints: 38408
1261.00/1264.56 c INPROCESSING
1261.00/1264.56 c GARBAGE COLLECT
1261.00/1264.56 c #Conflicts: 942000 | #Constraints: 20209
1261.00/1264.56 c #Conflicts: 943000 | #Constraints: 21209
1261.00/1264.56 c #Conflicts: 944000 | #Constraints: 22209
1261.00/1264.56 c #Conflicts: 945000 | #Constraints: 23209
1261.00/1264.56 c #Conflicts: 946000 | #Constraints: 24209
1261.00/1264.56 c #Conflicts: 947000 | #Constraints: 25209
1261.00/1264.56 c #Conflicts: 948000 | #Constraints: 26209
1261.00/1264.56 c #Conflicts: 949000 | #Constraints: 27209
1436.38/1440.49 c #Conflicts: 950000 | #Constraints: 28209
1436.38/1440.49 c #Conflicts: 951000 | #Constraints: 29209
1436.38/1440.49 c #Conflicts: 952000 | #Constraints: 30209
1436.38/1440.49 c #Conflicts: 953000 | #Constraints: 31209
1436.38/1440.49 c #Conflicts: 954000 | #Constraints: 32209
1436.38/1440.49 c #Conflicts: 955000 | #Constraints: 33209
1436.38/1440.49 c #Conflicts: 956000 | #Constraints: 34209
1436.38/1440.49 c #Conflicts: 957000 | #Constraints: 35209
1436.38/1440.49 c #Conflicts: 958000 | #Constraints: 36209
1436.38/1440.49 c #Conflicts: 959000 | #Constraints: 37209
1436.38/1440.49 c #Conflicts: 960000 | #Constraints: 38209
1436.38/1440.49 c #Conflicts: 961000 | #Constraints: 39209
1436.38/1440.49 c INPROCESSING
1436.38/1440.49 c GARBAGE COLLECT
1436.38/1440.49 c #Conflicts: 962000 | #Constraints: 20801
1436.38/1440.49 c #Conflicts: 963000 | #Constraints: 21801
1436.38/1440.49 c #Conflicts: 964000 | #Constraints: 22801
1436.38/1440.49 c #Conflicts: 965000 | #Constraints: 23801
1436.38/1440.49 c #Conflicts: 966000 | #Constraints: 24801
1436.38/1440.49 c #Conflicts: 967000 | #Constraints: 25801
1436.38/1440.49 c #Conflicts: 968000 | #Constraints: 26801
1436.38/1440.49 c #Conflicts: 969000 | #Constraints: 27801
1436.38/1440.49 c #Conflicts: 970000 | #Constraints: 28801
1436.38/1440.49 c #Conflicts: 971000 | #Constraints: 29801
1436.38/1440.49 c #Conflicts: 972000 | #Constraints: 30801
1436.38/1440.49 c #Conflicts: 973000 | #Constraints: 31801
1436.38/1440.49 c #Conflicts: 974000 | #Constraints: 32801
1436.38/1440.49 c #Conflicts: 975000 | #Constraints: 33801
1436.38/1440.49 c #Conflicts: 976000 | #Constraints: 34801
1436.38/1440.49 c #Conflicts: 977000 | #Constraints: 35801
1436.38/1440.49 c #Conflicts: 978000 | #Constraints: 36801
1436.38/1440.49 c #Conflicts: 979000 | #Constraints: 37801
1436.38/1440.49 c #Conflicts: 980000 | #Constraints: 38801
1436.38/1440.49 c #Conflicts: 981000 | #Constraints: 39801
1436.38/1440.49 c INPROCESSING
1436.38/1440.49 c GARBAGE COLLECT
1436.38/1440.49 c #Conflicts: 982000 | #Constraints: 21205
1436.38/1440.49 c #Conflicts: 983000 | #Constraints: 22205
1436.38/1440.49 c #Conflicts: 984000 | #Constraints: 23205
1436.38/1440.49 c #Conflicts: 985000 | #Constraints: 24205
1436.38/1440.49 c #Conflicts: 986000 | #Constraints: 25205
1436.38/1440.49 c #Conflicts: 987000 | #Constraints: 26205
1436.38/1440.49 c #Conflicts: 988000 | #Constraints: 27205
1436.38/1440.49 c #Conflicts: 989000 | #Constraints: 28205
1436.38/1440.49 c #Conflicts: 990000 | #Constraints: 29205
1436.38/1440.49 c #Conflicts: 991000 | #Constraints: 30205
1436.38/1440.49 c #Conflicts: 992000 | #Constraints: 31205
1436.38/1440.49 c #Conflicts: 993000 | #Constraints: 32205
1436.38/1440.49 c #Conflicts: 994000 | #Constraints: 33205
1436.38/1440.49 c #Conflicts: 995000 | #Constraints: 34205
1436.38/1440.49 c #Conflicts: 996000 | #Constraints: 35205
1436.38/1440.49 c #Conflicts: 997000 | #Constraints: 36205
1436.38/1440.49 c #Conflicts: 998000 | #Constraints: 37205
1436.38/1440.49 c #Conflicts: 999000 | #Constraints: 38205
1436.38/1440.49 c #Conflicts: 1000000 | #Constraints: 39205
1436.38/1440.49 c #Conflicts: 1001000 | #Constraints: 40205
1436.38/1440.49 c INPROCESSING
1436.38/1440.49 c GARBAGE COLLECT
1436.38/1440.49 c #Conflicts: 1002000 | #Constraints: 21406
1436.38/1440.49 c #Conflicts: 1003000 | #Constraints: 22406
1436.38/1440.49 c #Conflicts: 1004000 | #Constraints: 23406
1436.38/1440.49 c #Conflicts: 1005000 | #Constraints: 24406
1436.38/1440.49 c #Conflicts: 1006000 | #Constraints: 25406
1436.38/1440.49 c #Conflicts: 1007000 | #Constraints: 26406
1436.38/1440.49 c #Conflicts: 1008000 | #Constraints: 27406
1436.38/1440.49 c #Conflicts: 1009000 | #Constraints: 28406
1436.38/1440.49 c #Conflicts: 1010000 | #Constraints: 29406
1436.38/1440.49 c #Conflicts: 1011000 | #Constraints: 30406
1436.38/1440.49 c #Conflicts: 1012000 | #Constraints: 31406
1436.38/1440.49 c #Conflicts: 1013000 | #Constraints: 32406
1436.38/1440.49 c #Conflicts: 1014000 | #Constraints: 33406
1436.38/1440.49 c #Conflicts: 1015000 | #Constraints: 34406
1436.38/1440.49 c #Conflicts: 1016000 | #Constraints: 35406
1436.38/1440.49 c #Conflicts: 1017000 | #Constraints: 36406
1436.38/1440.49 c #Conflicts: 1018000 | #Constraints: 37406
1436.38/1440.49 c #Conflicts: 1019000 | #Constraints: 38406
1436.38/1440.49 c #Conflicts: 1020000 | #Constraints: 39406
1436.38/1440.49 c #Conflicts: 1021000 | #Constraints: 40406
1436.38/1440.49 c INPROCESSING
1436.38/1440.49 c GARBAGE COLLECT
1436.38/1440.49 c #Conflicts: 1022000 | #Constraints: 21407
1436.38/1440.49 c #Conflicts: 1023000 | #Constraints: 22407
1436.38/1440.49 c #Conflicts: 1024000 | #Constraints: 23407
1436.38/1440.49 c #Conflicts: 1025000 | #Constraints: 24407
1648.49/1653.15 c #Conflicts: 1026000 | #Constraints: 25407
1648.49/1653.15 c #Conflicts: 1027000 | #Constraints: 26407
1648.49/1653.15 c #Conflicts: 1028000 | #Constraints: 27407
1648.49/1653.15 c #Conflicts: 1029000 | #Constraints: 28407
1648.49/1653.15 c #Conflicts: 1030000 | #Constraints: 29407
1648.49/1653.15 c #Conflicts: 1031000 | #Constraints: 30407
1648.49/1653.15 c #Conflicts: 1032000 | #Constraints: 31407
1648.49/1653.15 c #Conflicts: 1033000 | #Constraints: 32407
1648.49/1653.15 c #Conflicts: 1034000 | #Constraints: 33407
1648.49/1653.15 c #Conflicts: 1035000 | #Constraints: 34407
1648.49/1653.15 c #Conflicts: 1036000 | #Constraints: 35407
1648.49/1653.15 c #Conflicts: 1037000 | #Constraints: 36407
1648.49/1653.15 c #Conflicts: 1038000 | #Constraints: 37407
1648.49/1653.15 c #Conflicts: 1039000 | #Constraints: 38407
1648.49/1653.15 c #Conflicts: 1040000 | #Constraints: 39407
1648.49/1653.15 c #Conflicts: 1041000 | #Constraints: 40407
1648.49/1653.15 c INPROCESSING
1648.49/1653.15 c GARBAGE COLLECT
1648.49/1653.15 c #Conflicts: 1042000 | #Constraints: 21205
1648.49/1653.15 c #Conflicts: 1043000 | #Constraints: 22205
1648.49/1653.15 c #Conflicts: 1044000 | #Constraints: 23205
1648.49/1653.15 c #Conflicts: 1045000 | #Constraints: 24205
1648.49/1653.15 c #Conflicts: 1046000 | #Constraints: 25205
1648.49/1653.15 c #Conflicts: 1047000 | #Constraints: 26205
1648.49/1653.15 c #Conflicts: 1048000 | #Constraints: 27205
1648.49/1653.15 c #Conflicts: 1049000 | #Constraints: 28205
1648.49/1653.15 c #Conflicts: 1050000 | #Constraints: 29205
1648.49/1653.15 c #Conflicts: 1051000 | #Constraints: 30205
1648.49/1653.15 c #Conflicts: 1052000 | #Constraints: 31205
1648.49/1653.15 c #Conflicts: 1053000 | #Constraints: 32205
1648.49/1653.15 c #Conflicts: 1054000 | #Constraints: 33205
1648.49/1653.15 c #Conflicts: 1055000 | #Constraints: 34205
1648.49/1653.15 c #Conflicts: 1056000 | #Constraints: 35205
1648.49/1653.15 c #Conflicts: 1057000 | #Constraints: 36205
1648.49/1653.15 c #Conflicts: 1058000 | #Constraints: 37205
1648.49/1653.15 c #Conflicts: 1059000 | #Constraints: 38205
1648.49/1653.15 c #Conflicts: 1060000 | #Constraints: 39205
1648.49/1653.15 c #Conflicts: 1061000 | #Constraints: 40205
1648.49/1653.15 c #Conflicts: 1062000 | #Constraints: 41205
1648.49/1653.15 c INPROCESSING
1648.49/1653.15 c GARBAGE COLLECT
1648.49/1653.15 c #Conflicts: 1063000 | #Constraints: 21803
1648.49/1653.15 c #Conflicts: 1064000 | #Constraints: 22803
1648.49/1653.15 c #Conflicts: 1065000 | #Constraints: 23803
1648.49/1653.15 c #Conflicts: 1066000 | #Constraints: 24803
1648.49/1653.15 c #Conflicts: 1067000 | #Constraints: 25803
1648.49/1653.15 c #Conflicts: 1068000 | #Constraints: 26803
1648.49/1653.15 c #Conflicts: 1069000 | #Constraints: 27803
1648.49/1653.15 c #Conflicts: 1070000 | #Constraints: 28803
1648.49/1653.15 c #Conflicts: 1071000 | #Constraints: 29803
1648.49/1653.15 c #Conflicts: 1072000 | #Constraints: 30803
1648.49/1653.15 c #Conflicts: 1073000 | #Constraints: 31803
1648.49/1653.15 c #Conflicts: 1074000 | #Constraints: 32803
1648.49/1653.15 c #Conflicts: 1075000 | #Constraints: 33803
1648.49/1653.15 c #Conflicts: 1076000 | #Constraints: 34803
1648.49/1653.15 c #Conflicts: 1077000 | #Constraints: 35803
1648.49/1653.15 c #Conflicts: 1078000 | #Constraints: 36803
1648.49/1653.15 c #Conflicts: 1079000 | #Constraints: 37803
1648.49/1653.15 c #Conflicts: 1080000 | #Constraints: 38803
1648.49/1653.15 c #Conflicts: 1081000 | #Constraints: 39803
1648.49/1653.15 c #Conflicts: 1082000 | #Constraints: 40803
1648.49/1653.15 c #Conflicts: 1083000 | #Constraints: 41803
1648.49/1653.15 c INPROCESSING
1648.49/1653.15 c GARBAGE COLLECT
1648.49/1653.15 c #Conflicts: 1084000 | #Constraints: 22202
1648.49/1653.15 c #Conflicts: 1085000 | #Constraints: 23202
1648.49/1653.15 c #Conflicts: 1086000 | #Constraints: 24202
1648.49/1653.15 c #Conflicts: 1087000 | #Constraints: 25202
1648.49/1653.15 c #Conflicts: 1088000 | #Constraints: 26202
1648.49/1653.15 c #Conflicts: 1089000 | #Constraints: 27202
1648.49/1653.15 c #Conflicts: 1090000 | #Constraints: 28202
1648.49/1653.15 c #Conflicts: 1091000 | #Constraints: 29202
1648.49/1653.15 c #Conflicts: 1092000 | #Constraints: 30202
1648.49/1653.15 c #Conflicts: 1093000 | #Constraints: 31202
1648.49/1653.15 c #Conflicts: 1094000 | #Constraints: 32202
1648.49/1653.15 c #Conflicts: 1095000 | #Constraints: 33202
1648.49/1653.15 c #Conflicts: 1096000 | #Constraints: 34202
1648.49/1653.15 c #Conflicts: 1097000 | #Constraints: 35202
1648.49/1653.15 c #Conflicts: 1098000 | #Constraints: 36202
1648.49/1653.15 c #Conflicts: 1099000 | #Constraints: 37202
1648.49/1653.15 c #Conflicts: 1100000 | #Constraints: 38202
1648.49/1653.15 c #Conflicts: 1101000 | #Constraints: 39202
1648.49/1653.15 c #Conflicts: 1102000 | #Constraints: 40202
1848.52/1853.79 c #Conflicts: 1103000 | #Constraints: 41202
1848.52/1853.79 c #Conflicts: 1104000 | #Constraints: 42202
1848.52/1853.79 c INPROCESSING
1848.52/1853.79 c GARBAGE COLLECT
1848.52/1853.79 c #Conflicts: 1105000 | #Constraints: 22398
1848.52/1853.79 c #Conflicts: 1106000 | #Constraints: 23398
1848.52/1853.79 c #Conflicts: 1107000 | #Constraints: 24398
1848.52/1853.79 c #Conflicts: 1108000 | #Constraints: 25398
1848.52/1853.79 c #Conflicts: 1109000 | #Constraints: 26398
1848.52/1853.79 c #Conflicts: 1110000 | #Constraints: 27398
1848.52/1853.79 c #Conflicts: 1111000 | #Constraints: 28398
1848.52/1853.79 c #Conflicts: 1112000 | #Constraints: 29398
1848.52/1853.79 c #Conflicts: 1113000 | #Constraints: 30398
1848.52/1853.79 c #Conflicts: 1114000 | #Constraints: 31398
1848.52/1853.79 c #Conflicts: 1115000 | #Constraints: 32398
1848.52/1853.79 c #Conflicts: 1116000 | #Constraints: 33398
1848.52/1853.79 c #Conflicts: 1117000 | #Constraints: 34398
1848.52/1853.79 c #Conflicts: 1118000 | #Constraints: 35398
1848.52/1853.79 c #Conflicts: 1119000 | #Constraints: 36398
1848.52/1853.79 c #Conflicts: 1120000 | #Constraints: 37398
1848.52/1853.79 c #Conflicts: 1121000 | #Constraints: 38398
1848.52/1853.79 c #Conflicts: 1122000 | #Constraints: 39398
1848.52/1853.79 c #Conflicts: 1123000 | #Constraints: 40398
1848.52/1853.79 c #Conflicts: 1124000 | #Constraints: 41398
1848.52/1853.79 c #Conflicts: 1125000 | #Constraints: 42398
1848.52/1853.79 c INPROCESSING
1848.52/1853.79 c GARBAGE COLLECT
1848.52/1853.79 c #Conflicts: 1126000 | #Constraints: 22398
1848.52/1853.79 c #Conflicts: 1127000 | #Constraints: 23398
1848.52/1853.79 c #Conflicts: 1128000 | #Constraints: 24398
1848.52/1853.79 c #Conflicts: 1129000 | #Constraints: 25398
1848.52/1853.79 c #Conflicts: 1130000 | #Constraints: 26398
1848.52/1853.79 c #Conflicts: 1131000 | #Constraints: 27398
1848.52/1853.79 c #Conflicts: 1132000 | #Constraints: 28398
1848.52/1853.79 c #Conflicts: 1133000 | #Constraints: 29398
1848.52/1853.79 c #Conflicts: 1134000 | #Constraints: 30398
1848.52/1853.79 c #Conflicts: 1135000 | #Constraints: 31398
1848.52/1853.79 c #Conflicts: 1136000 | #Constraints: 32398
1848.52/1853.79 c #Conflicts: 1137000 | #Constraints: 33398
1848.52/1853.79 c #Conflicts: 1138000 | #Constraints: 34398
1848.52/1853.79 c #Conflicts: 1139000 | #Constraints: 35398
1848.52/1853.79 c #Conflicts: 1140000 | #Constraints: 36398
1848.52/1853.79 c #Conflicts: 1141000 | #Constraints: 37398
1848.52/1853.79 c #Conflicts: 1142000 | #Constraints: 38398
1848.52/1853.79 c #Conflicts: 1143000 | #Constraints: 39398
1848.52/1853.79 c #Conflicts: 1144000 | #Constraints: 40398
1848.52/1853.79 c #Conflicts: 1145000 | #Constraints: 41398
1848.52/1853.79 c #Conflicts: 1146000 | #Constraints: 42398
1848.52/1853.79 c INPROCESSING
1848.52/1853.79 c GARBAGE COLLECT
1848.52/1853.79 c #Conflicts: 1147000 | #Constraints: 22192
1848.52/1853.79 c #Conflicts: 1148000 | #Constraints: 23192
1848.52/1853.79 c #Conflicts: 1149000 | #Constraints: 24192
1848.52/1853.79 c #Conflicts: 1150000 | #Constraints: 25192
1848.52/1853.79 c #Conflicts: 1151000 | #Constraints: 26192
1848.52/1853.79 c #Conflicts: 1152000 | #Constraints: 27192
1848.52/1853.79 c #Conflicts: 1153000 | #Constraints: 28192
1848.52/1853.79 c #Conflicts: 1154000 | #Constraints: 29192
1848.52/1853.79 c #Conflicts: 1155000 | #Constraints: 30192
1848.52/1853.79 c #Conflicts: 1156000 | #Constraints: 31192
1848.52/1853.79 c #Conflicts: 1157000 | #Constraints: 32192
1848.52/1853.79 c #Conflicts: 1158000 | #Constraints: 33192
1848.52/1853.79 c #Conflicts: 1159000 | #Constraints: 34192
1848.52/1853.79 c #Conflicts: 1160000 | #Constraints: 35192
1848.52/1853.79 c #Conflicts: 1161000 | #Constraints: 36192
1848.52/1853.79 c #Conflicts: 1162000 | #Constraints: 37192
1848.52/1853.79 c #Conflicts: 1163000 | #Constraints: 38192
1848.52/1853.79 c #Conflicts: 1164000 | #Constraints: 39192
1848.52/1853.79 c #Conflicts: 1165000 | #Constraints: 40192
1848.52/1853.79 c #Conflicts: 1166000 | #Constraints: 41192
1848.52/1853.79 c #Conflicts: 1167000 | #Constraints: 42192
1848.52/1853.79 c #Conflicts: 1168000 | #Constraints: 43192
1848.52/1853.79 c INPROCESSING
1848.52/1853.79 c GARBAGE COLLECT
1848.52/1853.79 c #Conflicts: 1169000 | #Constraints: 22795
1848.52/1853.79 c #Conflicts: 1170000 | #Constraints: 23795
1848.52/1853.79 c #Conflicts: 1171000 | #Constraints: 24795
1848.52/1853.79 c #Conflicts: 1172000 | #Constraints: 25795
1848.52/1853.79 c #Conflicts: 1173000 | #Constraints: 26795
1848.52/1853.79 c #Conflicts: 1174000 | #Constraints: 27795
1848.52/1853.79 c #Conflicts: 1175000 | #Constraints: 28795
1848.52/1853.79 c #Conflicts: 1176000 | #Constraints: 29795
1848.52/1853.79 c #Conflicts: 1177000 | #Constraints: 30795
1848.52/1853.79 c #Conflicts: 1178000 | #Constraints: 31795
2071.26/2077.02 c #Conflicts: 1179000 | #Constraints: 32795
2071.26/2077.02 c #Conflicts: 1180000 | #Constraints: 33795
2071.26/2077.02 c #Conflicts: 1181000 | #Constraints: 34795
2071.26/2077.02 c #Conflicts: 1182000 | #Constraints: 35795
2071.26/2077.02 c #Conflicts: 1183000 | #Constraints: 36795
2071.26/2077.02 c #Conflicts: 1184000 | #Constraints: 37795
2071.26/2077.02 c #Conflicts: 1185000 | #Constraints: 38795
2071.26/2077.02 c #Conflicts: 1186000 | #Constraints: 39795
2071.26/2077.02 c #Conflicts: 1187000 | #Constraints: 40795
2071.26/2077.02 c #Conflicts: 1188000 | #Constraints: 41795
2071.26/2077.02 c #Conflicts: 1189000 | #Constraints: 42795
2071.26/2077.02 c #Conflicts: 1190000 | #Constraints: 43795
2071.26/2077.02 c INPROCESSING
2071.26/2077.02 c GARBAGE COLLECT
2071.26/2077.02 c #Conflicts: 1191000 | #Constraints: 23192
2071.26/2077.02 c #Conflicts: 1192000 | #Constraints: 24192
2071.26/2077.02 c #Conflicts: 1193000 | #Constraints: 25192
2071.26/2077.02 c #Conflicts: 1194000 | #Constraints: 26192
2071.26/2077.02 c #Conflicts: 1195000 | #Constraints: 27192
2071.26/2077.02 c #Conflicts: 1196000 | #Constraints: 28192
2071.26/2077.02 c #Conflicts: 1197000 | #Constraints: 29192
2071.26/2077.02 c #Conflicts: 1198000 | #Constraints: 30192
2071.26/2077.02 c #Conflicts: 1199000 | #Constraints: 31192
2071.26/2077.02 c #Conflicts: 1200000 | #Constraints: 32192
2071.26/2077.02 c #Conflicts: 1201000 | #Constraints: 33192
2071.26/2077.02 c #Conflicts: 1202000 | #Constraints: 34192
2071.26/2077.02 c #Conflicts: 1203000 | #Constraints: 35192
2071.26/2077.02 c #Conflicts: 1204000 | #Constraints: 36192
2071.26/2077.02 c #Conflicts: 1205000 | #Constraints: 37192
2071.26/2077.02 c #Conflicts: 1206000 | #Constraints: 38192
2071.26/2077.02 c #Conflicts: 1207000 | #Constraints: 39192
2071.26/2077.02 c #Conflicts: 1208000 | #Constraints: 40192
2071.26/2077.02 c #Conflicts: 1209000 | #Constraints: 41192
2071.26/2077.02 c #Conflicts: 1210000 | #Constraints: 42192
2071.26/2077.02 c #Conflicts: 1211000 | #Constraints: 43192
2071.26/2077.02 c #Conflicts: 1212000 | #Constraints: 44192
2071.26/2077.02 c INPROCESSING
2071.26/2077.02 c GARBAGE COLLECT
2071.26/2077.02 c #Conflicts: 1213000 | #Constraints: 23399
2071.26/2077.02 c #Conflicts: 1214000 | #Constraints: 24399
2071.26/2077.02 c #Conflicts: 1215000 | #Constraints: 25399
2071.26/2077.02 c #Conflicts: 1216000 | #Constraints: 26399
2071.26/2077.02 c #Conflicts: 1217000 | #Constraints: 27399
2071.26/2077.02 c #Conflicts: 1218000 | #Constraints: 28399
2071.26/2077.02 c #Conflicts: 1219000 | #Constraints: 29399
2071.26/2077.02 c #Conflicts: 1220000 | #Constraints: 30399
2071.26/2077.02 c #Conflicts: 1221000 | #Constraints: 31399
2071.26/2077.02 c #Conflicts: 1222000 | #Constraints: 32399
2071.26/2077.02 c #Conflicts: 1223000 | #Constraints: 33399
2071.26/2077.02 c #Conflicts: 1224000 | #Constraints: 34399
2071.26/2077.02 c #Conflicts: 1225000 | #Constraints: 35399
2071.26/2077.02 c #Conflicts: 1226000 | #Constraints: 36399
2071.26/2077.02 c #Conflicts: 1227000 | #Constraints: 37399
2071.26/2077.02 c #Conflicts: 1228000 | #Constraints: 38399
2071.26/2077.02 c #Conflicts: 1229000 | #Constraints: 39399
2071.26/2077.02 c #Conflicts: 1230000 | #Constraints: 40399
2071.26/2077.02 c #Conflicts: 1231000 | #Constraints: 41399
2071.26/2077.02 c #Conflicts: 1232000 | #Constraints: 42399
2071.26/2077.02 c #Conflicts: 1233000 | #Constraints: 43399
2071.26/2077.02 c #Conflicts: 1234000 | #Constraints: 44399
2071.26/2077.02 c INPROCESSING
2071.26/2077.02 c GARBAGE COLLECT
2071.26/2077.02 c #Conflicts: 1235000 | #Constraints: 23396
2071.26/2077.02 c #Conflicts: 1236000 | #Constraints: 24396
2071.26/2077.02 c #Conflicts: 1237000 | #Constraints: 25396
2071.26/2077.02 c #Conflicts: 1238000 | #Constraints: 26396
2071.26/2077.02 c #Conflicts: 1239000 | #Constraints: 27396
2071.26/2077.02 c #Conflicts: 1240000 | #Constraints: 28396
2071.26/2077.02 c #Conflicts: 1241000 | #Constraints: 29396
2071.26/2077.02 c #Conflicts: 1242000 | #Constraints: 30396
2071.26/2077.02 c #Conflicts: 1243000 | #Constraints: 31396
2071.26/2077.02 c #Conflicts: 1244000 | #Constraints: 32396
2071.26/2077.02 c #Conflicts: 1245000 | #Constraints: 33396
2071.26/2077.02 c #Conflicts: 1246000 | #Constraints: 34396
2071.26/2077.02 c #Conflicts: 1247000 | #Constraints: 35396
2071.26/2077.02 c #Conflicts: 1248000 | #Constraints: 36396
2071.26/2077.02 c #Conflicts: 1249000 | #Constraints: 37396
2071.26/2077.02 c #Conflicts: 1250000 | #Constraints: 38396
2071.26/2077.02 c #Conflicts: 1251000 | #Constraints: 39396
2071.26/2077.02 c #Conflicts: 1252000 | #Constraints: 40396
2071.26/2077.02 c #Conflicts: 1253000 | #Constraints: 41396
2071.26/2077.02 c #Conflicts: 1254000 | #Constraints: 42396
2071.26/2077.02 c #Conflicts: 1255000 | #Constraints: 43396
2286.79/2293.18 c #Conflicts: 1256000 | #Constraints: 44396
2286.79/2293.18 c INPROCESSING
2286.79/2293.18 c GARBAGE COLLECT
2286.79/2293.18 c #Conflicts: 1257000 | #Constraints: 23197
2286.79/2293.18 c #Conflicts: 1258000 | #Constraints: 24197
2286.79/2293.18 c #Conflicts: 1259000 | #Constraints: 25197
2286.79/2293.18 c #Conflicts: 1260000 | #Constraints: 26197
2286.79/2293.18 c #Conflicts: 1261000 | #Constraints: 27197
2286.79/2293.18 c #Conflicts: 1262000 | #Constraints: 28197
2286.79/2293.18 c #Conflicts: 1263000 | #Constraints: 29197
2286.79/2293.18 c #Conflicts: 1264000 | #Constraints: 30197
2286.79/2293.18 c #Conflicts: 1265000 | #Constraints: 31197
2286.79/2293.18 c #Conflicts: 1266000 | #Constraints: 32197
2286.79/2293.18 c #Conflicts: 1267000 | #Constraints: 33197
2286.79/2293.18 c #Conflicts: 1268000 | #Constraints: 34197
2286.79/2293.18 c #Conflicts: 1269000 | #Constraints: 35197
2286.79/2293.18 c #Conflicts: 1270000 | #Constraints: 36197
2286.79/2293.18 c #Conflicts: 1271000 | #Constraints: 37197
2286.79/2293.18 c #Conflicts: 1272000 | #Constraints: 38197
2286.79/2293.18 c #Conflicts: 1273000 | #Constraints: 39197
2286.79/2293.18 c #Conflicts: 1274000 | #Constraints: 40197
2286.79/2293.19 c #Conflicts: 1275000 | #Constraints: 41197
2286.79/2293.19 c #Conflicts: 1276000 | #Constraints: 42197
2286.79/2293.19 c #Conflicts: 1277000 | #Constraints: 43197
2286.79/2293.19 c #Conflicts: 1278000 | #Constraints: 44197
2286.79/2293.19 c #Conflicts: 1279000 | #Constraints: 45197
2286.79/2293.19 c INPROCESSING
2286.79/2293.19 c GARBAGE COLLECT
2286.79/2293.19 c #Conflicts: 1280000 | #Constraints: 23807
2286.79/2293.19 c #Conflicts: 1281000 | #Constraints: 24807
2286.79/2293.19 c #Conflicts: 1282000 | #Constraints: 25807
2286.79/2293.19 c #Conflicts: 1283000 | #Constraints: 26807
2286.79/2293.19 c #Conflicts: 1284000 | #Constraints: 27807
2286.79/2293.19 c #Conflicts: 1285000 | #Constraints: 28807
2286.79/2293.19 c #Conflicts: 1286000 | #Constraints: 29807
2286.79/2293.19 c #Conflicts: 1287000 | #Constraints: 30807
2286.79/2293.19 c #Conflicts: 1288000 | #Constraints: 31807
2286.79/2293.19 c #Conflicts: 1289000 | #Constraints: 32807
2286.79/2293.19 c #Conflicts: 1290000 | #Constraints: 33807
2286.79/2293.19 c #Conflicts: 1291000 | #Constraints: 34807
2286.79/2293.19 c #Conflicts: 1292000 | #Constraints: 35807
2286.79/2293.19 c #Conflicts: 1293000 | #Constraints: 36807
2286.79/2293.19 c #Conflicts: 1294000 | #Constraints: 37807
2286.79/2293.19 c #Conflicts: 1295000 | #Constraints: 38807
2286.79/2293.19 c #Conflicts: 1296000 | #Constraints: 39807
2286.79/2293.19 c #Conflicts: 1297000 | #Constraints: 40807
2286.79/2293.19 c #Conflicts: 1298000 | #Constraints: 41807
2286.79/2293.19 c #Conflicts: 1299000 | #Constraints: 42807
2286.79/2293.19 c #Conflicts: 1300000 | #Constraints: 43807
2286.79/2293.19 c #Conflicts: 1301000 | #Constraints: 44807
2286.79/2293.19 c #Conflicts: 1302000 | #Constraints: 45807
2286.79/2293.19 c INPROCESSING
2286.79/2293.19 c GARBAGE COLLECT
2286.79/2293.19 c #Conflicts: 1303000 | #Constraints: 24201
2286.79/2293.19 c #Conflicts: 1304000 | #Constraints: 25201
2286.79/2293.19 c #Conflicts: 1305000 | #Constraints: 26201
2286.79/2293.19 c #Conflicts: 1306000 | #Constraints: 27201
2286.79/2293.19 c #Conflicts: 1307000 | #Constraints: 28201
2286.79/2293.19 c #Conflicts: 1308000 | #Constraints: 29201
2286.79/2293.19 c #Conflicts: 1309000 | #Constraints: 30201
2286.79/2293.19 c #Conflicts: 1310000 | #Constraints: 31201
2286.79/2293.19 c #Conflicts: 1311000 | #Constraints: 32201
2286.79/2293.19 c #Conflicts: 1312000 | #Constraints: 33201
2286.79/2293.19 c #Conflicts: 1313000 | #Constraints: 34201
2286.79/2293.19 c #Conflicts: 1314000 | #Constraints: 35201
2286.79/2293.19 c #Conflicts: 1315000 | #Constraints: 36201
2286.79/2293.19 c #Conflicts: 1316000 | #Constraints: 37201
2286.79/2293.19 c #Conflicts: 1317000 | #Constraints: 38201
2286.79/2293.19 c #Conflicts: 1318000 | #Constraints: 39201
2286.79/2293.19 c #Conflicts: 1319000 | #Constraints: 40201
2286.79/2293.19 c #Conflicts: 1320000 | #Constraints: 41201
2286.79/2293.19 c #Conflicts: 1321000 | #Constraints: 42201
2286.79/2293.19 c #Conflicts: 1322000 | #Constraints: 43201
2286.79/2293.19 c #Conflicts: 1323000 | #Constraints: 44201
2286.79/2293.19 c #Conflicts: 1324000 | #Constraints: 45201
2286.79/2293.19 c #Conflicts: 1325000 | #Constraints: 46201
2286.79/2293.19 c INPROCESSING
2286.79/2293.19 c GARBAGE COLLECT
2286.79/2293.19 c #Conflicts: 1326000 | #Constraints: 24402
2286.79/2293.19 c #Conflicts: 1327000 | #Constraints: 25402
2286.79/2293.19 c #Conflicts: 1328000 | #Constraints: 26402
2286.79/2293.19 c #Conflicts: 1329000 | #Constraints: 27402
2286.79/2293.19 c #Conflicts: 1330000 | #Constraints: 28402
2286.79/2293.19 c #Conflicts: 1331000 | #Constraints: 29402
2539.21/2546.24 c #Conflicts: 1332000 | #Constraints: 30402
2539.21/2546.24 c #Conflicts: 1333000 | #Constraints: 31402
2539.21/2546.24 c #Conflicts: 1334000 | #Constraints: 32402
2539.21/2546.24 c #Conflicts: 1335000 | #Constraints: 33402
2539.21/2546.24 c #Conflicts: 1336000 | #Constraints: 34402
2539.21/2546.24 c #Conflicts: 1337000 | #Constraints: 35402
2539.21/2546.24 c #Conflicts: 1338000 | #Constraints: 36402
2539.21/2546.24 c #Conflicts: 1339000 | #Constraints: 37402
2539.21/2546.24 c #Conflicts: 1340000 | #Constraints: 38402
2539.21/2546.24 c #Conflicts: 1341000 | #Constraints: 39402
2539.21/2546.24 c #Conflicts: 1342000 | #Constraints: 40402
2539.21/2546.24 c #Conflicts: 1343000 | #Constraints: 41402
2539.21/2546.24 c #Conflicts: 1344000 | #Constraints: 42402
2539.21/2546.24 c #Conflicts: 1345000 | #Constraints: 43402
2539.21/2546.24 c #Conflicts: 1346000 | #Constraints: 44402
2539.21/2546.24 c #Conflicts: 1347000 | #Constraints: 45402
2539.21/2546.24 c #Conflicts: 1348000 | #Constraints: 46402
2539.21/2546.24 c INPROCESSING
2539.21/2546.24 c GARBAGE COLLECT
2539.21/2546.24 c #Conflicts: 1349000 | #Constraints: 24417
2539.21/2546.24 c #Conflicts: 1350000 | #Constraints: 25417
2539.21/2546.24 c #Conflicts: 1351000 | #Constraints: 26417
2539.21/2546.24 c #Conflicts: 1352000 | #Constraints: 27417
2539.21/2546.24 c #Conflicts: 1353000 | #Constraints: 28417
2539.21/2546.24 c #Conflicts: 1354000 | #Constraints: 29417
2539.21/2546.24 c #Conflicts: 1355000 | #Constraints: 30417
2539.21/2546.24 c #Conflicts: 1356000 | #Constraints: 31417
2539.21/2546.24 c #Conflicts: 1357000 | #Constraints: 32417
2539.21/2546.24 c #Conflicts: 1358000 | #Constraints: 33417
2539.21/2546.24 c #Conflicts: 1359000 | #Constraints: 34417
2539.21/2546.24 c #Conflicts: 1360000 | #Constraints: 35417
2539.21/2546.24 c #Conflicts: 1361000 | #Constraints: 36417
2539.21/2546.24 c #Conflicts: 1362000 | #Constraints: 37417
2539.21/2546.24 c #Conflicts: 1363000 | #Constraints: 38417
2539.21/2546.24 c #Conflicts: 1364000 | #Constraints: 39417
2539.21/2546.24 c #Conflicts: 1365000 | #Constraints: 40417
2539.21/2546.24 c #Conflicts: 1366000 | #Constraints: 41417
2539.21/2546.24 c #Conflicts: 1367000 | #Constraints: 42417
2539.21/2546.24 c #Conflicts: 1368000 | #Constraints: 43417
2539.21/2546.24 c #Conflicts: 1369000 | #Constraints: 44417
2539.21/2546.24 c #Conflicts: 1370000 | #Constraints: 45417
2539.21/2546.24 c #Conflicts: 1371000 | #Constraints: 46417
2539.21/2546.24 c INPROCESSING
2539.21/2546.24 c GARBAGE COLLECT
2539.21/2546.24 c #Conflicts: 1372000 | #Constraints: 24209
2539.21/2546.24 c #Conflicts: 1373000 | #Constraints: 25209
2539.21/2546.24 c #Conflicts: 1374000 | #Constraints: 26209
2539.21/2546.24 c #Conflicts: 1375000 | #Constraints: 27209
2539.21/2546.24 c #Conflicts: 1376000 | #Constraints: 28209
2539.21/2546.24 c #Conflicts: 1377000 | #Constraints: 29209
2539.21/2546.24 c #Conflicts: 1378000 | #Constraints: 30209
2539.21/2546.24 c #Conflicts: 1379000 | #Constraints: 31209
2539.21/2546.24 c #Conflicts: 1380000 | #Constraints: 32209
2539.21/2546.24 c #Conflicts: 1381000 | #Constraints: 33209
2539.21/2546.24 c #Conflicts: 1382000 | #Constraints: 34209
2539.21/2546.24 c #Conflicts: 1383000 | #Constraints: 35209
2539.21/2546.24 c #Conflicts: 1384000 | #Constraints: 36209
2539.21/2546.24 c #Conflicts: 1385000 | #Constraints: 37209
2539.21/2546.24 c #Conflicts: 1386000 | #Constraints: 38209
2539.21/2546.24 c #Conflicts: 1387000 | #Constraints: 39209
2539.21/2546.24 c #Conflicts: 1388000 | #Constraints: 40209
2539.21/2546.24 c #Conflicts: 1389000 | #Constraints: 41209
2539.21/2546.24 c #Conflicts: 1390000 | #Constraints: 42209
2539.21/2546.24 c #Conflicts: 1391000 | #Constraints: 43209
2539.21/2546.24 c #Conflicts: 1392000 | #Constraints: 44209
2539.21/2546.24 c #Conflicts: 1393000 | #Constraints: 45209
2539.21/2546.24 c #Conflicts: 1394000 | #Constraints: 46209
2539.21/2546.24 c #Conflicts: 1395000 | #Constraints: 47209
2539.21/2546.24 c INPROCESSING
2539.21/2546.24 c GARBAGE COLLECT
2539.21/2546.24 c #Conflicts: 1396000 | #Constraints: 24814
2539.21/2546.24 c #Conflicts: 1397000 | #Constraints: 25814
2539.21/2546.24 c #Conflicts: 1398000 | #Constraints: 26814
2539.21/2546.24 c #Conflicts: 1399000 | #Constraints: 27814
2539.21/2546.24 c #Conflicts: 1400000 | #Constraints: 28814
2539.21/2546.24 c #Conflicts: 1401000 | #Constraints: 29814
2539.21/2546.24 c #Conflicts: 1402000 | #Constraints: 30814
2539.21/2546.24 c #Conflicts: 1403000 | #Constraints: 31814
2539.21/2546.24 c #Conflicts: 1404000 | #Constraints: 32814
2539.21/2546.24 c #Conflicts: 1405000 | #Constraints: 33814
2539.21/2546.24 c #Conflicts: 1406000 | #Constraints: 34814
2539.21/2546.24 c #Conflicts: 1407000 | #Constraints: 35814
2539.21/2546.24 c #Conflicts: 1408000 | #Constraints: 36814
2735.14/2742.76 c #Conflicts: 1409000 | #Constraints: 37814
2735.14/2742.76 c #Conflicts: 1410000 | #Constraints: 38814
2735.14/2742.76 c #Conflicts: 1411000 | #Constraints: 39814
2735.14/2742.76 c #Conflicts: 1412000 | #Constraints: 40814
2735.14/2742.76 c #Conflicts: 1413000 | #Constraints: 41814
2735.14/2742.76 c #Conflicts: 1414000 | #Constraints: 42814
2735.14/2742.76 c #Conflicts: 1415000 | #Constraints: 43814
2735.14/2742.76 c #Conflicts: 1416000 | #Constraints: 44814
2735.14/2742.76 c #Conflicts: 1417000 | #Constraints: 45814
2735.14/2742.76 c #Conflicts: 1418000 | #Constraints: 46814
2735.14/2742.76 c #Conflicts: 1419000 | #Constraints: 47814
2735.14/2742.76 c INPROCESSING
2735.14/2742.76 c GARBAGE COLLECT
2735.14/2742.76 c #Conflicts: 1420000 | #Constraints: 25215
2735.14/2742.76 c #Conflicts: 1421000 | #Constraints: 26215
2735.14/2742.76 c #Conflicts: 1422000 | #Constraints: 27215
2735.14/2742.76 c #Conflicts: 1423000 | #Constraints: 28215
2735.14/2742.76 c #Conflicts: 1424000 | #Constraints: 29215
2735.14/2742.76 c #Conflicts: 1425000 | #Constraints: 30215
2735.14/2742.76 c #Conflicts: 1426000 | #Constraints: 31215
2735.14/2742.76 c #Conflicts: 1427000 | #Constraints: 32215
2735.14/2742.76 c #Conflicts: 1428000 | #Constraints: 33215
2735.14/2742.76 c #Conflicts: 1429000 | #Constraints: 34215
2735.14/2742.76 c #Conflicts: 1430000 | #Constraints: 35215
2735.14/2742.76 c #Conflicts: 1431000 | #Constraints: 36215
2735.14/2742.76 c #Conflicts: 1432000 | #Constraints: 37215
2735.14/2742.76 c #Conflicts: 1433000 | #Constraints: 38215
2735.14/2742.76 c #Conflicts: 1434000 | #Constraints: 39215
2735.14/2742.76 c #Conflicts: 1435000 | #Constraints: 40215
2735.14/2742.76 c #Conflicts: 1436000 | #Constraints: 41215
2735.14/2742.76 c #Conflicts: 1437000 | #Constraints: 42215
2735.14/2742.76 c #Conflicts: 1438000 | #Constraints: 43215
2735.14/2742.76 c #Conflicts: 1439000 | #Constraints: 44215
2735.14/2742.76 c #Conflicts: 1440000 | #Constraints: 45215
2735.14/2742.76 c #Conflicts: 1441000 | #Constraints: 46215
2735.14/2742.76 c #Conflicts: 1442000 | #Constraints: 47215
2735.14/2742.76 c #Conflicts: 1443000 | #Constraints: 48215
2735.14/2742.76 c INPROCESSING
2735.14/2742.76 c GARBAGE COLLECT
2735.14/2742.76 c #Conflicts: 1444000 | #Constraints: 25407
2735.14/2742.76 c #Conflicts: 1445000 | #Constraints: 26407
2735.14/2742.76 c #Conflicts: 1446000 | #Constraints: 27407
2735.14/2742.76 c #Conflicts: 1447000 | #Constraints: 28407
2735.14/2742.76 c #Conflicts: 1448000 | #Constraints: 29407
2735.14/2742.76 c #Conflicts: 1449000 | #Constraints: 30407
2735.14/2742.76 c #Conflicts: 1450000 | #Constraints: 31407
2735.14/2742.76 c #Conflicts: 1451000 | #Constraints: 32407
2735.14/2742.76 c #Conflicts: 1452000 | #Constraints: 33407
2735.14/2742.76 c #Conflicts: 1453000 | #Constraints: 34407
2735.14/2742.76 c #Conflicts: 1454000 | #Constraints: 35407
2735.14/2742.76 c #Conflicts: 1455000 | #Constraints: 36407
2735.14/2742.76 c #Conflicts: 1456000 | #Constraints: 37407
2735.14/2742.76 c #Conflicts: 1457000 | #Constraints: 38407
2735.14/2742.76 c #Conflicts: 1458000 | #Constraints: 39407
2735.14/2742.76 c #Conflicts: 1459000 | #Constraints: 40407
2735.14/2742.76 c #Conflicts: 1460000 | #Constraints: 41407
2735.14/2742.76 c #Conflicts: 1461000 | #Constraints: 42407
2735.14/2742.76 c GLOBAL bounds - >= 0 @ 2726.86
2777.71/2785.45 c #Conflicts: 1462000 | #Constraints: 43409
2777.71/2785.45 c #Conflicts: 1463000 | #Constraints: 44409
2777.71/2785.45 c #Conflicts: 1464000 | #Constraints: 45409
2777.71/2785.45 c #Conflicts: 1465000 | #Constraints: 46409
2777.71/2785.45 c #Conflicts: 1466000 | #Constraints: 47409
2777.71/2785.45 c #Conflicts: 1467000 | #Constraints: 48409
2777.71/2785.45 c INPROCESSING
2777.71/2785.45 c GARBAGE COLLECT
2777.71/2785.45 c #Conflicts: 1468000 | #Constraints: 25403
2777.71/2785.45 c #Conflicts: 1469000 | #Constraints: 26403
2777.71/2785.45 c #Conflicts: 1470000 | #Constraints: 27403
2777.71/2785.45 c #Conflicts: 1471000 | #Constraints: 28403
2777.71/2785.45 c GLOBAL bounds - >= 0 @ 2769.34
2807.42/2815.23 c #Conflicts: 1472000 | #Constraints: 29405
2807.42/2815.23 c #Conflicts: 1473000 | #Constraints: 30405
2807.42/2815.23 c #Conflicts: 1474000 | #Constraints: 31405
2807.42/2815.23 c #Conflicts: 1475000 | #Constraints: 32405
2807.42/2815.23 c #Conflicts: 1476000 | #Constraints: 33405
2807.42/2815.23 c #Conflicts: 1477000 | #Constraints: 34405
2807.42/2815.23 c #Conflicts: 1478000 | #Constraints: 35405
2807.42/2815.23 c #Conflicts: 1479000 | #Constraints: 36405
2807.42/2815.23 c #Conflicts: 1480000 | #Constraints: 37405
2807.42/2815.23 c #Conflicts: 1481000 | #Constraints: 38405
2807.42/2815.23 c #Conflicts: 1482000 | #Constraints: 39405
2807.42/2815.23 c GLOBAL bounds - >= 0 @ 2798.95
2962.96/2971.24 c #Conflicts: 1483000 | #Constraints: 40407
2962.96/2971.24 c #Conflicts: 1484000 | #Constraints: 41407
2962.96/2971.24 c #Conflicts: 1485000 | #Constraints: 42407
2962.96/2971.24 c #Conflicts: 1486000 | #Constraints: 43407
2962.96/2971.24 c #Conflicts: 1487000 | #Constraints: 44407
2962.96/2971.24 c #Conflicts: 1488000 | #Constraints: 45407
2962.96/2971.24 c #Conflicts: 1489000 | #Constraints: 46407
2962.96/2971.24 c #Conflicts: 1490000 | #Constraints: 47407
2962.96/2971.24 c #Conflicts: 1491000 | #Constraints: 48407
2962.96/2971.24 c INPROCESSING
2962.96/2971.24 c GARBAGE COLLECT
2962.96/2971.24 c #Conflicts: 1492000 | #Constraints: 25206
2962.96/2971.24 c #Conflicts: 1493000 | #Constraints: 26206
2962.96/2971.24 c #Conflicts: 1494000 | #Constraints: 27206
2962.96/2971.24 c #Conflicts: 1495000 | #Constraints: 28206
2962.96/2971.24 c #Conflicts: 1496000 | #Constraints: 29206
2962.96/2971.24 c #Conflicts: 1497000 | #Constraints: 30206
2962.96/2971.24 c #Conflicts: 1498000 | #Constraints: 31206
2962.96/2971.24 c #Conflicts: 1499000 | #Constraints: 32206
2962.96/2971.24 c #Conflicts: 1500000 | #Constraints: 33206
2962.96/2971.24 c #Conflicts: 1501000 | #Constraints: 34206
2962.96/2971.24 c #Conflicts: 1502000 | #Constraints: 35206
2962.96/2971.24 c #Conflicts: 1503000 | #Constraints: 36206
2962.96/2971.24 c #Conflicts: 1504000 | #Constraints: 37206
2962.96/2971.24 c #Conflicts: 1505000 | #Constraints: 38206
2962.96/2971.24 c #Conflicts: 1506000 | #Constraints: 39206
2962.96/2971.24 c #Conflicts: 1507000 | #Constraints: 40206
2962.96/2971.24 c #Conflicts: 1508000 | #Constraints: 41206
2962.96/2971.24 c #Conflicts: 1509000 | #Constraints: 42206
2962.96/2971.24 c #Conflicts: 1510000 | #Constraints: 43206
2962.96/2971.24 c #Conflicts: 1511000 | #Constraints: 44206
2962.96/2971.24 c #Conflicts: 1512000 | #Constraints: 45206
2962.96/2971.24 c #Conflicts: 1513000 | #Constraints: 46206
2962.96/2971.24 c #Conflicts: 1514000 | #Constraints: 47206
2962.96/2971.24 c #Conflicts: 1515000 | #Constraints: 48206
2962.96/2971.24 c #Conflicts: 1516000 | #Constraints: 49206
2962.96/2971.24 c INPROCESSING
2962.96/2971.24 c GARBAGE COLLECT
2962.96/2971.24 c #Conflicts: 1517000 | #Constraints: 25801
2962.96/2971.24 c #Conflicts: 1518000 | #Constraints: 26801
2962.96/2971.24 c GLOBAL bounds - >= 0 @ 2954.2
3274.55/3283.77 c #Conflicts: 1519000 | #Constraints: 27803
3274.55/3283.77 c #Conflicts: 1520000 | #Constraints: 28803
3274.55/3283.77 c #Conflicts: 1521000 | #Constraints: 29803
3274.55/3283.77 c #Conflicts: 1522000 | #Constraints: 30803
3274.55/3283.77 c #Conflicts: 1523000 | #Constraints: 31803
3274.55/3283.77 c #Conflicts: 1524000 | #Constraints: 32803
3274.55/3283.77 c #Conflicts: 1525000 | #Constraints: 33803
3274.55/3283.77 c #Conflicts: 1526000 | #Constraints: 34803
3274.55/3283.77 c #Conflicts: 1527000 | #Constraints: 35803
3274.55/3283.77 c #Conflicts: 1528000 | #Constraints: 36803
3274.55/3283.77 c #Conflicts: 1529000 | #Constraints: 37803
3274.55/3283.77 c #Conflicts: 1530000 | #Constraints: 38803
3274.55/3283.77 c #Conflicts: 1531000 | #Constraints: 39803
3274.55/3283.77 c #Conflicts: 1532000 | #Constraints: 40803
3274.55/3283.77 c #Conflicts: 1533000 | #Constraints: 41803
3274.55/3283.77 c #Conflicts: 1534000 | #Constraints: 42803
3274.55/3283.77 c #Conflicts: 1535000 | #Constraints: 43803
3274.55/3283.77 c #Conflicts: 1536000 | #Constraints: 44803
3274.55/3283.77 c #Conflicts: 1537000 | #Constraints: 45803
3274.55/3283.77 c #Conflicts: 1538000 | #Constraints: 46803
3274.55/3283.77 c #Conflicts: 1539000 | #Constraints: 47803
3274.55/3283.77 c #Conflicts: 1540000 | #Constraints: 48803
3274.55/3283.77 c #Conflicts: 1541000 | #Constraints: 49803
3274.55/3283.77 c INPROCESSING
3274.55/3283.77 c GARBAGE COLLECT
3274.55/3283.77 c #Conflicts: 1542000 | #Constraints: 26201
3274.55/3283.77 c #Conflicts: 1543000 | #Constraints: 27201
3274.55/3283.77 c #Conflicts: 1544000 | #Constraints: 28201
3274.55/3283.77 c #Conflicts: 1545000 | #Constraints: 29201
3274.55/3283.77 c #Conflicts: 1546000 | #Constraints: 30201
3274.55/3283.77 c #Conflicts: 1547000 | #Constraints: 31201
3274.55/3283.77 c #Conflicts: 1548000 | #Constraints: 32201
3274.55/3283.77 c #Conflicts: 1549000 | #Constraints: 33201
3274.55/3283.77 c #Conflicts: 1550000 | #Constraints: 34201
3274.55/3283.77 c #Conflicts: 1551000 | #Constraints: 35201
3274.55/3283.77 c #Conflicts: 1552000 | #Constraints: 36201
3274.55/3283.77 c #Conflicts: 1553000 | #Constraints: 37201
3274.55/3283.77 c #Conflicts: 1554000 | #Constraints: 38201
3274.55/3283.77 c #Conflicts: 1555000 | #Constraints: 39201
3274.55/3283.77 c #Conflicts: 1556000 | #Constraints: 40201
3274.55/3283.77 c #Conflicts: 1557000 | #Constraints: 41201
3274.55/3283.77 c #Conflicts: 1558000 | #Constraints: 42201
3274.55/3283.77 c #Conflicts: 1559000 | #Constraints: 43201
3274.55/3283.77 c #Conflicts: 1560000 | #Constraints: 44201
3274.55/3283.77 c #Conflicts: 1561000 | #Constraints: 45201
3274.55/3283.77 c #Conflicts: 1562000 | #Constraints: 46201
3274.55/3283.77 c #Conflicts: 1563000 | #Constraints: 47201
3274.55/3283.77 c #Conflicts: 1564000 | #Constraints: 48201
3274.55/3283.77 c #Conflicts: 1565000 | #Constraints: 49201
3274.55/3283.77 c #Conflicts: 1566000 | #Constraints: 50201
3274.55/3283.77 c INPROCESSING
3274.55/3283.77 c GARBAGE COLLECT
3274.55/3283.77 c #Conflicts: 1567000 | #Constraints: 26396
3274.55/3283.77 c #Conflicts: 1568000 | #Constraints: 27396
3274.55/3283.77 c #Conflicts: 1569000 | #Constraints: 28396
3274.55/3283.77 c #Conflicts: 1570000 | #Constraints: 29396
3274.55/3283.77 c #Conflicts: 1571000 | #Constraints: 30396
3274.55/3283.77 c #Conflicts: 1572000 | #Constraints: 31396
3274.55/3283.77 c #Conflicts: 1573000 | #Constraints: 32396
3274.55/3283.77 c #Conflicts: 1574000 | #Constraints: 33396
3274.55/3283.77 c #Conflicts: 1575000 | #Constraints: 34396
3274.55/3283.77 c #Conflicts: 1576000 | #Constraints: 35396
3274.55/3283.77 c #Conflicts: 1577000 | #Constraints: 36396
3274.55/3283.77 c #Conflicts: 1578000 | #Constraints: 37396
3274.55/3283.77 c #Conflicts: 1579000 | #Constraints: 38396
3274.55/3283.77 c #Conflicts: 1580000 | #Constraints: 39396
3274.55/3283.77 c #Conflicts: 1581000 | #Constraints: 40396
3274.55/3283.77 c #Conflicts: 1582000 | #Constraints: 41396
3274.55/3283.77 c #Conflicts: 1583000 | #Constraints: 42396
3274.55/3283.77 c #Conflicts: 1584000 | #Constraints: 43396
3274.55/3283.77 c #Conflicts: 1585000 | #Constraints: 44396
3274.55/3283.77 c #Conflicts: 1586000 | #Constraints: 45396
3274.55/3283.77 c #Conflicts: 1587000 | #Constraints: 46396
3274.55/3283.77 c #Conflicts: 1588000 | #Constraints: 47396
3274.55/3283.77 c #Conflicts: 1589000 | #Constraints: 48396
3274.55/3283.77 c #Conflicts: 1590000 | #Constraints: 49396
3274.55/3283.77 c #Conflicts: 1591000 | #Constraints: 50396
3274.55/3283.77 c INPROCESSING
3274.55/3283.77 c GARBAGE COLLECT
3274.55/3283.77 c #Conflicts: 1592000 | #Constraints: 26398
3274.55/3283.77 c #Conflicts: 1593000 | #Constraints: 27398
3274.55/3283.77 c #Conflicts: 1594000 | #Constraints: 28398
3274.55/3283.77 c #Conflicts: 1595000 | #Constraints: 29398
3579.77/3589.87 c #Conflicts: 1596000 | #Constraints: 30398
3579.77/3589.87 c #Conflicts: 1597000 | #Constraints: 31398
3579.77/3589.87 c #Conflicts: 1598000 | #Constraints: 32398
3579.77/3589.87 c #Conflicts: 1599000 | #Constraints: 33398
3579.77/3589.87 c #Conflicts: 1600000 | #Constraints: 34398
3579.77/3589.87 c #Conflicts: 1601000 | #Constraints: 35398
3579.77/3589.87 c #Conflicts: 1602000 | #Constraints: 36398
3579.77/3589.87 c #Conflicts: 1603000 | #Constraints: 37398
3579.77/3589.87 c #Conflicts: 1604000 | #Constraints: 38398
3579.77/3589.87 c #Conflicts: 1605000 | #Constraints: 39398
3579.77/3589.87 c #Conflicts: 1606000 | #Constraints: 40398
3579.77/3589.87 c #Conflicts: 1607000 | #Constraints: 41398
3579.77/3589.87 c #Conflicts: 1608000 | #Constraints: 42398
3579.77/3589.87 c #Conflicts: 1609000 | #Constraints: 43398
3579.77/3589.87 c #Conflicts: 1610000 | #Constraints: 44398
3579.77/3589.87 c #Conflicts: 1611000 | #Constraints: 45398
3579.77/3589.87 c #Conflicts: 1612000 | #Constraints: 46398
3579.77/3589.87 c #Conflicts: 1613000 | #Constraints: 47398
3579.77/3589.87 c #Conflicts: 1614000 | #Constraints: 48398
3579.77/3589.87 c #Conflicts: 1615000 | #Constraints: 49398
3579.77/3589.87 c #Conflicts: 1616000 | #Constraints: 50398
3579.77/3589.87 c INPROCESSING
3579.77/3589.87 c GARBAGE COLLECT
3579.77/3589.87 c #Conflicts: 1617000 | #Constraints: 26197
3579.77/3589.87 c #Conflicts: 1618000 | #Constraints: 27197
3579.77/3589.87 c #Conflicts: 1619000 | #Constraints: 28197
3579.77/3589.87 c #Conflicts: 1620000 | #Constraints: 29197
3579.77/3589.87 c #Conflicts: 1621000 | #Constraints: 30197
3579.77/3589.87 c #Conflicts: 1622000 | #Constraints: 31197
3579.77/3589.87 c #Conflicts: 1623000 | #Constraints: 32197
3579.77/3589.87 c #Conflicts: 1624000 | #Constraints: 33197
3579.77/3589.87 c #Conflicts: 1625000 | #Constraints: 34197
3579.77/3589.87 c #Conflicts: 1626000 | #Constraints: 35197
3579.77/3589.87 c #Conflicts: 1627000 | #Constraints: 36197
3579.77/3589.87 c #Conflicts: 1628000 | #Constraints: 37197
3579.77/3589.87 c #Conflicts: 1629000 | #Constraints: 38197
3579.77/3589.87 c #Conflicts: 1630000 | #Constraints: 39197
3579.77/3589.87 c #Conflicts: 1631000 | #Constraints: 40197
3579.77/3589.87 c #Conflicts: 1632000 | #Constraints: 41197
3579.77/3589.87 c #Conflicts: 1633000 | #Constraints: 42197
3579.77/3589.87 c #Conflicts: 1634000 | #Constraints: 43197
3579.77/3589.87 c #Conflicts: 1635000 | #Constraints: 44197
3579.77/3589.87 c #Conflicts: 1636000 | #Constraints: 45197
3579.77/3589.87 c #Conflicts: 1637000 | #Constraints: 46197
3579.77/3589.87 c #Conflicts: 1638000 | #Constraints: 47197
3579.77/3589.87 c #Conflicts: 1639000 | #Constraints: 48197
3579.77/3589.87 c #Conflicts: 1640000 | #Constraints: 49197
3579.77/3589.87 c #Conflicts: 1641000 | #Constraints: 50197
3579.77/3589.87 c #Conflicts: 1642000 | #Constraints: 51197
3579.77/3589.87 c INPROCESSING
3579.77/3589.87 c GARBAGE COLLECT
3579.77/3589.87 c #Conflicts: 1643000 | #Constraints: 26799
3579.77/3589.87 c #Conflicts: 1644000 | #Constraints: 27799
3579.77/3589.87 c #Conflicts: 1645000 | #Constraints: 28799
3579.77/3589.87 c #Conflicts: 1646000 | #Constraints: 29799
3579.77/3589.87 c #Conflicts: 1647000 | #Constraints: 30799
3579.77/3589.87 c #Conflicts: 1648000 | #Constraints: 31799
3579.77/3589.87 c #Conflicts: 1649000 | #Constraints: 32799
3579.77/3589.87 c #Conflicts: 1650000 | #Constraints: 33799
3579.77/3589.87 c #Conflicts: 1651000 | #Constraints: 34799
3579.77/3589.87 c #Conflicts: 1652000 | #Constraints: 35799
3579.77/3589.87 c #Conflicts: 1653000 | #Constraints: 36799
3579.77/3589.87 c #Conflicts: 1654000 | #Constraints: 37799
3579.77/3589.87 c #Conflicts: 1655000 | #Constraints: 38799
3579.77/3589.87 c #Conflicts: 1656000 | #Constraints: 39799
3579.77/3589.87 c #Conflicts: 1657000 | #Constraints: 40799
3579.77/3589.87 c #Conflicts: 1658000 | #Constraints: 41799
3579.77/3589.87 c #Conflicts: 1659000 | #Constraints: 42799
3579.77/3589.87 c #Conflicts: 1660000 | #Constraints: 43799
3579.77/3589.87 c #Conflicts: 1661000 | #Constraints: 44799
3579.77/3589.87 c #Conflicts: 1662000 | #Constraints: 45799
3579.77/3589.87 c #Conflicts: 1663000 | #Constraints: 46799
3579.77/3589.87 c #Conflicts: 1664000 | #Constraints: 47799
3579.77/3589.87 c #Conflicts: 1665000 | #Constraints: 48799
3579.77/3589.87 c #Conflicts: 1666000 | #Constraints: 49799
3579.77/3589.87 c #Conflicts: 1667000 | #Constraints: 50799
3579.77/3589.87 c #Conflicts: 1668000 | #Constraints: 51799
3579.77/3589.87 c INPROCESSING
3579.77/3589.87 c GARBAGE COLLECT
3579.77/3589.87 c #Conflicts: 1669000 | #Constraints: 27200
3579.77/3589.87 c #Conflicts: 1670000 | #Constraints: 28200
3579.77/3589.87 c #Conflicts: 1671000 | #Constraints: 29200
3579.77/3589.87 c #Conflicts: 1672000 | #Constraints: 30200
3600.02/3610.11 c #Conflicts: 1673000 | #Constraints: 31200
3600.02/3610.11 c #Conflicts: 1674000 | #Constraints: 32200
3600.02/3610.11 c #Conflicts: 1675000 | #Constraints: 33200
3600.02/3610.11 c #Conflicts: 1676000 | #Constraints: 34200
3600.02/3610.11 c #Conflicts: 1677000 | #Constraints: 35200
3600.02/3610.11 c cpu time 3590.12 s
3600.02/3610.11 c deterministic time 1 1.00e+00
3600.02/3610.11 c optimization time 3590.11 s
3600.02/3610.11 c total solve time 0 s
3600.02/3610.11 c core-guided solve time 0 s
3600.02/3610.11 c propagation time 0.000436 s
3600.02/3610.11 c conflict analysis time 0 s
3600.02/3610.11 c propagations 0
3600.02/3610.11 c resolve steps 0
3600.02/3610.11 c decisions 0
3600.02/3610.11 c conflicts 0
3600.02/3610.11 c restarts 0
3600.02/3610.11 c inprocessing phases 0
3600.02/3610.11 c garbage collections 0 ,( -nan )
3600.02/3610.11 c input clauses 0 ,( 0.00 )
3600.02/3610.11 c input cardinalities 0 ,( 0.00 )
3600.02/3610.11 c input general constraints 476 ,( 100.00 )
3600.02/3610.11 c input average constraint length 8.99
3600.02/3610.11 c input average constraint degree 28.84
3600.02/3610.11 c learned clauses 0 ,( 0.00 )
3600.02/3610.11 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.11 c learned general constraints 0 ,( 0.00 )
3600.02/3610.11 c learned average constraint length 0.00
3600.02/3610.11 c learned average constraint degree 0.00
3600.02/3610.11 c watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
3600.02/3610.11 c counting CF 32, 64, 128, Arb: 473 , 0 , 0 , 0
3600.02/3610.11 c watched constraints 4 ,( 0.84 )
3600.02/3610.11 c counting constraints 472 ,( 99.16 )
3600.02/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.11 c gcd simplifications 0
3600.02/3610.11 c detected cardinalities 0
3600.02/3610.11 c weakened non-implied lits 0
3600.02/3610.11 c weakened non-implying lits 0
3600.02/3610.11 c original variables 476
3600.02/3610.11 c clausal propagations 0
3600.02/3610.11 c cardinality propagations 0
3600.02/3610.11 c watched propagations 0
3600.02/3610.11 c counting propagations 0
3600.02/3610.11 c watch lookups 0
3600.02/3610.11 c watch backjump lookups 0
3600.02/3610.11 c watch checks 0
3600.02/3610.11 c propagation checks 0
3600.02/3610.11 c constraint additions 0
3600.02/3610.11 c trail pops 0
3600.02/3610.11 c formula constraints 476
3600.02/3610.11 c learned constraints 0
3600.02/3610.11 c bound constraints 0
3600.02/3610.11 c core-guided constraints 0
3600.02/3610.11 c encountered formula constraints 0
3600.02/3610.11 c encountered learned constraints 0
3600.02/3610.11 c encountered bound constraints 0
3600.02/3610.11 c encountered core-guided constraints 0
3600.02/3610.11 c LP total time 0 s
3600.02/3610.11 c LP solve time 0 s
3600.02/3610.11 c LP constraints added 0
3600.02/3610.11 c LP constraints removed 0
3600.02/3610.11 c LP pivots internal 0
3600.02/3610.11 c LP pivots root 0
3600.02/3610.11 c LP calls 0
3600.02/3610.11 c LP optimalities 0
3600.02/3610.11 c LP no pivot count 0
3600.02/3610.11 c LP infeasibilities 0
3600.02/3610.11 c LP valid Farkas constraints 0
3600.02/3610.11 c LP learned Farkas constraints 0
3600.02/3610.11 c LP basis resets 0
3600.02/3610.11 c LP cycling count 0
3600.02/3610.11 c LP singular count 0
3600.02/3610.11 c LP no primal count 0
3600.02/3610.11 c LP no farkas count 0
3600.02/3610.11 c LP other issue count 0
3600.02/3610.11 c LP Gomory cuts 0
3600.02/3610.11 c LP learned cuts 0
3600.02/3610.11 c LP deleted cuts 0
3600.02/3610.11 c LP encountered Gomory constraints 0
3600.02/3610.11 c LP encountered Farkas constraints 0
3600.02/3610.11 c LP encountered learned Farkas constraints 0
3600.02/3610.11 c CG auxiliary variables introduced 0
3600.02/3610.11 c CG solutions found 0
3600.02/3610.11 c CG cores constructed 0
3600.02/3610.11 c CG core cardinality constraints returned 0
3600.02/3610.11 c CG unit cores 0
3600.02/3610.11 c CG single cores 0
3600.02/3610.11 c CG blocks removed during cardinality reduction 0
3600.02/3610.11 c CG first core best 0
3600.02/3610.11 c CG decision core best 0
3600.02/3610.11 c CG core reduction tie 0
3600.02/3610.11 c CG core degree average 0.00
3600.02/3610.11 c CG core slack average 0.00
3600.02/3610.11 c CG core upper bound improvements 0
3600.02/3610.11 c STR number of successful calls 0
3600.02/3610.11 c STR number of unsuccessful calls 0
3600.02/3610.11 c STR number of inconclusive calls 0
3600.02/3610.11 c STR number of successful attempts 0
3600.02/3610.11 c STR number of unsuccessful attempts 0
3600.02/3610.11 c STR number of inconclusive attempts 0
3600.02/3610.11 c STR average degree increase per successful call inf
3600.02/3610.11 c STR average degree increase per successful attempt inf
3600.02/3610.11 c STR total number of conflicts for successful attempts 0
3600.02/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.11 c STR average number of conflicts per successful attempt inf
3600.02/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.11 c AVG.sumWPerc 72.31
3600.02/3610.11 c bigint constraints 0
3600.02/3610.11 s UNKNOWN
3600.02/3610.11 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 (63192 MiB free)
memory of node 1: 64465 MiB (63244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489414-1751359802/watcher-4489414-1751359802 -o /tmp/evaluation-result-4489414-1751359802/solver-4489414-1751359802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47567 --watchdog 3760 run-opt.sh HOME/instance-4489414-1751359802.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=47611, runsolver pid=47603
[startup+0.100068 s]*
/proc/loadavg: 2.67 3.75 4.00 6/252 47619
/proc/meminfo: memFree=129467396/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=61684 memory=12288 CPUtime=0.07 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 997 0 0 0 6 1 0 0 20 0 1 0 51659622 63164416 3072 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 15421 3072 2336 1147 0 2848 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65876 KiB
Current children cumulated memory: 14976 KiB
[startup+0.212854 s]*
/proc/loadavg: 2.67 3.75 4.00 6/251 47620
/proc/meminfo: memFree=129461536/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=62608 memory=15316 CPUtime=0.18 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 1246 0 0 0 17 1 0 0 20 0 1 0 51659622 64110592 3829 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 15652 3829 2336 1147 0 3079 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66800 KiB
Current children cumulated memory: 18004 KiB
[startup+0.312952 s]*
/proc/loadavg: 2.67 3.75 4.00 5/253 47623
/proc/meminfo: memFree=129449188/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=64504 memory=17108 CPUtime=0.28 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 1713 0 0 0 26 2 0 0 20 0 1 0 51659622 66052096 4277 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 16126 4277 2336 1147 0 3553 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68696 KiB
Current children cumulated memory: 19796 KiB
[startup+0.700346 s]
/proc/loadavg: 2.67 3.75 4.00 6/256 47630
/proc/meminfo: memFree=129436364/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=68516 memory=22100 CPUtime=0.65 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 2949 0 0 0 62 3 0 0 20 0 1 0 51659622 70160384 5525 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 17129 5525 2336 1147 0 4556 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 72708 KiB
Current children cumulated memory: 24788 KiB
[startup+1.50035 s]
/proc/loadavg: 2.67 3.75 4.00 6/256 47630
/proc/meminfo: memFree=129410228/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=78260 memory=29524 CPUtime=1.45 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 4799 0 0 0 140 5 0 0 20 0 1 0 51659622 80138240 7381 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 19565 7381 2336 1147 0 6992 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82452 KiB
Current children cumulated memory: 32212 KiB
[startup+3.11263 s]
/proc/loadavg: 2.78 3.76 4.00 6/256 47630
/proc/meminfo: memFree=129252976/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=95420 memory=42068 CPUtime=3.06 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 7928 0 0 0 298 8 0 0 20 0 1 0 51659622 97710080 10517 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 23855 10517 2336 1147 0 11282 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 99612 KiB
Current children cumulated memory: 44756 KiB
[startup+6.30033 s]
/proc/loadavg: 2.78 3.76 4.00 6/256 47630
/proc/meminfo: memFree=128432820/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=98684 memory=48992 CPUtime=6.24 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 9178 0 0 0 610 14 0 0 20 0 1 0 51659622 101052416 12248 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 24671 12248 2336 1147 0 12098 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 102876 KiB
Current children cumulated memory: 51680 KiB
[startup+12.7003 s]
/proc/loadavg: 2.87 3.76 4.00 6/256 47630
/proc/meminfo: memFree=128351688/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=121804 memory=66748 CPUtime=12.61 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 12575 0 0 0 1238 23 0 0 20 0 1 0 51659622 124727296 16687 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 30451 16687 2336 1147 0 17878 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 69436 KiB
[startup+25.5004 s]
/proc/loadavg: 3.20 3.79 4.00 6/256 47631
/proc/meminfo: memFree=128158416/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=132556 memory=76860 CPUtime=25.38 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 15115 0 0 0 2501 37 0 0 20 0 1 0 51659622 135737344 19215 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 33139 19215 2336 1147 0 20566 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 136748 KiB
Current children cumulated memory: 79548 KiB
[startup+51.1127 s]
/proc/loadavg: 3.47 3.81 4.00 6/256 47631
/proc/meminfo: memFree=127922392/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=150388 memory=91516 CPUtime=50.94 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 18277 0 0 0 5029 65 0 0 20 0 1 0 51659622 153997312 22879 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 37597 22879 2336 1147 0 25024 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 154580 KiB
Current children cumulated memory: 94204 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.85 4.00 6/256 47639
/proc/meminfo: memFree=127659512/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=190428 memory=124172 CPUtime=101.99 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 24913 0 0 0 10098 101 0 0 20 0 1 0 51659622 194998272 31043 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 47607 31043 2336 1147 0 35034 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 194620 KiB
Current children cumulated memory: 126860 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.90 4.00 6/255 47641
/proc/meminfo: memFree=127461664/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=214336 memory=139868 CPUtime=161.82 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 27790 0 0 0 16043 139 0 0 20 0 1 0 51659622 219480064 34967 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 53584 34967 2336 1147 0 41011 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 218528 KiB
Current children cumulated memory: 142556 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.94 4.00 6/255 47643
/proc/meminfo: memFree=127441856/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=217456 memory=146704 CPUtime=221.64 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 28594 0 0 0 21991 173 0 0 20 0 1 0 51659622 222674944 36676 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 54364 36676 2336 1147 0 41791 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/47618/statm: 139568 102362 2336 1147 0 126995 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 562464 KiB
Current children cumulated memory: 412136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/256 47811
/proc/meminfo: memFree=125416208/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=560532 memory=411624 CPUtime=3153.5 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 105953 0 0 0 314437 913 0 0 20 0 1 0 51659622 573984768 102906 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 140133 102906 2336 1147 0 127560 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 564724 KiB
Current children cumulated memory: 414312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/256 47813
/proc/meminfo: memFree=125414996/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=561508 memory=412520 CPUtime=3213.33 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 106194 0 0 0 320410 923 0 0 20 0 1 0 51659622 574984192 103130 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 140377 103130 2336 1147 0 127804 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 565700 KiB
Current children cumulated memory: 415208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/256 47815
/proc/meminfo: memFree=125403420/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=564356 memory=414760 CPUtime=3273.16 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 106828 0 0 0 326385 931 0 0 20 0 1 0 51659622 577900544 103690 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 141089 103690 2336 1147 0 128516 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 568548 KiB
Current children cumulated memory: 417448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/254 47817
/proc/meminfo: memFree=125401524/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=564356 memory=414760 CPUtime=3332.99 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 106828 0 0 0 332359 940 0 0 20 0 1 0 51659622 577900544 103690 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 141089 103690 2336 1147 0 128516 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 568548 KiB
Current children cumulated memory: 417448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/253 47819
/proc/meminfo: memFree=125391384/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=564356 memory=414760 CPUtime=3392.81 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 106829 0 0 0 338333 948 0 0 20 0 1 0 51659622 577900544 103690 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 141089 103690 2336 1147 0 128516 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 568548 KiB
Current children cumulated memory: 417448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/253 47821
/proc/meminfo: memFree=125397960/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=564356 memory=414760 CPUtime=3452.64 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 106835 0 0 0 344304 960 0 0 20 0 1 0 51659622 577900544 103690 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 141089 103690 2336 1147 0 128516 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 568548 KiB
Current children cumulated memory: 417448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/253 47823
/proc/meminfo: memFree=125407976/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=566632 memory=416552 CPUtime=3512.47 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 107304 0 0 0 350274 973 0 0 20 0 1 0 51659622 580231168 104138 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 141658 104138 2336 1147 0 129085 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 570824 KiB
Current children cumulated memory: 419240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/253 47825
/proc/meminfo: memFree=125403260/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=570728 memory=422684 CPUtime=3572.29 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 108396 0 0 0 356246 983 0 0 20 0 1 0 51659622 584425472 105671 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 142682 105671 2336 1147 0 130109 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 574920 KiB
Current children cumulated memory: 425372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.05 4.08 4.09 6/253 47826
/proc/meminfo: memFree=125358428/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=570728 memory=422684 CPUtime=3600.02 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 108396 0 0 0 359012 990 0 0 20 0 1 0 51659622 584425472 105671 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 142682 105671 2336 1147 0 130109 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 574920 KiB
Current children cumulated memory: 425372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 47611 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005658 s
[startup+3610.13 s]
# the end of solver process 47618 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.13 s, system=9.92719 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.11 s]
/proc/loadavg: 4.05 4.08 4.09 6/253 47826
/proc/meminfo: memFree=125358428/131382116 swapFree=33010684/33010684
[pid=47611] ppid=47603 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/47611/stat : 47611 (run-opt.sh) S 47603 47611 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 672 18446744073709551615 94336412266496 94336413161029 140729618710224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94336413400080 94336413447824 94336427462656 140729618712941 140729618713064 140729618713064 140729618718666 0
/proc/47611/statm: 1048 672 640 219 0 110 0
[pid=47618] ppid=47611 vsize=570728 memory=422684 CPUtime=3600.02 cores=4,6
/proc/47618/stat : 47618 (roundingsat) R 47611 47611 47556 0 -1 4194304 108396 0 0 0 359012 990 0 0 20 0 1 0 51659622 584425472 105671 18446744073709551615 4227072 8923433 140723769579520 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20660224 140723769588130 140723769588264 140723769588264 140723769593834 0
/proc/47618/statm: 142682 105671 2336 1147 0 130109 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 574920 KiB
Current children cumulated memory: 425372 KiB
Child status: 2
Real time (s): 3610.13
CPU time (s): 3600.05
CPU user time (s): 3590.13
CPU system time (s): 9.92719
CPU usage (%): 99.7209
Max. virtual memory (cumulated for all children) (KiB): 574920
Max. memory (cumulated for all children) (KiB): 425372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.13
system time used= 9.92719
maximum resident set size= 422940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108641
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= 270
involuntary context switches= 3856
# summary of solver processes directly reported to runsolver:
# pid: 47611,47618
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.13
# total CPU system time (s): 9.92719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8294 second user time and 34.7012 second system time
The end
Begin job on nodeC010 at 2025-07-01 10:50:02
IDJOB=4489414
IDBENCH=147547
IDSOLVER=3350
FILE ID=nodeC010/4489414-1751359802
RUNJOBID= nodeC010-1751359802-47567
SLURM_JOB_ID= 9598157
Free space on /tmp= 432692 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489414-1751359802/watcher-4489414-1751359802 -o /tmp/evaluation-result-4489414-1751359802/solver-4489414-1751359802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47567 --watchdog 3760 run-opt.sh HOME/instance-4489414-1751359802.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1421369085
nodeC010 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.151
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.36
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.443
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.36
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.790
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.36
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.181
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.36
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.366
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.36
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.157
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.36
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.145
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.36
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.326
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129470732 kB
MemAvailable: 129928908 kB
Buffers: 3280 kB
Cached: 1265388 kB
SwapCached: 0 kB
Active: 378480 kB
Inactive: 959760 kB
Active(anon): 87532 kB
Inactive(anon): 0 kB
Active(file): 290948 kB
Inactive(file): 959760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26900 kB
Writeback: 0 kB
AnonPages: 72696 kB
Mapped: 103180 kB
Shmem: 17960 kB
KReclaimable: 94192 kB
Slab: 177588 kB
SReclaimable: 94192 kB
SUnreclaim: 83396 kB
KernelStack: 3816 kB
PageTables: 2364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432648 MiB
End job on nodeC010 at 2025-07-01 11:50:13