0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 476 #constraints 476
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 473 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003387
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003461
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.00438
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.006879
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.009954
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.058621
0.06/0.12 c GLOBAL bounds - >= 0 @ 0.081684
0.06/0.12 c GLOBAL bounds - >= 0 @ 0.085414
0.06/0.16 c GLOBAL bounds - >= 0 @ 0.121041
0.06/0.17 c GLOBAL bounds - >= 0 @ 0.137062
0.17/0.21 c GLOBAL bounds - >= 0 @ 0.17068
0.17/0.22 c GLOBAL bounds - >= 0 @ 0.180294
0.66/0.79 c #Conflicts: 1000 | #Constraints: 1496
0.66/0.79 c #Conflicts: 2000 | #Constraints: 2496
0.66/0.79 c INPROCESSING
0.66/0.79 c GARBAGE COLLECT
0.66/0.79 c #Conflicts: 3000 | #Constraints: 2515
0.66/0.79 c GLOBAL bounds - >= 0 @ 0.732569
0.76/0.86 c GLOBAL bounds - >= 0 @ 0.796669
1.26/1.33 c #Conflicts: 4000 | #Constraints: 3519
1.26/1.33 c INPROCESSING
1.26/1.33 c GARBAGE COLLECT
1.26/1.33 c GLOBAL bounds - >= 0 @ 1.25323
1.66/1.70 c #Conflicts: 5000 | #Constraints: 2932
1.66/1.70 c #Conflicts: 6000 | #Constraints: 3932
1.66/1.70 c GLOBAL bounds - >= 0 @ 1.60952
2.16/2.29 c INPROCESSING
2.16/2.29 c GARBAGE COLLECT
2.16/2.29 c #Conflicts: 7000 | #Constraints: 2937
2.16/2.29 c #Conflicts: 8000 | #Constraints: 3937
2.16/2.29 c GLOBAL bounds - >= 0 @ 2.17952
2.46/2.52 c GLOBAL bounds - >= 0 @ 2.39749
3.06/3.10 c #Conflicts: 9000 | #Constraints: 4941
3.06/3.10 c INPROCESSING
3.06/3.10 c GARBAGE COLLECT
3.06/3.10 c #Conflicts: 10000 | #Constraints: 3641
3.06/3.10 c GLOBAL bounds - >= 0 @ 2.97607
3.06/3.15 c GLOBAL bounds - >= 0 @ 3.0248
3.45/3.59 c #Conflicts: 11000 | #Constraints: 4645
3.45/3.59 c GLOBAL bounds - >= 0 @ 3.44956
3.66/3.73 c #Conflicts: 12000 | #Constraints: 5647
3.66/3.73 c INPROCESSING
3.66/3.73 c GARBAGE COLLECT
3.66/3.73 c GLOBAL bounds - >= 0 @ 3.58954
4.85/4.99 c #Conflicts: 13000 | #Constraints: 4096
4.85/4.99 c #Conflicts: 14000 | #Constraints: 5096
4.85/4.99 c #Conflicts: 15000 | #Constraints: 6096
4.85/4.99 c INPROCESSING
4.85/4.99 c GARBAGE COLLECT
4.85/4.99 c GLOBAL bounds - >= 0 @ 4.82022
5.64/5.77 c #Conflicts: 16000 | #Constraints: 4328
5.64/5.77 c #Conflicts: 17000 | #Constraints: 5328
5.64/5.77 c GLOBAL bounds - >= 0 @ 5.5822
6.05/6.11 c #Conflicts: 18000 | #Constraints: 6330
6.05/6.11 c INPROCESSING
6.05/6.11 c GARBAGE COLLECT
6.05/6.11 c GLOBAL bounds - >= 0 @ 5.91414
7.94/8.03 c #Conflicts: 19000 | #Constraints: 4345
7.94/8.03 c #Conflicts: 20000 | #Constraints: 5345
7.94/8.03 c #Conflicts: 21000 | #Constraints: 6345
7.94/8.03 c INPROCESSING
7.94/8.03 c GARBAGE COLLECT
7.94/8.03 c #Conflicts: 22000 | #Constraints: 4157
7.94/8.03 c #Conflicts: 23000 | #Constraints: 5157
7.94/8.03 c GLOBAL bounds - >= 0 @ 7.8031
8.04/8.15 c GLOBAL bounds - >= 0 @ 7.92593
8.54/8.63 c #Conflicts: 24000 | #Constraints: 6161
8.54/8.63 c GLOBAL bounds - >= 0 @ 8.39559
10.13/10.23 c #Conflicts: 25000 | #Constraints: 7163
10.13/10.23 c INPROCESSING
10.13/10.23 c GARBAGE COLLECT
10.13/10.23 c #Conflicts: 26000 | #Constraints: 4755
10.13/10.23 c #Conflicts: 27000 | #Constraints: 5755
10.13/10.23 c #Conflicts: 28000 | #Constraints: 6755
10.13/10.23 c GLOBAL bounds - >= 0 @ 9.96691
10.54/10.69 c #Conflicts: 29000 | #Constraints: 7757
10.54/10.69 c INPROCESSING
10.54/10.69 c GARBAGE COLLECT
10.54/10.69 c GLOBAL bounds - >= 0 @ 10.4288
17.31/17.46 c #Conflicts: 30000 | #Constraints: 5162
17.31/17.46 c #Conflicts: 31000 | #Constraints: 6162
17.31/17.46 c #Conflicts: 32000 | #Constraints: 7162
17.31/17.46 c #Conflicts: 33000 | #Constraints: 8162
17.31/17.46 c INPROCESSING
17.31/17.46 c GARBAGE COLLECT
17.31/17.46 c #Conflicts: 34000 | #Constraints: 5370
17.31/17.46 c #Conflicts: 35000 | #Constraints: 6370
17.31/17.46 c #Conflicts: 36000 | #Constraints: 7370
17.31/17.46 c #Conflicts: 37000 | #Constraints: 8370
17.31/17.46 c INPROCESSING
17.31/17.46 c GARBAGE COLLECT
17.31/17.46 c #Conflicts: 38000 | #Constraints: 5370
17.31/17.46 c #Conflicts: 39000 | #Constraints: 6370
17.31/17.46 c #Conflicts: 40000 | #Constraints: 7370
17.31/17.46 c #Conflicts: 41000 | #Constraints: 8370
17.31/17.46 c INPROCESSING
17.31/17.46 c GARBAGE COLLECT
17.31/17.46 c #Conflicts: 42000 | #Constraints: 5174
17.31/17.46 c #Conflicts: 43000 | #Constraints: 6174
17.31/17.46 c GLOBAL bounds - >= 0 @ 17.0906
19.51/19.60 c #Conflicts: 44000 | #Constraints: 7176
19.51/19.60 c #Conflicts: 45000 | #Constraints: 8176
19.51/19.60 c #Conflicts: 46000 | #Constraints: 9176
19.51/19.60 c INPROCESSING
19.51/19.60 c GARBAGE COLLECT
19.51/19.60 c GLOBAL bounds - >= 0 @ 19.2098
21.60/21.72 c #Conflicts: 47000 | #Constraints: 5777
21.60/21.72 c #Conflicts: 48000 | #Constraints: 6777
21.60/21.72 c #Conflicts: 49000 | #Constraints: 7777
21.60/21.72 c GLOBAL bounds - >= 0 @ 21.2995
70.38/70.68 c #Conflicts: 50000 | #Constraints: 8779
70.38/70.68 c #Conflicts: 51000 | #Constraints: 9779
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 52000 | #Constraints: 6179
70.38/70.68 c #Conflicts: 53000 | #Constraints: 7179
70.38/70.68 c #Conflicts: 54000 | #Constraints: 8179
70.38/70.68 c #Conflicts: 55000 | #Constraints: 9179
70.38/70.68 c #Conflicts: 56000 | #Constraints: 10179
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 57000 | #Constraints: 6378
70.38/70.68 c #Conflicts: 58000 | #Constraints: 7378
70.38/70.68 c #Conflicts: 59000 | #Constraints: 8378
70.38/70.68 c #Conflicts: 60000 | #Constraints: 9378
70.38/70.68 c #Conflicts: 61000 | #Constraints: 10378
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 62000 | #Constraints: 6376
70.38/70.68 c #Conflicts: 63000 | #Constraints: 7376
70.38/70.68 c #Conflicts: 64000 | #Constraints: 8376
70.38/70.68 c #Conflicts: 65000 | #Constraints: 9376
70.38/70.68 c #Conflicts: 66000 | #Constraints: 10376
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 67000 | #Constraints: 6174
70.38/70.68 c #Conflicts: 68000 | #Constraints: 7174
70.38/70.68 c #Conflicts: 69000 | #Constraints: 8174
70.38/70.68 c #Conflicts: 70000 | #Constraints: 9174
70.38/70.68 c #Conflicts: 71000 | #Constraints: 10174
70.38/70.68 c #Conflicts: 72000 | #Constraints: 11174
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 73000 | #Constraints: 6780
70.38/70.68 c #Conflicts: 74000 | #Constraints: 7780
70.38/70.68 c #Conflicts: 75000 | #Constraints: 8780
70.38/70.68 c #Conflicts: 76000 | #Constraints: 9780
70.38/70.68 c #Conflicts: 77000 | #Constraints: 10780
70.38/70.68 c #Conflicts: 78000 | #Constraints: 11780
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 79000 | #Constraints: 7177
70.38/70.68 c #Conflicts: 80000 | #Constraints: 8177
70.38/70.68 c #Conflicts: 81000 | #Constraints: 9177
70.38/70.68 c #Conflicts: 82000 | #Constraints: 10177
70.38/70.68 c #Conflicts: 83000 | #Constraints: 11177
70.38/70.68 c #Conflicts: 84000 | #Constraints: 12177
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 85000 | #Constraints: 7381
70.38/70.68 c #Conflicts: 86000 | #Constraints: 8381
70.38/70.68 c #Conflicts: 87000 | #Constraints: 9381
70.38/70.68 c #Conflicts: 88000 | #Constraints: 10381
70.38/70.68 c #Conflicts: 89000 | #Constraints: 11381
70.38/70.68 c #Conflicts: 90000 | #Constraints: 12381
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 91000 | #Constraints: 7384
70.38/70.68 c #Conflicts: 92000 | #Constraints: 8384
70.38/70.68 c #Conflicts: 93000 | #Constraints: 9384
70.38/70.68 c #Conflicts: 94000 | #Constraints: 10384
70.38/70.68 c #Conflicts: 95000 | #Constraints: 11384
70.38/70.68 c #Conflicts: 96000 | #Constraints: 12384
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 97000 | #Constraints: 7187
70.38/70.68 c #Conflicts: 98000 | #Constraints: 8187
70.38/70.68 c #Conflicts: 99000 | #Constraints: 9187
70.38/70.68 c #Conflicts: 100000 | #Constraints: 10187
70.38/70.68 c #Conflicts: 101000 | #Constraints: 11187
70.38/70.68 c #Conflicts: 102000 | #Constraints: 12187
70.38/70.68 c #Conflicts: 103000 | #Constraints: 13187
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 104000 | #Constraints: 7782
70.38/70.68 c #Conflicts: 105000 | #Constraints: 8782
70.38/70.68 c #Conflicts: 106000 | #Constraints: 9782
70.38/70.68 c #Conflicts: 107000 | #Constraints: 10782
70.38/70.68 c #Conflicts: 108000 | #Constraints: 11782
70.38/70.68 c #Conflicts: 109000 | #Constraints: 12782
70.38/70.68 c #Conflicts: 110000 | #Constraints: 13782
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 111000 | #Constraints: 8187
70.38/70.68 c #Conflicts: 112000 | #Constraints: 9187
70.38/70.68 c #Conflicts: 113000 | #Constraints: 10187
70.38/70.68 c #Conflicts: 114000 | #Constraints: 11187
70.38/70.68 c #Conflicts: 115000 | #Constraints: 12187
70.38/70.68 c #Conflicts: 116000 | #Constraints: 13187
70.38/70.68 c #Conflicts: 117000 | #Constraints: 14187
70.38/70.68 c INPROCESSING
70.38/70.68 c GARBAGE COLLECT
70.38/70.68 c #Conflicts: 118000 | #Constraints: 8389
70.38/70.68 c #Conflicts: 119000 | #Constraints: 9389
70.38/70.68 c #Conflicts: 120000 | #Constraints: 10389
70.38/70.68 c #Conflicts: 121000 | #Constraints: 11389
142.45/142.95 c #Conflicts: 122000 | #Constraints: 12389
142.45/142.95 c #Conflicts: 123000 | #Constraints: 13389
142.45/142.95 c #Conflicts: 124000 | #Constraints: 14389
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 125000 | #Constraints: 8381
142.45/142.95 c #Conflicts: 126000 | #Constraints: 9381
142.45/142.95 c #Conflicts: 127000 | #Constraints: 10381
142.45/142.95 c #Conflicts: 128000 | #Constraints: 11381
142.45/142.95 c #Conflicts: 129000 | #Constraints: 12381
142.45/142.95 c #Conflicts: 130000 | #Constraints: 13381
142.45/142.95 c #Conflicts: 131000 | #Constraints: 14381
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 132000 | #Constraints: 8182
142.45/142.95 c #Conflicts: 133000 | #Constraints: 9182
142.45/142.95 c #Conflicts: 134000 | #Constraints: 10182
142.45/142.95 c #Conflicts: 135000 | #Constraints: 11182
142.45/142.95 c #Conflicts: 136000 | #Constraints: 12182
142.45/142.95 c #Conflicts: 137000 | #Constraints: 13182
142.45/142.95 c #Conflicts: 138000 | #Constraints: 14182
142.45/142.95 c #Conflicts: 139000 | #Constraints: 15182
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 140000 | #Constraints: 8784
142.45/142.95 c #Conflicts: 141000 | #Constraints: 9784
142.45/142.95 c #Conflicts: 142000 | #Constraints: 10784
142.45/142.95 c #Conflicts: 143000 | #Constraints: 11784
142.45/142.95 c #Conflicts: 144000 | #Constraints: 12784
142.45/142.95 c #Conflicts: 145000 | #Constraints: 13784
142.45/142.95 c #Conflicts: 146000 | #Constraints: 14784
142.45/142.95 c #Conflicts: 147000 | #Constraints: 15784
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 148000 | #Constraints: 9185
142.45/142.95 c #Conflicts: 149000 | #Constraints: 10185
142.45/142.95 c #Conflicts: 150000 | #Constraints: 11185
142.45/142.95 c #Conflicts: 151000 | #Constraints: 12185
142.45/142.95 c #Conflicts: 152000 | #Constraints: 13185
142.45/142.95 c #Conflicts: 153000 | #Constraints: 14185
142.45/142.95 c #Conflicts: 154000 | #Constraints: 15185
142.45/142.95 c #Conflicts: 155000 | #Constraints: 16185
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 156000 | #Constraints: 9394
142.45/142.95 c #Conflicts: 157000 | #Constraints: 10394
142.45/142.95 c #Conflicts: 158000 | #Constraints: 11394
142.45/142.95 c #Conflicts: 159000 | #Constraints: 12394
142.45/142.95 c #Conflicts: 160000 | #Constraints: 13394
142.45/142.95 c #Conflicts: 161000 | #Constraints: 14394
142.45/142.95 c #Conflicts: 162000 | #Constraints: 15394
142.45/142.95 c #Conflicts: 163000 | #Constraints: 16394
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 164000 | #Constraints: 9395
142.45/142.95 c #Conflicts: 165000 | #Constraints: 10395
142.45/142.95 c #Conflicts: 166000 | #Constraints: 11395
142.45/142.95 c #Conflicts: 167000 | #Constraints: 12395
142.45/142.95 c #Conflicts: 168000 | #Constraints: 13395
142.45/142.95 c #Conflicts: 169000 | #Constraints: 14395
142.45/142.95 c #Conflicts: 170000 | #Constraints: 15395
142.45/142.95 c #Conflicts: 171000 | #Constraints: 16395
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 172000 | #Constraints: 9189
142.45/142.95 c #Conflicts: 173000 | #Constraints: 10189
142.45/142.95 c #Conflicts: 174000 | #Constraints: 11189
142.45/142.95 c #Conflicts: 175000 | #Constraints: 12189
142.45/142.95 c #Conflicts: 176000 | #Constraints: 13189
142.45/142.95 c #Conflicts: 177000 | #Constraints: 14189
142.45/142.95 c #Conflicts: 178000 | #Constraints: 15189
142.45/142.95 c #Conflicts: 179000 | #Constraints: 16189
142.45/142.95 c #Conflicts: 180000 | #Constraints: 17189
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 181000 | #Constraints: 9794
142.45/142.95 c #Conflicts: 182000 | #Constraints: 10794
142.45/142.95 c #Conflicts: 183000 | #Constraints: 11794
142.45/142.95 c #Conflicts: 184000 | #Constraints: 12794
142.45/142.95 c #Conflicts: 185000 | #Constraints: 13794
142.45/142.95 c #Conflicts: 186000 | #Constraints: 14794
142.45/142.95 c #Conflicts: 187000 | #Constraints: 15794
142.45/142.95 c #Conflicts: 188000 | #Constraints: 16794
142.45/142.95 c #Conflicts: 189000 | #Constraints: 17794
142.45/142.95 c INPROCESSING
142.45/142.95 c GARBAGE COLLECT
142.45/142.95 c #Conflicts: 190000 | #Constraints: 10194
142.45/142.95 c #Conflicts: 191000 | #Constraints: 11194
142.45/142.95 c #Conflicts: 192000 | #Constraints: 12194
142.45/142.95 c #Conflicts: 193000 | #Constraints: 13194
142.45/142.95 c #Conflicts: 194000 | #Constraints: 14194
153.42/153.90 c #Conflicts: 195000 | #Constraints: 15194
153.42/153.90 c #Conflicts: 196000 | #Constraints: 16194
153.42/153.90 c #Conflicts: 197000 | #Constraints: 17194
153.42/153.90 c #Conflicts: 198000 | #Constraints: 18194
153.42/153.90 c INPROCESSING
153.42/153.90 c GARBAGE COLLECT
153.42/153.90 c #Conflicts: 199000 | #Constraints: 10394
153.42/153.90 c #Conflicts: 200000 | #Constraints: 11394
153.42/153.90 c #Conflicts: 201000 | #Constraints: 12394
153.42/153.90 c #Conflicts: 202000 | #Constraints: 13394
153.42/153.90 c #Conflicts: 203000 | #Constraints: 14394
153.42/153.90 c #Conflicts: 204000 | #Constraints: 15394
153.42/153.90 c #Conflicts: 205000 | #Constraints: 16394
153.42/153.90 c GLOBAL bounds - >= 0 @ 151.874
188.21/188.87 c #Conflicts: 206000 | #Constraints: 17396
188.21/188.87 c #Conflicts: 207000 | #Constraints: 18396
188.21/188.87 c INPROCESSING
188.21/188.87 c GARBAGE COLLECT
188.21/188.87 c #Conflicts: 208000 | #Constraints: 10397
188.21/188.87 c #Conflicts: 209000 | #Constraints: 11397
188.21/188.87 c #Conflicts: 210000 | #Constraints: 12397
188.21/188.87 c #Conflicts: 211000 | #Constraints: 13397
188.21/188.87 c #Conflicts: 212000 | #Constraints: 14397
188.21/188.87 c #Conflicts: 213000 | #Constraints: 15397
188.21/188.87 c #Conflicts: 214000 | #Constraints: 16397
188.21/188.87 c #Conflicts: 215000 | #Constraints: 17397
188.21/188.87 c #Conflicts: 216000 | #Constraints: 18397
188.21/188.87 c INPROCESSING
188.21/188.87 c GARBAGE COLLECT
188.21/188.87 c #Conflicts: 217000 | #Constraints: 10197
188.21/188.87 c #Conflicts: 218000 | #Constraints: 11197
188.21/188.87 c #Conflicts: 219000 | #Constraints: 12197
188.21/188.87 c #Conflicts: 220000 | #Constraints: 13197
188.21/188.87 c #Conflicts: 221000 | #Constraints: 14197
188.21/188.87 c #Conflicts: 222000 | #Constraints: 15197
188.21/188.87 c #Conflicts: 223000 | #Constraints: 16197
188.21/188.87 c #Conflicts: 224000 | #Constraints: 17197
188.21/188.87 c #Conflicts: 225000 | #Constraints: 18197
188.21/188.87 c #Conflicts: 226000 | #Constraints: 19197
188.21/188.87 c INPROCESSING
188.21/188.87 c GARBAGE COLLECT
188.21/188.87 c #Conflicts: 227000 | #Constraints: 10801
188.21/188.87 c #Conflicts: 228000 | #Constraints: 11801
188.21/188.87 c #Conflicts: 229000 | #Constraints: 12801
188.21/188.87 c #Conflicts: 230000 | #Constraints: 13801
188.21/188.87 c #Conflicts: 231000 | #Constraints: 14801
188.21/188.87 c #Conflicts: 232000 | #Constraints: 15801
188.21/188.87 c #Conflicts: 233000 | #Constraints: 16801
188.21/188.87 c #Conflicts: 234000 | #Constraints: 17801
188.21/188.87 c #Conflicts: 235000 | #Constraints: 18801
188.21/188.87 c #Conflicts: 236000 | #Constraints: 19801
188.21/188.87 c INPROCESSING
188.21/188.87 c GARBAGE COLLECT
188.21/188.87 c #Conflicts: 237000 | #Constraints: 11206
188.21/188.87 c #Conflicts: 238000 | #Constraints: 12206
188.21/188.87 c #Conflicts: 239000 | #Constraints: 13206
188.21/188.87 c GLOBAL bounds - >= 0 @ 186.506
203.47/204.15 c #Conflicts: 240000 | #Constraints: 14208
203.47/204.15 c #Conflicts: 241000 | #Constraints: 15208
203.47/204.15 c #Conflicts: 242000 | #Constraints: 16208
203.47/204.15 c #Conflicts: 243000 | #Constraints: 17208
203.47/204.15 c #Conflicts: 244000 | #Constraints: 18208
203.47/204.15 c #Conflicts: 245000 | #Constraints: 19208
203.47/204.15 c #Conflicts: 246000 | #Constraints: 20208
203.47/204.15 c INPROCESSING
203.47/204.15 c GARBAGE COLLECT
203.47/204.15 c #Conflicts: 247000 | #Constraints: 11402
203.47/204.15 c #Conflicts: 248000 | #Constraints: 12402
203.47/204.15 c #Conflicts: 249000 | #Constraints: 13402
203.47/204.15 c #Conflicts: 250000 | #Constraints: 14402
203.47/204.15 c #Conflicts: 251000 | #Constraints: 15402
203.47/204.15 c #Conflicts: 252000 | #Constraints: 16402
203.47/204.15 c #Conflicts: 253000 | #Constraints: 17402
203.47/204.15 c GLOBAL bounds - >= 0 @ 201.624
294.28/295.22 c #Conflicts: 254000 | #Constraints: 18404
294.28/295.22 c #Conflicts: 255000 | #Constraints: 19404
294.28/295.22 c #Conflicts: 256000 | #Constraints: 20404
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 257000 | #Constraints: 11408
294.28/295.22 c #Conflicts: 258000 | #Constraints: 12408
294.28/295.22 c #Conflicts: 259000 | #Constraints: 13408
294.28/295.22 c #Conflicts: 260000 | #Constraints: 14408
294.28/295.22 c #Conflicts: 261000 | #Constraints: 15408
294.28/295.22 c #Conflicts: 262000 | #Constraints: 16408
294.28/295.22 c #Conflicts: 263000 | #Constraints: 17408
294.28/295.22 c #Conflicts: 264000 | #Constraints: 18408
294.28/295.22 c #Conflicts: 265000 | #Constraints: 19408
294.28/295.22 c #Conflicts: 266000 | #Constraints: 20408
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 267000 | #Constraints: 11204
294.28/295.22 c #Conflicts: 268000 | #Constraints: 12204
294.28/295.22 c #Conflicts: 269000 | #Constraints: 13204
294.28/295.22 c #Conflicts: 270000 | #Constraints: 14204
294.28/295.22 c #Conflicts: 271000 | #Constraints: 15204
294.28/295.22 c #Conflicts: 272000 | #Constraints: 16204
294.28/295.22 c #Conflicts: 273000 | #Constraints: 17204
294.28/295.22 c #Conflicts: 274000 | #Constraints: 18204
294.28/295.22 c #Conflicts: 275000 | #Constraints: 19204
294.28/295.22 c #Conflicts: 276000 | #Constraints: 20204
294.28/295.22 c #Conflicts: 277000 | #Constraints: 21204
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 278000 | #Constraints: 11801
294.28/295.22 c #Conflicts: 279000 | #Constraints: 12801
294.28/295.22 c #Conflicts: 280000 | #Constraints: 13801
294.28/295.22 c #Conflicts: 281000 | #Constraints: 14801
294.28/295.22 c #Conflicts: 282000 | #Constraints: 15801
294.28/295.22 c #Conflicts: 283000 | #Constraints: 16801
294.28/295.22 c #Conflicts: 284000 | #Constraints: 17801
294.28/295.22 c #Conflicts: 285000 | #Constraints: 18801
294.28/295.22 c #Conflicts: 286000 | #Constraints: 19801
294.28/295.22 c #Conflicts: 287000 | #Constraints: 20801
294.28/295.22 c #Conflicts: 288000 | #Constraints: 21801
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 289000 | #Constraints: 12197
294.28/295.22 c #Conflicts: 290000 | #Constraints: 13197
294.28/295.22 c #Conflicts: 291000 | #Constraints: 14197
294.28/295.22 c #Conflicts: 292000 | #Constraints: 15197
294.28/295.22 c #Conflicts: 293000 | #Constraints: 16197
294.28/295.22 c #Conflicts: 294000 | #Constraints: 17197
294.28/295.22 c #Conflicts: 295000 | #Constraints: 18197
294.28/295.22 c #Conflicts: 296000 | #Constraints: 19197
294.28/295.22 c #Conflicts: 297000 | #Constraints: 20197
294.28/295.22 c #Conflicts: 298000 | #Constraints: 21197
294.28/295.22 c #Conflicts: 299000 | #Constraints: 22197
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 300000 | #Constraints: 12401
294.28/295.22 c #Conflicts: 301000 | #Constraints: 13401
294.28/295.22 c #Conflicts: 302000 | #Constraints: 14401
294.28/295.22 c #Conflicts: 303000 | #Constraints: 15401
294.28/295.22 c #Conflicts: 304000 | #Constraints: 16401
294.28/295.22 c #Conflicts: 305000 | #Constraints: 17401
294.28/295.22 c #Conflicts: 306000 | #Constraints: 18401
294.28/295.22 c #Conflicts: 307000 | #Constraints: 19401
294.28/295.22 c #Conflicts: 308000 | #Constraints: 20401
294.28/295.22 c #Conflicts: 309000 | #Constraints: 21401
294.28/295.22 c #Conflicts: 310000 | #Constraints: 22401
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 311000 | #Constraints: 12397
294.28/295.22 c #Conflicts: 312000 | #Constraints: 13397
294.28/295.22 c #Conflicts: 313000 | #Constraints: 14397
294.28/295.22 c #Conflicts: 314000 | #Constraints: 15397
294.28/295.22 c #Conflicts: 315000 | #Constraints: 16397
294.28/295.22 c #Conflicts: 316000 | #Constraints: 17397
294.28/295.22 c #Conflicts: 317000 | #Constraints: 18397
294.28/295.22 c #Conflicts: 318000 | #Constraints: 19397
294.28/295.22 c #Conflicts: 319000 | #Constraints: 20397
294.28/295.22 c #Conflicts: 320000 | #Constraints: 21397
294.28/295.22 c #Conflicts: 321000 | #Constraints: 22397
294.28/295.22 c INPROCESSING
294.28/295.22 c GARBAGE COLLECT
294.28/295.22 c #Conflicts: 322000 | #Constraints: 12197
294.28/295.22 c #Conflicts: 323000 | #Constraints: 13197
294.28/295.22 c #Conflicts: 324000 | #Constraints: 14197
294.28/295.22 c #Conflicts: 325000 | #Constraints: 15197
294.28/295.22 c #Conflicts: 326000 | #Constraints: 16197
294.28/295.22 c #Conflicts: 327000 | #Constraints: 17197
294.28/295.22 c #Conflicts: 328000 | #Constraints: 18197
316.22/317.24 c #Conflicts: 329000 | #Constraints: 19197
316.22/317.24 c #Conflicts: 330000 | #Constraints: 20197
316.22/317.24 c #Conflicts: 331000 | #Constraints: 21197
316.22/317.24 c #Conflicts: 332000 | #Constraints: 22197
316.22/317.24 c #Conflicts: 333000 | #Constraints: 23197
316.22/317.24 c INPROCESSING
316.22/317.24 c GARBAGE COLLECT
316.22/317.24 c #Conflicts: 334000 | #Constraints: 12803
316.22/317.24 c #Conflicts: 335000 | #Constraints: 13803
316.22/317.24 c #Conflicts: 336000 | #Constraints: 14803
316.22/317.24 c #Conflicts: 337000 | #Constraints: 15803
316.22/317.24 c #Conflicts: 338000 | #Constraints: 16803
316.22/317.24 c #Conflicts: 339000 | #Constraints: 17803
316.22/317.24 c #Conflicts: 340000 | #Constraints: 18803
316.22/317.24 c #Conflicts: 341000 | #Constraints: 19803
316.22/317.24 c #Conflicts: 342000 | #Constraints: 20803
316.22/317.24 c #Conflicts: 343000 | #Constraints: 21803
316.22/317.24 c GLOBAL bounds - >= 0 @ 313.628
406.68/407.95 c #Conflicts: 344000 | #Constraints: 22805
406.68/407.95 c #Conflicts: 345000 | #Constraints: 23805
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 346000 | #Constraints: 13193
406.68/407.95 c #Conflicts: 347000 | #Constraints: 14193
406.68/407.95 c #Conflicts: 348000 | #Constraints: 15193
406.68/407.95 c #Conflicts: 349000 | #Constraints: 16193
406.68/407.95 c #Conflicts: 350000 | #Constraints: 17193
406.68/407.95 c #Conflicts: 351000 | #Constraints: 18193
406.68/407.95 c #Conflicts: 352000 | #Constraints: 19193
406.68/407.95 c #Conflicts: 353000 | #Constraints: 20193
406.68/407.95 c #Conflicts: 354000 | #Constraints: 21193
406.68/407.95 c #Conflicts: 355000 | #Constraints: 22193
406.68/407.95 c #Conflicts: 356000 | #Constraints: 23193
406.68/407.95 c #Conflicts: 357000 | #Constraints: 24193
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 358000 | #Constraints: 13400
406.68/407.95 c #Conflicts: 359000 | #Constraints: 14400
406.68/407.95 c #Conflicts: 360000 | #Constraints: 15400
406.68/407.95 c #Conflicts: 361000 | #Constraints: 16400
406.68/407.95 c #Conflicts: 362000 | #Constraints: 17400
406.68/407.95 c #Conflicts: 363000 | #Constraints: 18400
406.68/407.95 c #Conflicts: 364000 | #Constraints: 19400
406.68/407.95 c #Conflicts: 365000 | #Constraints: 20400
406.68/407.95 c #Conflicts: 366000 | #Constraints: 21400
406.68/407.95 c #Conflicts: 367000 | #Constraints: 22400
406.68/407.95 c #Conflicts: 368000 | #Constraints: 23400
406.68/407.95 c #Conflicts: 369000 | #Constraints: 24400
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 370000 | #Constraints: 13398
406.68/407.95 c #Conflicts: 371000 | #Constraints: 14398
406.68/407.95 c #Conflicts: 372000 | #Constraints: 15398
406.68/407.95 c #Conflicts: 373000 | #Constraints: 16398
406.68/407.95 c #Conflicts: 374000 | #Constraints: 17398
406.68/407.95 c #Conflicts: 375000 | #Constraints: 18398
406.68/407.95 c #Conflicts: 376000 | #Constraints: 19398
406.68/407.95 c #Conflicts: 377000 | #Constraints: 20398
406.68/407.95 c #Conflicts: 378000 | #Constraints: 21398
406.68/407.95 c #Conflicts: 379000 | #Constraints: 22398
406.68/407.95 c #Conflicts: 380000 | #Constraints: 23398
406.68/407.95 c #Conflicts: 381000 | #Constraints: 24398
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 382000 | #Constraints: 13197
406.68/407.95 c #Conflicts: 383000 | #Constraints: 14197
406.68/407.95 c #Conflicts: 384000 | #Constraints: 15197
406.68/407.95 c #Conflicts: 385000 | #Constraints: 16197
406.68/407.95 c #Conflicts: 386000 | #Constraints: 17197
406.68/407.95 c #Conflicts: 387000 | #Constraints: 18197
406.68/407.95 c #Conflicts: 388000 | #Constraints: 19197
406.68/407.95 c #Conflicts: 389000 | #Constraints: 20197
406.68/407.95 c #Conflicts: 390000 | #Constraints: 21197
406.68/407.95 c #Conflicts: 391000 | #Constraints: 22197
406.68/407.95 c #Conflicts: 392000 | #Constraints: 23197
406.68/407.95 c #Conflicts: 393000 | #Constraints: 24197
406.68/407.95 c #Conflicts: 394000 | #Constraints: 25197
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 395000 | #Constraints: 13795
406.68/407.95 c #Conflicts: 396000 | #Constraints: 14795
406.68/407.95 c #Conflicts: 397000 | #Constraints: 15795
406.68/407.95 c #Conflicts: 398000 | #Constraints: 16795
406.68/407.95 c #Conflicts: 399000 | #Constraints: 17795
406.68/407.95 c #Conflicts: 400000 | #Constraints: 18795
406.68/407.95 c #Conflicts: 401000 | #Constraints: 19795
406.68/407.95 c #Conflicts: 402000 | #Constraints: 20795
406.68/407.95 c #Conflicts: 403000 | #Constraints: 21795
406.68/407.95 c #Conflicts: 404000 | #Constraints: 22795
406.68/407.95 c #Conflicts: 405000 | #Constraints: 23795
406.68/407.95 c #Conflicts: 406000 | #Constraints: 24795
406.68/407.95 c #Conflicts: 407000 | #Constraints: 25795
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 408000 | #Constraints: 14198
406.68/407.95 c #Conflicts: 409000 | #Constraints: 15198
406.68/407.95 c #Conflicts: 410000 | #Constraints: 16198
406.68/407.95 c #Conflicts: 411000 | #Constraints: 17198
406.68/407.95 c #Conflicts: 412000 | #Constraints: 18198
406.68/407.95 c #Conflicts: 413000 | #Constraints: 19198
406.68/407.95 c #Conflicts: 414000 | #Constraints: 20198
406.68/407.95 c #Conflicts: 415000 | #Constraints: 21198
406.68/407.95 c #Conflicts: 416000 | #Constraints: 22198
406.68/407.95 c #Conflicts: 417000 | #Constraints: 23198
406.68/407.95 c #Conflicts: 418000 | #Constraints: 24198
500.94/502.41 c #Conflicts: 419000 | #Constraints: 25198
500.94/502.41 c #Conflicts: 420000 | #Constraints: 26198
500.94/502.41 c INPROCESSING
500.94/502.41 c GARBAGE COLLECT
500.94/502.41 c #Conflicts: 421000 | #Constraints: 14392
500.94/502.41 c #Conflicts: 422000 | #Constraints: 15392
500.94/502.41 c #Conflicts: 423000 | #Constraints: 16392
500.94/502.41 c #Conflicts: 424000 | #Constraints: 17392
500.94/502.41 c #Conflicts: 425000 | #Constraints: 18392
500.94/502.41 c #Conflicts: 426000 | #Constraints: 19392
500.94/502.41 c #Conflicts: 427000 | #Constraints: 20392
500.94/502.41 c #Conflicts: 428000 | #Constraints: 21392
500.94/502.41 c #Conflicts: 429000 | #Constraints: 22392
500.94/502.41 c #Conflicts: 430000 | #Constraints: 23392
500.94/502.41 c #Conflicts: 431000 | #Constraints: 24392
500.94/502.41 c #Conflicts: 432000 | #Constraints: 25392
500.94/502.41 c #Conflicts: 433000 | #Constraints: 26392
500.94/502.41 c INPROCESSING
500.94/502.41 c GARBAGE COLLECT
500.94/502.41 c #Conflicts: 434000 | #Constraints: 14398
500.94/502.41 c #Conflicts: 435000 | #Constraints: 15398
500.94/502.41 c #Conflicts: 436000 | #Constraints: 16398
500.94/502.41 c #Conflicts: 437000 | #Constraints: 17398
500.94/502.41 c #Conflicts: 438000 | #Constraints: 18398
500.94/502.41 c #Conflicts: 439000 | #Constraints: 19398
500.94/502.41 c #Conflicts: 440000 | #Constraints: 20398
500.94/502.41 c #Conflicts: 441000 | #Constraints: 21398
500.94/502.41 c #Conflicts: 442000 | #Constraints: 22398
500.94/502.41 c #Conflicts: 443000 | #Constraints: 23398
500.94/502.41 c #Conflicts: 444000 | #Constraints: 24398
500.94/502.41 c #Conflicts: 445000 | #Constraints: 25398
500.94/502.41 c #Conflicts: 446000 | #Constraints: 26398
500.94/502.41 c INPROCESSING
500.94/502.41 c GARBAGE COLLECT
500.94/502.41 c #Conflicts: 447000 | #Constraints: 14199
500.94/502.41 c #Conflicts: 448000 | #Constraints: 15199
500.94/502.41 c #Conflicts: 449000 | #Constraints: 16199
500.94/502.41 c #Conflicts: 450000 | #Constraints: 17199
500.94/502.41 c #Conflicts: 451000 | #Constraints: 18199
500.94/502.41 c #Conflicts: 452000 | #Constraints: 19199
500.94/502.41 c #Conflicts: 453000 | #Constraints: 20199
500.94/502.41 c #Conflicts: 454000 | #Constraints: 21199
500.94/502.41 c #Conflicts: 455000 | #Constraints: 22199
500.94/502.41 c #Conflicts: 456000 | #Constraints: 23199
500.94/502.41 c #Conflicts: 457000 | #Constraints: 24199
500.94/502.41 c #Conflicts: 458000 | #Constraints: 25199
500.94/502.41 c #Conflicts: 459000 | #Constraints: 26199
500.94/502.41 c #Conflicts: 460000 | #Constraints: 27199
500.94/502.41 c INPROCESSING
500.94/502.41 c GARBAGE COLLECT
500.94/502.41 c #Conflicts: 461000 | #Constraints: 14793
500.94/502.41 c #Conflicts: 462000 | #Constraints: 15793
500.94/502.41 c #Conflicts: 463000 | #Constraints: 16793
500.94/502.41 c #Conflicts: 464000 | #Constraints: 17793
500.94/502.41 c #Conflicts: 465000 | #Constraints: 18793
500.94/502.41 c #Conflicts: 466000 | #Constraints: 19793
500.94/502.41 c #Conflicts: 467000 | #Constraints: 20793
500.94/502.41 c #Conflicts: 468000 | #Constraints: 21793
500.94/502.41 c #Conflicts: 469000 | #Constraints: 22793
500.94/502.41 c #Conflicts: 470000 | #Constraints: 23793
500.94/502.41 c #Conflicts: 471000 | #Constraints: 24793
500.94/502.41 c #Conflicts: 472000 | #Constraints: 25793
500.94/502.41 c #Conflicts: 473000 | #Constraints: 26793
500.94/502.41 c #Conflicts: 474000 | #Constraints: 27793
500.94/502.41 c INPROCESSING
500.94/502.41 c GARBAGE COLLECT
500.94/502.41 c #Conflicts: 475000 | #Constraints: 15188
500.94/502.41 c #Conflicts: 476000 | #Constraints: 16188
500.94/502.41 c #Conflicts: 477000 | #Constraints: 17188
500.94/502.41 c #Conflicts: 478000 | #Constraints: 18188
500.94/502.41 c #Conflicts: 479000 | #Constraints: 19188
500.94/502.41 c #Conflicts: 480000 | #Constraints: 20188
500.94/502.41 c #Conflicts: 481000 | #Constraints: 21188
500.94/502.41 c #Conflicts: 482000 | #Constraints: 22188
500.94/502.41 c #Conflicts: 483000 | #Constraints: 23188
500.94/502.41 c #Conflicts: 484000 | #Constraints: 24188
500.94/502.41 c #Conflicts: 485000 | #Constraints: 25188
500.94/502.41 c #Conflicts: 486000 | #Constraints: 26188
500.94/502.41 c #Conflicts: 487000 | #Constraints: 27188
500.94/502.41 c #Conflicts: 488000 | #Constraints: 28188
500.94/502.41 c INPROCESSING
500.94/502.41 c GARBAGE COLLECT
500.94/502.41 c #Conflicts: 489000 | #Constraints: 15399
500.94/502.41 c #Conflicts: 490000 | #Constraints: 16399
500.94/502.41 c #Conflicts: 491000 | #Constraints: 17399
500.94/502.41 c #Conflicts: 492000 | #Constraints: 18399
500.94/502.41 c #Conflicts: 493000 | #Constraints: 19399
600.28/602.02 c #Conflicts: 494000 | #Constraints: 20399
600.28/602.02 c #Conflicts: 495000 | #Constraints: 21399
600.28/602.02 c #Conflicts: 496000 | #Constraints: 22399
600.28/602.02 c #Conflicts: 497000 | #Constraints: 23399
600.28/602.02 c #Conflicts: 498000 | #Constraints: 24399
600.28/602.02 c #Conflicts: 499000 | #Constraints: 25399
600.28/602.02 c #Conflicts: 500000 | #Constraints: 26399
600.28/602.02 c #Conflicts: 501000 | #Constraints: 27399
600.28/602.02 c #Conflicts: 502000 | #Constraints: 28399
600.28/602.02 c INPROCESSING
600.28/602.02 c GARBAGE COLLECT
600.28/602.02 c #Conflicts: 503000 | #Constraints: 15396
600.28/602.02 c #Conflicts: 504000 | #Constraints: 16396
600.28/602.02 c #Conflicts: 505000 | #Constraints: 17396
600.28/602.02 c #Conflicts: 506000 | #Constraints: 18396
600.28/602.02 c #Conflicts: 507000 | #Constraints: 19396
600.28/602.02 c #Conflicts: 508000 | #Constraints: 20396
600.28/602.02 c #Conflicts: 509000 | #Constraints: 21396
600.28/602.02 c #Conflicts: 510000 | #Constraints: 22396
600.28/602.02 c #Conflicts: 511000 | #Constraints: 23396
600.28/602.02 c #Conflicts: 512000 | #Constraints: 24396
600.28/602.02 c #Conflicts: 513000 | #Constraints: 25396
600.28/602.02 c #Conflicts: 514000 | #Constraints: 26396
600.28/602.02 c #Conflicts: 515000 | #Constraints: 27396
600.28/602.02 c #Conflicts: 516000 | #Constraints: 28396
600.28/602.02 c INPROCESSING
600.28/602.02 c GARBAGE COLLECT
600.28/602.02 c #Conflicts: 517000 | #Constraints: 15202
600.28/602.02 c #Conflicts: 518000 | #Constraints: 16202
600.28/602.02 c #Conflicts: 519000 | #Constraints: 17202
600.28/602.02 c #Conflicts: 520000 | #Constraints: 18202
600.28/602.02 c #Conflicts: 521000 | #Constraints: 19202
600.28/602.02 c #Conflicts: 522000 | #Constraints: 20202
600.28/602.02 c #Conflicts: 523000 | #Constraints: 21202
600.28/602.02 c #Conflicts: 524000 | #Constraints: 22202
600.28/602.02 c #Conflicts: 525000 | #Constraints: 23202
600.28/602.02 c #Conflicts: 526000 | #Constraints: 24202
600.28/602.02 c #Conflicts: 527000 | #Constraints: 25202
600.28/602.02 c #Conflicts: 528000 | #Constraints: 26202
600.28/602.02 c #Conflicts: 529000 | #Constraints: 27202
600.28/602.02 c #Conflicts: 530000 | #Constraints: 28202
600.28/602.02 c #Conflicts: 531000 | #Constraints: 29202
600.28/602.02 c INPROCESSING
600.28/602.02 c GARBAGE COLLECT
600.28/602.02 c #Conflicts: 532000 | #Constraints: 15800
600.28/602.02 c #Conflicts: 533000 | #Constraints: 16800
600.28/602.02 c #Conflicts: 534000 | #Constraints: 17800
600.28/602.02 c #Conflicts: 535000 | #Constraints: 18800
600.28/602.02 c #Conflicts: 536000 | #Constraints: 19800
600.28/602.02 c #Conflicts: 537000 | #Constraints: 20800
600.28/602.02 c #Conflicts: 538000 | #Constraints: 21800
600.28/602.02 c #Conflicts: 539000 | #Constraints: 22800
600.28/602.02 c #Conflicts: 540000 | #Constraints: 23800
600.28/602.02 c #Conflicts: 541000 | #Constraints: 24800
600.28/602.02 c #Conflicts: 542000 | #Constraints: 25800
600.28/602.02 c #Conflicts: 543000 | #Constraints: 26800
600.28/602.02 c #Conflicts: 544000 | #Constraints: 27800
600.28/602.02 c #Conflicts: 545000 | #Constraints: 28800
600.28/602.02 c #Conflicts: 546000 | #Constraints: 29800
600.28/602.02 c INPROCESSING
600.28/602.02 c GARBAGE COLLECT
600.28/602.02 c #Conflicts: 547000 | #Constraints: 16206
600.28/602.02 c #Conflicts: 548000 | #Constraints: 17206
600.28/602.02 c #Conflicts: 549000 | #Constraints: 18206
600.28/602.02 c #Conflicts: 550000 | #Constraints: 19206
600.28/602.02 c #Conflicts: 551000 | #Constraints: 20206
600.28/602.02 c #Conflicts: 552000 | #Constraints: 21206
600.28/602.02 c #Conflicts: 553000 | #Constraints: 22206
600.28/602.02 c #Conflicts: 554000 | #Constraints: 23206
600.28/602.02 c #Conflicts: 555000 | #Constraints: 24206
600.28/602.02 c #Conflicts: 556000 | #Constraints: 25206
600.28/602.02 c #Conflicts: 557000 | #Constraints: 26206
600.28/602.02 c #Conflicts: 558000 | #Constraints: 27206
600.28/602.02 c #Conflicts: 559000 | #Constraints: 28206
600.28/602.02 c #Conflicts: 560000 | #Constraints: 29206
600.28/602.02 c #Conflicts: 561000 | #Constraints: 30206
600.28/602.02 c INPROCESSING
600.28/602.02 c GARBAGE COLLECT
600.28/602.02 c #Conflicts: 562000 | #Constraints: 16407
600.28/602.02 c #Conflicts: 563000 | #Constraints: 17407
600.28/602.02 c #Conflicts: 564000 | #Constraints: 18407
600.28/602.02 c #Conflicts: 565000 | #Constraints: 19407
600.28/602.02 c #Conflicts: 566000 | #Constraints: 20407
600.28/602.02 c #Conflicts: 567000 | #Constraints: 21407
600.28/602.02 c #Conflicts: 568000 | #Constraints: 22407
600.28/602.02 c #Conflicts: 569000 | #Constraints: 23407
712.08/714.15 c #Conflicts: 570000 | #Constraints: 24407
712.08/714.15 c #Conflicts: 571000 | #Constraints: 25407
712.08/714.15 c #Conflicts: 572000 | #Constraints: 26407
712.08/714.15 c #Conflicts: 573000 | #Constraints: 27407
712.08/714.15 c #Conflicts: 574000 | #Constraints: 28407
712.08/714.15 c #Conflicts: 575000 | #Constraints: 29407
712.08/714.15 c #Conflicts: 576000 | #Constraints: 30407
712.08/714.15 c INPROCESSING
712.08/714.15 c GARBAGE COLLECT
712.08/714.15 c #Conflicts: 577000 | #Constraints: 16402
712.08/714.15 c #Conflicts: 578000 | #Constraints: 17402
712.08/714.15 c #Conflicts: 579000 | #Constraints: 18402
712.08/714.15 c #Conflicts: 580000 | #Constraints: 19402
712.08/714.15 c #Conflicts: 581000 | #Constraints: 20402
712.08/714.15 c #Conflicts: 582000 | #Constraints: 21402
712.08/714.15 c #Conflicts: 583000 | #Constraints: 22402
712.08/714.15 c #Conflicts: 584000 | #Constraints: 23402
712.08/714.15 c #Conflicts: 585000 | #Constraints: 24402
712.08/714.15 c #Conflicts: 586000 | #Constraints: 25402
712.08/714.15 c #Conflicts: 587000 | #Constraints: 26402
712.08/714.15 c #Conflicts: 588000 | #Constraints: 27402
712.08/714.15 c #Conflicts: 589000 | #Constraints: 28402
712.08/714.15 c #Conflicts: 590000 | #Constraints: 29402
712.08/714.15 c #Conflicts: 591000 | #Constraints: 30402
712.08/714.15 c INPROCESSING
712.08/714.15 c GARBAGE COLLECT
712.08/714.15 c #Conflicts: 592000 | #Constraints: 16201
712.08/714.15 c #Conflicts: 593000 | #Constraints: 17201
712.08/714.15 c #Conflicts: 594000 | #Constraints: 18201
712.08/714.15 c #Conflicts: 595000 | #Constraints: 19201
712.08/714.15 c #Conflicts: 596000 | #Constraints: 20201
712.08/714.15 c #Conflicts: 597000 | #Constraints: 21201
712.08/714.15 c #Conflicts: 598000 | #Constraints: 22201
712.08/714.15 c #Conflicts: 599000 | #Constraints: 23201
712.08/714.15 c #Conflicts: 600000 | #Constraints: 24201
712.08/714.15 c #Conflicts: 601000 | #Constraints: 25201
712.08/714.15 c #Conflicts: 602000 | #Constraints: 26201
712.08/714.15 c #Conflicts: 603000 | #Constraints: 27201
712.08/714.15 c #Conflicts: 604000 | #Constraints: 28201
712.08/714.15 c #Conflicts: 605000 | #Constraints: 29201
712.08/714.15 c #Conflicts: 606000 | #Constraints: 30201
712.08/714.15 c #Conflicts: 607000 | #Constraints: 31201
712.08/714.15 c INPROCESSING
712.08/714.15 c GARBAGE COLLECT
712.08/714.15 c #Conflicts: 608000 | #Constraints: 16799
712.08/714.15 c #Conflicts: 609000 | #Constraints: 17799
712.08/714.15 c #Conflicts: 610000 | #Constraints: 18799
712.08/714.15 c #Conflicts: 611000 | #Constraints: 19799
712.08/714.15 c #Conflicts: 612000 | #Constraints: 20799
712.08/714.15 c #Conflicts: 613000 | #Constraints: 21799
712.08/714.15 c #Conflicts: 614000 | #Constraints: 22799
712.08/714.15 c #Conflicts: 615000 | #Constraints: 23799
712.08/714.15 c #Conflicts: 616000 | #Constraints: 24799
712.08/714.15 c #Conflicts: 617000 | #Constraints: 25799
712.08/714.15 c #Conflicts: 618000 | #Constraints: 26799
712.08/714.15 c #Conflicts: 619000 | #Constraints: 27799
712.08/714.15 c #Conflicts: 620000 | #Constraints: 28799
712.08/714.15 c #Conflicts: 621000 | #Constraints: 29799
712.08/714.15 c #Conflicts: 622000 | #Constraints: 30799
712.08/714.15 c #Conflicts: 623000 | #Constraints: 31799
712.08/714.15 c INPROCESSING
712.08/714.15 c GARBAGE COLLECT
712.08/714.15 c #Conflicts: 624000 | #Constraints: 17204
712.08/714.15 c #Conflicts: 625000 | #Constraints: 18204
712.08/714.15 c #Conflicts: 626000 | #Constraints: 19204
712.08/714.15 c #Conflicts: 627000 | #Constraints: 20204
712.08/714.15 c #Conflicts: 628000 | #Constraints: 21204
712.08/714.15 c #Conflicts: 629000 | #Constraints: 22204
712.08/714.15 c #Conflicts: 630000 | #Constraints: 23204
712.08/714.15 c #Conflicts: 631000 | #Constraints: 24204
712.08/714.15 c #Conflicts: 632000 | #Constraints: 25204
712.08/714.15 c #Conflicts: 633000 | #Constraints: 26204
712.08/714.15 c #Conflicts: 634000 | #Constraints: 27204
712.08/714.15 c #Conflicts: 635000 | #Constraints: 28204
712.08/714.15 c #Conflicts: 636000 | #Constraints: 29204
712.08/714.15 c #Conflicts: 637000 | #Constraints: 30204
712.08/714.15 c #Conflicts: 638000 | #Constraints: 31204
712.08/714.15 c #Conflicts: 639000 | #Constraints: 32204
712.08/714.15 c INPROCESSING
712.08/714.15 c GARBAGE COLLECT
712.08/714.15 c #Conflicts: 640000 | #Constraints: 17396
712.08/714.15 c #Conflicts: 641000 | #Constraints: 18396
712.08/714.15 c #Conflicts: 642000 | #Constraints: 19396
712.08/714.15 c #Conflicts: 643000 | #Constraints: 20396
712.08/714.15 c #Conflicts: 644000 | #Constraints: 21396
712.08/714.15 c #Conflicts: 645000 | #Constraints: 22396
841.52/843.95 c #Conflicts: 646000 | #Constraints: 23396
841.52/843.95 c #Conflicts: 647000 | #Constraints: 24396
841.52/843.95 c #Conflicts: 648000 | #Constraints: 25396
841.52/843.95 c #Conflicts: 649000 | #Constraints: 26396
841.52/843.95 c #Conflicts: 650000 | #Constraints: 27396
841.52/843.95 c #Conflicts: 651000 | #Constraints: 28396
841.52/843.95 c #Conflicts: 652000 | #Constraints: 29396
841.52/843.95 c #Conflicts: 653000 | #Constraints: 30396
841.52/843.95 c #Conflicts: 654000 | #Constraints: 31396
841.52/843.95 c #Conflicts: 655000 | #Constraints: 32396
841.52/843.95 c INPROCESSING
841.52/843.95 c GARBAGE COLLECT
841.52/843.95 c #Conflicts: 656000 | #Constraints: 17394
841.52/843.95 c #Conflicts: 657000 | #Constraints: 18394
841.52/843.95 c #Conflicts: 658000 | #Constraints: 19394
841.52/843.95 c #Conflicts: 659000 | #Constraints: 20394
841.52/843.95 c #Conflicts: 660000 | #Constraints: 21394
841.52/843.95 c #Conflicts: 661000 | #Constraints: 22394
841.52/843.95 c #Conflicts: 662000 | #Constraints: 23394
841.52/843.95 c #Conflicts: 663000 | #Constraints: 24394
841.52/843.95 c #Conflicts: 664000 | #Constraints: 25394
841.52/843.95 c #Conflicts: 665000 | #Constraints: 26394
841.52/843.95 c #Conflicts: 666000 | #Constraints: 27394
841.52/843.95 c #Conflicts: 667000 | #Constraints: 28394
841.52/843.95 c #Conflicts: 668000 | #Constraints: 29394
841.52/843.95 c #Conflicts: 669000 | #Constraints: 30394
841.52/843.95 c #Conflicts: 670000 | #Constraints: 31394
841.52/843.95 c #Conflicts: 671000 | #Constraints: 32394
841.52/843.95 c INPROCESSING
841.52/843.95 c GARBAGE COLLECT
841.52/843.95 c #Conflicts: 672000 | #Constraints: 17202
841.52/843.95 c #Conflicts: 673000 | #Constraints: 18202
841.52/843.95 c #Conflicts: 674000 | #Constraints: 19202
841.52/843.95 c #Conflicts: 675000 | #Constraints: 20202
841.52/843.95 c #Conflicts: 676000 | #Constraints: 21202
841.52/843.95 c #Conflicts: 677000 | #Constraints: 22202
841.52/843.95 c #Conflicts: 678000 | #Constraints: 23202
841.52/843.95 c #Conflicts: 679000 | #Constraints: 24202
841.52/843.95 c #Conflicts: 680000 | #Constraints: 25202
841.52/843.95 c #Conflicts: 681000 | #Constraints: 26202
841.52/843.95 c #Conflicts: 682000 | #Constraints: 27202
841.52/843.95 c #Conflicts: 683000 | #Constraints: 28202
841.52/843.95 c #Conflicts: 684000 | #Constraints: 29202
841.52/843.95 c #Conflicts: 685000 | #Constraints: 30202
841.52/843.95 c #Conflicts: 686000 | #Constraints: 31202
841.52/843.95 c #Conflicts: 687000 | #Constraints: 32202
841.52/843.95 c #Conflicts: 688000 | #Constraints: 33202
841.52/843.95 c INPROCESSING
841.52/843.95 c GARBAGE COLLECT
841.52/843.95 c #Conflicts: 689000 | #Constraints: 17798
841.52/843.95 c #Conflicts: 690000 | #Constraints: 18798
841.52/843.95 c #Conflicts: 691000 | #Constraints: 19798
841.52/843.95 c #Conflicts: 692000 | #Constraints: 20798
841.52/843.95 c #Conflicts: 693000 | #Constraints: 21798
841.52/843.95 c #Conflicts: 694000 | #Constraints: 22798
841.52/843.95 c #Conflicts: 695000 | #Constraints: 23798
841.52/843.95 c #Conflicts: 696000 | #Constraints: 24798
841.52/843.95 c #Conflicts: 697000 | #Constraints: 25798
841.52/843.95 c #Conflicts: 698000 | #Constraints: 26798
841.52/843.95 c #Conflicts: 699000 | #Constraints: 27798
841.52/843.95 c #Conflicts: 700000 | #Constraints: 28798
841.52/843.95 c #Conflicts: 701000 | #Constraints: 29798
841.52/843.95 c #Conflicts: 702000 | #Constraints: 30798
841.52/843.95 c #Conflicts: 703000 | #Constraints: 31798
841.52/843.95 c #Conflicts: 704000 | #Constraints: 32798
841.52/843.95 c #Conflicts: 705000 | #Constraints: 33798
841.52/843.95 c INPROCESSING
841.52/843.95 c GARBAGE COLLECT
841.52/843.95 c #Conflicts: 706000 | #Constraints: 18201
841.52/843.95 c #Conflicts: 707000 | #Constraints: 19201
841.52/843.95 c #Conflicts: 708000 | #Constraints: 20201
841.52/843.95 c #Conflicts: 709000 | #Constraints: 21201
841.52/843.95 c #Conflicts: 710000 | #Constraints: 22201
841.52/843.95 c #Conflicts: 711000 | #Constraints: 23201
841.52/843.95 c #Conflicts: 712000 | #Constraints: 24201
841.52/843.95 c #Conflicts: 713000 | #Constraints: 25201
841.52/843.95 c #Conflicts: 714000 | #Constraints: 26201
841.52/843.95 c #Conflicts: 715000 | #Constraints: 27201
841.52/843.95 c #Conflicts: 716000 | #Constraints: 28201
841.52/843.95 c #Conflicts: 717000 | #Constraints: 29201
841.52/843.95 c #Conflicts: 718000 | #Constraints: 30201
841.52/843.95 c #Conflicts: 719000 | #Constraints: 31201
841.52/843.95 c #Conflicts: 720000 | #Constraints: 32201
841.52/843.95 c #Conflicts: 721000 | #Constraints: 33201
975.74/978.55 c #Conflicts: 722000 | #Constraints: 34201
975.74/978.55 c INPROCESSING
975.74/978.55 c GARBAGE COLLECT
975.74/978.55 c #Conflicts: 723000 | #Constraints: 18408
975.74/978.55 c #Conflicts: 724000 | #Constraints: 19408
975.74/978.55 c #Conflicts: 725000 | #Constraints: 20408
975.74/978.55 c #Conflicts: 726000 | #Constraints: 21408
975.74/978.55 c #Conflicts: 727000 | #Constraints: 22408
975.74/978.55 c #Conflicts: 728000 | #Constraints: 23408
975.74/978.55 c #Conflicts: 729000 | #Constraints: 24408
975.74/978.55 c #Conflicts: 730000 | #Constraints: 25408
975.74/978.55 c #Conflicts: 731000 | #Constraints: 26408
975.74/978.55 c #Conflicts: 732000 | #Constraints: 27408
975.74/978.55 c #Conflicts: 733000 | #Constraints: 28408
975.74/978.55 c #Conflicts: 734000 | #Constraints: 29408
975.74/978.55 c #Conflicts: 735000 | #Constraints: 30408
975.74/978.55 c #Conflicts: 736000 | #Constraints: 31408
975.74/978.55 c #Conflicts: 737000 | #Constraints: 32408
975.74/978.55 c #Conflicts: 738000 | #Constraints: 33408
975.74/978.55 c #Conflicts: 739000 | #Constraints: 34408
975.74/978.55 c INPROCESSING
975.74/978.55 c GARBAGE COLLECT
975.74/978.55 c #Conflicts: 740000 | #Constraints: 18403
975.74/978.55 c #Conflicts: 741000 | #Constraints: 19403
975.74/978.55 c #Conflicts: 742000 | #Constraints: 20403
975.74/978.55 c #Conflicts: 743000 | #Constraints: 21403
975.74/978.55 c #Conflicts: 744000 | #Constraints: 22403
975.74/978.55 c #Conflicts: 745000 | #Constraints: 23403
975.74/978.55 c #Conflicts: 746000 | #Constraints: 24403
975.74/978.55 c #Conflicts: 747000 | #Constraints: 25403
975.74/978.55 c #Conflicts: 748000 | #Constraints: 26403
975.74/978.55 c #Conflicts: 749000 | #Constraints: 27403
975.74/978.55 c #Conflicts: 750000 | #Constraints: 28403
975.74/978.55 c #Conflicts: 751000 | #Constraints: 29403
975.74/978.55 c #Conflicts: 752000 | #Constraints: 30403
975.74/978.55 c #Conflicts: 753000 | #Constraints: 31403
975.74/978.55 c #Conflicts: 754000 | #Constraints: 32403
975.74/978.55 c #Conflicts: 755000 | #Constraints: 33403
975.74/978.55 c #Conflicts: 756000 | #Constraints: 34403
975.74/978.55 c INPROCESSING
975.74/978.55 c GARBAGE COLLECT
975.74/978.55 c #Conflicts: 757000 | #Constraints: 18198
975.74/978.55 c #Conflicts: 758000 | #Constraints: 19198
975.74/978.55 c #Conflicts: 759000 | #Constraints: 20198
975.74/978.55 c #Conflicts: 760000 | #Constraints: 21198
975.74/978.55 c #Conflicts: 761000 | #Constraints: 22198
975.74/978.55 c #Conflicts: 762000 | #Constraints: 23198
975.74/978.55 c #Conflicts: 763000 | #Constraints: 24198
975.74/978.55 c #Conflicts: 764000 | #Constraints: 25198
975.74/978.55 c #Conflicts: 765000 | #Constraints: 26198
975.74/978.55 c #Conflicts: 766000 | #Constraints: 27198
975.74/978.55 c #Conflicts: 767000 | #Constraints: 28198
975.74/978.55 c #Conflicts: 768000 | #Constraints: 29198
975.74/978.55 c #Conflicts: 769000 | #Constraints: 30198
975.74/978.55 c #Conflicts: 770000 | #Constraints: 31198
975.74/978.55 c #Conflicts: 771000 | #Constraints: 32198
975.74/978.55 c #Conflicts: 772000 | #Constraints: 33198
975.74/978.55 c #Conflicts: 773000 | #Constraints: 34198
975.74/978.55 c #Conflicts: 774000 | #Constraints: 35198
975.74/978.55 c INPROCESSING
975.74/978.55 c GARBAGE COLLECT
975.74/978.55 c #Conflicts: 775000 | #Constraints: 18805
975.74/978.55 c #Conflicts: 776000 | #Constraints: 19805
975.74/978.55 c #Conflicts: 777000 | #Constraints: 20805
975.74/978.55 c #Conflicts: 778000 | #Constraints: 21805
975.74/978.55 c #Conflicts: 779000 | #Constraints: 22805
975.74/978.55 c #Conflicts: 780000 | #Constraints: 23805
975.74/978.55 c #Conflicts: 781000 | #Constraints: 24805
975.74/978.55 c #Conflicts: 782000 | #Constraints: 25805
975.74/978.55 c #Conflicts: 783000 | #Constraints: 26805
975.74/978.55 c #Conflicts: 784000 | #Constraints: 27805
975.74/978.55 c #Conflicts: 785000 | #Constraints: 28805
975.74/978.55 c #Conflicts: 786000 | #Constraints: 29805
975.74/978.55 c #Conflicts: 787000 | #Constraints: 30805
975.74/978.55 c #Conflicts: 788000 | #Constraints: 31805
975.74/978.55 c #Conflicts: 789000 | #Constraints: 32805
975.74/978.55 c #Conflicts: 790000 | #Constraints: 33805
975.74/978.55 c #Conflicts: 791000 | #Constraints: 34805
975.74/978.55 c #Conflicts: 792000 | #Constraints: 35805
975.74/978.55 c INPROCESSING
975.74/978.55 c GARBAGE COLLECT
975.74/978.55 c #Conflicts: 793000 | #Constraints: 19201
975.74/978.55 c #Conflicts: 794000 | #Constraints: 20201
975.74/978.55 c #Conflicts: 795000 | #Constraints: 21201
975.74/978.55 c #Conflicts: 796000 | #Constraints: 22201
1124.73/1127.93 c #Conflicts: 797000 | #Constraints: 23201
1124.73/1127.93 c #Conflicts: 798000 | #Constraints: 24201
1124.73/1127.93 c #Conflicts: 799000 | #Constraints: 25201
1124.73/1127.93 c #Conflicts: 800000 | #Constraints: 26201
1124.73/1127.93 c #Conflicts: 801000 | #Constraints: 27201
1124.73/1127.93 c #Conflicts: 802000 | #Constraints: 28201
1124.73/1127.93 c #Conflicts: 803000 | #Constraints: 29201
1124.73/1127.93 c #Conflicts: 804000 | #Constraints: 30201
1124.73/1127.93 c #Conflicts: 805000 | #Constraints: 31201
1124.73/1127.93 c #Conflicts: 806000 | #Constraints: 32201
1124.73/1127.93 c #Conflicts: 807000 | #Constraints: 33201
1124.73/1127.93 c #Conflicts: 808000 | #Constraints: 34201
1124.73/1127.93 c #Conflicts: 809000 | #Constraints: 35201
1124.73/1127.93 c #Conflicts: 810000 | #Constraints: 36201
1124.73/1127.93 c INPROCESSING
1124.73/1127.93 c GARBAGE COLLECT
1124.73/1127.93 c #Conflicts: 811000 | #Constraints: 19406
1124.73/1127.93 c #Conflicts: 812000 | #Constraints: 20406
1124.73/1127.93 c #Conflicts: 813000 | #Constraints: 21406
1124.73/1127.93 c #Conflicts: 814000 | #Constraints: 22406
1124.73/1127.93 c #Conflicts: 815000 | #Constraints: 23406
1124.73/1127.93 c #Conflicts: 816000 | #Constraints: 24406
1124.73/1127.93 c #Conflicts: 817000 | #Constraints: 25406
1124.73/1127.93 c #Conflicts: 818000 | #Constraints: 26406
1124.73/1127.93 c #Conflicts: 819000 | #Constraints: 27406
1124.73/1127.93 c #Conflicts: 820000 | #Constraints: 28406
1124.73/1127.93 c #Conflicts: 821000 | #Constraints: 29406
1124.73/1127.93 c #Conflicts: 822000 | #Constraints: 30406
1124.73/1127.93 c #Conflicts: 823000 | #Constraints: 31406
1124.73/1127.93 c #Conflicts: 824000 | #Constraints: 32406
1124.73/1127.93 c #Conflicts: 825000 | #Constraints: 33406
1124.73/1127.93 c #Conflicts: 826000 | #Constraints: 34406
1124.73/1127.93 c #Conflicts: 827000 | #Constraints: 35406
1124.73/1127.93 c #Conflicts: 828000 | #Constraints: 36406
1124.73/1127.93 c INPROCESSING
1124.73/1127.93 c GARBAGE COLLECT
1124.73/1127.93 c #Conflicts: 829000 | #Constraints: 19409
1124.73/1127.93 c #Conflicts: 830000 | #Constraints: 20409
1124.73/1127.93 c #Conflicts: 831000 | #Constraints: 21409
1124.73/1127.93 c #Conflicts: 832000 | #Constraints: 22409
1124.73/1127.93 c #Conflicts: 833000 | #Constraints: 23409
1124.73/1127.93 c #Conflicts: 834000 | #Constraints: 24409
1124.73/1127.93 c #Conflicts: 835000 | #Constraints: 25409
1124.73/1127.93 c #Conflicts: 836000 | #Constraints: 26409
1124.73/1127.93 c #Conflicts: 837000 | #Constraints: 27409
1124.73/1127.93 c #Conflicts: 838000 | #Constraints: 28409
1124.73/1127.93 c #Conflicts: 839000 | #Constraints: 29409
1124.73/1127.93 c #Conflicts: 840000 | #Constraints: 30409
1124.73/1127.93 c #Conflicts: 841000 | #Constraints: 31409
1124.73/1127.93 c #Conflicts: 842000 | #Constraints: 32409
1124.73/1127.93 c #Conflicts: 843000 | #Constraints: 33409
1124.73/1127.93 c #Conflicts: 844000 | #Constraints: 34409
1124.73/1127.93 c #Conflicts: 845000 | #Constraints: 35409
1124.73/1127.93 c #Conflicts: 846000 | #Constraints: 36409
1124.73/1127.93 c INPROCESSING
1124.73/1127.93 c GARBAGE COLLECT
1124.73/1127.93 c #Conflicts: 847000 | #Constraints: 19210
1124.73/1127.93 c #Conflicts: 848000 | #Constraints: 20210
1124.73/1127.93 c #Conflicts: 849000 | #Constraints: 21210
1124.73/1127.93 c #Conflicts: 850000 | #Constraints: 22210
1124.73/1127.93 c #Conflicts: 851000 | #Constraints: 23210
1124.73/1127.93 c #Conflicts: 852000 | #Constraints: 24210
1124.73/1127.93 c #Conflicts: 853000 | #Constraints: 25210
1124.73/1127.93 c #Conflicts: 854000 | #Constraints: 26210
1124.73/1127.93 c #Conflicts: 855000 | #Constraints: 27210
1124.73/1127.93 c #Conflicts: 856000 | #Constraints: 28210
1124.73/1127.93 c #Conflicts: 857000 | #Constraints: 29210
1124.73/1127.93 c #Conflicts: 858000 | #Constraints: 30210
1124.73/1127.93 c #Conflicts: 859000 | #Constraints: 31210
1124.73/1127.93 c #Conflicts: 860000 | #Constraints: 32210
1124.73/1127.93 c #Conflicts: 861000 | #Constraints: 33210
1124.73/1127.93 c #Conflicts: 862000 | #Constraints: 34210
1124.73/1127.93 c #Conflicts: 863000 | #Constraints: 35210
1124.73/1127.93 c #Conflicts: 864000 | #Constraints: 36210
1124.73/1127.93 c #Conflicts: 865000 | #Constraints: 37210
1124.73/1127.93 c INPROCESSING
1124.73/1127.93 c GARBAGE COLLECT
1124.73/1127.93 c #Conflicts: 866000 | #Constraints: 19805
1124.73/1127.93 c #Conflicts: 867000 | #Constraints: 20805
1124.73/1127.93 c #Conflicts: 868000 | #Constraints: 21805
1124.73/1127.93 c #Conflicts: 869000 | #Constraints: 22805
1124.73/1127.93 c #Conflicts: 870000 | #Constraints: 23805
1124.73/1127.93 c #Conflicts: 871000 | #Constraints: 24805
1124.73/1127.93 c #Conflicts: 872000 | #Constraints: 25805
1124.73/1127.93 c #Conflicts: 873000 | #Constraints: 26805
1294.16/1297.89 c #Conflicts: 874000 | #Constraints: 27805
1294.16/1297.89 c #Conflicts: 875000 | #Constraints: 28805
1294.16/1297.89 c #Conflicts: 876000 | #Constraints: 29805
1294.16/1297.89 c #Conflicts: 877000 | #Constraints: 30805
1294.16/1297.89 c #Conflicts: 878000 | #Constraints: 31805
1294.16/1297.89 c #Conflicts: 879000 | #Constraints: 32805
1294.16/1297.89 c #Conflicts: 880000 | #Constraints: 33805
1294.16/1297.89 c #Conflicts: 881000 | #Constraints: 34805
1294.16/1297.89 c #Conflicts: 882000 | #Constraints: 35805
1294.16/1297.89 c #Conflicts: 883000 | #Constraints: 36805
1294.16/1297.89 c #Conflicts: 884000 | #Constraints: 37805
1294.16/1297.89 c INPROCESSING
1294.16/1297.89 c GARBAGE COLLECT
1294.16/1297.89 c #Conflicts: 885000 | #Constraints: 20206
1294.16/1297.89 c #Conflicts: 886000 | #Constraints: 21206
1294.16/1297.89 c #Conflicts: 887000 | #Constraints: 22206
1294.16/1297.89 c #Conflicts: 888000 | #Constraints: 23206
1294.16/1297.89 c #Conflicts: 889000 | #Constraints: 24206
1294.16/1297.89 c #Conflicts: 890000 | #Constraints: 25206
1294.16/1297.89 c #Conflicts: 891000 | #Constraints: 26206
1294.16/1297.89 c #Conflicts: 892000 | #Constraints: 27206
1294.16/1297.89 c #Conflicts: 893000 | #Constraints: 28206
1294.16/1297.89 c #Conflicts: 894000 | #Constraints: 29206
1294.16/1297.89 c #Conflicts: 895000 | #Constraints: 30206
1294.16/1297.89 c #Conflicts: 896000 | #Constraints: 31206
1294.16/1297.89 c #Conflicts: 897000 | #Constraints: 32206
1294.16/1297.89 c #Conflicts: 898000 | #Constraints: 33206
1294.16/1297.89 c #Conflicts: 899000 | #Constraints: 34206
1294.16/1297.89 c #Conflicts: 900000 | #Constraints: 35206
1294.16/1297.89 c #Conflicts: 901000 | #Constraints: 36206
1294.16/1297.89 c #Conflicts: 902000 | #Constraints: 37206
1294.16/1297.89 c #Conflicts: 903000 | #Constraints: 38206
1294.16/1297.89 c INPROCESSING
1294.16/1297.89 c GARBAGE COLLECT
1294.16/1297.89 c #Conflicts: 904000 | #Constraints: 20404
1294.16/1297.89 c #Conflicts: 905000 | #Constraints: 21404
1294.16/1297.89 c #Conflicts: 906000 | #Constraints: 22404
1294.16/1297.89 c #Conflicts: 907000 | #Constraints: 23404
1294.16/1297.89 c #Conflicts: 908000 | #Constraints: 24404
1294.16/1297.89 c #Conflicts: 909000 | #Constraints: 25404
1294.16/1297.89 c #Conflicts: 910000 | #Constraints: 26404
1294.16/1297.89 c #Conflicts: 911000 | #Constraints: 27404
1294.16/1297.89 c #Conflicts: 912000 | #Constraints: 28404
1294.16/1297.89 c #Conflicts: 913000 | #Constraints: 29404
1294.16/1297.89 c #Conflicts: 914000 | #Constraints: 30404
1294.16/1297.89 c #Conflicts: 915000 | #Constraints: 31404
1294.16/1297.89 c #Conflicts: 916000 | #Constraints: 32404
1294.16/1297.89 c #Conflicts: 917000 | #Constraints: 33404
1294.16/1297.89 c #Conflicts: 918000 | #Constraints: 34404
1294.16/1297.89 c #Conflicts: 919000 | #Constraints: 35404
1294.16/1297.89 c #Conflicts: 920000 | #Constraints: 36404
1294.16/1297.89 c #Conflicts: 921000 | #Constraints: 37404
1294.16/1297.89 c #Conflicts: 922000 | #Constraints: 38404
1294.16/1297.89 c INPROCESSING
1294.16/1297.89 c GARBAGE COLLECT
1294.16/1297.89 c #Conflicts: 923000 | #Constraints: 20408
1294.16/1297.89 c #Conflicts: 924000 | #Constraints: 21408
1294.16/1297.89 c #Conflicts: 925000 | #Constraints: 22408
1294.16/1297.89 c #Conflicts: 926000 | #Constraints: 23408
1294.16/1297.89 c #Conflicts: 927000 | #Constraints: 24408
1294.16/1297.89 c #Conflicts: 928000 | #Constraints: 25408
1294.16/1297.89 c #Conflicts: 929000 | #Constraints: 26408
1294.16/1297.89 c #Conflicts: 930000 | #Constraints: 27408
1294.16/1297.89 c #Conflicts: 931000 | #Constraints: 28408
1294.16/1297.89 c #Conflicts: 932000 | #Constraints: 29408
1294.16/1297.89 c #Conflicts: 933000 | #Constraints: 30408
1294.16/1297.89 c #Conflicts: 934000 | #Constraints: 31408
1294.16/1297.89 c #Conflicts: 935000 | #Constraints: 32408
1294.16/1297.89 c #Conflicts: 936000 | #Constraints: 33408
1294.16/1297.89 c #Conflicts: 937000 | #Constraints: 34408
1294.16/1297.89 c #Conflicts: 938000 | #Constraints: 35408
1294.16/1297.89 c #Conflicts: 939000 | #Constraints: 36408
1294.16/1297.89 c #Conflicts: 940000 | #Constraints: 37408
1294.16/1297.89 c #Conflicts: 941000 | #Constraints: 38408
1294.16/1297.89 c INPROCESSING
1294.16/1297.89 c GARBAGE COLLECT
1294.16/1297.89 c #Conflicts: 942000 | #Constraints: 20209
1294.16/1297.89 c #Conflicts: 943000 | #Constraints: 21209
1294.16/1297.89 c #Conflicts: 944000 | #Constraints: 22209
1294.16/1297.89 c #Conflicts: 945000 | #Constraints: 23209
1294.16/1297.89 c #Conflicts: 946000 | #Constraints: 24209
1294.16/1297.89 c #Conflicts: 947000 | #Constraints: 25209
1294.16/1297.89 c #Conflicts: 948000 | #Constraints: 26209
1294.16/1297.89 c #Conflicts: 949000 | #Constraints: 27209
1465.29/1469.43 c #Conflicts: 950000 | #Constraints: 28209
1465.29/1469.43 c #Conflicts: 951000 | #Constraints: 29209
1465.29/1469.43 c #Conflicts: 952000 | #Constraints: 30209
1465.29/1469.43 c #Conflicts: 953000 | #Constraints: 31209
1465.29/1469.43 c #Conflicts: 954000 | #Constraints: 32209
1465.29/1469.43 c #Conflicts: 955000 | #Constraints: 33209
1465.29/1469.43 c #Conflicts: 956000 | #Constraints: 34209
1465.29/1469.43 c #Conflicts: 957000 | #Constraints: 35209
1465.29/1469.43 c #Conflicts: 958000 | #Constraints: 36209
1465.29/1469.43 c #Conflicts: 959000 | #Constraints: 37209
1465.29/1469.43 c #Conflicts: 960000 | #Constraints: 38209
1465.29/1469.43 c #Conflicts: 961000 | #Constraints: 39209
1465.29/1469.43 c INPROCESSING
1465.29/1469.43 c GARBAGE COLLECT
1465.29/1469.43 c #Conflicts: 962000 | #Constraints: 20801
1465.29/1469.43 c #Conflicts: 963000 | #Constraints: 21801
1465.29/1469.43 c #Conflicts: 964000 | #Constraints: 22801
1465.29/1469.43 c #Conflicts: 965000 | #Constraints: 23801
1465.29/1469.43 c #Conflicts: 966000 | #Constraints: 24801
1465.29/1469.43 c #Conflicts: 967000 | #Constraints: 25801
1465.29/1469.43 c #Conflicts: 968000 | #Constraints: 26801
1465.29/1469.43 c #Conflicts: 969000 | #Constraints: 27801
1465.29/1469.43 c #Conflicts: 970000 | #Constraints: 28801
1465.29/1469.43 c #Conflicts: 971000 | #Constraints: 29801
1465.29/1469.43 c #Conflicts: 972000 | #Constraints: 30801
1465.29/1469.43 c #Conflicts: 973000 | #Constraints: 31801
1465.29/1469.43 c #Conflicts: 974000 | #Constraints: 32801
1465.29/1469.43 c #Conflicts: 975000 | #Constraints: 33801
1465.29/1469.43 c #Conflicts: 976000 | #Constraints: 34801
1465.29/1469.43 c #Conflicts: 977000 | #Constraints: 35801
1465.29/1469.43 c #Conflicts: 978000 | #Constraints: 36801
1465.29/1469.43 c #Conflicts: 979000 | #Constraints: 37801
1465.29/1469.43 c #Conflicts: 980000 | #Constraints: 38801
1465.29/1469.43 c #Conflicts: 981000 | #Constraints: 39801
1465.29/1469.43 c INPROCESSING
1465.29/1469.43 c GARBAGE COLLECT
1465.29/1469.43 c #Conflicts: 982000 | #Constraints: 21205
1465.29/1469.43 c #Conflicts: 983000 | #Constraints: 22205
1465.29/1469.43 c #Conflicts: 984000 | #Constraints: 23205
1465.29/1469.43 c #Conflicts: 985000 | #Constraints: 24205
1465.29/1469.43 c #Conflicts: 986000 | #Constraints: 25205
1465.29/1469.43 c #Conflicts: 987000 | #Constraints: 26205
1465.29/1469.43 c #Conflicts: 988000 | #Constraints: 27205
1465.29/1469.43 c #Conflicts: 989000 | #Constraints: 28205
1465.29/1469.43 c #Conflicts: 990000 | #Constraints: 29205
1465.29/1469.43 c #Conflicts: 991000 | #Constraints: 30205
1465.29/1469.43 c #Conflicts: 992000 | #Constraints: 31205
1465.29/1469.43 c #Conflicts: 993000 | #Constraints: 32205
1465.29/1469.43 c #Conflicts: 994000 | #Constraints: 33205
1465.29/1469.43 c #Conflicts: 995000 | #Constraints: 34205
1465.29/1469.43 c #Conflicts: 996000 | #Constraints: 35205
1465.29/1469.43 c #Conflicts: 997000 | #Constraints: 36205
1465.29/1469.43 c #Conflicts: 998000 | #Constraints: 37205
1465.29/1469.43 c #Conflicts: 999000 | #Constraints: 38205
1465.29/1469.43 c #Conflicts: 1000000 | #Constraints: 39205
1465.29/1469.43 c #Conflicts: 1001000 | #Constraints: 40205
1465.29/1469.43 c INPROCESSING
1465.29/1469.43 c GARBAGE COLLECT
1465.29/1469.43 c #Conflicts: 1002000 | #Constraints: 21406
1465.29/1469.43 c #Conflicts: 1003000 | #Constraints: 22406
1465.29/1469.43 c #Conflicts: 1004000 | #Constraints: 23406
1465.29/1469.43 c #Conflicts: 1005000 | #Constraints: 24406
1465.29/1469.43 c #Conflicts: 1006000 | #Constraints: 25406
1465.29/1469.43 c #Conflicts: 1007000 | #Constraints: 26406
1465.29/1469.43 c #Conflicts: 1008000 | #Constraints: 27406
1465.29/1469.43 c #Conflicts: 1009000 | #Constraints: 28406
1465.29/1469.43 c #Conflicts: 1010000 | #Constraints: 29406
1465.29/1469.43 c #Conflicts: 1011000 | #Constraints: 30406
1465.29/1469.43 c #Conflicts: 1012000 | #Constraints: 31406
1465.29/1469.43 c #Conflicts: 1013000 | #Constraints: 32406
1465.29/1469.43 c #Conflicts: 1014000 | #Constraints: 33406
1465.29/1469.43 c #Conflicts: 1015000 | #Constraints: 34406
1465.29/1469.43 c #Conflicts: 1016000 | #Constraints: 35406
1465.29/1469.43 c #Conflicts: 1017000 | #Constraints: 36406
1465.29/1469.43 c #Conflicts: 1018000 | #Constraints: 37406
1465.29/1469.43 c #Conflicts: 1019000 | #Constraints: 38406
1465.29/1469.43 c #Conflicts: 1020000 | #Constraints: 39406
1465.29/1469.43 c #Conflicts: 1021000 | #Constraints: 40406
1465.29/1469.43 c INPROCESSING
1465.29/1469.43 c GARBAGE COLLECT
1465.29/1469.43 c #Conflicts: 1022000 | #Constraints: 21407
1465.29/1469.43 c #Conflicts: 1023000 | #Constraints: 22407
1465.29/1469.43 c #Conflicts: 1024000 | #Constraints: 23407
1465.29/1469.43 c #Conflicts: 1025000 | #Constraints: 24407
1669.23/1673.97 c #Conflicts: 1026000 | #Constraints: 25407
1669.23/1673.97 c #Conflicts: 1027000 | #Constraints: 26407
1669.23/1673.97 c #Conflicts: 1028000 | #Constraints: 27407
1669.23/1673.97 c #Conflicts: 1029000 | #Constraints: 28407
1669.23/1673.97 c #Conflicts: 1030000 | #Constraints: 29407
1669.23/1673.97 c #Conflicts: 1031000 | #Constraints: 30407
1669.23/1673.97 c #Conflicts: 1032000 | #Constraints: 31407
1669.23/1673.97 c #Conflicts: 1033000 | #Constraints: 32407
1669.23/1673.97 c #Conflicts: 1034000 | #Constraints: 33407
1669.23/1673.97 c #Conflicts: 1035000 | #Constraints: 34407
1669.23/1673.97 c #Conflicts: 1036000 | #Constraints: 35407
1669.23/1673.97 c #Conflicts: 1037000 | #Constraints: 36407
1669.23/1673.97 c #Conflicts: 1038000 | #Constraints: 37407
1669.23/1673.97 c #Conflicts: 1039000 | #Constraints: 38407
1669.23/1673.97 c #Conflicts: 1040000 | #Constraints: 39407
1669.23/1673.97 c #Conflicts: 1041000 | #Constraints: 40407
1669.23/1673.97 c INPROCESSING
1669.23/1673.97 c GARBAGE COLLECT
1669.23/1673.97 c #Conflicts: 1042000 | #Constraints: 21205
1669.23/1673.97 c #Conflicts: 1043000 | #Constraints: 22205
1669.23/1673.97 c #Conflicts: 1044000 | #Constraints: 23205
1669.23/1673.97 c #Conflicts: 1045000 | #Constraints: 24205
1669.23/1673.97 c #Conflicts: 1046000 | #Constraints: 25205
1669.23/1673.97 c #Conflicts: 1047000 | #Constraints: 26205
1669.23/1673.97 c #Conflicts: 1048000 | #Constraints: 27205
1669.23/1673.97 c #Conflicts: 1049000 | #Constraints: 28205
1669.23/1673.97 c #Conflicts: 1050000 | #Constraints: 29205
1669.23/1673.97 c #Conflicts: 1051000 | #Constraints: 30205
1669.23/1673.97 c #Conflicts: 1052000 | #Constraints: 31205
1669.23/1673.97 c #Conflicts: 1053000 | #Constraints: 32205
1669.23/1673.97 c #Conflicts: 1054000 | #Constraints: 33205
1669.23/1673.97 c #Conflicts: 1055000 | #Constraints: 34205
1669.23/1673.97 c #Conflicts: 1056000 | #Constraints: 35205
1669.23/1673.97 c #Conflicts: 1057000 | #Constraints: 36205
1669.23/1673.97 c #Conflicts: 1058000 | #Constraints: 37205
1669.23/1673.97 c #Conflicts: 1059000 | #Constraints: 38205
1669.23/1673.97 c #Conflicts: 1060000 | #Constraints: 39205
1669.23/1673.97 c #Conflicts: 1061000 | #Constraints: 40205
1669.23/1673.97 c #Conflicts: 1062000 | #Constraints: 41205
1669.23/1673.97 c INPROCESSING
1669.23/1673.97 c GARBAGE COLLECT
1669.23/1673.97 c #Conflicts: 1063000 | #Constraints: 21803
1669.23/1673.97 c #Conflicts: 1064000 | #Constraints: 22803
1669.23/1673.97 c #Conflicts: 1065000 | #Constraints: 23803
1669.23/1673.97 c #Conflicts: 1066000 | #Constraints: 24803
1669.23/1673.97 c #Conflicts: 1067000 | #Constraints: 25803
1669.23/1673.97 c #Conflicts: 1068000 | #Constraints: 26803
1669.23/1673.97 c #Conflicts: 1069000 | #Constraints: 27803
1669.23/1673.97 c #Conflicts: 1070000 | #Constraints: 28803
1669.23/1673.97 c #Conflicts: 1071000 | #Constraints: 29803
1669.23/1673.97 c #Conflicts: 1072000 | #Constraints: 30803
1669.23/1673.97 c #Conflicts: 1073000 | #Constraints: 31803
1669.23/1673.97 c #Conflicts: 1074000 | #Constraints: 32803
1669.23/1673.97 c #Conflicts: 1075000 | #Constraints: 33803
1669.23/1673.97 c #Conflicts: 1076000 | #Constraints: 34803
1669.23/1673.97 c #Conflicts: 1077000 | #Constraints: 35803
1669.23/1673.97 c #Conflicts: 1078000 | #Constraints: 36803
1669.23/1673.97 c #Conflicts: 1079000 | #Constraints: 37803
1669.23/1673.97 c #Conflicts: 1080000 | #Constraints: 38803
1669.23/1673.97 c #Conflicts: 1081000 | #Constraints: 39803
1669.23/1673.97 c #Conflicts: 1082000 | #Constraints: 40803
1669.23/1673.97 c #Conflicts: 1083000 | #Constraints: 41803
1669.23/1673.97 c INPROCESSING
1669.23/1673.97 c GARBAGE COLLECT
1669.23/1673.97 c #Conflicts: 1084000 | #Constraints: 22202
1669.23/1673.97 c #Conflicts: 1085000 | #Constraints: 23202
1669.23/1673.97 c #Conflicts: 1086000 | #Constraints: 24202
1669.23/1673.97 c #Conflicts: 1087000 | #Constraints: 25202
1669.23/1673.97 c #Conflicts: 1088000 | #Constraints: 26202
1669.23/1673.97 c #Conflicts: 1089000 | #Constraints: 27202
1669.23/1673.97 c #Conflicts: 1090000 | #Constraints: 28202
1669.23/1673.97 c #Conflicts: 1091000 | #Constraints: 29202
1669.23/1673.97 c #Conflicts: 1092000 | #Constraints: 30202
1669.23/1673.97 c #Conflicts: 1093000 | #Constraints: 31202
1669.23/1673.97 c #Conflicts: 1094000 | #Constraints: 32202
1669.23/1673.97 c #Conflicts: 1095000 | #Constraints: 33202
1669.23/1673.97 c #Conflicts: 1096000 | #Constraints: 34202
1669.23/1673.97 c #Conflicts: 1097000 | #Constraints: 35202
1669.23/1673.97 c #Conflicts: 1098000 | #Constraints: 36202
1669.23/1673.97 c #Conflicts: 1099000 | #Constraints: 37202
1669.23/1673.97 c #Conflicts: 1100000 | #Constraints: 38202
1669.23/1673.97 c #Conflicts: 1101000 | #Constraints: 39202
1669.23/1673.97 c #Conflicts: 1102000 | #Constraints: 40202
1873.95/1879.22 c #Conflicts: 1103000 | #Constraints: 41202
1873.95/1879.22 c #Conflicts: 1104000 | #Constraints: 42202
1873.95/1879.22 c INPROCESSING
1873.95/1879.22 c GARBAGE COLLECT
1873.95/1879.22 c #Conflicts: 1105000 | #Constraints: 22398
1873.95/1879.22 c #Conflicts: 1106000 | #Constraints: 23398
1873.95/1879.22 c #Conflicts: 1107000 | #Constraints: 24398
1873.95/1879.22 c #Conflicts: 1108000 | #Constraints: 25398
1873.95/1879.22 c #Conflicts: 1109000 | #Constraints: 26398
1873.95/1879.22 c #Conflicts: 1110000 | #Constraints: 27398
1873.95/1879.22 c #Conflicts: 1111000 | #Constraints: 28398
1873.95/1879.22 c #Conflicts: 1112000 | #Constraints: 29398
1873.95/1879.22 c #Conflicts: 1113000 | #Constraints: 30398
1873.95/1879.22 c #Conflicts: 1114000 | #Constraints: 31398
1873.95/1879.22 c #Conflicts: 1115000 | #Constraints: 32398
1873.95/1879.22 c #Conflicts: 1116000 | #Constraints: 33398
1873.95/1879.22 c #Conflicts: 1117000 | #Constraints: 34398
1873.95/1879.22 c #Conflicts: 1118000 | #Constraints: 35398
1873.95/1879.22 c #Conflicts: 1119000 | #Constraints: 36398
1873.95/1879.22 c #Conflicts: 1120000 | #Constraints: 37398
1873.95/1879.22 c #Conflicts: 1121000 | #Constraints: 38398
1873.95/1879.22 c #Conflicts: 1122000 | #Constraints: 39398
1873.95/1879.22 c #Conflicts: 1123000 | #Constraints: 40398
1873.95/1879.22 c #Conflicts: 1124000 | #Constraints: 41398
1873.95/1879.22 c #Conflicts: 1125000 | #Constraints: 42398
1873.95/1879.22 c INPROCESSING
1873.95/1879.22 c GARBAGE COLLECT
1873.95/1879.22 c #Conflicts: 1126000 | #Constraints: 22398
1873.95/1879.22 c #Conflicts: 1127000 | #Constraints: 23398
1873.95/1879.22 c #Conflicts: 1128000 | #Constraints: 24398
1873.95/1879.22 c #Conflicts: 1129000 | #Constraints: 25398
1873.95/1879.22 c #Conflicts: 1130000 | #Constraints: 26398
1873.95/1879.22 c #Conflicts: 1131000 | #Constraints: 27398
1873.95/1879.22 c #Conflicts: 1132000 | #Constraints: 28398
1873.95/1879.22 c #Conflicts: 1133000 | #Constraints: 29398
1873.95/1879.22 c #Conflicts: 1134000 | #Constraints: 30398
1873.95/1879.22 c #Conflicts: 1135000 | #Constraints: 31398
1873.95/1879.22 c #Conflicts: 1136000 | #Constraints: 32398
1873.95/1879.22 c #Conflicts: 1137000 | #Constraints: 33398
1873.95/1879.22 c #Conflicts: 1138000 | #Constraints: 34398
1873.95/1879.22 c #Conflicts: 1139000 | #Constraints: 35398
1873.95/1879.22 c #Conflicts: 1140000 | #Constraints: 36398
1873.95/1879.22 c #Conflicts: 1141000 | #Constraints: 37398
1873.95/1879.22 c #Conflicts: 1142000 | #Constraints: 38398
1873.95/1879.22 c #Conflicts: 1143000 | #Constraints: 39398
1873.95/1879.22 c #Conflicts: 1144000 | #Constraints: 40398
1873.95/1879.22 c #Conflicts: 1145000 | #Constraints: 41398
1873.95/1879.22 c #Conflicts: 1146000 | #Constraints: 42398
1873.95/1879.22 c INPROCESSING
1873.95/1879.22 c GARBAGE COLLECT
1873.95/1879.22 c #Conflicts: 1147000 | #Constraints: 22192
1873.95/1879.22 c #Conflicts: 1148000 | #Constraints: 23192
1873.95/1879.22 c #Conflicts: 1149000 | #Constraints: 24192
1873.95/1879.22 c #Conflicts: 1150000 | #Constraints: 25192
1873.95/1879.22 c #Conflicts: 1151000 | #Constraints: 26192
1873.95/1879.22 c #Conflicts: 1152000 | #Constraints: 27192
1873.95/1879.22 c #Conflicts: 1153000 | #Constraints: 28192
1873.95/1879.22 c #Conflicts: 1154000 | #Constraints: 29192
1873.95/1879.22 c #Conflicts: 1155000 | #Constraints: 30192
1873.95/1879.22 c #Conflicts: 1156000 | #Constraints: 31192
1873.95/1879.22 c #Conflicts: 1157000 | #Constraints: 32192
1873.95/1879.22 c #Conflicts: 1158000 | #Constraints: 33192
1873.95/1879.22 c #Conflicts: 1159000 | #Constraints: 34192
1873.95/1879.22 c #Conflicts: 1160000 | #Constraints: 35192
1873.95/1879.22 c #Conflicts: 1161000 | #Constraints: 36192
1873.95/1879.22 c #Conflicts: 1162000 | #Constraints: 37192
1873.95/1879.22 c #Conflicts: 1163000 | #Constraints: 38192
1873.95/1879.22 c #Conflicts: 1164000 | #Constraints: 39192
1873.95/1879.22 c #Conflicts: 1165000 | #Constraints: 40192
1873.95/1879.22 c #Conflicts: 1166000 | #Constraints: 41192
1873.95/1879.22 c #Conflicts: 1167000 | #Constraints: 42192
1873.95/1879.22 c #Conflicts: 1168000 | #Constraints: 43192
1873.95/1879.22 c INPROCESSING
1873.95/1879.22 c GARBAGE COLLECT
1873.95/1879.22 c #Conflicts: 1169000 | #Constraints: 22795
1873.95/1879.22 c #Conflicts: 1170000 | #Constraints: 23795
1873.95/1879.22 c #Conflicts: 1171000 | #Constraints: 24795
1873.95/1879.22 c #Conflicts: 1172000 | #Constraints: 25795
1873.95/1879.22 c #Conflicts: 1173000 | #Constraints: 26795
1873.95/1879.22 c #Conflicts: 1174000 | #Constraints: 27795
1873.95/1879.22 c #Conflicts: 1175000 | #Constraints: 28795
1873.95/1879.22 c #Conflicts: 1176000 | #Constraints: 29795
1873.95/1879.22 c #Conflicts: 1177000 | #Constraints: 30795
1873.95/1879.22 c #Conflicts: 1178000 | #Constraints: 31795
2109.39/2115.31 c #Conflicts: 1179000 | #Constraints: 32795
2109.39/2115.31 c #Conflicts: 1180000 | #Constraints: 33795
2109.39/2115.31 c #Conflicts: 1181000 | #Constraints: 34795
2109.39/2115.31 c #Conflicts: 1182000 | #Constraints: 35795
2109.39/2115.31 c #Conflicts: 1183000 | #Constraints: 36795
2109.39/2115.31 c #Conflicts: 1184000 | #Constraints: 37795
2109.39/2115.31 c #Conflicts: 1185000 | #Constraints: 38795
2109.39/2115.31 c #Conflicts: 1186000 | #Constraints: 39795
2109.39/2115.31 c #Conflicts: 1187000 | #Constraints: 40795
2109.39/2115.31 c #Conflicts: 1188000 | #Constraints: 41795
2109.39/2115.31 c #Conflicts: 1189000 | #Constraints: 42795
2109.39/2115.31 c #Conflicts: 1190000 | #Constraints: 43795
2109.39/2115.31 c INPROCESSING
2109.39/2115.31 c GARBAGE COLLECT
2109.39/2115.31 c #Conflicts: 1191000 | #Constraints: 23192
2109.39/2115.31 c #Conflicts: 1192000 | #Constraints: 24192
2109.39/2115.31 c #Conflicts: 1193000 | #Constraints: 25192
2109.39/2115.31 c #Conflicts: 1194000 | #Constraints: 26192
2109.39/2115.31 c #Conflicts: 1195000 | #Constraints: 27192
2109.39/2115.31 c #Conflicts: 1196000 | #Constraints: 28192
2109.39/2115.31 c #Conflicts: 1197000 | #Constraints: 29192
2109.39/2115.31 c #Conflicts: 1198000 | #Constraints: 30192
2109.39/2115.31 c #Conflicts: 1199000 | #Constraints: 31192
2109.39/2115.31 c #Conflicts: 1200000 | #Constraints: 32192
2109.39/2115.31 c #Conflicts: 1201000 | #Constraints: 33192
2109.39/2115.31 c #Conflicts: 1202000 | #Constraints: 34192
2109.39/2115.31 c #Conflicts: 1203000 | #Constraints: 35192
2109.39/2115.31 c #Conflicts: 1204000 | #Constraints: 36192
2109.39/2115.31 c #Conflicts: 1205000 | #Constraints: 37192
2109.39/2115.31 c #Conflicts: 1206000 | #Constraints: 38192
2109.39/2115.31 c #Conflicts: 1207000 | #Constraints: 39192
2109.39/2115.31 c #Conflicts: 1208000 | #Constraints: 40192
2109.39/2115.31 c #Conflicts: 1209000 | #Constraints: 41192
2109.39/2115.31 c #Conflicts: 1210000 | #Constraints: 42192
2109.39/2115.31 c #Conflicts: 1211000 | #Constraints: 43192
2109.39/2115.31 c #Conflicts: 1212000 | #Constraints: 44192
2109.39/2115.31 c INPROCESSING
2109.39/2115.31 c GARBAGE COLLECT
2109.39/2115.31 c #Conflicts: 1213000 | #Constraints: 23399
2109.39/2115.31 c #Conflicts: 1214000 | #Constraints: 24399
2109.39/2115.31 c #Conflicts: 1215000 | #Constraints: 25399
2109.39/2115.31 c #Conflicts: 1216000 | #Constraints: 26399
2109.39/2115.31 c #Conflicts: 1217000 | #Constraints: 27399
2109.39/2115.31 c #Conflicts: 1218000 | #Constraints: 28399
2109.39/2115.31 c #Conflicts: 1219000 | #Constraints: 29399
2109.39/2115.31 c #Conflicts: 1220000 | #Constraints: 30399
2109.39/2115.31 c #Conflicts: 1221000 | #Constraints: 31399
2109.39/2115.31 c #Conflicts: 1222000 | #Constraints: 32399
2109.39/2115.31 c #Conflicts: 1223000 | #Constraints: 33399
2109.39/2115.31 c #Conflicts: 1224000 | #Constraints: 34399
2109.39/2115.31 c #Conflicts: 1225000 | #Constraints: 35399
2109.39/2115.31 c #Conflicts: 1226000 | #Constraints: 36399
2109.39/2115.31 c #Conflicts: 1227000 | #Constraints: 37399
2109.39/2115.31 c #Conflicts: 1228000 | #Constraints: 38399
2109.39/2115.31 c #Conflicts: 1229000 | #Constraints: 39399
2109.39/2115.31 c #Conflicts: 1230000 | #Constraints: 40399
2109.39/2115.31 c #Conflicts: 1231000 | #Constraints: 41399
2109.39/2115.31 c #Conflicts: 1232000 | #Constraints: 42399
2109.39/2115.31 c #Conflicts: 1233000 | #Constraints: 43399
2109.39/2115.31 c #Conflicts: 1234000 | #Constraints: 44399
2109.39/2115.31 c INPROCESSING
2109.39/2115.31 c GARBAGE COLLECT
2109.39/2115.31 c #Conflicts: 1235000 | #Constraints: 23396
2109.39/2115.31 c #Conflicts: 1236000 | #Constraints: 24396
2109.39/2115.31 c #Conflicts: 1237000 | #Constraints: 25396
2109.39/2115.31 c #Conflicts: 1238000 | #Constraints: 26396
2109.39/2115.31 c #Conflicts: 1239000 | #Constraints: 27396
2109.39/2115.31 c #Conflicts: 1240000 | #Constraints: 28396
2109.39/2115.31 c #Conflicts: 1241000 | #Constraints: 29396
2109.39/2115.31 c #Conflicts: 1242000 | #Constraints: 30396
2109.39/2115.31 c #Conflicts: 1243000 | #Constraints: 31396
2109.39/2115.31 c #Conflicts: 1244000 | #Constraints: 32396
2109.39/2115.31 c #Conflicts: 1245000 | #Constraints: 33396
2109.39/2115.31 c #Conflicts: 1246000 | #Constraints: 34396
2109.39/2115.31 c #Conflicts: 1247000 | #Constraints: 35396
2109.39/2115.31 c #Conflicts: 1248000 | #Constraints: 36396
2109.39/2115.31 c #Conflicts: 1249000 | #Constraints: 37396
2109.39/2115.31 c #Conflicts: 1250000 | #Constraints: 38396
2109.39/2115.31 c #Conflicts: 1251000 | #Constraints: 39396
2109.39/2115.31 c #Conflicts: 1252000 | #Constraints: 40396
2109.39/2115.31 c #Conflicts: 1253000 | #Constraints: 41396
2109.39/2115.31 c #Conflicts: 1254000 | #Constraints: 42396
2109.39/2115.31 c #Conflicts: 1255000 | #Constraints: 43396
2338.15/2344.76 c #Conflicts: 1256000 | #Constraints: 44396
2338.15/2344.76 c INPROCESSING
2338.15/2344.76 c GARBAGE COLLECT
2338.15/2344.76 c #Conflicts: 1257000 | #Constraints: 23197
2338.15/2344.76 c #Conflicts: 1258000 | #Constraints: 24197
2338.15/2344.76 c #Conflicts: 1259000 | #Constraints: 25197
2338.15/2344.76 c #Conflicts: 1260000 | #Constraints: 26197
2338.15/2344.76 c #Conflicts: 1261000 | #Constraints: 27197
2338.15/2344.76 c #Conflicts: 1262000 | #Constraints: 28197
2338.15/2344.76 c #Conflicts: 1263000 | #Constraints: 29197
2338.15/2344.76 c #Conflicts: 1264000 | #Constraints: 30197
2338.15/2344.76 c #Conflicts: 1265000 | #Constraints: 31197
2338.15/2344.76 c #Conflicts: 1266000 | #Constraints: 32197
2338.15/2344.76 c #Conflicts: 1267000 | #Constraints: 33197
2338.15/2344.76 c #Conflicts: 1268000 | #Constraints: 34197
2338.15/2344.76 c #Conflicts: 1269000 | #Constraints: 35197
2338.15/2344.76 c #Conflicts: 1270000 | #Constraints: 36197
2338.15/2344.76 c #Conflicts: 1271000 | #Constraints: 37197
2338.15/2344.76 c #Conflicts: 1272000 | #Constraints: 38197
2338.15/2344.76 c #Conflicts: 1273000 | #Constraints: 39197
2338.15/2344.76 c #Conflicts: 1274000 | #Constraints: 40197
2338.15/2344.76 c #Conflicts: 1275000 | #Constraints: 41197
2338.15/2344.76 c #Conflicts: 1276000 | #Constraints: 42197
2338.15/2344.76 c #Conflicts: 1277000 | #Constraints: 43197
2338.15/2344.76 c #Conflicts: 1278000 | #Constraints: 44197
2338.15/2344.76 c #Conflicts: 1279000 | #Constraints: 45197
2338.15/2344.76 c INPROCESSING
2338.15/2344.76 c GARBAGE COLLECT
2338.15/2344.76 c #Conflicts: 1280000 | #Constraints: 23807
2338.15/2344.76 c #Conflicts: 1281000 | #Constraints: 24807
2338.15/2344.76 c #Conflicts: 1282000 | #Constraints: 25807
2338.15/2344.76 c #Conflicts: 1283000 | #Constraints: 26807
2338.15/2344.76 c #Conflicts: 1284000 | #Constraints: 27807
2338.15/2344.76 c #Conflicts: 1285000 | #Constraints: 28807
2338.15/2344.76 c #Conflicts: 1286000 | #Constraints: 29807
2338.15/2344.76 c #Conflicts: 1287000 | #Constraints: 30807
2338.15/2344.76 c #Conflicts: 1288000 | #Constraints: 31807
2338.15/2344.76 c #Conflicts: 1289000 | #Constraints: 32807
2338.15/2344.76 c #Conflicts: 1290000 | #Constraints: 33807
2338.15/2344.76 c #Conflicts: 1291000 | #Constraints: 34807
2338.15/2344.76 c #Conflicts: 1292000 | #Constraints: 35807
2338.15/2344.76 c #Conflicts: 1293000 | #Constraints: 36807
2338.15/2344.76 c #Conflicts: 1294000 | #Constraints: 37807
2338.15/2344.76 c #Conflicts: 1295000 | #Constraints: 38807
2338.15/2344.76 c #Conflicts: 1296000 | #Constraints: 39807
2338.15/2344.76 c #Conflicts: 1297000 | #Constraints: 40807
2338.15/2344.76 c #Conflicts: 1298000 | #Constraints: 41807
2338.15/2344.76 c #Conflicts: 1299000 | #Constraints: 42807
2338.15/2344.76 c #Conflicts: 1300000 | #Constraints: 43807
2338.15/2344.76 c #Conflicts: 1301000 | #Constraints: 44807
2338.15/2344.76 c #Conflicts: 1302000 | #Constraints: 45807
2338.15/2344.76 c INPROCESSING
2338.15/2344.76 c GARBAGE COLLECT
2338.15/2344.76 c #Conflicts: 1303000 | #Constraints: 24201
2338.15/2344.76 c #Conflicts: 1304000 | #Constraints: 25201
2338.15/2344.76 c #Conflicts: 1305000 | #Constraints: 26201
2338.15/2344.76 c #Conflicts: 1306000 | #Constraints: 27201
2338.15/2344.76 c #Conflicts: 1307000 | #Constraints: 28201
2338.15/2344.76 c #Conflicts: 1308000 | #Constraints: 29201
2338.15/2344.76 c #Conflicts: 1309000 | #Constraints: 30201
2338.15/2344.76 c #Conflicts: 1310000 | #Constraints: 31201
2338.15/2344.76 c #Conflicts: 1311000 | #Constraints: 32201
2338.15/2344.76 c #Conflicts: 1312000 | #Constraints: 33201
2338.15/2344.76 c #Conflicts: 1313000 | #Constraints: 34201
2338.15/2344.76 c #Conflicts: 1314000 | #Constraints: 35201
2338.15/2344.76 c #Conflicts: 1315000 | #Constraints: 36201
2338.15/2344.76 c #Conflicts: 1316000 | #Constraints: 37201
2338.15/2344.76 c #Conflicts: 1317000 | #Constraints: 38201
2338.15/2344.76 c #Conflicts: 1318000 | #Constraints: 39201
2338.15/2344.76 c #Conflicts: 1319000 | #Constraints: 40201
2338.15/2344.76 c #Conflicts: 1320000 | #Constraints: 41201
2338.15/2344.76 c #Conflicts: 1321000 | #Constraints: 42201
2338.15/2344.76 c #Conflicts: 1322000 | #Constraints: 43201
2338.15/2344.76 c #Conflicts: 1323000 | #Constraints: 44201
2338.15/2344.76 c #Conflicts: 1324000 | #Constraints: 45201
2338.15/2344.76 c #Conflicts: 1325000 | #Constraints: 46201
2338.15/2344.76 c INPROCESSING
2338.15/2344.76 c GARBAGE COLLECT
2338.15/2344.76 c #Conflicts: 1326000 | #Constraints: 24402
2338.15/2344.76 c #Conflicts: 1327000 | #Constraints: 25402
2338.15/2344.76 c #Conflicts: 1328000 | #Constraints: 26402
2338.15/2344.76 c #Conflicts: 1329000 | #Constraints: 27402
2338.15/2344.76 c #Conflicts: 1330000 | #Constraints: 28402
2338.15/2344.76 c #Conflicts: 1331000 | #Constraints: 29402
2594.85/2602.12 c #Conflicts: 1332000 | #Constraints: 30402
2594.85/2602.12 c #Conflicts: 1333000 | #Constraints: 31402
2594.85/2602.12 c #Conflicts: 1334000 | #Constraints: 32402
2594.85/2602.12 c #Conflicts: 1335000 | #Constraints: 33402
2594.85/2602.12 c #Conflicts: 1336000 | #Constraints: 34402
2594.85/2602.12 c #Conflicts: 1337000 | #Constraints: 35402
2594.85/2602.12 c #Conflicts: 1338000 | #Constraints: 36402
2594.85/2602.12 c #Conflicts: 1339000 | #Constraints: 37402
2594.85/2602.12 c #Conflicts: 1340000 | #Constraints: 38402
2594.85/2602.12 c #Conflicts: 1341000 | #Constraints: 39402
2594.85/2602.12 c #Conflicts: 1342000 | #Constraints: 40402
2594.85/2602.12 c #Conflicts: 1343000 | #Constraints: 41402
2594.85/2602.12 c #Conflicts: 1344000 | #Constraints: 42402
2594.85/2602.12 c #Conflicts: 1345000 | #Constraints: 43402
2594.85/2602.12 c #Conflicts: 1346000 | #Constraints: 44402
2594.85/2602.12 c #Conflicts: 1347000 | #Constraints: 45402
2594.85/2602.12 c #Conflicts: 1348000 | #Constraints: 46402
2594.85/2602.12 c INPROCESSING
2594.85/2602.12 c GARBAGE COLLECT
2594.85/2602.12 c #Conflicts: 1349000 | #Constraints: 24417
2594.85/2602.12 c #Conflicts: 1350000 | #Constraints: 25417
2594.85/2602.12 c #Conflicts: 1351000 | #Constraints: 26417
2594.85/2602.12 c #Conflicts: 1352000 | #Constraints: 27417
2594.85/2602.12 c #Conflicts: 1353000 | #Constraints: 28417
2594.85/2602.12 c #Conflicts: 1354000 | #Constraints: 29417
2594.85/2602.12 c #Conflicts: 1355000 | #Constraints: 30417
2594.85/2602.12 c #Conflicts: 1356000 | #Constraints: 31417
2594.85/2602.12 c #Conflicts: 1357000 | #Constraints: 32417
2594.85/2602.12 c #Conflicts: 1358000 | #Constraints: 33417
2594.85/2602.12 c #Conflicts: 1359000 | #Constraints: 34417
2594.85/2602.12 c #Conflicts: 1360000 | #Constraints: 35417
2594.85/2602.12 c #Conflicts: 1361000 | #Constraints: 36417
2594.85/2602.12 c #Conflicts: 1362000 | #Constraints: 37417
2594.85/2602.12 c #Conflicts: 1363000 | #Constraints: 38417
2594.85/2602.12 c #Conflicts: 1364000 | #Constraints: 39417
2594.85/2602.12 c #Conflicts: 1365000 | #Constraints: 40417
2594.85/2602.12 c #Conflicts: 1366000 | #Constraints: 41417
2594.85/2602.12 c #Conflicts: 1367000 | #Constraints: 42417
2594.85/2602.12 c #Conflicts: 1368000 | #Constraints: 43417
2594.85/2602.12 c #Conflicts: 1369000 | #Constraints: 44417
2594.85/2602.12 c #Conflicts: 1370000 | #Constraints: 45417
2594.85/2602.12 c #Conflicts: 1371000 | #Constraints: 46417
2594.85/2602.12 c INPROCESSING
2594.85/2602.12 c GARBAGE COLLECT
2594.85/2602.12 c #Conflicts: 1372000 | #Constraints: 24209
2594.85/2602.12 c #Conflicts: 1373000 | #Constraints: 25209
2594.85/2602.12 c #Conflicts: 1374000 | #Constraints: 26209
2594.85/2602.12 c #Conflicts: 1375000 | #Constraints: 27209
2594.85/2602.12 c #Conflicts: 1376000 | #Constraints: 28209
2594.85/2602.12 c #Conflicts: 1377000 | #Constraints: 29209
2594.85/2602.12 c #Conflicts: 1378000 | #Constraints: 30209
2594.85/2602.12 c #Conflicts: 1379000 | #Constraints: 31209
2594.85/2602.12 c #Conflicts: 1380000 | #Constraints: 32209
2594.85/2602.12 c #Conflicts: 1381000 | #Constraints: 33209
2594.85/2602.12 c #Conflicts: 1382000 | #Constraints: 34209
2594.85/2602.12 c #Conflicts: 1383000 | #Constraints: 35209
2594.85/2602.12 c #Conflicts: 1384000 | #Constraints: 36209
2594.85/2602.12 c #Conflicts: 1385000 | #Constraints: 37209
2594.85/2602.12 c #Conflicts: 1386000 | #Constraints: 38209
2594.85/2602.12 c #Conflicts: 1387000 | #Constraints: 39209
2594.85/2602.12 c #Conflicts: 1388000 | #Constraints: 40209
2594.85/2602.12 c #Conflicts: 1389000 | #Constraints: 41209
2594.85/2602.12 c #Conflicts: 1390000 | #Constraints: 42209
2594.85/2602.12 c #Conflicts: 1391000 | #Constraints: 43209
2594.85/2602.12 c #Conflicts: 1392000 | #Constraints: 44209
2594.85/2602.12 c #Conflicts: 1393000 | #Constraints: 45209
2594.85/2602.12 c #Conflicts: 1394000 | #Constraints: 46209
2594.85/2602.12 c #Conflicts: 1395000 | #Constraints: 47209
2594.85/2602.12 c INPROCESSING
2594.85/2602.12 c GARBAGE COLLECT
2594.85/2602.12 c #Conflicts: 1396000 | #Constraints: 24814
2594.85/2602.12 c #Conflicts: 1397000 | #Constraints: 25814
2594.85/2602.12 c #Conflicts: 1398000 | #Constraints: 26814
2594.85/2602.12 c #Conflicts: 1399000 | #Constraints: 27814
2594.85/2602.12 c #Conflicts: 1400000 | #Constraints: 28814
2594.85/2602.12 c #Conflicts: 1401000 | #Constraints: 29814
2594.85/2602.12 c #Conflicts: 1402000 | #Constraints: 30814
2594.85/2602.12 c #Conflicts: 1403000 | #Constraints: 31814
2594.85/2602.12 c #Conflicts: 1404000 | #Constraints: 32814
2594.85/2602.12 c #Conflicts: 1405000 | #Constraints: 33814
2594.85/2602.12 c #Conflicts: 1406000 | #Constraints: 34814
2594.85/2602.12 c #Conflicts: 1407000 | #Constraints: 35814
2594.85/2602.12 c #Conflicts: 1408000 | #Constraints: 36814
2775.65/2783.45 c #Conflicts: 1409000 | #Constraints: 37814
2775.65/2783.45 c #Conflicts: 1410000 | #Constraints: 38814
2775.65/2783.45 c #Conflicts: 1411000 | #Constraints: 39814
2775.65/2783.45 c #Conflicts: 1412000 | #Constraints: 40814
2775.65/2783.45 c #Conflicts: 1413000 | #Constraints: 41814
2775.65/2783.45 c #Conflicts: 1414000 | #Constraints: 42814
2775.65/2783.45 c #Conflicts: 1415000 | #Constraints: 43814
2775.65/2783.45 c #Conflicts: 1416000 | #Constraints: 44814
2775.65/2783.45 c #Conflicts: 1417000 | #Constraints: 45814
2775.65/2783.45 c #Conflicts: 1418000 | #Constraints: 46814
2775.65/2783.45 c #Conflicts: 1419000 | #Constraints: 47814
2775.65/2783.45 c INPROCESSING
2775.65/2783.45 c GARBAGE COLLECT
2775.65/2783.45 c #Conflicts: 1420000 | #Constraints: 25215
2775.65/2783.45 c #Conflicts: 1421000 | #Constraints: 26215
2775.65/2783.45 c #Conflicts: 1422000 | #Constraints: 27215
2775.65/2783.45 c #Conflicts: 1423000 | #Constraints: 28215
2775.65/2783.45 c #Conflicts: 1424000 | #Constraints: 29215
2775.65/2783.45 c #Conflicts: 1425000 | #Constraints: 30215
2775.65/2783.45 c #Conflicts: 1426000 | #Constraints: 31215
2775.65/2783.45 c #Conflicts: 1427000 | #Constraints: 32215
2775.65/2783.45 c #Conflicts: 1428000 | #Constraints: 33215
2775.65/2783.45 c #Conflicts: 1429000 | #Constraints: 34215
2775.65/2783.45 c #Conflicts: 1430000 | #Constraints: 35215
2775.65/2783.45 c #Conflicts: 1431000 | #Constraints: 36215
2775.65/2783.45 c #Conflicts: 1432000 | #Constraints: 37215
2775.65/2783.45 c #Conflicts: 1433000 | #Constraints: 38215
2775.65/2783.45 c #Conflicts: 1434000 | #Constraints: 39215
2775.65/2783.45 c #Conflicts: 1435000 | #Constraints: 40215
2775.65/2783.45 c #Conflicts: 1436000 | #Constraints: 41215
2775.65/2783.45 c #Conflicts: 1437000 | #Constraints: 42215
2775.65/2783.45 c #Conflicts: 1438000 | #Constraints: 43215
2775.65/2783.45 c #Conflicts: 1439000 | #Constraints: 44215
2775.65/2783.45 c #Conflicts: 1440000 | #Constraints: 45215
2775.65/2783.45 c #Conflicts: 1441000 | #Constraints: 46215
2775.65/2783.45 c #Conflicts: 1442000 | #Constraints: 47215
2775.65/2783.45 c #Conflicts: 1443000 | #Constraints: 48215
2775.65/2783.45 c INPROCESSING
2775.65/2783.45 c GARBAGE COLLECT
2775.65/2783.45 c #Conflicts: 1444000 | #Constraints: 25407
2775.65/2783.45 c #Conflicts: 1445000 | #Constraints: 26407
2775.65/2783.45 c #Conflicts: 1446000 | #Constraints: 27407
2775.65/2783.45 c #Conflicts: 1447000 | #Constraints: 28407
2775.65/2783.45 c #Conflicts: 1448000 | #Constraints: 29407
2775.65/2783.45 c #Conflicts: 1449000 | #Constraints: 30407
2775.65/2783.45 c #Conflicts: 1450000 | #Constraints: 31407
2775.65/2783.45 c #Conflicts: 1451000 | #Constraints: 32407
2775.65/2783.45 c #Conflicts: 1452000 | #Constraints: 33407
2775.65/2783.45 c #Conflicts: 1453000 | #Constraints: 34407
2775.65/2783.45 c #Conflicts: 1454000 | #Constraints: 35407
2775.65/2783.45 c #Conflicts: 1455000 | #Constraints: 36407
2775.65/2783.45 c #Conflicts: 1456000 | #Constraints: 37407
2775.65/2783.45 c #Conflicts: 1457000 | #Constraints: 38407
2775.65/2783.45 c #Conflicts: 1458000 | #Constraints: 39407
2775.65/2783.45 c #Conflicts: 1459000 | #Constraints: 40407
2775.65/2783.45 c #Conflicts: 1460000 | #Constraints: 41407
2775.65/2783.45 c #Conflicts: 1461000 | #Constraints: 42407
2775.65/2783.45 c GLOBAL bounds - >= 0 @ 2762.57
2812.16/2820.03 c #Conflicts: 1462000 | #Constraints: 43409
2812.16/2820.03 c #Conflicts: 1463000 | #Constraints: 44409
2812.16/2820.03 c #Conflicts: 1464000 | #Constraints: 45409
2812.16/2820.03 c #Conflicts: 1465000 | #Constraints: 46409
2812.16/2820.03 c #Conflicts: 1466000 | #Constraints: 47409
2812.16/2820.03 c #Conflicts: 1467000 | #Constraints: 48409
2812.16/2820.03 c INPROCESSING
2812.16/2820.03 c GARBAGE COLLECT
2812.16/2820.03 c #Conflicts: 1468000 | #Constraints: 25403
2812.16/2820.03 c #Conflicts: 1469000 | #Constraints: 26403
2812.16/2820.03 c #Conflicts: 1470000 | #Constraints: 27403
2812.16/2820.03 c #Conflicts: 1471000 | #Constraints: 28403
2812.16/2820.03 c GLOBAL bounds - >= 0 @ 2798.93
2837.79/2845.72 c #Conflicts: 1472000 | #Constraints: 29405
2837.79/2845.72 c #Conflicts: 1473000 | #Constraints: 30405
2837.79/2845.72 c #Conflicts: 1474000 | #Constraints: 31405
2837.79/2845.72 c #Conflicts: 1475000 | #Constraints: 32405
2837.79/2845.72 c #Conflicts: 1476000 | #Constraints: 33405
2837.79/2845.72 c #Conflicts: 1477000 | #Constraints: 34405
2837.79/2845.72 c #Conflicts: 1478000 | #Constraints: 35405
2837.79/2845.72 c #Conflicts: 1479000 | #Constraints: 36405
2837.79/2845.72 c #Conflicts: 1480000 | #Constraints: 37405
2837.79/2845.72 c #Conflicts: 1481000 | #Constraints: 38405
2837.79/2845.72 c #Conflicts: 1482000 | #Constraints: 39405
2837.79/2845.72 c GLOBAL bounds - >= 0 @ 2824.46
2969.83/2978.11 c #Conflicts: 1483000 | #Constraints: 40407
2969.83/2978.11 c #Conflicts: 1484000 | #Constraints: 41407
2969.83/2978.11 c #Conflicts: 1485000 | #Constraints: 42407
2969.83/2978.11 c #Conflicts: 1486000 | #Constraints: 43407
2969.83/2978.11 c #Conflicts: 1487000 | #Constraints: 44407
2969.83/2978.11 c #Conflicts: 1488000 | #Constraints: 45407
2969.83/2978.11 c #Conflicts: 1489000 | #Constraints: 46407
2969.83/2978.11 c #Conflicts: 1490000 | #Constraints: 47407
2969.83/2978.11 c #Conflicts: 1491000 | #Constraints: 48407
2969.83/2978.11 c INPROCESSING
2969.83/2978.11 c GARBAGE COLLECT
2969.83/2978.11 c #Conflicts: 1492000 | #Constraints: 25206
2969.83/2978.11 c #Conflicts: 1493000 | #Constraints: 26206
2969.83/2978.11 c #Conflicts: 1494000 | #Constraints: 27206
2969.83/2978.11 c #Conflicts: 1495000 | #Constraints: 28206
2969.83/2978.11 c #Conflicts: 1496000 | #Constraints: 29206
2969.83/2978.11 c #Conflicts: 1497000 | #Constraints: 30206
2969.83/2978.11 c #Conflicts: 1498000 | #Constraints: 31206
2969.83/2978.11 c #Conflicts: 1499000 | #Constraints: 32206
2969.83/2978.11 c #Conflicts: 1500000 | #Constraints: 33206
2969.83/2978.11 c #Conflicts: 1501000 | #Constraints: 34206
2969.83/2978.11 c #Conflicts: 1502000 | #Constraints: 35206
2969.83/2978.11 c #Conflicts: 1503000 | #Constraints: 36206
2969.83/2978.11 c #Conflicts: 1504000 | #Constraints: 37206
2969.83/2978.11 c #Conflicts: 1505000 | #Constraints: 38206
2969.83/2978.11 c #Conflicts: 1506000 | #Constraints: 39206
2969.83/2978.11 c #Conflicts: 1507000 | #Constraints: 40206
2969.83/2978.11 c #Conflicts: 1508000 | #Constraints: 41206
2969.83/2978.11 c #Conflicts: 1509000 | #Constraints: 42206
2969.83/2978.11 c #Conflicts: 1510000 | #Constraints: 43206
2969.83/2978.11 c #Conflicts: 1511000 | #Constraints: 44206
2969.83/2978.11 c #Conflicts: 1512000 | #Constraints: 45206
2969.83/2978.11 c #Conflicts: 1513000 | #Constraints: 46206
2969.83/2978.11 c #Conflicts: 1514000 | #Constraints: 47206
2969.83/2978.11 c #Conflicts: 1515000 | #Constraints: 48206
2969.83/2978.11 c #Conflicts: 1516000 | #Constraints: 49206
2969.83/2978.11 c INPROCESSING
2969.83/2978.11 c GARBAGE COLLECT
2969.83/2978.11 c #Conflicts: 1517000 | #Constraints: 25801
2969.83/2978.11 c #Conflicts: 1518000 | #Constraints: 26801
2969.83/2978.11 c GLOBAL bounds - >= 0 @ 2956.08
3238.60/3247.62 c #Conflicts: 1519000 | #Constraints: 27803
3238.60/3247.62 c #Conflicts: 1520000 | #Constraints: 28803
3238.60/3247.62 c #Conflicts: 1521000 | #Constraints: 29803
3238.60/3247.62 c #Conflicts: 1522000 | #Constraints: 30803
3238.60/3247.62 c #Conflicts: 1523000 | #Constraints: 31803
3238.60/3247.62 c #Conflicts: 1524000 | #Constraints: 32803
3238.60/3247.62 c #Conflicts: 1525000 | #Constraints: 33803
3238.60/3247.62 c #Conflicts: 1526000 | #Constraints: 34803
3238.60/3247.62 c #Conflicts: 1527000 | #Constraints: 35803
3238.60/3247.62 c #Conflicts: 1528000 | #Constraints: 36803
3238.60/3247.62 c #Conflicts: 1529000 | #Constraints: 37803
3238.60/3247.62 c #Conflicts: 1530000 | #Constraints: 38803
3238.60/3247.62 c #Conflicts: 1531000 | #Constraints: 39803
3238.60/3247.62 c #Conflicts: 1532000 | #Constraints: 40803
3238.60/3247.62 c #Conflicts: 1533000 | #Constraints: 41803
3238.60/3247.62 c #Conflicts: 1534000 | #Constraints: 42803
3238.60/3247.62 c #Conflicts: 1535000 | #Constraints: 43803
3238.60/3247.62 c #Conflicts: 1536000 | #Constraints: 44803
3238.60/3247.62 c #Conflicts: 1537000 | #Constraints: 45803
3238.60/3247.62 c #Conflicts: 1538000 | #Constraints: 46803
3238.60/3247.62 c #Conflicts: 1539000 | #Constraints: 47803
3238.60/3247.62 c #Conflicts: 1540000 | #Constraints: 48803
3238.60/3247.62 c #Conflicts: 1541000 | #Constraints: 49803
3238.60/3247.62 c INPROCESSING
3238.60/3247.62 c GARBAGE COLLECT
3238.60/3247.62 c #Conflicts: 1542000 | #Constraints: 26201
3238.60/3247.62 c #Conflicts: 1543000 | #Constraints: 27201
3238.60/3247.62 c #Conflicts: 1544000 | #Constraints: 28201
3238.60/3247.62 c #Conflicts: 1545000 | #Constraints: 29201
3238.60/3247.62 c #Conflicts: 1546000 | #Constraints: 30201
3238.60/3247.62 c #Conflicts: 1547000 | #Constraints: 31201
3238.60/3247.62 c #Conflicts: 1548000 | #Constraints: 32201
3238.60/3247.62 c #Conflicts: 1549000 | #Constraints: 33201
3238.60/3247.62 c #Conflicts: 1550000 | #Constraints: 34201
3238.60/3247.62 c #Conflicts: 1551000 | #Constraints: 35201
3238.60/3247.62 c #Conflicts: 1552000 | #Constraints: 36201
3238.60/3247.62 c #Conflicts: 1553000 | #Constraints: 37201
3238.60/3247.62 c #Conflicts: 1554000 | #Constraints: 38201
3238.60/3247.62 c #Conflicts: 1555000 | #Constraints: 39201
3238.60/3247.62 c #Conflicts: 1556000 | #Constraints: 40201
3238.60/3247.62 c #Conflicts: 1557000 | #Constraints: 41201
3238.60/3247.62 c #Conflicts: 1558000 | #Constraints: 42201
3238.60/3247.62 c #Conflicts: 1559000 | #Constraints: 43201
3238.60/3247.62 c #Conflicts: 1560000 | #Constraints: 44201
3238.60/3247.62 c #Conflicts: 1561000 | #Constraints: 45201
3238.60/3247.62 c #Conflicts: 1562000 | #Constraints: 46201
3238.60/3247.62 c #Conflicts: 1563000 | #Constraints: 47201
3238.60/3247.62 c #Conflicts: 1564000 | #Constraints: 48201
3238.60/3247.62 c #Conflicts: 1565000 | #Constraints: 49201
3238.60/3247.62 c #Conflicts: 1566000 | #Constraints: 50201
3238.60/3247.62 c INPROCESSING
3238.60/3247.62 c GARBAGE COLLECT
3238.60/3247.62 c #Conflicts: 1567000 | #Constraints: 26396
3238.60/3247.62 c #Conflicts: 1568000 | #Constraints: 27396
3238.60/3247.62 c #Conflicts: 1569000 | #Constraints: 28396
3238.60/3247.62 c #Conflicts: 1570000 | #Constraints: 29396
3238.60/3247.62 c #Conflicts: 1571000 | #Constraints: 30396
3238.60/3247.62 c #Conflicts: 1572000 | #Constraints: 31396
3238.60/3247.62 c #Conflicts: 1573000 | #Constraints: 32396
3238.60/3247.62 c #Conflicts: 1574000 | #Constraints: 33396
3238.60/3247.62 c #Conflicts: 1575000 | #Constraints: 34396
3238.60/3247.62 c #Conflicts: 1576000 | #Constraints: 35396
3238.60/3247.63 c #Conflicts: 1577000 | #Constraints: 36396
3238.60/3247.63 c #Conflicts: 1578000 | #Constraints: 37396
3238.60/3247.63 c #Conflicts: 1579000 | #Constraints: 38396
3238.60/3247.63 c #Conflicts: 1580000 | #Constraints: 39396
3238.60/3247.63 c #Conflicts: 1581000 | #Constraints: 40396
3238.60/3247.63 c #Conflicts: 1582000 | #Constraints: 41396
3238.60/3247.63 c #Conflicts: 1583000 | #Constraints: 42396
3238.60/3247.63 c #Conflicts: 1584000 | #Constraints: 43396
3238.60/3247.63 c #Conflicts: 1585000 | #Constraints: 44396
3238.60/3247.63 c #Conflicts: 1586000 | #Constraints: 45396
3238.60/3247.63 c #Conflicts: 1587000 | #Constraints: 46396
3238.60/3247.63 c #Conflicts: 1588000 | #Constraints: 47396
3238.60/3247.63 c #Conflicts: 1589000 | #Constraints: 48396
3238.60/3247.63 c #Conflicts: 1590000 | #Constraints: 49396
3238.60/3247.63 c #Conflicts: 1591000 | #Constraints: 50396
3238.60/3247.63 c INPROCESSING
3238.60/3247.63 c GARBAGE COLLECT
3238.60/3247.63 c #Conflicts: 1592000 | #Constraints: 26398
3238.60/3247.63 c #Conflicts: 1593000 | #Constraints: 27398
3238.60/3247.63 c #Conflicts: 1594000 | #Constraints: 28398
3238.60/3247.63 c #Conflicts: 1595000 | #Constraints: 29398
3504.78/3514.54 c #Conflicts: 1596000 | #Constraints: 30398
3504.78/3514.54 c #Conflicts: 1597000 | #Constraints: 31398
3504.78/3514.54 c #Conflicts: 1598000 | #Constraints: 32398
3504.78/3514.54 c #Conflicts: 1599000 | #Constraints: 33398
3504.78/3514.54 c #Conflicts: 1600000 | #Constraints: 34398
3504.78/3514.54 c #Conflicts: 1601000 | #Constraints: 35398
3504.78/3514.54 c #Conflicts: 1602000 | #Constraints: 36398
3504.78/3514.54 c #Conflicts: 1603000 | #Constraints: 37398
3504.78/3514.54 c #Conflicts: 1604000 | #Constraints: 38398
3504.78/3514.54 c #Conflicts: 1605000 | #Constraints: 39398
3504.78/3514.54 c #Conflicts: 1606000 | #Constraints: 40398
3504.78/3514.54 c #Conflicts: 1607000 | #Constraints: 41398
3504.78/3514.54 c #Conflicts: 1608000 | #Constraints: 42398
3504.78/3514.54 c #Conflicts: 1609000 | #Constraints: 43398
3504.78/3514.54 c #Conflicts: 1610000 | #Constraints: 44398
3504.78/3514.54 c #Conflicts: 1611000 | #Constraints: 45398
3504.78/3514.54 c #Conflicts: 1612000 | #Constraints: 46398
3504.78/3514.54 c #Conflicts: 1613000 | #Constraints: 47398
3504.78/3514.54 c #Conflicts: 1614000 | #Constraints: 48398
3504.78/3514.54 c #Conflicts: 1615000 | #Constraints: 49398
3504.78/3514.54 c #Conflicts: 1616000 | #Constraints: 50398
3504.78/3514.54 c INPROCESSING
3504.78/3514.54 c GARBAGE COLLECT
3504.78/3514.54 c #Conflicts: 1617000 | #Constraints: 26197
3504.78/3514.54 c #Conflicts: 1618000 | #Constraints: 27197
3504.78/3514.54 c #Conflicts: 1619000 | #Constraints: 28197
3504.78/3514.54 c #Conflicts: 1620000 | #Constraints: 29197
3504.78/3514.54 c #Conflicts: 1621000 | #Constraints: 30197
3504.78/3514.54 c #Conflicts: 1622000 | #Constraints: 31197
3504.78/3514.54 c #Conflicts: 1623000 | #Constraints: 32197
3504.78/3514.54 c #Conflicts: 1624000 | #Constraints: 33197
3504.78/3514.54 c #Conflicts: 1625000 | #Constraints: 34197
3504.78/3514.54 c #Conflicts: 1626000 | #Constraints: 35197
3504.78/3514.54 c #Conflicts: 1627000 | #Constraints: 36197
3504.78/3514.54 c #Conflicts: 1628000 | #Constraints: 37197
3504.78/3514.54 c #Conflicts: 1629000 | #Constraints: 38197
3504.78/3514.54 c #Conflicts: 1630000 | #Constraints: 39197
3504.78/3514.54 c #Conflicts: 1631000 | #Constraints: 40197
3504.78/3514.54 c #Conflicts: 1632000 | #Constraints: 41197
3504.78/3514.54 c #Conflicts: 1633000 | #Constraints: 42197
3504.78/3514.54 c #Conflicts: 1634000 | #Constraints: 43197
3504.78/3514.54 c #Conflicts: 1635000 | #Constraints: 44197
3504.78/3514.54 c #Conflicts: 1636000 | #Constraints: 45197
3504.78/3514.54 c #Conflicts: 1637000 | #Constraints: 46197
3504.78/3514.54 c #Conflicts: 1638000 | #Constraints: 47197
3504.78/3514.54 c #Conflicts: 1639000 | #Constraints: 48197
3504.78/3514.54 c #Conflicts: 1640000 | #Constraints: 49197
3504.78/3514.54 c #Conflicts: 1641000 | #Constraints: 50197
3504.78/3514.54 c #Conflicts: 1642000 | #Constraints: 51197
3504.78/3514.54 c INPROCESSING
3504.78/3514.54 c GARBAGE COLLECT
3504.78/3514.54 c #Conflicts: 1643000 | #Constraints: 26799
3504.78/3514.54 c #Conflicts: 1644000 | #Constraints: 27799
3504.78/3514.54 c #Conflicts: 1645000 | #Constraints: 28799
3504.78/3514.54 c #Conflicts: 1646000 | #Constraints: 29799
3504.78/3514.54 c #Conflicts: 1647000 | #Constraints: 30799
3504.78/3514.54 c #Conflicts: 1648000 | #Constraints: 31799
3504.78/3514.54 c #Conflicts: 1649000 | #Constraints: 32799
3504.78/3514.54 c #Conflicts: 1650000 | #Constraints: 33799
3504.78/3514.54 c #Conflicts: 1651000 | #Constraints: 34799
3504.78/3514.54 c #Conflicts: 1652000 | #Constraints: 35799
3504.78/3514.54 c #Conflicts: 1653000 | #Constraints: 36799
3504.78/3514.54 c #Conflicts: 1654000 | #Constraints: 37799
3504.78/3514.54 c #Conflicts: 1655000 | #Constraints: 38799
3504.78/3514.54 c #Conflicts: 1656000 | #Constraints: 39799
3504.78/3514.54 c #Conflicts: 1657000 | #Constraints: 40799
3504.78/3514.54 c #Conflicts: 1658000 | #Constraints: 41799
3504.78/3514.54 c #Conflicts: 1659000 | #Constraints: 42799
3504.78/3514.54 c #Conflicts: 1660000 | #Constraints: 43799
3504.78/3514.54 c #Conflicts: 1661000 | #Constraints: 44799
3504.78/3514.54 c #Conflicts: 1662000 | #Constraints: 45799
3504.78/3514.54 c #Conflicts: 1663000 | #Constraints: 46799
3504.78/3514.54 c #Conflicts: 1664000 | #Constraints: 47799
3504.78/3514.54 c #Conflicts: 1665000 | #Constraints: 48799
3504.78/3514.54 c #Conflicts: 1666000 | #Constraints: 49799
3504.78/3514.54 c #Conflicts: 1667000 | #Constraints: 50799
3504.78/3514.54 c #Conflicts: 1668000 | #Constraints: 51799
3504.78/3514.54 c INPROCESSING
3504.78/3514.54 c GARBAGE COLLECT
3504.78/3514.54 c #Conflicts: 1669000 | #Constraints: 27200
3504.78/3514.54 c #Conflicts: 1670000 | #Constraints: 28200
3504.78/3514.54 c #Conflicts: 1671000 | #Constraints: 29200
3504.78/3514.54 c #Conflicts: 1672000 | #Constraints: 30200
3600.02/3610.00 c #Conflicts: 1673000 | #Constraints: 31200
3600.02/3610.00 c #Conflicts: 1674000 | #Constraints: 32200
3600.02/3610.00 c #Conflicts: 1675000 | #Constraints: 33200
3600.02/3610.00 c #Conflicts: 1676000 | #Constraints: 34200
3600.02/3610.00 c #Conflicts: 1677000 | #Constraints: 35200
3600.02/3610.00 c #Conflicts: 1678000 | #Constraints: 36200
3600.02/3610.00 c #Conflicts: 1679000 | #Constraints: 37200
3600.02/3610.00 c #Conflicts: 1680000 | #Constraints: 38200
3600.02/3610.00 c #Conflicts: 1681000 | #Constraints: 39200
3600.02/3610.00 c #Conflicts: 1682000 | #Constraints: 40200
3600.02/3610.00 c #Conflicts: 1683000 | #Constraints: 41200
3600.02/3610.00 c #Conflicts: 1684000 | #Constraints: 42200
3600.02/3610.00 c #Conflicts: 1685000 | #Constraints: 43200
3600.02/3610.00 c #Conflicts: 1686000 | #Constraints: 44200
3600.02/3610.00 c #Conflicts: 1687000 | #Constraints: 45200
3600.02/3610.00 c #Conflicts: 1688000 | #Constraints: 46200
3600.02/3610.00 c #Conflicts: 1689000 | #Constraints: 47200
3600.02/3610.00 c #Conflicts: 1690000 | #Constraints: 48200
3600.02/3610.00 c #Conflicts: 1691000 | #Constraints: 49200
3600.02/3610.00 c #Conflicts: 1692000 | #Constraints: 50200
3600.02/3610.00 c #Conflicts: 1693000 | #Constraints: 51200
3600.02/3610.00 c #Conflicts: 1694000 | #Constraints: 52200
3600.02/3610.00 c INPROCESSING
3600.02/3610.00 c GARBAGE COLLECT
3600.02/3610.00 c #Conflicts: 1695000 | #Constraints: 27400
3600.02/3610.00 c #Conflicts: 1696000 | #Constraints: 28400
3600.02/3610.00 c #Conflicts: 1697000 | #Constraints: 29400
3600.02/3610.00 c cpu time 3584.25 s
3600.02/3610.00 c deterministic time 1 1.00e+00
3600.02/3610.00 c optimization time 3584.25 s
3600.02/3610.00 c total solve time 0 s
3600.02/3610.00 c core-guided solve time 0 s
3600.02/3610.00 c propagation time 0.000101 s
3600.02/3610.00 c conflict analysis time 0 s
3600.02/3610.00 c propagations 0
3600.02/3610.00 c resolve steps 0
3600.02/3610.00 c decisions 0
3600.02/3610.00 c conflicts 0
3600.02/3610.00 c restarts 0
3600.02/3610.00 c inprocessing phases 0
3600.02/3610.00 c garbage collections 0 ,( -nan )
3600.02/3610.00 c input clauses 0 ,( 0.00 )
3600.02/3610.00 c input cardinalities 0 ,( 0.00 )
3600.02/3610.00 c input general constraints 476 ,( 100.00 )
3600.02/3610.00 c input average constraint length 8.99
3600.02/3610.00 c input average constraint degree 28.84
3600.02/3610.00 c learned clauses 0 ,( 0.00 )
3600.02/3610.00 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.00 c learned general constraints 0 ,( 0.00 )
3600.02/3610.00 c learned average constraint length 0.00
3600.02/3610.00 c learned average constraint degree 0.00
3600.02/3610.00 c watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
3600.02/3610.00 c counting CF 32, 64, 128, Arb: 473 , 0 , 0 , 0
3600.02/3610.00 c watched constraints 4 ,( 0.84 )
3600.02/3610.00 c counting constraints 472 ,( 99.16 )
3600.02/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.00 c gcd simplifications 0
3600.02/3610.00 c detected cardinalities 0
3600.02/3610.00 c weakened non-implied lits 0
3600.02/3610.00 c weakened non-implying lits 0
3600.02/3610.00 c original variables 476
3600.02/3610.00 c clausal propagations 0
3600.02/3610.00 c cardinality propagations 0
3600.02/3610.00 c watched propagations 0
3600.02/3610.00 c counting propagations 0
3600.02/3610.00 c watch lookups 0
3600.02/3610.00 c watch backjump lookups 0
3600.02/3610.00 c watch checks 0
3600.02/3610.00 c propagation checks 0
3600.02/3610.00 c constraint additions 0
3600.02/3610.00 c trail pops 0
3600.02/3610.00 c formula constraints 476
3600.02/3610.00 c learned constraints 0
3600.02/3610.00 c bound constraints 0
3600.02/3610.00 c core-guided constraints 0
3600.02/3610.00 c encountered formula constraints 0
3600.02/3610.00 c encountered learned constraints 0
3600.02/3610.00 c encountered bound constraints 0
3600.02/3610.00 c encountered core-guided constraints 0
3600.02/3610.00 c LP total time 0 s
3600.02/3610.00 c LP solve time 0 s
3600.02/3610.00 c LP constraints added 0
3600.02/3610.00 c LP constraints removed 0
3600.02/3610.00 c LP pivots internal 0
3600.02/3610.00 c LP pivots root 0
3600.02/3610.00 c LP calls 0
3600.02/3610.00 c LP optimalities 0
3600.02/3610.00 c LP no pivot count 0
3600.02/3610.00 c LP infeasibilities 0
3600.02/3610.00 c LP valid Farkas constraints 0
3600.02/3610.00 c LP learned Farkas constraints 0
3600.02/3610.00 c LP basis resets 0
3600.02/3610.00 c LP cycling count 0
3600.02/3610.00 c LP singular count 0
3600.02/3610.00 c LP no primal count 0
3600.02/3610.00 c LP no farkas count 0
3600.02/3610.00 c LP other issue count 0
3600.02/3610.00 c LP Gomory cuts 0
3600.02/3610.00 c LP learned cuts 0
3600.02/3610.00 c LP deleted cuts 0
3600.02/3610.00 c LP encountered Gomory constraints 0
3600.02/3610.00 c LP encountered Farkas constraints 0
3600.02/3610.00 c LP encountered learned Farkas constraints 0
3600.02/3610.00 c CG auxiliary variables introduced 0
3600.02/3610.00 c CG solutions found 0
3600.02/3610.00 c CG cores constructed 0
3600.02/3610.00 c CG core cardinality constraints returned 0
3600.02/3610.00 c CG unit cores 0
3600.02/3610.00 c CG single cores 0
3600.02/3610.00 c CG blocks removed during cardinality reduction 0
3600.02/3610.00 c CG first core best 0
3600.02/3610.00 c CG decision core best 0
3600.02/3610.00 c CG core reduction tie 0
3600.02/3610.00 c CG core degree average 0.00
3600.02/3610.00 c CG core slack average 0.00
3600.02/3610.00 c CG core upper bound improvements 0
3600.02/3610.00 c STR number of successful calls 0
3600.02/3610.00 c STR number of unsuccessful calls 0
3600.02/3610.00 c STR number of inconclusive calls 0
3600.02/3610.00 c STR number of successful attempts 0
3600.02/3610.00 c STR number of unsuccessful attempts 0
3600.02/3610.00 c STR number of inconclusive attempts 0
3600.02/3610.00 c STR average degree increase per successful call inf
3600.02/3610.00 c STR average degree increase per successful attempt inf
3600.02/3610.00 c STR total number of conflicts for successful attempts 0
3600.02/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.00 c STR average number of conflicts per successful attempt inf
3600.02/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.00 c AVG.sumWPerc 72.31
3600.02/3610.00 c bigint constraints 0
3600.02/3610.00 s UNKNOWN
3600.02/3610.00 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: 63665 MiB (62713 MiB free)
memory of node 1: 64507 MiB (63991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489415-1751360042/watcher-4489415-1751360042 -o /tmp/evaluation-result-4489415-1751360042/solver-4489415-1751360042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49686 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489415-1751360042.opb PROOFDIR/proof-4489415-1751360042
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49732, runsolver pid=49724
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.83 3.79 3.99 5/263 49741
/proc/meminfo: memFree=129722652/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=62644 memory=15700 CPUtime=0.06 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 1276 0 0 0 6 0 0 0 20 0 1 0 51683070 64147456 3925 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 15661 3925 2400 1147 0 3088 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 66836 KiB
Current children cumulated memory: 18772 KiB
[startup+0.204591 s]*
/proc/loadavg: 2.83 3.79 3.99 6/268 49746
/proc/meminfo: memFree=129709548/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=68112 memory=20564 CPUtime=0.17 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 2518 0 0 0 16 1 0 0 20 0 1 0 51683070 69746688 5141 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 17028 5141 2400 1147 0 4455 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72304 KiB
Current children cumulated memory: 23636 KiB
[startup+0.304601 s]*
/proc/loadavg: 2.83 3.79 3.99 6/268 49746
/proc/meminfo: memFree=129694680/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=68676 memory=22356 CPUtime=0.27 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 2947 0 0 0 25 2 0 0 20 0 1 0 51683070 70324224 5589 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 17169 5589 2400 1147 0 4596 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72868 KiB
Current children cumulated memory: 25428 KiB
[startup+0.700142 s]
/proc/loadavg: 2.83 3.79 3.99 6/268 49746
/proc/meminfo: memFree=129668220/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=78376 memory=29268 CPUtime=0.66 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 4676 0 0 0 64 2 0 0 20 0 1 0 51683070 80257024 7317 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 19594 7317 2400 1147 0 7021 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 82568 KiB
Current children cumulated memory: 32340 KiB
[startup+1.50016 s]
/proc/loadavg: 2.83 3.79 3.99 6/268 49746
/proc/meminfo: memFree=129613284/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=88396 memory=36564 CPUtime=1.46 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 6505 0 0 0 141 5 0 0 20 0 1 0 51683070 90517504 9141 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 22099 9141 2400 1147 0 9526 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 92588 KiB
Current children cumulated memory: 39636 KiB
[startup+3.10456 s]
/proc/loadavg: 2.92 3.80 3.99 6/268 49746
/proc/meminfo: memFree=128916300/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=96220 memory=45936 CPUtime=3.06 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 8333 0 0 0 297 9 0 0 20 0 1 0 51683070 98529280 11484 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 24055 11484 2400 1147 0 11482 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 100412 KiB
Current children cumulated memory: 49008 KiB
[startup+6.30016 s]
/proc/loadavg: 2.92 3.80 3.99 6/270 49748
/proc/meminfo: memFree=128590696/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=98464 memory=49392 CPUtime=6.25 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 9199 0 0 0 610 15 0 0 20 0 1 0 51683070 100827136 12348 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 24616 12348 2400 1147 0 12043 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 52464 KiB
[startup+12.7001 s]
/proc/loadavg: 3.01 3.80 3.99 6/270 49748
/proc/meminfo: memFree=128299260/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=121836 memory=67160 CPUtime=12.63 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 12621 0 0 0 1239 24 0 0 20 0 1 0 51683070 124760064 16790 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 30459 16790 2400 1147 0 17886 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 126028 KiB
Current children cumulated memory: 70232 KiB
[startup+25.5002 s]
/proc/loadavg: 3.23 3.81 3.99 6/270 49749
/proc/meminfo: memFree=127690564/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=132332 memory=77144 CPUtime=25.4 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 15128 0 0 0 2501 39 0 0 20 0 1 0 51683070 135507968 19286 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 33083 19286 2400 1147 0 20510 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 136524 KiB
Current children cumulated memory: 80216 KiB
[startup+51.1049 s]
/proc/loadavg: 3.49 3.83 4.00 6/271 49750
/proc/meminfo: memFree=126892900/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=150160 memory=91096 CPUtime=50.93 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 18101 0 0 0 5023 70 0 0 20 0 1 0 51683070 153763840 22774 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 37540 22774 2400 1147 0 24967 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 154352 KiB
Current children cumulated memory: 94168 KiB
[startup+102.3 s]
/proc/loadavg: 3.92 3.89 4.01 6/271 49753
/proc/meminfo: memFree=125382304/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=188640 memory=122468 CPUtime=101.99 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 24402 0 0 0 10082 117 0 0 20 0 1 0 51683070 193167360 30617 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 47160 30617 2400 1147 0 34587 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 192832 KiB
Current children cumulated memory: 125540 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.92 4.01 6/272 49756
/proc/meminfo: memFree=123954224/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=214628 memory=138604 CPUtime=161.8 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 27435 0 0 0 16019 161 0 0 20 0 1 0 51683070 219779072 34651 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 53657 34651 2400 1147 0 41084 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 218820 KiB
Current children cumulated memory: 141676 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.97 4.01 6/272 49761
/proc/meminfo: memFree=122891832/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=218080 memory=145432 CPUtime=221.6 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 28634 0 0 0 21956 204 0 0 20 0 1 0 51683070 223313920 36358 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 54520 36358 2400 1147 0 41947 0
################
# More data... #
################
/proc/49736/statm: 138593 108131 2400 1147 0 126020 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 558564 KiB
Current children cumulated memory: 435596 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/273 49931
/proc/meminfo: memFree=94212732/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=560936 memory=436460 CPUtime=3093.7 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 101120 0 0 0 307952 1418 0 0 20 0 1 0 51683070 574398464 109115 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 140234 109115 2400 1147 0 127661 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 565128 KiB
Current children cumulated memory: 439532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/273 49934
/proc/meminfo: memFree=93483692/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=563800 memory=439020 CPUtime=3153.53 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 101741 0 0 0 313918 1435 0 0 20 0 1 0 51683070 577331200 109755 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 140950 109755 2400 1147 0 128377 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 567992 KiB
Current children cumulated memory: 442092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/274 49939
/proc/meminfo: memFree=93042476/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=564576 memory=439404 CPUtime=3213.37 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 101850 0 0 0 319883 1454 0 0 20 0 1 0 51683070 578125824 109851 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 141144 109851 2400 1147 0 128571 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 568768 KiB
Current children cumulated memory: 442476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/273 49941
/proc/meminfo: memFree=92580740/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=566548 memory=440904 CPUtime=3273.21 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 102317 0 0 0 325847 1474 0 0 20 0 1 0 51683070 580145152 110226 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 141637 110226 2400 1147 0 129064 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 570740 KiB
Current children cumulated memory: 443976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/273 49943
/proc/meminfo: memFree=92070880/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=566548 memory=440904 CPUtime=3333.05 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 102345 0 0 0 331814 1491 0 0 20 0 1 0 51683070 580145152 110226 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 141637 110226 2400 1147 0 129064 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 570740 KiB
Current children cumulated memory: 443976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.11 4.10 6/273 49944
/proc/meminfo: memFree=91513932/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=566548 memory=440904 CPUtime=3392.88 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 102366 0 0 0 337776 1512 0 0 20 0 1 0 51683070 580145152 110226 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 141637 110226 2400 1147 0 129064 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 570740 KiB
Current children cumulated memory: 443976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/273 49951
/proc/meminfo: memFree=91041724/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=568624 memory=442568 CPUtime=3452.72 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 102775 0 0 0 343742 1530 0 0 20 0 1 0 51683070 582270976 110642 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 142156 110642 2400 1147 0 129583 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 572816 KiB
Current children cumulated memory: 445640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/273 49954
/proc/meminfo: memFree=90471216/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=572992 memory=448328 CPUtime=3512.55 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 103722 0 0 0 349705 1550 0 0 20 0 1 0 51683070 586743808 112082 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 143248 112082 2400 1147 0 130675 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 577184 KiB
Current children cumulated memory: 451400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/273 49956
/proc/meminfo: memFree=89937304/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=572992 memory=448328 CPUtime=3572.39 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 103724 0 0 0 355670 1569 0 0 20 0 1 0 51683070 586743808 112082 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 143248 112082 2400 1147 0 130675 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 577184 KiB
Current children cumulated memory: 451400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.14 4.10 4.09 5/271 49966
/proc/meminfo: memFree=90081244/131249988 swapFree=33010160/33010684
[pid=49732] ppid=49724 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/49732/stat : 49732 (run-opt-log.sh) S 49724 49732 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 768 18446744073709551615 94496351838208 94496352732741 140721637685344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94496352971792 94496353019536 94496380739584 140721637689633 140721637689828 140721637689828 140721637695430 0
/proc/49732/statm: 1048 768 704 219 0 110 0
[pid=49736] ppid=49732 vsize=574036 memory=449120 CPUtime=3600.02 cores=5,7
/proc/49736/stat : 49736 (roundingsat) R 49732 49732 49673 0 -1 4194304 103997 0 0 0 358425 1577 0 0 20 0 1 0 51683070 587812864 112280 18446744073709551615 4227072 8923433 140731931150320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39034880 140731931154770 140731931154984 140731931154984 140731931160554 0
/proc/49736/statm: 143509 112280 2400 1147 0 130936 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 578228 KiB
Current children cumulated memory: 452192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 49732 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.002757 s
[startup+3610.03 s]
# the end of solver process 49736 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.25 s, system=15.7932 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.03
CPU time (s): 3600.05
CPU user time (s): 3584.25
CPU system time (s): 15.7932
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 578228
Max. memory (cumulated for all children) (KiB): 452192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.25
system time used= 15.7932
maximum resident set size= 449376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6977776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 396
involuntary context switches= 5495
# summary of solver processes directly reported to runsolver:
# pid: 49732,49736
# total CPU time (s): 3600.05
# total CPU user time (s): 3584.25
# total CPU system time (s): 15.7932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11026 second user time and 15.4772 second system time
The end
Begin job on nodeC034 at 2025-07-01 10:54:02
IDJOB=4489415
IDBENCH=147547
IDSOLVER=3351
FILE ID=nodeC034/4489415-1751360042
RUNJOBID= nodeC034-1751360042-49686
SLURM_JOB_ID= 9598159
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489415-1751360042/watcher-4489415-1751360042 -o /tmp/evaluation-result-4489415-1751360042/solver-4489415-1751360042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49686 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489415-1751360042.opb PROOFDIR/proof-4489415-1751360042
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1442571434
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.754
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.020
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.959
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.940
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.041
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.758
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.441
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129754296 kB
MemAvailable: 129688236 kB
Buffers: 2128 kB
Cached: 698224 kB
SwapCached: 36 kB
Active: 529396 kB
Inactive: 258820 kB
Active(anon): 101720 kB
Inactive(anon): 4212 kB
Active(file): 427676 kB
Inactive(file): 254608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31104 kB
Writeback: 0 kB
AnonPages: 90916 kB
Mapped: 103440 kB
Shmem: 18068 kB
KReclaimable: 181388 kB
Slab: 272684 kB
SReclaimable: 181388 kB
SUnreclaim: 91296 kB
KernelStack: 3940 kB
PageTables: 2376 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 350568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-01 11:54:12